DDC.Core.Pretty

Pretty printing for core modules and expressions.

Documentation

module DDC.Base.Pretty

module DDC.Base.Pretty

data family PrettyMode a1

pprExportType :: (Pretty n, Eq n) => (n, ExportSource n) -> Doc

Pretty print an exported type definition.

pprExportValue :: (Pretty n, Eq n) => (n, ExportSource n) -> Doc

Pretty print an exported value definition.

pprImportType :: (Pretty n, Eq n) => (n, ImportSource n) -> Doc

Pretty print an imported type definition.

pprImportValue :: (Pretty n, Eq n) => (n, ImportSource n) -> Doc

Pretty print an imported value definition.