| 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