ymdryo / classy-effects

An interface for a handler-independent, typeclass-based effect system.
Mozilla Public License 2.0
0 stars 1 forks source link

Improvement in Convenience through the `EffectsVia EffectDataHandler` wrapper #2

Open ymdryo opened 1 year ago

ymdryo commented 1 year ago

The 'EffectsVia EffectDataHandler' wrapper data type is required for the correct operation of the mechanism that sends effect data to the carrier of the effect system backend based on SendIns/Sig (refer to CEP-02). However, as a result, the type of the carrier for the effect system backend, based on effect data, always requires the application of this wrapper in addition to its original type, resulting in various redundancies.