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

Safe HaskellSafe
LanguageHaskell98

DDC.Core.Pretty

Contents

Description

Pretty printing for core modules and expressions.

Synopsis

Documentation

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.

pprDataDef :: (Pretty n, Eq n) => DataDef n -> Doc Source #

Pretty print a data type definition.

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.

Orphan instances

Pretty ModuleName Source # 
(Pretty n, Eq n) => Pretty (DataCtor n) Source # 

Associated Types

data PrettyMode (DataCtor n) :: * Source #

(Pretty n, Eq n) => Pretty (DataDef n) Source # 

Associated Types

data PrettyMode (DataDef n) :: * Source #

(Pretty n, Eq n) => Pretty (Module a n) Source # 

Associated Types

data PrettyMode (Module a n) :: * Source #

Methods

pprDefaultMode :: PrettyMode (Module a n) Source #

ppr :: Module a n -> Doc Source #

pprPrec :: Int -> Module a n -> Doc Source #

pprModePrec :: PrettyMode (Module a n) -> Int -> Module a n -> Doc Source #