Package io.vavr

Class API.ForLazy4Option<T1,T2,T3,T4>

java.lang.Object

io.vavr.API.ForLazy4Option<T1,T2,T3,T4>

Type Parameters:

T1 - the component type of the 1st Option

T2 - the component type of the 2nd Option

T3 - the component type of the 3rd Option

T4 - the component type of the 4th Option

Enclosing class:

API

public static class API.ForLazy4Option<T1,T2,T3,T4>
extends Object

A lazily evaluated For-comprehension with 4 Options.

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

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
<R> Option<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 Details

ts1

private final Option<T1> ts1

ts2

private final Function1<? super T1,Option<T2>> ts2

ts3

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

ts4

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

Constructor Details

ForLazy4Option

private ForLazy4Option(Option<T1> ts1,
 Function1<? super T1,Option<T2>> ts2,
 Function2<? super T1,? super T2,Option<T3>> ts3,
 Function3<? super T1,? super T2,? super T3,Option<T4>> ts4)

Method Details

yield

public <R> Option<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 Options by composing flatMap and map chains.

Type Parameters:

R - the element type of the resulting Option

Parameters:

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

Returns:

an Option containing mapped results

Throws:

NullPointerException - if f is null