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