| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Jukebox.TPTP.Print
Contents
Synopsis
- prettyShow :: Pretty a => a -> String
- prettyNames :: Symbolic a => a -> a
- showClauses :: Problem Clause -> String
- pPrintClauses :: Problem Clause -> Doc
- showProblem :: Problem Form -> String
- pPrintProblem :: String -> Problem Form -> Doc
- pPrintProof :: Problem Form -> Doc
Documentation
prettyShow :: Pretty a => a -> String #
Pretty print a value with the prettyNormal level.
prettyNames :: Symbolic a => a -> a Source #