binary.checked.ObjCharToObjE 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 (T, char) -> R}.
 *
 * @param  the type of argument 1
 * @param  the type of the return value
 * @param  the {@code Exception} type that the operation may throw
 */
@FunctionalInterface
public interface ObjCharToObjE {

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

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

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

    /**
     * Binds {@code (ch)} to the end of {@code f}, returning a new function
     * of type {@code (T) -> R}.
     *
     * @param  the type of argument 1
     * @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 2
     * @return a new function {@code (T t) -> R} that calls
     *      {@code f.call(t, ch)} and returns the result.
     */
    static  net.mintern.functions.unary.checked.ObjToObjE
    rbind(ObjCharToObjE f, char ch) {
        return (t) -> f.call(t, ch);
    }

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

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

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