com.io7m.jfunctional

Interface ProcedureType<A>

Type Parameters:

A - The type of the domain

public interface ProcedureType<A>

Non-dependent unary function type, equivalent to Function but substituting void for Unit to avoid allocating useless objects.

Method Summary

Methods

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

Method Detail

call

void call(A x)

Evaluate the procedure with the given argument.

Parameters:

x - The argument