Package | Description |
---|---|
eu.bandm.tools.ops |
Modifier and Type | Class and Description |
---|---|
static class |
Pattern.Atomic<A> |
static class |
Pattern.Binary<A,B,C> |
static class |
Pattern.Contravariant<A> |
class |
Pattern.Proxy |
static class |
Pattern.Transform<A,B> |
static class |
Pattern.Unary<A,B> |
static class |
Pattern.Variable<A>
Pattern variable.
|
Modifier and Type | Field and Description |
---|---|
protected Pattern<? super A> |
Pattern.Unary.body |
protected Pattern<? super A> |
Pattern.Binary.left |
protected Pattern<? super B> |
Pattern.Binary.right |
Modifier and Type | Method and Description |
---|---|
static <A> Pattern<Iterable<? extends A>> |
Pattern.first(Pattern<? super A> elem) |
Pattern<Object> |
Pattern.forInstancesOf(Class<? extends A> cls) |
Pattern<A> |
Pattern.limit(int n) |
Pattern<Iterable<? extends A>> |
Pattern.somewhere()
Return a pattern that attempts to match this pattern
successively to all elements of an
Iterable . |
<B> Pattern<B> |
Pattern.transform(Function<? super B,? extends A> fun) |
Pattern<A> |
Pattern.uniquely()
Returns a pattern that matches if and only if this pattern has a
unique match.
|
Modifier and Type | Method and Description |
---|---|
Pattern.Contravariant<A> |
Pattern.and(Pattern<A> p) |
<B> Iterable<A> |
Pattern.Variable.bindings(Pattern<B> root,
B arg) |
static <A> Pattern.Contravariant<A> |
Pattern.both(Pattern<? super A> p,
Pattern<? super A> q)
Combine two patterns conjunctively.
|
static <A> Pattern.Contravariant<A> |
Pattern.both(Pattern<? super A> p,
Pattern<? super A> q)
Combine two patterns conjunctively.
|
static <A> Pattern.Contravariant<A> |
Pattern.either(Pattern<? super A> p,
Pattern<? super A> q)
Combine two patterns disjunctively.
|
static <A> Pattern.Contravariant<A> |
Pattern.either(Pattern<? super A> p,
Pattern<? super A> q)
Combine two patterns disjunctively.
|
static <A> Pattern<Iterable<? extends A>> |
Pattern.first(Pattern<? super A> elem) |
Pattern.Contravariant<A> |
Pattern.or(Pattern<A> p) |
Constructor and Description |
---|
Binary(Pattern<? super A> left,
Pattern<? super B> right) |
Binary(Pattern<? super A> left,
Pattern<? super B> right) |
Transform(Pattern<? super B> body) |
Unary(Pattern<? super A> body) |
see also the complete user documentation .