Modulefused-effects-1.1.2.7Haskell2010

Control.Carrier.Accum.Strict

A carrier for Accum effects. This carrier performs its append operations strictly and thus avoids the space leaks inherent in lazy writer monads. These appends are left-associative; as such, [] is a poor choice of monoid for computations that entail many calls to tell. The Seq or DList monoids may be a superior choice.

1 type
3 values

Packagefused-effects-1.1.2.7
Exports4
LanguageHaskell2010
LicenceBSD-3-Clause
SourceStrict.hs

Accum carrier

4 declarations

valuerunAccum :: w -> AccumC w m a -> m (w, a)

Run an Accum effect with a Monoidal log, applying a continuation to the final log and result.

runAccum w0 (pure a) = pure (w0, a)

runAccum w0 (add w) = pure (w0 <> w, ())

runAccum w0 (add w >> look) = pure (w0 <> w, w0 <> w)

valueexecAccum :: Functor m => w -> AccumC w m a -> m w

Run a Accum effect (typically with a Monoidal log), producing the final log and discarding the result value.

execAccum w = fmap fst . runAccum w

valueevalAccum :: Functor m => w -> AccumC w m a -> m a

Run a Accum effect (typically with a Monoidal log), producing the result value and discarding the final log.

evalAccum w = fmap snd . runAccum w

newtypenewtype AccumC w (m :: Type -> Type) a

Constructors

AccumC
- runAccumC :: w -> m (w, a)

Instances10MonadTrans, Monad, Functor, MonadFix, MonadFail, Applicative, …

Monoid w => MonadTrans (AccumC w)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
(Monad m, Monoid w) => Monad (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
Functor m => Functor (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
(MonadFix m, Monoid w) => MonadFix (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
(MonadFail m, Monoid w) => MonadFail (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
(Monad m, Monoid w) => Applicative (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
(Alternative m, Monad m, Monoid w) => Alternative (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
(MonadPlus m, Monoid w) => MonadPlus (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
(MonadIO m, Monoid w) => MonadIO (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict
(Algebra sig m, Monoid w) => Algebra (Accum w :+: sig) (AccumC w m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Accum.Strict

Accum effect

0 declarations

module Control.Effect.Accum