Safe Haskell	None
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))
Instance details 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

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_unqual :: PrintUnqualified ds_msgs :: IORef Messages 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
MonadThings (IOEnv (Env DsGblEnv DsLclEnv))
Instance details 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

Constructors

DsBound Id
DsSplice (HsExpr GhcTc)