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

COL.ATC_COL

Description

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

Orphan instances

Generic COLSign Source # 
Instance details

Associated Types

type Rep COLSign :: Type -> Type

Methods

from :: COLSign -> Rep COLSign x

to :: Rep COLSign x -> COLSign

Generic COL_SIG_ITEM Source # 
Instance details

Associated Types

type Rep COL_SIG_ITEM :: Type -> Type

FromJSON COLSign Source # 
Instance details

Methods

parseJSON :: Value -> Parser COLSign

parseJSONList :: Value -> Parser [COLSign]

FromJSON COL_SIG_ITEM Source # 
Instance details

Methods

parseJSON :: Value -> Parser COL_SIG_ITEM

parseJSONList :: Value -> Parser [COL_SIG_ITEM]

ToJSON COLSign Source # 
Instance details

Methods

toJSON :: COLSign -> Value

toEncoding :: COLSign -> Encoding

toJSONList :: [COLSign] -> Value

toEncodingList :: [COLSign] -> Encoding

ToJSON COL_SIG_ITEM Source # 
Instance details

Methods

toJSON :: COL_SIG_ITEM -> Value

toEncoding :: COL_SIG_ITEM -> Encoding

toJSONList :: [COL_SIG_ITEM] -> Value

toEncodingList :: [COL_SIG_ITEM] -> Encoding

ShATermConvertible COLSign Source # 
Instance details

Methods

toShATermAux :: ATermTable -> COLSign -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, COLSign)

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

ShATermConvertible COL_SIG_ITEM Source # 
Instance details

Methods

toShATermAux :: ATermTable -> COL_SIG_ITEM -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, COL_SIG_ITEM)

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