Package io.atlassian.fugue.extensions.step

Class EitherStep4<A,B,C,D,LEFT>

java.lang.Object

io.atlassian.fugue.extensions.step.EitherStep4<A,B,C,D,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

D - The right hand side type of the fourth defined right value

LEFT - The left hand side type of the Either result

public final class EitherStep4<A,B,C,D,LEFT>
extends java.lang.Object

The fourth 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 Either<LEFT,A>	either1
private Either<LEFT,B>	either2
private Either<LEFT,C>	either3
private Either<LEFT,D>	either4

Constructor Summary

Constructors

Constructor	Description
EitherStep4(Either<LEFT,A> either1, Either<LEFT,B> either2, Either<LEFT,C> either3, Either<LEFT,D> either4)

Method Summary

Modifier and Type	Method	Description
EitherStep4<A,B,C,D,LEFT>	filter(Predicate4<? super A,? super B,? super C,? super D> predicate, java.util.function.Supplier<? extends LEFT> unsatisfiedSupplier)	Apply the provided predicate with the previous step results.
<E,LL extends LEFT> EitherStep5<A,B,C,D,E,LEFT>	then(Function4<? super A,? super B,? super C,? super D,Either<LL,E>> functor)	Apply the provided function with the previous Step results.
<E,LL extends LEFT> EitherStep5<A,B,C,D,E,LEFT>	then(java.util.function.Supplier<Either<LL,E>> supplier)	Apply the provided supplier with the previous Step results.
<Z> Either<LEFT,Z>	yield(Function4<? super A,? super B,? super C,? super D,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 java.lang.Object

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

Field Detail

either1

private final Either<LEFT,A> either1

either2

private final Either<LEFT,B> either2

either3

private final Either<LEFT,C> either3

either4

private final Either<LEFT,D> either4

Constructor Detail

EitherStep4

EitherStep4(Either<LEFT,A> either1,
            Either<LEFT,B> either2,
            Either<LEFT,C> either3,
            Either<LEFT,D> either4)

Method Detail

then

public <E,LL extends LEFT> EitherStep5<A,B,C,D,E,LEFT> then(Function4<? super A,? super B,? super C,? super D,Either<LL,E>> 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:

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

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

Parameters:

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

Returns:

The next step class

then

public <E,LL extends LEFT> EitherStep5<A,B,C,D,E,LEFT> then(java.util.function.Supplier<Either<LL,E>> 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(Function4) in that the previous step results are not provided for the new step evaluation.

Type Parameters:

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

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

Parameters:

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

Returns:

The next step class

filter

public EitherStep4<A,B,C,D,LEFT> filter(Predicate4<? super A,? super B,? super C,? super D> predicate,
                                                                java.util.function.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(Function4<? super A,? super B,? super C,? super D,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