Agda-2.4.2: A dependently typed functional programming language and proof assistant
Agda.Utils.Pretty
Description
Pretty printing functions.
Synopsis
class Pretty a whereSource
Methods
pretty :: a -> DocSource
prettyPrec :: Int -> a -> DocSource
Instances
Only show intermediate nodes. (Drop last CallInfo).
CallInfo
Displays the recursion behaviour corresponding to a call graph.
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.
align max rows
rows
max
Precondition: max > 0.
max > 0