| Safe Haskell | Ignore |
|---|---|
| Language | GHC2021 |
GHC.Tc.Types.CtLoc
Contents
Synopsis
- data CtLoc = CtLoc {}
- ctLocSpan :: CtLoc -> RealSrcSpan
- ctLocEnv :: CtLoc -> CtLocEnv
- ctLocLevel :: CtLoc -> TcLevel
- ctLocOrigin :: CtLoc -> CtOrigin
- ctLocTypeOrKind_maybe :: CtLoc -> Maybe TypeOrKind
- toInvisibleLoc :: CtLoc -> CtLoc
- ctLocDepth :: CtLoc -> SubGoalDepth
- bumpCtLocDepth :: CtLoc -> CtLoc
- isGivenLoc :: CtLoc -> Bool
- mkGivenLoc :: TcLevel -> SkolemInfoAnon -> CtLocEnv -> CtLoc
- mkKindEqLoc :: TcType -> TcType -> CtLoc -> CtLoc
- setCtLocOrigin :: CtLoc -> CtOrigin -> CtLoc
- updateCtLocOrigin :: CtLoc -> (CtOrigin -> CtOrigin) -> CtLoc
- setCtLocEnv :: CtLoc -> CtLocEnv -> CtLoc
- setCtLocSpan :: CtLoc -> RealSrcSpan -> CtLoc
- pprCtLoc :: CtLoc -> SDoc
- adjustCtLoc :: Bool -> Bool -> CtLoc -> CtLoc
- adjustCtLocTyConBinder :: TyConBinder -> CtLoc -> CtLoc
- data CtLocEnv = CtLocEnv {
- ctl_ctxt :: ![ErrCtxt]
- ctl_loc :: !RealSrcSpan
- ctl_bndrs :: !TcBinderStack
- ctl_tclvl :: !TcLevel
- ctl_in_gen_code :: !Bool
- ctl_rdr :: !LocalRdrEnv
- getCtLocEnvLoc :: CtLocEnv -> RealSrcSpan
- setCtLocEnvLoc :: CtLocEnv -> SrcSpan -> CtLocEnv
- setCtLocRealLoc :: CtLocEnv -> RealSrcSpan -> CtLocEnv
- getCtLocEnvLvl :: CtLocEnv -> TcLevel
- setCtLocEnvLvl :: CtLocEnv -> TcLevel -> CtLocEnv
- ctLocEnvInGeneratedCode :: CtLocEnv -> Bool
- data SubGoalDepth
- initialSubGoalDepth :: SubGoalDepth
- maxSubGoalDepth :: SubGoalDepth -> SubGoalDepth -> SubGoalDepth
- bumpSubGoalDepth :: SubGoalDepth -> SubGoalDepth
- subGoalDepthExceeded :: IntWithInf -> SubGoalDepth -> Bool
CtLoc
Constructors
| CtLoc | |
Fields
| |
ctLocSpan :: CtLoc -> RealSrcSpan #
ctLocLevel :: CtLoc -> TcLevel #
ctLocOrigin :: CtLoc -> CtOrigin #
toInvisibleLoc :: CtLoc -> CtLoc #
ctLocDepth :: CtLoc -> SubGoalDepth #
bumpCtLocDepth :: CtLoc -> CtLoc #
isGivenLoc :: CtLoc -> Bool #
mkGivenLoc :: TcLevel -> SkolemInfoAnon -> CtLocEnv -> CtLoc #
setCtLocOrigin :: CtLoc -> CtOrigin -> CtLoc #
setCtLocEnv :: CtLoc -> CtLocEnv -> CtLoc #
setCtLocSpan :: CtLoc -> RealSrcSpan -> CtLoc #
adjustCtLocTyConBinder :: TyConBinder -> CtLoc -> CtLoc #
CtLocEnv
Local typechecker environment for a constraint.
Used to restore the environment of a constraint
when reporting errors, see setCtLocM.
See also TcLclCtxt.
Constructors
| CtLocEnv | |
Fields
| |
getCtLocEnvLoc :: CtLocEnv -> RealSrcSpan #
setCtLocEnvLoc :: CtLocEnv -> SrcSpan -> CtLocEnv #
setCtLocRealLoc :: CtLocEnv -> RealSrcSpan -> CtLocEnv #
getCtLocEnvLvl :: CtLocEnv -> TcLevel #
setCtLocEnvLvl :: CtLocEnv -> TcLevel -> CtLocEnv #
ctLocEnvInGeneratedCode :: CtLocEnv -> Bool #
SubGoalDepth
data SubGoalDepth #
See Note [SubGoalDepth]
Instances
| Outputable SubGoalDepth # | |
Defined in GHC.Tc.Types.CtLoc Methods ppr :: SubGoalDepth -> SDoc # | |
| Eq SubGoalDepth # | |
Defined in GHC.Tc.Types.CtLoc | |
| Ord SubGoalDepth # | |
Defined in GHC.Tc.Types.CtLoc Methods compare :: SubGoalDepth -> SubGoalDepth -> Ordering # (<) :: SubGoalDepth -> SubGoalDepth -> Bool # (<=) :: SubGoalDepth -> SubGoalDepth -> Bool # (>) :: SubGoalDepth -> SubGoalDepth -> Bool # (>=) :: SubGoalDepth -> SubGoalDepth -> Bool # max :: SubGoalDepth -> SubGoalDepth -> SubGoalDepth # min :: SubGoalDepth -> SubGoalDepth -> SubGoalDepth # | |
maxSubGoalDepth :: SubGoalDepth -> SubGoalDepth -> SubGoalDepth #
subGoalDepthExceeded :: IntWithInf -> SubGoalDepth -> Bool #