cyclops.typeclasses.free

Class Free<F,T>

java.lang.Object

cyclops.typeclasses.free.Free<F,T>

Type Parameters:

F - Transformable type

T - Data type of Transformable

public abstract class Free<F,T>
extends java.lang.Object

Free monad for cyclops2 Inspiration and heavily influenced by https://github.com/xuwei-k/free-monad-java/blob/master/src/main/java/free/Free.java Other influences incl :- http://www.slideshare.net/kenbot/running-free-with-the-monads and https://github.com/scalaz/scalaz/blob/series/7.2.x/core/src/main/scala/scalaz/Free.scala and https://github.com/typelevel/cats/blob/master/free/src/main/scala/cats/free/Free.scala Org attempt : https://github.com/aol/cyclops/blob/v4.0.1/cyclops-free-monad/src/main/java/com/aol/cyclops/monad/Free.java

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	Free.Comprehensions Static for comprehensions for working with Free

Constructor Summary

Constructors

Constructor and Description
Free()

Method Summary

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> 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)
<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)
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,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)
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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Free

public Free()

Method Detail

forEach6

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)

forEach5

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)

forEach4

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)

forEach3

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)

forEach2

public final <R1> Free<F,R1> forEach2(java.util.function.Function<? super T,Free<F,R1>> value2)

liftF

public static <F,T> Free<F,T> liftF(Higher<F,T> value,
                                    Functor<F> functor)

done

public static <F,T> Free<F,T> done(T t)

suspend

public static <F,B> Free<F,B> suspend(Higher<F,Free<F,B>> b)

go

public final T go(java.util.function.Function<? super Higher<F,Free<F,T>>,? extends Free<F,T>> fn,
                  Functor<F> functor)

visit

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)

flatMap

public abstract <R> Free<F,R> flatMap(java.util.function.Function<? super T,? extends Free<F,? extends R>> f)

resume

public final <R> Xor<R,T> resume(Functor<F> functor,
                                 java.util.function.Function<Higher<F,Free<F,T>>,R> decoder)

product

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)

resume

public final Xor<Higher<F,Free<F,T>>,T> resume(Functor<F> functor)

map

public final <R> Free<F,R> map(java.util.function.Function<? super T,? extends R> mapper)