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

Description

Orphan instances

Generic Number Source # 
Instance details

Associated Types

type Rep Number :: Type -> Type

Methods

from :: Number -> Rep Number x

to :: Rep Number x -> Number

Generic AtomicWord Source # 
Instance details

Associated Types

type Rep AtomicWord :: Type -> Type

Methods

from :: AtomicWord -> Rep AtomicWord x

to :: Rep AtomicWord x -> AtomicWord

Generic Name Source # 
Instance details

Associated Types

type Rep Name :: Type -> Type

Methods

from :: Name -> Rep Name x

to :: Rep Name x -> Name

Generic FormulaData Source # 
Instance details

Associated Types

type Rep FormulaData :: Type -> Type

Methods

from :: FormulaData -> Rep FormulaData x

to :: Rep FormulaData x -> FormulaData

Generic GeneralFunction Source # 
Instance details

Associated Types

type Rep GeneralFunction :: Type -> Type

Generic GeneralData Source # 
Instance details

Associated Types

type Rep GeneralData :: Type -> Type

Methods

from :: GeneralData -> Rep GeneralData x

to :: Rep GeneralData x -> GeneralData

Generic GeneralTerm Source # 
Instance details

Associated Types

type Rep GeneralTerm :: Type -> Type

Methods

from :: GeneralTerm -> Rep GeneralTerm x

to :: Rep GeneralTerm x -> GeneralTerm

Generic StatusValue Source # 
Instance details

Associated Types

type Rep StatusValue :: Type -> Type

Methods

from :: StatusValue -> Rep StatusValue x

to :: Rep StatusValue x -> StatusValue

Generic InferenceStatus Source # 
Instance details

Associated Types

type Rep InferenceStatus :: Type -> Type

Generic InferenceItem Source # 
Instance details

Associated Types

type Rep InferenceItem :: Type -> Type

Generic FormulaItem Source # 
Instance details

Associated Types

type Rep FormulaItem :: Type -> Type

Methods

from :: FormulaItem -> Rep FormulaItem x

to :: Rep FormulaItem x -> FormulaItem

Generic InfoItem Source # 
Instance details

Associated Types

type Rep InfoItem :: Type -> Type

Methods

from :: InfoItem -> Rep InfoItem x

to :: Rep InfoItem x -> InfoItem

Generic TheoryName Source # 
Instance details

Associated Types

type Rep TheoryName :: Type -> Type

Methods

from :: TheoryName -> Rep TheoryName x

to :: Rep TheoryName x -> TheoryName

Generic FileSource Source # 
Instance details

Associated Types

type Rep FileSource :: Type -> Type

Methods

from :: FileSource -> Rep FileSource x

to :: Rep FileSource x -> FileSource

Generic ExternalSource Source # 
Instance details

Associated Types

type Rep ExternalSource :: Type -> Type

Generic IntroType Source # 
Instance details

Associated Types

type Rep IntroType :: Type -> Type

Methods

from :: IntroType -> Rep IntroType x

to :: Rep IntroType x -> IntroType

Generic ParentInfo Source # 
Instance details

Associated Types

type Rep ParentInfo :: Type -> Type

Methods

from :: ParentInfo -> Rep ParentInfo x

to :: Rep ParentInfo x -> ParentInfo

Generic DagSource Source # 
Instance details

Associated Types

type Rep DagSource :: Type -> Type

Methods

from :: DagSource -> Rep DagSource x

to :: Rep DagSource x -> DagSource

Generic Source Source # 
Instance details

Associated Types

type Rep Source :: Type -> Type

Methods

from :: Source -> Rep Source x

to :: Rep Source x -> Source

Generic PrincipalSymbol Source # 
Instance details

Associated Types

type Rep PrincipalSymbol :: Type -> Type

Generic SystemTerm Source # 
Instance details

Associated Types

type Rep SystemTerm :: Type -> Type

Methods

from :: SystemTerm -> Rep SystemTerm x

to :: Rep SystemTerm x -> SystemTerm

Generic DefinedFunctor Source # 
Instance details

Associated Types

type Rep DefinedFunctor :: Type -> Type

Generic DefinedPlainTerm Source # 
Instance details

Associated Types

type Rep DefinedPlainTerm :: Type -> Type

Generic DefinedAtom Source # 
Instance details

Associated Types

type Rep DefinedAtom :: Type -> Type

Methods

from :: DefinedAtom -> Rep DefinedAtom x

to :: Rep DefinedAtom x -> DefinedAtom

Generic DefinedTerm Source # 
Instance details

Associated Types

type Rep DefinedTerm :: Type -> Type

Methods

from :: DefinedTerm -> Rep DefinedTerm x

to :: Rep DefinedTerm x -> DefinedTerm

Generic PlainTerm Source # 
Instance details

Associated Types

type Rep PlainTerm :: Type -> Type

Methods

from :: PlainTerm -> Rep PlainTerm x

to :: Rep PlainTerm x -> PlainTerm

