Tip.Pretty

Documentation

class Pretty a where

Typeclass for pretty things

Methods

pp :: a -> Doc

Instances

PrettyHsVar a => Pretty (Stmt a)

PrettyHsVar a => Pretty (Pat a)

PrettyHsVar a => Pretty (Expr a)

PrettyHsVar a => Pretty (Type a)

PrettyHsVar a => Pretty (Decl a)

PrettyHsVar a => Pretty (Decls a)

(Ord a, PrettyVar a) => Pretty (Formula a)

(Ord a, PrettyVar a) => Pretty (Theory a)

PrettyVar a => Pretty (Datatype a)

PrettyVar a => Pretty (Signature a)

(Ord a, PrettyVar a) => Pretty (Function a)

PrettyVar a => Pretty (Type a)

PrettyVar a => Pretty (PolyType a)

PrettyVar a => Pretty (Pattern a)

(Ord a, PrettyVar a) => Pretty (Expr a)

PrettyVar a => Pretty (Global a)

PrettyVar a => Pretty (Local a)

PrettyVar a => Pretty (Head a)

ppRender :: Pretty a => a -> String

Pretty to string

pprint :: Pretty a => a -> IO ()

Print something pretty

class PrettyVar a where

Typeclass for variables

Methods

varStr :: a -> String

The string in a variable

Instances

PrettyVar Int

PrettyVar String

PrettyVar RenamedId

PrettyVar Id

PrettyVar a => PrettyVar (Why3Var a)

PrettyVar a => PrettyVar (HsId a)

ppVar :: PrettyVar a => a -> Doc

Variable to Doc

Utilities on Docs

($\) :: Doc -> Doc -> Doc infixl 1

Infix hang

parIf :: Bool -> Doc -> Doc

Conditional parentheses