Moduleghc-9.10.3GHC2021

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.

37 values

Packageghc-9.10.3
Exports37
LanguageGHC2021
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]

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

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])

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

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.