classy-effects-th-0.1.0.0: Automatic compliance with the classy-effects protocols
Copyright(c) 2023 Yamada Ryo
LicenseMPL-2.0 (see the file LICENSE)
Maintainerymdfield@outlook.jp
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageGHC2021

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

Documentation

makeEffectSend Source #

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.

deriveEffectSend Source #

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.