cyclops.free

Class Free<F,T>

java.lang.Object

cyclops.free.Free<F,T>

Type Parameters:

F - Transformable type

T - Data type of Transformable

All Implemented Interfaces:

Printable

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

Free monad for cyclops2 Inspiration and influences by https://github.com/xuwei-k/free-monad-java/blob/master/src/main/java/free/Free.java and 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

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)
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.free.Free.Pure<F,T>,? extends R> done, java.util.function.Function<? super cyclops.free.Free.Suspend<F,T>,? extends R> suspend, java.util.function.Function<? super cyclops.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

Methods inherited from interface com.aol.cyclops2.types.mixins.Printable

print

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.free.Free.Pure<F,T>,? extends R> done,
                            java.util.function.Function<? super cyclops.free.Free.Suspend<F,T>,? extends R> suspend,
                            java.util.function.Function<? super cyclops.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)

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)