A
- the target typepublic abstract class Contravariant<A> extends Pattern<A>
A
occurring in public field types or method return types. Instances
of this class must not disclose matched target objects.Constructor and Description |
---|
Contravariant() |
Modifier and Type | Method and Description |
---|---|
<B extends A> |
narrow()
Returns an equivalent pattern with narrower type parameter.
|
all, all, all, all, all, and, andThen, andThen, any, any, aside, binds, both, clear, clear, clone, compareTo, cut, cut, either, enPassant, eq, eqNull, equal, filter, flatten, forInstancesOf, isDeterministic, limit, match, matchAgain, matchOnce, matchVar, neq, neqNull, newAll, noMatch, none, or, orElse, orElse, preserves, preserves, repeat, some, some, some, some, someMatch, test, transform, uniquely, variable, variable
public <B extends A> Contravariant<B> narrow()
see also the complete user documentation .