Struct rustc_ap_rustc_data_structures::unify::InPlace

pub struct InPlace<K, V = Vec<VarValue<K>, Global>, L = VecLog<UndoLog<Delegate<K>>>> where
    K: UnifyKey,
    V: VecLike<Delegate<K>>,  { /* fields omitted */ }

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

Trait Implementations

impl<K, V, L> Clone for InPlace<K, V, L> where
    K: Clone + UnifyKey,
    V: Clone + VecLike<Delegate<K>>,
    L: Clone, 

pub fn clone(&self) -> InPlace<K, V, L>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K, V, L> Debug for InPlace<K, V, L> where
    K: Debug + UnifyKey,
    V: Debug + VecLike<Delegate<K>>,
    L: Debug, 

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

Formats the value using the given formatter.

impl<K, V, L> Default for InPlace<K, V, L> where
    K: UnifyKey,
    V: VecLike<Delegate<K>> + Default,
    L: Default, 

pub fn default() -> InPlace<K, V, L>

Returns the “default value” for a type.

impl<K, V, L> Index<usize> for InPlace<K, V, L> where
    K: UnifyKey,
    V: VecLike<Delegate<K>>, 

type Output = VarValue<K>

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl<K, V, L> UnificationStore for InPlace<K, V, L> where
    K: UnifyKey,
    V: VecLike<Delegate<K>>,
    L: Snapshots<UndoLog<Delegate<K>>>, 

type Snapshot = Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot>

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

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

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

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

impl<K, V, L> UnificationStoreBase for InPlace<K, V, L> where
    K: UnifyKey,
    V: VecLike<Delegate<K>>, 

type Key = K

type Value = <K as UnifyKey>::Value

pub fn len(&self) -> usize

fn tag() -> &'static str

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>),