arrow-mtl / arrow.mtl.extensions / KleisliFunctor

KleisliFunctor

@extension interface KleisliFunctor<F, D> : Functor<KleisliPartialOf<F, D>>

Functions

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

Inheritors

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