arrow-mtl / arrow.mtl.extensions / EitherTAlternative

EitherTAlternative

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

Functions

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