Top Description Fields Methods
io.vavr

public Interface CheckedFunction1<T1, R>

Additional top-level class in compilation unit: CheckedFunction1Module.

extends Serializable
Annotations
@FunctionalInterface
Type Parameters
<T1>
argument 1 of the function
<R>
return type of the function
Static Imports
io.vavr.CheckedFunction1Module.sneakyThrow

Represents a function with one argument.
Author
Daniel Dietrich

Field Summary

Modifier and TypeField and Description
public static final long

Method Summary

Modifier and TypeMethod and Description
public default <
return type of after
V
>
CheckedFunction1<T1, V>

Returns:

a function composed of this and after
andThen
(CheckedFunction1<? super R, ? extends V>
the function applied after this
after
)

Returns a composed function that first applies this CheckedFunction1 to the given argument and then applies CheckedFunction1 after to the result.

public R

Returns:

the result of function application
apply
(T1
argument 1
t1
)

Applies this function to one argument and returns the result.

public default int

Returns:

an int value >= 0
arity
()

Returns the number of function arguments.

public default <
argument type of before
V
>
CheckedFunction1<V, R>

Returns:

a function composed of before and this
compose
(CheckedFunction1<? super V, ? extends T1>
the function applied before this
before
)

Returns a composed function that first applies the CheckedFunction1 before the given argument and then applies this CheckedFunction1 to the result.

public static <
generic parameter type 1 of the resulting function
T1
,
the result type
R
>
CheckedFunction1<T1, R>

Returns:

a function always returning the given value
constant
(R
the value to be returned
value
)

Returns a function that always returns the constant value that you give in parameter.

public default CheckedFunction1<T1, R>

Returns:

a curried function equivalent to this.
curried
()

Returns a curried version of this function.

public static <
argument type (and return type) of the identity function
T
>
CheckedFunction1<T, T>

Returns:

the identity CheckedFunction1
identity
()

Returns the identity CheckedFunction1, i.e. the function that returns its input.

public default boolean

Returns:

true, if this function is memoizing, false otherwise
isMemoized
()

Checks if this function is memoizing (= caching) computed values.

public static <
1st argument
T1
,
return type
R
>
Function1<T1, Option<R>>

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.
lift
(CheckedFunction1<? super T1, ? extends R>
a function that is not defined for all values of the domain (e.g. by throwing)
partialFunction
)

Lifts the given partialFunction into a total function that returns an Option result.

public static <
1st argument
T1
,
return type
R
>
Function1<T1, Try<R>>

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.
liftTry
(CheckedFunction1<? super T1, ? extends R>
a function that is not defined for all values of the domain (e.g. by throwing)
partialFunction
)

Lifts the given partialFunction into a total function that returns an Try result.

public default CheckedFunction1<T1, R>

Returns:

a memoizing function equivalent to this.
memoized
()

Returns a memoizing version of this function, which computes the return value for given arguments only one time.

public static <
1st argument
T1
,
return type
R
>
CheckedFunction1<T1, R>

Returns:

the given f instance as narrowed type CheckedFunction1<T1, R>
narrow
(CheckedFunction1<? super T1, ? extends R>
A CheckedFunction1
f
)

Narrows the given CheckedFunction1<?

public static <
1st argument
T1
,
return type
R
>
CheckedFunction1<T1, R>

Returns:

a CheckedFunction1
of
(CheckedFunction1<T1, R>
(typically) a method reference, e.g. Type::method
methodReference
)

Creates a CheckedFunction1 based on

public default Function1<T1, R>

Returns:

a function composed of this and recover
recover
(Function<? super Throwable, ? extends Function<? super T1, ? extends R>>
the function applied in case of throwable
recover
)

Return a composed function that first applies this CheckedFunction1 to the given arguments and in case of throwable try to get value from recover function with same arguments and throwable information.

public default CheckedFunction1<T1, R>

Returns:

a reversed function equivalent to this.
reversed
()

Returns a reversed version of this function.

public default CheckedFunction1<Tuple1<T1>, R>

Returns:

a tupled function equivalent to this.
tupled
()

Returns a tupled version of this function.

public default Function1<T1, R>

Returns:

a new Function1 that throws a Throwable.
unchecked
()

Returns an unchecked function that will sneaky throw if an exceptions occurs when applying the function.

Field Detail

serialVersionUIDback to summary
public static final long serialVersionUID

The serial version uid.

Method Detail

andThenback to summary
public default <V> CheckedFunction1<T1, V> andThen(CheckedFunction1<? super R, ? extends V> after)

Returns a composed function that first applies this CheckedFunction1 to the given argument and then applies CheckedFunction1 after to the result.

Parameters
<V>
return type of after
after:CheckedFunction1<? super R, ? extends V>

the function applied after this

Returns:CheckedFunction1<T1, V>

a function composed of this and after

Exceptions
NullPointerException:
if after is null
applyback to summary
public R apply(T1 t1) throws Throwable

