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, Json 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

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 Methods from :: GeneralFunction -> Rep GeneralFunction x to :: Rep GeneralFunction x -> GeneralFunction
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 Methods from :: InferenceStatus -> Rep InferenceStatus x to :: Rep InferenceStatus x -> InferenceStatus
Generic InferenceItem Source #
Instance details Associated Types type Rep InferenceItem :: Type -> Type Methods from :: InferenceItem -> Rep InferenceItem x to :: Rep InferenceItem x -> InferenceItem
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 Methods from :: ExternalSource -> Rep ExternalSource x to :: Rep ExternalSource x -> ExternalSource
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 Methods from :: PrincipalSymbol -> Rep PrincipalSymbol x to :: Rep PrincipalSymbol x -> PrincipalSymbol
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 Methods from :: DefinedFunctor -> Rep DefinedFunctor x to :: Rep DefinedFunctor x -> DefinedFunctor
Generic DefinedPlainTerm Source #
Instance details Associated Types type Rep DefinedPlainTerm :: Type -> Type Methods from :: DefinedPlainTerm -> Rep DefinedPlainTerm x to :: Rep DefinedPlainTerm x -> DefinedPlainTerm
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 Methods from :: FunctionTerm -> Rep FunctionTerm x to :: Rep FunctionTerm x -> FunctionTerm
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 Methods from :: DefinedPlainFormula -> Rep DefinedPlainFormula x to :: Rep DefinedPlainFormula x -> DefinedPlainFormula
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 Methods from :: AssocConnective -> Rep AssocConnective x to :: Rep AssocConnective x -> AssocConnective
Generic THFUnaryConnective Source #
Instance details Associated Types type Rep THFUnaryConnective :: Type -> Type Methods from :: THFUnaryConnective -> Rep THFUnaryConnective x to :: Rep THFUnaryConnective x -> THFUnaryConnective
Generic THFPairConnective Source #
Instance details Associated Types type Rep THFPairConnective :: Type -> Type Methods from :: THFPairConnective -> Rep THFPairConnective x to :: Rep THFPairConnective x -> THFPairConnective
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 Methods from :: THFQuantifier -> Rep THFQuantifier x to :: Rep THFQuantifier x -> THFQuantifier
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 Methods from :: THFBinaryType -> Rep THFBinaryType x to :: Rep THFBinaryType x -> THFBinaryType
Generic THFUnitaryType Source #
Instance details Associated Types type Rep THFUnitaryType :: Type -> Type Methods from :: THFUnitaryType -> Rep THFUnitaryType x to :: Rep THFUnitaryType x -> THFUnitaryType
Generic THFTopLevelType Source #
Instance details Associated Types type Rep THFTopLevelType :: Type -> Type Methods from :: THFTopLevelType -> Rep THFTopLevelType x to :: Rep THFTopLevelType x -> THFTopLevelType
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 Methods from :: THFTypeableFormula -> Rep THFTypeableFormula x to :: Rep THFTypeableFormula x -> THFTypeableFormula
Generic THFTypeFormula Source #
Instance details Associated Types type Rep THFTypeFormula :: Type -> Type Methods from :: THFTypeFormula -> Rep THFTypeFormula x to :: Rep THFTypeFormula x -> THFTypeFormula
Generic THFTypedConst Source #
Instance details Associated Types type Rep THFTypedConst :: Type -> Type Methods from :: THFTypedConst -> Rep THFTypedConst x to :: Rep THFTypedConst x -> THFTypedConst
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 Methods from :: THFQuantifiedFormula -> Rep THFQuantifiedFormula x to :: Rep THFQuantifiedFormula x -> THFQuantifiedFormula
Generic THFUnitaryFormula Source #
Instance details Associated Types type Rep THFUnitaryFormula :: Type -> Type Methods from :: THFUnitaryFormula -> Rep THFUnitaryFormula x to :: Rep THFUnitaryFormula x -> THFUnitaryFormula
Generic THFBinaryTuple Source #
Instance details Associated Types type Rep THFBinaryTuple :: Type -> Type Methods from :: THFBinaryTuple -> Rep THFBinaryTuple x to :: Rep THFBinaryTuple x -> THFBinaryTuple
Generic THFBinaryFormula Source #
Instance details Associated Types type Rep THFBinaryFormula :: Type -> Type Methods from :: THFBinaryFormula -> Rep THFBinaryFormula x to :: Rep THFBinaryFormula x -> THFBinaryFormula
Generic THFLogicFormula Source #
Instance details Associated Types type Rep THFLogicFormula :: Type -> Type Methods from :: THFLogicFormula -> Rep THFLogicFormula x to :: Rep THFLogicFormula x -> THFLogicFormula
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 Methods from :: SystemComment -> Rep SystemComment x to :: Rep SystemComment x -> SystemComment
Generic DefinedComment Source #
Instance details Associated Types type Rep DefinedComment :: Type -> Type Methods from :: DefinedComment -> Rep DefinedComment x to :: Rep DefinedComment x -> DefinedComment
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 Methods from :: BasicSpecTHF -> Rep BasicSpecTHF x to :: Rep BasicSpecTHF x -> BasicSpecTHF
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 Methods toJSON :: DefinedPlainTerm -> Value toEncoding :: DefinedPlainTerm -> Encoding toJSONList :: [DefinedPlainTerm] -> Value toEncodingList :: [DefinedPlainTerm] -> Encoding
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 Methods toJSON :: DefinedPlainFormula -> Value toEncoding :: DefinedPlainFormula -> Encoding toJSONList :: [DefinedPlainFormula] -> Value toEncodingList :: [DefinedPlainFormula] -> Encoding
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 Methods toJSON :: THFUnaryConnective -> Value toEncoding :: THFUnaryConnective -> Encoding toJSONList :: [THFUnaryConnective] -> Value toEncodingList :: [THFUnaryConnective] -> Encoding
ToJSON THFPairConnective Source #
Instance details Methods toJSON :: THFPairConnective -> Value toEncoding :: THFPairConnective -> Encoding toJSONList :: [THFPairConnective] -> Value toEncodingList :: [THFPairConnective] -> Encoding
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 Methods toJSON :: THFTypeableFormula -> Value toEncoding :: THFTypeableFormula -> Encoding toJSONList :: [THFTypeableFormula] -> Value toEncodingList :: [THFTypeableFormula] -> Encoding
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 Methods toJSON :: THFQuantifiedFormula -> Value toEncoding :: THFQuantifiedFormula -> Encoding toJSONList :: [THFQuantifiedFormula] -> Value toEncodingList :: [THFQuantifiedFormula] -> Encoding
ToJSON THFUnitaryFormula Source #
Instance details Methods toJSON :: THFUnitaryFormula -> Value toEncoding :: THFUnitaryFormula -> Encoding toJSONList :: [THFUnitaryFormula] -> Value toEncodingList :: [THFUnitaryFormula] -> Encoding
ToJSON THFBinaryTuple Source #
Instance details Methods toJSON :: THFBinaryTuple -> Value toEncoding :: THFBinaryTuple -> Encoding toJSONList :: [THFBinaryTuple] -> Value toEncodingList :: [THFBinaryTuple] -> Encoding
ToJSON THFBinaryFormula Source #
Instance details Methods toJSON :: THFBinaryFormula -> Value toEncoding :: THFBinaryFormula -> Encoding toJSONList :: [THFBinaryFormula] -> Value toEncodingList :: [THFBinaryFormula] -> Encoding
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])