writer package:effectful-core

module Effectful.Labeled.Writer
effectful-core
Convenience functions for the Labeled Writer effect.
data Writer w (a :: Type -> Type) b
effectful-core Effectful.Labeled.Writer Effectful.Writer.Dynamic
Provide access to a write only value of type w.
data Writer w (a :: Type -> Type) b
effectful-core Effectful.Writer.Static.Local
Provide access to a strict (WHNF), thread local, write only value of type w.
data Writer w (a :: Type -> Type) b
effectful-core Effectful.Writer.Static.Shared
Provide access to a strict (WHNF), shared, write only value of type w.
execWriterLocal :: forall w (es :: [(Type -> Type) -> Type -> Type]) a . (HasCallStack, Monoid w) => Eff (Writer w ': es) a -> Eff es w
effectful-core Effectful.Writer.Dynamic
Run a Writer effect and return the final output, discarding the final value (via Effectful.Writer.Static.Local).
execWriterShared :: forall w (es :: [(Type -> Type) -> Type -> Type]) a . (HasCallStack, Monoid w) => Eff (Writer w ': es) a -> Eff es w
effectful-core Effectful.Writer.Dynamic
Run the Writer effect and return the final output, discarding the final value (via Effectful.Writer.Static.Shared).
runWriterLocal :: forall w (es :: [(Type -> Type) -> Type -> Type]) a . (HasCallStack, Monoid w) => Eff (Writer w ': es) a -> Eff es (a, w)
effectful-core Effectful.Writer.Dynamic
Run the Writer effect and return the final value along with the final output (via Effectful.Writer.Static.Local).
runWriterShared :: forall w (es :: [(Type -> Type) -> Type -> Type]) a . (HasCallStack, Monoid w) => Eff (Writer w ': es) a -> Eff es (a, w)
effectful-core Effectful.Writer.Dynamic
Run the Writer effect and return the final value along with the final output (via Effectful.Writer.Static.Shared).
execWriter :: forall w (es :: [(Type -> Type) -> Type -> Type]) a . (HasCallStack, Monoid w) => Eff (Writer w ': es) a -> Eff es w
effectful-core Effectful.Writer.Static.Local Effectful.Writer.Static.Shared
Run a Writer effect and return the final output, discarding the final value.
runWriter :: forall w (es :: [(Type -> Type) -> Type -> Type]) a . (HasCallStack, Monoid w) => Eff (Writer w ': es) a -> Eff es (a, w)
effectful-core Effectful.Writer.Static.Local Effectful.Writer.Static.Shared
Run a Writer effect and return the final value along with the final output.