Safe Haskell | None |
---|---|
Language | Haskell98 |
- 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
- pPrintProof :: Problem Form -> Doc
Documentation
prettyShow :: Pretty a => a -> String #
Pretty print a value with the prettyNormal
level.
prettyNames :: Symbolic a => a -> a Source #
Orphan instances
Show Token Source # | |
Show Kind Source # | |
Show Clause Source # | |
Show Connective Source # | |
Show Form Source # | |
Show Atomic Source # | |
Show Term Source # | |
Show FunType Source # | |
Show Type Source # | |
Pretty Name Source # | |
Pretty Clause Source # | |
Pretty Form Source # | |
Pretty Atomic Source # | |
Pretty Term Source # | |
Pretty FunType Source # | |
Pretty Type Source # | |
Pretty a => Show (Input a) Source # | |
Pretty a => Pretty (Input a) Source # | |