Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
:: 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 #
HoleFitPlugin | |
|
data HoleFitPluginR #
HoleFitPluginR | |
|