DDC.Source.Tetra.Pretty

Pretty printing for Tetra modules and expressions.

Documentation

module DDC.Core.Pretty

module DDC.Data.Pretty

type PrettyLanguage l = (Pretty l, Pretty (GTAnnot l), Pretty (GTBindVar l), Pretty (GTBoundVar l), Pretty (GTBindCon l), Pretty (GTBoundCon l), Pretty (GTPrim l), Pretty (GXAnnot l), Pretty (GXBindVar l), Pretty (GXBoundVar l), Pretty (GXBindCon l), Pretty (GXBoundCon l), Pretty (GXPrim l), Pretty (DaCon (GXBoundCon l) (GType l)))

Orphan instances

Pretty TyConBound

Associated Types

data PrettyMode TyConBound :: *

Methods

pprDefaultMode :: PrettyMode TyConBound

ppr :: TyConBound -> Doc

pprPrec :: Int -> TyConBound -> Doc

pprModePrec :: PrettyMode TyConBound -> Int -> TyConBound -> Doc

Pretty TyConBind

Associated Types

data PrettyMode TyConBind :: *

Methods

pprDefaultMode :: PrettyMode TyConBind

ppr :: TyConBind -> Doc

pprPrec :: Int -> TyConBind -> Doc

pprModePrec :: PrettyMode TyConBind -> Int -> TyConBind -> Doc

Pretty DaConBound

Associated Types

data PrettyMode DaConBound :: *

Methods

pprDefaultMode :: PrettyMode DaConBound

ppr :: DaConBound -> Doc

pprPrec :: Int -> DaConBound -> Doc

pprModePrec :: PrettyMode DaConBound -> Int -> DaConBound -> Doc

Pretty DaConBind

Associated Types

data PrettyMode DaConBind :: *

Methods

pprDefaultMode :: PrettyMode DaConBind

ppr :: DaConBind -> Doc

pprPrec :: Int -> DaConBind -> Doc

pprModePrec :: PrettyMode DaConBind -> Int -> DaConBind -> Doc

Pretty Bound

Associated Types

data PrettyMode Bound :: *

Methods

pprDefaultMode :: PrettyMode Bound

ppr :: Bound -> Doc

pprPrec :: Int -> Bound -> Doc

pprModePrec :: PrettyMode Bound -> Int -> Bound -> Doc

Pretty Bind

Associated Types

data PrettyMode Bind :: *

Methods

pprDefaultMode :: PrettyMode Bind

ppr :: Bind -> Doc

pprPrec :: Int -> Bind -> Doc

pprModePrec :: PrettyMode Bind -> Int -> Bind -> Doc

PrettyLanguage l => Pretty (GType l)

Associated Types

data PrettyMode (GType l) :: *

Methods

pprDefaultMode :: PrettyMode (GType l)

ppr :: GType l -> Doc

pprPrec :: Int -> GType l -> Doc

pprModePrec :: PrettyMode (GType l) -> Int -> GType l -> Doc

PrettyLanguage l => Pretty (GTyCon l)

Associated Types

data PrettyMode (GTyCon l) :: *

Methods

pprDefaultMode :: PrettyMode (GTyCon l)

ppr :: GTyCon l -> Doc

pprPrec :: Int -> GTyCon l -> Doc

pprModePrec :: PrettyMode (GTyCon l) -> Int -> GTyCon l -> Doc

PrettyLanguage l => Pretty (GWiCon l)

Associated Types

data PrettyMode (GWiCon l) :: *

Methods

pprDefaultMode :: PrettyMode (GWiCon l)

ppr :: GWiCon l -> Doc

pprPrec :: Int -> GWiCon l -> Doc

pprModePrec :: PrettyMode (GWiCon l) -> Int -> GWiCon l -> Doc

PrettyLanguage l => Pretty (GWitness l)

Associated Types

data PrettyMode (GWitness l) :: *

Methods

pprDefaultMode :: PrettyMode (GWitness l)

ppr :: GWitness l -> Doc

pprPrec :: Int -> GWitness l -> Doc

pprModePrec :: PrettyMode (GWitness l) -> Int -> GWitness l -> Doc

PrettyLanguage l => Pretty (GCast l)

Associated Types

data PrettyMode (GCast l) :: *

Methods

pprDefaultMode :: PrettyMode (GCast l)

ppr :: GCast l -> Doc

pprPrec :: Int -> GCast l -> Doc

pprModePrec :: PrettyMode (GCast l) -> Int -> GCast l -> Doc

PrettyLanguage l => Pretty (GAltMatch l)

Associated Types

data PrettyMode (GAltMatch l) :: *

Methods

pprDefaultMode :: PrettyMode (GAltMatch l)

ppr :: GAltMatch l -> Doc

pprPrec :: Int -> GAltMatch l -> Doc

pprModePrec :: PrettyMode (GAltMatch l) -> Int -> GAltMatch l -> Doc

PrettyLanguage l => Pretty (GAltCase l)

Associated Types

data PrettyMode (GAltCase l) :: *

Methods

pprDefaultMode :: PrettyMode (GAltCase l)

ppr :: GAltCase l -> Doc

pprPrec :: Int -> GAltCase l -> Doc

pprModePrec :: PrettyMode (GAltCase l) -> Int -> GAltCase l -> Doc

PrettyLanguage l => Pretty (GGuard l)

Associated Types

data PrettyMode (GGuard l) :: *

Methods

pprDefaultMode :: PrettyMode (GGuard l)

ppr :: GGuard l -> Doc

pprPrec :: Int -> GGuard l -> Doc

pprModePrec :: PrettyMode (GGuard l) -> Int -> GGuard l -> Doc

PrettyLanguage l => Pretty (GPat l)

Associated Types

data PrettyMode (GPat l) :: *

Methods

pprDefaultMode :: PrettyMode (GPat l)

ppr :: GPat l -> Doc

pprPrec :: Int -> GPat l -> Doc

pprModePrec :: PrettyMode (GPat l) -> Int -> GPat l -> Doc

PrettyLanguage l => Pretty (GParam l)

Associated Types

data PrettyMode (GParam l) :: *

Methods

pprDefaultMode :: PrettyMode (GParam l)

ppr :: GParam l -> Doc

pprPrec :: Int -> GParam l -> Doc

pprModePrec :: PrettyMode (GParam l) -> Int -> GParam l -> Doc

PrettyLanguage l => Pretty (GClause l)

Associated Types

data PrettyMode (GClause l) :: *

Methods

pprDefaultMode :: PrettyMode (GClause l)

ppr :: GClause l -> Doc

pprPrec :: Int -> GClause l -> Doc

pprModePrec :: PrettyMode (GClause l) -> Int -> GClause l -> Doc

PrettyLanguage l => Pretty (GLets l)

Associated Types

data PrettyMode (GLets l) :: *

Methods

pprDefaultMode :: PrettyMode (GLets l)

ppr :: GLets l -> Doc

pprPrec :: Int -> GLets l -> Doc

pprModePrec :: PrettyMode (GLets l) -> Int -> GLets l -> Doc

PrettyLanguage l => Pretty (GExp l)

Associated Types

data PrettyMode (GExp l) :: *

Methods

pprDefaultMode :: PrettyMode (GExp l)

ppr :: GExp l -> Doc

pprPrec :: Int -> GExp l -> Doc

pprModePrec :: PrettyMode (GExp l) -> Int -> GExp l -> Doc

PrettyLanguage l => Pretty (GXBindVarMT l)

Associated Types

data PrettyMode (GXBindVarMT l) :: *

Methods

pprDefaultMode :: PrettyMode (GXBindVarMT l)

ppr :: GXBindVarMT l -> Doc

pprPrec :: Int -> GXBindVarMT l -> Doc

pprModePrec :: PrettyMode (GXBindVarMT l) -> Int -> GXBindVarMT l -> Doc

PrettyLanguage l => Pretty (Top l)

Associated Types

data PrettyMode (Top l) :: *

Methods

pprDefaultMode :: PrettyMode (Top l)

ppr :: Top l -> Doc

pprPrec :: Int -> Top l -> Doc

pprModePrec :: PrettyMode (Top l) -> Int -> Top l -> Doc

PrettyLanguage l => Pretty (Module l)

Associated Types

data PrettyMode (Module l) :: *

Methods

pprDefaultMode :: PrettyMode (Module l)

ppr :: Module l -> Doc

pprPrec :: Int -> Module l -> Doc

pprModePrec :: PrettyMode (Module l) -> Int -> Module l -> Doc

Pretty n => Pretty (DaCon n t)

Associated Types

data PrettyMode (DaCon n t) :: *

Methods

pprDefaultMode :: PrettyMode (DaCon n t)

ppr :: DaCon n t -> Doc

pprPrec :: Int -> DaCon n t -> Doc

pprModePrec :: PrettyMode (DaCon n t) -> Int -> DaCon n t -> Doc