Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Tc.Errors.Hole
Synopsis
- findValidHoleFits :: TidyEnv -> [Implication] -> [Ct] -> Hole -> TcM (TidyEnv, SDoc)
- data HoleFitPlugin = HoleFitPlugin {}
- data HoleFitPluginR = forall s.HoleFitPluginR {
- hfPluginInit :: TcM (TcRef s)
- hfPluginRun :: TcRef s -> HoleFitPlugin
- hfPluginStop :: TcRef s -> TcM ()
Documentation
data HoleFitPlugin Source #
A HoleFitPlugin is a pair of candidate and fit plugins.
Constructors
HoleFitPlugin | |
Fields |
data HoleFitPluginR Source #
HoleFitPluginR adds a TcRef to hole fit plugins so that plugins can track internal state. Note the existential quantification, ensuring that the state cannot be modified from outside the plugin.
Constructors
forall s. HoleFitPluginR | |
Fields
|