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

CoCASL.ATC_CoCASL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): C_BASIC_ITEM C_SIG_ITEM CODATATYPE_DECL COALTERNATIVE COCOMPONENTS MODALITY C_FORMULA CoCASLSign

Orphan instances

ShATermConvertible C_FORMULA Source #
Methods toShATermAux :: ATermTable -> C_FORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [C_FORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, C_FORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [C_FORMULA])
ShATermConvertible MODALITY Source #
Methods toShATermAux :: ATermTable -> MODALITY -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MODALITY] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MODALITY) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MODALITY])
ShATermConvertible COCOMPONENTS Source #
Methods toShATermAux :: ATermTable -> COCOMPONENTS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [COCOMPONENTS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, COCOMPONENTS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [COCOMPONENTS])
ShATermConvertible COALTERNATIVE Source #
Methods toShATermAux :: ATermTable -> COALTERNATIVE -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [COALTERNATIVE] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, COALTERNATIVE) fromShATermList' :: Int -> ATermTable -> (ATermTable, [COALTERNATIVE])
ShATermConvertible CODATATYPE_DECL Source #
Methods toShATermAux :: ATermTable -> CODATATYPE_DECL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CODATATYPE_DECL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CODATATYPE_DECL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CODATATYPE_DECL])
ShATermConvertible C_SIG_ITEM Source #
Methods toShATermAux :: ATermTable -> C_SIG_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [C_SIG_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, C_SIG_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [C_SIG_ITEM])
ShATermConvertible C_BASIC_ITEM Source #
Methods toShATermAux :: ATermTable -> C_BASIC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [C_BASIC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, C_BASIC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [C_BASIC_ITEM])
ShATermConvertible CoCASLSign Source #
Methods toShATermAux :: ATermTable -> CoCASLSign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CoCASLSign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CoCASLSign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CoCASLSign])