Instances1DispatchOf
type DispatchOf (Output o) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Output.Dynamic
Moduleeffectful-core-2.7.1.2GHC2021
Effectful.Output.Dynamic
The dynamically dispatched variant of the Output effect.
Note: unless you plan to change interpretations at runtime, it's recommended to use one of the statically dispatched variants, i.e. Effectful.Output.Static.Action, Effectful.Output.Static.Local.Array, Effectful.Output.Static.Local.List, Effectful.Output.Static.Shared.Array or Effectful.Output.Static.Shared.List.
Contents
Synopsis
- data Output
- value runOutputAction
- value runOutputLocalArray
- value runOutputLocalList
- value runOutputSharedArray
- value runOutputSharedList
- value output
- Packageeffectful-core-2.7.1.2
- Exports7
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceDynamic.hs
Effect
Handlers
value
runOutputAction :: HasCallStack=> (HasCallStack => o -> Eff es ())The action for output generation.
-> Eff (Output o ': es) a-> Eff es a
Run the Output effect with the given action for receiving values.
Run the Output effect and return the final value along with the accumulated array (via Effectful.Output.Static.Local.Array).
Run the Output effect and return the final value along with the accumulated list (via Effectful.Output.Static.Local.List).
Operations
Feed the value to the underlying handler.