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, Json 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

Generic PROCESS Source #
Instance details Associated Types type Rep PROCESS :: Type -> Type Methods from :: PROCESS -> Rep PROCESS x to :: Rep PROCESS x -> PROCESS
Generic CommType Source #
Instance details Associated Types type Rep CommType :: Type -> Type Methods from :: CommType -> Rep CommType x to :: Rep CommType x -> CommType
Generic TypedChanName Source #
Instance details Associated Types type Rep TypedChanName :: Type -> Type Methods from :: TypedChanName -> Rep TypedChanName x to :: Rep TypedChanName x -> TypedChanName
Generic FQ_PROCESS_NAME Source #
Instance details Associated Types type Rep FQ_PROCESS_NAME :: Type -> Type Methods from :: FQ_PROCESS_NAME -> Rep FQ_PROCESS_NAME x to :: Rep FQ_PROCESS_NAME x -> FQ_PROCESS_NAME
Generic ProcProfile Source #
Instance details Associated Types type Rep ProcProfile :: Type -> Type Methods from :: ProcProfile -> Rep ProcProfile x to :: Rep ProcProfile x -> ProcProfile
Generic PROC_ALPHABET Source #
Instance details Associated Types type Rep PROC_ALPHABET :: Type -> Type Methods from :: PROC_ALPHABET -> Rep PROC_ALPHABET x to :: Rep PROC_ALPHABET x -> PROC_ALPHABET
Generic RENAMING Source #
Instance details Associated Types type Rep RENAMING :: Type -> Type Methods from :: RENAMING -> Rep RENAMING x to :: Rep RENAMING x -> RENAMING
Generic Rename Source #
Instance details Associated Types type Rep Rename :: Type -> Type Methods from :: Rename -> Rep Rename x to :: Rep Rename x -> Rename
Generic RenameKind Source #
Instance details Associated Types type Rep RenameKind :: Type -> Type Methods from :: RenameKind -> Rep RenameKind x to :: Rep RenameKind x -> RenameKind
Generic EVENT_SET Source #
Instance details Associated Types type Rep EVENT_SET :: Type -> Type Methods from :: EVENT_SET -> Rep EVENT_SET x to :: Rep EVENT_SET x -> EVENT_SET
Generic EVENT Source #
Instance details Associated Types type Rep EVENT :: Type -> Type Methods from :: EVENT -> Rep EVENT x to :: Rep EVENT x -> EVENT
Generic PARM_PROCNAME Source #
Instance details Associated Types type Rep PARM_PROCNAME :: Type -> Type Methods from :: PARM_PROCNAME -> Rep PARM_PROCNAME x to :: Rep PARM_PROCNAME x -> PARM_PROCNAME
Generic PROC_ITEM Source #
Instance details Associated Types type Rep PROC_ITEM :: Type -> Type Methods from :: PROC_ITEM -> Rep PROC_ITEM x to :: Rep PROC_ITEM x -> PROC_ITEM
Generic CHANNEL_DECL Source #
Instance details Associated Types type Rep CHANNEL_DECL :: Type -> Type Methods from :: CHANNEL_DECL -> Rep CHANNEL_DECL x to :: Rep CHANNEL_DECL x -> CHANNEL_DECL
Generic CspBasicExt Source #
Instance details Associated Types type Rep CspBasicExt :: Type -> Type Methods from :: CspBasicExt -> Rep CspBasicExt x to :: Rep CspBasicExt x -> CspBasicExt
Generic CspSen Source #
Instance details Associated Types type Rep CspSen :: Type -> Type Methods from :: CspSen -> Rep CspSen x to :: Rep CspSen x -> CspSen
Generic CspSign Source #
Instance details Associated Types type Rep CspSign :: Type -> Type Methods from :: CspSign -> Rep CspSign x to :: Rep CspSign x -> CspSign
Generic CspSymbMap Source #
Instance details Associated Types type Rep CspSymbMap :: Type -> Type Methods from :: CspSymbMap -> Rep CspSymbMap x to :: Rep CspSymbMap x -> CspSymbMap
Generic CspType Source #
Instance details Associated Types type Rep CspType :: Type -> Type Methods from :: CspType -> Rep CspType x to :: Rep CspType x -> CspType
Generic CspSymb Source #
Instance details Associated Types type Rep CspSymb :: Type -> Type Methods from :: CspSymb -> Rep CspSymb x to :: Rep CspSymb x -> CspSymb
Generic CspSymbKind Source #
Instance details Associated Types type Rep CspSymbKind :: Type -> Type Methods from :: CspSymbKind -> Rep CspSymbKind x to :: Rep CspSymbKind x -> CspSymbKind
Generic CspSymbMapItems Source #
Instance details Associated Types type Rep CspSymbMapItems :: Type -> Type Methods from :: CspSymbMapItems -> Rep CspSymbMapItems x to :: Rep CspSymbMapItems x -> CspSymbMapItems
Generic CspSymbItems Source #
Instance details Associated Types type Rep CspSymbItems :: Type -> Type Methods from :: CspSymbItems -> Rep CspSymbItems x to :: Rep CspSymbItems x -> CspSymbItems
Generic CspRawSymbol Source #
Instance details Associated Types type Rep CspRawSymbol :: Type -> Type Methods from :: CspRawSymbol -> Rep CspRawSymbol x to :: Rep CspRawSymbol x -> CspRawSymbol
Generic CspSymbol Source #
Instance details Associated Types type Rep CspSymbol :: Type -> Type Methods from :: CspSymbol -> Rep CspSymbol x to :: Rep CspSymbol x -> CspSymbol
Generic CspSymbType Source #
Instance details Associated Types type Rep CspSymbType :: Type -> Type Methods from :: CspSymbType -> Rep CspSymbType x to :: Rep CspSymbType x -> CspSymbType
Generic CspAddMorphism Source #
Instance details Associated Types type Rep CspAddMorphism :: Type -> Type Methods from :: CspAddMorphism -> Rep CspAddMorphism x to :: Rep CspAddMorphism x -> CspAddMorphism
FromJSON PROCESS Source #
Instance details Methods parseJSON :: Value -> Parser PROCESS parseJSONList :: Value -> Parser [PROCESS]
FromJSON CommType Source #
Instance details Methods parseJSON :: Value -> Parser CommType parseJSONList :: Value -> Parser [CommType]
FromJSON TypedChanName Source #
Instance details Methods parseJSON :: Value -> Parser TypedChanName parseJSONList :: Value -> Parser [TypedChanName]
FromJSON FQ_PROCESS_NAME Source #
Instance details Methods parseJSON :: Value -> Parser FQ_PROCESS_NAME parseJSONList :: Value -> Parser [FQ_PROCESS_NAME]
FromJSON ProcProfile Source #
Instance details Methods parseJSON :: Value -> Parser ProcProfile parseJSONList :: Value -> Parser [ProcProfile]
FromJSON PROC_ALPHABET Source #
Instance details Methods parseJSON :: Value -> Parser PROC_ALPHABET parseJSONList :: Value -> Parser [PROC_ALPHABET]
FromJSON RENAMING Source #
Instance details Methods parseJSON :: Value -> Parser RENAMING parseJSONList :: Value -> Parser [RENAMING]
FromJSON Rename Source #
Instance details Methods parseJSON :: Value -> Parser Rename parseJSONList :: Value -> Parser [Rename]
FromJSON RenameKind Source #
Instance details Methods parseJSON :: Value -> Parser RenameKind parseJSONList :: Value -> Parser [RenameKind]
FromJSON EVENT_SET Source #
Instance details Methods parseJSON :: Value -> Parser EVENT_SET parseJSONList :: Value -> Parser [EVENT_SET]
FromJSON EVENT Source #
Instance details Methods parseJSON :: Value -> Parser EVENT parseJSONList :: Value -> Parser [EVENT]
FromJSON PARM_PROCNAME Source #
Instance details Methods parseJSON :: Value -> Parser PARM_PROCNAME parseJSONList :: Value -> Parser [PARM_PROCNAME]
FromJSON PROC_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser PROC_ITEM parseJSONList :: Value -> Parser [PROC_ITEM]
FromJSON CHANNEL_DECL Source #
Instance details Methods parseJSON :: Value -> Parser CHANNEL_DECL parseJSONList :: Value -> Parser [CHANNEL_DECL]
FromJSON CspBasicExt Source #
Instance details Methods parseJSON :: Value -> Parser CspBasicExt parseJSONList :: Value -> Parser [CspBasicExt]
FromJSON CspSen Source #
Instance details Methods parseJSON :: Value -> Parser CspSen parseJSONList :: Value -> Parser [CspSen]
FromJSON CspSign Source #
Instance details Methods parseJSON :: Value -> Parser CspSign parseJSONList :: Value -> Parser [CspSign]
FromJSON CspSymbMap Source #
Instance details Methods parseJSON :: Value -> Parser CspSymbMap parseJSONList :: Value -> Parser [CspSymbMap]
FromJSON CspType Source #
Instance details Methods parseJSON :: Value -> Parser CspType parseJSONList :: Value -> Parser [CspType]
FromJSON CspSymb Source #
Instance details Methods parseJSON :: Value -> Parser CspSymb parseJSONList :: Value -> Parser [CspSymb]
FromJSON CspSymbKind Source #
Instance details Methods parseJSON :: Value -> Parser CspSymbKind parseJSONList :: Value -> Parser [CspSymbKind]
FromJSON CspSymbMapItems Source #
Instance details Methods parseJSON :: Value -> Parser CspSymbMapItems parseJSONList :: Value -> Parser [CspSymbMapItems]
FromJSON CspSymbItems Source #
Instance details Methods parseJSON :: Value -> Parser CspSymbItems parseJSONList :: Value -> Parser [CspSymbItems]
FromJSON CspRawSymbol Source #
Instance details Methods parseJSON :: Value -> Parser CspRawSymbol parseJSONList :: Value -> Parser [CspRawSymbol]
FromJSON CspSymbol Source #
Instance details Methods parseJSON :: Value -> Parser CspSymbol parseJSONList :: Value -> Parser [CspSymbol]
FromJSON CspSymbType Source #
Instance details Methods parseJSON :: Value -> Parser CspSymbType parseJSONList :: Value -> Parser [CspSymbType]
FromJSON CspAddMorphism Source #
Instance details Methods parseJSON :: Value -> Parser CspAddMorphism parseJSONList :: Value -> Parser [CspAddMorphism]
ToJSON PROCESS Source #
Instance details Methods toJSON :: PROCESS -> Value toEncoding :: PROCESS -> Encoding toJSONList :: [PROCESS] -> Value toEncodingList :: [PROCESS] -> Encoding
ToJSON CommType Source #
Instance details Methods toJSON :: CommType -> Value toEncoding :: CommType -> Encoding toJSONList :: [CommType] -> Value toEncodingList :: [CommType] -> Encoding
ToJSON TypedChanName Source #
Instance details Methods toJSON :: TypedChanName -> Value toEncoding :: TypedChanName -> Encoding toJSONList :: [TypedChanName] -> Value toEncodingList :: [TypedChanName] -> Encoding
ToJSON FQ_PROCESS_NAME Source #
Instance details Methods toJSON :: FQ_PROCESS_NAME -> Value toEncoding :: FQ_PROCESS_NAME -> Encoding toJSONList :: [FQ_PROCESS_NAME] -> Value toEncodingList :: [FQ_PROCESS_NAME] -> Encoding
ToJSON ProcProfile Source #
Instance details Methods toJSON :: ProcProfile -> Value toEncoding :: ProcProfile -> Encoding toJSONList :: [ProcProfile] -> Value toEncodingList :: [ProcProfile] -> Encoding
ToJSON PROC_ALPHABET Source #
Instance details Methods toJSON :: PROC_ALPHABET -> Value toEncoding :: PROC_ALPHABET -> Encoding toJSONList :: [PROC_ALPHABET] -> Value toEncodingList :: [PROC_ALPHABET] -> Encoding
ToJSON RENAMING Source #
Instance details Methods toJSON :: RENAMING -> Value toEncoding :: RENAMING -> Encoding toJSONList :: [RENAMING] -> Value toEncodingList :: [RENAMING] -> Encoding
ToJSON Rename Source #
Instance details Methods toJSON :: Rename -> Value toEncoding :: Rename -> Encoding toJSONList :: [Rename] -> Value toEncodingList :: [Rename] -> Encoding
ToJSON RenameKind Source #
Instance details Methods toJSON :: RenameKind -> Value toEncoding :: RenameKind -> Encoding toJSONList :: [RenameKind] -> Value toEncodingList :: [RenameKind] -> Encoding
ToJSON EVENT_SET Source #
Instance details Methods toJSON :: EVENT_SET -> Value toEncoding :: EVENT_SET -> Encoding toJSONList :: [EVENT_SET] -> Value toEncodingList :: [EVENT_SET] -> Encoding
ToJSON EVENT Source #
Instance details Methods toJSON :: EVENT -> Value toEncoding :: EVENT -> Encoding toJSONList :: [EVENT] -> Value toEncodingList :: [EVENT] -> Encoding
ToJSON PARM_PROCNAME Source #
Instance details Methods toJSON :: PARM_PROCNAME -> Value toEncoding :: PARM_PROCNAME -> Encoding toJSONList :: [PARM_PROCNAME] -> Value toEncodingList :: [PARM_PROCNAME] -> Encoding
ToJSON PROC_ITEM Source #
Instance details Methods toJSON :: PROC_ITEM -> Value toEncoding :: PROC_ITEM -> Encoding toJSONList :: [PROC_ITEM] -> Value toEncodingList :: [PROC_ITEM] -> Encoding
ToJSON CHANNEL_DECL Source #
Instance details Methods toJSON :: CHANNEL_DECL -> Value toEncoding :: CHANNEL_DECL -> Encoding toJSONList :: [CHANNEL_DECL] -> Value toEncodingList :: [CHANNEL_DECL] -> Encoding
ToJSON CspBasicExt Source #
Instance details Methods toJSON :: CspBasicExt -> Value toEncoding :: CspBasicExt -> Encoding toJSONList :: [CspBasicExt] -> Value toEncodingList :: [CspBasicExt] -> Encoding
ToJSON CspSen Source #
Instance details Methods toJSON :: CspSen -> Value toEncoding :: CspSen -> Encoding toJSONList :: [CspSen] -> Value toEncodingList :: [CspSen] -> Encoding
ToJSON CspSign Source #
Instance details Methods toJSON :: CspSign -> Value toEncoding :: CspSign -> Encoding toJSONList :: [CspSign] -> Value toEncodingList :: [CspSign] -> Encoding
ToJSON CspSymbMap Source #
Instance details Methods toJSON :: CspSymbMap -> Value toEncoding :: CspSymbMap -> Encoding toJSONList :: [CspSymbMap] -> Value toEncodingList :: [CspSymbMap] -> Encoding
ToJSON CspType Source #
Instance details Methods toJSON :: CspType -> Value toEncoding :: CspType -> Encoding toJSONList :: [CspType] -> Value toEncodingList :: [CspType] -> Encoding
ToJSON CspSymb Source #
Instance details Methods toJSON :: CspSymb -> Value toEncoding :: CspSymb -> Encoding toJSONList :: [CspSymb] -> Value toEncodingList :: [CspSymb] -> Encoding
ToJSON CspSymbKind Source #
Instance details Methods toJSON :: CspSymbKind -> Value toEncoding :: CspSymbKind -> Encoding toJSONList :: [CspSymbKind] -> Value toEncodingList :: [CspSymbKind] -> Encoding
ToJSON CspSymbMapItems Source #
Instance details Methods toJSON :: CspSymbMapItems -> Value toEncoding :: CspSymbMapItems -> Encoding toJSONList :: [CspSymbMapItems] -> Value toEncodingList :: [CspSymbMapItems] -> Encoding
ToJSON CspSymbItems Source #
Instance details Methods toJSON :: CspSymbItems -> Value toEncoding :: CspSymbItems -> Encoding toJSONList :: [CspSymbItems] -> Value toEncodingList :: [CspSymbItems] -> Encoding
ToJSON CspRawSymbol Source #
Instance details Methods toJSON :: CspRawSymbol -> Value toEncoding :: CspRawSymbol -> Encoding toJSONList :: [CspRawSymbol] -> Value toEncodingList :: [CspRawSymbol] -> Encoding
ToJSON CspSymbol Source #
Instance details Methods toJSON :: CspSymbol -> Value toEncoding :: CspSymbol -> Encoding toJSONList :: [CspSymbol] -> Value toEncodingList :: [CspSymbol] -> Encoding
ToJSON CspSymbType Source #
Instance details Methods toJSON :: CspSymbType -> Value toEncoding :: CspSymbType -> Encoding toJSONList :: [CspSymbType] -> Value toEncodingList :: [CspSymbType] -> Encoding
ToJSON CspAddMorphism Source #
Instance details Methods toJSON :: CspAddMorphism -> Value toEncoding :: CspAddMorphism -> Encoding toJSONList :: [CspAddMorphism] -> Value toEncodingList :: [CspAddMorphism] -> Encoding
ShATermConvertible PROCESS Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> CspAddMorphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspAddMorphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspAddMorphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspAddMorphism])