Provide access to a write only value of type w.
Instances1DispatchOf
type DispatchOf (Writer w) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Internal.Effect.Dynamic
Moduleeffectful-core-2.7.1.2GHC2021
Effectful.Writer.Dynamic
The dynamically dispatched variant of the Writer effect.
Note: unless you plan to change interpretations at runtime or you need the
Control.Monad.Writer.MonadWriter instance for compatibility with existing
code, it's recommended to use one of the statically dispatched variants,
i.e. Effectful.Writer.Static.Local or Effectful.Writer.Static.Shared.
If you just want to accumulate values, use Effectful.Output.Dynamic.
- 1 type
- 7 values
- Packageeffectful-core-2.7.1.2
- Exports8
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceDynamic.hs
Effect
1 declarationHandlers
Local
Run the Writer effect and return the final value along with the final output (via Effectful.Writer.Static.Local).
Run a Writer effect and return the final output, discarding the final value (via Effectful.Writer.Static.Local).
Shared
Operations
3 declarationsAppend the given output to the overall output of the Writer.
Execute an action and append its output to the overall output of the Writer.