Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Tc.Types.CtLoc

3 types
28 values

Packageghc-lib-parser-9.14.1.20251220
Exports31
LanguageGHC2021
LicenceBSD-3-Clause
SourceCtLoc.hs

CtLoc

19 declarations

datadata CtLoc

Constructors

CtLoc
- ctl_origin :: CtOrigin
- ctl_env :: CtLocEnv
- ctl_t_or_k :: Maybe TypeOrKind
- ctl_depth :: !SubGoalDepth

valuectLocSpan :: CtLoc -> RealSrcSpan

valuectLocEnv :: CtLoc -> CtLocEnv

valuectLocLevel :: CtLoc -> TcLevel

valuectLocOrigin :: CtLoc -> CtOrigin

valuectLocTypeOrKind_maybe :: CtLoc -> Maybe TypeOrKind

valuetoInvisibleLoc :: CtLoc -> CtLoc

valuectLocDepth :: CtLoc -> SubGoalDepth

valuebumpCtLocDepth :: CtLoc -> CtLoc

valueisGivenLoc :: CtLoc -> Bool

valuemkGivenLoc :: TcLevel -> SkolemInfoAnon -> CtLocEnv -> CtLoc

valuemkKindEqLoc :: TcType -> TcType -> CtLoc -> CtLoc

valuesetCtLocOrigin :: CtLoc -> CtOrigin -> CtLoc

valueupdateCtLocOrigin :: CtLoc -> (CtOrigin -> CtOrigin) -> CtLoc

valuesetCtLocEnv :: CtLoc -> CtLocEnv -> CtLoc

valuesetCtLocSpan :: CtLoc -> RealSrcSpan -> CtLoc

valuepprCtLoc :: CtLoc -> SDoc

valueadjustCtLoc :: Bool -> Bool -> CtLoc -> CtLoc

valueadjustCtLocTyConBinder :: TyConBinder -> CtLoc -> CtLoc

CtLocEnv

7 declarations

datadata CtLocEnv

Local typechecker environment for a constraint.

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

Constructors

CtLocEnv
- ctl_ctxt :: ![ErrCtxt]
- ctl_loc :: !RealSrcSpan
- ctl_bndrs :: !TcBinderStack
- ctl_tclvl :: !TcLevel
- ctl_in_gen_code :: !Bool
- ctl_rdr :: !LocalRdrEnv

valuegetCtLocEnvLoc :: CtLocEnv -> RealSrcSpan

valuesetCtLocEnvLoc :: CtLocEnv -> SrcSpan -> CtLocEnv

valuesetCtLocRealLoc :: CtLocEnv -> RealSrcSpan -> CtLocEnv

valuegetCtLocEnvLvl :: CtLocEnv -> TcLevel

valuesetCtLocEnvLvl :: CtLocEnv -> TcLevel -> CtLocEnv

valuectLocEnvInGeneratedCode :: CtLocEnv -> Bool

SubGoalDepth

5 declarations

newtypenewtype SubGoalDepth

See Note [SubGoalDepth]

Instances3Eq, Ord, Outputable

Eq SubGoalDepthDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.CtLoc
Ord SubGoalDepthDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.CtLoc
Outputable SubGoalDepthDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.CtLoc

valueinitialSubGoalDepth :: SubGoalDepth

valuemaxSubGoalDepth :: SubGoalDepth -> SubGoalDepth -> SubGoalDepth

valuebumpSubGoalDepth :: SubGoalDepth -> SubGoalDepth

valuesubGoalDepthExceeded :: IntWithInf -> SubGoalDepth -> Bool