Mainly just Pretty
instances
- prettySimple :: Pretty a => a -> String
- data WithEnclosing a = WithEnclosing Enclosing a
- data Enclosing
- = EnclBinOp BinOp
- | EnclQuant
- | EnclNeg
- | EnclInfixPred InfixPred
- | EnclNothing
Documentation
prettySimple :: Pretty a => a -> StringSource
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)) | |
(Pretty (WithEnclosing t), Pretty (WithEnclosing f)) => Pretty (WithEnclosing (Formula0 t f)) | |
Pretty (WithEnclosing Term) | |
Pretty (WithEnclosing Formula) | |
Pretty (WithEnclosing F0Diff) | |
Pretty (WithEnclosing T0Diff) |