CheckedFunction4 (vavr 1.0.0-alpha-4 API)

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

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 CheckedFunction4<T1,T2,T3,T4,R>
extends java.io.Serializable
```
Represents a function with 4 arguments.

Field Summary

Fields
Modifier and Type Field and Description

static long serialVersionUID
The serial version uid.

Fields
Modifier and Type	Field and Description
`static long`	`serialVersionUID` The serial version uid.

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and Description
`default <V> CheckedFunction4<T1,T2,T3,T4,V>`	`andThen(CheckedFunction1<? super R,? extends V> after)` Returns a composed function that first applies this CheckedFunction4 to the given argument and then applies CheckedFunction1 `after` to the result.
`default CheckedFunction3<T2,T3,T4,R>`	`apply(T1 t1)` Applies this function partially to one argument.
`default CheckedFunction2<T3,T4,R>`	`apply(T1 t1, T2 t2)` Applies this function partially to two arguments.
`default CheckedFunction1<T4,R>`	`apply(T1 t1, T2 t2, T3 t3)` Applies this function partially to three arguments.
`R`	`apply(T1 t1, T2 t2, T3 t3, T4 t4)` Applies this function to 4 arguments and returns the result.
`default int`	`arity()` Returns the number of function arguments.
`static <T1,T2,T3,T4,R> CheckedFunction4<T1,T2,T3,T4,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,CheckedFunction1<T4,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,R> Function4<T1,T2,T3,T4,Option<R>>`	`lift(CheckedFunction4<? super T1,? super T2,? super T3,? super T4,? extends R> partialFunction)` Lifts the given `partialFunction` into a total function that returns an `Option` result.
`static <T1,T2,T3,T4,R> Function4<T1,T2,T3,T4,Try<R>>`	`liftTry(CheckedFunction4<? super T1,? super T2,? super T3,? super T4,? extends R> partialFunction)` Lifts the given `partialFunction` into a total function that returns an `Try` result.
`default CheckedFunction4<T1,T2,T3,T4,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,R> CheckedFunction4<T1,T2,T3,T4,R>`	`narrow(CheckedFunction4<? super T1,? super T2,? super T3,? super T4,? extends R> f)` Narrows the given `CheckedFunction4<? super T1, ? super T2, ? super T3, ? super T4, ? extends R>` to `CheckedFunction4<T1, T2, T3, T4, R>`
`static <T1,T2,T3,T4,R> CheckedFunction4<T1,T2,T3,T4,R>`	`of(CheckedFunction4<T1,T2,T3,T4,R> methodReference)` Creates a `CheckedFunction4` based on method reference lambda expression Examples (w.l.o.g.
`default Function4<T1,T2,T3,T4,R>`	`recover(java.util.function.Function<? super java.lang.Throwable,? extends Function4<? super T1,? super T2,? super T3,? super T4,? extends R>> recover)` Return a composed function that first applies this CheckedFunction4 to the given arguments and in case of throwable try to get value from `recover` function with same arguments and throwable information.
`default CheckedFunction4<T4,T3,T2,T1,R>`	`reversed()` Returns a reversed version of this function.
`default CheckedFunction1<Tuple4<T1,T2,T3,T4>,R>`	`tupled()` Returns a tupled version of this function.
`default Function4<T1,T2,T3,T4,R>`	`unchecked()` Returns an unchecked function that will sneaky throw if an exceptions occurs when applying the function.

- Field Detail
  - serialVersionUID
```
static final long serialVersionUID
```
    The serial version uid.
    
    See Also:
    
    Constant Field Values
- Method Detail
  - constant
```
static <T1,T2,T3,T4,R> CheckedFunction4<T1,T2,T3,T4,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
    
    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,R> CheckedFunction4<T1,T2,T3,T4,R> of(CheckedFunction4<T1,T2,T3,T4,R> methodReference)
```
    Creates a CheckedFunction4 based on
    - method reference
    - lambda expression
    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
    
    Parameters:
    
    methodReference - (typically) a method reference, e.g. Type::method
    
    Returns:
    
    a CheckedFunction4
  - lift
```
static <T1,T2,T3,T4,R> Function4<T1,T2,T3,T4,Option<R>> lift(CheckedFunction4<? super T1,? super T2,? super T3,? super T4,? 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
    
    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,R> Function4<T1,T2,T3,T4,Try<R>> liftTry(CheckedFunction4<? super T1,? super T2,? super T3,? super T4,? 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
    
    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,R> CheckedFunction4<T1,T2,T3,T4,R> narrow(CheckedFunction4<? super T1,? super T2,? super T3,? super T4,? extends R> f)
```
    Narrows the given CheckedFunction4<? super T1, ? super T2, ? super T3, ? super T4, ? extends R> to CheckedFunction4<T1, T2, T3, T4, R>
    
    Type Parameters:
    
    R - return type
    
    T1 - 1st argument
    
    T2 - 2nd argument
    
    T3 - 3rd argument
    
    T4 - 4th argument
    
    Parameters:
    
    f - A CheckedFunction4
    
    Returns:
    
    the given f instance as narrowed type CheckedFunction4<T1, T2, T3, T4, R>
  - apply
```
R apply(T1 t1,
        T2 t2,
        T3 t3,
        T4 t4)
 throws java.lang.Throwable
```
    Applies this function to 4 arguments and returns the result.
    
    Parameters:
    
    t1 - argument 1
    
    t2 - argument 2
    
    t3 - argument 3
    
    t4 - argument 4
    
    Returns:
    
    the result of function application
    
    Throws:
    
    java.lang.Throwable - if something goes wrong applying this function to the given arguments
  - apply
```
default CheckedFunction3<T2,T3,T4,R> apply(T1 t1)
```
    Applies this function partially to one argument.
    
    Parameters:
    
    t1 - argument 1
    
    Returns:
    
    a partial application of this function
  - apply
```
default CheckedFunction2<T3,T4,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 CheckedFunction1<T4,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
  - arity
```
default int arity()
```
    Returns the number of function arguments.
    
    Returns:
    
    an int value >= 0
    
    See Also:
    
    Arity
  - curried
```
default Function1<T1,Function1<T2,Function1<T3,CheckedFunction1<T4,R>>>> curried()
```
    Returns a curried version of this function.
    
    Returns:
    
    a curried function equivalent to this.
  - tupled
```
default CheckedFunction1<Tuple4<T1,T2,T3,T4>,R> tupled()
```
    Returns a tupled version of this function.
    
    Returns:
    
    a tupled function equivalent to this.
  - reversed
```
default CheckedFunction4<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 CheckedFunction4<T1,T2,T3,T4,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 Function4<T1,T2,T3,T4,R> recover(java.util.function.Function<? super java.lang.Throwable,? extends Function4<? super T1,? super T2,? super T3,? super T4,? extends R>> recover)
```
    Return a composed function that first applies this CheckedFunction4 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 Function4<T1,T2,T3,T4,R> unchecked()
```
    Returns an unchecked function that will sneaky throw if an exceptions occurs when applying the function.
    
    Returns:
    
    a new Function4 that throws a Throwable.
  - andThen
```
default <V> CheckedFunction4<T1,T2,T3,T4,V> andThen(CheckedFunction1<? super R,? extends V> after)
```
    Returns a composed function that first applies this CheckedFunction4 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

Interface CheckedFunction4<T1,T2,T3,T4,R>

Field Summary

Method Summary

Field Detail

serialVersionUID

Method Detail

constant

of

lift

liftTry

narrow

apply

apply

apply

apply

arity

curried

tupled

reversed

memoized

isMemoized

recover

unchecked

andThen