Package io.vavr

Interface CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R>

  • Type Parameters:
    T1 - argument 1 of the function
    T2 - argument 2 of the function
    T3 - argument 3 of the function
    T4 - argument 4 of the function
    T5 - argument 5 of the function
    R - return type of the function
    All Superinterfaces:
    java.io.Serializable
    Functional Interface:
    This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
    @FunctionalInterface
public interface CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R>
extends java.io.Serializable
    Represents a function with 5 arguments.

    • Method Summary

      Modifier and Type Method Description
      default <V> CheckedFunction5<T1,​T2,​T3,​T4,​T5,​V> andThen​(CheckedFunction1<? super R,​? extends V> after)
      Returns a composed function that first applies this CheckedFunction5 to the given argument and then applies CheckedFunction1 after to the result.
      default CheckedFunction4<T2,​T3,​T4,​T5,​R> apply​(T1 t1)
      Applies this function partially to one argument.
      default CheckedFunction3<T3,​T4,​T5,​R> apply​(T1 t1, T2 t2)
      Applies this function partially to two arguments.
      default CheckedFunction2<T4,​T5,​R> apply​(T1 t1, T2 t2, T3 t3)
      Applies this function partially to three arguments.
      default CheckedFunction1<T5,​R> apply​(T1 t1, T2 t2, T3 t3, T4 t4)
      Applies this function partially to 4 arguments.
      R apply​(T1 t1, T2 t2, T3 t3, T4 t4, T5 t5)
      Applies this function to 5 arguments and returns the result.
      default int arity()
      Returns the number of function arguments.
      static <T1,​T2,​T3,​T4,​T5,​R>
      CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R>      		 constant​(R value)
      Returns a function that always returns the constant value that you give in parameter.
      default Function1<T1,​Function1<T2,​Function1<T3,​Function1<T4,​CheckedFunction1<T5,​R>>>>> curried()
      Returns a curried version of this function.
      default boolean isMemoized()
      Checks if this function is memoizing (= caching) computed values.
      static <T1,​T2,​T3,​T4,​T5,​R>
      Function5<T1,​T2,​T3,​T4,​T5,​Option<R>>      		 lift​(CheckedFunction5<? super T1,​? super T2,​? super T3,​? super T4,​? super T5,​? extends R> partialFunction)
      Lifts the given partialFunction into a total function that returns an Option result.
      static <T1,​T2,​T3,​T4,​T5,​R>
      Function5<T1,​T2,​T3,​T4,​T5,​Try<R>>      		 liftTry​(CheckedFunction5<? super T1,​? super T2,​? super T3,​? super T4,​? super T5,​? extends R> partialFunction)
      Lifts the given partialFunction into a total function that returns an Try result.
      default CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R> memoized()
      Returns a memoizing version of this function, which computes the return value for given arguments only one time.
      static <T1,​T2,​T3,​T4,​T5,​R>
      CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R>      		 narrow​(CheckedFunction5<? super T1,​? super T2,​? super T3,​? super T4,​? super T5,​? extends R> f)
      Narrows the given CheckedFunction5<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? extends R> to CheckedFunction5<T1, T2, T3, T4, T5, R>
      static <T1,​T2,​T3,​T4,​T5,​R>
      CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R>      		 of​(CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R> methodReference)
      Creates a CheckedFunction5 based on method reference lambda expression Examples (w.l.o.g.
      default Function5<T1,​T2,​T3,​T4,​T5,​R> recover​(java.util.function.Function<? super java.lang.Throwable,​? extends Function5<? super T1,​? super T2,​? super T3,​? super T4,​? super T5,​? extends R>> recover)
      Return a composed function that first applies this CheckedFunction5 to the given arguments and in case of throwable try to get value from recover function with same arguments and throwable information.
      default CheckedFunction5<T5,​T4,​T3,​T2,​T1,​R> reversed()
      Returns a reversed version of this function.
      default CheckedFunction1<Tuple5<T1,​T2,​T3,​T4,​T5>,​R> tupled()
      Returns a tupled version of this function.
      default Function5<T1,​T2,​T3,​T4,​T5,​R> unchecked()
      Returns an unchecked function that will sneaky throw if an exceptions occurs when applying the function.

    • Method Detail

      • constant

        static <T1,​T2,​T3,​T4,​T5,​R> CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R> constant​(R value)
        Returns a function that always returns the constant value that you give in parameter.
        Type Parameters:
        T1 - generic parameter type 1 of the resulting function
        T2 - generic parameter type 2 of the resulting function
        T3 - generic parameter type 3 of the resulting function
        T4 - generic parameter type 4 of the resulting function
        T5 - generic parameter type 5 of the resulting function
        R - the result type
        Parameters:
        value - the value to be returned
        Returns:
        a function always returning the given value

      • of

        static <T1,​T2,​T3,​T4,​T5,​R> CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R> of​(CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R> methodReference)
        Creates a CheckedFunction5 based on Examples (w.l.o.g. referring to Function1): 
        // using a lambda expression
 Function1<Integer, Integer> add1 = Function1.of(i -> i + 1);

 // using a method reference (, e.g. Integer method(Integer i) { return i + 1; })
 Function1<Integer, Integer> add2 = Function1.of(this::method);

 // using a lambda reference
 Function1<Integer, Integer> add3 = Function1.of(add1::apply);

        Caution: Reflection loses type information of lambda references. 

        // type of a lambda expression
 Type<?, ?> type1 = add1.getType(); // (Integer) -> Integer

 // type of a method reference
 Type<?, ?> type2 = add2.getType(); // (Integer) -> Integer

 // type of a lambda reference
 Type<?, ?> type3 = add3.getType(); // (Object) -> Object
        Type Parameters:
        R - return type
        T1 - 1st argument
        T2 - 2nd argument
        T3 - 3rd argument
        T4 - 4th argument
        T5 - 5th argument
        Parameters:
        methodReference - (typically) a method reference, e.g. Type::method
        Returns:
        a CheckedFunction5

      • lift

        static <T1,​T2,​T3,​T4,​T5,​R> Function5<T1,​T2,​T3,​T4,​T5,​Option<R>> lift​(CheckedFunction5<? super T1,​? super T2,​? super T3,​? super T4,​? super T5,​? extends R> partialFunction)
        Lifts the given partialFunction into a total function that returns an Option result.
        Type Parameters:
        R - return type
        T1 - 1st argument
        T2 - 2nd argument
        T3 - 3rd argument
        T4 - 4th argument
        T5 - 5th argument
        Parameters:
        partialFunction - a function that is not defined for all values of the domain (e.g. by throwing)
        Returns:
        a function that applies arguments to the given partialFunction and returns Some(result) if the function is defined for the given arguments, and None otherwise.

      • liftTry

        static <T1,​T2,​T3,​T4,​T5,​R> Function5<T1,​T2,​T3,​T4,​T5,​Try<R>> liftTry​(CheckedFunction5<? super T1,​? super T2,​? super T3,​? super T4,​? super T5,​? extends R> partialFunction)
        Lifts the given partialFunction into a total function that returns an Try result.
        Type Parameters:
        R - return type
        T1 - 1st argument
        T2 - 2nd argument
        T3 - 3rd argument
        T4 - 4th argument
        T5 - 5th argument
        Parameters:
        partialFunction - a function that is not defined for all values of the domain (e.g. by throwing)
        Returns:
        a function that applies arguments to the given partialFunction and returns Success(result) if the function is defined for the given arguments, and Failure(throwable) otherwise.

      • narrow

        static <T1,​T2,​T3,​T4,​T5,​R> CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R> narrow​(CheckedFunction5<? super T1,​? super T2,​? super T3,​? super T4,​? super T5,​? extends R> f)
        Narrows the given CheckedFunction5<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? extends R> to CheckedFunction5<T1, T2, T3, T4, T5, R>
        Type Parameters:
        R - return type
        T1 - 1st argument
        T2 - 2nd argument
        T3 - 3rd argument
        T4 - 4th argument
        T5 - 5th argument
        Parameters:
        f - A CheckedFunction5
        Returns:
        the given f instance as narrowed type CheckedFunction5<T1, T2, T3, T4, T5, R>

      • apply

        R apply​(T1 t1,
        T2 t2,
        T3 t3,
        T4 t4,
        T5 t5)
 throws java.lang.Throwable
        Applies this function to 5 arguments and returns the result.
        Parameters:
        t1 - argument 1
        t2 - argument 2
        t3 - argument 3
        t4 - argument 4
        t5 - argument 5
        Returns:
        the result of function application
        Throws:
        java.lang.Throwable - if something goes wrong applying this function to the given arguments

      • apply

        default CheckedFunction4<T2,​T3,​T4,​T5,​R> apply​(T1 t1)
        Applies this function partially to one argument.
        Parameters:
        t1 - argument 1
        Returns:
        a partial application of this function

      • apply

        default CheckedFunction3<T3,​T4,​T5,​R> apply​(T1 t1,
                                                             T2 t2)
        Applies this function partially to two arguments.
        Parameters:
        t1 - argument 1
        t2 - argument 2
        Returns:
        a partial application of this function

      • apply

        default CheckedFunction2<T4,​T5,​R> apply​(T1 t1,
                                                    T2 t2,
                                                    T3 t3)
        Applies this function partially to three arguments.
        Parameters:
        t1 - argument 1
        t2 - argument 2
        t3 - argument 3
        Returns:
        a partial application of this function

      • apply

        default CheckedFunction1<T5,​R> apply​(T1 t1,
                                           T2 t2,
                                           T3 t3,
                                           T4 t4)
        Applies this function partially to 4 arguments.
        Parameters:
        t1 - argument 1
        t2 - argument 2
        t3 - argument 3
        t4 - argument 4
        Returns:
        a partial application of this function

      • arity

        default int arity()
        Returns the number of function arguments.
        Returns:
        an int value >= 0
        See Also:
        Arity

      • tupled

        default CheckedFunction1<Tuple5<T1,​T2,​T3,​T4,​T5>,​R> tupled()
        Returns a tupled version of this function.
        Returns:
        a tupled function equivalent to this.

      • reversed

        default CheckedFunction5<T5,​T4,​T3,​T2,​T1,​R> reversed()
        Returns a reversed version of this function. This may be useful in a recursive context.
        Returns:
        a reversed function equivalent to this.

      • memoized

        default CheckedFunction5<T1,​T2,​T3,​T4,​T5,​R> memoized()
        Returns a memoizing version of this function, which computes the return value for given arguments only one time. On subsequent calls given the same arguments the memoized value is returned.

        Please note that memoizing functions do not permit null as single argument or return value.

        Returns:
        a memoizing function equivalent to this.

      • isMemoized

        default boolean isMemoized()
        Checks if this function is memoizing (= caching) computed values.
        Returns:
        true, if this function is memoizing, false otherwise

      • recover

        default Function5<T1,​T2,​T3,​T4,​T5,​R> recover​(java.util.function.Function<? super java.lang.Throwable,​? extends Function5<? super T1,​? super T2,​? super T3,​? super T4,​? super T5,​? extends R>> recover)
        Return a composed function that first applies this CheckedFunction5 to the given arguments and in case of throwable try to get value from recover function with same arguments and throwable information.
        Parameters:
        recover - the function applied in case of throwable
        Returns:
        a function composed of this and recover
        Throws:
        java.lang.NullPointerException - if recover is null

      • unchecked

        default Function5<T1,​T2,​T3,​T4,​T5,​R> unchecked()
        Returns an unchecked function that will sneaky throw if an exceptions occurs when applying the function.
        Returns:
        a new Function5 that throws a Throwable.

      • andThen

        default <V> CheckedFunction5<T1,​T2,​T3,​T4,​T5,​V> andThen​(CheckedFunction1<? super R,​? extends V> after)
        Returns a composed function that first applies this CheckedFunction5 to the given argument and then applies CheckedFunction1 after to the result.
        Type Parameters:
        V - return type of after
        Parameters:
        after - the function applied after this
        Returns:
        a function composed of this and after
        Throws:
        java.lang.NullPointerException - if after is null