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

ShATermConvertible InfInt Source #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
Methods toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])
ShATermConvertible a => ShATermConvertible (ClosedInterval a) Source #
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 #
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 #
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])