Struct Binding 

pub struct Binding { /* private fields */ }

Immutable binding from variables to values

Implementations

impl Binding

pub fn empty() -> Self

Create an empty binding

pub fn one(var: Var, value: Value) -> Self

Create binding with single variable

pub fn two(var1: Var, val1: Value, var2: Var, val2: Value) -> Self

Create binding with two variables

pub fn with_parent(self, parent: Arc<Binding>) -> Self

Create binding with parent scope

pub fn get(&self, var: &Var) -> Option<&Value>

Get value for variable

pub fn contains(&self, var: &Var) -> bool

Check if variable is bound

pub fn vars(&self) -> impl Iterator<Item = &Var>

Get all variables in this binding (not parent)

pub fn all_vars(&self) -> Vec<&Var>

Get all variables including parent

pub fn size(&self) -> usize

Number of bindings (not including parent)

pub fn is_empty(&self) -> bool

Check if empty

pub fn merge(&self, other: &Binding) -> Option<Binding>

Merge two bindings (returns None if conflict)

pub fn project(&self, vars: &[Var]) -> Binding

Project to subset of variables

pub fn extend(&self, var: Var, value: Value) -> Binding

Extend with additional binding

pub fn to_map(&self) -> HashMap<String, Value>

Convert to map

pub fn to_json(&self) -> JsonValue

Convert to JSON

Trait Implementations

impl Clone for Binding

fn clone(&self) -> Binding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Binding

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

Formats the value using the given formatter.

impl Default for Binding

fn default() -> Self

Returns the “default value” for a type.

impl Hash for Binding

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Binding

fn eq(&self, other: &Self) -> 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 Eq for Binding