Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Types.LclEnv

datadata TcLclEnv

Instances2Quasi, MonadThings

Quasi TcMDefined in ghc-10.0.0.20260917 · GHC.Tc.Gen.Splice · orphan
MonadThings (IOEnv (Env TcGblEnv TcLclEnv))Defined in ghc-10.0.0.20260917 · 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 -> ErrCtxtStack

valuegetLclEnvLoc :: TcLclEnv -> RealSrcSpan

valuegetLclEnvRdrEnv :: TcLclEnv -> LocalRdrEnv

valuegetLclEnvTcLevel :: TcLclEnv -> TcLevel

valuegetLclEnvThLevel :: TcLclEnv -> ThLevel

valuesetLclEnvTcLevel :: TcLevel -> TcLclEnv -> TcLclEnv

valuesetLclEnvLoc :: RealSrcSpan -> TcLclEnv -> TcLclEnv

valuesetLclEnvRdrEnv :: LocalRdrEnv -> TcLclEnv -> TcLclEnv

valuesetLclEnvBinderStack :: TcBinderStack -> TcLclEnv -> TcLclEnv

valuesetLclEnvErrCtxt :: ErrCtxtStack -> TcLclEnv -> TcLclEnv

valuesetLclEnvThLevel :: ThLevel -> TcLclEnv -> TcLclEnv

valuesetLclEnvTypeEnv :: TcTypeEnv -> TcLclEnv -> TcLclEnv

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

valuesetLclEnvHsCtxt :: HsCtxt -> TcLclEnv -> TcLclEnv

valuesetLclCtxtHsCtxt :: HsCtxt -> TcLclCtxt -> TcLclCtxt

valuelclEnvInGeneratedCode :: TcLclEnv -> Bool

valueaddLclEnvErrCtxt :: HsCtxt -> TcLclEnv -> TcLclEnv

typetype ErrCtxtStack = [HsCtxt]

datadata ArrowCtxt

typetype ThBindEnv = NameEnv (TopLevelFlag, ThLevelIndex)

typetype TcTypeEnv = NameEnv TcTyThing