Eval (simple-react 1.0.0-RC4 API)

Type Parameters:

T -

All Superinterfaces:

ApplicativeFunctor<T>, Convertable<T>, ConvertableFunctor<T>, Filterable<T>, Foldable<T>, Functor<T>, java.lang.Iterable<T>, Matchable.MatchableOptional<T>, Matchable.ValueAndOptionalMatcher<T>, MonadicValue<T>, java.util.function.Predicate<T>, org.reactivestreams.Publisher<T>, java.util.function.Supplier<T>, Unit<T>, Value<T>, Visitable<T>

All Known Implementing Classes:

Eval.Module.Always, Eval.Module.Later
```
public interface Eval<T>
extends java.util.function.Supplier<T>, MonadicValue<T>, Functor<T>, Filterable<T>, ApplicativeFunctor<T>, Matchable.ValueAndOptionalMatcher<T>
```
Represents a computation that can be defered (always), cached (later) or immediate(now). Supports tail recursion via map / flatMap. Computations are always Lazy even when performed against a Now instance. Heavily inspired by Cats Eval @link https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Eval.scala Tail Recursion example
```
  
 
 public void odd(){
        System.out.println(even(Eval.now(200000)).get());
    }
    public Eval<String> odd(Eval<Integer> n )  {
       
       return n.flatMap(x->even(Eval.now(x-1)));
    }
    public Eval<String> even(Eval<Integer> n )  {
        return n.flatMap(x->{
            return x<=0 ? Eval.now("done") : odd(Eval.now(x-1));
        });
     }
 
 
```

Nested Class Summary

Nested Classes
Modifier and Type Interface and Description

static class Eval.Module
- Nested classes/interfaces inherited from interface com.aol.cyclops.types.applicative.ApplicativeFunctor
  ApplicativeFunctor.Applicatives, ApplicativeFunctor.ApplyFunctions<T>
- Nested classes/interfaces inherited from interface com.aol.cyclops.types.Value
  Value.ValueImpl<T>
- Nested classes/interfaces inherited from interface com.aol.cyclops.types.Convertable
  Convertable.SupplierToConvertable<T>

Nested Classes
Modifier and Type	Interface and Description
`static class`	`Eval.Module`

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and Description
`static <T,R> Eval<R>`	`accumulate(CollectionX<Eval<T>> maybes, java.util.function.Function<? super T,R> mapper, Semigroup<R> reducer)`
`static <T,R> Eval<R>`	`accumulate(CollectionX<Eval<T>> evals, Reducer<R> reducer)`
`static <T> Eval<T>`	`accumulate(CollectionX<Eval<T>> maybes, Semigroup<T> reducer)`
`static <T> Eval<T>`	`always(java.util.function.Supplier<T> value)`
`default <T2,R> Eval<R>`	`ap(Value<? extends T2> app, java.util.function.BiFunction<? super T,? super T2,? extends R> fn)` Apply a function across two values at once.
`default Eval<java.util.concurrent.CompletableFuture<T>>`	`asyncAlways()`
`default Eval<java.util.concurrent.CompletableFuture<T>>`	`asyncAlways(java.util.concurrent.Executor ex)`
`default Eval<java.util.concurrent.CompletableFuture<T>>`	`asyncLater()`
`default Eval<java.util.concurrent.CompletableFuture<T>>`	`asyncLater(java.util.concurrent.Executor ex)`
`default Eval<java.util.concurrent.CompletableFuture<T>>`	`asyncNow()`
`default Eval<java.util.concurrent.CompletableFuture<T>>`	`asyncNow(java.util.concurrent.Executor ex)`
`default <U> Eval<U>`	`cast(java.lang.Class<? extends U> type)` Cast all elements in a stream to a given type, possibly throwing a `ClassCastException`.
`default <R> Eval<R>`	`coflatMap(java.util.function.Function<? super MonadicValue<T>,R> mapper)`
`default Eval<T>`	`combine(Monoid<T> monoid, Eval<? extends T> v2)`
`default Maybe<T>`	`filter(java.util.function.Predicate<? super T> pred)` Keep only elements for which the supplied predicates hold e.g.
`default Maybe<T>`	`filterNot(java.util.function.Predicate<? super T> fn)` Remove any elements for which the predicate holds (inverse operation to filter) e.g.
`<R> Eval<R>`	`flatMap(java.util.function.Function<? super T,? extends Eval<? extends R>> mapper)`
`static <T> Eval<T>`	`fromIterable(java.lang.Iterable<T> iterable)`
`static <T> Eval<T>`	`fromPublisher(org.reactivestreams.Publisher<T> pub)`
`T`	`get()`
`static <T> Eval<T>`	`later(java.util.function.Supplier<T> value)`
`<R> Eval<R>`	`map(java.util.function.Function<? super T,? extends R> mapper)` Transform this functor using the supplied transformation function
`static <R> Eval<R>`	`narrow(Eval<? extends R> broad)`
`default Eval<MonadicValue<T>>`	`nest()`
`default Maybe<T>`	`notNull()` Filter elements retaining only values which are not null
`static <T> Eval<T>`	`now(T value)`
`default <U> Maybe<U>`	`ofType(java.lang.Class<? extends U> type)` Keep only those elements in a stream that are of a given type.
`default Eval<T>`	`peek(java.util.function.Consumer<? super T> c)` Peek at the current value of this Functor, without transforming it
`static <T> Eval<ListX<T>>`	`sequence(CollectionX<Eval<T>> evals)`
`static <T> Eval<ReactiveSeq<T>>`	`sequence(java.util.stream.Stream<Eval<T>> evals)`
`default PVectorX<java.util.function.Function<java.lang.Object,java.lang.Object>>`	`steps()`
`default <R> Eval<R>`	`trampoline(java.util.function.Function<? super T,? extends Trampoline<? extends R>> mapper)` Performs a map operation that can call a recursive method without running out of stack space
`<T> Eval<T>`	`unit(T unit)`
`default <R> R`	`visit(java.util.function.Function<? super T,? extends R> present, java.util.function.Supplier<? extends R> absent)`
`default <T2,R> Eval<R>`	`zip(java.util.function.BiFunction<? super T,? super T2,? extends R> fn, org.reactivestreams.Publisher<? extends T2> app)` Equivalent to ap, but accepts a Publisher and takes the first value only from that publisher.
`default <T2,R> Eval<R>`	`zip(java.lang.Iterable<? extends T2> app, java.util.function.BiFunction<? super T,? super T2,? extends R> fn)` Equivalent to ap, but accepts an Iterable and takes the first value only from that iterable.

