Language.Fixpoint.PrettyPrint

Documentation

class PPrint a where

Methods

pprint :: a -> Doc

Instances

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 Error

PPrint SrcSpan

PPrint a => PPrint [a]

PPrint a => PPrint (Maybe a)

PPrint a => PPrint (Located a)

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

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

showpp :: PPrint a => a -> String

trueD :: Doc

falseD :: Doc

andD :: Doc

orD :: Doc

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