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

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.PrettyPrint

Synopsis

Documentation

class PPrint a where Source

Minimal complete definition

Nothing

Methods

pprint :: a -> Doc Source

pprintPrec :: Int -> a -> Doc Source

Pretty-print something with a specific precedence.

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

parensIf :: Bool -> Doc -> Doc Source

Wrap the enclosed Doc in parentheses only if the condition holds.

opPrec :: Num a => Bop -> a Source

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