Struct egg::Rewrite

source · []
#[non_exhaustive]
pub struct Rewrite<L, N> { pub name: Symbol, pub searcher: Arc<dyn Searcher<L, N> + Sync + Send>, pub applier: Arc<dyn Applier<L, N> + Sync + Send>, }
Expand description

A rewrite that searches for the lefthand side and applies the righthand side.

The rewrite! macro is the easiest way to create rewrites.

A Rewrite consists principally of a Searcher (the lefthand side) and an Applier (the righthand side). It additionally stores a name used to refer to the rewrite and a long name used for debugging.

Fields (Non-exhaustive)

This struct is marked as non-exhaustive
Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.
name: Symbol

The name of the rewrite.

searcher: Arc<dyn Searcher<L, N> + Sync + Send>

The searcher (left-hand side) of the rewrite.

applier: Arc<dyn Applier<L, N> + Sync + Send>

The applier (right-hand side) of the rewrite.

Implementations

Create a new Rewrite. You typically want to use the rewrite! macro instead.

Call search on the Searcher.

Call apply_matches on the Applier.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.