| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHC.Tc.Errors.Hole
Documentation
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
| |
data HoleFitPluginR #
Constructors
| HoleFitPluginR | |
Fields
| |