Pretty Bool Source # | |
|
Pretty Char Source # | |
|
Pretty Int Source # | |
|
Pretty Int32 Source # | |
|
Pretty Integer Source # | |
|
Pretty Doc Source # | |
|
Pretty Polarity Source # | |
|
Pretty Cmp Source # | |
|
Pretty Flex Source # | |
|
Pretty Rigid Source # | |
|
Pretty Offset Source # | |
|
Pretty CPUTime Source # | Print CPU time in milli (10^-3) seconds. |
|
Pretty AbsolutePath Source # | |
|
Pretty IntervalWithoutFile Source # | |
|
Pretty PositionWithoutFile Source # | |
|
Pretty ParseWarning Source # | |
|
Pretty ParseError Source # | |
|
Pretty MetaId Source # | |
|
Pretty Access Source # | |
|
Pretty TopLevelModuleName Source # | |
|
Pretty QName Source # | |
|
Pretty NamePart Source # | |
|
Pretty Name Source # | |
|
Pretty AmbiguousQName Source # | |
|
Pretty ModuleName Source # | |
|
Pretty QName Source # | |
|
Pretty Name Source # | |
|
Pretty Literal Source # | |
|
Pretty Precedence Source # | |
|
Pretty Label Source # | |
|
Pretty Weight Source # | |
|
Pretty Occurrence Source # | |
|
Pretty Where Source # | |
|
Pretty OccursWhere Source # | |
|
Pretty Tel Source # | |
|
Pretty Phase Source # | |
|
Pretty ResolvedName Source # | |
|
Pretty AbstractModule Source # | |
|
Pretty AbstractName Source # | |
|
Pretty NameSpace Source # | |
|
Pretty LocalVar Source # | We show shadowed variables as prefixed by a ".", as not in scope. |
|
Pretty ScopeInfo Source # | |
|
Pretty NameSpaceId Source # | |
|
Pretty Scope Source # | |
|
Pretty Order Source # | |
|
Pretty CallMatrix Source # | |
|
Pretty DBPatVar Source # | |
|
Pretty Clause Source # | |
|
Pretty LevelAtom Source # | |
|
Pretty PlusLevel Source # | |
|
Pretty Level Source # | |
|
Pretty Sort Source # | |
|
Pretty Type Source # | |
|
Pretty Term Source # | |
|
Pretty ConHead Source # | |
|
Pretty CompiledClauses Source # | |
|
Pretty ScopeCopyInfo Source # | |
|
Pretty DeclarationWarning Source # | |
|
Pretty DeclarationException Source # | |
|
Pretty CallInfo Source # | We only show the name of the callee. |
|
Pretty Call Source # | |
|
Pretty TermHead Source # | |
|
Pretty Defn Source # | |
|
Pretty Polarity Source # | |
|
Pretty Definition Source # | |
|
Pretty DisplayTerm Source # | |
|
Pretty Section Source # | |
|
Pretty NamedMeta Source # | |
|
Pretty CompareDirection Source # | |
|
Pretty Comparison Source # | |
|
Pretty Interface Source # | |
|
Pretty CheckpointId Source # | |
|
Pretty ProblemId Source # | |
|
Pretty AsBinding Source # | |
|
Pretty Node Source # | |
|
Pretty SplitTag Source # | |
|
Pretty BlockingVar Source # | |
|
Pretty SplitPatVar Source # | |
|
Pretty SizeMeta Source # | |
|
Pretty NamedRigid Source # | |
|
Pretty Cl Source # | |
|
Pretty CallPath Source # | Only show intermediate nodes. (Drop last CallInfo ). |
|
Pretty a => Pretty [a] Source # | |
|
Pretty a => Pretty (Maybe a) Source # | |
|
Pretty a => Pretty (NonemptyList a) Source # | |
|
Pretty flex => Pretty (PolarityAssignment flex) Source # | |
|
Pretty a => Pretty (Lisp a) Source # | |
|
(Ord a, Pretty a) => Pretty (Benchmark a) Source # | Print benchmark as three-column table with totals. |
|
(Pretty a, HasRange a) => Pretty (PrintRange a) Source # | |
|
Pretty a => Pretty (Range' (Maybe a)) Source # | |
|
Pretty a => Pretty (Interval' (Maybe a)) Source # | |
|
Pretty a => Pretty (Position' (Maybe a)) Source # | |
|
Pretty a => Pretty (QNamed a) Source # | |
|
Pretty cinfo => Pretty (CMSet cinfo) Source # | |
|
Pretty cinfo => Pretty (CallMatrixAug cinfo) Source # | |
|
Pretty cinfo => Pretty (CallGraph cinfo) Source # | Displays the recursion behaviour corresponding to a call graph. |
|
Pretty a => Pretty (Substitution' a) Source # | |
|
Pretty a => Pretty (Pattern' a) Source # | |
|
Pretty a => Pretty (Tele (Dom a)) Source # | |
|
Pretty tm => Pretty (Elim' tm) Source # | |
|
Pretty a => Pretty (Case a) Source # | |
|
Pretty a => Pretty (WithArity a) Source # | |
|
Pretty a => Pretty (SplitTreeLabel a) Source # | |
|
Pretty a => Pretty (SplitTree' a) Source # | |
|
(Pretty r, Pretty f) => Pretty (Solution r f) Source # | |
|
(Pretty r, Pretty f) => Pretty (Constraint' r f) Source # | |
|
(Pretty r, Pretty f) => Pretty (SizeExpr' r f) Source # | |
|
(Pretty n, Pretty e) => Pretty (Edge n e) Source # | |
|
(Ord n, Pretty n, Pretty e) => Pretty (Graph n e) Source # | |
|
(Pretty rigid, Pretty flex) => Pretty (Node rigid flex) Source # | |
|
(Integral i, HasZero b, Pretty b) => Pretty (Matrix i b) Source # | |
|
(Pretty a, Pretty b) => Pretty (OutputConstraint' a b) Source # | |
|