Trait rustc_ap_rustc_data_structures::unify::UnificationStoreBase[][src]

pub trait UnificationStoreBase: Index<usize, Output = VarValue<Self::Key>> {
    type Key: UnifyKey;
    type Value: UnifyValue;
    fn len(&self) -> usize;

    fn tag() -> &'static str { ... }
}
Expand description

Largely internal trait implemented by the unification table backing store types. The most common such type is InPlace, which indicates a standard, mutable unification table.

Associated Types

Required methods

fn len(&self) -> usize[src]

Provided methods

fn tag() -> &'static str[src]

Implementors

impl<K, V, L> UnificationStoreBase for InPlace<K, V, L> where
    K: UnifyKey,
    V: VecLike<Delegate<K>>, 
[src]

type Key = K

type Value = <K as UnifyKey>::Value

pub fn len(&self) -> usize[src]