Trait rustc_ap_rustc_data_structures::unify::UnificationStoreMut

pub trait UnificationStoreMut: UnificationStoreBase {
    fn reset_unifications(
        &mut self, 
        value: impl FnMut(u32) -> VarValue<Self::Key>
    );
    fn push(&mut self, value: VarValue<Self::Key>);
    fn reserve(&mut self, num_new_values: usize);
    fn update<F>(&mut self, index: usize, op: F)
    where
        F: FnOnce(&mut VarValue<Self::Key>);
}

Required methods

fn reset_unifications(&mut self, value: impl FnMut(u32) -> VarValue<Self::Key>)

fn push(&mut self, value: VarValue<Self::Key>)

fn reserve(&mut self, num_new_values: usize)

fn update<F>(&mut self, index: usize, op: F) where
    F: FnOnce(&mut VarValue<Self::Key>), 

Implementors

impl<K, V, L> UnificationStoreMut for InPlace<K, V, L> where
    K: UnifyKey,
    V: VecLike<Delegate<K>>,
    L: UndoLogs<UndoLog<Delegate<K>>>, 

pub fn reset_unifications(
    &mut self,
    value: impl FnMut(u32) -> VarValue<<InPlace<K, V, L> as UnificationStoreBase>::Key>
)

pub fn push(
    &mut self,
    value: VarValue<<InPlace<K, V, L> as UnificationStoreBase>::Key>
)

pub fn reserve(&mut self, num_new_values: usize)

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