Enum rustc_ap_rustc_data_structures::snapshot_vec::UndoLog

pub enum UndoLog<D> where
    D: SnapshotVecDelegate,  {
    NewElem(usize),
    SetElem(usize, <D as SnapshotVecDelegate>::Value),
    Other(<D as SnapshotVecDelegate>::Undo),
}

Variants

NewElem(usize)

New variable with given index was created.

SetElem(usize, <D as SnapshotVecDelegate>::Value)

Variable with given index was changed from the given value.

Other(<D as SnapshotVecDelegate>::Undo)

Extensible set of actions

Trait Implementations

impl<D> Clone for UndoLog<D> where
    D: SnapshotVecDelegate,
    <D as SnapshotVecDelegate>::Value: Clone,
    <D as SnapshotVecDelegate>::Undo: Clone, 

fn clone(&self) -> UndoLog<D>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D> Debug for UndoLog<D> where
    D: SnapshotVecDelegate + Debug,
    <D as SnapshotVecDelegate>::Value: Debug,
    <D as SnapshotVecDelegate>::Undo: Debug, 

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

Formats the value using the given formatter.

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

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

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

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

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

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