Effectful.Output.Static.Local.Array · effectful-core-2.7.1.2

Effect

1 declaration

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

#

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

Instances2DispatchOf, StaticRep

type DispatchOf (Output o) = 'Static 'NoSideEffectsDefined in effectful-core-2.7.1.2 · Effectful.Output.Static.Local.Array
data StaticRep (Output o)
- Output !Int !(MutableArray RealWorld o)
Defined in effectful-core-2.7.1.2 · Effectful.Output.Static.Local.Array

Handlers

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

#

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

Operations

valueoutput

:: (HasCallStack, Output o :> es)
=> o
The value.
-> Eff es ()

#

Append the value to the end of the array.

Re-exports

1 declaration

datadata Array a

#

Boxed arrays.

Instances26Monad, Functor, MonadFix, MonadFail, Applicative, Foldable, …

Monad ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Functor ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
MonadFix ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
MonadFail ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Applicative ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Foldable ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Traversable ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Alternative ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
MonadPlus ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
MonadZip ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Eq1 ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Ord1 ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Read1 ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Show1 ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
NFData1 ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Lift a => Lift (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
IsList (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
Eq a => Eq (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
Data a => Data (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
Ord a => Ord (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
Lexicographic ordering. Subject to change between major versions.
Read a => Read (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
Show a => Show (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
Semigroup (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
Monoid (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
NFData a => NFData (Array a)Defined in primitive-0.9.1.0 · Data.Primitive.Array
type Item (Array a) = aDefined in primitive-0.9.1.0 · Data.Primitive.Array