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

CspCASL.ATC_CspCASL

Contents

Description

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