liquid-fixpoint-0.1.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe Haskell	None

Language.Fixpoint.PrettyPrint

Documentation

class PPrint a whereSource

Methods

pprint :: a -> Doc Source

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 Symbol
PPrint Sort
PPrint SourcePos
PPrint a => PPrint [a]
PPrint a => PPrint (Maybe a)
(PPrint a, PPrint b) => PPrint (a, b)

showpp :: PPrint a => a -> String Source

trueD :: Doc Source

falseD :: Doc Source

andD :: Doc Source

orD :: Doc Source

pprintBin :: PPrint a => Doc -> Doc -> [a] -> Doc Source