Trait Data

pub unsafe trait Data: Sized {
    type Id: 'static;

    // Provided method
    unsafe fn reborrow(self, ptr: *mut ()) { ... }
}

Composable data.

This trait should be derived with #[derive(Data)].

Required Associated Types

type Id: 'static

Provided Methods

unsafe fn reborrow(self, ptr: *mut ())

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Data for &str

type Id = &'static str

impl Data for i32

type Id = i32

impl Data for ()

type Id = ()

impl Data for String

type Id = String

impl<T1: Data> Data for (T1,)

type Id = (<T1 as Data>::Id,)

impl<T1: Data, T2: Data> Data for (T1, T2)

type Id = (<T1 as Data>::Id, <T2 as Data>::Id)

impl<T1: Data, T2: Data, T3: Data> Data for (T1, T2, T3)

type Id = (<T1 as Data>::Id, <T2 as Data>::Id, <T3 as Data>::Id)

impl<T1: Data, T2: Data, T3: Data, T4: Data> Data for (T1, T2, T3, T4)

type Id = (<T1 as Data>::Id, <T2 as Data>::Id, <T3 as Data>::Id, <T4 as Data>::Id)

impl<T1: Data, T2: Data, T3: Data, T4: Data, T5: Data> Data for (T1, T2, T3, T4, T5)

type Id = (<T1 as Data>::Id, <T2 as Data>::Id, <T3 as Data>::Id, <T4 as Data>::Id, <T5 as Data>::Id)

impl<T1: Data, T2: Data, T3: Data, T4: Data, T5: Data, T6: Data> Data for (T1, T2, T3, T4, T5, T6)

type Id = (<T1 as Data>::Id, <T2 as Data>::Id, <T3 as Data>::Id, <T4 as Data>::Id, <T5 as Data>::Id, <T6 as Data>::Id)

impl<T1: Data, T2: Data, T3: Data, T4: Data, T5: Data, T6: Data, T7: Data> Data for (T1, T2, T3, T4, T5, T6, T7)

type Id = (<T1 as Data>::Id, <T2 as Data>::Id, <T3 as Data>::Id, <T4 as Data>::Id, <T5 as Data>::Id, <T6 as Data>::Id, <T7 as Data>::Id)

impl<T1: Data, T2: Data, T3: Data, T4: Data, T5: Data, T6: Data, T7: Data, T8: Data> Data for (T1, T2, T3, T4, T5, T6, T7, T8)

type Id = (<T1 as Data>::Id, <T2 as Data>::Id, <T3 as Data>::Id, <T4 as Data>::Id, <T5 as Data>::Id, <T6 as Data>::Id, <T7 as Data>::Id, <T8 as Data>::Id)

impl<T: Data> Data for Option<T>

type Id = Option<<T as Data>::Id>

impl<T: Data> Data for Vec<T>

type Id = Vec<<T as Data>::Id>

impl<T: ?Sized + Data> Data for &T

type Id = &'static <T as Data>::Id

Implementors

impl Data for DynCompose<'_>

type Id = PhantomData<DynCompose<'static>>

impl<I, Item, C> Data for FromIter<'_, I, Item, C>

where I: Data, Item: Data, C: Data,

type Id = FromIter<'static, <I as Data>::Id, <Item as Data>::Id, <C as Data>::Id>

impl<T: Data + ?Sized> Data for Map<'_, T>

type Id = PhantomData<Map<'static, <T as Data>::Id>>

impl<T: Data + ?Sized> Data for Ref<'_, T>

type Id = PhantomData<Ref<'static, <T as Data>::Id>>

impl<T: Data> Data for RefMap<'_, T>

type Id = RefMap<'static, <T as Data>::Id>

impl<T: Data> Data for Mut<'_, T>

type Id = PhantomData<Mut<'static, <T as Data>::Id>>

impl<T: Data, C: Data> Data for Memo<T, C>

type Id = __MemoData