| Safe Haskell | None |
|---|
Language.Fixpoint.PrettyPrint
Documentation
Instances
| PPrint Int | |
| PPrint Integer | |
| PPrint String | |
| PPrint () | |
| PPrint SortedReft | |
| PPrint Reft | |
| PPrint Refa | |
| PPrint Pred | |
| PPrint Expr | |
| PPrint Bop | |
| PPrint Brel | |
| PPrint Constant | |
| PPrint SymConst | |
| PPrint Symbol | |
| PPrint Sort | |
| PPrint SourcePos | |
| PPrint a => PPrint [a] | |
| PPrint a => PPrint (Maybe a) | |
| (PPrint a, PPrint b) => PPrint (a, b) | |
| (PPrint a, PPrint b, PPrint c) => PPrint (a, b, c) |