Trait rel_core::Move

source · [−]

pub unsafe trait Move<R: Region>: DropRaw {
    unsafe fn move_unsized_unchecked(
        this: In<Val<'_, Self>, R>,
        out: In<Slot<'_, Self>, R>
    );
}

Expand description

An emplaced value that can be moved.

Safety

move_unsized_unchecked must initialize its out parameter.

Required Methods

source

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

Moves a value into a given slot within some memory region.

Safety

out must have the same metadata as this.

Implementations on Foreign Types

source

impl<R: Region> Move<R> for i8

source

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

source

impl<R: Region> Move<R> for u8

source

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

source

impl<R: Region> Move<R> for bool

source

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

source

impl<R: Region> Move<R> for ()

source

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

source

impl<T, R: Region, const N: usize> Move<R> for [T; N]where
T: Move<R>,

source

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

source

impl<T, R: Region> Move<R> for [T]where
T: Move<R>,

source

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

source

impl<T: ?Sized, R: Region> Move<R> for PhantomData<T>

source

unsafe fn move_unsized_unchecked(
_: In<Val<'_, Self>, R>,
_: In<Slot<'_, Self>, R>
)

Implementors

source

impl<'a, T, R, B, R: Region> Move<R> for RelRef<'a, T, R, B>where
    T: BasisPointee<B> + ?Sized,
    R: Region,
    B: Basis,
    Self: DropRaw,
    RelPtr<T, R, B>: Move<R>,
    PhantomData<&'a T>: Move<R>,

source

impl<T, R, B> Move<R> for RelPtr<T, R, B>where
    T: BasisPointee<B> + ?Sized,
    R: Region,
    B: Basis,

source

impl<T, R: Region> Move<R> for RelOption<T>where
Self: DropRaw,
T: Move<__R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, TM, TN, TO, TP, R: Region> Move<R> for RelTuple16<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, TM, TN, TO, TP>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,
    TI: Move<R>,
    TJ: Move<R>,
    TK: Move<R>,
    TL: Move<R>,
    TM: Move<R>,
    TN: Move<R>,
    TO: Move<R>,
    TP: Move<R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, TM, TN, TO, R: Region> Move<R> for RelTuple15<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, TM, TN, TO>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,
    TI: Move<R>,
    TJ: Move<R>,
    TK: Move<R>,
    TL: Move<R>,
    TM: Move<R>,
    TN: Move<R>,
    TO: Move<__R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, TM, TN, R: Region> Move<R> for RelTuple14<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, TM, TN>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,
    TI: Move<R>,
    TJ: Move<R>,
    TK: Move<R>,
    TL: Move<R>,
    TM: Move<R>,
    TN: Move<R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, TM, R: Region> Move<R> for RelTuple13<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, TM>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,
    TI: Move<R>,
    TJ: Move<R>,
    TK: Move<R>,
    TL: Move<R>,
    TM: Move<__R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL, R: Region> Move<R> for RelTuple12<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, TL>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,
    TI: Move<R>,
    TJ: Move<R>,
    TK: Move<R>,
    TL: Move<R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK, R: Region> Move<R> for RelTuple11<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, TK>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,
    TI: Move<R>,
    TJ: Move<R>,
    TK: Move<__R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, R: Region> Move<R> for RelTuple10<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,
    TI: Move<R>,
    TJ: Move<R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, R: Region> Move<R> for RelTuple9<TA, TB, TC, TD, TE, TF, TG, TH, TI>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,
    TI: Move<__R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, TH, R: Region> Move<R> for RelTuple8<TA, TB, TC, TD, TE, TF, TG, TH>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<R>,
    TH: Move<R>,

source

impl<TA, TB, TC, TD, TE, TF, TG, R: Region> Move<R> for RelTuple7<TA, TB, TC, TD, TE, TF, TG>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,
    TG: Move<__R>,

source

impl<TA, TB, TC, TD, TE, TF, R: Region> Move<R> for RelTuple6<TA, TB, TC, TD, TE, TF>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<R>,
    TF: Move<R>,

source

impl<TA, TB, TC, TD, TE, R: Region> Move<R> for RelTuple5<TA, TB, TC, TD, TE>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,
    TE: Move<__R>,

source

impl<TA, TB, TC, TD, R: Region> Move<R> for RelTuple4<TA, TB, TC, TD>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<R>,
    TD: Move<R>,

