arrow-mtl / arrow.mtl.extensions / WriterTMonadWriter

WriterTMonadWriter

@extension interface WriterTMonadWriter<F, W> : MonadWriter<WriterTPartialOf<F, W>, W>, WriterTMonad<F, W>

Functions

listen open fun <A> Kind<WriterTPartialOf<F, W>, A>.listen(): Kind<WriterTPartialOf<F, W>, Tuple2<W, A>>
MF abstract fun MF(): Monad<F>
MM abstract fun MM(): Monoid<W>
pass open fun <A> Kind<WriterTPartialOf<F, W>, Tuple2<(W) -> W, A>>.pass(): WriterT<F, W, A>
tell open fun tell(w: W): Kind<WriterTPartialOf<F, W>, Unit>
writer open fun <A> writer(aw: Tuple2<W, A>): WriterT<F, W, A>

Do you like Arrow?

Arrow Org
<