| 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-Inferred |
THF.PrintTHF
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
prettyHeader :: [Comment] -> Doc
prettyCommentBlock :: [String] -> Doc
prettyTuple :: THFTuple -> Doc
prettyConstant :: Constant -> Doc
prettyArguments :: Arguments -> Doc
prettyUsefulInfo :: UsefulInfo -> Doc
prettyNameList :: NameList -> Doc
prettyGeneralList :: GeneralList -> Doc
prettyAtomicSystemWord :: Token -> Doc
prettyAtomicDefinedWord :: Token -> Doc
prettySingleQuoted :: Token -> Doc
prettyDistinctObject :: Token -> Doc
prettyLowerWord :: Token -> Doc
prettyUpperWord :: Token -> Doc