Copyright	(c) A. Tsogias DFKI Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Alexis.Tsogias@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

THF.PrintTHF

Contents

Orphan instances

Description

A printer for the TPTP-THF Input Syntax v5.1.0.2 taken from http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

Documentation

printTPTPTHF :: [TPTP_THF] -> Doc Source #

prettyHeader :: [Comment] -> Doc Source #

prettyCommentBlock :: [String] -> Doc Source #

prettyVariableList :: THFVariableList -> Doc Source #

prettyTuple :: THFTuple -> Doc Source #

prettyConstant :: Constant -> Doc Source #

prettyArguments :: Arguments -> Doc Source #

prettyOptionalInfo :: OptionalInfo -> Doc Source #

prettyUsefulInfo :: UsefulInfo -> Doc Source #

prettyNameList :: NameList -> Doc Source #

prettyGeneralList :: GeneralList -> Doc Source #

prettyGeneralTerms :: GeneralTerms -> Doc Source #

prettyAtomicSystemWord :: Token -> Doc Source #

prettyAtomicDefinedWord :: Token -> Doc Source #

prettySingleQuoted :: Token -> Doc Source #

prettyDistinctObject :: Token -> Doc Source #

prettyLowerWord :: Token -> Doc Source #

prettyUpperWord :: Token -> Doc Source #

orSign :: Doc Source #

andSign :: Doc Source #

applySign :: Doc Source #

arrowSign :: Doc Source #

starSign :: Doc Source #

plusSign :: Doc Source #

sepBy :: [Doc] -> Doc -> Doc Source #

Orphan instances

