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
pwords
::
String
-> [
Doc
]
Source
fwords
::
String
->
Doc
Source
mparens
::
Bool
->
Doc
->
Doc
Source
module
Text.PrettyPrint
Produced by
Haddock
version 2.6.0