Class 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 java.lang.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
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      EitherStep3<A,​B,​C,​LEFT> filter​(Predicate3<? super A,​? super B,​? super C> predicate, java.util.function.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​(java.util.function.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 java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • then

        public <D,​LL extends LEFTEitherStep4<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 EitherStep3
        Parameters:
        functor - The functor to be applied as a flatMap with the previous steps
        Returns:
        The next step class
      • then

        public <D,​LL extends LEFTEitherStep4<A,​B,​C,​D,​LEFT> then​(java.util.function.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 EitherStep3
        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,
                                                                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​(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