Trait Matcher 

pub trait Matcher<C> {
    // Required method
    fn rewrite(&self, uop: &Arc<UOp>, ctx: &mut C) -> RewriteResult;
}

Trait for pattern matchers used by the rewrite engine.

This trait provides a unified interface for pattern matching, allowing the rewrite engine to work with different matcher implementations.

Required Methods

fn rewrite(&self, uop: &Arc<UOp>, ctx: &mut C) -> RewriteResult

Attempt to rewrite a UOp using registered patterns.

Implementations on Foreign Types

impl<C, M> Matcher<C> for &M

where M: Matcher<C> + ?Sized,

fn rewrite(&self, uop: &Arc<UOp>, ctx: &mut C) -> RewriteResult

Implementors

impl<C> Matcher<C> for NoMatcher

impl<C> Matcher<C> for SimplifiedPatternMatcher<C>