Struct Bindings 

pub struct Bindings<'a> { /* private fields */ }

A collection of wildcard bindings produced by a successful match.

Example

use ocas_atom::AtomArena;
use ocas_atom::Symbol;
use ocas_core::arena::Arena;
use ocas_rewrite::matcher::{match_pattern, Bindings, MatchValue};
use ocas_rewrite::pattern::{Pattern, WildcardLevel};

let arena = Arena::new();
let ctx = AtomArena::new(&arena);
let x = ctx.var("x");
let pat = Pattern::Wildcard(Symbol::new("w"), WildcardLevel::Single);
let bindings = match_pattern(pat, x).unwrap();
let value = bindings.get(Symbol::new("w")).unwrap();
assert!(matches!(value, MatchValue::Single(v) if v.to_string() == "x"));

Implementations

impl<'a> Bindings<'a>

pub fn new() -> Bindings<'a>

Create an empty binding set.

pub fn get(&self, name: Symbol) -> Option<&MatchValue<'a>>

Look up a binding by wildcard name.

Trait Implementations

impl<'a> Clone for Bindings<'a>

fn clone(&self) -> Bindings<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Bindings<'a>

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

Formats the value using the given formatter.

impl<'a> Default for Bindings<'a>

fn default() -> Bindings<'a>

Returns the “default value” for a type.