ddc-core-0.4.1.3: Disciplined Disciple Compiler core language and type checker.

Safe HaskellNone

DDC.Core.Pretty

Description

Pretty printing for core modules and expressions.

Synopsis

Documentation

data family PrettyMode a1

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

Pretty print an exported type definition.

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

Pretty print an exported value definition.

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

Pretty print an imported type definition.

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

Pretty print an imported value definition.