GHC.Tc.Types.LclEnv

Documentation

data TcLclEnv

Constructors

TcLclEnv

Fields

• tcl_lcl_ctxt :: !TcLclCtxt
• tcl_usage :: TcRef UsageEnv
• tcl_lie :: TcRef WantedConstraints
• tcl_errs :: TcRef (Messages TcRnMessage)

Instances

Quasi TcM

Defined in GHC.Tc.Gen.Splice

Methods

qNewName :: String -> TcM Name

qReport :: Bool -> String -> TcM ()

qRecover :: TcM a -> TcM a -> TcM a

qLookupName :: Bool -> String -> TcM (Maybe Name)

qReify :: Name -> TcM Info

qReifyFixity :: Name -> TcM (Maybe Fixity)

qReifyType :: Name -> TcM Type

qReifyInstances :: Name -> [Type] -> TcM [Dec]

qReifyRoles :: Name -> TcM [Role]

qReifyAnnotations :: Data a => AnnLookup -> TcM [a]

qReifyModule :: Module -> TcM ModuleInfo

qReifyConStrictness :: Name -> TcM [DecidedStrictness]

qLocation :: TcM Loc

qRunIO :: IO a -> TcM a

qGetPackageRoot :: TcM FilePath

qAddDependentFile :: FilePath -> TcM ()

qAddTempFile :: String -> TcM FilePath

qAddTopDecls :: [Dec] -> TcM ()

qAddForeignFilePath :: ForeignSrcLang -> String -> TcM ()

qAddModFinalizer :: Q () -> TcM ()

qAddCorePlugin :: String -> TcM ()

qGetQ :: Typeable a => TcM (Maybe a)

qPutQ :: Typeable a => a -> TcM ()

qIsExtEnabled :: Extension -> TcM Bool

qExtsEnabled :: TcM [Extension]

qPutDoc :: DocLoc -> String -> TcM ()

qGetDoc :: DocLoc -> TcM (Maybe String)

MonadThings (IOEnv (Env TcGblEnv TcLclEnv))

Defined in GHC.Tc.Utils.Env

Methods

lookupThing :: Name -> IOEnv (Env TcGblEnv TcLclEnv) TyThing

lookupId :: Name -> IOEnv (Env TcGblEnv TcLclEnv) Id

lookupDataCon :: Name -> IOEnv (Env TcGblEnv TcLclEnv) DataCon

lookupTyCon :: Name -> IOEnv (Env TcGblEnv TcLclEnv) TyCon

data TcLclCtxt

Constructors

TcLclCtxt

Fields

• tcl_loc :: RealSrcSpan
• tcl_ctxt :: [ErrCtxt]
• tcl_in_gen_code :: Bool
• tcl_tclvl :: TcLevel
• tcl_bndrs :: TcBinderStack
• tcl_rdr :: LocalRdrEnv
• tcl_th_ctxt :: ThStage
• tcl_th_bndrs :: ThBindEnv
• tcl_arrow_ctxt :: ArrowCtxt
• tcl_env :: TcTypeEnv

modifyLclCtxt :: (TcLclCtxt -> TcLclCtxt) -> TcLclEnv -> TcLclEnv

getLclEnvArrowCtxt :: TcLclEnv -> ArrowCtxt

getLclEnvThBndrs :: TcLclEnv -> ThBindEnv

getLclEnvTypeEnv :: TcLclEnv -> TcTypeEnv

getLclEnvBinderStack :: TcLclEnv -> TcBinderStack

getLclEnvErrCtxt :: TcLclEnv -> [ErrCtxt]

getLclEnvLoc :: TcLclEnv -> RealSrcSpan

getLclEnvRdrEnv :: TcLclEnv -> LocalRdrEnv

getLclEnvTcLevel :: TcLclEnv -> TcLevel

getLclEnvThStage :: TcLclEnv -> ThStage

setLclEnvTcLevel :: TcLevel -> TcLclEnv -> TcLclEnv

setLclEnvLoc :: RealSrcSpan -> TcLclEnv -> TcLclEnv

setLclEnvRdrEnv :: LocalRdrEnv -> TcLclEnv -> TcLclEnv

setLclEnvBinderStack :: TcBinderStack -> TcLclEnv -> TcLclEnv

setLclEnvErrCtxt :: [ErrCtxt] -> TcLclEnv -> TcLclEnv

setLclEnvThStage :: ThStage -> TcLclEnv -> TcLclEnv

setLclEnvTypeEnv :: TcTypeEnv -> TcLclEnv -> TcLclEnv

modifyLclEnvTcLevel :: (TcLevel -> TcLevel) -> TcLclEnv -> TcLclEnv

lclEnvInGeneratedCode :: TcLclEnv -> Bool

addLclEnvErrCtxt :: ErrCtxt -> TcLclEnv -> TcLclEnv

data ArrowCtxt

Constructors

NoArrowCtxt

ArrowCtxt LocalRdrEnv (TcRef WantedConstraints)

type ThBindEnv = NameEnv (TopLevelFlag, ThLevel)

type TcTypeEnv = NameEnv TcTyThing