Hets - the Heterogeneous Tool Set

Copyright(c) A. Tsogias DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

THF.PrintTHF

Contents

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

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

Orphan instances

Pretty Number Source # 
Pretty AtomicWord Source # 
Pretty Name Source # 

Methods

pretty :: Name -> Doc Source #

pretties :: [Name] -> Doc Source #

Pretty FormulaData Source # 
Pretty GeneralFunction Source # 
Pretty GeneralData Source # 
Pretty GeneralTerm Source # 
Pretty StatusValue Source # 
Pretty InferenceStatus Source # 
Pretty InferenceItem Source # 
Pretty FormulaItem Source # 
Pretty InfoItem Source # 
Pretty TheoryName Source # 
Pretty FileSource Source # 
Pretty ExternalSource Source # 
Pretty IntroType Source # 
Pretty ParentInfo Source # 
Pretty DagSource Source # 
Pretty Source Source # 
Pretty PrincipalSymbol Source # 
Pretty SystemTerm Source # 
Pretty DefinedFunctor Source # 
Pretty DefinedPlainTerm Source # 
Pretty DefinedAtom Source # 
Pretty DefinedTerm Source # 
Pretty PlainTerm Source # 
Pretty FunctionTerm Source # 
Pretty Term Source # 

Methods

pretty :: Term -> Doc Source #

pretties :: [Term] -> Doc Source #

Pretty DefinedPred Source # 
Pretty DefinedProp Source # 
Pretty DefinedPlainFormula Source # 
Pretty DefinedType Source # 
Pretty AssocConnective Source # 
Pretty THFUnaryConnective Source # 
Pretty THFPairConnective Source # 
Pretty Quantifier Source # 
Pretty THFQuantifier Source # 
Pretty THFConnTerm Source # 
Pretty THFSequent Source # 
Pretty THFAtom Source # 
Pretty THFBinaryType Source # 
Pretty THFUnitaryType Source # 
Pretty THFTopLevelType Source # 
Pretty THFSubType Source # 
Pretty THFTypeableFormula Source # 
Pretty THFTypeFormula Source # 
Pretty THFTypedConst Source # 
Pretty THFVariable Source # 
Pretty THFQuantifiedFormula Source # 
Pretty THFUnitaryFormula Source # 
Pretty THFBinaryTuple Source # 
Pretty THFBinaryFormula Source # 
Pretty THFLogicFormula Source # 
Pretty THFFormula Source # 
Pretty FormulaRole Source # 
Pretty Annotations Source # 
Pretty Include Source # 
Pretty SystemComment Source # 
Pretty DefinedComment Source # 
Pretty Comment Source # 
Pretty TPTP_THF Source #