Struct arret_runtime::boxed::List

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

List of boxed values

This allows O(n) access to its elements. It has the benefit of allowing constant time prepends while sharing the tail of the existing list.

Implementations

impl<T: Boxed> List<T>

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

Constructs a new fixed sized list containing the passed elems

pub fn new_with_tail(
    heap: &mut impl AsHeap,
    elems: impl ExactSizeIterator<Item = Gc<T>>,
    tail: Gc<List<T>>
) -> Gc<List<T>>

Constructs a list with a head of elems and the specified tail list

pub fn empty() -> Gc<List<T>>

Returns an empty list

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

Creates a list by constructing an iterator of values

pub fn as_subtype(&self) -> ListSubtype<'_, T>

Returns a subtype of this list based on its type tag

pub fn len(&self) -> usize

Returns the length of the list

pub fn is_empty(&self) -> bool

Returns true if the list is empty

pub fn iter(&self) -> ListIterator<T>

Returns an iterator to the list’s values

Trait Implementations

impl<T: Boxed> Boxed for List<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<T: Boxed> Debug for List<T>

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

Formats the value using the given formatter.

impl DistinctTagged for List<Any>

fn has_tag(type_tag: TypeTag) -> bool

Returns if the passed type tag corresponds to this type

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

const BOXED_ABI_TYPE: BoxedAbiType

impl<T: Boxed> HashInHeap for List<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 List<T>

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

Returns true if the values are equal