public abstract static class Pattern.Contravariant<A> extends Pattern<A>
Pattern.Atomic<A>, Pattern.Binary<A,B,C>, Pattern.Contravariant<A>, Pattern.Proxy, Pattern.Transform<A,B>, Pattern.Unary<A,B>, Pattern.Variable<A>
Constructor and Description |
---|
Contravariant() |
Modifier and Type | Method and Description |
---|---|
<B extends A> |
narrow() |
and, any, bindsVariable, both, clear, cut, disturbsVariable, either, eq, first, forInstancesOf, isDeterministic, limit, match, matchAgain, matchOnce, none, or, p_null, savesVariable, somewhere, transform, uniquely, variable, variable
public <B extends A> Pattern.Contravariant<B> narrow()
see also the complete user documentation .