Moduleeffectful-core-2.7.1.2GHC2021

Effectful.Output.Static.Shared.List

Support for accumulation of values in a shared list.

Effect

1 declaration

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

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

Instances2DispatchOf, StaticRep

type DispatchOf (Output o) = 'Static 'NoSideEffectsDefined in effectful-core-2.7.1.2 · Effectful.Output.Static.Shared.List
data StaticRep (Output o)
- Output (MVar [o])
Defined in effectful-core-2.7.1.2 · Effectful.Output.Static.Shared.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.