arrow-mtl / arrow.mtl.extensions / EitherTAlternative

EitherTAlternative

@extension interface EitherTAlternative<L, F> : Alternative<EitherTPartialOf<L, F>>, EitherTApplicative<L, F>

Functions

empty open fun <A> empty(): Kind<EitherTPartialOf<L, F>, A>
ME abstract fun ME(): Monoid<L>
MF abstract fun MF(): Monad<F>
orElse open fun <A> Kind<EitherTPartialOf<L, F>, A>.orElse(b: Kind<EitherTPartialOf<L, F>, A>): Kind<EitherTPartialOf<L, F>, A>

Do you like Arrow?

Arrow Org
<