Struct terms::variable::Var

pub struct Var<'a, T: Incr> { /* fields omitted */ }

Methods

impl<'a, T: Incr> Var<'a, T>

pub fn from(id: T, namespace: &&'a Cell<T>) -> Var<'a, T> where
    T: Ord, 

Trait Implementations

impl<'a, T: Incr + Hash + Eq + Clone> Spawnable for Var<'a, T>

type Namespace = &'a Cell<T>

fn namespace(&self) -> &&'a Cell<T>

fn spawn(namespace: &&'a Cell<T>) -> Var<'a, T>

impl<'a, T: Incr + Eq> PartialEq<Var<'a, T>> for Var<'a, T>

fn eq(&self, other: &Var<'a, T>) -> bool

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'a, T: Clone + Incr> Clone for Var<'a, T>

fn clone(&self) -> Var<'a, T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, T: Incr + Eq> Eq for Var<'a, T>

impl<'a, T: Incr + Display> Display for Var<'a, T>

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

Formats the value using the given formatter.

impl<'a, T: Debug + Incr> Debug for Var<'a, T>

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

Formats the value using the given formatter.

impl<'a, T: Incr + Hash> Hash for Var<'a, T>

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].