Package io.vavr

Class API.ForLazy4Either<L,T1,T2,T3,T4>

java.lang.Object

io.vavr.API.ForLazy4Either<L,T1,T2,T3,T4>

Type Parameters:

L - the common left-hand type of all Eithers

T1 - the component type of the 1st Either

T2 - the component type of the 2nd Either

T3 - the component type of the 3rd Either

T4 - the component type of the 4th Either

Enclosing class:

API

public static class API.ForLazy4Either<L,T1,T2,T3,T4>
extends java.lang.Object

A lazily evaluated For-comprehension with 4 Eithers.

Constructed via For(...) and evaluated by calling yield(...). Construction is side-effect free; underlying Eithers are traversed only when yield(...) is invoked.

Field Summary

Fields

Modifier and Type	Field	Description
private Either<L,T1>	ts1
private Function1<? super T1,Either<L,T2>>	ts2
private Function2<? super T1,? super T2,Either<L,T3>>	ts3
private Function3<? super T1,? super T2,? super T3,Either<L,T4>>	ts4

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ForLazy4Either(Either<L,T1> ts1, Function1<? super T1,Either<L,T2>> ts2, Function2<? super T1,? super T2,Either<L,T3>> ts3, Function3<? super T1,? super T2,? super T3,Either<L,T4>> ts4)

Method Summary

Modifier and Type	Method	Description
<R> Either<L,R>	yield(@NonNull Function4<? super T1,? super T2,? super T3,? super T4,? extends R> f)	Produces results by mapping the Cartesian product of all bound values.

Methods inherited from class java.lang.Object

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

Field Detail

ts1

private final Either<L,T1> ts1

ts2

private final Function1<? super T1,Either<L,T2>> ts2

ts3

private final Function2<? super T1,? super T2,Either<L,T3>> ts3

ts4

private final Function3<? super T1,? super T2,? super T3,Either<L,T4>> ts4

Constructor Detail

ForLazy4Either

private ForLazy4Either(Either<L,T1> ts1,
                       Function1<? super T1,Either<L,T2>> ts2,
                       Function2<? super T1,? super T2,Either<L,T3>> ts3,
                       Function3<? super T1,? super T2,? super T3,Either<L,T4>> ts4)

Method Detail

yield

public <R> Either<L,R> yield(@NonNull Function4<? super T1,? super T2,? super T3,? super T4,? extends R> f)

Produces results by mapping the Cartesian product of all bound values.

Evaluation is lazy and delegated to the underlying Eithers by composing flatMap and map chains.

Type Parameters:

R - the element type of the resulting Either

Parameters:

f - a function mapping a tuple of bound values to a result

Returns:

an Either containing mapped results

Throws:

java.lang.NullPointerException - if f is null