Methods inherited from interface com.aol.cyclops.types.MonadicValue
anyM

Methods inherited from interface com.aol.cyclops.types.applicative.ApplicativeFunctor
applyFunctions

Methods inherited from interface com.aol.cyclops.types.Value
collect, fold, fold, generate, iterate, mapReduce, mkString, newSubscriber, of, stream, subscribe, test, toDequeX, toEvalAlways, toEvalLater, toEvalNow, toFeatureToggle, toFutureStream, toFutureStream, toIor, toLazyImmutable, toList, toListX, toMaybe, toMutable, toPBagX, toPOrderedSetX, toPQueueX, toPSetX, toPStackX, toPVectorX, toQueueX, toSetX, toSimpleReact, toSimpleReact, toSortedSetX, toTry, toTry, toTry, toXor, toXor, unapply

Methods inherited from interface com.aol.cyclops.types.Foldable
endsWith, endsWithIterable, findAny, findFirst, firstValue, foldable, foldRight, foldRight, foldRight, foldRightMapToType, get, groupBy, join, join, join, mapReduce, print, print, printErr, printOut, reduce, reduce, reduce, reduce, reduce, reduce, reduce, schedule, scheduleFixedDelay, scheduleFixedRate, single, single, singleOptional, startsWith, startsWithIterable, toConcurrentLazyCollection, toConcurrentLazyStreamable, toLazyCollection, validate, xMatch

Methods inherited from interface com.aol.cyclops.types.Convertable
collect, fromSupplier, isPresent, iterator, orElse, orElseGet, orElseThrow, toAtomicReference, toCompletableFuture, toCompletableFutureAsync, toCompletableFutureAsync, toFutureW, toFutureWAsync, toFutureWAsync, toOptional, toOptionalAtomicReference, toStream

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Methods inherited from interface java.util.function.Predicate
and, isEqual, negate, or

Methods inherited from interface com.aol.cyclops.control.Matchable.ValueAndOptionalMatcher
iterator, toOptional

Methods inherited from interface com.aol.cyclops.control.Matchable.MatchableOptional
matches

Method Detail

fromPublisher

static <T> Eval<T> fromPublisher(org.reactivestreams.Publisher<T> pub)

fromIterable

static <T> Eval<T> fromIterable(java.lang.Iterable<T> iterable)

now
```
static <T> Eval<T> now(T value)
```

later

static <T> Eval<T> later(java.util.function.Supplier<T> value)

always

static <T> Eval<T> always(java.util.function.Supplier<T> value)