Generic FunctionTerm Source # 
Instance details

Associated Types

type Rep FunctionTerm :: Type -> Type

Generic Term Source # 
Instance details

Associated Types

type Rep Term :: Type -> Type

Methods

from :: Term -> Rep Term x

to :: Rep Term x -> Term

Generic DefinedPred Source # 
Instance details

Associated Types

type Rep DefinedPred :: Type -> Type

Methods

from :: DefinedPred -> Rep DefinedPred x

to :: Rep DefinedPred x -> DefinedPred

Generic DefinedProp Source # 
Instance details

Associated Types

type Rep DefinedProp :: Type -> Type

Methods

from :: DefinedProp -> Rep DefinedProp x

to :: Rep DefinedProp x -> DefinedProp

Generic DefinedPlainFormula Source # 
Instance details

Associated Types

type Rep DefinedPlainFormula :: Type -> Type

Generic DefinedType Source # 
Instance details

Associated Types

type Rep DefinedType :: Type -> Type

Methods

from :: DefinedType -> Rep DefinedType x

to :: Rep DefinedType x -> DefinedType

Generic AssocConnective Source # 
Instance details

Associated Types

type Rep AssocConnective :: Type -> Type

Generic THFUnaryConnective Source # 
Instance details

Associated Types

type Rep THFUnaryConnective :: Type -> Type

Generic THFPairConnective Source # 
Instance details

Associated Types

type Rep THFPairConnective :: Type -> Type

Generic Quantifier Source # 
Instance details

Associated Types

type Rep Quantifier :: Type -> Type

Methods

from :: Quantifier -> Rep Quantifier x

to :: Rep Quantifier x -> Quantifier

Generic THFQuantifier Source # 
Instance details

Associated Types

type Rep THFQuantifier :: Type -> Type

Generic THFConnTerm Source # 
Instance details

Associated Types

type Rep THFConnTerm :: Type -> Type

Methods

from :: THFConnTerm -> Rep THFConnTerm x

to :: Rep THFConnTerm x -> THFConnTerm

Generic THFSequent Source # 
Instance details

Associated Types

type Rep THFSequent :: Type -> Type

Methods

from :: THFSequent -> Rep THFSequent x

to :: Rep THFSequent x -> THFSequent

Generic THFAtom Source # 
Instance details

Associated Types

type Rep THFAtom :: Type -> Type

Methods

from :: THFAtom -> Rep THFAtom x

to :: Rep THFAtom x -> THFAtom

Generic THFBinaryType Source # 
Instance details

Associated Types

type Rep THFBinaryType :: Type -> Type

Generic THFUnitaryType Source # 
Instance details

Associated Types

type Rep THFUnitaryType :: Type -> Type

Generic THFTopLevelType Source # 
Instance details

Associated Types

type Rep THFTopLevelType :: Type -> Type

Generic THFSubType Source # 
Instance details

Associated Types

type Rep THFSubType :: Type -> Type

Methods

from :: THFSubType -> Rep THFSubType x

to :: Rep THFSubType x -> THFSubType

Generic THFTypeableFormula Source # 
Instance details

Associated Types

type Rep THFTypeableFormula :: Type -> Type

Generic THFTypeFormula Source # 
Instance details

Associated Types

type Rep THFTypeFormula :: Type -> Type

Generic THFTypedConst Source # 
Instance details

Associated Types

type Rep THFTypedConst :: Type -> Type

Generic THFVariable Source # 
Instance details

Associated Types

type Rep THFVariable :: Type -> Type

Methods

from :: THFVariable -> Rep THFVariable x

to :: Rep THFVariable x -> THFVariable

Generic THFQuantifiedFormula Source # 
Instance details

Associated Types

type Rep THFQuantifiedFormula :: Type -> Type

Generic THFUnitaryFormula Source # 
Instance details

Associated Types

type Rep THFUnitaryFormula :: Type -> Type

Generic THFBinaryTuple Source # 
Instance details

Associated Types

type Rep THFBinaryTuple :: Type -> Type

Generic THFBinaryFormula Source # 
Instance details

Associated Types

type Rep THFBinaryFormula :: Type -> Type

Generic THFLogicFormula Source # 
Instance details

Associated Types

type Rep THFLogicFormula :: Type -> Type

Generic THFFormula Source # 
Instance details

Associated Types

type Rep THFFormula :: Type -> Type

Methods

from :: THFFormula -> Rep THFFormula x

to :: Rep THFFormula x -> THFFormula

Generic FormulaRole Source # 
Instance details

Associated Types

type Rep FormulaRole :: Type -> Type

Methods

from :: FormulaRole -> Rep FormulaRole x

to :: Rep FormulaRole x -> FormulaRole

Generic Annotations Source # 
Instance details

Associated Types

type Rep Annotations :: Type -> Type

Methods

from :: Annotations -> Rep Annotations x

to :: Rep Annotations x -> Annotations

Generic Include Source # 
Instance details

