Trait gluon_vm::gc::DataDef

pub unsafe trait DataDef {
    type Value: ?Sized + for<'a> FromPtr<&'a Self> + Trace;

    // Required methods
    fn size(&self) -> usize;
    fn initialize<'w>(
        self,
        ptr: WriteOnly<'w, Self::Value>
    ) -> &'w mut Self::Value;

    // Provided methods
    fn fields(&self) -> Option<&[InternedStr]> { ... }
    fn tag(&self) -> Option<&InternedStr> { ... }
}

A definition of some data which may be allocated by the garbage collector.

Required Associated Types

type Value: ?Sized + for<'a> FromPtr<&'a Self> + Trace

The type of the value allocated.

Required Methods

fn size(&self) -> usize

Returns how many bytes need to be allocted for this DataDef

fn initialize<'w>(self, ptr: WriteOnly<'w, Self::Value>) -> &'w mut Self::Value

Consumes self to initialize the allocated value. Returns the initialized pointer.

Provided Methods

fn fields(&self) -> Option<&[InternedStr]>

fn tag(&self) -> Option<&InternedStr>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl DataDef for Vec<f64>

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl DataDef for Vec<u8>

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl DataDef for Vec<Value>

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl DataDef for Vec<GcPtr<Thread>>

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl DataDef for Vec<GcPtr<Box<dyn Userdata>>>

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl DataDef for Vec<GcPtr<ValueArray>>

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl DataDef for Vec<GcPtr<ValueStr>>

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl DataDef for Vec<VmInt>

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl<'a> DataDef for &'a str

type Value = ValueStr

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueStr>) -> &'w mut ValueStr

impl<'a> DataDef for &'a [f64]

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl<'a> DataDef for &'a [u8]

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl<'a> DataDef for &'a [Value]

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl<'a> DataDef for &'a [GcPtr<Thread>]

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl<'a> DataDef for &'a [GcPtr<Box<dyn Userdata>>]

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl<'a> DataDef for &'a [GcPtr<ValueArray>]

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl<'a> DataDef for &'a [GcPtr<ValueStr>]

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

impl<'a> DataDef for &'a [VmInt]

type Value = ValueArray

fn size(&self) -> usize

fn initialize<'w>(self, result: WriteOnly<'w, ValueArray>) -> &'w mut ValueArray

Implementors

impl<'a, T> DataDef for Borrow<'a, T>

where T: DataDef, T::Value: Sized,

type Value = <T as DataDef>::Value

impl<T> DataDef for Move<T>

where T: Trace,

type Value = T