Safe Haskell | None |
---|---|
Language | Haskell98 |
Mainly just Pretty
instances
- prettySimple :: Pretty a => a -> String
- data WithEnclosing a = WithEnclosing Enclosing a
- data Enclosing
Documentation
prettySimple :: Pretty a => a -> String Source #
data WithEnclosing a Source #
Carries information about the enclosing operation (for the purpose of printing stuff without parentheses if possible).
Pretty (WithEnclosing (T DiffResult)) # | |
Pretty (WithEnclosing (F DiffResult)) # | |
Pretty (WithEnclosing t) => Pretty (WithEnclosing (Term0 t)) Source # | |
(Pretty (WithEnclosing t), Pretty (WithEnclosing f)) => Pretty (WithEnclosing (Formula0 t f)) Source # | |
Pretty (WithEnclosing Term) Source # | |
Pretty (WithEnclosing Formula) Source # | |
Pretty (WithEnclosing F0Diff) # | |
Pretty (WithEnclosing T0Diff) # | |
Orphan instances
Pretty V Source # | |
Pretty AtomicWord Source # | |
Pretty GTerm Source # | |
Pretty GData Source # | |
Pretty UsefulInfo Source # | |
Pretty Annotations Source # | |
Pretty TPTP_Input Source # | |
Pretty Quant Source # | |
Pretty InfixPred Source # | |
Pretty BinOp Source # | |
Pretty a => Pretty (Identity a) Source # | |
Pretty (T Identity) Source # | |
Pretty (F Identity) Source # | |
Pretty (Term0 Term) Source # | |
Pretty (Formula0 Term Formula) Source # | |