GHC.HsToCore.Types

Various types used during desugaring.

Documentation

type DsM = TcRnIf DsGblEnv DsLclEnv

Desugaring monad. See also TcM.

data DsLclEnv

Local state of the desugarer, extended as we lexically descend

Constructors

DsLclEnv

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 :: Set EvVar

  See Note [Desugaring non-canonical evidence]: this field collects all un-specialisable evidence variables in scope.

Instances

MonadThings (IOEnv (Env DsGblEnv DsLclEnv))

Defined in GHC.HsToCore.Monad

Methods

lookupThing :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyThing

lookupId :: Name -> IOEnv (Env DsGblEnv DsLclEnv) Id

lookupDataCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) DataCon

lookupTyCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyCon

data DsGblEnv

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 :: CompleteMatches
• ds_cc_st :: IORef CostCentreState
• ds_next_wrapper_num :: IORef (ModuleEnv Int)

  See Note [Generating fresh names for FFI wrappers]

Instances

ContainsModule DsGblEnv

Defined in GHC.HsToCore.Types

Methods

extractModule :: DsGblEnv -> Module

MonadThings (IOEnv (Env DsGblEnv DsLclEnv))

Defined in GHC.HsToCore.Monad

Methods

lookupThing :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyThing

lookupId :: Name -> IOEnv (Env DsGblEnv DsLclEnv) Id

lookupDataCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) DataCon

lookupTyCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyCon

type DsMetaEnv = NameEnv DsMetaVal

data DsMetaVal

Constructors

DsBound Id

DsSplice (HsExpr GhcTc)

type CompleteMatches = [CompleteMatch]