Wrappers for pretty printing combinators

The PrettyTCM class

Methods

Constructors

Instances

PrettyTCM Literal
PrettyTCM ModuleName
PrettyTCM QName
PrettyTCM Name
PrettyTCM Telescope
PrettyTCM Sort
PrettyTCM Type
PrettyTCM Term
PrettyTCM Expr
PrettyTCM TCErr
PrettyTCM TypeError
PrettyTCM Context
PrettyTCM Call
PrettyTCM DisplayTerm
PrettyTCM Comparison
PrettyTCM Constraint
PrettyTCM PrettyContext
PrettyTCM DeBruijnPat
PrettyTCM Node
PrettyTCM OccursWhere
PrettyTCM AsBinding
PrettyTCM DotPatternInst
PrettyTCM a => PrettyTCM [a]
(Reify a e, ToConcrete e c, Pretty c) => PrettyTCM (Arg a)
PrettyTCM a => PrettyTCM (Blocked a)
PrettyTCM a => PrettyTCM (Closure a)