Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Tc.Types.LclEnv

Synopsis

datadata TcLclEnv

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

valuegetLclEnvThLevel :: TcLclEnv -> ThLevel

valuesetLclEnvTcLevel :: TcLevel -> TcLclEnv -> TcLclEnv

valuesetLclEnvLoc :: RealSrcSpan -> TcLclEnv -> TcLclEnv

valuesetLclEnvRdrEnv :: LocalRdrEnv -> TcLclEnv -> TcLclEnv

valuesetLclEnvBinderStack :: TcBinderStack -> TcLclEnv -> TcLclEnv

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

valuesetLclEnvThLevel :: ThLevel -> TcLclEnv -> TcLclEnv

valuesetLclEnvTypeEnv :: TcTypeEnv -> TcLclEnv -> TcLclEnv

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

valuelclEnvInGeneratedCode :: TcLclEnv -> Bool

valueaddLclEnvErrCtxt :: ErrCtxt -> TcLclEnv -> TcLclEnv

datadata ArrowCtxt

typetype ThBindEnv = NameEnv (TopLevelFlag, ThLevelIndex)

typetype TcTypeEnv = NameEnv TcTyThing