Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- effectMethodDec :: [Name] -> MethodInterface -> Name -> Q [Dec]
Documentation
:: [Name] | The type parameters of the effect. |
-> MethodInterface | The interface of the effect method. |
-> Name | The name of effect data constructor corresponding to the method. |
-> Q [Dec] |