public interface Applicative<CRE> extends Functor<CRE>, Pure<CRE>
Modifier and Type | Method and Description |
---|---|
<T,R> Higher<CRE,R> |
ap(Higher<CRE,? extends java.util.function.Function<T,R>> fn,
Higher<CRE,T> apply) |
default <T,T2,R> Higher<CRE,R> |
ap2(Higher<CRE,? extends java.util.function.Function<T,? extends java.util.function.Function<T2,R>>> fn,
Higher<CRE,T> apply,
Higher<CRE,T2> apply2) |
default <T,T2,T3,R> |
ap3(Higher<CRE,? extends java.util.function.Function<T,? extends java.util.function.Function<T2,? extends java.util.function.Function<T3,R>>>> fn,
Higher<CRE,T> apply,
Higher<CRE,T2> apply2,
Higher<CRE,T3> apply3) |
default <T,T2,R> Higher<CRE,R> |
apBiFn(Higher<CRE,? extends java.util.function.BiFunction<T,T2,R>> fn,
Higher<CRE,T> apply,
Higher<CRE,T2> apply2)
The default implementation of apBiFn is less efficient than ap2 (extra map operation)
|
static <T1,T2,R> java.util.function.Function<T1,java.util.function.Function<T2,R>> |
curry2(java.util.function.BiFunction<T1,T2,R> biFunc) |
default <T1,T2,R> Eval<Higher<CRE,R>> |
lazyZip(Higher<CRE,T1> f1,
Eval<Higher<CRE,T2>> lazy,
java.util.function.BiFunction<? super T1,? super T2,? extends R> fn) |
static <CRE,T,R> Higher<CRE,java.util.function.Function<T,R>> |
narrow(Higher<CRE,? extends java.util.function.Function<? super T,? extends R>> broad)
Narrow the co/contra variance on Function stored within a HKT encoded type
|
static <CRE,T,T2,R> |
narrow2(Higher<CRE,? extends java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends R>>> broad)
Narrow the co/contra variance on Function stored within a HKT encoded type
|
static <CRE,T,T2,T3,R> |
narrow3(Higher<CRE,? extends java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends java.util.function.Function<? super T3,? extends R>>>> broad)
Narrow the co/contra variance on Function stored within a HKT encoded type
|
static <CRE,T,T2,R> |
narrowBiFn(Higher<CRE,? extends java.util.function.BiFunction<? super T,? super T2,? extends R>> fn,
Higher<CRE,T> apply,
Higher<CRE,T2> broad)
Narrow the co/contra variance on BiFunction stored within a HKT encoded type
|
default <T,R> Higher<CRE,org.jooq.lambda.tuple.Tuple2<T,R>> |
zip(Higher<CRE,T> fa,
Higher<CRE,R> fb) |
default <T1,T2,R> Higher<CRE,R> |
zip(Higher<CRE,T1> fa,
Higher<CRE,T2> fb,
java.util.function.BiFunction<? super T1,? super T2,? extends R> f) |
default <T,R> Higher<CRE,org.jooq.lambda.tuple.Tuple2<T,R>> zip(Higher<CRE,T> fa, Higher<CRE,R> fb)
default <T1,T2,R> Higher<CRE,R> zip(Higher<CRE,T1> fa, Higher<CRE,T2> fb, java.util.function.BiFunction<? super T1,? super T2,? extends R> f)
default <T1,T2,R> Eval<Higher<CRE,R>> lazyZip(Higher<CRE,T1> f1, Eval<Higher<CRE,T2>> lazy, java.util.function.BiFunction<? super T1,? super T2,? extends R> fn)
static <CRE,T,R> Higher<CRE,java.util.function.Function<T,R>> narrow(Higher<CRE,? extends java.util.function.Function<? super T,? extends R>> broad)
broad
- HKT encoded type with function to narrow variance onstatic <CRE,T,T2,R> Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,R>>> narrow2(Higher<CRE,? extends java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends R>>> broad)
broad
- HKT encoded type with function to narrow variance onstatic <CRE,T,T2,T3,R> Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,java.util.function.Function<T3,R>>>> narrow3(Higher<CRE,? extends java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends java.util.function.Function<? super T3,? extends R>>>> broad)
broad
- HKT encoded type with function to narrow variance onstatic <CRE,T,T2,R> Higher<CRE,java.util.function.BiFunction<T,T2,R>> narrowBiFn(Higher<CRE,? extends java.util.function.BiFunction<? super T,? super T2,? extends R>> fn, Higher<CRE,T> apply, Higher<CRE,T2> broad)
broad
- HKT encoded type with function to narrow variance on<T,R> Higher<CRE,R> ap(Higher<CRE,? extends java.util.function.Function<T,R>> fn, Higher<CRE,T> apply)
default <T,T2,R> Higher<CRE,R> apBiFn(Higher<CRE,? extends java.util.function.BiFunction<T,T2,R>> fn, Higher<CRE,T> apply, Higher<CRE,T2> apply2)
fn
- apply
- apply2
- default <T,T2,R> Higher<CRE,R> ap2(Higher<CRE,? extends java.util.function.Function<T,? extends java.util.function.Function<T2,R>>> fn, Higher<CRE,T> apply, Higher<CRE,T2> apply2)
default <T,T2,T3,R> Higher<CRE,R> ap3(Higher<CRE,? extends java.util.function.Function<T,? extends java.util.function.Function<T2,? extends java.util.function.Function<T3,R>>>> fn, Higher<CRE,T> apply, Higher<CRE,T2> apply2, Higher<CRE,T3> apply3)
static <T1,T2,R> java.util.function.Function<T1,java.util.function.Function<T2,R>> curry2(java.util.function.BiFunction<T1,T2,R> biFunc)