arrow-mtl / arrow.mtl.extensions / KleisliApplicative

KleisliApplicative

@extension interface KleisliApplicative<D, F> : Applicative<KleisliPartialOf<D, F>>, KleisliApply<D, F>

Functions

AF abstract fun AF(): Applicative<F>
FF open fun FF(): Functor<F>
just open fun <A> just(a: A): Kleisli<D, F, A>
map open fun <A, B> KleisliOf<D, F, A>.map(f: (A) -> B): Kleisli<D, F, B>

Inheritors

KleisliAlternative interface KleisliAlternative<D, F> : Alternative<KleisliPartialOf<D, F>>, KleisliApplicative<D, F>
KleisliApplicativeError interface KleisliApplicativeError<D, F, E> : ApplicativeError<KleisliPartialOf<D, F>, E>, KleisliApplicative<D, F>
KleisliMonad interface KleisliMonad<D, F> : Monad<KleisliPartialOf<D, F>>, KleisliApplicative<D, F>

Do you like Arrow?

Arrow Org
<