com.io7m.jfunctional

Interface FunctionType<A,B>

Type Parameters:

A - The type of the domain

B - The type of the codomain

public interface FunctionType<A,B>

Non-dependent unary 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)

Evaluate the function with the given argument.

Parameters:

x - The argument

Returns:

A value of type B