Trait RewriteRule 

pub trait RewriteRule {
    // Required method
    fn rewrite(&self, node: NormalizedSelection) -> NormalizedSelection;
}

A trait representing a single bottom-up rewrite rule on normalized selections.

Implementors define a transformation step applied after children have been rewritten. These rules are composed into normalization passes (see [normalize]) to simplify or canonicalize selection expressions.

This trait forms the basis for extensible normalization. Future systems may support top-down or contextual rewrites as well.

Required Methods

fn rewrite(&self, node: NormalizedSelection) -> NormalizedSelection

Applies a rewrite step to a node whose children have already been recursively rewritten.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<R1: RewriteRule, R2: RewriteRule> RewriteRule for (R1, R2)

fn rewrite(&self, node: NormalizedSelection) -> NormalizedSelection

Implementors

impl RewriteRule for AbsorbtionRules

impl RewriteRule for FlatteningRules

impl RewriteRule for IdentityRules