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

Description

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

Generic FQ_PROCESS_NAME Source # 
Instance details

Associated Types

type Rep FQ_PROCESS_NAME :: Type -> Type

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

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

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

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

Generic CspSymbItems Source # 
Instance details

Associated Types

type Rep CspSymbItems :: Type -> Type

Generic CspRawSymbol Source # 
Instance details

Associated Types

type Rep CspRawSymbol :: Type -> Type

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

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