Moduleeffectful-core-2.7.1.2GHC2021

Effectful.Output.Static.Local.List

Support for accumulation of values in a thread local list.

Contents

Synopsis

Effect

datadata Output o (a :: Type -> Type) b

Provide access to accumulation of values of type o in a thread local list.

Instances2DispatchOf, StaticRep

type DispatchOf (Output o) = 'Static 'NoSideEffectsDefined in effectful-core-2.7.1.2 · Effectful.Output.Static.Local.List
data StaticRep (Output o)
- Output [o]
Defined in effectful-core-2.7.1.2 · Effectful.Output.Static.Local.List

valuerunOutput :: HasCallStack => Eff (Output o ': es) a -> Eff es (a, [o])

Run the Output effect and return the final value along with the accumulated list.

valueoutput

Append the value to the end of the list.