com.io7m.jpra.model.types

Interface TRecords.TypeLookupType

All Known Implementing Classes:

TRecords.TypeLookupFailed, TRecords.TypeLookupSucceeded

Enclosing class:

TRecords

public static interface TRecords.TypeLookupType

The type of lookup results.

Method Summary

Modifier and Type	Method and Description
<A,E extends Exception> A	matchTypeLookup(com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupSucceeded,A,E> success, com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupFailed,A,E> failure) Evaluate functions to inspect the lookup result.

Method Detail

matchTypeLookup

<A,E extends Exception> A matchTypeLookup(com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupSucceeded,A,E> success,
                                          com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupFailed,A,E> failure)
                                   throws E extends Exception

Evaluate functions to inspect the lookup result.

Type Parameters:

A - The type of returned values

E - The type of raised exceptions

Parameters:

success - Evaluated if this result denotes success

failure - Evaluated if this result denotes failure

Returns:

The value returned by m

Throws:

E - If m raises E

E extends Exception