Uses of Class
com.io7m.jpra.model.types.TRecords.TypeLookupSucceeded

Packages that use TRecords.TypeLookupSucceeded

Package	Description
com.io7m.jpra.model.types	Types.

Uses of TRecords.TypeLookupSucceeded in com.io7m.jpra.model.types

Method parameters in com.io7m.jpra.model.types with type arguments of type TRecords.TypeLookupSucceeded

Modifier and Type	Method and Description
<A,E extends Exception> A	TRecords.TypeLookupType.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.
<A,E extends Exception> A	TRecords.TypeLookupFailed.matchTypeLookup(com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupSucceeded,A,E> success, com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupFailed,A,E> failure)
<A,E extends Exception> A	TRecords.TypeLookupSucceeded.matchTypeLookup(com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupSucceeded,A,E> success, com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupFailed,A,E> failure)