Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Utils.Pretty
Description
Pretty printing functions.
Documentation
class Pretty a whereSource
Methods
pretty :: a -> DocSource
prettyPrec :: Int -> a -> DocSource
pwords :: String -> [Doc]Source
fwords :: String -> DocSource
mparens :: Bool -> Doc -> DocSource
module Text.PrettyPrint
Produced by Haddock version 2.6.0