Pretty Number Source #
Instance details Methods pretty :: Number -> Doc Source # pretties :: [Number] -> Doc Source #
Pretty AtomicWord Source #
Instance details Methods pretty :: AtomicWord -> Doc Source # pretties :: [AtomicWord] -> Doc Source #
Pretty Name Source #
Instance details Methods pretty :: Name -> Doc Source # pretties :: [Name] -> Doc Source #
Pretty FormulaData Source #
Instance details Methods pretty :: FormulaData -> Doc Source # pretties :: [FormulaData] -> Doc Source #
Pretty GeneralFunction Source #
Instance details Methods pretty :: GeneralFunction -> Doc Source # pretties :: [GeneralFunction] -> Doc Source #
Pretty GeneralData Source #
Instance details Methods pretty :: GeneralData -> Doc Source # pretties :: [GeneralData] -> Doc Source #
Pretty GeneralTerm Source #
Instance details Methods pretty :: GeneralTerm -> Doc Source # pretties :: [GeneralTerm] -> Doc Source #
Pretty StatusValue Source #
Instance details Methods pretty :: StatusValue -> Doc Source # pretties :: [StatusValue] -> Doc Source #
Pretty InferenceStatus Source #
Instance details Methods pretty :: InferenceStatus -> Doc Source # pretties :: [InferenceStatus] -> Doc Source #
Pretty InferenceItem Source #
Instance details Methods pretty :: InferenceItem -> Doc Source # pretties :: [InferenceItem] -> Doc Source #
Pretty FormulaItem Source #
Instance details Methods pretty :: FormulaItem -> Doc Source # pretties :: [FormulaItem] -> Doc Source #
Pretty InfoItem Source #
Instance details Methods pretty :: InfoItem -> Doc Source # pretties :: [InfoItem] -> Doc Source #
Pretty TheoryName Source #
Instance details Methods pretty :: TheoryName -> Doc Source # pretties :: [TheoryName] -> Doc Source #
Pretty FileSource Source #
Instance details Methods pretty :: FileSource -> Doc Source # pretties :: [FileSource] -> Doc Source #
Pretty ExternalSource Source #
Instance details Methods pretty :: ExternalSource -> Doc Source # pretties :: [ExternalSource] -> Doc Source #
Pretty IntroType Source #
Instance details Methods pretty :: IntroType -> Doc Source # pretties :: [IntroType] -> Doc Source #
Pretty ParentInfo Source #
Instance details Methods pretty :: ParentInfo -> Doc Source # pretties :: [ParentInfo] -> Doc Source #
Pretty DagSource Source #
Instance details Methods pretty :: DagSource -> Doc Source # pretties :: [DagSource] -> Doc Source #
Pretty Source Source #
Instance details Methods pretty :: Source -> Doc Source # pretties :: [Source] -> Doc Source #
Pretty PrincipalSymbol Source #
Instance details Methods pretty :: PrincipalSymbol -> Doc Source # pretties :: [PrincipalSymbol] -> Doc Source #
Pretty SystemTerm Source #
Instance details Methods pretty :: SystemTerm -> Doc Source # pretties :: [SystemTerm] -> Doc Source #
Pretty DefinedFunctor Source #
Instance details Methods pretty :: DefinedFunctor -> Doc Source # pretties :: [DefinedFunctor] -> Doc Source #
Pretty DefinedPlainTerm Source #
Instance details Methods pretty :: DefinedPlainTerm -> Doc Source # pretties :: [DefinedPlainTerm] -> Doc Source #
Pretty DefinedAtom Source #
Instance details Methods pretty :: DefinedAtom -> Doc Source # pretties :: [DefinedAtom] -> Doc Source #
Pretty DefinedTerm Source #
Instance details Methods pretty :: DefinedTerm -> Doc Source # pretties :: [DefinedTerm] -> Doc Source #
Pretty PlainTerm Source #
Instance details Methods pretty :: PlainTerm -> Doc Source # pretties :: [PlainTerm] -> Doc Source #
Pretty FunctionTerm Source #
Instance details Methods pretty :: FunctionTerm -> Doc Source # pretties :: [FunctionTerm] -> Doc Source #
Pretty Term Source #
Instance details Methods pretty :: Term -> Doc Source # pretties :: [Term] -> Doc Source #
Pretty DefinedPred Source #
Instance details Methods pretty :: DefinedPred -> Doc Source # pretties :: [DefinedPred] -> Doc Source #
Pretty DefinedProp Source #
Instance details Methods pretty :: DefinedProp -> Doc Source # pretties :: [DefinedProp] -> Doc Source #
Pretty DefinedPlainFormula Source #
Instance details Methods pretty :: DefinedPlainFormula -> Doc Source # pretties :: [DefinedPlainFormula] -> Doc Source #
Pretty DefinedType Source #
Instance details Methods pretty :: DefinedType -> Doc Source # pretties :: [DefinedType] -> Doc Source #
Pretty AssocConnective Source #
Instance details Methods pretty :: AssocConnective -> Doc Source # pretties :: [AssocConnective] -> Doc Source #
Pretty THFUnaryConnective Source #
Instance details Methods pretty :: THFUnaryConnective -> Doc Source # pretties :: [THFUnaryConnective] -> Doc Source #
Pretty THFPairConnective Source #
Instance details Methods pretty :: THFPairConnective -> Doc Source # pretties :: [THFPairConnective] -> Doc Source #
Pretty Quantifier Source #
Instance details Methods pretty :: Quantifier -> Doc Source # pretties :: [Quantifier] -> Doc Source #
Pretty THFQuantifier Source #
Instance details Methods pretty :: THFQuantifier -> Doc Source # pretties :: [THFQuantifier] -> Doc Source #
Pretty THFConnTerm Source #
Instance details Methods pretty :: THFConnTerm -> Doc Source # pretties :: [THFConnTerm] -> Doc Source #
Pretty THFSequent Source #
Instance details Methods pretty :: THFSequent -> Doc Source # pretties :: [THFSequent] -> Doc Source #
Pretty THFAtom Source #
Instance details Methods pretty :: THFAtom -> Doc Source # pretties :: [THFAtom] -> Doc Source #
Pretty THFBinaryType Source #
Instance details Methods pretty :: THFBinaryType -> Doc Source # pretties :: [THFBinaryType] -> Doc Source #
Pretty THFUnitaryType Source #
Instance details Methods pretty :: THFUnitaryType -> Doc Source # pretties :: [THFUnitaryType] -> Doc Source #
Pretty THFTopLevelType Source #
Instance details Methods pretty :: THFTopLevelType -> Doc Source # pretties :: [THFTopLevelType] -> Doc Source #
Pretty THFSubType Source #
Instance details Methods pretty :: THFSubType -> Doc Source # pretties :: [THFSubType] -> Doc Source #
Pretty THFTypeableFormula Source #
Instance details Methods pretty :: THFTypeableFormula -> Doc Source # pretties :: [THFTypeableFormula] -> Doc Source #
Pretty THFTypeFormula Source #
Instance details Methods pretty :: THFTypeFormula -> Doc Source # pretties :: [THFTypeFormula] -> Doc Source #
Pretty THFTypedConst Source #
Instance details Methods pretty :: THFTypedConst -> Doc Source # pretties :: [THFTypedConst] -> Doc Source #
Pretty THFVariable Source #
Instance details Methods pretty :: THFVariable -> Doc Source # pretties :: [THFVariable] -> Doc Source #
Pretty THFQuantifiedFormula Source #
Instance details Methods pretty :: THFQuantifiedFormula -> Doc Source # pretties :: [THFQuantifiedFormula] -> Doc Source #
Pretty THFUnitaryFormula Source #
Instance details Methods pretty :: THFUnitaryFormula -> Doc Source # pretties :: [THFUnitaryFormula] -> Doc Source #
Pretty THFBinaryTuple Source #
Instance details Methods pretty :: THFBinaryTuple -> Doc Source # pretties :: [THFBinaryTuple] -> Doc Source #
Pretty THFBinaryFormula Source #
Instance details Methods pretty :: THFBinaryFormula -> Doc Source # pretties :: [THFBinaryFormula] -> Doc Source #
Pretty THFLogicFormula Source #
Instance details Methods pretty :: THFLogicFormula -> Doc Source # pretties :: [THFLogicFormula] -> Doc Source #
Pretty THFFormula Source #
Instance details Methods pretty :: THFFormula -> Doc Source # pretties :: [THFFormula] -> Doc Source #
Pretty FormulaRole Source #
Instance details Methods pretty :: FormulaRole -> Doc Source # pretties :: [FormulaRole] -> Doc Source #
Pretty Annotations Source #
Instance details Methods pretty :: Annotations -> Doc Source # pretties :: [Annotations] -> Doc Source #
Pretty Include Source #
Instance details Methods pretty :: Include -> Doc Source # pretties :: [Include] -> Doc Source #
Pretty SystemComment Source #
Instance details Methods pretty :: SystemComment -> Doc Source # pretties :: [SystemComment] -> Doc Source #
Pretty DefinedComment Source #
Instance details Methods pretty :: DefinedComment -> Doc Source # pretties :: [DefinedComment] -> Doc Source #
Pretty Comment Source #
Instance details Methods pretty :: Comment -> Doc Source # pretties :: [Comment] -> Doc Source #
Pretty TPTP_THF Source #
Instance details Methods pretty :: TPTP_THF -> Doc Source # pretties :: [TPTP_THF] -> Doc Source #