Associated Types

type Rep Include :: Type -> Type

Methods

from :: Include -> Rep Include x

to :: Rep Include x -> Include

Generic SystemComment Source # 
Instance details

Associated Types

type Rep SystemComment :: Type -> Type

Generic DefinedComment Source # 
Instance details

Associated Types

type Rep DefinedComment :: Type -> Type

Generic Comment Source # 
Instance details

Associated Types

type Rep Comment :: Type -> Type

Methods

from :: Comment -> Rep Comment x

to :: Rep Comment x -> Comment

Generic TPTP_THF Source # 
Instance details

Associated Types

type Rep TPTP_THF :: Type -> Type

Methods

from :: TPTP_THF -> Rep TPTP_THF x

to :: Rep TPTP_THF x -> TPTP_THF

Generic Kind Source # 
Instance details

Associated Types

type Rep Kind :: Type -> Type

Methods

from :: Kind -> Rep Kind x

to :: Rep Kind x -> Kind

Generic Type Source # 
Instance details

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

Generic SymbolType Source # 
Instance details

Associated Types

type Rep SymbolType :: Type -> Type

Methods

from :: SymbolType -> Rep SymbolType x

to :: Rep SymbolType x -> SymbolType

Generic SymbolTHF Source # 
Instance details

Associated Types

type Rep SymbolTHF :: Type -> Type

Methods

from :: SymbolTHF -> Rep SymbolTHF x

to :: Rep SymbolTHF x -> SymbolTHF

Generic BasicSpecTHF Source # 
Instance details

Associated Types

type Rep BasicSpecTHF :: Type -> Type

Generic ConstInfo Source # 
Instance details

Associated Types

type Rep ConstInfo :: Type -> Type

Methods

from :: ConstInfo -> Rep ConstInfo x

to :: Rep ConstInfo x -> ConstInfo

Generic TypeInfo Source # 
Instance details

Associated Types

type Rep TypeInfo :: Type -> Type

Methods

from :: TypeInfo -> Rep TypeInfo x

to :: Rep TypeInfo x -> TypeInfo

Generic SignTHF Source # 
Instance details

Associated Types

type Rep SignTHF :: Type -> Type

Methods

from :: SignTHF -> Rep SignTHF x

to :: Rep SignTHF x -> SignTHF

Generic THFSl Source # 
Instance details

Associated Types

type Rep THFSl :: Type -> Type

Methods

from :: THFSl -> Rep THFSl x

to :: Rep THFSl x -> THFSl

Generic THFCoreSl Source # 
Instance details

Associated Types

type Rep THFCoreSl :: Type -> Type

Methods

from :: THFCoreSl -> Rep THFCoreSl x

to :: Rep THFCoreSl x -> THFCoreSl

FromJSON Number Source # 
Instance details

Methods

parseJSON :: Value -> Parser Number

parseJSONList :: Value -> Parser [Number]

FromJSON AtomicWord Source # 
Instance details

Methods

parseJSON :: Value -> Parser AtomicWord

parseJSONList :: Value -> Parser [AtomicWord]

FromJSON Name Source # 
Instance details

Methods

parseJSON :: Value -> Parser Name

parseJSONList :: Value -> Parser [Name]

FromJSON FormulaData Source # 
Instance details

Methods

parseJSON :: Value -> Parser FormulaData

parseJSONList :: Value -> Parser [FormulaData]

FromJSON GeneralFunction Source # 
Instance details

Methods

parseJSON :: Value -> Parser GeneralFunction

parseJSONList :: Value -> Parser [GeneralFunction]

FromJSON GeneralData Source # 
Instance details

Methods

parseJSON :: Value -> Parser GeneralData

parseJSONList :: Value -> Parser [GeneralData]

FromJSON GeneralTerm Source # 
Instance details

Methods

parseJSON :: Value -> Parser GeneralTerm

parseJSONList :: Value -> Parser [GeneralTerm]

FromJSON StatusValue Source # 
Instance details

Methods

parseJSON :: Value -> Parser StatusValue

parseJSONList :: Value -> Parser [StatusValue]

FromJSON InferenceStatus Source # 
Instance details

Methods

parseJSON :: Value -> Parser InferenceStatus

parseJSONList :: Value -> Parser [InferenceStatus]

FromJSON InferenceItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser InferenceItem

parseJSONList :: Value -> Parser [InferenceItem]

FromJSON FormulaItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser FormulaItem

parseJSONList :: Value -> Parser [FormulaItem]

FromJSON InfoItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser InfoItem

parseJSONList :: Value -> Parser [InfoItem]

FromJSON TheoryName Source # 
Instance details

Methods

parseJSON :: Value -> Parser TheoryName

parseJSONList :: Value -> Parser [TheoryName]

FromJSON FileSource Source # 
Instance details

Methods

parseJSON :: Value -> Parser FileSource

parseJSONList :: Value -> Parser [FileSource]