source

impl<TA, TB, TC, R: Region> Move<R> for RelTuple3<TA, TB, TC>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,
    TC: Move<__R>,

source

impl<TA, TB, R: Region> Move<R> for RelTuple2<TA, TB>where
    Self: DropRaw,
    TA: Move<R>,
    TB: Move<R>,

source

Trait rel_core::Move

Safety

Required Methods

unsafe fn move_unsized_unchecked( this: In<Val<'_, Self>, R>, out: In<Slot<'_, Self>, R>)

Safety

Implementations on Foreign Types

impl<R: Region> Move<R> for i8

unsafe fn move_unsized_unchecked( this: In<Val<'_, Self>, R>, out: In<Slot<'_, Self>, R>)

impl<R: Region> Move<R> for u8

unsafe fn move_unsized_unchecked( this: In<Val<'_, Self>, R>, out: In<Slot<'_, Self>, R>)

impl<R: Region> Move<R> for bool

unsafe fn move_unsized_unchecked( this: In<Val<'_, Self>, R>, out: In<Slot<'_, Self>, R>)

impl<R: Region> Move<R> for ()

unsafe fn move_unsized_unchecked( this: In<Val<'_, Self>, R>, out: In<Slot<'_, Self>, R>)

impl<T, R: Region, const N: usize> Move<R> for [T; N]where T: Move<R>,

unsafe fn move_unsized_unchecked( this: In<Val<'_, Self>, R>, out: In<Slot<'_, Self>, R>)

impl<T, R: Region> Move<R> for [T]where T: Move<R>,

unsafe fn move_unsized_unchecked( this: In<Val<'_, Self>, R>, out: In<Slot<'_, Self>, R>)

impl<T: ?Sized, R: Region> Move<R> for PhantomData<T>

unsafe fn move_unsized_unchecked( _: In<Val<'_, Self>, R>, _: In<Slot<'_, Self>, R>)

Implementors

impl<'a, T, R, B, __R: Region> Move<__R> for RelRef<'a, T, R, B>where T: BasisPointee<B> + ?Sized, R: Region, B: Basis, Self: DropRaw, RelPtr<T, R, B>: Move<__R>, PhantomData<&'a T>: Move<__R>,

impl<R: Region> Move<R> for Char

impl<R: Region> Move<R> for F32

impl<R: Region> Move<R> for F64

impl<R: Region> Move<R> for I16

impl<R: Region> Move<R> for I32

impl<R: Region> Move<R> for I64

impl<R: Region> Move<R> for I128

impl<R: Region> Move<R> for U16

impl<R: Region> Move<R> for U32

impl<R: Region> Move<R> for U64

impl<R: Region> Move<R> for U128

impl<T, R, B> Move<R> for RelPtr<T, R, B>where T: BasisPointee<B> + ?Sized, R: Region, B: Basis,

impl<T, __R: Region> Move<__R> for RelOption<T>where Self: DropRaw, T: Move<__R>,

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, __R: Region> Move<__R> for RelTuple10<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>, TC: Move<__R>, TD: Move<__R>, TE: Move<__R>, TF: Move<__R>, TG: Move<__R>, TH: Move<__R>, TI: Move<__R>, TJ: Move<__R>,

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, __R: Region> Move<__R> for RelTuple9<TA, TB, TC, TD, TE, TF, TG, TH, TI>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>, TC: Move<__R>, TD: Move<__R>, TE: Move<__R>, TF: Move<__R>, TG: Move<__R>, TH: Move<__R>, TI: Move<__R>,

impl<TA, TB, TC, TD, TE, TF, TG, TH, __R: Region> Move<__R> for RelTuple8<TA, TB, TC, TD, TE, TF, TG, TH>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>, TC: Move<__R>, TD: Move<__R>, TE: Move<__R>, TF: Move<__R>, TG: Move<__R>, TH: Move<__R>,

impl<TA, TB, TC, TD, TE, TF, TG, __R: Region> Move<__R> for RelTuple7<TA, TB, TC, TD, TE, TF, TG>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>, TC: Move<__R>, TD: Move<__R>, TE: Move<__R>, TF: Move<__R>, TG: Move<__R>,

impl<TA, TB, TC, TD, TE, TF, __R: Region> Move<__R> for RelTuple6<TA, TB, TC, TD, TE, TF>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>, TC: Move<__R>, TD: Move<__R>, TE: Move<__R>, TF: Move<__R>,

