Trait VecLike 

pub trait VecLike<T>: BufferData<T> + Extend<T> {
    // Required methods
    fn capacity(&self) -> usize;
    fn push(&mut self, value: T);
    fn clear(&mut self);
    fn resize(&mut self, new_len: usize, value: T)
       where T: Clone;
    fn extend_from_slice(&mut self, other: &[T])
       where T: Clone;
    fn spare_capacity_mut(&mut self) -> &mut [MaybeUninit<T>];
    unsafe fn set_len(&mut self, new_len: usize);
}

A growable, Vec-like buffer.

Abstracts the buffer surface the prover uses: BufferData plus a subset of Vec’s API. Implemented by Vec<T> and PoolVec, with methods added as callers need them. It is not meant to mirror all of Vec.

Required Methods

fn capacity(&self) -> usize

Returns the number of elements the buffer can hold without reallocating.

fn push(&mut self, value: T)

Appends an element to the back of the buffer.

fn clear(&mut self)

Clears the buffer, removing all elements while retaining its capacity.

fn resize(&mut self, new_len: usize, value: T)

where T: Clone,

Resizes the buffer to new_len, filling any new slots with value.

fn extend_from_slice(&mut self, other: &[T])

where T: Clone,

Appends all elements of other to the back of the buffer.

fn spare_capacity_mut(&mut self) -> &mut [MaybeUninit<T>]

Returns the spare capacity of the buffer as a slice of MaybeUninit<T>.

unsafe fn set_len(&mut self, new_len: usize)

Forces the length of the buffer to new_len.

Safety

Same contract as Vec::set_len: new_len must be at most capacity and the elements in 0..new_len must be initialized.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<T> VecLike<T> for Vec<T>

fn capacity(&self) -> usize

fn push(&mut self, value: T)

fn clear(&mut self)

fn resize(&mut self, new_len: usize, value: T)

where T: Clone,

fn extend_from_slice(&mut self, other: &[T])

where T: Clone,

fn spare_capacity_mut(&mut self) -> &mut [MaybeUninit<T>]

unsafe fn set_len(&mut self, new_len: usize)

Implementors