ghc-9.13: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Errors.Hole.FitTypes

Synopsis

Documentation

data TypedHole Source #

Constructors

TypedHole 

Fields

Instances

Instances details
Outputable TypedHole Source # 
Instance details

Defined in GHC.Tc.Errors.Hole.FitTypes

Methods

ppr :: TypedHole -> SDoc Source #

data HoleFit Source #

Constructors

TcHoleFit TcHoleFit 
RawHoleFit SDoc

A fit that is just displayed as is. Here so that HoleFitPlugins can inject any fit they want.

Instances

Instances details
Outputable HoleFit Source # 
Instance details

Defined in GHC.Tc.Errors.Hole.FitTypes

Methods

ppr :: HoleFit -> SDoc Source #

data TcHoleFit Source #

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