Class EitherStep3<A,B,C,LEFT>

java.lang.Object

io.atlassian.fugue.extensions.step.EitherStep3<A,B,C,LEFT>

Type Parameters:

A - The right hand side type of the first defined right value

B - The right hand side type of the second defined right value

C - The right hand side type of the third defined right value

LEFT - The left hand side type of the Either result

public final class EitherStep3<A,B,C,LEFT>
extends Object

The third step of the Either type.

This class is not intended to be contructed manually, and should only be used as part of a Steps chain, started by Steps.begin(Either)

Since:

4.7.0

See Also:

• for usage examples
• Either

Field Summary

Fields

Modifier and Type	Field	Description
private final Either<LEFT,A>	either1
private final Either<LEFT,B>	either2
private final Either<LEFT,C>	either3

Constructor Summary

Constructors

Constructor	Description
EitherStep3(Either<LEFT,A> either1, Either<LEFT,B> either2, Either<LEFT,C> either3)

Method Summary

Modifier and Type	Method	Description
EitherStep3<A,B,C,LEFT>	filter(Predicate3<? super A, ? super B, ? super C> predicate, Supplier<? extends LEFT> unsatisfiedSupplier)	Apply the provided predicate with the previous step results.
<D, LL extends LEFT> EitherStep4<A,B,C,D,LEFT>	then(Function3<? super A, ? super B, ? super C, Either<LL,D>> functor)	Apply the provided function with the previous Step results.
<D, LL extends LEFT> EitherStep4<A,B,C,D,LEFT>	then(Supplier<Either<LL,D>> supplier)	Apply the provided supplier with the previous Step results.
<Z> Either<LEFT,Z>	yield(Function3<? super A, ? super B, ? super C, Z> functor)	Terminating step expression, that will provide the previous steps to this function and return the result as a Right

Methods inherited from class Object

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

Field Details

either1

private final Either<LEFT,A> either1

either2

private final Either<LEFT,B> either2

either3

private final Either<LEFT,C> either3

Constructor Details

EitherStep3

EitherStep3(Either<LEFT,A> either1,
 Either<LEFT,B> either2,
 Either<LEFT,C> either3)

Method Details

then

public <D, LL extends LEFT>
EitherStep4<A,B,C,D,LEFT> then(Function3<? super A, ? super B, ? super C, Either<LL,D>> functor)

Apply the provided function with the previous Step results.

Internally this will perform a Either.flatMap(Function) and the result will become the next step value.

Type Parameters:

D - The right hand side type of the next step result

LL - The left hand side type of the result that must be related to LEFT

Parameters:

functor - The functor to be applied as a flatMap with the previous steps

Returns:

The next step class

then

public <D, LL extends LEFT>
EitherStep4<A,B,C,D,LEFT> then(Supplier<Either<LL,D>> supplier)

Apply the provided supplier with the previous Step results.

Internally this will perform a Either.flatMap(Function) and the supplier will become the next step value.

This is different to then(Function3) in that the previous step results are not provided for the new step evaluation.

Type Parameters:

D - The right hand side type of the next step result

LL - The left hand side type of the result that must be related to LEFT

Parameters:

supplier - The supplier to provide the result of the flatMap with the previous step.

Returns:

The next step class

filter

public EitherStep3<A,B,C,LEFT> filter(Predicate3<? super A, ? super B, ? super C> predicate,
 Supplier<? extends LEFT> unsatisfiedSupplier)

Apply the provided predicate with the previous step results.

If the predicate is not satisfied then the unsatisfiedSupplier is used to populate the left value that will prevent any further steps evaluation.

Parameters:

predicate - The check that must be satisfied by contained values

unsatisfiedSupplier - Provide the value to populate the left if not satisfied

Returns:

This step class with either the same last step value, or changed to a left

yield

public <Z> Either<LEFT,Z> yield(Function3<? super A, ? super B, ? super C, Z> functor)

Terminating step expression, that will provide the previous steps to this function and return the result as a Right

Type Parameters:

Z - The right hand side type for the returned result

Parameters:

functor - The yield function to map on previous values

Returns:

An Either with the result of this function on right, or the existing left