Sdf2HaskellContentsIndex
GPP
Synopsis
type GPP = forall a . Term a => a -> Doc
type TUDoc = TU Doc Identity
class PP a where
pp :: GPP -> a -> Doc
type UPP = GPP -> TUDoc
gppList :: Term a => GPP -> [a] -> Doc
gppListSep :: (Term sep, Term a) => GPP -> sep -> [a] -> Doc
gppMaybe :: Term a => GPP -> Maybe a -> Doc
renderFix :: Term a => UPP -> a -> String
type MonoPP a = a -> Doc
adhocQ :: (Term t, Monad m) => TU a m -> (t -> a) -> TU a m
Documentation
type GPP = forall a . Term a => a -> Doc
The type of generic pretty-printers (universally quantified).
type TUDoc = TU Doc Identity
The type of generic pretty-printers (as TU strategy)
class PP a where
Class of pre-fix-pointed pretty-printers (overloaded)
Methods
pp :: GPP -> a -> Doc
Instances
PP String
type UPP = GPP -> TUDoc
Type of updatable pretty-printers.
gppList :: Term a => GPP -> [a] -> Doc
Helper function for pretty-printing lists.
gppListSep :: (Term sep, Term a) => GPP -> sep -> [a] -> Doc
Helper function for pretty-printing separator lists.
gppMaybe :: Term a => GPP -> Maybe a -> Doc
Helper function for pretty-printing optionals.
renderFix :: Term a => UPP -> a -> String
Render with the fix-point of a pre-fix-point pretty-printer
type MonoPP a = a -> Doc
For easy type annotation
adhocQ :: (Term t, Monad m) => TU a m -> (t -> a) -> TU a m
For easy non-monadic adhoc
Produced by Haddock version 0.6