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

THF.ATC_THF

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): TPTP_THF Comment DefinedComment SystemComment Include Annotations FormulaRole THFFormula THFLogicFormula THFBinaryFormula THFBinaryTuple THFUnitaryFormula THFQuantifiedFormula THFVariable THFTypedConst THFTypeFormula THFTypeableFormula THFSubType THFTopLevelType THFUnitaryType THFBinaryType THFAtom THFSequent THFConnTerm THFQuantifier Quantifier THFPairConnective THFUnaryConnective AssocConnective DefinedType DefinedPlainFormula DefinedProp DefinedPred Term FunctionTerm PlainTerm DefinedTerm DefinedAtom DefinedPlainTerm DefinedFunctor SystemTerm PrincipalSymbol Source DagSource ParentInfo IntroType ExternalSource FileSource TheoryName InfoItem FormulaItem InferenceItem InferenceStatus StatusValue GeneralTerm GeneralData GeneralFunction FormulaData Name AtomicWord Number BasicSpecTHF SymbolTHF SymbolType Type Kind SignTHF TypeInfo ConstInfo THFCoreSl THFSl

Orphan instances

ShATermConvertible Number Source #
Methods toShATermAux :: ATermTable -> Number -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Number] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Number) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Number])
ShATermConvertible AtomicWord Source #
Methods toShATermAux :: ATermTable -> AtomicWord -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AtomicWord] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AtomicWord) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AtomicWord])
ShATermConvertible Name Source #
Methods toShATermAux :: ATermTable -> Name -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Name] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Name) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Name])
ShATermConvertible FormulaData Source #
Methods toShATermAux :: ATermTable -> FormulaData -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FormulaData] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FormulaData) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FormulaData])
ShATermConvertible GeneralFunction Source #
Methods toShATermAux :: ATermTable -> GeneralFunction -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GeneralFunction] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GeneralFunction) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GeneralFunction])
ShATermConvertible GeneralData Source #
Methods toShATermAux :: ATermTable -> GeneralData -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GeneralData] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GeneralData) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GeneralData])
ShATermConvertible GeneralTerm Source #
Methods toShATermAux :: ATermTable -> GeneralTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GeneralTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GeneralTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GeneralTerm])
ShATermConvertible StatusValue Source #
Methods toShATermAux :: ATermTable -> StatusValue -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [StatusValue] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, StatusValue) fromShATermList' :: Int -> ATermTable -> (ATermTable, [StatusValue])
ShATermConvertible InferenceStatus Source #
Methods toShATermAux :: ATermTable -> InferenceStatus -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [InferenceStatus] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, InferenceStatus) fromShATermList' :: Int -> ATermTable -> (ATermTable, [InferenceStatus])
ShATermConvertible InferenceItem Source #
Methods toShATermAux :: ATermTable -> InferenceItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [InferenceItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, InferenceItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [InferenceItem])
ShATermConvertible FormulaItem Source #
Methods toShATermAux :: ATermTable -> FormulaItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FormulaItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FormulaItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FormulaItem])
ShATermConvertible InfoItem Source #
Methods toShATermAux :: ATermTable -> InfoItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [InfoItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, InfoItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [InfoItem])
ShATermConvertible TheoryName Source #
Methods toShATermAux :: ATermTable -> TheoryName -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TheoryName] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TheoryName) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TheoryName])
ShATermConvertible FileSource Source #
Methods toShATermAux :: ATermTable -> FileSource -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FileSource] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FileSource) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FileSource])
ShATermConvertible ExternalSource Source #
Methods toShATermAux :: ATermTable -> ExternalSource -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ExternalSource] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ExternalSource) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ExternalSource])
ShATermConvertible IntroType Source #
Methods toShATermAux :: ATermTable -> IntroType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IntroType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IntroType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IntroType])
ShATermConvertible ParentInfo Source #
Methods toShATermAux :: ATermTable -> ParentInfo -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ParentInfo] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ParentInfo) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ParentInfo])
ShATermConvertible DagSource Source #
Methods toShATermAux :: ATermTable -> DagSource -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DagSource] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DagSource) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DagSource])
ShATermConvertible Source Source #
Methods toShATermAux :: ATermTable -> Source -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Source] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Source) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Source])
ShATermConvertible PrincipalSymbol Source #
Methods toShATermAux :: ATermTable -> PrincipalSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PrincipalSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PrincipalSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrincipalSymbol])
ShATermConvertible SystemTerm Source #
Methods toShATermAux :: ATermTable -> SystemTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SystemTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SystemTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SystemTerm])
ShATermConvertible DefinedFunctor Source #
Methods toShATermAux :: ATermTable -> DefinedFunctor -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedFunctor] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedFunctor) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedFunctor])
ShATermConvertible DefinedPlainTerm Source #
Methods toShATermAux :: ATermTable -> DefinedPlainTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedPlainTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedPlainTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedPlainTerm])
ShATermConvertible DefinedAtom Source #
Methods toShATermAux :: ATermTable -> DefinedAtom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedAtom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedAtom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedAtom])
ShATermConvertible DefinedTerm Source #
Methods toShATermAux :: ATermTable -> DefinedTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedTerm])
ShATermConvertible PlainTerm Source #
Methods toShATermAux :: ATermTable -> PlainTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PlainTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PlainTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PlainTerm])
ShATermConvertible FunctionTerm Source #
Methods toShATermAux :: ATermTable -> FunctionTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FunctionTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FunctionTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FunctionTerm])
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 DefinedPred Source #
Methods toShATermAux :: ATermTable -> DefinedPred -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedPred] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedPred) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedPred])
ShATermConvertible DefinedProp Source #
Methods toShATermAux :: ATermTable -> DefinedProp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedProp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedProp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedProp])
ShATermConvertible DefinedPlainFormula Source #
Methods toShATermAux :: ATermTable -> DefinedPlainFormula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedPlainFormula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedPlainFormula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedPlainFormula])
ShATermConvertible DefinedType Source #
Methods toShATermAux :: ATermTable -> DefinedType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedType])
ShATermConvertible AssocConnective Source #
Methods toShATermAux :: ATermTable -> AssocConnective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AssocConnective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AssocConnective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AssocConnective])
ShATermConvertible THFUnaryConnective Source #
Methods toShATermAux :: ATermTable -> THFUnaryConnective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFUnaryConnective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFUnaryConnective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFUnaryConnective])
ShATermConvertible THFPairConnective Source #
Methods toShATermAux :: ATermTable -> THFPairConnective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFPairConnective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFPairConnective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFPairConnective])
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 THFQuantifier Source #
Methods toShATermAux :: ATermTable -> THFQuantifier -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFQuantifier] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFQuantifier) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFQuantifier])
ShATermConvertible THFConnTerm Source #
Methods toShATermAux :: ATermTable -> THFConnTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFConnTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFConnTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFConnTerm])
ShATermConvertible THFSequent Source #
Methods toShATermAux :: ATermTable -> THFSequent -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFSequent] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFSequent) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFSequent])
ShATermConvertible THFAtom Source #
Methods toShATermAux :: ATermTable -> THFAtom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFAtom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFAtom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFAtom])
ShATermConvertible THFBinaryType Source #
Methods toShATermAux :: ATermTable -> THFBinaryType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFBinaryType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFBinaryType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFBinaryType])
ShATermConvertible THFUnitaryType Source #
Methods toShATermAux :: ATermTable -> THFUnitaryType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFUnitaryType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFUnitaryType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFUnitaryType])
ShATermConvertible THFTopLevelType Source #
Methods toShATermAux :: ATermTable -> THFTopLevelType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFTopLevelType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFTopLevelType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFTopLevelType])
ShATermConvertible THFSubType Source #
Methods toShATermAux :: ATermTable -> THFSubType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFSubType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFSubType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFSubType])
ShATermConvertible THFTypeableFormula Source #
Methods toShATermAux :: ATermTable -> THFTypeableFormula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFTypeableFormula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFTypeableFormula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFTypeableFormula])
ShATermConvertible THFTypeFormula Source #
Methods toShATermAux :: ATermTable -> THFTypeFormula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFTypeFormula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFTypeFormula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFTypeFormula])
ShATermConvertible THFTypedConst Source #
Methods toShATermAux :: ATermTable -> THFTypedConst -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFTypedConst] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFTypedConst) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFTypedConst])
ShATermConvertible THFVariable Source #
Methods toShATermAux :: ATermTable -> THFVariable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFVariable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFVariable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFVariable])
ShATermConvertible THFQuantifiedFormula Source #
Methods toShATermAux :: ATermTable -> THFQuantifiedFormula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFQuantifiedFormula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFQuantifiedFormula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFQuantifiedFormula])
ShATermConvertible THFUnitaryFormula Source #
Methods toShATermAux :: ATermTable -> THFUnitaryFormula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFUnitaryFormula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFUnitaryFormula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFUnitaryFormula])
ShATermConvertible THFBinaryTuple Source #
Methods toShATermAux :: ATermTable -> THFBinaryTuple -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFBinaryTuple] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFBinaryTuple) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFBinaryTuple])
ShATermConvertible THFBinaryFormula Source #
Methods toShATermAux :: ATermTable -> THFBinaryFormula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFBinaryFormula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFBinaryFormula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFBinaryFormula])
ShATermConvertible THFLogicFormula Source #
Methods toShATermAux :: ATermTable -> THFLogicFormula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFLogicFormula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFLogicFormula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFLogicFormula])
ShATermConvertible THFFormula Source #
Methods toShATermAux :: ATermTable -> THFFormula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFFormula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFFormula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFFormula])
ShATermConvertible FormulaRole Source #
Methods toShATermAux :: ATermTable -> FormulaRole -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FormulaRole] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FormulaRole) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FormulaRole])
ShATermConvertible Annotations Source #
Methods toShATermAux :: ATermTable -> Annotations -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annotations] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annotations) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annotations])
ShATermConvertible Include Source #
Methods toShATermAux :: ATermTable -> Include -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Include] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Include) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Include])
ShATermConvertible SystemComment Source #
Methods toShATermAux :: ATermTable -> SystemComment -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SystemComment] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SystemComment) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SystemComment])
ShATermConvertible DefinedComment Source #
Methods toShATermAux :: ATermTable -> DefinedComment -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedComment] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedComment) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedComment])
ShATermConvertible Comment Source #
Methods toShATermAux :: ATermTable -> Comment -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Comment] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Comment) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Comment])
ShATermConvertible TPTP_THF Source #
Methods toShATermAux :: ATermTable -> TPTP_THF -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TPTP_THF] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TPTP_THF) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TPTP_THF])
ShATermConvertible Kind Source #
Methods toShATermAux :: ATermTable -> Kind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Kind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Kind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Kind])
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 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 SymbolTHF Source #
Methods toShATermAux :: ATermTable -> SymbolTHF -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbolTHF] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolTHF) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolTHF])
ShATermConvertible BasicSpecTHF Source #
Methods toShATermAux :: ATermTable -> BasicSpecTHF -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BasicSpecTHF] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BasicSpecTHF) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BasicSpecTHF])
ShATermConvertible ConstInfo Source #
Methods toShATermAux :: ATermTable -> ConstInfo -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ConstInfo] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstInfo) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstInfo])
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 SignTHF Source #
Methods toShATermAux :: ATermTable -> SignTHF -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SignTHF] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SignTHF) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SignTHF])
ShATermConvertible THFSl Source #
Methods toShATermAux :: ATermTable -> THFSl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFSl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFSl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFSl])
ShATermConvertible THFCoreSl Source #
Methods toShATermAux :: ATermTable -> THFCoreSl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFCoreSl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFCoreSl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFCoreSl])