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

CspCASL.ATC_CspCASL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): CspBasicExt CHANNEL_DECL PROC_ITEM PARM_PROCNAME EVENT EVENT_SET RenameKind Rename RENAMING PROC_ALPHABET ProcProfile FQ_PROCESS_NAME TypedChanName CommType PROCESS CspSign CspSen CspSymbItems CspSymbMapItems CspSymbKind CspSymb CspType CspSymbMap CspSymbType CspSymbol CspRawSymbol CspAddMorphism

Orphan instances

ShATermConvertible PROCESS Source #
Methods toShATermAux :: ATermTable -> PROCESS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PROCESS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PROCESS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PROCESS])
ShATermConvertible CommType Source #
Methods toShATermAux :: ATermTable -> CommType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CommType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CommType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CommType])
ShATermConvertible TypedChanName Source #
Methods toShATermAux :: ATermTable -> TypedChanName -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypedChanName] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypedChanName) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypedChanName])
ShATermConvertible FQ_PROCESS_NAME Source #
Methods toShATermAux :: ATermTable -> FQ_PROCESS_NAME -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FQ_PROCESS_NAME] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FQ_PROCESS_NAME) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FQ_PROCESS_NAME])
ShATermConvertible ProcProfile Source #
Methods toShATermAux :: ATermTable -> ProcProfile -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ProcProfile] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ProcProfile) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProcProfile])
ShATermConvertible PROC_ALPHABET Source #
Methods toShATermAux :: ATermTable -> PROC_ALPHABET -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PROC_ALPHABET] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PROC_ALPHABET) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PROC_ALPHABET])
ShATermConvertible RENAMING Source #
Methods toShATermAux :: ATermTable -> RENAMING -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RENAMING] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RENAMING) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RENAMING])
ShATermConvertible Rename Source #
Methods toShATermAux :: ATermTable -> Rename -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Rename] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Rename) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Rename])
ShATermConvertible RenameKind Source #
Methods toShATermAux :: ATermTable -> RenameKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RenameKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RenameKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RenameKind])
ShATermConvertible EVENT_SET Source #
Methods toShATermAux :: ATermTable -> EVENT_SET -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EVENT_SET] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EVENT_SET) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EVENT_SET])
ShATermConvertible EVENT Source #
Methods toShATermAux :: ATermTable -> EVENT -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EVENT] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EVENT) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EVENT])
ShATermConvertible PARM_PROCNAME Source #
Methods toShATermAux :: ATermTable -> PARM_PROCNAME -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PARM_PROCNAME] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PARM_PROCNAME) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PARM_PROCNAME])
ShATermConvertible PROC_ITEM Source #
Methods toShATermAux :: ATermTable -> PROC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PROC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PROC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PROC_ITEM])
ShATermConvertible CHANNEL_DECL Source #
Methods toShATermAux :: ATermTable -> CHANNEL_DECL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CHANNEL_DECL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CHANNEL_DECL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CHANNEL_DECL])
ShATermConvertible CspBasicExt Source #
Methods toShATermAux :: ATermTable -> CspBasicExt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspBasicExt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspBasicExt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspBasicExt])
ShATermConvertible CspSen Source #
Methods toShATermAux :: ATermTable -> CspSen -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSen] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSen) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSen])
ShATermConvertible CspSign Source #
Methods toShATermAux :: ATermTable -> CspSign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSign])
ShATermConvertible CspSymbMap Source #
Methods toShATermAux :: ATermTable -> CspSymbMap -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbMap] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbMap) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbMap])
ShATermConvertible CspType Source #
Methods toShATermAux :: ATermTable -> CspType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspType])
ShATermConvertible CspSymb Source #
Methods toShATermAux :: ATermTable -> CspSymb -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymb] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymb) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymb])
ShATermConvertible CspSymbKind Source #
Methods toShATermAux :: ATermTable -> CspSymbKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbKind])
ShATermConvertible CspSymbMapItems Source #
Methods toShATermAux :: ATermTable -> CspSymbMapItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbMapItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbMapItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbMapItems])
ShATermConvertible CspSymbItems Source #
Methods toShATermAux :: ATermTable -> CspSymbItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbItems])
ShATermConvertible CspRawSymbol Source #
Methods toShATermAux :: ATermTable -> CspRawSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspRawSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspRawSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspRawSymbol])
ShATermConvertible CspSymbol Source #
Methods toShATermAux :: ATermTable -> CspSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbol])
ShATermConvertible CspSymbType Source #
Methods toShATermAux :: ATermTable -> CspSymbType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbType])
ShATermConvertible CspAddMorphism Source #
Methods toShATermAux :: ATermTable -> CspAddMorphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspAddMorphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspAddMorphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspAddMorphism])