| 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 #