Trait exprz::pattern::Pattern

pub trait Pattern<E> where
    E: Expression, {
    fn matches_atom(&self, atom: &E::Atom) -> bool;
    fn matches_group(
        &self, 
        group: <E::Group as IntoIteratorGen<E>>::IterGen
    ) -> bool;

    fn matches(&self, expr: &E) -> bool { ... }
}

This is supported on crate feature pattern only.

Pattern Trait

Required methods

fn matches_atom(&self, atom: &E::Atom) -> bool

Checks if the pattern matches an atom.

fn matches_group(
    &self,
    group: <E::Group as IntoIteratorGen<E>>::IterGen
) -> bool

Checks if the pattern matches a group.

Loading content...

Provided methods

fn matches(&self, expr: &E) -> bool

Checks if the pattern matches an expression.

Loading content...

Implementors

impl<'p, P, E> Pattern<E> for BasicShapePattern<'p, P> where
    E: Expression,
    P: Expression<Atom = BasicShape>, 

fn matches_atom(&self, atom: &E::Atom) -> bool

fn matches_group(
    &self,
    group: <E::Group as IntoIteratorGen<E>>::IterGen
) -> bool

fn matches(&self, expr: &E) -> bool

impl<'p, P, E> Pattern<E> for EqualExpressionPattern<'p, P> where
    E: Expression,
    P: Expression,
    P::Atom: PartialEq<E::Atom>, 

fn matches_atom(&self, atom: &E::Atom) -> bool

fn matches_group(
    &self,
    group: <E::Group as IntoIteratorGen<E>>::IterGen
) -> bool

impl<'p, P, E> Pattern<E> for SubExpressionPattern<'p, P> where
    E: Expression,
    P: Expression,
    P::Atom: PartialEq<E::Atom>, 

fn matches_atom(&self, atom: &E::Atom) -> bool

fn matches_group(
    &self,
    group: <E::Group as IntoIteratorGen<E>>::IterGen
) -> bool

fn matches(&self, expr: &E) -> bool

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>, 

fn matches_atom(&self, atom: &E::Atom) -> bool

fn matches_group(
    &self,
    group: <E::Group as IntoIteratorGen<E>>::IterGen
) -> bool

fn matches(&self, expr: &E) -> bool

Loading content...