Applies this function to one argument and returns the result.

Parameters
t1:T1

argument 1

Returns:R

the result of function application

Exceptions
Throwable:
if something goes wrong applying this function to the given arguments
arityback to summary
public default int arity()

Returns the number of function arguments.

Returns:int

an int value >= 0

See Also
Arity
composeback to summary
public default <V> CheckedFunction1<V, R> compose(CheckedFunction1<? super V, ? extends T1> before)

Returns a composed function that first applies the CheckedFunction1 before the given argument and then applies this CheckedFunction1 to the result.

Parameters
<V>
argument type of before
before:CheckedFunction1<? super V, ? extends T1>

the function applied before this

Returns:CheckedFunction1<V, R>

a function composed of before and this

Exceptions
NullPointerException:
if before is null
constantback to summary
public static <T1, R> CheckedFunction1<T1, R> constant(R value)

Returns a function that always returns the constant value that you give in parameter.

Parameters
<T1>
generic parameter type 1 of the resulting function
<R>
the result type
value:R

the value to be returned

Returns:CheckedFunction1<T1, R>

a function always returning the given value

curriedback to summary
public default CheckedFunction1<T1, R> curried()

Returns a curried version of this function.

Returns:CheckedFunction1<T1, R>

a curried function equivalent to this.

identityback to summary
public static <T> CheckedFunction1<T, T> identity()

Returns the identity CheckedFunction1, i.e. the function that returns its input.

Parameters
<T>
argument type (and return type) of the identity function
Returns:CheckedFunction1<T, T>

the identity CheckedFunction1

isMemoizedback to summary
public default boolean isMemoized()

Checks if this function is memoizing (= caching) computed values.

Returns:boolean

true, if this function is memoizing, false otherwise

liftback to summary
public static <T1, R> Function1<T1, Option<R>> lift(CheckedFunction1<? super T1, ? extends R> partialFunction)

Lifts the given partialFunction into a total function that returns an Option result.

Parameters
<T1>
1st argument
<R>
return type
partialFunction:CheckedFunction1<? super T1, ? extends R>

a function that is not defined for all values of the domain (e.g. by throwing)

Returns:Function1<T1, Option<R>>

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.

Annotations
@SuppressWarnings:RedundantTypeArguments
liftTryback to summary
public static <T1, R> Function1<T1, Try<R>> liftTry(CheckedFunction1<? super T1, ? extends R> partialFunction)

Lifts the given partialFunction into a total function that returns an Try result.

Parameters
<T1>
1st argument
<R>
return type
partialFunction:CheckedFunction1<? super T1, ? extends R>

a function that is not defined for all values of the domain (e.g. by throwing)

Returns:Function1<T1, Try<R>>

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.

memoizedback to summary
public default CheckedFunction1<T1, 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:CheckedFunction1<T1, R>

a memoizing function equivalent to this.

narrowback to summary
public static <T1, R> CheckedFunction1<T1, R> narrow(CheckedFunction1<? super T1, ? extends R> f)

Narrows the given CheckedFunction1<? super T1, ? extends R> to CheckedFunction1<T1, R>

Parameters
<T1>
1st argument
<R>
return type
f:CheckedFunction1<? super T1, ? extends R>

A CheckedFunction1

Returns:CheckedFunction1<T1, R>

the given f instance as narrowed type CheckedFunction1<T1, R>

Annotations
@SuppressWarnings:unchecked
ofback to summary
public static <T1, R> CheckedFunction1<T1, R> of(CheckedFunction1<T1, R> methodReference)

Creates a CheckedFunction1 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
Parameters
<T1>
1st argument
<R>
return type
methodReference:CheckedFunction1<T1, R>

(typically) a method reference, e.g. Type::method

Returns:CheckedFunction1<T1, R>

a CheckedFunction1

recoverback to summary
public default Function1<T1, R> recover(Function<? super Throwable, ? extends Function<? super T1, ? extends R>> recover)

Return a composed function that first applies this CheckedFunction1 to the given arguments and in case of throwable try to get value from recover function with same arguments and throwable information.

Parameters
recover:Function<? super Throwable, ? extends Function<? super T1, ? extends R>>

the function applied in case of throwable

Returns:Function1<T1, R>

a function composed of this and recover

Exceptions
NullPointerException:
if recover is null
reversedback to summary
public default CheckedFunction1<T1, R> reversed()

Returns a reversed version of this function. This may be useful in a recursive context.

Returns:CheckedFunction1<T1, R>

a reversed function equivalent to this.

tupledback to summary
public default CheckedFunction1<Tuple1<T1>, R> tupled()

Returns a tupled version of this function.

Returns:CheckedFunction1<Tuple1<T1>, R>

a tupled function equivalent to this.

uncheckedback to summary
public default Function1<T1, R> unchecked()

Returns an unchecked function that will sneaky throw if an exceptions occurs when applying the function.

Returns:Function1<T1, R>

a new Function1 that throws a Throwable.