com.io7m.jfunctional

Interface PartialProcedureType<A,E extends Throwable>

Type Parameters:

A - The type of the domain

E - The type of exceptions raised

public interface PartialProcedureType<A,E extends Throwable>

Non-dependent unary function type, equivalent to PartialFunction 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)
          throws E extends Throwable

Evaluate the procedure with the given argument.

Parameters:

x - The argument

Throws:

E - If required

E extends Throwable