Wrappers for pretty printing combinators
The PrettyTCM class
class PrettyTCM a whereSource
Instances
PrettyTCM Bool | |
PrettyTCM Permutation | |
PrettyTCM Range | |
PrettyTCM Interval | |
PrettyTCM Position | |
PrettyTCM Nat | |
PrettyTCM Relevance | |
PrettyTCM Name | |
PrettyTCM ModuleName | |
PrettyTCM QName | |
PrettyTCM Name | |
PrettyTCM Literal | |
PrettyTCM Expr | |
PrettyTCM Pattern | |
PrettyTCM ClauseBody | |
PrettyTCM MetaId | |
PrettyTCM Level | |
PrettyTCM Sort | |
PrettyTCM Telescope | |
PrettyTCM Type | |
PrettyTCM Elim | |
PrettyTCM Term | |
PrettyTCM ConHead | |
PrettyTCM TCErr | |
PrettyTCM TypeError | |
PrettyTCM SplitError | |
PrettyTCM CallInfo | |
PrettyTCM Context | |
PrettyTCM Call | |
PrettyTCM Occurrence | |
PrettyTCM DisplayTerm | |
PrettyTCM TypeCheckingProblem | |
PrettyTCM Comparison | |
PrettyTCM Constraint | |
PrettyTCM ProblemConstraint | |
PrettyTCM NamedClause | |
PrettyTCM PrettyContext | |
PrettyTCM AsBinding | |
PrettyTCM DotPatternInst | |
PrettyTCM DeBruijnPat | |
PrettyTCM Node | |
PrettyTCM OccursWhere | |
PrettyTCM HypSizeConstraint | |
PrettyTCM SizeConstraint | Assumes we are in the right context.
|
PrettyTCM SizeMeta | |
PrettyTCM a => PrettyTCM [a] | |
PrettyTCM a => PrettyTCM (Blocked a) | |
(Reify a e, ToConcrete e c, Pretty c) => PrettyTCM (Dom a) | |
(Reify a e, ToConcrete e c, Pretty c) => PrettyTCM (Arg a) | |
PrettyTCM a => PrettyTCM (MaybeReduced a) | |
PrettyTCM a => PrettyTCM (Closure a) | |
PrettyTCM a => PrettyTCM (HomHet a) | |
(PrettyTCM a, PrettyTCM b) => PrettyTCM (a, b) | |
(PrettyTCM n, PrettyTCM (WithNode n e)) => PrettyTCM (Graph n e) | |
(Reify a e, ToConcrete e c, Pretty c) => PrettyTCM (Named RString a) | |
(PrettyTCM a, PrettyTCM b) => PrettyTCM (Judgement a b) | |
PrettyTCM n => PrettyTCM (WithNode n Occurrence) | |
PrettyTCM n => PrettyTCM (WithNode n Edge) | |