Uses of Interface
com.io7m.jpra.model.types.TypeUserDefinedMatcherType

Packages that use TypeUserDefinedMatcherType

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

Uses of TypeUserDefinedMatcherType in com.io7m.jpra.model.types

Methods in com.io7m.jpra.model.types with parameters of type TypeUserDefinedMatcherType

Modifier and Type	Method and Description
<A,E extends Exception> A	TypeUserDefinedType.matchTypeUserDefined(TypeUserDefinedMatcherType<A,E> m) Accept a matcher.
<A,E extends Exception> A	TRecord.matchTypeUserDefined(TypeUserDefinedMatcherType<A,E> m)
<A,E extends Exception> A	TPacked.matchTypeUserDefined(TypeUserDefinedMatcherType<A,E> m)