Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Utils.Pretty
Description
Pretty printing functions.
Documentation
class
Pretty
a
where
Source
Methods
pretty
:: a ->
Doc
Source
prettyPrec
::
Int
-> a ->
Doc
Source
Instances
Pretty
String
Pretty
Doc
Pretty
Literal
Pretty
Induction
Pretty
TopLevelModuleName
Pretty
QName
Pretty
Name
Pretty
Fixity
Pretty
Pragma
Pretty
OpenShortHand
Pretty
Declaration
Pretty
ImportedName
Pretty
UsingOrHiding
Pretty
ImportDirective
Pretty
WhereClause
Pretty
RHS
Pretty
LHS
Pretty
TypedBinding
Pretty
BoundName
Pretty
TypedBindings
Pretty
LamBinding
Pretty
Pattern
Pretty
Expr
Pretty
([]
Declaration
)
Pretty
([]
Pattern
)
Pretty
e =>
Pretty
(
Arg
e)
Pretty
a =>
Pretty
(
Lisp
a)
Pretty
e =>
Pretty
(
Named
String
e)
(
Pretty
a,
Pretty
b) =>
Pretty
(
OutputForm'
a b)
pwords
::
String
-> [
Doc
]
Source
fwords
::
String
->
Doc
Source
mparens
::
Bool
->
Doc
->
Doc
Source
module
Text.PrettyPrint
Produced by
Haddock
version 2.4.2