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

CSL.ATC_CSL

Contents

Description

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