Desugaring monad. See also TcM.
Moduleghc-10.0.0.20260917GHC2024
GHC.HsToCore.Types
Various types used during desugaring.
- 7 types
- Packageghc-10.0.0.20260917
- Exports7
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceTypes.hs
Local state of the desugarer, extended as we lexically descend
Constructors
DsLclEnvdsl_meta :: DsMetaEnvTemplate Haskell bindings
dsl_loc :: RealSrcSpanTo put in pattern-matching error msgs
dsl_nablas :: LdiNablasSee Note [Desugaring HsExpr during pattern-match checking], esp (DPM1) The set of reaching values Nablas is augmented as we walk inwards, refined through each pattern match in turn
dsl_unspecables :: Maybe VarSetSee Note [Desugaring non-canonical evidence] This field collects all un-specialisable evidence variables in scope. Nothing = don't collect this info (used for the LHS of Rules)
Instances1MonadThings
MonadThings (IOEnv (Env DsGblEnv DsLclEnv))Defined in ghc-10.0.0.20260917 · GHC.HsToCore.Monad · orphan
Global read-only context and state of the desugarer. The statefulness is implemented through IORefs.
Constructors
DsGblEnvds_mod :: Moduleds_fam_inst_env :: FamInstEnvds_gbl_rdr_env :: GlobalRdrEnvds_tcm_plugins :: TcMPluginsRunTcMplugins, stored here so that we can invoke the typechecker without having to repeatedly re-initialise them.See Note [Stop TcM plugins after desugaring] in GHC.Driver.Main.
ds_name_ppr_ctx :: NamePprCtxds_msgs :: IORef (Messages DsMessage)ds_if_env :: (IfGblEnv, IfLclEnv)ds_complete_matches :: DsCompleteMatchesds_cc_st :: IORef CostCentreStateds_next_wrapper_num :: IORef (ModuleEnv Int)See Note [Generating fresh names for FFI wrappers]
ds_static_binds :: IORef (OrdList (Id, CoreExpr))Static bindings See Note [Grand plan for static forms] in GHC.Iface.Tidy.StaticPtrTable
Instances2ContainsModule, MonadThings
ContainsModule DsGblEnvDefined in ghc-10.0.0.20260917 · GHC.HsToCore.TypesMonadThings (IOEnv (Env DsGblEnv DsLclEnv))Defined in ghc-10.0.0.20260917 · GHC.HsToCore.Monad · orphan
Instances1Outputable
Outputable LdiNablasDefined in ghc-10.0.0.20260917 · GHC.HsToCore.Types