ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.
DDC.Type.Exp.Pretty
Contents
Associated Types
data PrettyMode TcCon :: * Source #
Methods
pprDefaultMode :: PrettyMode TcCon Source #
ppr :: TcCon -> Doc Source #
pprPrec :: Int -> TcCon -> Doc Source #
pprModePrec :: PrettyMode TcCon -> Int -> TcCon -> Doc Source #
data PrettyMode TwCon :: * Source #
pprDefaultMode :: PrettyMode TwCon Source #
ppr :: TwCon -> Doc Source #
pprPrec :: Int -> TwCon -> Doc Source #
pprModePrec :: PrettyMode TwCon -> Int -> TwCon -> Doc Source #
data PrettyMode KiCon :: * Source #
pprDefaultMode :: PrettyMode KiCon Source #
ppr :: KiCon -> Doc Source #
pprPrec :: Int -> KiCon -> Doc Source #
pprModePrec :: PrettyMode KiCon -> Int -> KiCon -> Doc Source #
data PrettyMode SoCon :: * Source #
pprDefaultMode :: PrettyMode SoCon Source #
ppr :: SoCon -> Doc Source #
pprPrec :: Int -> SoCon -> Doc Source #
pprModePrec :: PrettyMode SoCon -> Int -> SoCon -> Doc Source #