Trait exprz::pattern::Pattern [−][src]
This is supported on crate feature
pattern
only.Pattern Trait
Required methods
fn matches_atom(&self, atom: &E::Atom) -> bool
[src]
Checks if the pattern matches an atom.
fn matches_group(&self, group: <E::Group as Group<E>>::Ref) -> bool
[src]
Checks if the pattern matches a group.
Provided methods
Loading content...Implementors
impl<'p, P, E> Pattern<E> for BasicShapePattern<'p, P> where
E: Expression,
P: Expression<Atom = BasicShape>,
[src]
E: Expression,
P: Expression<Atom = BasicShape>,
fn matches_atom(&self, atom: &E::Atom) -> bool
[src]
fn matches_group(&self, group: <E::Group as Group<E>>::Ref) -> bool
[src]
fn matches(&self, expr: &E) -> bool
[src]
impl<'p, P, E> Pattern<E> for EqualExpressionPattern<'p, P> where
E: Expression,
P: Expression,
P::Atom: PartialEq<E::Atom>,
[src]
E: Expression,
P: Expression,
P::Atom: PartialEq<E::Atom>,
fn matches_atom(&self, atom: &E::Atom) -> bool
[src]
fn matches_group(&self, group: <E::Group as Group<E>>::Ref) -> bool
[src]
impl<'p, P, E> Pattern<E> for SubExpressionPattern<'p, P> where
E: Expression,
P: Expression,
P::Atom: PartialEq<E::Atom>,
[src]
E: Expression,
P: Expression,
P::Atom: PartialEq<E::Atom>,
fn matches_atom(&self, atom: &E::Atom) -> bool
[src]
fn matches_group(&self, group: <E::Group as Group<E>>::Ref) -> bool
[src]
fn matches(&self, expr: &E) -> bool
[src]
impl<'p, W, P, E> Pattern<E> for WildCardPattern<'p, W, P> where
E: Expression,
W: Fn(&P::Atom) -> bool,
P: Expression,
P::Atom: PartialEq<E::Atom>,
[src]
E: Expression,
W: Fn(&P::Atom) -> bool,
P: Expression,
P::Atom: PartialEq<E::Atom>,