Struct NumberReductionOp 

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

A literal-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<NumberLiteral>) -> Result<Value>

Folds the operator over a vector of domain literals.

Trait Implementations

impl Clone for NumberReductionOp

fn clone(&self) -> NumberReductionOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.