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