Struct ExprLet 

pub struct ExprLet {
    pub bindings: Vec<Expr>,
    pub body: Box<Expr>,
}

A scoped binding expression with one or more bindings.

Evaluates each binding in order, pushes all results into a new scope, then evaluates body in that scope. The body references binding i via Arg(position=i, nesting=0).

ExprLet is transient scaffolding used during lowering. It is always inlined away (by substituting the bindings into the body) before the planner sees the expression tree.

Fields

bindings: Vec<Expr>

Expressions whose results are bound as arg(0), arg(1), etc. in a new scope.

body: Box<Expr>

The body expression evaluated in the new scope.

Trait Implementations

impl Clone for ExprLet

fn clone(&self) -> ExprLet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprLet

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

Formats the value using the given formatter.

impl From<ExprLet> for Expr

fn from(value: ExprLet) -> Self

Converts to this type from the input type.

impl PartialEq for ExprLet

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