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.

Contents

Accum carrier
Accum effect

Synopsis

value runAccum
value execAccum
value evalAccum
newtype AccumC

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

Accum carrier

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

Source#

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

Source#

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

Source#

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

Source#

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

module Control.Effect.Accum