FromJSON ExternalSource Source # 
Instance details

Methods

parseJSON :: Value -> Parser ExternalSource

parseJSONList :: Value -> Parser [ExternalSource]

FromJSON IntroType Source # 
Instance details

Methods

parseJSON :: Value -> Parser IntroType

parseJSONList :: Value -> Parser [IntroType]

FromJSON ParentInfo Source # 
Instance details

Methods

parseJSON :: Value -> Parser ParentInfo

parseJSONList :: Value -> Parser [ParentInfo]

FromJSON DagSource Source # 
Instance details

Methods

parseJSON :: Value -> Parser DagSource

parseJSONList :: Value -> Parser [DagSource]

FromJSON Source Source # 
Instance details

Methods

parseJSON :: Value -> Parser Source

parseJSONList :: Value -> Parser [Source]

FromJSON PrincipalSymbol Source # 
Instance details

Methods

parseJSON :: Value -> Parser PrincipalSymbol

parseJSONList :: Value -> Parser [PrincipalSymbol]

FromJSON SystemTerm Source # 
Instance details

Methods

parseJSON :: Value -> Parser SystemTerm

parseJSONList :: Value -> Parser [SystemTerm]

FromJSON DefinedFunctor Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedFunctor

parseJSONList :: Value -> Parser [DefinedFunctor]

FromJSON DefinedPlainTerm Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedPlainTerm

parseJSONList :: Value -> Parser [DefinedPlainTerm]

FromJSON DefinedAtom Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedAtom

parseJSONList :: Value -> Parser [DefinedAtom]

FromJSON DefinedTerm Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedTerm

parseJSONList :: Value -> Parser [DefinedTerm]

FromJSON PlainTerm Source # 
Instance details

Methods

parseJSON :: Value -> Parser PlainTerm

parseJSONList :: Value -> Parser [PlainTerm]

FromJSON FunctionTerm Source # 
Instance details

Methods

parseJSON :: Value -> Parser FunctionTerm

parseJSONList :: Value -> Parser [FunctionTerm]

FromJSON Term Source # 
Instance details

Methods

parseJSON :: Value -> Parser Term

parseJSONList :: Value -> Parser [Term]

FromJSON DefinedPred Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedPred

parseJSONList :: Value -> Parser [DefinedPred]

FromJSON DefinedProp Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedProp

parseJSONList :: Value -> Parser [DefinedProp]

FromJSON DefinedPlainFormula Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedPlainFormula

parseJSONList :: Value -> Parser [DefinedPlainFormula]

FromJSON DefinedType Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedType

parseJSONList :: Value -> Parser [DefinedType]

FromJSON AssocConnective Source # 
Instance details

Methods

parseJSON :: Value -> Parser AssocConnective

parseJSONList :: Value -> Parser [AssocConnective]

FromJSON THFUnaryConnective Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFUnaryConnective

parseJSONList :: Value -> Parser [THFUnaryConnective]

FromJSON THFPairConnective Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFPairConnective

parseJSONList :: Value -> Parser [THFPairConnective]

FromJSON Quantifier Source # 
Instance details

Methods

parseJSON :: Value -> Parser Quantifier

parseJSONList :: Value -> Parser [Quantifier]

FromJSON THFQuantifier Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFQuantifier

parseJSONList :: Value -> Parser [THFQuantifier]

FromJSON THFConnTerm Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFConnTerm

parseJSONList :: Value -> Parser [THFConnTerm]

FromJSON THFSequent Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFSequent

parseJSONList :: Value -> Parser [THFSequent]

FromJSON THFAtom Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFAtom

parseJSONList :: Value -> Parser [THFAtom]

FromJSON THFBinaryType Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFBinaryType

parseJSONList :: Value -> Parser [THFBinaryType]

FromJSON THFUnitaryType Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFUnitaryType

parseJSONList :: Value -> Parser [THFUnitaryType]

FromJSON THFTopLevelType Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFTopLevelType

parseJSONList :: Value -> Parser [THFTopLevelType]

FromJSON THFSubType Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFSubType

parseJSONList :: Value -> Parser [THFSubType]

FromJSON THFTypeableFormula Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFTypeableFormula

parseJSONList :: Value -> Parser [THFTypeableFormula]

FromJSON THFTypeFormula Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFTypeFormula

parseJSONList :: Value -> Parser [THFTypeFormula]

FromJSON THFTypedConst Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFTypedConst

parseJSONList :: Value -> Parser [THFTypedConst]

FromJSON THFVariable Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFVariable

parseJSONList :: Value -> Parser [THFVariable]

FromJSON THFQuantifiedFormula Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFQuantifiedFormula

parseJSONList :: Value -> Parser [THFQuantifiedFormula]

FromJSON THFUnitaryFormula Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFUnitaryFormula

parseJSONList :: Value -> Parser [THFUnitaryFormula]

FromJSON THFBinaryTuple Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFBinaryTuple

parseJSONList :: Value -> Parser [THFBinaryTuple]

FromJSON THFBinaryFormula Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFBinaryFormula

parseJSONList :: Value -> Parser [THFBinaryFormula]

FromJSON THFLogicFormula Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFLogicFormula

parseJSONList :: Value -> Parser [THFLogicFormula]

FromJSON THFFormula Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFFormula

parseJSONList :: Value -> Parser [THFFormula]

FromJSON FormulaRole Source # 
Instance details

Methods

parseJSON :: Value -> Parser FormulaRole

parseJSONList :: Value -> Parser [FormulaRole]

FromJSON Annotations Source # 
Instance details

Methods

parseJSON :: Value -> Parser Annotations

parseJSONList :: Value -> Parser [Annotations]

FromJSON Include Source # 
Instance details

Methods

parseJSON :: Value -> Parser Include

parseJSONList :: Value -> Parser [Include]

FromJSON SystemComment Source # 
Instance details

Methods

parseJSON :: Value -> Parser SystemComment

parseJSONList :: Value -> Parser [SystemComment]

FromJSON DefinedComment Source # 
Instance details

Methods

parseJSON :: Value -> Parser DefinedComment

parseJSONList :: Value -> Parser [DefinedComment]

FromJSON Comment Source # 
Instance details

Methods

parseJSON :: Value -> Parser Comment

parseJSONList :: Value -> Parser [Comment]

FromJSON TPTP_THF Source # 
Instance details

Methods

parseJSON :: Value -> Parser TPTP_THF

parseJSONList :: Value -> Parser [TPTP_THF]

FromJSON Kind Source # 
Instance details

Methods

parseJSON :: Value -> Parser Kind

parseJSONList :: Value -> Parser [Kind]

FromJSON Type Source # 
Instance details

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]

FromJSON SymbolType Source # 
Instance details

Methods

parseJSON :: Value -> Parser SymbolType

parseJSONList :: Value -> Parser [SymbolType]

FromJSON SymbolTHF Source # 
Instance details

Methods

parseJSON :: Value -> Parser SymbolTHF

parseJSONList :: Value -> Parser [SymbolTHF]

FromJSON BasicSpecTHF Source # 
Instance details

Methods

parseJSON :: Value -> Parser BasicSpecTHF

parseJSONList :: Value -> Parser [BasicSpecTHF]

FromJSON ConstInfo Source # 
Instance details

Methods

parseJSON :: Value -> Parser ConstInfo

parseJSONList :: Value -> Parser [ConstInfo]

FromJSON TypeInfo Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeInfo

parseJSONList :: Value -> Parser [TypeInfo]

FromJSON SignTHF Source # 
Instance details

Methods

parseJSON :: Value -> Parser SignTHF

parseJSONList :: Value -> Parser [SignTHF]

FromJSON THFSl Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFSl

parseJSONList :: Value -> Parser [THFSl]

FromJSON THFCoreSl Source # 
Instance details

Methods

parseJSON :: Value -> Parser THFCoreSl

parseJSONList :: Value -> Parser [THFCoreSl]

ToJSON Number Source # 
Instance details

Methods

toJSON :: Number -> Value

toEncoding :: Number -> Encoding

toJSONList :: [Number] -> Value

toEncodingList :: [Number] -> Encoding

ToJSON AtomicWord Source # 
Instance details

Methods

toJSON :: AtomicWord -> Value

toEncoding :: AtomicWord -> Encoding

toJSONList :: [AtomicWord] -> Value

toEncodingList :: [AtomicWord] -> Encoding

ToJSON Name Source # 
Instance details

Methods

toJSON :: Name -> Value

toEncoding :: Name -> Encoding

toJSONList :: [Name] -> Value

toEncodingList :: [Name] -> Encoding

ToJSON FormulaData Source # 
Instance details

Methods

toJSON :: FormulaData -> Value

toEncoding :: FormulaData -> Encoding

toJSONList :: [FormulaData] -> Value

toEncodingList :: [FormulaData] -> Encoding

ToJSON GeneralFunction Source # 
Instance details

Methods

toJSON :: GeneralFunction -> Value

toEncoding :: GeneralFunction -> Encoding

toJSONList :: [GeneralFunction] -> Value

toEncodingList :: [GeneralFunction] -> Encoding

ToJSON GeneralData Source # 
Instance details

Methods

toJSON :: GeneralData -> Value

toEncoding :: GeneralData -> Encoding

toJSONList :: [GeneralData] -> Value

toEncodingList :: [GeneralData] -> Encoding

ToJSON GeneralTerm Source # 
Instance details

Methods

toJSON :: GeneralTerm -> Value

toEncoding :: GeneralTerm -> Encoding

toJSONList :: [GeneralTerm] -> Value

toEncodingList :: [GeneralTerm] -> Encoding

ToJSON StatusValue Source # 
Instance details

Methods

toJSON :: StatusValue -> Value

toEncoding :: StatusValue -> Encoding

toJSONList :: [StatusValue] -> Value

toEncodingList :: [StatusValue] -> Encoding

