F
- Transformable typeT
- Data type of Transformablepublic abstract class Free<F,T> extends java.lang.Object implements Higher2<Witness.free,F,T>
Modifier and Type | Class and Description |
---|---|
static interface |
Free.Comprehensions
Static for comprehensions for working with Free
|
Constructor and Description |
---|
Free() |
Modifier and Type | Method and Description |
---|---|
static <F,T> Free<F,T> |
done(T t) |
abstract <R> Free<F,R> |
flatMap(java.util.function.Function<? super T,? extends Free<F,? extends R>> f) |
<R1> Free<F,R1> |
forEach2(java.util.function.Function<? super T,Free<F,R1>> value2) |
<R1,R2> Free<F,R2> |
forEach3(java.util.function.Function<? super T,? extends Free<F,R1>> value2,
java.util.function.BiFunction<? super T,? super R1,? extends Free<F,R2>> value3) |
<R1,R2,R3> Free<F,R3> |
forEach4(java.util.function.Function<? super T,? extends Free<F,R1>> value2,
java.util.function.BiFunction<? super T,? super R1,? extends Free<F,R2>> value3,
Fn3<? super T,? super R1,? super R2,? extends Free<F,R3>> value4) |
<R1,R2,R3,R4> |
forEach5(java.util.function.Function<? super T,? extends Free<F,R1>> value2,
java.util.function.BiFunction<? super T,? super R1,? extends Free<F,R2>> value3,
Fn3<? super T,? super R1,? super R2,? extends Free<F,R3>> value4,
Fn4<? super T,? super R1,? super R2,? super R3,? extends Free<F,R4>> value5) |
<R1,R2,R3,R4,R5> |
forEach6(java.util.function.Function<? super T,? extends Free<F,R1>> value2,
java.util.function.BiFunction<? super T,? super R1,? extends Free<F,R2>> value3,
Fn3<? super T,? super R1,? super R2,? extends Free<F,R3>> value4,
Fn4<? super T,? super R1,? super R2,? super R3,? extends Free<F,R4>> value5,
Fn5<? super T,? super R1,? super R2,? super R3,? super R4,? extends Free<F,R5>> value6) |
T |
go(java.util.function.Function<? super Higher<F,Free<F,T>>,? extends Free<F,T>> fn,
Functor<F> functor) |
static <F,T> Free<F,T> |
liftF(Higher<F,T> value,
Functor<F> functor) |
<R> Free<F,R> |
map(java.util.function.Function<? super T,? extends R> mapper) |
static <F,T> Free<F,T> |
narrowK(Higher<Higher<Witness.free,F>,T> ds) |
static <F,R1,R2,X1,X2> |
product(Functor<F> functor,
Free<F,R1> free1,
java.util.function.Function<Higher<F,Free<F,R1>>,X1> decoder1,
Free<F,R2> free2,
java.util.function.Function<Higher<F,Free<F,R2>>,X2> decoder2) |
Xor<Higher<F,Free<F,T>>,T> |
resume(Functor<F> functor) |
<R> Xor<R,T> |
resume(Functor<F> functor,
java.util.function.Function<Higher<F,Free<F,T>>,R> decoder) |
static <F,B> Free<F,B> |
suspend(Higher<F,Free<F,B>> b) |
abstract <R> R |
visit(java.util.function.Function<? super cyclops.typeclasses.free.Free.Pure<F,T>,? extends R> done,
java.util.function.Function<? super cyclops.typeclasses.free.Free.Suspend<F,T>,? extends R> suspend,
java.util.function.Function<? super cyclops.typeclasses.free.Free.FlatMapped<F,?,T>,? extends R> flatMapped) |
<B> Free<F,org.jooq.lambda.tuple.Tuple2<T,B>> |
zip(Functor<F> f,
Free<F,B> b) |
<B,R> Free<F,R> |
zip(Functor<F> f,
Free<F,B> b,
java.util.function.BiFunction<? super T,? super B,? extends R> zipper) |
<B,C> Free<F,org.jooq.lambda.tuple.Tuple3<T,B,C>> |
zip(Functor<F> f,
Free<F,B> b,
Free<F,C> c) |
<B,C,R> Free<F,R> |
zip(Functor<F> f,
Free<F,B> b,
Free<F,C> c,
Fn3<? super T,? super B,? super C,? extends R> fn) |
public <R1,R2,R3,R4,R5> Free<F,R5> forEach6(java.util.function.Function<? super T,? extends Free<F,R1>> value2, java.util.function.BiFunction<? super T,? super R1,? extends Free<F,R2>> value3, Fn3<? super T,? super R1,? super R2,? extends Free<F,R3>> value4, Fn4<? super T,? super R1,? super R2,? super R3,? extends Free<F,R4>> value5, Fn5<? super T,? super R1,? super R2,? super R3,? super R4,? extends Free<F,R5>> value6)
public <R1,R2,R3,R4> Free<F,R4> forEach5(java.util.function.Function<? super T,? extends Free<F,R1>> value2, java.util.function.BiFunction<? super T,? super R1,? extends Free<F,R2>> value3, Fn3<? super T,? super R1,? super R2,? extends Free<F,R3>> value4, Fn4<? super T,? super R1,? super R2,? super R3,? extends Free<F,R4>> value5)
public <R1,R2,R3> Free<F,R3> forEach4(java.util.function.Function<? super T,? extends Free<F,R1>> value2, java.util.function.BiFunction<? super T,? super R1,? extends Free<F,R2>> value3, Fn3<? super T,? super R1,? super R2,? extends Free<F,R3>> value4)
public final <R1,R2> Free<F,R2> forEach3(java.util.function.Function<? super T,? extends Free<F,R1>> value2, java.util.function.BiFunction<? super T,? super R1,? extends Free<F,R2>> value3)
public final <R1> Free<F,R1> forEach2(java.util.function.Function<? super T,Free<F,R1>> value2)
public static <F,T> Free<F,T> done(T t)
public final T go(java.util.function.Function<? super Higher<F,Free<F,T>>,? extends Free<F,T>> fn, Functor<F> functor)
public abstract <R> R visit(java.util.function.Function<? super cyclops.typeclasses.free.Free.Pure<F,T>,? extends R> done, java.util.function.Function<? super cyclops.typeclasses.free.Free.Suspend<F,T>,? extends R> suspend, java.util.function.Function<? super cyclops.typeclasses.free.Free.FlatMapped<F,?,T>,? extends R> flatMapped)
public abstract <R> Free<F,R> flatMap(java.util.function.Function<? super T,? extends Free<F,? extends R>> f)
public final <R> Xor<R,T> resume(Functor<F> functor, java.util.function.Function<Higher<F,Free<F,T>>,R> decoder)
public <B,R> Free<F,R> zip(Functor<F> f, Free<F,B> b, java.util.function.BiFunction<? super T,? super B,? extends R> zipper)
public <B,C> Free<F,org.jooq.lambda.tuple.Tuple3<T,B,C>> zip(Functor<F> f, Free<F,B> b, Free<F,C> c)
public <B,C,R> Free<F,R> zip(Functor<F> f, Free<F,B> b, Free<F,C> c, Fn3<? super T,? super B,? super C,? extends R> fn)
public static final <F,R1,R2,X1,X2> org.jooq.lambda.tuple.Tuple2<Xor<X1,R1>,Xor<X2,R2>> product(Functor<F> functor, Free<F,R1> free1, java.util.function.Function<Higher<F,Free<F,R1>>,X1> decoder1, Free<F,R2> free2, java.util.function.Function<Higher<F,Free<F,R2>>,X2> decoder2)
public static <F,T> Free<F,T> narrowK(Higher<Higher<Witness.free,F>,T> ds)