Struct rustc_data_structures::unify::VarValue []

pub struct VarValue<K> where
    K: UnifyKey
{ /* fields omitted */ }
🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Value of a unification key. We implement Tarjan's union-find algorithm: when two keys are unified, one of them is converted into a "redirect" pointing at the other. These redirects form a DAG: the roots of the DAG (nodes that are not redirected) are each associated with a value of type V and a rank. The rank is used to keep the DAG relatively balanced, which helps keep the running time of the algorithm under control. For more information, see http://en.wikipedia.org/wiki/Disjoint-set_data_structure.

Trait Implementations

impl<K> Clone for VarValue<K> where
    K: UnifyKey + Clone,
    <K as UnifyKey>::Value: Clone

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl<K> PartialEq<VarValue<K>> for VarValue<K> where
    K: UnifyKey + PartialEq<K>,
    <K as UnifyKey>::Value: PartialEq<<K as UnifyKey>::Value>, 

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

This method tests for !=.

impl<K> Debug for VarValue<K> where
    K: UnifyKey + Debug,
    <K as UnifyKey>::Value: Debug

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl<K> Send for VarValue<K> where
    K: Send,
    <K as UnifyKey>::Value: Send

impl<K> Sync for VarValue<K> where
    K: Sync,
    <K as UnifyKey>::Value: Sync