ToJSON InferenceStatus Source # 
Instance details

Methods

toJSON :: InferenceStatus -> Value

toEncoding :: InferenceStatus -> Encoding

toJSONList :: [InferenceStatus] -> Value

toEncodingList :: [InferenceStatus] -> Encoding

ToJSON InferenceItem Source # 
Instance details

Methods

toJSON :: InferenceItem -> Value

toEncoding :: InferenceItem -> Encoding

toJSONList :: [InferenceItem] -> Value

toEncodingList :: [InferenceItem] -> Encoding

ToJSON FormulaItem Source # 
Instance details

Methods

toJSON :: FormulaItem -> Value

toEncoding :: FormulaItem -> Encoding

toJSONList :: [FormulaItem] -> Value

toEncodingList :: [FormulaItem] -> Encoding

ToJSON InfoItem Source # 
Instance details

Methods

toJSON :: InfoItem -> Value

toEncoding :: InfoItem -> Encoding

toJSONList :: [InfoItem] -> Value

toEncodingList :: [InfoItem] -> Encoding

ToJSON TheoryName Source # 
Instance details

Methods

toJSON :: TheoryName -> Value

toEncoding :: TheoryName -> Encoding

toJSONList :: [TheoryName] -> Value

toEncodingList :: [TheoryName] -> Encoding

ToJSON FileSource Source # 
Instance details

Methods

toJSON :: FileSource -> Value

toEncoding :: FileSource -> Encoding

toJSONList :: [FileSource] -> Value

toEncodingList :: [FileSource] -> Encoding

ToJSON ExternalSource Source # 
Instance details

Methods

toJSON :: ExternalSource -> Value

toEncoding :: ExternalSource -> Encoding

toJSONList :: [ExternalSource] -> Value

toEncodingList :: [ExternalSource] -> Encoding

ToJSON IntroType Source # 
Instance details

Methods

toJSON :: IntroType -> Value

toEncoding :: IntroType -> Encoding

toJSONList :: [IntroType] -> Value

toEncodingList :: [IntroType] -> Encoding

ToJSON ParentInfo Source # 
Instance details

Methods

toJSON :: ParentInfo -> Value

toEncoding :: ParentInfo -> Encoding

toJSONList :: [ParentInfo] -> Value

toEncodingList :: [ParentInfo] -> Encoding

ToJSON DagSource Source # 
Instance details

Methods

toJSON :: DagSource -> Value

toEncoding :: DagSource -> Encoding

toJSONList :: [DagSource] -> Value

toEncodingList :: [DagSource] -> Encoding

ToJSON Source Source # 
Instance details

Methods

toJSON :: Source -> Value

toEncoding :: Source -> Encoding

toJSONList :: [Source] -> Value

toEncodingList :: [Source] -> Encoding

ToJSON PrincipalSymbol Source # 
Instance details

Methods

toJSON :: PrincipalSymbol -> Value

toEncoding :: PrincipalSymbol -> Encoding

toJSONList :: [PrincipalSymbol] -> Value

toEncodingList :: [PrincipalSymbol] -> Encoding

ToJSON SystemTerm Source # 
Instance details

Methods

toJSON :: SystemTerm -> Value

toEncoding :: SystemTerm -> Encoding

toJSONList :: [SystemTerm] -> Value

toEncodingList :: [SystemTerm] -> Encoding

ToJSON DefinedFunctor Source # 
Instance details

Methods

toJSON :: DefinedFunctor -> Value

toEncoding :: DefinedFunctor -> Encoding

toJSONList :: [DefinedFunctor] -> Value

toEncodingList :: [DefinedFunctor] -> Encoding

ToJSON DefinedPlainTerm Source # 
Instance details

ToJSON DefinedAtom Source # 
Instance details

Methods

toJSON :: DefinedAtom -> Value

toEncoding :: DefinedAtom -> Encoding

toJSONList :: [DefinedAtom] -> Value

toEncodingList :: [DefinedAtom] -> Encoding

ToJSON DefinedTerm Source # 
Instance details

Methods

toJSON :: DefinedTerm -> Value

toEncoding :: DefinedTerm -> Encoding

toJSONList :: [DefinedTerm] -> Value

toEncodingList :: [DefinedTerm] -> Encoding

ToJSON PlainTerm Source # 
Instance details

Methods

toJSON :: PlainTerm -> Value

toEncoding :: PlainTerm -> Encoding

toJSONList :: [PlainTerm] -> Value

toEncodingList :: [PlainTerm] -> Encoding

ToJSON FunctionTerm Source # 
Instance details

Methods

toJSON :: FunctionTerm -> Value

toEncoding :: FunctionTerm -> Encoding

toJSONList :: [FunctionTerm] -> Value

toEncodingList :: [FunctionTerm] -> Encoding

ToJSON Term Source # 
Instance details

Methods

toJSON :: Term -> Value

toEncoding :: Term -> Encoding

toJSONList :: [Term] -> Value

