Enum GenExpr 

pub enum GenExpr {
    Index,
    Const(i64),
    Add(Box<GenExpr>, Box<GenExpr>),
    Sub(Box<GenExpr>, Box<GenExpr>),
    Mul(Box<GenExpr>, Box<GenExpr>),
    Div(Box<GenExpr>, Box<GenExpr>),
    Mod(Box<GenExpr>, Box<GenExpr>),
    Select {
        op: GenCmp,
        lhs: Box<GenExpr>,
        rhs: Box<GenExpr>,
        then: Box<GenExpr>,
        els: Box<GenExpr>,
    },
}

A restricted, pure, TOTAL expression over the element index i. Every op is total (div/mod by zero is 0, wrapping i64 arithmetic), and a malformed/hostile tree is bounded at decode by a node budget + depth cap, so evaluation can never panic, diverge, overflow, or escape.

Variants

Index

Const(i64)

Add(Box<GenExpr>, Box<GenExpr>)

Sub(Box<GenExpr>, Box<GenExpr>)

Mul(Box<GenExpr>, Box<GenExpr>)

Div(Box<GenExpr>, Box<GenExpr>)

Mod(Box<GenExpr>, Box<GenExpr>)

Select

Fields

op: GenCmp

lhs: Box<GenExpr>

rhs: Box<GenExpr>

then: Box<GenExpr>

els: Box<GenExpr>

Trait Implementations

impl Clone for GenExpr

fn clone(&self) -> GenExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GenExpr

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

Formats the value using the given formatter.

impl PartialEq for GenExpr

fn eq(&self, other: &GenExpr) -> 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 Eq for GenExpr

impl StructuralPartialEq for GenExpr