Modulefused-effects-1.1.2.7Haskell2010

Control.Carrier.Accum.Church

A high-performance, strict, church-encoded carrier for Accum.

This carrier issues left-associated mappends, meaning that Monoids such as [] with poor performance for left-associated mappends are ill-suited for use with this carrier. Alternatives such as Endo, Seq, or DList may be preferred.

1 type
3 values

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

Accum carrier

4 declarations

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

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

runAccum k w0 (pure a) = k w0 a

runAccum k w0 (add w) = k (w0 <> w) ()

runAccum k w0 (add w >> look) = k (w0 <> w) (w0 <> w)

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

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

execAccum = runAccum (const . pure)

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

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

evalAccum = runAccum (const . pure)

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

Constructors

AccumC
- runAccumC :: forall r. (w -> a -> m r) -> w -> m r

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

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

Accum effect

0 declarations

module Control.Effect.Accum