|
|
|
|
|
|
Synopsis |
|
|
|
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 | | | Instances | |
|
|
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. |
|
gppEither :: (Term a, Term b) => GPP -> Either a b -> Doc |
Helper function for pretty-printing alternatives. |
|
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 |