Struct RecursorRule 

pub struct RecursorRule {
    pub ctor: Name,
    pub nfields: u32,
    pub rhs: Expr,
}

A single recursor reduction rule.

When the recursor’s major premise is headed by constructor ctor, the recursor reduces using the rhs expression.

Fields

ctor: Name

Constructor this rule applies to.

nfields: u32

Number of fields for this constructor.

rhs: Expr

Right-hand side of the reduction rule.

Trait Implementations

impl Clone for RecursorRule

fn clone(&self) -> RecursorRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecursorRule

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

Formats the value using the given formatter.

impl PartialEq for RecursorRule

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for RecursorRule