Control.Effect.Class.Machinery.TH.Send

This module provides TemplateHaskell functions to derive an instance of the effect that handles via SendIns/SendSig type classes.

Documentation

makeEffectSend

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

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.