Struct Expr 

pub struct Expr { /* private fields */ }

表达式句柄：arena 索引 + 共享上下文引用。

Clone 廉价（引用计数 + 4 字节索引）。同一 Context 内结构相等 ⇔ 索引相等； 跨 Context 的 == 走结构比较。不实现 Hash/Ord：句柄的序只在所属 Context 内有意义，用 Context::cmp_expr。

Implementations

impl Expr

pub fn raw_id(&self) -> u32

arena 索引。仅在同一 Context 内有意义（相等判据/诊断用）。

pub fn pow<E: IntoExpr>(self, exp: E) -> Expr

幂。指数可传 Expr/&Expr/整数字面量/浮点字面量。

Trait Implementations

impl Add for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: Expr) -> Expr

Performs the + operation.

impl Add<&Expr> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: &Expr) -> Expr

Performs the + operation.

impl Add<&Expr> for &Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: &Expr) -> Expr

Performs the + operation.

impl Add<Expr> for &Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: Expr) -> Expr

Performs the + operation.

impl Clone for Expr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Div for Expr

type Output = Expr

The resulting type after applying the / operator.

fn div(self, rhs: Expr) -> Expr

Performs the / operation.

impl Div<&Expr> for Expr

type Output = Expr

The resulting type after applying the / operator.

fn div(self, rhs: &Expr) -> Expr

Performs the / operation.

impl Div<&Expr> for &Expr

type Output = Expr

The resulting type after applying the / operator.

fn div(self, rhs: &Expr) -> Expr

Performs the / operation.

impl Div<Expr> for &Expr

type Output = Expr

The resulting type after applying the / operator.

fn div(self, rhs: Expr) -> Expr

Performs the / operation.

impl Eq for Expr

impl IntoExpr for Expr

fn into_id(self, _c: &mut Inner) -> u32

impl IntoExpr for &Expr

fn into_id(self, _c: &mut Inner) -> u32

impl Mul for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: Expr) -> Expr

Performs the * operation.

impl Mul<&Expr> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: &Expr) -> Expr

Performs the * operation.

impl Mul<&Expr> for &Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: &Expr) -> Expr

Performs the * operation.

impl Mul<Expr> for &Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: Expr) -> Expr

Performs the * operation.

impl Neg for Expr

type Output = Expr

The resulting type after applying the - operator.

fn neg(self) -> Expr

Performs the unary - operation.

impl Neg for &Expr

type Output = Expr

The resulting type after applying the - operator.

fn neg(self) -> Expr

Performs the unary - operation.

impl PartialEq for Expr

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

Equality operator ==.

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

Inequality operator !=.

impl Sub for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: Expr) -> Expr

Performs the - operation.

impl Sub<&Expr> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: &Expr) -> Expr

Performs the - operation.

impl Sub<&Expr> for &Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: &Expr) -> Expr

Performs the - operation.

impl Sub<Expr> for &Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: Expr) -> Expr

Performs the - operation.