arrow-mtl / arrow.mtl.extensions / WriterTAlternative

WriterTAlternative

@extension interface WriterTAlternative<F, W> : Alternative<WriterTPartialOf<F, W>>, WriterTApplicative<F, W>, WriterTMonoidK<F, W>

Functions

AF open fun AF(): Applicative<F>
AL abstract fun AL(): Alternative<F>
combineK open fun <A> Kind<WriterTPartialOf<F, W>, A>.combineK(y: Kind<WriterTPartialOf<F, W>, A>): WriterT<F, W, A>
empty open fun <A> empty(): WriterT<F, W, A>
MF open fun MF(): MonoidK<F>
MM abstract fun MM(): Monoid<W>
orElse open fun <A> Kind<WriterTPartialOf<F, W>, A>.orElse(b: Kind<WriterTPartialOf<F, W>, A>): Kind<WriterTPartialOf<F, W>, A>