Struct arret_runtime::boxed::Set

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

Immutable set of boxed values

This is semantically similar to a map of values to the unit type

Implementations

impl<T: Boxed> Set<T>

pub const MAX_INLINE_LEN: usize

Maximum element length of an inline set

pub const EXTERNAL_INLINE_LEN: u32

Inline element length used for external sets

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

Constructs a new set with the passed boxed values

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

Constructs a set by constructing an iterator of values

pub fn len(&self) -> usize

Returns the length of the set

pub fn is_empty(&self) -> bool

Returns true if the set is empty

pub fn contains(&self, heap: &Heap, value: &Gc<T>) -> bool

Returns true if the passed value is included in the set

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

Returns an iterator over the set

pub fn is_subset(&self, heap: &Heap, other: &Set<T>) -> bool

Returns if this set is a subset of the passed set

Trait Implementations

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

const TYPE_TAG: TypeTag

Type tag for values of this type

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

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

Formats the value using the given formatter.

impl DistinctTagged for Set

fn has_tag(type_tag: TypeTag) -> bool

Returns if the passed type tag corresponds to this type

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

fn drop(&mut self)

Executes the destructor for this type.

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

const BOXED_ABI_TYPE: BoxedAbiType

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

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

Returns true if the values are equal