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

CASL_DL.ATC_CASL_DL

Contents

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])