[−]Trait rustc_data_structures::unify::UnificationStore

pub trait UnificationStore: UnificationStoreMut {
    type Snapshot;
    pub fn start_snapshot(&mut self) -> Self::Snapshot;

    pub fn rollback_to(&mut self, snapshot: Self::Snapshot);

    pub fn commit(&mut self, snapshot: Self::Snapshot);

    pub fn values_since_snapshot(
        &self, 
        snapshot: &Self::Snapshot
    ) -> Range<usize>ⓘ
Notable traits for Range<A>
impl<A> Iterator for Range<A> where
    A: Step,     type Item = A;
;
}

Associated Types

type Snapshot

Loading content...

Required methods

pub fn start_snapshot(&mut self) -> Self::Snapshot

pub fn rollback_to(&mut self, snapshot: Self::Snapshot)

pub fn commit(&mut self, snapshot: Self::Snapshot)

pub fn values_since_snapshot(&self, snapshot: &Self::Snapshot) -> Range<usize>ⓘ

Notable traits for Range<A>

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

Loading content...

Implementors

Loading content...