Enum Reduction 

pub enum Reduction {
    Replace {
        with: Comprehension,
    },
    Rewrite {
        rule: RuleId,
        witness: Comprehension,
    },
}

The rewrite carried by a non-empty finding.

Variants

Replace

Replace the entire AST with with (whole-tree swap).

Fields

with: Comprehension

The AST that replaces the whole input.

Rewrite

Rewrite via a tagged R-rule. The witness is the new AST; rule is the catalog identifier.

Fields

rule: RuleId

The catalog rule that fired.

witness: Comprehension

The rewritten AST.

Trait Implementations

impl Clone for Reduction

fn clone(&self) -> Reduction

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Reduction

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Reduction

fn eq(&self, other: &Reduction) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Reduction