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".

Implementations on Foreign Types

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 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 Vec<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>)

Implementors

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

impl<A: AstTypes> Match<A> for Expr<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<A: AstTypes> Match<A> for Op

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

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