Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Utils.Pretty
Description
Pretty printing functions.
class Pretty a whereSource
Methods
pretty :: a -> DocSource
prettyPrec :: Int -> a -> DocSource
Instances
pwords :: String -> [Doc]Source
fwords :: String -> DocSource
mparens :: Bool -> Doc -> DocSource
module Text.PrettyPrint