Struct ErasedLetChain 

pub struct ErasedLetChain {
    pub bindings: Vec<(String, ErasedExprExt)>,
    pub body: ErasedExprExt,
}

A chain of let-bindings produced by ANF conversion.

Fields

bindings: Vec<(String, ErasedExprExt)>

The binding pairs: (name_hint, rhs).

body: ErasedExprExt

The final body after all bindings.

Implementations

impl ErasedLetChain

pub fn new(body: ErasedExprExt) -> Self

Create an empty chain with the given body.

pub fn push(&mut self, name: impl Into<String>, rhs: ErasedExprExt)

Push a new binding onto the chain (outermost = last).

pub fn into_expr(self) -> ErasedExprExt

Convert the chain back into nested ErasedExprExt::Let nodes.

pub fn len(&self) -> usize

Returns the number of bindings in the chain.

pub fn is_empty(&self) -> bool

Returns true if there are no bindings.