Agda.TypeChecking.Pretty

Wrappers for pretty printing combinators

type Doc

comma

colon

equals

pretty

prettyA

prettyAs

text

multiLineText

pwords

fwords

sep

fsep

hsep

hcat

vcat

hang

($$)

($+$)

(<>)

(<+>)

(<?>)

nest

braces

dbraces

brackets

parens

pshow

prettyList

prettyList_

punctuate

The PrettyTCM class

class PrettyTCM a

data PrettyContext

prettyTCMPatterns

prettyTCMPatternList

data WithNode n a