Codec.TPTP.Pretty
Description
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).
Constructors
| WithEnclosing Enclosing a |
Instances
| 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) |