Struct Match 

pub struct Match<'t> {
    pub rule: usize,
    pub bindings: Vec<(String, &'t Term)>,
}

What a successful match found.

Fields

rule: usize

The index into the rule set of the rule that fired.

bindings: Vec<(String, &'t Term)>

What the pattern’s variables were bound to, in the order the pattern binds them.

Implementations

impl<'t> Match<'t>

pub fn get(&self, name: &str) -> Option<&'t Term>

What one name was bound to, or nothing if the pattern never bound it.

Trait Implementations

impl<'t> Clone for Match<'t>

fn clone(&self) -> Match<'t>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for Match<'t>

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

Formats the value using the given formatter.

impl<'t> Eq for Match<'t>

impl<'t> PartialEq for Match<'t>

fn eq(&self, other: &Match<'t>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'t> StructuralPartialEq for Match<'t>