DDC.Core.Pretty

Pretty printing for core modules and expressions.

Documentation

module DDC.Base.Pretty

module DDC.Base.Pretty

data family PrettyMode a

Instances

data PrettyMode ParseError = PrettyParseError

data PrettyMode Message = PrettyMessage

data PrettyMode (GAlt l) = PrettyModeAlt {

• modeAltExp :: PrettyMode (GExp l)

}

data PrettyMode (GLets l) = PrettyModeLets {

• modeLetsExp :: PrettyMode (GExp l)

}

data PrettyMode (GArg l) = PrettyModeArg {

• modeArgExp :: PrettyMode (GExp l)

}

data PrettyMode (GExp l) = PrettyModeExp {

• modeExpArg :: PrettyMode (GArg l)
• modeExpLets :: PrettyMode (GLets l)
• modeExpAlt :: PrettyMode (GAlt l)
• modeExpUseLetCase :: Bool

}

data PrettyMode (Alt a n) = PrettyModeAlt {

• modeAltExp :: PrettyMode (Exp a n)

}

data PrettyMode (Lets a n) = PrettyModeLets {

• modeLetsExp :: PrettyMode (Exp a n)
• modeLetsSuppressTypes :: Bool

}

data PrettyMode (Exp a n) = PrettyModeExp {

• modeExpLets :: PrettyMode (Lets a n)
• modeExpAlt :: PrettyMode (Alt a n)
• modeExpVarTypes :: Bool
• modeExpConTypes :: Bool
• modeExpUseLetCase :: Bool

}

data PrettyMode (Module a n) = PrettyModeModule {

• modeModuleLets :: PrettyMode (Lets a n)
• modeModuleSuppressImports :: Bool
• modeModuleSuppressExports :: Bool

}

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, ImportType n) -> Doc

Pretty print a type import.

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

Pretty print a value import.