Language.Fixpoint.Types.PrettyPrint

Documentation

traceFix :: Fixpoint a => String -> a -> a

class Fixpoint a where

Minimal complete definition

toFix

Methods

toFix :: a -> Doc

simplify :: a -> a

Instances

Fixpoint Bool

Fixpoint Double

Fixpoint Int

Fixpoint Integer

Fixpoint ()

Fixpoint Symbol

Fixpoint Sort

Fixpoint FTycon

Fixpoint Expr

Fixpoint Bop

Fixpoint Brel

Fixpoint Constant

Fixpoint SymConst

Fixpoint Subst

Fixpoint KVar

Fixpoint BindEnv

Fixpoint IBindEnv

Fixpoint Kuts

Fixpoint Qualifier

Fixpoint a => Fixpoint [a]

Fixpoint a => Fixpoint (Maybe a)

(Ord a, Hashable a, Fixpoint a) => Fixpoint (HashSet a)

Fixpoint a => Fixpoint (Located a)

(Ord a, Fixpoint a) => Fixpoint (FixResult (SubC a))

Fixpoint a => Fixpoint (SEnv a)

Fixpoint a => Fixpoint (SimpC a)

Fixpoint a => Fixpoint (SubC a)

Fixpoint a => Fixpoint (WfC a)

(Fixpoint a, Fixpoint b) => Fixpoint (a, b)

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

showFix :: Fixpoint a => a -> String

data Tidy

Constructors

Lossy

Full

Instances

Eq Tidy

Ord Tidy

class PPrint a where

Implement either pprintTidy or pprintPrec

Minimal complete definition

Nothing

Methods

pprintTidy :: Tidy -> a -> Doc

pprintPrec :: Int -> Tidy -> a -> Doc

Instances

PPrint Bool

PPrint Float

PPrint Int

PPrint Integer

PPrint String

PPrint ()

PPrint Text

PPrint Doc

PPrint DocTable

PPrint SrcSpan

PPrint Error

PPrint Symbol

PPrint Expr

PPrint Bop

PPrint Brel

PPrint Constant

PPrint SymConst

PPrint KVar

PPrint CVertex

PPrint EQual

PPrint Qualifier

PPrint a => PPrint [a]

PPrint a => PPrint (Maybe a)

PPrint a => PPrint (HashSet a)

PPrint a => PPrint (Located a)

PPrint a => PPrint (Sol a)

Fixpoint a => PPrint (SimpC a)

Fixpoint a => PPrint (SubC a)

Fixpoint a => PPrint (WfC 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)

pprint :: PPrint a => a -> Doc

Top-level pretty printer

showpp :: PPrint a => a -> String

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

pprintKVs :: (PPrint k, PPrint v) => Tidy -> [(k, v)] -> Doc

newtype DocTable

Constructors

DocTable [(Doc, Doc)]

Instances

Monoid DocTable

PPrint DocTable

class PTable a where

Methods

ptable :: a -> DocTable

Instances

PTable Stats

PTable Stats

PTable (SInfo a)

PTable (Worklist a)

boxHSep :: Doc -> Doc -> Doc

boxDoc :: Box -> Doc

docBox :: Doc -> Box