binary.checked.CharObjToObjE Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of functions-binary-extended Show documentation
Provides functional interfaces for most two-argument functions
There is a newer version: 2.0
Show newest version
package net.mintern.functions.binary.checked;

/**
 * An operation of type {@code (char, U) -> R}.
 *
 * @param  the type of argument 2
 * @param  the type of the return value
 * @param  the {@code Exception} type that the operation may throw
 */
@FunctionalInterface
public interface CharObjToObjE {

    /**
     * Performs this operation.
     *
     * @param ch argument 1
     * @param u argument 2
     * @return the result of the operation
     * @throws E if the operation cannot be completed
     */
    R call(char ch, U u) throws E;

    /**
     * Binds {@code (ch)} to the beginning of {@code f}, returning a new function
     * of type {@code (U) -> R}.
     *
     * @param  the type of argument 2
     * @param  the type of the return value
     * @param  the {@code Exception} type that the operation may throw
     * @param f the unbound function
     * @param ch argument 1
     * @return a new function {@code (U u) -> R} that calls
     *      {@code f.call(ch, u)} and returns the result.
     */
    static  net.mintern.functions.unary.checked.ObjToObjE
    bind(CharObjToObjE f, char ch) {
        return (u) -> f.call(ch, u);
    }

    /**
     * Binds {@code (ch)} to the beginning of {@code this}, returning a new function
     * of type {@code (U) -> R}.
     *
     * @param ch argument 1
     * @return a new function {@code (U u) -> R} that calls
     *      {@code this.call(ch, u)} and returns the result.
     */
    default net.mintern.functions.unary.checked.ObjToObjE bind(char ch) {
        return CharObjToObjE.bind(this, ch);
    }

    /**
     * Binds {@code (u)} to the end of {@code f}, returning a new function
     * of type {@code (char) -> R}.
     *
     * @param  the type of argument 2
     * @param  the type of the return value
     * @param  the {@code Exception} type that the operation may throw
     * @param f the unbound function
     * @param u argument 2
     * @return a new function {@code (char ch) -> R} that calls
     *      {@code f.call(ch, u)} and returns the result.
     */
    static  net.mintern.functions.unary.checked.CharToObjE
    rbind(CharObjToObjE f, U u) {
        return (ch) -> f.call(ch, u);
    }

    /**
     * Binds {@code (u)} to the end of {@code this}, returning a new function
     * of type {@code (char) -> R}.
     *
     * @param u argument 2
     * @return a new function {@code (char ch) -> R} that calls
     *      {@code this.call(ch, u)} and returns the result.
     */
    default net.mintern.functions.unary.checked.CharToObjE rbind(U u) {
        return CharObjToObjE.rbind(this, u);
    }

    /**
     * Binds {@code (ch, u)} to {@code f}, returning a new function
     * of type {@code () -> R}.
     *
     * @param  the type of argument 2
     * @param  the type of the return value
     * @param  the {@code Exception} type that the operation may throw
     * @param f the unbound function
     * @param ch argument 1
     * @param u argument 2
     * @return a new function {@code () -> R} that calls
     *      {@code f.call(ch, u)} and returns the result.
     */
    @SuppressWarnings("unchecked") // maven spuriously warns about a type error in this case
    static  net.mintern.functions.nullary.checked.NilToObjE
    bind(CharObjToObjE f, char ch, U u) {
        return () -> f.call(ch, u);
    }

    /**
     * Binds {@code (ch, u)} to {@code this}, returning a new function
     * of type {@code () -> R}.
     *
     * @param ch argument 1
     * @param u argument 2
     * @return a new function {@code () -> R} that calls
     *      {@code this.call(ch, u)} and returns the result.
     */
    default net.mintern.functions.nullary.checked.NilToObjE bind(char ch, U u) {
        return CharObjToObjE.bind(this, ch, u);
    }
}