com.io7m.jfunctional

Interface PartialFunctionType<A,B,E extends Throwable>

Type Parameters:

A - The type of the domain

B - The type of the codomain

E - The type of exceptions raised

public interface PartialFunctionType<A,B,E extends Throwable>

Non-dependent unary partial function type.

Method Summary

Methods

Modifier and Type	Method and Description
B	call(A x) Evaluate the function with the given argument.

Method Detail

call

B call(A x)
       throws E extends Throwable

Evaluate the function with the given argument.

Parameters:

x - The argument

Returns:

A value of type B

Throws:

E - If required

E extends Throwable