Trait GcMoveable

pub(in core) trait GcMoveable {
    type Value;

    // Provided method
    fn move_value(&self, _to_space: &Bump) -> Option<(Self::Value, bool)> { ... }
}

This trait is defined for types that can be moved by the GC. For types that don’t have any other pointers in them, they can use the implementation of this trait on GcHeap, which will just copy the object.

Required Associated Types

type Value

Provided Methods

fn move_value(&self, _to_space: &Bump) -> Option<(Self::Value, bool)>

Implementations on Foreign Types

impl<'a, T: GcMoveable<Value = NonNull<T>>> GcMoveable for &'a T

type Value = &'a T

fn move_value(&self, to_space: &Bump) -> Option<(Self::Value, bool)>

Implementors

impl GcMoveable for Cons

type Value = NonNull<Cons>

impl GcMoveable for LispBuffer

type Value = NonNull<LispBuffer>

impl GcMoveable for CharTable

type Value = NonNull<CharTable>

impl GcMoveable for LispFloat

type Value = NonNull<LispFloat>

impl GcMoveable for ByteFn

type Value = NonNull<ByteFn>

impl GcMoveable for LispHashTable

type Value = NonNull<LispHashTable>

impl GcMoveable for LispBigInt

type Value = NonNull<LispBigInt>

impl GcMoveable for ByteString

type Value = NonNull<ByteString>

impl GcMoveable for LispString

type Value = NonNull<LispString>

impl GcMoveable for Gc<FunctionType<'_>>

type Value = Gc<FunctionType<'_>>

impl GcMoveable for Gc<ListType<'_>>

type Value = Gc<ListType<'_>>

impl GcMoveable for Gc<ObjectType<'_>>

type Value = Gc<ObjectType<'_>>

impl GcMoveable for LispVec

type Value = NonNull<LispVec>

impl GcMoveable for Record

type Value = NonNull<Record>

impl<'a> GcMoveable for Symbol<'a>

type Value = Symbol<'a>

impl<T> GcMoveable for Gc<T>

where Self: Untag<T> + Copy, T: GcMoveable<Value = T> + TagType<Out = T>,

type Value = Gc<T>

impl<T> GcMoveable for GcHeap<T>

type Value = NonNull<GcHeap<T>>