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

Generic SPCRBIND Source #
Instance details Associated Types type Rep SPCRBIND :: Type -> Type Methods from :: SPCRBIND -> Rep SPCRBIND x to :: Rep SPCRBIND x -> SPCRBIND
Generic SPSettingLabel Source #
Instance details Associated Types type Rep SPSettingLabel :: Type -> Type Methods from :: SPSettingLabel -> Rep SPSettingLabel x to :: Rep SPSettingLabel x -> SPSettingLabel
Generic SPHypothesis Source #
Instance details Associated Types type Rep SPHypothesis :: Type -> Type Methods from :: SPHypothesis -> Rep SPHypothesis x to :: Rep SPHypothesis x -> SPHypothesis
Generic SPSettingBody Source #
Instance details Associated Types type Rep SPSettingBody :: Type -> Type Methods from :: SPSettingBody -> Rep SPSettingBody x to :: Rep SPSettingBody x -> SPSettingBody
Generic SPSetting Source #
Instance details Associated Types type Rep SPSetting :: Type -> Type Methods from :: SPSetting -> Rep SPSetting x to :: Rep SPSetting x -> SPSetting
Generic SPLogState Source #
Instance details Associated Types type Rep SPLogState :: Type -> Type Methods from :: SPLogState -> Rep SPLogState x to :: Rep SPLogState x -> SPLogState
Generic SPDescription Source #
Instance details Associated Types type Rep SPDescription :: Type -> Type Methods from :: SPDescription -> Rep SPDescription x to :: Rep SPDescription x -> SPDescription
Generic SPValue Source #
Instance details Associated Types type Rep SPValue :: Type -> Type Methods from :: SPValue -> Rep SPValue x to :: Rep SPValue x -> SPValue
Generic SPKey Source #
Instance details Associated Types type Rep SPKey :: Type -> Type Methods from :: SPKey -> Rep SPKey x to :: Rep SPKey x -> SPKey
Generic SPParent Source #
Instance details Associated Types type Rep SPParent :: Type -> Type Methods from :: SPParent -> Rep SPParent x to :: Rep SPParent x -> SPParent
Generic SPUserRuleAppl Source #
Instance details Associated Types type Rep SPUserRuleAppl :: Type -> Type Methods from :: SPUserRuleAppl -> Rep SPUserRuleAppl x to :: Rep SPUserRuleAppl x -> SPUserRuleAppl
Generic SPRuleAppl Source #
Instance details Associated Types type Rep SPRuleAppl :: Type -> Type Methods from :: SPRuleAppl -> Rep SPRuleAppl x to :: Rep SPRuleAppl x -> SPRuleAppl
Generic SPResult Source #
Instance details Associated Types type Rep SPResult :: Type -> Type Methods from :: SPResult -> Rep SPResult x to :: Rep SPResult x -> SPResult
Generic SPReference Source #
Instance details Associated Types type Rep SPReference :: Type -> Type Methods from :: SPReference -> Rep SPReference x to :: Rep SPReference x -> SPReference
Generic SPProofStep Source #
Instance details Associated Types type Rep SPProofStep :: Type -> Type Methods from :: SPProofStep -> Rep SPProofStep x to :: Rep SPProofStep x -> SPProofStep
Generic SPProofList Source #
Instance details Associated Types type Rep SPProofList :: Type -> Type Methods from :: SPProofList -> Rep SPProofList x to :: Rep SPProofList x -> SPProofList
Generic SPSymbol Source #
Instance details Associated Types type Rep SPSymbol :: Type -> Type Methods from :: SPSymbol -> Rep SPSymbol x to :: Rep SPSymbol x -> SPSymbol
Generic SPQuantSym Source #
Instance details Associated Types type Rep SPQuantSym :: Type -> Type Methods from :: SPQuantSym -> Rep SPQuantSym x to :: Rep SPQuantSym x -> SPQuantSym
Generic SPLiteral Source #
Instance details Associated Types type Rep SPLiteral :: Type -> Type Methods from :: SPLiteral -> Rep SPLiteral x to :: Rep SPLiteral x -> SPLiteral
Generic TPTP Source #
Instance details Associated Types type Rep TPTP :: Type -> Type Methods from :: TPTP -> Rep TPTP x to :: Rep TPTP x -> TPTP
Generic Info Source #
Instance details Associated Types type Rep Info :: Type -> Type Methods from :: Info -> Rep Info x to :: Rep Info x -> Info
Generic FormData Source #
Instance details Associated Types type Rep FormData :: Type -> Type Methods from :: FormData -> Rep FormData x to :: Rep FormData x -> FormData
Generic GenData Source #
Instance details Associated Types type Rep GenData :: Type -> Type Methods from :: GenData -> Rep GenData x to :: Rep GenData x -> GenData
Generic GenTerm Source #
Instance details Associated Types type Rep GenTerm :: Type -> Type Methods from :: GenTerm -> Rep GenTerm x to :: Rep GenTerm x -> GenTerm
Generic AWord Source #
Instance details Associated Types type Rep AWord :: Type -> Type Methods from :: AWord -> Rep AWord x to :: Rep AWord x -> AWord
Generic Source Source #
Instance details Associated Types type Rep Source :: Type -> Type Methods from :: Source -> Rep Source x to :: Rep Source x -> Source
Generic Annos Source #
Instance details Associated Types type Rep Annos :: Type -> Type Methods from :: Annos -> Rep Annos x to :: Rep Annos x -> Annos
Generic Name Source #
Instance details Associated Types type Rep Name :: Type -> Type Methods from :: Name -> Rep Name x to :: Rep Name x -> Name
Generic Role Source #
Instance details Associated Types type Rep Role :: Type -> Type Methods from :: Role -> Rep Role x to :: Rep Role x -> Role
Generic FormKind Source #
Instance details Associated Types type Rep FormKind :: Type -> Type Methods from :: FormKind -> Rep FormKind x to :: Rep FormKind x -> FormKind
Generic FileName Source #
Instance details Associated Types type Rep FileName :: Type -> Type Methods from :: FileName -> Rep FileName x to :: Rep FileName x -> FileName
Generic SPTerm Source #
Instance details Associated Types type Rep SPTerm :: Type -> Type Methods from :: SPTerm -> Rep SPTerm x to :: Rep SPTerm x -> SPTerm
Generic TermWsList Source #
Instance details Associated Types type Rep TermWsList :: Type -> Type Methods from :: TermWsList -> Rep TermWsList x to :: Rep TermWsList x -> TermWsList
Generic NSPClauseBody Source #
Instance details Associated Types type Rep NSPClauseBody :: Type -> Type Methods from :: NSPClauseBody -> Rep NSPClauseBody x to :: Rep NSPClauseBody x -> NSPClauseBody
Generic NSPClause Source #
Instance details Associated Types type Rep NSPClause :: Type -> Type Methods from :: NSPClause -> Rep NSPClause x to :: Rep NSPClause x -> NSPClause
Generic SPClauseType Source #
Instance details Associated Types type Rep SPClauseType :: Type -> Type Methods from :: SPClauseType -> Rep SPClauseType x to :: Rep SPClauseType x -> SPClauseType
Generic SPOriginType Source #
Instance details Associated Types type Rep SPOriginType :: Type -> Type Methods from :: SPOriginType -> Rep SPOriginType x to :: Rep SPOriginType x -> SPOriginType
Generic SPClauseList Source #
Instance details Associated Types type Rep SPClauseList :: Type -> Type Methods from :: SPClauseList -> Rep SPClauseList x to :: Rep SPClauseList x -> SPClauseList
Generic SPFormulaList Source #
Instance details Associated Types type Rep SPFormulaList :: Type -> Type Methods from :: SPFormulaList -> Rep SPFormulaList x to :: Rep SPFormulaList x -> SPFormulaList
Generic SPDeclaration Source #
Instance details Associated Types type Rep SPDeclaration :: Type -> Type Methods from :: SPDeclaration -> Rep SPDeclaration x to :: Rep SPDeclaration x -> SPDeclaration
Generic SPSortSym Source #
Instance details Associated Types type Rep SPSortSym :: Type -> Type Methods from :: SPSortSym -> Rep SPSortSym x to :: Rep SPSortSym x -> SPSortSym
Generic SPSignSym Source #
Instance details Associated Types type Rep SPSignSym :: Type -> Type Methods from :: SPSignSym -> Rep SPSignSym x to :: Rep SPSignSym x -> SPSignSym
Generic SPSymbolList Source #
Instance details Associated Types type Rep SPSymbolList :: Type -> Type Methods from :: SPSymbolList -> Rep SPSymbolList x to :: Rep SPSymbolList x -> SPSymbolList
Generic SPLogicalPart Source #
Instance details Associated Types type Rep SPLogicalPart :: Type -> Type Methods from :: SPLogicalPart -> Rep SPLogicalPart x to :: Rep SPLogicalPart x -> SPLogicalPart
Generic SPProblem Source #
Instance details Associated Types type Rep SPProblem :: Type -> Type Methods from :: SPProblem -> Rep SPProblem x to :: Rep SPProblem x -> SPProblem
Generic SFSymbType Source #
Instance details Associated Types type Rep SFSymbType :: Type -> Type Methods from :: SFSymbType -> Rep SFSymbType x to :: Rep SFSymbType x -> SFSymbType
Generic SFSymbol Source #
Instance details Associated Types type Rep SFSymbol :: Type -> Type Methods from :: SFSymbol -> Rep SFSymbol x to :: Rep SFSymbol x -> SFSymbol
Generic Generated Source #
Instance details Associated Types type Rep Generated :: Type -> Type Methods from :: Generated -> Rep Generated x to :: Rep Generated x -> Generated
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
FromJSON SPCRBIND Source #
Instance details Methods parseJSON :: Value -> Parser SPCRBIND parseJSONList :: Value -> Parser [SPCRBIND]
FromJSON SPSettingLabel Source #
Instance details Methods parseJSON :: Value -> Parser SPSettingLabel parseJSONList :: Value -> Parser [SPSettingLabel]
FromJSON SPHypothesis Source #
Instance details Methods parseJSON :: Value -> Parser SPHypothesis parseJSONList :: Value -> Parser [SPHypothesis]
FromJSON SPSettingBody Source #
Instance details Methods parseJSON :: Value -> Parser SPSettingBody parseJSONList :: Value -> Parser [SPSettingBody]
FromJSON SPSetting Source #
Instance details Methods parseJSON :: Value -> Parser SPSetting parseJSONList :: Value -> Parser [SPSetting]
FromJSON SPLogState Source #
Instance details Methods parseJSON :: Value -> Parser SPLogState parseJSONList :: Value -> Parser [SPLogState]
FromJSON SPDescription Source #
Instance details Methods parseJSON :: Value -> Parser SPDescription parseJSONList :: Value -> Parser [SPDescription]
FromJSON SPValue Source #
Instance details Methods parseJSON :: Value -> Parser SPValue parseJSONList :: Value -> Parser [SPValue]
FromJSON SPKey Source #
Instance details Methods parseJSON :: Value -> Parser SPKey parseJSONList :: Value -> Parser [SPKey]
FromJSON SPParent Source #
Instance details Methods parseJSON :: Value -> Parser SPParent parseJSONList :: Value -> Parser [SPParent]
FromJSON SPUserRuleAppl Source #
Instance details Methods parseJSON :: Value -> Parser SPUserRuleAppl parseJSONList :: Value -> Parser [SPUserRuleAppl]
FromJSON SPRuleAppl Source #
Instance details Methods parseJSON :: Value -> Parser SPRuleAppl parseJSONList :: Value -> Parser [SPRuleAppl]
FromJSON SPResult Source #
Instance details Methods parseJSON :: Value -> Parser SPResult parseJSONList :: Value -> Parser [SPResult]
FromJSON SPReference Source #
Instance details Methods parseJSON :: Value -> Parser SPReference parseJSONList :: Value -> Parser [SPReference]
FromJSON SPProofStep Source #
Instance details Methods parseJSON :: Value -> Parser SPProofStep parseJSONList :: Value -> Parser [SPProofStep]
FromJSON SPProofList Source #
Instance details Methods parseJSON :: Value -> Parser SPProofList parseJSONList :: Value -> Parser [SPProofList]
FromJSON SPSymbol Source #
Instance details Methods parseJSON :: Value -> Parser SPSymbol parseJSONList :: Value -> Parser [SPSymbol]
FromJSON SPQuantSym Source #
Instance details Methods parseJSON :: Value -> Parser SPQuantSym parseJSONList :: Value -> Parser [SPQuantSym]
FromJSON SPLiteral Source #
Instance details Methods parseJSON :: Value -> Parser SPLiteral parseJSONList :: Value -> Parser [SPLiteral]
FromJSON TPTP Source #
Instance details Methods parseJSON :: Value -> Parser TPTP parseJSONList :: Value -> Parser [TPTP]
FromJSON Info Source #
Instance details Methods parseJSON :: Value -> Parser Info parseJSONList :: Value -> Parser [Info]
FromJSON FormData Source #
Instance details Methods parseJSON :: Value -> Parser FormData parseJSONList :: Value -> Parser [FormData]
FromJSON GenData Source #
Instance details Methods parseJSON :: Value -> Parser GenData parseJSONList :: Value -> Parser [GenData]
FromJSON GenTerm Source #
Instance details Methods parseJSON :: Value -> Parser GenTerm parseJSONList :: Value -> Parser [GenTerm]
FromJSON AWord Source #
Instance details Methods parseJSON :: Value -> Parser AWord parseJSONList :: Value -> Parser [AWord]
FromJSON Source Source #
Instance details Methods parseJSON :: Value -> Parser Source parseJSONList :: Value -> Parser [Source]
FromJSON Annos Source #
Instance details Methods parseJSON :: Value -> Parser Annos parseJSONList :: Value -> Parser [Annos]
FromJSON Name Source #
Instance details Methods parseJSON :: Value -> Parser Name parseJSONList :: Value -> Parser [Name]
FromJSON Role Source #
Instance details Methods parseJSON :: Value -> Parser Role parseJSONList :: Value -> Parser [Role]
FromJSON FormKind Source #
Instance details Methods parseJSON :: Value -> Parser FormKind parseJSONList :: Value -> Parser [FormKind]
FromJSON FileName Source #
Instance details Methods parseJSON :: Value -> Parser FileName parseJSONList :: Value -> Parser [FileName]
FromJSON SPTerm Source #
Instance details Methods parseJSON :: Value -> Parser SPTerm parseJSONList :: Value -> Parser [SPTerm]
FromJSON TermWsList Source #
Instance details Methods parseJSON :: Value -> Parser TermWsList parseJSONList :: Value -> Parser [TermWsList]
FromJSON NSPClauseBody Source #
Instance details Methods parseJSON :: Value -> Parser NSPClauseBody parseJSONList :: Value -> Parser [NSPClauseBody]
FromJSON NSPClause Source #
Instance details Methods parseJSON :: Value -> Parser NSPClause parseJSONList :: Value -> Parser [NSPClause]
FromJSON SPClauseType Source #
Instance details Methods parseJSON :: Value -> Parser SPClauseType parseJSONList :: Value -> Parser [SPClauseType]
FromJSON SPOriginType Source #
Instance details Methods parseJSON :: Value -> Parser SPOriginType parseJSONList :: Value -> Parser [SPOriginType]
FromJSON SPClauseList Source #
Instance details Methods parseJSON :: Value -> Parser SPClauseList parseJSONList :: Value -> Parser [SPClauseList]
FromJSON SPFormulaList Source #
Instance details Methods parseJSON :: Value -> Parser SPFormulaList parseJSONList :: Value -> Parser [SPFormulaList]
FromJSON SPDeclaration Source #
Instance details Methods parseJSON :: Value -> Parser SPDeclaration parseJSONList :: Value -> Parser [SPDeclaration]
FromJSON SPSortSym Source #
Instance details Methods parseJSON :: Value -> Parser SPSortSym parseJSONList :: Value -> Parser [SPSortSym]
FromJSON SPSignSym Source #
Instance details Methods parseJSON :: Value -> Parser SPSignSym parseJSONList :: Value -> Parser [SPSignSym]
FromJSON SPSymbolList Source #
Instance details Methods parseJSON :: Value -> Parser SPSymbolList parseJSONList :: Value -> Parser [SPSymbolList]
FromJSON SPLogicalPart Source #
Instance details Methods parseJSON :: Value -> Parser SPLogicalPart parseJSONList :: Value -> Parser [SPLogicalPart]
FromJSON SPProblem Source #
Instance details Methods parseJSON :: Value -> Parser SPProblem parseJSONList :: Value -> Parser [SPProblem]
FromJSON SFSymbType Source #
Instance details Methods parseJSON :: Value -> Parser SFSymbType parseJSONList :: Value -> Parser [SFSymbType]
FromJSON SFSymbol Source #
Instance details Methods parseJSON :: Value -> Parser SFSymbol parseJSONList :: Value -> Parser [SFSymbol]
FromJSON Generated Source #
Instance details Methods parseJSON :: Value -> Parser Generated parseJSONList :: Value -> Parser [Generated]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
ToJSON SPCRBIND Source #
Instance details Methods toJSON :: SPCRBIND -> Value toEncoding :: SPCRBIND -> Encoding toJSONList :: [SPCRBIND] -> Value toEncodingList :: [SPCRBIND] -> Encoding
ToJSON SPSettingLabel Source #
Instance details Methods toJSON :: SPSettingLabel -> Value toEncoding :: SPSettingLabel -> Encoding toJSONList :: [SPSettingLabel] -> Value toEncodingList :: [SPSettingLabel] -> Encoding
ToJSON SPHypothesis Source #
Instance details Methods toJSON :: SPHypothesis -> Value toEncoding :: SPHypothesis -> Encoding toJSONList :: [SPHypothesis] -> Value toEncodingList :: [SPHypothesis] -> Encoding
ToJSON SPSettingBody Source #
Instance details Methods toJSON :: SPSettingBody -> Value toEncoding :: SPSettingBody -> Encoding toJSONList :: [SPSettingBody] -> Value toEncodingList :: [SPSettingBody] -> Encoding
ToJSON SPSetting Source #
Instance details Methods toJSON :: SPSetting -> Value toEncoding :: SPSetting -> Encoding toJSONList :: [SPSetting] -> Value toEncodingList :: [SPSetting] -> Encoding
ToJSON SPLogState Source #
Instance details Methods toJSON :: SPLogState -> Value toEncoding :: SPLogState -> Encoding toJSONList :: [SPLogState] -> Value toEncodingList :: [SPLogState] -> Encoding
ToJSON SPDescription Source #
Instance details Methods toJSON :: SPDescription -> Value toEncoding :: SPDescription -> Encoding toJSONList :: [SPDescription] -> Value toEncodingList :: [SPDescription] -> Encoding
ToJSON SPValue Source #
Instance details Methods toJSON :: SPValue -> Value toEncoding :: SPValue -> Encoding toJSONList :: [SPValue] -> Value toEncodingList :: [SPValue] -> Encoding
ToJSON SPKey Source #
Instance details Methods toJSON :: SPKey -> Value toEncoding :: SPKey -> Encoding toJSONList :: [SPKey] -> Value toEncodingList :: [SPKey] -> Encoding
ToJSON SPParent Source #
Instance details Methods toJSON :: SPParent -> Value toEncoding :: SPParent -> Encoding toJSONList :: [SPParent] -> Value toEncodingList :: [SPParent] -> Encoding
ToJSON SPUserRuleAppl Source #
Instance details Methods toJSON :: SPUserRuleAppl -> Value toEncoding :: SPUserRuleAppl -> Encoding toJSONList :: [SPUserRuleAppl] -> Value toEncodingList :: [SPUserRuleAppl] -> Encoding
ToJSON SPRuleAppl Source #
Instance details Methods toJSON :: SPRuleAppl -> Value toEncoding :: SPRuleAppl -> Encoding toJSONList :: [SPRuleAppl] -> Value toEncodingList :: [SPRuleAppl] -> Encoding
ToJSON SPResult Source #
Instance details Methods toJSON :: SPResult -> Value toEncoding :: SPResult -> Encoding toJSONList :: [SPResult] -> Value toEncodingList :: [SPResult] -> Encoding
ToJSON SPReference Source #
Instance details Methods toJSON :: SPReference -> Value toEncoding :: SPReference -> Encoding toJSONList :: [SPReference] -> Value toEncodingList :: [SPReference] -> Encoding
ToJSON SPProofStep Source #
Instance details Methods toJSON :: SPProofStep -> Value toEncoding :: SPProofStep -> Encoding toJSONList :: [SPProofStep] -> Value toEncodingList :: [SPProofStep] -> Encoding
ToJSON SPProofList Source #
Instance details Methods toJSON :: SPProofList -> Value toEncoding :: SPProofList -> Encoding toJSONList :: [SPProofList] -> Value toEncodingList :: [SPProofList] -> Encoding
ToJSON SPSymbol Source #
Instance details Methods toJSON :: SPSymbol -> Value toEncoding :: SPSymbol -> Encoding toJSONList :: [SPSymbol] -> Value toEncodingList :: [SPSymbol] -> Encoding
ToJSON SPQuantSym Source #
Instance details Methods toJSON :: SPQuantSym -> Value toEncoding :: SPQuantSym -> Encoding toJSONList :: [SPQuantSym] -> Value toEncodingList :: [SPQuantSym] -> Encoding
ToJSON SPLiteral Source #
Instance details Methods toJSON :: SPLiteral -> Value toEncoding :: SPLiteral -> Encoding toJSONList :: [SPLiteral] -> Value toEncodingList :: [SPLiteral] -> Encoding
ToJSON TPTP Source #
Instance details Methods toJSON :: TPTP -> Value toEncoding :: TPTP -> Encoding toJSONList :: [TPTP] -> Value toEncodingList :: [TPTP] -> Encoding
ToJSON Info Source #
Instance details Methods toJSON :: Info -> Value toEncoding :: Info -> Encoding toJSONList :: [Info] -> Value toEncodingList :: [Info] -> Encoding
ToJSON FormData Source #
Instance details Methods toJSON :: FormData -> Value toEncoding :: FormData -> Encoding toJSONList :: [FormData] -> Value toEncodingList :: [FormData] -> Encoding
ToJSON GenData Source #
Instance details Methods toJSON :: GenData -> Value toEncoding :: GenData -> Encoding toJSONList :: [GenData] -> Value toEncodingList :: [GenData] -> Encoding
ToJSON GenTerm Source #
Instance details Methods toJSON :: GenTerm -> Value toEncoding :: GenTerm -> Encoding toJSONList :: [GenTerm] -> Value toEncodingList :: [GenTerm] -> Encoding
ToJSON AWord Source #
Instance details Methods toJSON :: AWord -> Value toEncoding :: AWord -> Encoding toJSONList :: [AWord] -> Value toEncodingList :: [AWord] -> Encoding
ToJSON Source Source #
Instance details Methods toJSON :: Source -> Value toEncoding :: Source -> Encoding toJSONList :: [Source] -> Value toEncodingList :: [Source] -> Encoding
ToJSON Annos Source #
Instance details Methods toJSON :: Annos -> Value toEncoding :: Annos -> Encoding toJSONList :: [Annos] -> Value toEncodingList :: [Annos] -> Encoding
ToJSON Name Source #
Instance details Methods toJSON :: Name -> Value toEncoding :: Name -> Encoding toJSONList :: [Name] -> Value toEncodingList :: [Name] -> Encoding
ToJSON Role Source #
Instance details Methods toJSON :: Role -> Value toEncoding :: Role -> Encoding toJSONList :: [Role] -> Value toEncodingList :: [Role] -> Encoding
ToJSON FormKind Source #
Instance details Methods toJSON :: FormKind -> Value toEncoding :: FormKind -> Encoding toJSONList :: [FormKind] -> Value toEncodingList :: [FormKind] -> Encoding
ToJSON FileName Source #
Instance details Methods toJSON :: FileName -> Value toEncoding :: FileName -> Encoding toJSONList :: [FileName] -> Value toEncodingList :: [FileName] -> Encoding
ToJSON SPTerm Source #
Instance details Methods toJSON :: SPTerm -> Value toEncoding :: SPTerm -> Encoding toJSONList :: [SPTerm] -> Value toEncodingList :: [SPTerm] -> Encoding
ToJSON TermWsList Source #
Instance details Methods toJSON :: TermWsList -> Value toEncoding :: TermWsList -> Encoding toJSONList :: [TermWsList] -> Value toEncodingList :: [TermWsList] -> Encoding
ToJSON NSPClauseBody Source #
Instance details Methods toJSON :: NSPClauseBody -> Value toEncoding :: NSPClauseBody -> Encoding toJSONList :: [NSPClauseBody] -> Value toEncodingList :: [NSPClauseBody] -> Encoding
ToJSON NSPClause Source #
Instance details Methods toJSON :: NSPClause -> Value toEncoding :: NSPClause -> Encoding toJSONList :: [NSPClause] -> Value toEncodingList :: [NSPClause] -> Encoding
ToJSON SPClauseType Source #
Instance details Methods toJSON :: SPClauseType -> Value toEncoding :: SPClauseType -> Encoding toJSONList :: [SPClauseType] -> Value toEncodingList :: [SPClauseType] -> Encoding
ToJSON SPOriginType Source #
Instance details Methods toJSON :: SPOriginType -> Value toEncoding :: SPOriginType -> Encoding toJSONList :: [SPOriginType] -> Value toEncodingList :: [SPOriginType] -> Encoding
ToJSON SPClauseList Source #
Instance details Methods toJSON :: SPClauseList -> Value toEncoding :: SPClauseList -> Encoding toJSONList :: [SPClauseList] -> Value toEncodingList :: [SPClauseList] -> Encoding
ToJSON SPFormulaList Source #
Instance details Methods toJSON :: SPFormulaList -> Value toEncoding :: SPFormulaList -> Encoding toJSONList :: [SPFormulaList] -> Value toEncodingList :: [SPFormulaList] -> Encoding
ToJSON SPDeclaration Source #
Instance details Methods toJSON :: SPDeclaration -> Value toEncoding :: SPDeclaration -> Encoding toJSONList :: [SPDeclaration] -> Value toEncodingList :: [SPDeclaration] -> Encoding
ToJSON SPSortSym Source #
Instance details Methods toJSON :: SPSortSym -> Value toEncoding :: SPSortSym -> Encoding toJSONList :: [SPSortSym] -> Value toEncodingList :: [SPSortSym] -> Encoding
ToJSON SPSignSym Source #
Instance details Methods toJSON :: SPSignSym -> Value toEncoding :: SPSignSym -> Encoding toJSONList :: [SPSignSym] -> Value toEncodingList :: [SPSignSym] -> Encoding
ToJSON SPSymbolList Source #
Instance details Methods toJSON :: SPSymbolList -> Value toEncoding :: SPSymbolList -> Encoding toJSONList :: [SPSymbolList] -> Value toEncodingList :: [SPSymbolList] -> Encoding
ToJSON SPLogicalPart Source #
Instance details Methods toJSON :: SPLogicalPart -> Value toEncoding :: SPLogicalPart -> Encoding toJSONList :: [SPLogicalPart] -> Value toEncodingList :: [SPLogicalPart] -> Encoding
ToJSON SPProblem Source #
Instance details Methods toJSON :: SPProblem -> Value toEncoding :: SPProblem -> Encoding toJSONList :: [SPProblem] -> Value toEncodingList :: [SPProblem] -> Encoding
ToJSON SFSymbType Source #
Instance details Methods toJSON :: SFSymbType -> Value toEncoding :: SFSymbType -> Encoding toJSONList :: [SFSymbType] -> Value toEncodingList :: [SFSymbType] -> Encoding
ToJSON SFSymbol Source #
Instance details Methods toJSON :: SFSymbol -> Value toEncoding :: SFSymbol -> Encoding toJSONList :: [SFSymbol] -> Value toEncodingList :: [SFSymbol] -> Encoding
ToJSON Generated Source #
Instance details Methods toJSON :: Generated -> Value toEncoding :: Generated -> Encoding toJSONList :: [Generated] -> Value toEncodingList :: [Generated] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ShATermConvertible SPCRBIND Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
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 Annos Source #
Instance details 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 #
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 Role Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])