Struct ValueNumberReductionOp 

pub struct ValueNumberReductionOp {
    pub operator: Symbol,
    pub operand_domain: Symbol,
    pub cost: u16,
    pub apply: fn(&mut Cx, Vec<Value>) -> Result<Value>,
}

A value-level reduction over a homogeneous list of operands.

Fields

operator: Symbol

Operator symbol this rule implements.

operand_domain: Symbol

Required domain of every operand.

cost: u16

Relative cost, used to rank competing implementations.

apply: fn(&mut Cx, Vec<Value>) -> Result<Value>

Folds the operator over a vector of domain values.

Trait Implementations

impl Clone for ValueNumberReductionOp

fn clone(&self) -> ValueNumberReductionOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.