arrow-mtl / arrow.mtl.extensions / WriterTFunctor

WriterTFunctor

@extension interface WriterTFunctor<F, W> : Functor<WriterTPartialOf<F, W>>

Functions

FF abstract fun FF(): Functor<F>
map open fun <A, B> WriterTOf<F, W, A>.map(f: (A) -> B): WriterT<F, W, B>

Inheritors

WriterTApplicative interface WriterTApplicative<F, W> : Applicative<WriterTPartialOf<F, W>>, WriterTFunctor<F, W>