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

Orphan instances

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 #
Methods toShATermAux :: ATermTable -> SPCRBIND -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPCRBIND] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPCRBIND) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPCRBIND])
ShATermConvertible SPSettingLabel Source #
Methods toShATermAux :: ATermTable -> SPSettingLabel -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPSettingLabel] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSettingLabel) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSettingLabel])
ShATermConvertible SPHypothesis Source #
Methods toShATermAux :: ATermTable -> SPHypothesis -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPHypothesis] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPHypothesis) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPHypothesis])
ShATermConvertible SPSettingBody Source #
Methods toShATermAux :: ATermTable -> SPSettingBody -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPSettingBody] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSettingBody) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSettingBody])
ShATermConvertible SPSetting Source #
Methods toShATermAux :: ATermTable -> SPSetting -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPSetting] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSetting) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSetting])
ShATermConvertible SPLogState Source #
Methods toShATermAux :: ATermTable -> SPLogState -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPLogState] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPLogState) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPLogState])
ShATermConvertible SPDescription Source #
Methods toShATermAux :: ATermTable -> SPDescription -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPDescription] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPDescription) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPDescription])
ShATermConvertible SPValue Source #
Methods toShATermAux :: ATermTable -> SPValue -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPValue] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPValue) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPValue])
ShATermConvertible SPKey Source #
Methods toShATermAux :: ATermTable -> SPKey -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPKey] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPKey) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPKey])
ShATermConvertible SPParent Source #
Methods toShATermAux :: ATermTable -> SPParent -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPParent] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPParent) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPParent])
ShATermConvertible SPUserRuleAppl Source #
Methods toShATermAux :: ATermTable -> SPUserRuleAppl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPUserRuleAppl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPUserRuleAppl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPUserRuleAppl])
ShATermConvertible SPRuleAppl Source #
Methods toShATermAux :: ATermTable -> SPRuleAppl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPRuleAppl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPRuleAppl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPRuleAppl])
ShATermConvertible SPResult Source #
Methods toShATermAux :: ATermTable -> SPResult -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPResult] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPResult) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPResult])
ShATermConvertible SPReference Source #
Methods toShATermAux :: ATermTable -> SPReference -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPReference] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPReference) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPReference])
ShATermConvertible SPProofStep Source #
Methods toShATermAux :: ATermTable -> SPProofStep -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPProofStep] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPProofStep) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPProofStep])
ShATermConvertible SPProofList Source #
Methods toShATermAux :: ATermTable -> SPProofList -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPProofList] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPProofList) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPProofList])
ShATermConvertible SPSymbol Source #
Methods toShATermAux :: ATermTable -> SPSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSymbol])
ShATermConvertible SPQuantSym Source #
Methods toShATermAux :: ATermTable -> SPQuantSym -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPQuantSym] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPQuantSym) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPQuantSym])
ShATermConvertible SPLiteral Source #
Methods toShATermAux :: ATermTable -> SPLiteral -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPLiteral] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPLiteral) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPLiteral])
ShATermConvertible TPTP Source #
Methods toShATermAux :: ATermTable -> TPTP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TPTP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TPTP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TPTP])
ShATermConvertible Info Source #
Methods toShATermAux :: ATermTable -> Info -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Info] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Info) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Info])
ShATermConvertible FormData Source #
Methods toShATermAux :: ATermTable -> FormData -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FormData] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FormData) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FormData])
ShATermConvertible GenData Source #
Methods toShATermAux :: ATermTable -> GenData -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GenData] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GenData) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenData])
ShATermConvertible GenTerm Source #
Methods toShATermAux :: ATermTable -> GenTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GenTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GenTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenTerm])
ShATermConvertible AWord Source #
Methods toShATermAux :: ATermTable -> AWord -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AWord] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AWord) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AWord])
ShATermConvertible Source Source #
Methods toShATermAux :: ATermTable -> Source -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Source] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Source) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Source])
ShATermConvertible Annos Source #
Methods toShATermAux :: ATermTable -> Annos -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annos] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annos) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annos])
ShATermConvertible Name Source #
Methods toShATermAux :: ATermTable -> Name -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Name] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Name) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Name])
ShATermConvertible Role Source #
Methods toShATermAux :: ATermTable -> Role -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Role] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Role) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Role])
ShATermConvertible FormKind Source #
Methods toShATermAux :: ATermTable -> FormKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FormKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FormKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FormKind])
ShATermConvertible FileName Source #
Methods toShATermAux :: ATermTable -> FileName -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FileName] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FileName) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FileName])
ShATermConvertible SPTerm Source #
Methods toShATermAux :: ATermTable -> SPTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPTerm])
ShATermConvertible TermWsList Source #
Methods toShATermAux :: ATermTable -> TermWsList -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TermWsList] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TermWsList) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TermWsList])
ShATermConvertible NSPClauseBody Source #
Methods toShATermAux :: ATermTable -> NSPClauseBody -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NSPClauseBody] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NSPClauseBody) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NSPClauseBody])
ShATermConvertible NSPClause Source #
Methods toShATermAux :: ATermTable -> NSPClause -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NSPClause] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NSPClause) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NSPClause])
ShATermConvertible SPClauseType Source #
Methods toShATermAux :: ATermTable -> SPClauseType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPClauseType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPClauseType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPClauseType])
ShATermConvertible SPOriginType Source #
Methods toShATermAux :: ATermTable -> SPOriginType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPOriginType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPOriginType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPOriginType])
ShATermConvertible SPClauseList Source #
Methods toShATermAux :: ATermTable -> SPClauseList -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPClauseList] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPClauseList) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPClauseList])
ShATermConvertible SPFormulaList Source #
Methods toShATermAux :: ATermTable -> SPFormulaList -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPFormulaList] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPFormulaList) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPFormulaList])
ShATermConvertible SPDeclaration Source #
Methods toShATermAux :: ATermTable -> SPDeclaration -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPDeclaration] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPDeclaration) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPDeclaration])
ShATermConvertible SPSortSym Source #
Methods toShATermAux :: ATermTable -> SPSortSym -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPSortSym] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSortSym) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSortSym])
ShATermConvertible SPSignSym Source #
Methods toShATermAux :: ATermTable -> SPSignSym -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPSignSym] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSignSym) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSignSym])
ShATermConvertible SPSymbolList Source #
Methods toShATermAux :: ATermTable -> SPSymbolList -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPSymbolList] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSymbolList) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSymbolList])
ShATermConvertible SPLogicalPart Source #
Methods toShATermAux :: ATermTable -> SPLogicalPart -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPLogicalPart] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPLogicalPart) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPLogicalPart])
ShATermConvertible SPProblem Source #
Methods toShATermAux :: ATermTable -> SPProblem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SPProblem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SPProblem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPProblem])
ShATermConvertible SFSymbType Source #
Methods toShATermAux :: ATermTable -> SFSymbType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SFSymbType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SFSymbType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SFSymbType])
ShATermConvertible SFSymbol Source #
Methods toShATermAux :: ATermTable -> SFSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SFSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SFSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SFSymbol])
ShATermConvertible Generated Source #
Methods toShATermAux :: ATermTable -> Generated -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Generated] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Generated) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Generated])
ShATermConvertible Sign Source #
Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])