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

CSL.ATC_CSL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): OpType Sign Morphism OP_ITEM VAR_ITEM BASIC_SPEC GroundConstant AssDefinition InstantiatedConstant BASIC_ITEM EXTPARAM EPDecl EPVal OPNAME OPID ConstantName EXPRESSION VarDecl OpDecl CMD SYMB_ITEMS SYMB SYMB_MAP_ITEMS SYMB_OR_MAP BindInfo OpInfo Symbol Incomparable SetOrdering InfDev CIType SetOrInterval ClosedInterval InfInt

Orphan instances

Generic InfInt Source #
Instance details Associated Types type Rep InfInt :: Type -> Type Methods from :: InfInt -> Rep InfInt x to :: Rep InfInt x -> InfInt
Generic InfDev Source #
Instance details Associated Types type Rep InfDev :: Type -> Type Methods from :: InfDev -> Rep InfDev x to :: Rep InfDev x -> InfDev
Generic SetOrdering Source #
Instance details Associated Types type Rep SetOrdering :: Type -> Type Methods from :: SetOrdering -> Rep SetOrdering x to :: Rep SetOrdering x -> SetOrdering
Generic Incomparable Source #
Instance details Associated Types type Rep Incomparable :: Type -> Type Methods from :: Incomparable -> Rep Incomparable x to :: Rep Incomparable x -> Incomparable
Generic OpInfo Source #
Instance details Associated Types type Rep OpInfo :: Type -> Type Methods from :: OpInfo -> Rep OpInfo x to :: Rep OpInfo x -> OpInfo
Generic BindInfo Source #
Instance details Associated Types type Rep BindInfo :: Type -> Type Methods from :: BindInfo -> Rep BindInfo x to :: Rep BindInfo x -> BindInfo
Generic SYMB_OR_MAP Source #
Instance details Associated Types type Rep SYMB_OR_MAP :: Type -> Type Methods from :: SYMB_OR_MAP -> Rep SYMB_OR_MAP x to :: Rep SYMB_OR_MAP x -> SYMB_OR_MAP
Generic SYMB_MAP_ITEMS Source #
Instance details Associated Types type Rep SYMB_MAP_ITEMS :: Type -> Type Methods from :: SYMB_MAP_ITEMS -> Rep SYMB_MAP_ITEMS x to :: Rep SYMB_MAP_ITEMS x -> SYMB_MAP_ITEMS
Generic SYMB Source #
Instance details Associated Types type Rep SYMB :: Type -> Type Methods from :: SYMB -> Rep SYMB x to :: Rep SYMB x -> SYMB
Generic SYMB_ITEMS Source #
Instance details Associated Types type Rep SYMB_ITEMS :: Type -> Type Methods from :: SYMB_ITEMS -> Rep SYMB_ITEMS x to :: Rep SYMB_ITEMS x -> SYMB_ITEMS
Generic CMD Source #
Instance details Associated Types type Rep CMD :: Type -> Type Methods from :: CMD -> Rep CMD x to :: Rep CMD x -> CMD
Generic OpDecl Source #
Instance details Associated Types type Rep OpDecl :: Type -> Type Methods from :: OpDecl -> Rep OpDecl x to :: Rep OpDecl x -> OpDecl
Generic VarDecl Source #
Instance details Associated Types type Rep VarDecl :: Type -> Type Methods from :: VarDecl -> Rep VarDecl x to :: Rep VarDecl x -> VarDecl
Generic EXPRESSION Source #
Instance details Associated Types type Rep EXPRESSION :: Type -> Type Methods from :: EXPRESSION -> Rep EXPRESSION x to :: Rep EXPRESSION x -> EXPRESSION
Generic ConstantName Source #
Instance details Associated Types type Rep ConstantName :: Type -> Type Methods from :: ConstantName -> Rep ConstantName x to :: Rep ConstantName x -> ConstantName
Generic OPID Source #
Instance details Associated Types type Rep OPID :: Type -> Type Methods from :: OPID -> Rep OPID x to :: Rep OPID x -> OPID
Generic OPNAME Source #
Instance details Associated Types type Rep OPNAME :: Type -> Type Methods from :: OPNAME -> Rep OPNAME x to :: Rep OPNAME x -> OPNAME
Generic EPVal Source #
Instance details Associated Types type Rep EPVal :: Type -> Type Methods from :: EPVal -> Rep EPVal x to :: Rep EPVal x -> EPVal
Generic EPDecl Source #
Instance details Associated Types type Rep EPDecl :: Type -> Type Methods from :: EPDecl -> Rep EPDecl x to :: Rep EPDecl x -> EPDecl
Generic EXTPARAM Source #
Instance details Associated Types type Rep EXTPARAM :: Type -> Type Methods from :: EXTPARAM -> Rep EXTPARAM x to :: Rep EXTPARAM x -> EXTPARAM
Generic BASIC_ITEM Source #
Instance details Associated Types type Rep BASIC_ITEM :: Type -> Type Methods from :: BASIC_ITEM -> Rep BASIC_ITEM x to :: Rep BASIC_ITEM x -> BASIC_ITEM
Generic InstantiatedConstant Source #
Instance details Associated Types type Rep InstantiatedConstant :: Type -> Type Methods from :: InstantiatedConstant -> Rep InstantiatedConstant x to :: Rep InstantiatedConstant x -> InstantiatedConstant
Generic AssDefinition Source #
Instance details Associated Types type Rep AssDefinition :: Type -> Type Methods from :: AssDefinition -> Rep AssDefinition x to :: Rep AssDefinition x -> AssDefinition
Generic GroundConstant Source #
Instance details Associated Types type Rep GroundConstant :: Type -> Type Methods from :: GroundConstant -> Rep GroundConstant x to :: Rep GroundConstant x -> GroundConstant
Generic BASIC_SPEC Source #
Instance details Associated Types type Rep BASIC_SPEC :: Type -> Type Methods from :: BASIC_SPEC -> Rep BASIC_SPEC x to :: Rep BASIC_SPEC x -> BASIC_SPEC
Generic VAR_ITEM Source #
Instance details Associated Types type Rep VAR_ITEM :: Type -> Type Methods from :: VAR_ITEM -> Rep VAR_ITEM x to :: Rep VAR_ITEM x -> VAR_ITEM
Generic OP_ITEM Source #
Instance details Associated Types type Rep OP_ITEM :: Type -> Type Methods from :: OP_ITEM -> Rep OP_ITEM x to :: Rep OP_ITEM x -> OP_ITEM
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic OpType Source #
Instance details Associated Types type Rep OpType :: Type -> Type Methods from :: OpType -> Rep OpType x to :: Rep OpType x -> OpType
Generic Morphism Source #
Instance details Associated Types type Rep Morphism :: Type -> Type Methods from :: Morphism -> Rep Morphism x to :: Rep Morphism x -> Morphism
Generic Symbol Source #
Instance details Associated Types type Rep Symbol :: Type -> Type Methods from :: Symbol -> Rep Symbol x to :: Rep Symbol x -> Symbol
FromJSON InfInt Source #
Instance details Methods parseJSON :: Value -> Parser InfInt parseJSONList :: Value -> Parser [InfInt]
FromJSON InfDev Source #
Instance details Methods parseJSON :: Value -> Parser InfDev parseJSONList :: Value -> Parser [InfDev]
FromJSON SetOrdering Source #
Instance details Methods parseJSON :: Value -> Parser SetOrdering parseJSONList :: Value -> Parser [SetOrdering]
FromJSON Incomparable Source #
Instance details Methods parseJSON :: Value -> Parser Incomparable parseJSONList :: Value -> Parser [Incomparable]
FromJSON OpInfo Source #
Instance details Methods parseJSON :: Value -> Parser OpInfo parseJSONList :: Value -> Parser [OpInfo]
FromJSON BindInfo Source #
Instance details Methods parseJSON :: Value -> Parser BindInfo parseJSONList :: Value -> Parser [BindInfo]
FromJSON SYMB_OR_MAP Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_OR_MAP parseJSONList :: Value -> Parser [SYMB_OR_MAP]
FromJSON SYMB_MAP_ITEMS Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_MAP_ITEMS parseJSONList :: Value -> Parser [SYMB_MAP_ITEMS]
FromJSON SYMB Source #
Instance details Methods parseJSON :: Value -> Parser SYMB parseJSONList :: Value -> Parser [SYMB]
FromJSON SYMB_ITEMS Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_ITEMS parseJSONList :: Value -> Parser [SYMB_ITEMS]
FromJSON CMD Source #
Instance details Methods parseJSON :: Value -> Parser CMD parseJSONList :: Value -> Parser [CMD]
FromJSON OpDecl Source #
Instance details Methods parseJSON :: Value -> Parser OpDecl parseJSONList :: Value -> Parser [OpDecl]
FromJSON VarDecl Source #
Instance details Methods parseJSON :: Value -> Parser VarDecl parseJSONList :: Value -> Parser [VarDecl]
FromJSON EXPRESSION Source #
Instance details Methods parseJSON :: Value -> Parser EXPRESSION parseJSONList :: Value -> Parser [EXPRESSION]
FromJSON ConstantName Source #
Instance details Methods parseJSON :: Value -> Parser ConstantName parseJSONList :: Value -> Parser [ConstantName]
FromJSON OPID Source #
Instance details Methods parseJSON :: Value -> Parser OPID parseJSONList :: Value -> Parser [OPID]
FromJSON OPNAME Source #
Instance details Methods parseJSON :: Value -> Parser OPNAME parseJSONList :: Value -> Parser [OPNAME]
FromJSON EPVal Source #
Instance details Methods parseJSON :: Value -> Parser EPVal parseJSONList :: Value -> Parser [EPVal]
FromJSON EPDecl Source #
Instance details Methods parseJSON :: Value -> Parser EPDecl parseJSONList :: Value -> Parser [EPDecl]
FromJSON EXTPARAM Source #
Instance details Methods parseJSON :: Value -> Parser EXTPARAM parseJSONList :: Value -> Parser [EXTPARAM]
FromJSON BASIC_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser BASIC_ITEM parseJSONList :: Value -> Parser [BASIC_ITEM]
FromJSON InstantiatedConstant Source #
Instance details Methods parseJSON :: Value -> Parser InstantiatedConstant parseJSONList :: Value -> Parser [InstantiatedConstant]
FromJSON AssDefinition Source #
Instance details Methods parseJSON :: Value -> Parser AssDefinition parseJSONList :: Value -> Parser [AssDefinition]
FromJSON GroundConstant Source #
Instance details Methods parseJSON :: Value -> Parser GroundConstant parseJSONList :: Value -> Parser [GroundConstant]
FromJSON BASIC_SPEC Source #
Instance details Methods parseJSON :: Value -> Parser BASIC_SPEC parseJSONList :: Value -> Parser [BASIC_SPEC]
FromJSON VAR_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser VAR_ITEM parseJSONList :: Value -> Parser [VAR_ITEM]
FromJSON OP_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser OP_ITEM parseJSONList :: Value -> Parser [OP_ITEM]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON OpType Source #
Instance details Methods parseJSON :: Value -> Parser OpType parseJSONList :: Value -> Parser [OpType]
FromJSON Morphism Source #
Instance details Methods parseJSON :: Value -> Parser Morphism parseJSONList :: Value -> Parser [Morphism]
FromJSON Symbol Source #
Instance details Methods parseJSON :: Value -> Parser Symbol parseJSONList :: Value -> Parser [Symbol]
ToJSON InfInt Source #
Instance details Methods toJSON :: InfInt -> Value toEncoding :: InfInt -> Encoding toJSONList :: [InfInt] -> Value toEncodingList :: [InfInt] -> Encoding
ToJSON InfDev Source #
Instance details Methods toJSON :: InfDev -> Value toEncoding :: InfDev -> Encoding toJSONList :: [InfDev] -> Value toEncodingList :: [InfDev] -> Encoding
ToJSON SetOrdering Source #
Instance details Methods toJSON :: SetOrdering -> Value toEncoding :: SetOrdering -> Encoding toJSONList :: [SetOrdering] -> Value toEncodingList :: [SetOrdering] -> Encoding
ToJSON Incomparable Source #
Instance details Methods toJSON :: Incomparable -> Value toEncoding :: Incomparable -> Encoding toJSONList :: [Incomparable] -> Value toEncodingList :: [Incomparable] -> Encoding
ToJSON OpInfo Source #
Instance details Methods toJSON :: OpInfo -> Value toEncoding :: OpInfo -> Encoding toJSONList :: [OpInfo] -> Value toEncodingList :: [OpInfo] -> Encoding
ToJSON BindInfo Source #
Instance details Methods toJSON :: BindInfo -> Value toEncoding :: BindInfo -> Encoding toJSONList :: [BindInfo] -> Value toEncodingList :: [BindInfo] -> Encoding
ToJSON SYMB_OR_MAP Source #
Instance details Methods toJSON :: SYMB_OR_MAP -> Value toEncoding :: SYMB_OR_MAP -> Encoding toJSONList :: [SYMB_OR_MAP] -> Value toEncodingList :: [SYMB_OR_MAP] -> Encoding
ToJSON SYMB_MAP_ITEMS Source #
Instance details Methods toJSON :: SYMB_MAP_ITEMS -> Value toEncoding :: SYMB_MAP_ITEMS -> Encoding toJSONList :: [SYMB_MAP_ITEMS] -> Value toEncodingList :: [SYMB_MAP_ITEMS] -> Encoding
ToJSON SYMB Source #
Instance details Methods toJSON :: SYMB -> Value toEncoding :: SYMB -> Encoding toJSONList :: [SYMB] -> Value toEncodingList :: [SYMB] -> Encoding
ToJSON SYMB_ITEMS Source #
Instance details Methods toJSON :: SYMB_ITEMS -> Value toEncoding :: SYMB_ITEMS -> Encoding toJSONList :: [SYMB_ITEMS] -> Value toEncodingList :: [SYMB_ITEMS] -> Encoding
ToJSON CMD Source #
Instance details Methods toJSON :: CMD -> Value toEncoding :: CMD -> Encoding toJSONList :: [CMD] -> Value toEncodingList :: [CMD] -> Encoding
ToJSON OpDecl Source #
Instance details Methods toJSON :: OpDecl -> Value toEncoding :: OpDecl -> Encoding toJSONList :: [OpDecl] -> Value toEncodingList :: [OpDecl] -> Encoding
ToJSON VarDecl Source #
Instance details Methods toJSON :: VarDecl -> Value toEncoding :: VarDecl -> Encoding toJSONList :: [VarDecl] -> Value toEncodingList :: [VarDecl] -> Encoding
ToJSON EXPRESSION Source #
Instance details Methods toJSON :: EXPRESSION -> Value toEncoding :: EXPRESSION -> Encoding toJSONList :: [EXPRESSION] -> Value toEncodingList :: [EXPRESSION] -> Encoding
ToJSON ConstantName Source #
Instance details Methods toJSON :: ConstantName -> Value toEncoding :: ConstantName -> Encoding toJSONList :: [ConstantName] -> Value toEncodingList :: [ConstantName] -> Encoding
ToJSON OPID Source #
Instance details Methods toJSON :: OPID -> Value toEncoding :: OPID -> Encoding toJSONList :: [OPID] -> Value toEncodingList :: [OPID] -> Encoding
ToJSON OPNAME Source #
Instance details Methods toJSON :: OPNAME -> Value toEncoding :: OPNAME -> Encoding toJSONList :: [OPNAME] -> Value toEncodingList :: [OPNAME] -> Encoding
ToJSON EPVal Source #
Instance details Methods toJSON :: EPVal -> Value toEncoding :: EPVal -> Encoding toJSONList :: [EPVal] -> Value toEncodingList :: [EPVal] -> Encoding
ToJSON EPDecl Source #
Instance details Methods toJSON :: EPDecl -> Value toEncoding :: EPDecl -> Encoding toJSONList :: [EPDecl] -> Value toEncodingList :: [EPDecl] -> Encoding
ToJSON EXTPARAM Source #
Instance details Methods toJSON :: EXTPARAM -> Value toEncoding :: EXTPARAM -> Encoding toJSONList :: [EXTPARAM] -> Value toEncodingList :: [EXTPARAM] -> Encoding
ToJSON BASIC_ITEM Source #
Instance details Methods toJSON :: BASIC_ITEM -> Value toEncoding :: BASIC_ITEM -> Encoding toJSONList :: [BASIC_ITEM] -> Value toEncodingList :: [BASIC_ITEM] -> Encoding
ToJSON InstantiatedConstant Source #
Instance details Methods toJSON :: InstantiatedConstant -> Value toEncoding :: InstantiatedConstant -> Encoding toJSONList :: [InstantiatedConstant] -> Value toEncodingList :: [InstantiatedConstant] -> Encoding
ToJSON AssDefinition Source #
Instance details Methods toJSON :: AssDefinition -> Value toEncoding :: AssDefinition -> Encoding toJSONList :: [AssDefinition] -> Value toEncodingList :: [AssDefinition] -> Encoding
ToJSON GroundConstant Source #
Instance details Methods toJSON :: GroundConstant -> Value toEncoding :: GroundConstant -> Encoding toJSONList :: [GroundConstant] -> Value toEncodingList :: [GroundConstant] -> Encoding
ToJSON BASIC_SPEC Source #
Instance details Methods toJSON :: BASIC_SPEC -> Value toEncoding :: BASIC_SPEC -> Encoding toJSONList :: [BASIC_SPEC] -> Value toEncodingList :: [BASIC_SPEC] -> Encoding
ToJSON VAR_ITEM Source #
Instance details Methods toJSON :: VAR_ITEM -> Value toEncoding :: VAR_ITEM -> Encoding toJSONList :: [VAR_ITEM] -> Value toEncodingList :: [VAR_ITEM] -> Encoding
ToJSON OP_ITEM Source #
Instance details Methods toJSON :: OP_ITEM -> Value toEncoding :: OP_ITEM -> Encoding toJSONList :: [OP_ITEM] -> Value toEncodingList :: [OP_ITEM] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON OpType Source #
Instance details Methods toJSON :: OpType -> Value toEncoding :: OpType -> Encoding toJSONList :: [OpType] -> Value toEncodingList :: [OpType] -> Encoding
ToJSON Morphism Source #
Instance details Methods toJSON :: Morphism -> Value toEncoding :: Morphism -> Encoding toJSONList :: [Morphism] -> Value toEncodingList :: [Morphism] -> Encoding
ToJSON Symbol Source #
Instance details Methods toJSON :: Symbol -> Value toEncoding :: Symbol -> Encoding toJSONList :: [Symbol] -> Value toEncodingList :: [Symbol] -> Encoding
ShATermConvertible InfInt Source #
Instance details Methods toShATermAux :: ATermTable -> InfInt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [InfInt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, InfInt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [InfInt])
ShATermConvertible InfDev Source #
Instance details Methods toShATermAux :: ATermTable -> InfDev -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [InfDev] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, InfDev) fromShATermList' :: Int -> ATermTable -> (ATermTable, [InfDev])
ShATermConvertible SetOrdering Source #
Instance details Methods toShATermAux :: ATermTable -> SetOrdering -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SetOrdering] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SetOrdering) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SetOrdering])
ShATermConvertible Incomparable Source #
Instance details Methods toShATermAux :: ATermTable -> Incomparable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Incomparable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Incomparable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Incomparable])
ShATermConvertible OpInfo Source #
Instance details Methods toShATermAux :: ATermTable -> OpInfo -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpInfo] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpInfo) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpInfo])
ShATermConvertible BindInfo Source #
Instance details Methods toShATermAux :: ATermTable -> BindInfo -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BindInfo] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BindInfo) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BindInfo])
ShATermConvertible SYMB_OR_MAP Source #
Instance details Methods toShATermAux :: ATermTable -> SYMB_OR_MAP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_OR_MAP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_OR_MAP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_OR_MAP])
ShATermConvertible SYMB_MAP_ITEMS Source #
Instance details Methods toShATermAux :: ATermTable -> SYMB_MAP_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_MAP_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_MAP_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_MAP_ITEMS])
ShATermConvertible SYMB Source #
Instance details Methods toShATermAux :: ATermTable -> SYMB -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB])
ShATermConvertible SYMB_ITEMS Source #
Instance details Methods toShATermAux :: ATermTable -> SYMB_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_ITEMS])
ShATermConvertible CMD Source #
Instance details Methods toShATermAux :: ATermTable -> CMD -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CMD] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CMD) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CMD])
ShATermConvertible OpDecl Source #
Instance details Methods toShATermAux :: ATermTable -> OpDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpDecl])
ShATermConvertible VarDecl Source #
Instance details Methods toShATermAux :: ATermTable -> VarDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [VarDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, VarDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarDecl])
ShATermConvertible EXPRESSION Source #
Instance details Methods toShATermAux :: ATermTable -> EXPRESSION -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EXPRESSION] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EXPRESSION) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EXPRESSION])
ShATermConvertible ConstantName Source #
Instance details Methods toShATermAux :: ATermTable -> ConstantName -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ConstantName] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstantName) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstantName])
ShATermConvertible OPID Source #
Instance details Methods toShATermAux :: ATermTable -> OPID -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OPID] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OPID) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OPID])
ShATermConvertible OPNAME Source #
Instance details Methods toShATermAux :: ATermTable -> OPNAME -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OPNAME] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OPNAME) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OPNAME])
ShATermConvertible EPVal Source #
Instance details Methods toShATermAux :: ATermTable -> EPVal -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EPVal] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EPVal) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EPVal])
ShATermConvertible EPDecl Source #
Instance details Methods toShATermAux :: ATermTable -> EPDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EPDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EPDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EPDecl])
ShATermConvertible EXTPARAM Source #
Instance details Methods toShATermAux :: ATermTable -> EXTPARAM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EXTPARAM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EXTPARAM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EXTPARAM])
ShATermConvertible BASIC_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> BASIC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASIC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_ITEM])
ShATermConvertible InstantiatedConstant Source #
Instance details Methods toShATermAux :: ATermTable -> InstantiatedConstant -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [InstantiatedConstant] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, InstantiatedConstant) fromShATermList' :: Int -> ATermTable -> (ATermTable, [InstantiatedConstant])
ShATermConvertible AssDefinition Source #
Instance details Methods toShATermAux :: ATermTable -> AssDefinition -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AssDefinition] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AssDefinition) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AssDefinition])
ShATermConvertible GroundConstant Source #
Instance details Methods toShATermAux :: ATermTable -> GroundConstant -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GroundConstant] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GroundConstant) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GroundConstant])
ShATermConvertible BASIC_SPEC Source #
Instance details Methods toShATermAux :: ATermTable -> BASIC_SPEC -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASIC_SPEC] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_SPEC) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_SPEC])
ShATermConvertible VAR_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> VAR_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [VAR_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, VAR_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [VAR_ITEM])
ShATermConvertible OP_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> OP_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OP_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OP_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OP_ITEM])
ShATermConvertible Sign Source #
Instance details Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
ShATermConvertible OpType Source #
Instance details Methods toShATermAux :: ATermTable -> OpType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpType])
ShATermConvertible Morphism Source #
Instance details Methods toShATermAux :: ATermTable -> Morphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Morphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism])
ShATermConvertible Symbol Source #
Instance details Methods toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])
Generic (ClosedInterval a) Source #
Instance details Associated Types type Rep (ClosedInterval a) :: Type -> Type Methods from :: ClosedInterval a -> Rep (ClosedInterval a) x to :: Rep (ClosedInterval a) x -> ClosedInterval a
Generic (SetOrInterval a) Source #
Instance details Associated Types type Rep (SetOrInterval a) :: Type -> Type Methods from :: SetOrInterval a -> Rep (SetOrInterval a) x to :: Rep (SetOrInterval a) x -> SetOrInterval a
Generic (CIType a) Source #
Instance details Associated Types type Rep (CIType a) :: Type -> Type Methods from :: CIType a -> Rep (CIType a) x to :: Rep (CIType a) x -> CIType a
FromJSON a => FromJSON (ClosedInterval a) Source #
Instance details Methods parseJSON :: Value -> Parser (ClosedInterval a) parseJSONList :: Value -> Parser [ClosedInterval a]
(Ord a, FromJSON a) => FromJSON (SetOrInterval a) Source #
Instance details Methods parseJSON :: Value -> Parser (SetOrInterval a) parseJSONList :: Value -> Parser [SetOrInterval a]
FromJSON a => FromJSON (CIType a) Source #
Instance details Methods parseJSON :: Value -> Parser (CIType a) parseJSONList :: Value -> Parser [CIType a]
ToJSON a => ToJSON (ClosedInterval a) Source #
Instance details Methods toJSON :: ClosedInterval a -> Value toEncoding :: ClosedInterval a -> Encoding toJSONList :: [ClosedInterval a] -> Value toEncodingList :: [ClosedInterval a] -> Encoding
(Ord a, ToJSON a) => ToJSON (SetOrInterval a) Source #
Instance details Methods toJSON :: SetOrInterval a -> Value toEncoding :: SetOrInterval a -> Encoding toJSONList :: [SetOrInterval a] -> Value toEncodingList :: [SetOrInterval a] -> Encoding
ToJSON a => ToJSON (CIType a) Source #
Instance details Methods toJSON :: CIType a -> Value toEncoding :: CIType a -> Encoding toJSONList :: [CIType a] -> Value toEncodingList :: [CIType a] -> Encoding
ShATermConvertible a => ShATermConvertible (ClosedInterval a) Source #
Instance details Methods toShATermAux :: ATermTable -> ClosedInterval a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ClosedInterval a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ClosedInterval a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClosedInterval a])
(Ord a, ShATermConvertible a) => ShATermConvertible (SetOrInterval a) Source #
Instance details Methods toShATermAux :: ATermTable -> SetOrInterval a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SetOrInterval a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SetOrInterval a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SetOrInterval a])
ShATermConvertible a => ShATermConvertible (CIType a) Source #
Instance details Methods toShATermAux :: ATermTable -> CIType a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CIType a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CIType a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CIType a])