classy-effects-0.1.0.0: An interface for a handler-independent, typeclass-based effect system.
Copyright(c) 2023 Yamada Ryo
LicenseMPL-2.0 (see the file LICENSE)
Maintainerymdfield@outlook.jp
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageGHC2021

Control.Effect.Class.Accum

Description

 

Documentation

class Monoid w => Accum w f where Source #

Methods

add :: w -> f () Source #

look :: f w Source #

Instances

Instances details
(SendIns (AccumI w) f, Monoid w) => Accum w (EffectsVia EffectDataHandler f) Source # 
Instance details

Defined in Control.Effect.Class.Accum

Methods

add :: w -> EffectsVia EffectDataHandler f () Source #

look :: EffectsVia EffectDataHandler f w Source #

data AccumI (w :: Type) (a :: Type) where Source #

Constructors

Add :: forall w. w -> AccumI w () 
Look :: forall w. AccumI w w 

type AccumS w = LiftIns (AccumI w) Source #

pattern LookS :: () => a_6989586621679057845 ~ w => LiftIns (AccumI w) f a_6989586621679057845 Source #

pattern AddS :: () => a_6989586621679057844 ~ () => w -> LiftIns (AccumI w) f a_6989586621679057844 Source #