Struct VecObserverState 

pub struct VecObserverState<O> { /* private fields */ }

Observer state for dynamically-sized slices (Vec<T>, Box<[T]>), tracking Append and Truncate boundaries.

The append_index divides the observed slice into two regions: elements before it are “existing” (may have individual observer state), and elements from append_index onward are “appended” (new since the last flush).

Replace Semantics

During flush, if all existing elements’ inner observers report Replace and there was at least some tracked content (append_index > 0 or truncate_len > 0), the granular mutations are collapsed into a single whole-slice Replace.

Trait Implementations

impl<O> ObserverState for VecObserverState<O>

where O: Observer<InnerDepth = Zero, Head: Sized>,

type Target = [<O as QuasiObserver>::Head]

The observed value type that this state tracks.

fn invalidate(this: &mut Self, _: &[O::Head])

Invalidates all granular tracking state. The next flush should produce a Replace mutation.

impl<O> SliceObserverState for VecObserverState<O>

where O: Observer<InnerDepth = Zero, Head: Sized>,

type Item = O

The element Observer type.

fn as_slice(&self) -> &[Self::Item]

Returns a shared slice of element observers.

fn as_mut_slice(&mut self) -> &mut [Self::Item]

Returns a mutable slice of element observers.

fn observe(slice: &mut Self::Target) -> Self

Creates an Observer collection for the given slice.

unsafe fn relocate(&self, slice: &mut Self::Target)

Ensures element observers exist for all elements and updates their pointers.

impl<O, S, D> SliceSerializeObserverState<S, D> for VecObserverState<O>

where D: Unsigned, S: AsDerefMut<D, Target = [O::Head]> + ?Sized, O: Observer<InnerDepth = Zero> + SerializeObserver, O::Head: Serialize + Sized + 'static,

fn flush(&mut self, ptr: &mut Pointer<S>) -> Mutations

Consumes the accumulated mutation state, flushes inner element observers, and returns the collected Mutations.