Hets - the Heterogeneous Tool Set
Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

ATC.OrderedMap

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): ElemWOrd

Orphan instances

Generic (ElemWOrd a) Source # 
Instance details

Associated Types

type Rep (ElemWOrd a) :: Type -> Type

Methods

from :: ElemWOrd a -> Rep (ElemWOrd a) x

to :: Rep (ElemWOrd a) x -> ElemWOrd a

FromJSON a => FromJSON (ElemWOrd a) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (ElemWOrd a)

parseJSONList :: Value -> Parser [ElemWOrd a]

ToJSON a => ToJSON (ElemWOrd a) Source # 
Instance details

Methods

toJSON :: ElemWOrd a -> Value

toEncoding :: ElemWOrd a -> Encoding

toJSONList :: [ElemWOrd a] -> Value

toEncodingList :: [ElemWOrd a] -> Encoding

ShATermConvertible a => ShATermConvertible (ElemWOrd a) Source # 
Instance details

Methods

toShATermAux :: ATermTable -> ElemWOrd a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ElemWOrd a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ElemWOrd a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ElemWOrd a])