Struct arret_runtime::boxed::Pair

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

Non-empty list

Implementations

impl<T: Boxed> Pair<T>

pub fn new(
    heap: &mut impl AsHeap,
    head: Gc<T>,
    rest: Gc<List<T>>
) -> Gc<Pair<T>>

Constructs a pair with the given head and rest

pub fn size() -> BoxSize

Returns the box size for pairs

pub fn len(&self) -> usize

Returns the length of the list this pair is the head of

Note that this must be at least 1.

pub fn is_empty(&self) -> bool

Returns false

pub fn head(&self) -> Gc<T>

Returns the head value

pub fn rest(&self) -> Gc<List<T>>

Returns the tail list

pub fn as_list_ref(&self) -> Gc<List<T>>

Casts this pair to a non-empty list

Trait Implementations

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

const TYPE_TAG: TypeTag

Type tag for values of this type

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

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

Formats the value using the given formatter.

impl DistinctTagged for Pair

fn has_tag(type_tag: TypeTag) -> bool

Returns if the passed type tag corresponds to this type

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

const BOXED_ABI_TYPE: BoxedAbiType

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

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

Feeds this value into the given Hasher

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

fn eq_in_heap(&self, heap: &Heap, rhs: &Pair<T>) -> bool

Returns true if the values are equal