Copyright | (c) 2023 Yamada Ryo |
---|---|
License | MPL-2.0 (see the file LICENSE) |
Maintainer | ymdfield@outlook.jp |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Synopsis
- makeEffectSend :: Name -> Maybe (EffectOrder, Name) -> Q [Dec]
- deriveEffectSend :: EffectInfo -> Maybe (EffectOrder, Name) -> Q Dec
Documentation
:: EffectInfo | The reified information of the effect class. |
-> Maybe (EffectOrder, Name) | The name and order of effect data type corresponding to the effect. |
-> Q Dec |
Derive an instance of the effect that handles via SendIns
/SendSig
type classes, from
EffectInfo
.