Safe Haskell | None |
---|---|
Language | Haskell2010 |
Various types used during desugaring.
Synopsis
- type DsM = TcRnIf DsGblEnv DsLclEnv
- data DsLclEnv = DsLclEnv {}
- data DsGblEnv = DsGblEnv {
- 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
- type DsMetaEnv = NameEnv DsMetaVal
- data DsMetaVal
- type CompleteMatches = [CompleteMatch]
Documentation
Local state of the desugarer, extended as we lexically descend
DsLclEnv | |
|
Global read-only context and state of the desugarer.
The statefulness is implemented through IORef
s.
DsGblEnv | |
|
Instances
ContainsModule DsGblEnv Source # | |
Defined in GHC.HsToCore.Types extractModule :: DsGblEnv -> Module | |
MonadThings (IOEnv (Env DsGblEnv DsLclEnv)) | |
type CompleteMatches = [CompleteMatch] #