Moduleghc-9.10.3GHC2021

GHC.Tc.Types.CtLocEnv

datadata CtLocEnv

Local typechecker environment for a constraint.

Used to restore the environment of a constraint when reporting errors, see setCtLocM.

valuegetCtLocEnvLoc :: CtLocEnv -> RealSrcSpan

valuegetCtLocEnvLvl :: CtLocEnv -> TcLevel

valuesetCtLocEnvLvl :: CtLocEnv -> TcLevel -> CtLocEnv

valuesetCtLocRealLoc :: CtLocEnv -> RealSrcSpan -> CtLocEnv

valuesetCtLocEnvLoc :: CtLocEnv -> SrcSpan -> CtLocEnv

valuectLocEnvInGeneratedCode :: CtLocEnv -> Bool