arrow-mtl / arrow.mtl.extensions / WriterTMonadTrans

WriterTMonadTrans

@extension interface WriterTMonadTrans<W> : MonadTrans<Kind<ForWriterT, W>>

Functions

liftT open fun <G, A> Kind<G, A>.liftT(MF: Monad<G>): Kind2<Kind<ForWriterT, W>, G, A>
MW abstract fun MW(): Monoid<W>

Do you like Arrow?

Arrow Org
<