/** * Returns a reversed version of this function. This may be useful in a recursive context. * * @return a reversed function equivalent to this. */ default CheckedFunction2<T2, T1, R> reversed() { return (t2, t1) -> apply(t1, t2); }
/** * Returns a curried version of this function. * * @return a curried function equivalent to this. */ default Function1<T1, CheckedFunction1<T2, R>> curried() { return t1 -> t2 -> apply(t1, t2); }
/** * Returns a tupled version of this function. * * @return a tupled function equivalent to this. */ default CheckedFunction1<Tuple2<T1, T2>, R> tupled() { return t -> apply(t._1, t._2); }
/** * Applies this function partially to one argument. * * @param t1 argument 1 * @return a partial application of this function */ default CheckedFunction1<T2, R> apply(T1 t1) { return (T2 t2) -> apply(t1, t2); }
/** * Lifts the given {@code partialFunction} into a total function that returns an {@code Try} result. * * @param partialFunction a function that is not defined for all values of the domain (e.g. by throwing) * @param <R> return type * @param <T1> 1st argument * @param <T2> 2nd argument * @return a function that applies arguments to the given {@code partialFunction} and returns {@code Success(result)} * if the function is defined for the given arguments, and {@code Failure(throwable)} otherwise. */ static <T1, T2, R> Function2<T1, T2, Try<R>> liftTry(CheckedFunction2<? super T1, ? super T2, ? extends R> partialFunction) { return (t1, t2) -> Try.of(() -> partialFunction.apply(t1, t2)); }
/** * Returns an unchecked function that will <em>sneaky throw</em> if an exceptions occurs when applying the function. * * @return a new Function2 that throws a {@code Throwable}. */ default Function2<T1, T2, R> unchecked() { return (t1, t2) -> { try { return apply(t1, t2); } catch(Throwable t) { return sneakyThrow(t); } }; }
/** * Returns a composed function that first applies this CheckedFunction2 to the given argument and then applies * {@linkplain CheckedFunction1} {@code after} to the result. * * @param <V> return type of after * @param after the function applied after this * @return a function composed of this and after * @throws NullPointerException if after is null */ default <V> CheckedFunction2<T1, T2, V> andThen(CheckedFunction1<? super R, ? extends V> after) { Objects.requireNonNull(after, "after is null"); return (t1, t2) -> after.apply(apply(t1, t2)); }
/** * Return a composed function that first applies this CheckedFunction2 to the given arguments and in case of throwable * try to get value from {@code recover} function with same arguments and throwable information. * * @param recover the function applied in case of throwable * @return a function composed of this and recover * @throws NullPointerException if recover is null */ default Function2<T1, T2, R> recover(Function<? super Throwable, ? extends BiFunction<? super T1, ? super T2, ? extends R>> recover) { Objects.requireNonNull(recover, "recover is null"); return (t1, t2) -> { try { return this.apply(t1, t2); } catch (Throwable throwable) { final BiFunction<? super T1, ? super T2, ? extends R> func = recover.apply(throwable); Objects.requireNonNull(func, () -> "recover return null for " + throwable.getClass() + ": " + throwable.getMessage()); return func.apply(t1, t2); } }; }
/** * Returns a checkable property that checks values of the 2 variables of this {@code ForAll} quantor. * * @param predicate A 2-ary predicate * @return a new {@code Property2} of 2 variables. */ public Property2<T1, T2> suchThat(CheckedFunction2<T1, T2, Boolean> predicate) { final CheckedFunction2<T1, T2, Condition> proposition = (t1, t2) -> new Condition(true, predicate.apply(t1, t2)); return new Property2<>(name, a1, a2, proposition); } }
/** * Returns an implication which composes this Property as pre-condition and a given post-condition. * * @param postcondition The postcondition of this implication * @return A new Checkable implication */ public Checkable implies(CheckedFunction2<T1, T2, Boolean> postcondition) { final CheckedFunction2<T1, T2, Condition> implication = (t1, t2) -> { final Condition precondition = predicate.apply(t1, t2); if (precondition.isFalse()) { return Condition.EX_FALSO_QUODLIBET; } else { return new Condition(true, postcondition.apply(t1, t2)); } }; return new Property2<>(name, a1, a2, implication); }
/** * Lifts the given {@code partialFunction} into a total function that returns an {@code Option} result. * * @param partialFunction a function that is not defined for all values of the domain (e.g. by throwing) * @param <R> return type * @param <T1> 1st argument * @param <T2> 2nd argument * @return a function that applies arguments to the given {@code partialFunction} and returns {@code Some(result)} * if the function is defined for the given arguments, and {@code None} otherwise. */ @SuppressWarnings("RedundantTypeArguments") static <T1, T2, R> Function2<T1, T2, Option<R>> lift(CheckedFunction2<? super T1, ? super T2, ? extends R> partialFunction) { return (t1, t2) -> Try.<R>of(() -> partialFunction.apply(t1, t2)).toOption(); }
/** * Wraps the result of a computation that may fail in a {@code Try}. * * @param f A computation that takes two {@code AutoClosable} resources. * @param <R> Result type of the computation. * @return A new {@code Try} instance. */ @SuppressWarnings("try")/* https://bugs.openjdk.java.net/browse/JDK-8155591 */ public <R> Try<R> of(CheckedFunction2<? super T1, ? super T2, ? extends R> f) { return Try.of(() -> { try (T1 t1 = t1Supplier.apply(); T2 t2 = t2Supplier.apply()) { return f.apply(t1, t2); } }); } }
final T2 val2 = Try.of(() -> gen2.apply(random)).recover(x -> { throw genError(2, size, x); }).get(); try { final Condition condition = Try.of(() -> predicate.apply(val1, val2)).recover(x -> { throw predicateError(x); }).get(); if (condition.precondition) { exhausted = false;
/** * Returns a reversed version of this function. This may be useful in a recursive context. * * @return a reversed function equivalent to this. */ default CheckedFunction2<T2, T1, R> reversed() { return (t2, t1) -> apply(t1, t2); }
/** * Returns a curried version of this function. * * @return a curried function equivalent to this. */ default Function1<T1, CheckedFunction1<T2, R>> curried() { return t1 -> t2 -> apply(t1, t2); }
/** * Applies this function partially to one argument. * * @param t1 argument 1 * @return a partial application of this function */ default CheckedFunction1<T2, R> apply(T1 t1) { return (T2 t2) -> apply(t1, t2); }
/** * Returns a tupled version of this function. * * @return a tupled function equivalent to this. */ default CheckedFunction1<Tuple2<T1, T2>, R> tupled() { return t -> apply(t._1, t._2); }
/** * Lifts the given {@code partialFunction} into a total function that returns an {@code Try} result. * * @param partialFunction a function that is not defined for all values of the domain (e.g. by throwing) * @param <R> return type * @param <T1> 1st argument * @param <T2> 2nd argument * @return a function that applies arguments to the given {@code partialFunction} and returns {@code Success(result)} * if the function is defined for the given arguments, and {@code Failure(throwable)} otherwise. */ static <T1, T2, R> Function2<T1, T2, Try<R>> liftTry(CheckedFunction2<? super T1, ? super T2, ? extends R> partialFunction) { return (t1, t2) -> Try.of(() -> partialFunction.apply(t1, t2)); }
/** * Returns a composed function that first applies this CheckedFunction2 to the given argument and then applies * {@linkplain CheckedFunction1} {@code after} to the result. * * @param <V> return type of after * @param after the function applied after this * @return a function composed of this and after * @throws NullPointerException if after is null */ default <V> CheckedFunction2<T1, T2, V> andThen(CheckedFunction1<? super R, ? extends V> after) { Objects.requireNonNull(after, "after is null"); return (t1, t2) -> after.apply(apply(t1, t2)); }
/** * Returns an unchecked function that will <em>sneaky throw</em> if an exceptions occurs when applying the function. * * @return a new Function2 that throws a {@code Throwable}. */ default Function2<T1, T2, R> unchecked() { return (t1, t2) -> { try { return apply(t1, t2); } catch(Throwable t) { return sneakyThrow(t); } }; }