Safe Haskell | Ignore |
---|---|
Language | GHC2021 |
GHC.Tc.Errors.Hole.FitTypes
Synopsis
- data TypedHole = TypedHole {}
- data HoleFit
- data HoleFitCandidate
- hfIsLcl :: HoleFit -> Bool
- pprHoleFitCand :: HoleFitCandidate -> SDoc
Documentation
Constructors
TypedHole | |
Fields
|
Instances
Outputable TypedHole # | |
Defined in GHC.Tc.Errors.Hole.FitTypes |
HoleFit 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 _ _`).
Constructors
HoleFit | |
Fields
| |
RawHoleFit SDoc | A fit that is just displayed as is. Here so thatHoleFitPlugins can inject any fit they want. |
Instances
Outputable HoleFit # | |
Defined in GHC.Tc.Errors.Hole.FitTypes | |
Eq HoleFit # | |
Ord HoleFit # | |
Defined in GHC.Tc.Errors.Hole.FitTypes |
data HoleFitCandidate #
HoleFitCandidates are passed to hole fit plugins and then checked whether they fit a given typed-hole.
Constructors
IdHFCand Id | |
NameHFCand Name | |
GreHFCand GlobalRdrElt |
Instances
NamedThing HoleFitCandidate # | |
Defined in GHC.Tc.Errors.Hole.FitTypes | |
HasOccName HoleFitCandidate # | |
Defined in GHC.Tc.Errors.Hole.FitTypes Methods occName :: HoleFitCandidate -> OccName # | |
Outputable HoleFitCandidate # | |
Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: HoleFitCandidate -> SDoc # | |
Eq HoleFitCandidate # | |
Defined in GHC.Tc.Errors.Hole.FitTypes Methods (==) :: HoleFitCandidate -> HoleFitCandidate -> Bool # (/=) :: HoleFitCandidate -> HoleFitCandidate -> Bool # | |
Ord HoleFitCandidate # | |
Defined in GHC.Tc.Errors.Hole.FitTypes Methods compare :: HoleFitCandidate -> HoleFitCandidate -> Ordering # (<) :: HoleFitCandidate -> HoleFitCandidate -> Bool # (<=) :: HoleFitCandidate -> HoleFitCandidate -> Bool # (>) :: HoleFitCandidate -> HoleFitCandidate -> Bool # (>=) :: HoleFitCandidate -> HoleFitCandidate -> Bool # max :: HoleFitCandidate -> HoleFitCandidate -> HoleFitCandidate # min :: HoleFitCandidate -> HoleFitCandidate -> HoleFitCandidate # |
pprHoleFitCand :: HoleFitCandidate -> SDoc #