:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Moduleghc-9.10.3GHC2021
TypedHoleth_relevant_cts :: Bag CtEvidenceAny relevant Cts to the hole
th_implics :: [Implication]The nested implications of the hole with the innermost implication first.
th_hole :: Maybe HoleThe hole itself, if available.
Outputable TypedHoleDefined in ghc-9.10.3 · GHC.Tc.Errors.Hole.FitTypesHoleFit is the type we use for valid hole fits. It contains the
element that was checked, the Id of that element as found by tcLookup,
and the refinement level of the fit, which is the number of extra argument
holes that this fit uses (e.g. if hfRefLvl is 2, the fit is for `Id _ _`).
HoleFithfId :: IdThe elements id in the TcM
hfCand :: HoleFitCandidateThe candidate that was checked.
hfType :: TcTypeThe type of the id, possibly zonked.
hfRefLvl :: IntThe number of holes in this fit.
hfWrap :: [TcType]The wrapper for the match.
hfMatches :: [TcType]What the refinement variables got matched with, if anything
hfDoc :: Maybe [HsDocString]Documentation of this HoleFit, if available.
RawHoleFit SDocA fit that is just displayed as is. Here so thatHoleFitPlugins can inject any fit they want.
HoleFitCandidates are passed to hole fit plugins and then checked whether they fit a given typed-hole.
Eq HoleFitCandidateDefined in ghc-9.10.3 · GHC.Tc.Errors.Hole.FitTypesOrd HoleFitCandidateDefined in ghc-9.10.3 · GHC.Tc.Errors.Hole.FitTypesNamedThing HoleFitCandidateDefined in ghc-9.10.3 · GHC.Tc.Errors.Hole.FitTypesOutputable HoleFitCandidateDefined in ghc-9.10.3 · GHC.Tc.Errors.Hole.FitTypesHasOccName HoleFitCandidateDefined in ghc-9.10.3 · GHC.Tc.Errors.Hole.FitTypes