Moduleghc-9.10.3GHC2021

GHC.Tc.Types.LclEnv

datadata TcLclEnv

Instances2Quasi, MonadThings

Quasi TcMDefined in ghc-9.10.3 · GHC.Tc.Gen.Splice · orphan
MonadThings (IOEnv (Env TcGblEnv TcLclEnv))Defined in ghc-9.10.3 · GHC.Tc.Utils.Env · orphan

datadata TcLclCtxt

valuemodifyLclCtxt :: (TcLclCtxt -> TcLclCtxt) -> TcLclEnv -> TcLclEnv

valuegetLclEnvArrowCtxt :: TcLclEnv -> ArrowCtxt

valuegetLclEnvThBndrs :: TcLclEnv -> ThBindEnv

valuegetLclEnvTypeEnv :: TcLclEnv -> TcTypeEnv

valuegetLclEnvBinderStack :: TcLclEnv -> TcBinderStack

valuegetLclEnvErrCtxt :: TcLclEnv -> [ErrCtxt]

valuegetLclEnvLoc :: TcLclEnv -> RealSrcSpan

valuegetLclEnvRdrEnv :: TcLclEnv -> LocalRdrEnv

valuegetLclEnvTcLevel :: TcLclEnv -> TcLevel

valuegetLclEnvThStage :: TcLclEnv -> ThStage

valuesetLclEnvTcLevel :: TcLevel -> TcLclEnv -> TcLclEnv

valuesetLclEnvLoc :: RealSrcSpan -> TcLclEnv -> TcLclEnv

valuesetLclEnvRdrEnv :: LocalRdrEnv -> TcLclEnv -> TcLclEnv

valuesetLclEnvBinderStack :: TcBinderStack -> TcLclEnv -> TcLclEnv

valuesetLclEnvErrCtxt :: [ErrCtxt] -> TcLclEnv -> TcLclEnv

valuesetLclEnvThStage :: ThStage -> TcLclEnv -> TcLclEnv

valuesetLclEnvTypeEnv :: TcTypeEnv -> TcLclEnv -> TcLclEnv

valuemodifyLclEnvTcLevel :: (TcLevel -> TcLevel) -> TcLclEnv -> TcLclEnv

valuelclEnvInGeneratedCode :: TcLclEnv -> Bool

valueaddLclEnvErrCtxt :: ErrCtxt -> TcLclEnv -> TcLclEnv

datadata ArrowCtxt

typetype ThBindEnv = NameEnv (TopLevelFlag, ThLevel)

typetype TcTypeEnv = NameEnv TcTyThing