Trait WithLifetime

pub(crate) trait WithLifetime<'new> {
    type Out: 'new;

    // Required method
    unsafe fn with_lifetime(self) -> Self::Out;
}

Helper trait to change the lifetime of a Gc mangaged type. This is useful because objects are initially tied to the lifetime of the Context they are allocated in. But when rooted the lifetime is dissociated from the Context. If we only worked with references, we could just use transmutes or casts to handle this, but generic types don’t expose their lifetimes. This trait is used to work around that. Must be used with extreme care, as it is easy to cast it to an invalid lifetime.

Required Associated Types

type Out: 'new

Required Methods

unsafe fn with_lifetime(self) -> Self::Out

Implementations on Foreign Types

impl WithLifetime<'_> for i64

type Out = i64

unsafe fn with_lifetime(self) -> Self::Out

impl<'new, T> WithLifetime<'new> for Option<T>

where T: WithLifetime<'new>,

type Out = Option<<T as WithLifetime<'new>>::Out>

unsafe fn with_lifetime(self) -> Self::Out

impl<'new, T> WithLifetime<'new> for VecDeque<T>

where T: WithLifetime<'new>,

type Out = VecDeque<<T as WithLifetime<'new>>::Out>

unsafe fn with_lifetime(self) -> Self::Out

impl<'new, T> WithLifetime<'new> for Vec<T>

where T: WithLifetime<'new>,

type Out = Vec<<T as WithLifetime<'new>>::Out>

unsafe fn with_lifetime(self) -> Self::Out

impl<'new, T, U> WithLifetime<'new> for (T, U)

where T: WithLifetime<'new>, U: WithLifetime<'new>,

type Out = (<T as WithLifetime<'new>>::Out, <U as WithLifetime<'new>>::Out)

unsafe fn with_lifetime(self) -> Self::Out

impl<'new, T, const N: usize> WithLifetime<'new> for [T; N]

where T: WithLifetime<'new>,

type Out = [<T as WithLifetime<'new>>::Out; N]

unsafe fn with_lifetime(self) -> Self::Out

Implementors

impl<'new> WithLifetime<'new> for &SubrFn

type Out = &'new SubrFn

impl<'new> WithLifetime<'new> for OpenBuffer<'_>

type Out = OpenBuffer<'new>

impl<'new> WithLifetime<'new> for Symbol<'_>

type Out = Symbol<'new>

impl<'new, T: WithLifetime<'new> + Copy> WithLifetime<'new> for Slot<T>

type Out = Slot<<T as WithLifetime<'new>>::Out>

impl<'new, T: WithLifetime<'new>> WithLifetime<'new> for Gc<T>

type Out = Gc<<T as WithLifetime<'new>>::Out>

impl<'old, 'new> WithLifetime<'new> for &'old Cons

type Out = &'new Cons

impl<'old, 'new> WithLifetime<'new> for &'old LispBuffer

type Out = &'new LispBuffer

impl<'old, 'new> WithLifetime<'new> for &'old LispFloat

type Out = &'new LispFloat

impl<'old, 'new> WithLifetime<'new> for &'old ByteFn

type Out = &'new ByteFn

impl<'old, 'new> WithLifetime<'new> for &'old LispHashTable

type Out = &'new LispHashTable

impl<'old, 'new> WithLifetime<'new> for &'old ByteString

type Out = &'new ByteString

impl<'old, 'new> WithLifetime<'new> for &'old LispString

type Out = &'new LispString

impl<'old, 'new> WithLifetime<'new> for &'old LispVec

type Out = &'new LispVec

impl<'old, 'new> WithLifetime<'new> for &'old Record

type Out = &'new Record

impl<'old, 'new> WithLifetime<'new> for FunctionType<'old>

type Out = FunctionType<'new>

impl<'old, 'new> WithLifetime<'new> for ListType<'old>

type Out = ListType<'new>

impl<'old, 'new> WithLifetime<'new> for NumberType<'old>

type Out = NumberType<'new>

impl<'old, 'new> WithLifetime<'new> for ObjectType<'old>

type Out = ObjectType<'new>

impl<'old, 'new> WithLifetime<'new> for Handler<'old>

type Out = Handler<'new>

impl<'old, 'new> WithLifetime<'new> for FrameStore<'old>

type Out = FrameStore<'new>