Wrappers for pretty printing combinators
The PrettyTCM class
class PrettyTCM a whereSource
Instances
PrettyTCM Nat | |
PrettyTCM Relevance | |
PrettyTCM Name | |
PrettyTCM ModuleName | |
PrettyTCM QName | |
PrettyTCM Name | |
PrettyTCM Literal | |
PrettyTCM ClauseBody | |
PrettyTCM MetaId | |
PrettyTCM Level | |
PrettyTCM Sort | |
PrettyTCM Telescope | |
PrettyTCM Type | |
PrettyTCM Elim | |
PrettyTCM Term | |
PrettyTCM Expr | |
PrettyTCM TCErr | |
PrettyTCM TypeError | |
PrettyTCM Context | |
PrettyTCM Call | |
PrettyTCM Occurrence | |
PrettyTCM DisplayTerm | |
PrettyTCM Comparison | |
PrettyTCM Constraint | |
PrettyTCM ProblemConstraint | |
PrettyTCM NamedClause | |
PrettyTCM PrettyContext | |
PrettyTCM Node | |
PrettyTCM OccursWhere | |
PrettyTCM AsBinding | |
PrettyTCM DotPatternInst | |
PrettyTCM SplitError | |
PrettyTCM DeBruijnPat | |
PrettyTCM a => PrettyTCM [a] | |
(ReifyWhen a e, ToConcrete e c, Pretty c) => PrettyTCM (Arg a) | |
(Reify a e, ToConcrete e c, Pretty c) => PrettyTCM (Dom a) | |
PrettyTCM a => PrettyTCM (Blocked a) | |
PrettyTCM a => PrettyTCM (Closure a) | |
PrettyTCM a => PrettyTCM (HomHet a) | |
(PrettyTCM a, PrettyTCM b) => PrettyTCM (a, b) | |
PrettyTCM n => PrettyTCM (n, Occurrence) | |
PrettyTCM n => PrettyTCM (n, Edge) | |
(PrettyTCM n, PrettyTCM (n, e)) => PrettyTCM (Graph n e) | |
(Reify a e, ToConcrete e c, Pretty c) => PrettyTCM (Named String a) | |
(PrettyTCM a, PrettyTCM b) => PrettyTCM (Judgement a b) | |