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

CASL_DL.ATC_CASL_DL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): CardType DL_FORMULA CASL_DLSign PropertyType AnnoAppl AnnoLiteral CASL_DL_SL

Orphan instances

ShATermConvertible CASL_DL_SL Source #
Methods toShATermAux :: ATermTable -> CASL_DL_SL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CASL_DL_SL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CASL_DL_SL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CASL_DL_SL])
ShATermConvertible DL_FORMULA Source #
Methods toShATermAux :: ATermTable -> DL_FORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DL_FORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DL_FORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DL_FORMULA])
ShATermConvertible CardType Source #
Methods toShATermAux :: ATermTable -> CardType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CardType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CardType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CardType])
ShATermConvertible AnnoLiteral Source #
Methods toShATermAux :: ATermTable -> AnnoLiteral -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AnnoLiteral] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnoLiteral) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnoLiteral])
ShATermConvertible AnnoAppl Source #
Methods toShATermAux :: ATermTable -> AnnoAppl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AnnoAppl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnoAppl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnoAppl])
ShATermConvertible PropertyType Source #
Methods toShATermAux :: ATermTable -> PropertyType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropertyType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropertyType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropertyType])
ShATermConvertible CASL_DLSign Source #
Methods toShATermAux :: ATermTable -> CASL_DLSign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CASL_DLSign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CASL_DLSign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CASL_DLSign])