arrow-mtl / arrow.mtl.extensions / AccumTMonadWriter

AccumTMonadWriter

@extension interface AccumTMonadWriter<S, W, F> : MonadWriter<AccumTPartialOf<W, F>, S>, AccumTMonad<W, F>

Functions

listen open fun <A> Kind<AccumTPartialOf<W, F>, A>.listen(): Kind<AccumTPartialOf<W, F>, Tuple2<S, A>>
MF open fun MF(): Monad<F>
MS abstract fun MS(): Monoid<W>
MW abstract fun MW(): MonadWriter<F, S>
pass open fun <A> Kind<AccumTPartialOf<W, F>, Tuple2<(S) -> S, A>>.pass(): Kind<AccumTPartialOf<W, F>, A>
writer open fun <A> writer(aw: Tuple2<S, A>): Kind<AccumTPartialOf<W, F>, A>

Do you like Arrow?

Arrow Org
<