sequence

static <T> Eval<ListX<T>> sequence(CollectionX<Eval<T>> evals)

sequence

static <T> Eval<ReactiveSeq<T>> sequence(java.util.stream.Stream<Eval<T>> evals)

accumulate

static <T,R> Eval<R> accumulate(CollectionX<Eval<T>> evals,
                                Reducer<R> reducer)

accumulate

static <T,R> Eval<R> accumulate(CollectionX<Eval<T>> maybes,
                                java.util.function.Function<? super T,R> mapper,
                                Semigroup<R> reducer)

accumulate

static <T> Eval<T> accumulate(CollectionX<Eval<T>> maybes,
                              Semigroup<T> reducer)

unit
```
<T> Eval<T> unit(T unit)
```
Specified by:

unit in interface MonadicValue<T>

Specified by:

unit in interface Unit<T>

map
```
<R> Eval<R> map(java.util.function.Function<? super T,? extends R> mapper)
```
Description copied from interface: Functor
Transform this functor using the supplied transformation function
```
  
  
  
    of(1,2,3).map(i->i*2)
    
    //[2,4,6]
  
 
 
```
Specified by:

map in interface ConvertableFunctor<T>

Specified by:

map in interface Functor<T>

Specified by:

map in interface MonadicValue<T>

Parameters:

mapper - Transformation function

Returns:

Transformed Functor

flatMap

<R> Eval<R> flatMap(java.util.function.Function<? super T,? extends Eval<? extends R>> mapper)

steps

default PVectorX<java.util.function.Function<java.lang.Object,java.lang.Object>> steps()

coflatMap

default <R> Eval<R> coflatMap(java.util.function.Function<? super MonadicValue<T>,R> mapper)

Specified by:: coflatMap in interface MonadicValue<T>

combine

default Eval<T> combine(Monoid<T> monoid,
                        Eval<? extends T> v2)

nest
```
default Eval<MonadicValue<T>> nest()
```
Specified by:

nest in interface MonadicValue<T>

get
```
T get()
```
Specified by:

get in interface Convertable<T>

Specified by:

get in interface java.util.function.Supplier<T>

Returns:

Contained value, maybe null

ofType
```
default <U> Maybe<U> ofType(java.lang.Class<? extends U> type)
```
Description copied from interface: Filterable
Keep only those elements in a stream that are of a given type.
```
  
 
 // (1, 2, 3) ReactiveSeq.of(1, "a", 2, "b",3).ofType(Integer.class)
 
 
```
Specified by:

ofType in interface Filterable<T>

filterNot
```
default Maybe<T> filterNot(java.util.function.Predicate<? super T> fn)
```
Description copied from interface: Filterable
Remove any elements for which the predicate holds (inverse operation to filter) e.g.
```
  
   
     of(1,2,3).filter(i->i>2);
     
     //[1,2]
   
 
 
```
Specified by:

filterNot in interface Filterable<T>

Parameters:

fn - to filter elements by, retaining matches

Returns:

Filterable with elements removed where the predicate does not hold

notNull
```
default Maybe<T> notNull()
```
Description copied from interface: Filterable
Filter elements retaining only values which are not null
```
  
 
   of(1,2,null,4).nonNull();
 
   //[1,2,4]
   
 
```
Specified by:

notNull in interface Filterable<T>

Returns:

Filterable with nulls removed

filter
```
default Maybe<T> filter(java.util.function.Predicate<? super T> pred)
```
Description copied from interface: Filterable
Keep only elements for which the supplied predicates hold e.g.
```
  
   
     of(1,2,3).filter(i->i>2);
     
     //[3]
   
 
 
```
Specified by:

filter in interface Filterable<T>

Parameters:

pred - to filter elements by, retaining matches

Returns:

Filterable with elements removed where the predicate does not hold

cast
```
default <U> Eval<U> cast(java.lang.Class<? extends U> type)
```
Description copied from interface: Functor

Cast all elements in a stream to a given type, possibly throwing a ClassCastException. // ClassCastException ReactiveSeq.of(1, "a", 2, "b", 3).cast(Integer.class)

Specified by:

cast in interface Functor<T>

peek
```
default Eval<T> peek(java.util.function.Consumer<? super T> c)
```
Description copied from interface: Functor
Peek at the current value of this Functor, without transforming it
```
  
  
  
    of(1,2,3).map(System.out::println)
    
    1
    2
    3
  
 
 
```
Specified by:

peek in interface Functor<T>

Parameters:

c - Consumer that recieves each element from this Functor

Returns:

Functor that will peek at each value

trampoline

