arrow-mtl / arrow.mtl.extensions / EitherTApplicative

EitherTApplicative

@extension interface EitherTApplicative<F, L> : Applicative<EitherTPartialOf<F, L>>, EitherTFunctor<F, L>

Functions

AF abstract fun AF(): Applicative<F>
ap open fun <A, B> EitherTOf<F, L, A>.ap(ff: EitherTOf<F, L, (A) -> B>): EitherT<F, L, B>
FF open fun FF(): Functor<F>
just open fun <A> just(a: A): EitherT<F, L, A>
map open fun <A, B> EitherTOf<F, L, A>.map(f: (A) -> B): EitherT<F, L, B>

Inheritors

EitherTAlternative interface EitherTAlternative<F, L> : Alternative<EitherTPartialOf<F, L>>, EitherTApplicative<F, L>
EitherTApplicativeError interface EitherTApplicativeError<F, L> : ApplicativeError<EitherTPartialOf<F, L>, L>, EitherTApplicative<F, L>
EitherTMonad interface EitherTMonad<F, L> : Monad<EitherTPartialOf<F, L>>, EitherTApplicative<F, L>