arrow-mtl / arrow.mtl.extensions / WriterTApplicative

WriterTApplicative

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

Functions

AF abstract fun AF(): Applicative<F>
ap open fun <A, B> WriterTOf<F, W, A>.ap(ff: WriterTOf<F, W, (A) -> B>): WriterT<F, W, B>
FF open fun FF(): Functor<F>
just open fun <A> just(a: A): WriterTOf<F, W, A>
map open fun <A, B> WriterTOf<F, W, A>.map(f: (A) -> B): WriterT<F, W, B>
MM abstract fun MM(): Monoid<W>

Inheritors

WriterTAlternative interface WriterTAlternative<F, W> : Alternative<WriterTPartialOf<F, W>>, WriterTApplicative<F, W>, WriterTMonoidK<F, W>
WriterTApplicativeError interface WriterTApplicativeError<F, W, E> : ApplicativeError<WriterTPartialOf<F, W>, E>, WriterTApplicative<F, W>
WriterTMonad interface WriterTMonad<F, W> : Monad<WriterTPartialOf<F, W>>, WriterTApplicative<F, W>