Trait rustc_ap_rustc_data_structures::undo_log::Rollback

pub trait Rollback<U> {
    fn reverse(&mut self, undo: U);
}

A trait implemented for storage types (like SnapshotVecStorage) which can be rolled back using actions of type U.

Required methods

fn reverse(&mut self, undo: U)

Implementations on Foreign Types

impl<D> Rollback<UndoLog<D>> for Vec<<D as SnapshotVecDelegate>::Value, Global> where
    D: SnapshotVecDelegate, 

pub fn reverse(&mut self, undo: UndoLog<D>)

impl<'_, T, U> Rollback<U> for &'_ mut T where
    T: Rollback<U>, 

pub fn reverse(&mut self, undo: U)

Implementors

impl<D> Rollback<UndoLog<D>> for SnapshotVec<D, Vec<<D as SnapshotVecDelegate>::Value, Global>, ()> where
    D: SnapshotVecDelegate, 

pub fn reverse(&mut self, undo: UndoLog<D>)

impl<K> Rollback<UndoLog<Delegate<K>>> for UnificationTable<InPlace<K, Vec<VarValue<K>, Global>, ()>> where
    K: UnifyKey, 

pub fn reverse(&mut self, undo: UndoLog<Delegate<K>>)

impl<K, V> Rollback<UndoLog<K, V>> for FxHashMap<K, V> where
    K: Eq + Hash, 

fn reverse(&mut self, undo: UndoLog<K, V>)

impl<K, V, M, L> Rollback<UndoLog<K, V>> for SnapshotMap<K, V, M, L> where
    K: Eq + Hash,
    M: Rollback<UndoLog<K, V>>, 

fn reverse(&mut self, undo: UndoLog<K, V>)