Struct rustc_data_structures::unify::InPlace

pub struct InPlace<K, V = Vec<VarValue<K>>, L = VecLog<UndoLog<Delegate<K>>>>
where
    K: UnifyKey,
    V: VecLike<Delegate<K>>,
{
    pub(crate) values: SnapshotVec<Delegate<K>, V, L>,
}

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

Fields

values: SnapshotVec<Delegate<K>, V, L>

Trait Implementations

impl<K, V, L> Clone for InPlace<K, V, L>

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

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,

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,

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 V: VecLike<Delegate<K>>, K: UnifyKey,

type Output = VarValue<K>

The returned type after indexing.

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>

fn start_snapshot( &mut self ) -> Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot>

fn rollback_to( &mut self, snapshot: Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot> )

fn commit( &mut self, snapshot: Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot> )

fn values_since_snapshot( &self, snapshot: &Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::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

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

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

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

fn reserve(&mut self, num_new_values: usize)

fn update<F>(&mut self, index: usize, op: F)

where F: FnOnce(&mut VarValue<K>),

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.