arrow-mtl / arrow.mtl.extensions / OptionTAlternative

OptionTAlternative

@extension interface OptionTAlternative<F> : Alternative<OptionTPartialOf<F>>, OptionTApplicative<F>

Functions

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