arrow-mtl / arrow.mtl.extensions / KleisliApply

KleisliApply

@extension interface KleisliApply<F, D> : Apply<KleisliPartialOf<F, D>>, KleisliFunctor<F, D>

Functions

AF abstract fun AF(): Applicative<F>
ap open fun <A, B> KleisliOf<F, D, A>.ap(ff: KleisliOf<F, D, (A) -> B>): Kleisli<F, D, B>
FF open fun FF(): Functor<F>
lazyAp open fun <A, B> Kind<KleisliPartialOf<F, D>, A>.lazyAp(ff: () -> Kind<KleisliPartialOf<F, D>, (A) -> B>): Kind<KleisliPartialOf<F, D>, B>
map open fun <A, B> KleisliOf<F, D, A>.map(f: (A) -> B): Kleisli<F, D, B>
product open fun <A, B> KleisliOf<F, D, A>.product(fb: KleisliOf<F, D, B>): Kleisli<F, D, Tuple2<A, B>>

Inheritors

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

Do you like Arrow?

Arrow Org
<