| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
DDC.Type.Exp.Generic.Pretty
- type PrettyConfig l = (Pretty (GTAnnot l), Pretty (GTBindVar l), Pretty (GTBoundVar l), Pretty (GTBindCon l), Pretty (GTBoundCon l), Pretty (GTPrim l))
- pprRawT :: PrettyConfig l => GType l -> Doc
- pprRawPrecT :: PrettyConfig l => Int -> GType l -> Doc
- pprRawC :: PrettyConfig l => GTyCon l -> Doc
Documentation
type PrettyConfig l = (Pretty (GTAnnot l), Pretty (GTBindVar l), Pretty (GTBoundVar l), Pretty (GTBindCon l), Pretty (GTBoundCon l), Pretty (GTPrim l)) Source #
Synonym for pretty constraints on the configurable types.
pprRawT :: PrettyConfig l => GType l -> Doc Source #
Pretty print a type using the generic, raw syntax.
pprRawPrecT :: PrettyConfig l => Int -> GType l -> Doc Source #
Like pprRawT, but take the initial precedence.
pprRawC :: PrettyConfig l => GTyCon l -> Doc Source #
Pretty print a type constructor using the generic, raw syntax.