arrow-mtl / arrow.mtl.extensions / OptionTApplicative

OptionTApplicative

@extension interface OptionTApplicative<F> : Applicative<OptionTPartialOf<F>>, OptionTFunctor<F>

Functions

ap open fun <A, B> OptionTOf<F, A>.ap(ff: OptionTOf<F, (A) -> B>): OptionT<F, B>
FF open fun FF(): Functor<F>
just open fun <A> just(a: A): OptionT<F, A>
lazyAp open fun <A, B> Kind<OptionTPartialOf<F>, A>.lazyAp(ff: () -> Kind<OptionTPartialOf<F>, (A) -> B>): Kind<OptionTPartialOf<F>, B>
map open fun <A, B> OptionTOf<F, A>.map(f: (A) -> B): OptionT<F, B>
MF abstract fun MF(): Monad<F>

Inheritors

OptionTAlternative interface OptionTAlternative<F> : Alternative<OptionTPartialOf<F>>, OptionTApplicative<F>
OptionTApplicativeError interface OptionTApplicativeError<F, E> : ApplicativeError<OptionTPartialOf<F>, E>, OptionTApplicative<F>
OptionTMonad interface OptionTMonad<F> : Monad<OptionTPartialOf<F>>, OptionTApplicative<F>

Do you like Arrow?

Arrow Org