Trait Match 

pub trait Match<A: AstTypes> {
    // Required methods
    fn apply(&mut self, sub: &Subst<A>);
    fn recurse(sub: &mut Subst<A>, pat: &Self, expr: &Self) -> bool;

    // Provided methods
    fn apply_rule(&mut self, pat: &Self, template: &Self) -> bool
       where Self: Sized + Clone { ... }
    fn match_with(&self, pat: &Self) -> Option<Subst<A>> { ... }
}

Required Methods

fn apply(&mut self, sub: &Subst<A>)

With self as the pattern, recursively applies the Subst

fn recurse(sub: &mut Subst<A>, pat: &Self, expr: &Self) -> bool

Implements recursive Subst-building for Self

Provided Methods

fn apply_rule(&mut self, pat: &Self, template: &Self) -> bool

where Self: Sized + Clone,

Applies a substitution rule from pat to template on self

fn match_with(&self, pat: &Self) -> Option<Subst<A>>

Matches self against the provided pattern

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<A: AstTypes, T: Match<A>> Match<A> for Option<T>

fn recurse(sub: &mut Subst<A>, pat: &Self, expr: &Self) -> bool

fn apply(&mut self, sub: &Subst<A>)

impl<A: AstTypes, T: Match<A>> Match<A> for [T]

fn recurse(sub: &mut Subst<A>, pat: &Self, expr: &Self) -> bool

fn apply(&mut self, sub: &Subst<A>)

impl<A: AstTypes, T: Match<A>> Match<A> for Box<T>

fn recurse(sub: &mut Subst<A>, pat: &Self, expr: &Self) -> bool

fn apply(&mut self, sub: &Subst<A>)

impl<A: AstTypes, T: Match<A>> Match<A> for Vec<T>

fn recurse(sub: &mut Subst<A>, pat: &Self, expr: &Self) -> bool

fn apply(&mut self, sub: &Subst<A>)

Implementors

impl<A: AstTypes> Match<A> for Expr<A>

impl<A: AstTypes> Match<A> for Op

impl<A: AstTypes> Match<A> for Pat<A>

impl<A: AstTypes> Match<A> for Bind<A>

impl<A: AstTypes> Match<A> for Make<A>

impl<A: AstTypes> Match<A> for MakeArm<A>

impl<A: AstTypes> Match<A> for Match<A>

impl<A: AstTypes> Match<A> for MatchArm<A>

impl<M: Match<A> + Annotation, A: AstTypes> Match<A> for At<M, A>