toEncodingList :: [Term] -> Encoding

ToJSON DefinedPred Source # 
Instance details

Methods

toJSON :: DefinedPred -> Value

toEncoding :: DefinedPred -> Encoding

toJSONList :: [DefinedPred] -> Value

toEncodingList :: [DefinedPred] -> Encoding

ToJSON DefinedProp Source # 
Instance details

Methods

toJSON :: DefinedProp -> Value

toEncoding :: DefinedProp -> Encoding

toJSONList :: [DefinedProp] -> Value

toEncodingList :: [DefinedProp] -> Encoding

ToJSON DefinedPlainFormula Source # 
Instance details

ToJSON DefinedType Source # 
Instance details

Methods

toJSON :: DefinedType -> Value

toEncoding :: DefinedType -> Encoding

toJSONList :: [DefinedType] -> Value

toEncodingList :: [DefinedType] -> Encoding

ToJSON AssocConnective Source # 
Instance details

Methods

toJSON :: AssocConnective -> Value

toEncoding :: AssocConnective -> Encoding

toJSONList :: [AssocConnective] -> Value

toEncodingList :: [AssocConnective] -> Encoding

ToJSON THFUnaryConnective Source # 
Instance details

ToJSON THFPairConnective Source # 
Instance details

ToJSON Quantifier Source # 
Instance details

Methods

toJSON :: Quantifier -> Value

toEncoding :: Quantifier -> Encoding

toJSONList :: [Quantifier] -> Value

toEncodingList :: [Quantifier] -> Encoding

ToJSON THFQuantifier Source # 
Instance details

Methods

toJSON :: THFQuantifier -> Value

toEncoding :: THFQuantifier -> Encoding

toJSONList :: [THFQuantifier] -> Value

toEncodingList :: [THFQuantifier] -> Encoding

ToJSON THFConnTerm Source # 
Instance details

Methods

toJSON :: THFConnTerm -> Value

toEncoding :: THFConnTerm -> Encoding

toJSONList :: [THFConnTerm] -> Value

toEncodingList :: [THFConnTerm] -> Encoding

ToJSON THFSequent Source # 
Instance details

Methods

toJSON :: THFSequent -> Value

toEncoding :: THFSequent -> Encoding

toJSONList :: [THFSequent] -> Value

toEncodingList :: [THFSequent] -> Encoding

ToJSON THFAtom Source # 
Instance details

Methods

toJSON :: THFAtom -> Value

toEncoding :: THFAtom -> Encoding

toJSONList :: [THFAtom] -> Value

toEncodingList :: [THFAtom] -> Encoding

ToJSON THFBinaryType Source # 
Instance details

Methods

toJSON :: THFBinaryType -> Value

toEncoding :: THFBinaryType -> Encoding

toJSONList :: [THFBinaryType] -> Value

toEncodingList :: [THFBinaryType] -> Encoding

ToJSON THFUnitaryType Source # 
Instance details

Methods

toJSON :: THFUnitaryType -> Value

toEncoding :: THFUnitaryType -> Encoding

toJSONList :: [THFUnitaryType] -> Value

toEncodingList :: [THFUnitaryType] -> Encoding

ToJSON THFTopLevelType Source # 
Instance details

Methods

toJSON :: THFTopLevelType -> Value

toEncoding :: THFTopLevelType -> Encoding

toJSONList :: [THFTopLevelType] -> Value

toEncodingList :: [THFTopLevelType] -> Encoding

ToJSON THFSubType Source # 
Instance details

Methods

toJSON :: THFSubType -> Value

toEncoding :: THFSubType -> Encoding

toJSONList :: [THFSubType] -> Value

toEncodingList :: [THFSubType] -> Encoding

ToJSON THFTypeableFormula Source # 
Instance details

ToJSON THFTypeFormula Source # 
Instance details

Methods

toJSON :: THFTypeFormula -> Value

toEncoding :: THFTypeFormula -> Encoding

toJSONList :: [THFTypeFormula] -> Value

toEncodingList :: [THFTypeFormula] -> Encoding

ToJSON THFTypedConst Source # 
Instance details

Methods

toJSON :: THFTypedConst -> Value

toEncoding :: THFTypedConst -> Encoding

toJSONList :: [THFTypedConst] -> Value

toEncodingList :: [THFTypedConst] -> Encoding

ToJSON THFVariable Source # 
Instance details

Methods

toJSON :: THFVariable -> Value

toEncoding :: THFVariable -> Encoding

toJSONList :: [THFVariable] -> Value

toEncodingList :: [THFVariable] -> Encoding

ToJSON THFQuantifiedFormula Source # 
Instance details

ToJSON THFUnitaryFormula Source # 
Instance details

ToJSON THFBinaryTuple Source # 
Instance details

Methods

toJSON :: THFBinaryTuple -> Value

toEncoding :: THFBinaryTuple -> Encoding

toJSONList :: [THFBinaryTuple] -> Value

