Documentation

type Doc = Doc Source #

empty :: Monad m => m Doc Source #

comma :: Monad m => m Doc Source #

colon :: Monad m => m Doc Source #

pretty :: (Monad m, Pretty a) => a -> m Doc Source #

text :: Monad m => String -> m Doc Source #

pwords :: Monad m => String -> [m Doc] Source #

fwords :: Monad m => String -> m Doc Source #

sep :: Monad f => [f Doc] -> f Doc Source #

fsep :: Monad f => [f Doc] -> f Doc Source #

hsep :: Monad f => [f Doc] -> f Doc Source #

vcat :: Monad f => [f Doc] -> f Doc Source #

($$) :: Applicative f => f Doc -> f Doc -> f Doc Source #

(<>) :: Applicative f => f Doc -> f Doc -> f Doc Source #

(<+>) :: Applicative f => f Doc -> f Doc -> f Doc Source #

nest :: Functor f => Int -> f Doc -> f Doc Source #

braces :: Functor f => f Doc -> f Doc Source #

brackets :: Functor f => f Doc -> f Doc Source #

parens :: Functor f => f Doc -> f Doc Source #

prettyList :: Monad f => [f Doc] -> f Doc Source #

punctuate :: Monad f => f Doc -> [f Doc] -> [f Doc] Source #

class ToExpr a where Source #

class PrettyTCM a where Source #