Struct lamcal::environment::Binding

pub struct Binding { /* fields omitted */ }

A binding definition.

It represents a lambda term bound to a name. Bindings are stored in an environment. When evaluating lambda terms names bound terms are looked up by name and replace the name with the bound term.

Bindings can be constructed programmatically using Binding::new or the more convenient function bind.

The parser of this crate also supports bindings. In the syntax of the parser bindings are defined by let statements. For more details see the parse function and the the parser chapter in the crate documentation.

Methods

impl Binding

pub fn new(name: VarName, term: Term) -> Self

Constructs a new Binding of given term to the given name.

pub fn unwrap(self) -> (VarName, Term)

Deconstruct this binding into its name and the bound term and returns both as a tuple.

pub fn name(&self) -> &VarName

Returns a reference to the name of this binding.

pub fn term(&self) -> &Term

Returns a reference to the term that is bound by this binding's name.

Trait Implementations

impl FromIterator<Binding> for Environment

fn from_iter<I>(set: I) -> Self where     I: IntoIterator<Item = Binding>,

Creates a value from an iterator.

impl Extend<Binding> for Environment

fn extend<I: IntoIterator<Item = Binding>>(&mut self, iter: I)

Extends a collection with the contents of an iterator.

impl Debug for Binding

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

Formats the value using the given formatter.

impl Clone for Binding

fn clone(&self) -> Binding

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for Binding

fn eq(&self, other: &Binding) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Binding) -> bool

This method tests for !=.

impl Eq for Binding

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,

Feeds a slice of this type into the given [Hasher].

impl Display for Binding

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

Formats the value using the given formatter.

impl From<(VarName, Term)> for Binding

fn from(bound: (VarName, Term)) -> Self

Performs the conversion.