GHC.Tc.Errors.Hole

Documentation

findValidHoleFits

Arguments

:: TidyEnv

The tidy_env for zonking

-> [Implication]

Enclosing implications for givens

-> [Ct]

The unsolved simple constraints in the implication for the hole.

-> Hole

-> TcM (TidyEnv, SDoc)

data HoleFitPlugin

Constructors

HoleFitPlugin

Fields

• candPlugin :: CandPlugin
• fitPlugin :: FitPlugin

data HoleFitPluginR

Constructors

HoleFitPluginR

Fields

• hfPluginInit :: TcM (TcRef s)
• hfPluginRun :: TcRef s -> HoleFitPlugin
• hfPluginStop :: TcRef s -> TcM ()