Safe Haskell	None
Language	GHC2021

GHC.HsToCore.Types

Description

Various types used during desugaring.

Synopsis

Documentation

Desugaring monad. See also TcM.

Local state of the desugarer, extended as we lexically descend

Constructors

Fields

dsl_meta :: DsMetaEnv
Template Haskell bindings
dsl_loc :: RealSrcSpan
To put in pattern-matching error msgs
dsl_nablas :: Nablas
See Note [Long-distance information] in GHC.HsToCore.Pmc. The set of reaching values Nablas is augmented as we walk inwards, refined through each pattern match in turn
dsl_unspecables :: Maybe VarSet
See 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)

Instances details

MonadThings (IOEnv (Env DsGblEnv DsLclEnv)) Source #
Instance details Defined in GHC.HsToCore.Monad Methods lookupThing :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyThing Source # lookupId :: Name -> IOEnv (Env DsGblEnv DsLclEnv) Id Source # lookupDataCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) DataCon Source # lookupTyCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyCon Source #

Global read-only context and state of the desugarer. The statefulness is implemented through IORefs.

Constructors

DsGblEnv
Fields ds_mod :: Module ds_fam_inst_env :: FamInstEnv ds_gbl_rdr_env :: GlobalRdrEnv ds_name_ppr_ctx :: NamePprCtx ds_msgs :: IORef (Messages DsMessage) ds_if_env :: (IfGblEnv, IfLclEnv) ds_complete_matches :: DsCompleteMatches ds_cc_st :: IORef CostCentreState ds_next_wrapper_num :: IORef (ModuleEnv Int) See Note [Generating fresh names for FFI wrappers]

Instances details

ContainsModule DsGblEnv Source #
Instance details Defined in GHC.HsToCore.Types Methods extractModule :: DsGblEnv -> Module Source #
MonadThings (IOEnv (Env DsGblEnv DsLclEnv)) Source #
Instance details Defined in GHC.HsToCore.Monad Methods lookupThing :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyThing Source # lookupId :: Name -> IOEnv (Env DsGblEnv DsLclEnv) Id Source # lookupDataCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) DataCon Source # lookupTyCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyCon Source #

Constructors

DsBound Id
DsSplice (HsExpr GhcTc)