Copyright | (c) DFKI GmbH 2012 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(derive Typeable instances) |
Safe Haskell | None |
COL.ATC_COL
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json
for the type(s):
COL_SIG_ITEM
COLSign
Orphan instances
Generic COLSign Source # | |
Generic COL_SIG_ITEM Source # | |
Associated Types type Rep COL_SIG_ITEM :: Type -> Type | |
FromJSON COLSign Source # | |
FromJSON COL_SIG_ITEM Source # | |
ToJSON COLSign Source # | |
Methods toEncoding :: COLSign -> Encoding toJSONList :: [COLSign] -> Value toEncodingList :: [COLSign] -> Encoding | |
ToJSON COL_SIG_ITEM Source # | |
Methods toJSON :: COL_SIG_ITEM -> Value toEncoding :: COL_SIG_ITEM -> Encoding toJSONList :: [COL_SIG_ITEM] -> Value toEncodingList :: [COL_SIG_ITEM] -> Encoding | |
ShATermConvertible COLSign Source # | |
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 # | |
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]) |