Safe Haskell | None |
---|---|
Language | GHC2021 |
Synopsis
- data TypedHole = TypedHole {}
- data HoleFit
- data TcHoleFit = HoleFit {}
- data HoleFitCandidate
- hfIsLcl :: TcHoleFit -> Bool
- pprHoleFitCand :: HoleFitCandidate -> SDoc
Documentation
TypedHole | |
|
Instances
TcHoleFit TcHoleFit | |
RawHoleFit SDoc | A fit that is just displayed as is. Here so that HoleFitPlugins can inject any fit they want. |
Instances
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 _ _`).
HoleFit | |
|
data HoleFitCandidate Source #
HoleFitCandidates are passed to hole fit plugins and then checked whether they fit a given typed-hole.