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

THF.ATC_THF

Contents

Description

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