cyclops.control

Class Unrestricted<T>

java.lang.Object

cyclops.control.Unrestricted<T>

Type Parameters:

F - Transformable type

T - Data type of Transformable

public abstract class Unrestricted<T>
extends java.lang.Object

Java friendly version of Free (as in Unrestricted) monad for cyclops2 also see Free for a more advanced type safe version 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 recover : 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 class	Unrestricted.Comprehensions Created by johnmcclean on 11/05/2017.

Constructor Summary

Constructors

Constructor and Description
Unrestricted()

Method Summary

Modifier and Type	Method and Description
static <T> Unrestricted<T>	done(T t)
abstract <R> Unrestricted<R>	flatMap(java.util.function.Function<? super T,? extends Unrestricted<? extends R>> f)
<R1> Unrestricted<R1>	forEach2(java.util.function.Function<? super T,Unrestricted<R1>> value2) Perform a For Comprehension over a Unrestricted, accepting a generating function.
<T2,R1,R2> Unrestricted<R2>	forEach3(java.util.function.Function<? super T,? extends Unrestricted<R1>> value2, java.util.function.BiFunction<? super T,? super R1,? extends Unrestricted<R2>> value3) Perform a For Comprehension over a Unrestricted, accepting 2 generating function.
<T2,T3,R1,R2,R3> Unrestricted<R3>	forEach4(java.util.function.Function<? super T,? extends Unrestricted<R1>> value2, java.util.function.BiFunction<? super T,? super R1,? extends Unrestricted<R2>> value3, Fn3<? super T,? super R1,? super R2,? extends Unrestricted<R3>> value4) Perform a For Comprehension over a Unrestricted, accepting 3 generating function.
T	go(java.util.function.Function<? super Transformable<Unrestricted<T>>,? extends Unrestricted<T>> fn)
static <T> Unrestricted<T>	liftF(Transformable<T> functor)
<R> Unrestricted<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(Unrestricted<R1> free1, java.util.function.Function<Transformable<Unrestricted<R1>>,X1> decoder1, Unrestricted<R2> free2, java.util.function.Function<Transformable<Unrestricted<R2>>,X2> decoder2)
Xor<Transformable<Unrestricted<T>>,T>	resume()
<R> Xor<R,T>	resume(java.util.function.Function<Transformable<Unrestricted<T>>,R> decoder)
static <B> Unrestricted<B>	suspend(Transformable<Unrestricted<B>> b)
abstract <R> R	visit(java.util.function.Function<? super cyclops.control.Unrestricted.Pure<T>,? extends R> done, java.util.function.Function<? super cyclops.control.Unrestricted.Suspend<T>,? extends R> suspend, java.util.function.Function<? super cyclops.control.Unrestricted.FlatMapped<?,T>,? extends R> flatMapped)
<B> Unrestricted<org.jooq.lambda.tuple.Tuple2<T,B>>	zip(Unrestricted<B> b)
<B,R> Unrestricted<R>	zip(Unrestricted<B> b, java.util.function.BiFunction<? super T,? super B,? extends R> zipper)
<B,C> Unrestricted<org.jooq.lambda.tuple.Tuple3<T,B,C>>	zip(Unrestricted<B> b, Unrestricted<C> c)
<B,C,R> Unrestricted<R>	zip(Unrestricted<B> b, Unrestricted<C> c, Fn3<? super T,? super B,? super C,? extends R> fn)

Methods inherited from class java.lang.Object

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

Constructor Detail

Unrestricted

public Unrestricted()

Method Detail

forEach4

public <T2,T3,R1,R2,R3> Unrestricted<R3> forEach4(java.util.function.Function<? super T,? extends Unrestricted<R1>> value2,
                                                  java.util.function.BiFunction<? super T,? super R1,? extends Unrestricted<R2>> value3,
                                                  Fn3<? super T,? super R1,? super R2,? extends Unrestricted<R3>> value4)

Perform a For Comprehension over a Unrestricted, accepting 3 generating function. This results in a four level nested internal iteration over the provided Computationss.

Parameters:

value1 - top level Unrestricted

value2 - Nested Unrestricted

value3 - Nested Unrestricted

value4 - Nested Unrestricted

Returns:

Resulting Unrestricted

forEach3

public <T2,R1,R2> Unrestricted<R2> forEach3(java.util.function.Function<? super T,? extends Unrestricted<R1>> value2,
                                            java.util.function.BiFunction<? super T,? super R1,? extends Unrestricted<R2>> value3)

Perform a For Comprehension over a Unrestricted, accepting 2 generating function. This results in a three level nested internal iteration over the provided Computationss.

Parameters:

value1 - top level Unrestricted

value2 - Nested Unrestricted

value3 - Nested Unrestricted

Returns:

Resulting Unrestricted

forEach2

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

Perform a For Comprehension over a Unrestricted, accepting a generating function. This results in a two level nested internal iteration over the provided Computationss.

Parameters:

value1 - top level Unrestricted

value2 - Nested Unrestricted

Returns:

Resulting Unrestricted

liftF

public static <T> Unrestricted<T> liftF(Transformable<T> functor)

done

public static <T> Unrestricted<T> done(T t)

suspend

public static <B> Unrestricted<B> suspend(Transformable<Unrestricted<B>> b)

go

public final T go(java.util.function.Function<? super Transformable<Unrestricted<T>>,? extends Unrestricted<T>> fn)

visit

public abstract <R> R visit(java.util.function.Function<? super cyclops.control.Unrestricted.Pure<T>,? extends R> done,
                            java.util.function.Function<? super cyclops.control.Unrestricted.Suspend<T>,? extends R> suspend,
                            java.util.function.Function<? super cyclops.control.Unrestricted.FlatMapped<?,T>,? extends R> flatMapped)

flatMap

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

resume

public final <R> Xor<R,T> resume(java.util.function.Function<Transformable<Unrestricted<T>>,R> decoder)

zip

public <B> Unrestricted<org.jooq.lambda.tuple.Tuple2<T,B>> zip(Unrestricted<B> b)

zip

public <B,R> Unrestricted<R> zip(Unrestricted<B> b,
                                 java.util.function.BiFunction<? super T,? super B,? extends R> zipper)

zip

public <B,C> Unrestricted<org.jooq.lambda.tuple.Tuple3<T,B,C>> zip(Unrestricted<B> b,
                                                                   Unrestricted<C> c)

zip

public <B,C,R> Unrestricted<R> zip(Unrestricted<B> b,
                                   Unrestricted<C> c,
                                   Fn3<? super T,? super B,? super C,? extends R> fn)

product

public static final <F,R1,R2,X1,X2> org.jooq.lambda.tuple.Tuple2<Xor<X1,R1>,Xor<X2,R2>> product(Unrestricted<R1> free1,
                                                                                                java.util.function.Function<Transformable<Unrestricted<R1>>,X1> decoder1,
                                                                                                Unrestricted<R2> free2,
                                                                                                java.util.function.Function<Transformable<Unrestricted<R2>>,X2> decoder2)

resume

public final Xor<Transformable<Unrestricted<T>>,T> resume()

map

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