impl<TA, TB, TC, TD, TE, __R: Region> Move<__R> for RelTuple5<TA, TB, TC, TD, TE>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>, TC: Move<__R>, TD: Move<__R>, TE: Move<__R>,

impl<TA, TB, TC, TD, __R: Region> Move<__R> for RelTuple4<TA, TB, TC, TD>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>, TC: Move<__R>, TD: Move<__R>,

impl<TA, TB, TC, __R: Region> Move<__R> for RelTuple3<TA, TB, TC>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>, TC: Move<__R>,

impl<TA, TB, __R: Region> Move<__R> for RelTuple2<TA, TB>where Self: DropRaw, TA: Move<__R>, TB: Move<__R>,

impl<TA, __R: Region> Move<__R> for RelTuple1<TA>where Self: DropRaw, TA: Move<__R>,

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

impl<T, R: Region, const N: usize> Move<R> for [T; N]where
T: Move<R>,

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

impl<T, R: Region> Move<R> for [T]where
T: Move<R>,

unsafe fn move_unsized_unchecked(
this: In<Val<'_, Self>, R>,
out: In<Slot<'_, Self>, R>
)

unsafe fn move_unsized_unchecked(
_: In<Val<'_, Self>, R>,
_: In<Slot<'_, Self>, R>
)

impl<'a, T, R, B, R: Region> Move<R> for RelRef<'a, T, R, B>where
T: BasisPointee<B> + ?Sized,
R: Region,
B: Basis,
Self: DropRaw,
RelPtr<T, R, B>: Move<R>,
PhantomData<&'a T>: Move<R>,

impl<T, R, B> Move<R> for RelPtr<T, R, B>where
T: BasisPointee<B> + ?Sized,
R: Region,
B: Basis,

impl<T, R: Region> Move<R> for RelOption<T>where
Self: DropRaw,
T: Move<__R>,

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ, R: Region> Move<R> for RelTuple10<TA, TB, TC, TD, TE, TF, TG, TH, TI, TJ>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,
TC: Move<R>,
TD: Move<R>,
TE: Move<R>,
TF: Move<R>,
TG: Move<R>,
TH: Move<R>,
TI: Move<R>,
TJ: Move<R>,

impl<TA, TB, TC, TD, TE, TF, TG, TH, TI, R: Region> Move<R> for RelTuple9<TA, TB, TC, TD, TE, TF, TG, TH, TI>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,
TC: Move<R>,
TD: Move<R>,
TE: Move<R>,
TF: Move<R>,
TG: Move<R>,
TH: Move<R>,
TI: Move<__R>,

impl<TA, TB, TC, TD, TE, TF, TG, TH, R: Region> Move<R> for RelTuple8<TA, TB, TC, TD, TE, TF, TG, TH>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,
TC: Move<R>,
TD: Move<R>,
TE: Move<R>,
TF: Move<R>,
TG: Move<R>,
TH: Move<R>,

impl<TA, TB, TC, TD, TE, TF, TG, R: Region> Move<R> for RelTuple7<TA, TB, TC, TD, TE, TF, TG>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,
TC: Move<R>,
TD: Move<R>,
TE: Move<R>,
TF: Move<R>,
TG: Move<__R>,

impl<TA, TB, TC, TD, TE, TF, R: Region> Move<R> for RelTuple6<TA, TB, TC, TD, TE, TF>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,
TC: Move<R>,
TD: Move<R>,
TE: Move<R>,
TF: Move<R>,

impl<TA, TB, TC, TD, TE, R: Region> Move<R> for RelTuple5<TA, TB, TC, TD, TE>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,
TC: Move<R>,
TD: Move<R>,
TE: Move<__R>,

impl<TA, TB, TC, TD, R: Region> Move<R> for RelTuple4<TA, TB, TC, TD>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,
TC: Move<R>,
TD: Move<R>,

impl<TA, TB, TC, R: Region> Move<R> for RelTuple3<TA, TB, TC>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,
TC: Move<__R>,

impl<TA, TB, R: Region> Move<R> for RelTuple2<TA, TB>where
Self: DropRaw,
TA: Move<R>,
TB: Move<R>,

impl<TA, R: Region> Move<R> for RelTuple1<TA>where
Self: DropRaw,
TA: Move<__R>,