Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Utils.Pretty
Description
Pretty printing functions.
Synopsis
class Pretty a where
pretty :: a -> Doc
prettyPrec :: Int -> a -> Doc
pwords :: String -> [Doc]
fwords :: String -> Doc
mparens :: Bool -> Doc -> Doc
align :: Int -> [(String, Doc)] -> Doc
module Text.PrettyPrint
Documentation
class Pretty a whereSource
Methods
pretty :: a -> DocSource
prettyPrec :: Int -> a -> DocSource
pwords :: String -> [Doc]Source
fwords :: String -> DocSource
mparens :: Bool -> Doc -> DocSource
align :: Int -> [(String, Doc)] -> DocSource

align max rows lays out the elements of rows in two columns, with the second components aligned. The alignment column of the second components is at most max characters to the right of the left-most column.

Precondition: max > 0.

module Text.PrettyPrint
Produced by Haddock version 2.6.1