default <R> Eval<R> trampoline(java.util.function.Function<? super T,? extends Trampoline<? extends R>> mapper)

Description copied from interface: Functor

Performs a map operation that can call a recursive method without running out of stack space

 
 ReactiveSeq.of(10,20,30,40)
				 .trampoline(i-> fibonacci(i))
				 .forEach(System.out::println); 
				 
		Trampoline<Long> fibonacci(int i){
			return fibonacci(i,1,0);
		}
		Trampoline<Long> fibonacci(int n, long a, long b) {
	    	return n == 0 ? Trampoline.done(b) : Trampoline.more( ()->fibonacci(n-1, a+b, a));
		}		 
				 
 55
		6765
		832040
		102334155
 
 
 ReactiveSeq.of(10_000,200_000,3_000_000,40_000_000)
				 .trampoline(i-> fibonacci(i))
				 .forEach(System.out::println);
				 
				 
 completes successfully

Specified by:: trampoline in interface Functor<T>
Returns:

asyncNow

default Eval<java.util.concurrent.CompletableFuture<T>> asyncNow(java.util.concurrent.Executor ex)

asyncNow

default Eval<java.util.concurrent.CompletableFuture<T>> asyncNow()

asyncLater

default Eval<java.util.concurrent.CompletableFuture<T>> asyncLater(java.util.concurrent.Executor ex)

asyncLater

default Eval<java.util.concurrent.CompletableFuture<T>> asyncLater()

asyncAlways

default Eval<java.util.concurrent.CompletableFuture<T>> asyncAlways(java.util.concurrent.Executor ex)

asyncAlways

default Eval<java.util.concurrent.CompletableFuture<T>> asyncAlways()

visit
```
default <R> R visit(java.util.function.Function<? super T,? extends R> present,
                    java.util.function.Supplier<? extends R> absent)
```
Specified by:

visit in interface Convertable<T>

Specified by:

visit in interface Matchable.MatchableOptional<T>

Specified by:

visit in interface Matchable.ValueAndOptionalMatcher<T>

Specified by:

visit in interface Visitable<T>

narrow

static <R> Eval<R> narrow(Eval<? extends R> broad)

ap

default <T2,R> Eval<R> ap(Value<? extends T2> app,
                          java.util.function.BiFunction<? super T,? super T2,? extends R> fn)

Apply a function across two values at once.

Specified by:: ap in interface ApplicativeFunctor<T>
Parameters:: app -; fn -
Returns:

zip
```
default <T2,R> Eval<R> zip(java.lang.Iterable<? extends T2> app,
                           java.util.function.BiFunction<? super T,? super T2,? extends R> fn)
```
Equivalent to ap, but accepts an Iterable and takes the first value only from that iterable.

Specified by:

zip in interface ApplicativeFunctor<T>

Parameters:

app -

fn -

Returns:

zip

default <T2,R> Eval<R> zip(java.util.function.BiFunction<? super T,? super T2,? extends R> fn,
                           org.reactivestreams.Publisher<? extends T2> app)

Equivalent to ap, but accepts a Publisher and takes the first value only from that publisher.

Specified by:: zip in interface ApplicativeFunctor<T>
Parameters:: app -; fn -
Returns:

Interface Eval<T>

Nested Class Summary

Nested classes/interfaces inherited from interface com.aol.cyclops.types.applicative.ApplicativeFunctor

Nested classes/interfaces inherited from interface com.aol.cyclops.types.Value

Nested classes/interfaces inherited from interface com.aol.cyclops.types.Convertable

Method Summary

Methods inherited from interface com.aol.cyclops.types.MonadicValue

Methods inherited from interface com.aol.cyclops.types.applicative.ApplicativeFunctor

Methods inherited from interface com.aol.cyclops.types.Value

Methods inherited from interface com.aol.cyclops.types.Foldable

Methods inherited from interface com.aol.cyclops.types.Convertable

Methods inherited from interface java.lang.Iterable

Methods inherited from interface java.util.function.Predicate

Methods inherited from interface com.aol.cyclops.control.Matchable.ValueAndOptionalMatcher

Methods inherited from interface com.aol.cyclops.control.Matchable.MatchableOptional

Method Detail

fromPublisher

fromIterable

now

later

always

sequence

sequence

accumulate

accumulate

accumulate

unit

map

flatMap

steps

coflatMap

combine

nest

get

ofType

filterNot

notNull

filter

cast

peek

trampoline

asyncNow

asyncNow

asyncLater

asyncLater

asyncAlways

asyncAlways

visit

narrow

ap

zip

zip