| 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 |
Control.Effect.Class.Machinery.TH.Send
Description
This module provides TemplateHaskell functions to derive an instance of the effect that handles
via SendIns/SendSig type classes.
Synopsis
- makeEffectSend :: Name -> Maybe (EffectOrder, Name) -> Q [Dec]
- deriveEffectSend :: EffectInfo -> Maybe (EffectOrder, Name) -> Q Dec
Documentation
Arguments
| :: Name | The class name of the effect. |
| -> 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.
Arguments
| :: 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.