Struct arret_runtime::boxed::Vector

#[repr(C, align(16))]
pub struct Vector<T: Boxed = Any> { /* fields omitted */ }

Immutable vector of boxed values

This allows random access to any of its values.

Implementations

impl<T: Boxed> Vector<T>

pub const MAX_INLINE_LEN: usize

Maximum element length of an inline vector

pub const EXTERNAL_INLINE_LEN: u32

Inline element length used for external vectors

pub fn new(
    heap: &mut impl AsHeap,
    values: impl ExactSizeIterator<Item = Gc<T>>
) -> Gc<Vector<T>>

Constructs a new vector with the passed boxed values

pub fn from_values<V, F>(
    heap: &mut impl AsHeap,
    values: impl Iterator<Item = V>,
    cons: F
) -> Gc<Vector<T>> where
    F: Fn(&mut Heap, V) -> Gc<T>, 

Constructs a vector by constructing an iterator of values

pub fn len(&self) -> usize

Returns the length of the vector

pub fn is_empty(&self) -> bool

Returns true if the vector is empty

pub fn get(&self, index: usize) -> Option<Gc<T>>

Return an element as the provided index

pub fn iter<'a>(&'a self) -> Box<dyn ExactSizeIterator<Item = Gc<T>> + 'a>

Returns an iterator over the vector

pub fn assoc(
    &self,
    heap: &mut impl AsHeap,
    index: usize,
    value: Gc<T>
) -> Gc<Vector<T>>

Returns a new vector with the element at the given index replaced

pub fn append(
    &self,
    heap: &mut impl AsHeap,
    other: Gc<Vector<T>>
) -> Gc<Vector<T>>

Appends the elements in the passed vector and returns a new vector

pub fn extend(
    &self,
    heap: &mut impl AsHeap,
    new_values: impl ExactSizeIterator<Item = Gc<T>>
) -> Gc<Vector<T>>

Returns a new vector extended with the values in the passed iterator

pub fn take(&self, heap: &mut impl AsHeap, count: usize) -> Gc<Vector<T>>

Takes the first count items from the vector

Trait Implementations

impl<T: Boxed> Boxed for Vector<T>

fn as_any_ref(&self) -> Gc<Any>

Casts this value to an Any reference

fn header(&self) -> Header

Returns the header of the box

impl ConstTagged for Vector

const TYPE_TAG: TypeTag

Type tag for values of this type

impl<T: Boxed> Debug for Vector<T>

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

Formats the value using the given formatter.

impl DistinctTagged for Vector

fn has_tag(type_tag: TypeTag) -> bool

Returns if the passed type tag corresponds to this type

impl<T: Boxed> Drop for Vector<T>

fn drop(&mut self)

Executes the destructor for this type.

impl<T: Boxed> EncodeBoxedAbiType for Vector<T> where
    T: EncodeBoxedAbiType, 

const BOXED_ABI_TYPE: BoxedAbiType

impl<T: Boxed> HashInHeap for Vector<T>

fn hash_in_heap<H: Hasher>(&self, heap: &Heap, state: &mut H)

Feeds this value into the given Hasher

impl<T: Boxed> PartialEqInHeap for Vector<T>

fn eq_in_heap(&self, heap: &Heap, other: &Vector<T>) -> bool

Returns true if the values are equal