arrow-mtl / arrow.mtl.extensions / WriterTApplicativeError

WriterTApplicativeError

@extension interface WriterTApplicativeError<F, W, E> : ApplicativeError<WriterTPartialOf<F, W>, E>, WriterTApplicative<F, W>

Functions

AE abstract fun AE(): ApplicativeError<F, E>
AF open fun AF(): Applicative<F>
handleErrorWith open fun <A> WriterTOf<F, W, A>.handleErrorWith(f: (E) -> WriterTOf<F, W, A>): WriterT<F, W, A>
MM abstract fun MM(): Monoid<W>
raiseError open fun <A> raiseError(e: E): WriterT<F, W, A>

Inheritors

WriterTMonadError interface WriterTMonadError<F, W, E> : MonadError<WriterTPartialOf<F, W>, E>, WriterTApplicativeError<F, W, E>, WriterTMonad<F, W>

Do you like Arrow?

Arrow Org
<