Package io.vavr

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

java.lang.Object

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

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

T8 - the component type of the 8th Either

Enclosing class:

API

public static class API.ForLazy8Either<L,T1,T2,T3,T4,T5,T6,T7,T8>
extends java.lang.Object

A lazily evaluated For-comprehension with 8 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
private Function4<? super T1,? super T2,? super T3,? super T4,Either<L,T5>>	ts5
private Function5<? super T1,? super T2,? super T3,? super T4,? super T5,Either<L,T6>>	ts6
private Function6<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,Either<L,T7>>	ts7
private Function7<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,? super T7,Either<L,T8>>	ts8

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ForLazy8Either(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, Function7<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,? super T7,Either<L,T8>> ts8)

Method Summary

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

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

ts8

private final Function7<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,? super T7,Either<L,T8>> ts8

Constructor Detail

ForLazy8Either

private ForLazy8Either(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,
                       Function7<? super T1,? super T2,? super T3,? super T4,? super T5,? super T6,? super T7,Either<L,T8>> ts8)

Method Detail

yield

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