Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Zonk.TcType

Zonking types within the typechecker.

Distinct from the final zonking pass in GHC.Tc.Zonk.Type; see Note [Module structure for zonking] in GHC.Tc.Zonk.Type.

45 values

Packageghc-10.0.0.20260917
Exports45
LanguageGHC2024
LicenceBSD-3-Clause
SourceTcType.hs

Zonking (within the typechecker)

0 declarations

The ZonkM monad and ZonkGblEnv

module GHC.Tc.Zonk.Monad

Zonking types

valuezonkTcType :: TcType -> ZonkM TcType

valuezonkTcTypes :: [TcType] -> ZonkM [TcType]

valuezonkScaledTcType :: Scaled TcType -> ZonkM (Scaled TcType)

valuezonkTcTyVar :: TcTyVar -> ZonkM TcType

valuezonkTcTyVars :: [TcTyVar] -> ZonkM [TcType]

valuezonkTcTyVarToTcTyVar :: HasDebugCallStack => TcTyVar -> ZonkM TcTyVar

valuezonkTcTyVarsToTcTyVars :: HasDebugCallStack => [TcTyVar] -> ZonkM [TcTyVar]

valuezonkInvisTVBinder :: VarBndr TcTyVar spec -> ZonkM (VarBndr TcTyVar spec)

valuezonkCo :: Coercion -> ZonkM Coercion

Zonking TyCons

valuezonkTcTyCon :: TcTyCon -> ZonkM TcTyCon

FreeVars

valuezonkTcTypeAndFV :: TcType -> ZonkM DTyCoVarSet

valuezonkTyCoVarsAndFV :: TyCoVarSet -> ZonkM TyCoVarSet

valuezonkTyCoVarsAndFVList :: [TyCoVar] -> ZonkM [TyCoVar]

valuezonkDTyCoVarSetAndFV :: DTyCoVarSet -> ZonkM DTyCoVarSet

Zonking CoVars and Ids

valuezonkId :: TcId -> ZonkM TcId

zonkId is used *during* typechecking just to zonk the Id's type

valuezonkCoVar :: CoVar -> ZonkM CoVar

valuezonkTyCoVar :: TyCoVar -> ZonkM TcType

valuezonkTyCoVarKind :: TyCoVar -> ZonkM TyCoVar

valuezonkTyCoVarBndrKind :: VarBndr TyCoVar flag -> ZonkM (VarBndr TyCoVar flag)

Zonking skolem info

valuezonkSkolemInfo :: SkolemInfo -> ZonkM SkolemInfo

valuezonkSkolemInfoAnon :: SkolemInfoAnon -> ZonkM SkolemInfoAnon

Zonking constraints

valuezonkCt :: Ct -> ZonkM Ct

valuezonkWC :: WantedConstraints -> ZonkM WantedConstraints

valuezonkSimples :: Cts -> ZonkM Cts

valuezonkImplication :: Implication -> ZonkM Implication

Rewriter sets

3 declarations

valuezonkCoHoleSet :: CoHoleSet -> ZonkM CoHoleSet

Zonk a rewriter set; if a coercion hole in the set has been filled, find all the free un-filled coercion holes in the coercion that fills it

valuezonkCtCoHoleSet :: Ct -> ZonkM Ct

valuezonkCtEvCoHoleSet :: CtEvidence -> ZonkM CtEvidence

Coercion holes

3 declarations

valueisFilledCoercionHole :: CoercionHole -> ZonkM Bool

Is a coercion hole filled in?

valueunpackCoercionHole :: CoercionHole -> ZonkM Coercion

Retrieve the contents of a coercion hole. Panics if the hole is unfilled

valueunpackCoercionHole_maybe :: CoercionHole -> ZonkM (Maybe CoercionPlusHoles)

Retrieve the contents of a coercion hole, if it is filled

Tidying

5 declarations

valuetcInitTidyEnv :: ZonkM TidyEnv

valuetcInitOpenTidyEnv :: [TyCoVar] -> ZonkM TidyEnv

Get a TidyEnv that includes mappings for all vars free in the given type. Useful when tidying open types.

valuetidyCt :: TidyEnv -> Ct -> Ct

valuetidyEvVar :: TidyEnv -> EvVar -> EvVar

valuetidyDelayedError :: TidyEnv -> DelayedError -> DelayedError

Zonk & tidy

valuezonkTidyTcType :: TidyEnv -> TcType -> ZonkM (TidyEnv, TcType)

valuezonkTidyTcTypes :: TidyEnv -> [TcType] -> ZonkM (TidyEnv, [TcType])

valuezonkTidyHsCtxt :: TidyEnv -> HsCtxt -> ZonkM (TidyEnv, HsCtxt)

valuezonkTidyOrigin :: TidyEnv -> CtOrigin -> ZonkM (TidyEnv, CtOrigin)

valuezonkTidyOrigins :: TidyEnv -> [CtOrigin] -> ZonkM (TidyEnv, [CtOrigin])

valuezonkTidyFRRInfos

:: TidyEnv
-> [FixedRuntimeRepErrorInfo]
-> ZonkM (TidyEnv, [FixedRuntimeRepErrorInfo])

Writing to metavariables

2 declarations

valuewriteMetaTyVar

:: HasDebugCallStack
=> TcTyVar
the type varfiable to write to
-> TcType
the type to write into the mutable reference
-> ZonkM ()

Write into a currently-empty MetaTyVar.

Works with both type and kind variables.

valuewriteMetaTyVarRef

:: HasDebugCallStack
=> TcTyVar
for debug assertions only;
-> TcRef MetaDetails
ref cell must be for the same tyvar
-> TcType
the type to write to the mutable reference
-> ZonkM ()

Write into the MetaDetails mutable references of a MetaTv.

Handling coercion holes

1 declaration

valuecheckCoercionHole :: CoVar -> Coercion -> ZonkM Coercion

Debugging-only! Check that a coercion is appropriate for filling a hole. (The hole itself is needed only for printing.)

Always returns the checked coercion, but this return value is necessary so that the input coercion is forced only when the output is forced.