Data.Effect.Accum

Documentation

data Accum w a where

Constructors

Add :: w -> Accum f ()

Look :: Accum w w

type LAccum w = LiftIns (Accum w)

pattern LLook :: () => a ~ w => LiftIns (Accum w) f a

pattern LAdd :: () => a ~ () => w -> LiftIns (Accum f) f a

look'' :: forall key (w :: Type) f. SendInsBy key (Accum w) f => f w

look' :: forall tag (w :: Type) f. SendIns (Tag (Accum w) tag) f => f w

look :: forall (w :: Type) f. SendIns (Accum w) f => f w

add'' :: forall key (w :: Type) (f :: Type) f. SendInsBy key (Accum f) f => w -> f ()

add' :: forall tag (w :: Type) (f :: Type) f. SendIns (Tag (Accum f) tag) f => w -> f ()

add :: forall (w :: Type) (f :: Type) f. SendIns (Accum f) f => w -> f ()