Struct rustc_ap_rustc_data_structures::unify::InPlace[−][src]

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

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, [src]

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

Returns a copy of the value. Read more

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

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

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

Formats the value using the given formatter. Read more

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

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

Returns the “default value” for a type. Read more

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

type Output = VarValue<K>

The returned type after indexing.

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

Performs the indexing (container[index]) operation. Read more

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

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

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

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

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

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

Notable traits for Range<A>

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

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

type Key = K

type Value = <K as UnifyKey>::Value

pub fn len(&self) -> usize[src]

fn tag() -> &'static str[src]

impl<K, V, L> UnificationStoreMut for InPlace<K, V, L> where
    K: UnifyKey,
    V: VecLike<Delegate<K>>,
    L: UndoLogs<UndoLog<Delegate<K>>>, [src]

pub fn reset_unifications(
    &mut self,
    value: impl FnMut(u32) -> VarValue<<InPlace<K, V, L> as UnificationStoreBase>::Key>
)[src]

pub fn push(
    &mut self,
    value: VarValue<<InPlace<K, V, L> as UnificationStoreBase>::Key>
)[src]

pub fn reserve(&mut self, num_new_values: usize)[src]

pub fn update<F>(&mut self, index: usize, op: F) where
    F: FnOnce(&mut VarValue<<InPlace<K, V, L> as UnificationStoreBase>::Key>), [src]

Auto Trait Implementations

impl<K, V, L> RefUnwindSafe for InPlace<K, V, L> where
    K: RefUnwindSafe,
    L: RefUnwindSafe,
    V: RefUnwindSafe, 

impl<K, V, L> Send for InPlace<K, V, L> where
    K: Send,
    L: Send,
    V: Send, 

impl<K, V, L> Sync for InPlace<K, V, L> where
    K: Sync,
    L: Sync,
    V: Sync, 

impl<K, V, L> Unpin for InPlace<K, V, L> where
    K: Unpin,
    L: Unpin,
    V: Unpin, 

impl<K, V, L> UnwindSafe for InPlace<K, V, L> where
    K: UnwindSafe,
    L: UnwindSafe,
    V: UnwindSafe, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T> Instrument for T[src]

fn instrument(self, span: Span) -> Instrumented<Self>[src]

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>[src]

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T[src]

Creates owned data from borrowed data, usually by cloning. Read more

pub fn clone_into(&self, target: &mut T)[src]

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>, 

pub fn vzip(self) -> V

impl<'a, T> Captures<'a> for T where
    T: ?Sized, [src]

impl<T> Erased for T[src]