Agda.TypeChecking.Pretty

Wrappers for pretty printing combinators

type Doc

empty

equals

colon

comma

pretty

prettyA

prettyAs

text

pwords

fwords

sep

vcat

hcat

hsep

fsep

($$)

(<+>)

(<>)

($+$)

nest

braces

parens

brackets

dbraces

prettyList

punctuate

The PrettyTCM class

class PrettyTCM a

data PrettyContext