toasty-core 0.5.0

Core types, schema representations, and driver interface for Toasty
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

use super::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.
///
/// # Examples
///
/// ```text
/// let [x = 5, y = 10] in (arg(0) + arg(1))
/// // bindings: [5, 10], body: arg(0) + arg(1)
/// // after inlining: 5 + 10
/// ```
#[derive(Debug, Clone, PartialEq)]
pub struct ExprLet {
    /// Expressions whose results are bound as `arg(0)`, `arg(1)`, etc. in a
    /// new scope.
    pub bindings: Vec<Expr>,

    /// The body expression evaluated in the new scope.
    pub body: Box<Expr>,
}

impl From<ExprLet> for Expr {
    fn from(value: ExprLet) -> Self {
        Self::Let(value)
    }
}