Language.Fixpoint.PrettyPrint

Documentation

class PPrint a where

Minimal complete definition

Nothing

Methods

pprint :: a -> Doc

pprintPrec :: Int -> a -> Doc

Pretty-print something with a specific precedence.

Instances

PPrint Bool

PPrint Float

PPrint Int

PPrint Integer

PPrint String

PPrint ()

PPrint SourcePos

PPrint Symbol

PPrint SortedReft

PPrint Reft

PPrint Refa

PPrint Pred

PPrint Expr

PPrint Bop

PPrint Brel

PPrint Constant

PPrint SymConst

PPrint Sort

PPrint KVar

PPrint Error

PPrint SrcSpan

PPrint EQual

PPrint a => PPrint [a]

PPrint a => PPrint (Maybe a)

PPrint a => PPrint (Located a)

PPrint (Worklist a)

(PPrint a, PPrint b) => PPrint (a, b)

(PPrint a, PPrint b) => PPrint (HashMap a b)

(PPrint a, PPrint b, PPrint c) => PPrint (a, b, c)

showpp :: PPrint a => a -> String

tracepp :: PPrint a => String -> a -> a

parensIf :: Bool -> Doc -> Doc

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

opPrec :: Num a => Bop -> a

trueD :: Doc

falseD :: Doc

andD :: Doc

orD :: Doc

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