Package io.vavr

Class API.ForLazy7Either<L,T1,T2,T3,T4,T5,T6,T7>

java.lang.Object

io.vavr.API.ForLazy7Either<L,T1,T2,T3,T4,T5,T6,T7>

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

T5 - the component type of the 5th Either

T6 - the component type of the 6th Either

T7 - the component type of the 7th Either

Enclosing class:

API

public static class API.ForLazy7Either<L,T1,T2,T3,T4,T5,T6,T7>
extends Object

A lazily evaluated For-comprehension with 7 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 final Either<L,T1>	ts1
private final Function1<? super T1,Either<L,T2>>	ts2
private final Function2<? super T1,? super T2,Either<L,T3>>	ts3
private final Function3<? super T1,? super T2,? super T3,Either<L,T4>>	ts4
private final Function4<? super T1,? super T2,? super T3,? super T4,Either<L,T5>>	ts5
private final Function5<? super T1,? super T2,? super T3,? super T4,? super T5,Either<L,T6>>	ts6
private final Function6<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,Either<L,T7>>	ts7

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ForLazy7Either(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, Function4<? super T1,? super T2,? super T3,? super T4,Either<L,T5>> ts5, Function5<? super T1,? super T2,? super T3,? super T4,? super T5,Either<L,T6>> ts6, Function6<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,Either<L,T7>> ts7)

Method Summary

Modifier and Type	Method	Description
<R> Either<L,R>	yield(@NonNull Function7<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,? super T7,? 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 Details

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

ts5

private final Function4<? super T1,? super T2,? super T3,? super T4,Either<L,T5>> ts5

ts6

private final Function5<? super T1,? super T2,? super T3,? super T4,? super T5,Either<L,T6>> ts6

ts7

private final Function6<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,Either<L,T7>> ts7

Constructor Details

ForLazy7Either

private ForLazy7Either(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,
 Function4<? super T1,? super T2,? super T3,? super T4,Either<L,T5>> ts5,
 Function5<? super T1,? super T2,? super T3,? super T4,? super T5,Either<L,T6>> ts6,
 Function6<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,Either<L,T7>> ts7)

Method Details

yield

public <R> Either<L,R> yield(@NonNull Function7<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,? super T7,? 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:

NullPointerException - if f is null