Struct ShapeBindings 

pub struct ShapeBindings { /* private fields */ }

Captures produced by a successful match: named values and named exprs.

A match binds names to either runtime Values or unevaluated Exprs; the bindings can later be projected into an Env.

Implementations

impl ShapeBindings

pub fn new() -> Self

Create an empty set of bindings.

pub fn bind_value(&mut self, name: Symbol, value: Value)

Bind a name to a runtime Value.

pub fn bind_expr(&mut self, name: Symbol, expr: Expr)

Bind a name to an unevaluated Expr.

pub fn extend(&mut self, other: ShapeBindings)

Append all bindings from other into this set.

pub fn values(&self) -> &[(Symbol, Value)]

The value bindings, in insertion order.

pub fn exprs(&self) -> &[(Symbol, Expr)]

The expr bindings, in insertion order.

pub fn into_env(self, cx: &mut Cx) -> Result<()>

Install these bindings as a fresh child of the context’s current env.

pub fn into_child_env(self, cx: &mut Cx) -> Result<Env>

Build a child Env from the context’s env populated with these bindings, without installing it.

Trait Implementations

impl Clone for ShapeBindings

fn clone(&self) -> ShapeBindings

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeBindings

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

Formats the value using the given formatter.

impl Default for ShapeBindings

fn default() -> ShapeBindings

Returns the “default value” for a type.