Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Pretty printing for core modules and expressions.
- module DDC.Data.Pretty
- module DDC.Data.Pretty
- pprExportType :: (Pretty n, Pretty t) => (n, ExportSource n t) -> Doc
- pprExportValue :: (Pretty n, Pretty t) => (n, ExportSource n t) -> Doc
- pprImportType :: (Pretty n, Pretty t) => (n, ImportType n t) -> Doc
- pprImportValue :: (Pretty n, Pretty t) => (n, ImportValue n t) -> Doc
- pprDataDef :: (Pretty n, Eq n) => DataDef n -> Doc
- pprDataCtor :: (Pretty n, Eq n) => DataCtor n -> Doc
- pprTypeDef :: (Pretty n, Eq n) => (n, (Kind n, Type n)) -> Doc
Documentation
module DDC.Data.Pretty
module DDC.Data.Pretty
pprExportType :: (Pretty n, Pretty t) => (n, ExportSource n t) -> Doc Source #
Pretty print an exported type definition.
pprExportValue :: (Pretty n, Pretty t) => (n, ExportSource n t) -> Doc Source #
Pretty print an exported value definition.
pprImportType :: (Pretty n, Pretty t) => (n, ImportType n t) -> Doc Source #
Pretty print a type import.
pprImportValue :: (Pretty n, Pretty t) => (n, ImportValue n t) -> Doc Source #
Pretty print a value import.
pprDataCtor :: (Pretty n, Eq n) => DataCtor n -> Doc Source #
Pretty print a data constructor definition.
pprTypeDef :: (Pretty n, Eq n) => (n, (Kind n, Type n)) -> Doc Source #
Pretty print a type definition.