Struct rustc_data_structures::unify::InPlace

pub struct InPlace<K> where
    K: UnifyKey,  { /* fields omitted */ }

Backing store for an in-place unification table. Not typically used directly.

Trait Implementations

impl<K> Index<usize> for InPlace<K> where
    K: UnifyKey, 

type Output = VarValue<K>

The returned type after indexing.

fn index(&self, index: usize) -> &VarValue<K>

Performs the indexing (container[index]) operation.

impl<K> Clone for InPlace<K> where
    K: UnifyKey + Clone, 

fn clone(&self) -> InPlace<K>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K> Debug for InPlace<K> where
    K: UnifyKey + Debug, 

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

Formats the value using the given formatter.

impl<K> Default for InPlace<K> where
    K: UnifyKey, 

fn default() -> InPlace<K>

Returns the "default value" for a type.

impl<K> UnificationStore for InPlace<K> where
    K: UnifyKey, 

type Key = K

type Value = <K as UnifyKey>::Value

type Snapshot = Snapshot

fn start_snapshot(&mut self) -> <InPlace<K> as UnificationStore>::Snapshot

fn rollback_to(&mut self, snapshot: <InPlace<K> as UnificationStore>::Snapshot)

fn commit(&mut self, snapshot: <InPlace<K> as UnificationStore>::Snapshot)

Important traits for Range<A>

impl<A> Iterator for Range<A> where
    A: Step,  type Item = A;

fn values_since_snapshot(
    &self,
    snapshot: &<InPlace<K> as UnificationStore>::Snapshot
) -> Range<usize>

fn reset_unifications<impl FnMut(u32) -> VarValue>(
    &mut self,
    value: impl FnMut(u32) -> VarValue
) where
    impl FnMut(u32) -> VarValue: FnMut(u32) -> VarValue<<InPlace<K> as UnificationStore>::Key>, 

fn len(&self) -> usize

fn push(&mut self, value: VarValue<<InPlace<K> as UnificationStore>::Key>)

fn reserve(&mut self, num_new_values: usize)

fn update<F>(&mut self, index: usize, op: F) where
    F: FnOnce(&mut VarValue<<InPlace<K> as UnificationStore>::Key>), 

fn tag() -> &'static str