Uses of Interface
com.jnape.palatable.lambda.functions.specialized.Kleisli
-
Packages that use Kleisli Package Description com.jnape.palatable.lambda.functions.builtin.fn2 com.jnape.palatable.lambda.functions.specialized -
-
Uses of Kleisli in com.jnape.palatable.lambda.functions.builtin.fn2
Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return Kleisli Modifier and Type Method Description static <A,B>
Kleisli<? super A,? extends B,Lazy<?>,Lazy<B>>LazyRec. lazyRec(Fn2<Kleisli<? super A,? extends B,Lazy<?>,Lazy<B>>,A,Lazy<B>> fn)Method parameters in com.jnape.palatable.lambda.functions.builtin.fn2 with type arguments of type Kleisli Modifier and Type Method Description Lazy<B>LazyRec. checkedApply(Fn2<Kleisli<? super A,? extends B,Lazy<?>,Lazy<B>>,A,Lazy<B>> fn, A a)static <A,B>
Kleisli<? super A,? extends B,Lazy<?>,Lazy<B>>LazyRec. lazyRec(Fn2<Kleisli<? super A,? extends B,Lazy<?>,Lazy<B>>,A,Lazy<B>> fn)static <A,B>
Lazy<B>LazyRec. lazyRec(Fn2<Kleisli<? super A,? extends B,Lazy<?>,Lazy<B>>,A,Lazy<B>> fn, A a) -
Uses of Kleisli in com.jnape.palatable.lambda.functions.specialized
Methods in com.jnape.palatable.lambda.functions.specialized that return Kleisli Modifier and Type Method Description default <C,MC extends Monad<C,M>>
Kleisli<A,C,M,MC>Kleisli. andThen(Kleisli<B,C,M,MC> after)default <Z,MA extends Monad<A,M>>
Kleisli<Z,B,M,MB>Kleisli. compose(Kleisli<Z,A,M,MA> before)default <Z> Kleisli<Z,B,M,MB>Kleisli. contraMap(Fn1<? super Z,? extends A> fn)Contravariantly mapA <- B.default <Z> Kleisli<Z,B,M,MB>Kleisli. diMapL(Fn1<? super Z,? extends A> fn)Contravariantly map over the argument to this function, producing a function that takes the new argument type, and produces the same result.default <C> Kleisli<A,B,M,MB>Kleisli. discardR(Applicative<C,Fn1<A,?>> appB)Sequence both thisApplicativeandappB, discardingappB'sresult and returning thisApplicative.static <A,B,M extends Monad<?,M>,MB extends Monad<B,M>>
Kleisli<A,B,M,MB>Kleisli. kleisli(Fn1<? super A,? extends MB> fn)Adapt a compatible function into aKleisliarrow.Methods in com.jnape.palatable.lambda.functions.specialized with parameters of type Kleisli Modifier and Type Method Description default <C,MC extends Monad<C,M>>
Kleisli<A,C,M,MC>Kleisli. andThen(Kleisli<B,C,M,MC> after)default <Z,MA extends Monad<A,M>>
Kleisli<Z,B,M,MB>Kleisli. compose(Kleisli<Z,A,M,MA> before)
-