Moduleghc-9.10.3GHC2021

GHC.Tc.Zonk.Type

Final zonking to Type. See Note [Zonking to Type].

Distinct from the intra-typechecker zonking in GHC.Tc.Zonk.TcType; see Note [Module structure for zonking].

1 type
26 values

Packageghc-9.10.3
Exports27
LanguageGHC2021
LicenceBSD-3-Clause
SourceType.hs

Zonking

19 declarations

For a description of "zonking", see Note [What is zonking?].

typetype ZonkTcM = ZonkT TcM

Zonking monad for a computation that zonks to Type, reading from a ZonkEnv but not extending or modifying it.

See Note [Zonking to Type].

valuezonkTopDecls

:: Bag EvBind
-> LHsBinds GhcTc
-> [LRuleDecl GhcTc]
-> [LTcSpecPrag]
-> [LForeignDecl GhcTc]
-> TcM (TypeEnv, Bag EvBind, LHsBinds GhcTc, [LForeignDecl GhcTc], [LTcSpecPrag], [LRuleDecl GhcTc])

valuezonkTopExpr :: HsExpr GhcTc -> TcM (HsExpr GhcTc)

valuezonkTopLExpr :: LHsExpr GhcTc -> TcM (LHsExpr GhcTc)

valuezonkTopBndrs :: [TcId] -> TcM [Id]

valuezonkTyVarBindersX

:: [VarBndr TcTyVar vis]
-> ZonkBndrTcM [VarBndr TyVar vis]

valuezonkTyVarBinderX :: VarBndr TcTyVar vis -> ZonkBndrTcM (VarBndr TyVar vis)

valuezonkTyBndrX :: TcTyVar -> ZonkBndrTcM TyVar

valuezonkTyBndrsX :: [TcTyVar] -> ZonkBndrTcM [TcTyVar]

valuezonkTcTypeToType :: TcType -> TcM Type

Confused by zonking? See Note [What is zonking?] in GHC.Tc.Zonk.Type.

valuezonkTcTypeToTypeX :: TcType -> ZonkTcM Type

valuezonkTcTypesToTypesX :: [TcType] -> ZonkTcM [Type]

valuezonkScaledTcTypesToTypesX :: [Scaled TcType] -> ZonkTcM [Scaled Type]

valuezonkTyVarOcc :: HasDebugCallStack => TcTyVar -> ZonkTcM Type

valuezonkCoToCo :: Coercion -> ZonkTcM Coercion

valuezonkEvBinds :: Bag EvBind -> ZonkBndrTcM (Bag EvBind)

valuezonkTcEvBinds :: TcEvBinds -> ZonkBndrTcM TcEvBinds

valuezonkTcMethInfoToMethInfoX :: TcMethInfo -> ZonkTcM MethInfo

valuelookupTyVarX :: TcTyVar -> ZonkTcM TyVar

ZonkEnv, and the ZonkT and ZonkBndrT monad transformers

module GHC.Tc.Zonk.Env

Coercion holes

3 declarations

valueisFilledCoercionHole :: CoercionHole -> TcM Bool

Is a coercion hole filled in?

valueunpackCoercionHole :: CoercionHole -> TcM Coercion

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

valueunpackCoercionHole_maybe :: CoercionHole -> TcM (Maybe Coercion)

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

Rewriter sets

3 declarations

valuezonkRewriterSet :: RewriterSet -> TcM RewriterSet

Check whether any coercion hole in a RewriterSet is still unsolved. Does this by recursively looking through filled coercion holes until one is found that is not yet filled in, at which point this aborts.

valuezonkCtRewriterSet :: Ct -> TcM Ct

valuezonkCtEvRewriterSet :: CtEvidence -> TcM CtEvidence

Tidying

2 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.