toEncodingList :: [THFBinaryTuple] -> Encoding

ToJSON THFBinaryFormula Source # 
Instance details

ToJSON THFLogicFormula Source # 
Instance details

Methods

toJSON :: THFLogicFormula -> Value

toEncoding :: THFLogicFormula -> Encoding

toJSONList :: [THFLogicFormula] -> Value

toEncodingList :: [THFLogicFormula] -> Encoding

ToJSON THFFormula Source # 
Instance details

Methods

toJSON :: THFFormula -> Value

toEncoding :: THFFormula -> Encoding

toJSONList :: [THFFormula] -> Value

toEncodingList :: [THFFormula] -> Encoding

ToJSON FormulaRole Source # 
Instance details

Methods

toJSON :: FormulaRole -> Value

toEncoding :: FormulaRole -> Encoding

toJSONList :: [FormulaRole] -> Value

toEncodingList :: [FormulaRole] -> Encoding

ToJSON Annotations Source # 
Instance details

Methods

toJSON :: Annotations -> Value

toEncoding :: Annotations -> Encoding

toJSONList :: [Annotations] -> Value

toEncodingList :: [Annotations] -> Encoding

ToJSON Include Source # 
Instance details

Methods

toJSON :: Include -> Value

toEncoding :: Include -> Encoding

toJSONList :: [Include] -> Value

toEncodingList :: [Include] -> Encoding

ToJSON SystemComment Source # 
Instance details

Methods

toJSON :: SystemComment -> Value

toEncoding :: SystemComment -> Encoding

toJSONList :: [SystemComment] -> Value

toEncodingList :: [SystemComment] -> Encoding

ToJSON DefinedComment Source # 
Instance details

Methods

toJSON :: DefinedComment -> Value

toEncoding :: DefinedComment -> Encoding

toJSONList :: [DefinedComment] -> Value

toEncodingList :: [DefinedComment] -> Encoding

ToJSON Comment Source # 
Instance details

Methods

toJSON :: Comment -> Value

toEncoding :: Comment -> Encoding

toJSONList :: [Comment] -> Value

toEncodingList :: [Comment] -> Encoding

ToJSON TPTP_THF Source # 
Instance details

Methods

toJSON :: TPTP_THF -> Value

toEncoding :: TPTP_THF -> Encoding

toJSONList :: [TPTP_THF] -> Value

toEncodingList :: [TPTP_THF] -> Encoding

ToJSON Kind Source # 
Instance details

Methods

toJSON :: Kind -> Value

toEncoding :: Kind -> Encoding

toJSONList :: [Kind] -> Value

toEncodingList :: [Kind] -> Encoding

ToJSON Type Source # 
Instance details

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

ToJSON SymbolType Source # 
Instance details

Methods

toJSON :: SymbolType -> Value

toEncoding :: SymbolType -> Encoding

toJSONList :: [SymbolType] -> Value

toEncodingList :: [SymbolType] -> Encoding

ToJSON SymbolTHF Source # 
Instance details

Methods

toJSON :: SymbolTHF -> Value

toEncoding :: SymbolTHF -> Encoding

toJSONList :: [SymbolTHF] -> Value

toEncodingList :: [SymbolTHF] -> Encoding

ToJSON BasicSpecTHF Source # 
Instance details

Methods

toJSON :: BasicSpecTHF -> Value

toEncoding :: BasicSpecTHF -> Encoding

toJSONList :: [BasicSpecTHF] -> Value

toEncodingList :: [BasicSpecTHF] -> Encoding

ToJSON ConstInfo Source # 
Instance details

Methods

toJSON :: ConstInfo -> Value

toEncoding :: ConstInfo -> Encoding

toJSONList :: [ConstInfo] -> Value

toEncodingList :: [ConstInfo] -> Encoding

ToJSON TypeInfo Source # 
Instance details

Methods

toJSON :: TypeInfo -> Value

toEncoding :: TypeInfo -> Encoding

toJSONList :: [TypeInfo] -> Value

toEncodingList :: [TypeInfo] -> Encoding

ToJSON SignTHF Source # 
Instance details

Methods

toJSON :: SignTHF -> Value

toEncoding :: SignTHF -> Encoding

toJSONList :: [SignTHF] -> Value

toEncodingList :: [SignTHF] -> Encoding

ToJSON THFSl Source # 
Instance details

Methods

toJSON :: THFSl -> Value

toEncoding :: THFSl -> Encoding

toJSONList :: [THFSl] -> Value

toEncodingList :: [THFSl] -> Encoding

ToJSON THFCoreSl Source # 
Instance details

Methods

toJSON :: THFCoreSl -> Value

toEncoding :: THFCoreSl -> Encoding

toJSONList :: [THFCoreSl] -> Value

toEncodingList :: [THFCoreSl] -> Encoding

ShATermConvertible Number Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Methods

toShATermAux :: ATermTable -> THFCoreSl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [THFCoreSl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, THFCoreSl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFCoreSl])