Moduleghc-10.0.0.20260917GHC2024

GHC.Core.TyCo.Ppr

Pretty-printing types and coercions.

Contents

Precedence
Pretty-printing types
Pretty-printing coercions

Synopsis

newtype PprPrec
value topPrec
value sigPrec
value opPrec
value funPrec
value appPrec
value maybeParen
value pprType
value pprParendType
value pprTidiedType
value pprPrecType
value pprPrecTypeX
value pprTypeApp
value pprTCvBndr
value pprTCvBndrs
value pprSigmaType
value pprTheta
value pprParendTheta
value pprForAll
value pprUserForAll
value pprTyVar
value pprTyVars
value pprThetaArrowTy
value pprClassPred
value pprKind
value pprParendKind
value pprTyLit
value pprDataCons
value pprWithInvisibleBitsWhen
value pprWithTYPE
value pprSourceTyCon
value pprCo
value pprParendCo
value debugPprType

Packageghc-10.0.0.20260917
Exports34
LanguageGHC2024
LicenceBSD-3-Clause
SourcePpr.hs

Precedence

newtypenewtype PprPrec

Source#

A general-purpose pretty-printing precedence type.

Constructors

PprPrec Int

Instances3Eq, Ord, Show

Eq PprPrecDefined in ghc-10.0.0.20260917 · GHC.Types.Basic
Ord PprPrecDefined in ghc-10.0.0.20260917 · GHC.Types.Basic
Show PprPrecDefined in ghc-10.0.0.20260917 · GHC.Types.Basic

valuetopPrec :: PprPrec

valuesigPrec :: PprPrec

valueopPrec :: PprPrec

valuefunPrec :: PprPrec

valueappPrec :: PprPrec

valuemaybeParen :: PprPrec -> PprPrec -> SDoc -> SDoc

Pretty-printing types

valuepprType :: Type -> SDoc

valuepprParendType :: Type -> SDoc

valuepprTidiedType :: Type -> SDoc

valuepprPrecType :: PprPrec -> Type -> SDoc

valuepprPrecTypeX :: TidyEnv -> PprPrec -> Type -> SDoc

valuepprTypeApp :: TyCon -> [Type] -> SDoc

valuepprTCvBndr :: ForAllTyBinder -> SDoc

valuepprTCvBndrs :: [ForAllTyBinder] -> SDoc

valuepprSigmaType :: Type -> SDoc

valuepprTheta :: ThetaType -> SDoc

valuepprParendTheta :: ThetaType -> SDoc

valuepprForAll :: [ForAllTyBinder] -> SDoc

valuepprUserForAll :: [ForAllTyBinder] -> SDoc

Source#

Print a user-level forall; see Note [When to print foralls] in GHC.Iface.Type.

valuepprTyVar :: TyVar -> SDoc

valuepprTyVars :: [TyVar] -> SDoc

valuepprThetaArrowTy :: ThetaType -> SDoc

valuepprClassPred :: Class -> [Type] -> SDoc

valuepprKind :: Kind -> SDoc

valuepprParendKind :: Kind -> SDoc

valuepprTyLit :: TyLit -> SDoc

valuepprDataCons :: TyCon -> SDoc

valuepprWithInvisibleBitsWhen :: Bool -> SDoc -> SDoc

Source#

Display all foralls, runtime-reps, and kind information when provided Bool argument is True. See GHC.Tc.Errors.Ppr Note [Showing invisible bits of types in error messages]

valuepprWithTYPE :: Type -> SDoc

Source#

This variant preserves any use of TYPE in a type, effectively locally setting -fprint-explicit-runtime-reps.

valuepprSourceTyCon :: TyCon -> SDoc

Source#

Pretty prints a TyCon, using the family instance in case of a representation tycon. For example:

data T [a] = ...

In that case we want to print T [a], where T is the family TyCon

Pretty-printing coercions

valuepprCo :: Coercion -> SDoc

valuepprParendCo :: Coercion -> SDoc

valuedebugPprType :: Type -> SDoc

Source#

debugPprType is a simple pretty printer that prints a type without going through IfaceType. It does not format as prettily as the normal route, but it's much more direct, and that can be useful for debugging. E.g. with -dppr-debug it prints the kind on type-variable occurrences which the normal route fundamentally cannot do.