Moduleeffectful-core-2.7.1.2GHC2021

Effectful.Output.Static.Action

Support for feeding values of a particular type to a monadic action.

Effect

1 declaration

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

Provide the ability to feed values of type o to a monadic action.

Instances2DispatchOf, StaticRep

type DispatchOf (Output o) = 'Static 'NoSideEffectsDefined in effectful-core-2.7.1.2 · Effectful.Output.Static.Action
data StaticRep (Output o)
- Output :: !Env actionEs -> !OutputImpl o actionEs -> R:StaticRepOutput o
Defined in effectful-core-2.7.1.2 · Effectful.Output.Static.Action

valuerunOutput

Run the Output effect with the given action for receiving values.

valueoutput

Feed the value to the underlying monadic action.