com.io7m.jpra.model.types

Interface TypeUserDefinedMatcherType<A,E extends Exception>

Type Parameters:

A - The type of returned values

E - The type of raised exceptions

public interface TypeUserDefinedMatcherType<A,E extends Exception>

The type of user-defined type matchers.

Method Summary

Modifier and Type	Method and Description
A	matchPacked(TPacked t) Match a packed type.
A	matchRecord(TRecord t) Match an record type.

Method Detail

matchRecord

A matchRecord(TRecord t)
       throws E extends Exception

Match an record type.

Parameters:

t - The type expression

Returns:

A value of A

Throws:

E - If required

E extends Exception

matchPacked

A matchPacked(TPacked t)
       throws E extends Exception

Match a packed type.

Parameters:

t - The type expression

Returns:

A value of A

Throws:

E - If required

E extends Exception