arrow-mtl / arrow.mtl.extensions / WriterTMonadError

WriterTMonadError

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

Functions

AE open fun AE(): ApplicativeError<F, E>
AF open fun AF(): Applicative<F>
ME abstract fun ME(): MonadError<F, E>
MF open fun MF(): Monad<F>
MM abstract fun MM(): Monoid<W>

Inheritors

WriterTMonadThrow interface WriterTMonadThrow<F, W> : MonadThrow<WriterTPartialOf<F, W>>, WriterTMonadError<F, W, Throwable>