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

HasCASL.ATC_HasCASL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): PrecMap BasicSpec BasicItem SigItems OpBrand Instance ClassItem ClassDecl Variance AnyKind TypeItem Vars TypePattern Type TypeScheme Partiality OpItem BinOpAttr OpAttr DatatypeDecl Alternative Component Quantifier TypeQual LetBrand BracketKind InstKind Term ProgEq PolyId SeparatorKind VarDecl VarKind TypeArg GenVarDecl SymbItems SymbMapItems SymbKind Symb SymbType SymbOrMap ClassInfo GenKind AltDefn Selector DataEntry TypeDefn TypeInfo Sentence TypeVarDefn VarDefn ConstrInfo OpDefn OpInfo Env Constrain Morphism SymbolType Symbol RawSymbol Formulas Classes Sublogic

Orphan instances

ShATermConvertible PrecMap Source #
Methods toShATermAux :: ATermTable -> PrecMap -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PrecMap] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PrecMap) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrecMap])
ShATermConvertible SymbOrMap Source #
Methods toShATermAux :: ATermTable -> SymbOrMap -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbOrMap] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbOrMap) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbOrMap])
ShATermConvertible SymbType Source #
Methods toShATermAux :: ATermTable -> SymbType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbType])
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 SymbKind Source #
Methods toShATermAux :: ATermTable -> SymbKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbKind])
ShATermConvertible SymbMapItems Source #
Methods toShATermAux :: ATermTable -> SymbMapItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbMapItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbMapItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbMapItems])
ShATermConvertible SymbItems Source #
Methods toShATermAux :: ATermTable -> SymbItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbItems])
ShATermConvertible GenVarDecl Source #
Methods toShATermAux :: ATermTable -> GenVarDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GenVarDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GenVarDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenVarDecl])
ShATermConvertible TypeArg Source #
Methods toShATermAux :: ATermTable -> TypeArg -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeArg] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeArg) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeArg])
ShATermConvertible VarKind Source #
Methods toShATermAux :: ATermTable -> VarKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [VarKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, VarKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarKind])
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 SeparatorKind Source #
Methods toShATermAux :: ATermTable -> SeparatorKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SeparatorKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SeparatorKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SeparatorKind])
ShATermConvertible PolyId Source #
Methods toShATermAux :: ATermTable -> PolyId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PolyId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PolyId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PolyId])
ShATermConvertible ProgEq Source #
Methods toShATermAux :: ATermTable -> ProgEq -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ProgEq] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ProgEq) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProgEq])
ShATermConvertible Term Source #
Methods toShATermAux :: ATermTable -> Term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Term])
ShATermConvertible InstKind Source #
Methods toShATermAux :: ATermTable -> InstKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [InstKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, InstKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [InstKind])
ShATermConvertible BracketKind Source #
Methods toShATermAux :: ATermTable -> BracketKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BracketKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BracketKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BracketKind])
ShATermConvertible LetBrand Source #
Methods toShATermAux :: ATermTable -> LetBrand -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [LetBrand] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, LetBrand) fromShATermList' :: Int -> ATermTable -> (ATermTable, [LetBrand])
ShATermConvertible TypeQual Source #
Methods toShATermAux :: ATermTable -> TypeQual -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeQual] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeQual) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeQual])
ShATermConvertible Quantifier Source #
Methods toShATermAux :: ATermTable -> Quantifier -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Quantifier] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Quantifier) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Quantifier])
ShATermConvertible Component Source #
Methods toShATermAux :: ATermTable -> Component -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Component] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Component) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Component])
ShATermConvertible Alternative Source #
Methods toShATermAux :: ATermTable -> Alternative -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Alternative] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Alternative) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Alternative])
ShATermConvertible DatatypeDecl Source #
Methods toShATermAux :: ATermTable -> DatatypeDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DatatypeDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DatatypeDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DatatypeDecl])
ShATermConvertible OpAttr Source #
Methods toShATermAux :: ATermTable -> OpAttr -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpAttr] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpAttr) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpAttr])
ShATermConvertible BinOpAttr Source #
Methods toShATermAux :: ATermTable -> BinOpAttr -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BinOpAttr] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BinOpAttr) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BinOpAttr])
ShATermConvertible OpItem Source #
Methods toShATermAux :: ATermTable -> OpItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpItem])
ShATermConvertible Partiality Source #
Methods toShATermAux :: ATermTable -> Partiality -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Partiality] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Partiality) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Partiality])
ShATermConvertible TypeScheme Source #
Methods toShATermAux :: ATermTable -> TypeScheme -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeScheme] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeScheme) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeScheme])
ShATermConvertible Type Source #
Methods toShATermAux :: ATermTable -> Type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Type])
ShATermConvertible TypePattern Source #
Methods toShATermAux :: ATermTable -> TypePattern -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypePattern] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypePattern) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypePattern])
ShATermConvertible Vars Source #
Methods toShATermAux :: ATermTable -> Vars -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Vars] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Vars) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Vars])
ShATermConvertible TypeItem Source #
Methods toShATermAux :: ATermTable -> TypeItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeItem])
ShATermConvertible Variance Source #
Methods toShATermAux :: ATermTable -> Variance -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Variance] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Variance) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Variance])
ShATermConvertible ClassDecl Source #
Methods toShATermAux :: ATermTable -> ClassDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ClassDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassDecl])
ShATermConvertible ClassItem Source #
Methods toShATermAux :: ATermTable -> ClassItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ClassItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassItem])
ShATermConvertible Instance Source #
Methods toShATermAux :: ATermTable -> Instance -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Instance] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Instance) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Instance])
ShATermConvertible OpBrand Source #
Methods toShATermAux :: ATermTable -> OpBrand -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpBrand] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpBrand) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpBrand])
ShATermConvertible SigItems Source #
Methods toShATermAux :: ATermTable -> SigItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SigItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SigItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SigItems])
ShATermConvertible BasicItem Source #
Methods toShATermAux :: ATermTable -> BasicItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BasicItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BasicItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BasicItem])
ShATermConvertible BasicSpec Source #
Methods toShATermAux :: ATermTable -> BasicSpec -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BasicSpec] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BasicSpec) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BasicSpec])
ShATermConvertible RawSymbol Source #
Methods toShATermAux :: ATermTable -> RawSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RawSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RawSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RawSymbol])
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 SymbolType Source #
Methods toShATermAux :: ATermTable -> SymbolType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbolType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolType])
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 Constrain Source #
Methods toShATermAux :: ATermTable -> Constrain -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Constrain] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Constrain) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Constrain])
ShATermConvertible Env Source #
Methods toShATermAux :: ATermTable -> Env -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Env] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Env) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Env])
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 OpDefn Source #
Methods toShATermAux :: ATermTable -> OpDefn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpDefn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpDefn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpDefn])
ShATermConvertible ConstrInfo Source #
Methods toShATermAux :: ATermTable -> ConstrInfo -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ConstrInfo] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstrInfo) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstrInfo])
ShATermConvertible VarDefn Source #
Methods toShATermAux :: ATermTable -> VarDefn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [VarDefn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, VarDefn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarDefn])
ShATermConvertible TypeVarDefn Source #
Methods toShATermAux :: ATermTable -> TypeVarDefn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeVarDefn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeVarDefn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeVarDefn])
ShATermConvertible Sentence Source #
Methods toShATermAux :: ATermTable -> Sentence -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sentence] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sentence) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sentence])
ShATermConvertible TypeInfo Source #
Methods toShATermAux :: ATermTable -> TypeInfo -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeInfo] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeInfo) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeInfo])
ShATermConvertible TypeDefn Source #
Methods toShATermAux :: ATermTable -> TypeDefn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeDefn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeDefn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeDefn])
ShATermConvertible DataEntry Source #
Methods toShATermAux :: ATermTable -> DataEntry -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DataEntry] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DataEntry) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DataEntry])
ShATermConvertible Selector Source #
Methods toShATermAux :: ATermTable -> Selector -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Selector] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Selector) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Selector])
ShATermConvertible AltDefn Source #
Methods toShATermAux :: ATermTable -> AltDefn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AltDefn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AltDefn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AltDefn])
ShATermConvertible GenKind Source #
Methods toShATermAux :: ATermTable -> GenKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GenKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GenKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenKind])
ShATermConvertible ClassInfo Source #
Methods toShATermAux :: ATermTable -> ClassInfo -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ClassInfo] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassInfo) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassInfo])
ShATermConvertible Sublogic Source #
Methods toShATermAux :: ATermTable -> Sublogic -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sublogic] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sublogic) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sublogic])
ShATermConvertible Classes Source #
Methods toShATermAux :: ATermTable -> Classes -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Classes] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Classes) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Classes])
ShATermConvertible Formulas Source #
Methods toShATermAux :: ATermTable -> Formulas -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Formulas] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Formulas) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Formulas])
ShATermConvertible a => ShATermConvertible (AnyKind a) Source #
Methods toShATermAux :: ATermTable -> AnyKind a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AnyKind a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AnyKind a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnyKind a])