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 |
SoftFOL.ATC_SoftFOL
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
Sign
Generated
SFSymbol
SFSymbType
SPProblem
SPLogicalPart
SPSymbolList
SPSignSym
SPSortSym
SPDeclaration
SPFormulaList
SPClauseList
SPOriginType
SPClauseType
NSPClause
NSPClauseBody
TermWsList
SPTerm
FileName
FormKind
Role
Name
Annos
Source
AWord
GenTerm
GenData
FormData
Info
TPTP
SPLiteral
SPQuantSym
SPSymbol
SPProofList
SPProofStep
SPReference
SPResult
SPRuleAppl
SPUserRuleAppl
SPParent
SPKey
SPValue
SPDescription
SPLogState
SPSetting
SPSettingBody
SPHypothesis
SPSettingLabel
SPCRBIND
Orphan instances
ShATermConvertible SPCRBIND Source # | |
ShATermConvertible SPSettingLabel Source # | |
ShATermConvertible SPHypothesis Source # | |
ShATermConvertible SPSettingBody Source # | |
ShATermConvertible SPSetting Source # | |
ShATermConvertible SPLogState Source # | |
ShATermConvertible SPDescription Source # | |
ShATermConvertible SPValue Source # | |
ShATermConvertible SPKey Source # | |
ShATermConvertible SPParent Source # | |
ShATermConvertible SPUserRuleAppl Source # | |
ShATermConvertible SPRuleAppl Source # | |
ShATermConvertible SPResult Source # | |
ShATermConvertible SPReference Source # | |
ShATermConvertible SPProofStep Source # | |
ShATermConvertible SPProofList Source # | |
ShATermConvertible SPSymbol Source # | |
ShATermConvertible SPQuantSym Source # | |
ShATermConvertible SPLiteral Source # | |
ShATermConvertible TPTP Source # | |
ShATermConvertible Info Source # | |
ShATermConvertible FormData Source # | |
ShATermConvertible GenData Source # | |
ShATermConvertible GenTerm Source # | |
ShATermConvertible AWord Source # | |
ShATermConvertible Source Source # | |
ShATermConvertible Annos Source # | |
ShATermConvertible Name Source # | |
ShATermConvertible Role Source # | |
ShATermConvertible FormKind Source # | |
ShATermConvertible FileName Source # | |
ShATermConvertible SPTerm Source # | |
ShATermConvertible TermWsList Source # | |
ShATermConvertible NSPClauseBody Source # | |
ShATermConvertible NSPClause Source # | |
ShATermConvertible SPClauseType Source # | |
ShATermConvertible SPOriginType Source # | |
ShATermConvertible SPClauseList Source # | |
ShATermConvertible SPFormulaList Source # | |
ShATermConvertible SPDeclaration Source # | |
ShATermConvertible SPSortSym Source # | |
ShATermConvertible SPSignSym Source # | |
ShATermConvertible SPSymbolList Source # | |
ShATermConvertible SPLogicalPart Source # | |
ShATermConvertible SPProblem Source # | |
ShATermConvertible SFSymbType Source # | |
ShATermConvertible SFSymbol Source # | |
ShATermConvertible Generated Source # | |
ShATermConvertible Sign Source # | |