Safe Haskell	Safe-Inferred
Language	Haskell2010

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

DsLclEnv
Fields dsl_meta :: DsMetaEnv Template Haskell bindings dsl_loc :: RealSrcSpan To put in pattern-matching error msgs dsl_nablas :: Nablas See Note [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

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_unqual :: PrintUnqualified ds_msgs :: IORef (Messages DecoratedSDoc) ds_if_env :: (IfGblEnv, IfLclEnv) ds_complete_matches :: CompleteMatches ds_cc_st :: IORef CostCentreState

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)