Skip to main content

TransitiveProject

zerocopy::pointer::cast

Struct TransitiveProject

pub struct TransitiveProject<U: ?Sized, TU, UV> { /* private fields */ }

Expand description

A transitive sequence of projections.

Given TU: Project and UV: Project, TransitiveProject<_, TU, UV> is a Project which projects by applying TU followed by UV.

If TU: Cast and UV: Cast, then TransitiveProject<_, TU, UV>: Cast.

Trait Implementations§

impl<T, U, V, TU, UV> Project<T, V> for TransitiveProject<U, TU, UV>
where T: ?Sized, U: ?Sized, V: ?Sized, TU: Project<T, U>, UV: Project<U, V>,

fn project(t: PtrInner<'_, T>) -> *mut V

Projects a pointer from Src to Dst. Read more

impl<T, U, V, TU, UV> Cast<T, V> for TransitiveProject<U, TU, UV>
where T: ?Sized, U: ?Sized, V: ?Sized, TU: Cast<T, U>, UV: Cast<U, V>,

impl<T, U, V, TU, UV> CastExact<T, V> for TransitiveProject<U, TU, UV>
where T: ?Sized, U: ?Sized, V: ?Sized, TU: CastExact<T, U>, UV: CastExact<U, V>,

Auto Trait Implementations§

impl<U, TU, UV> Freeze for TransitiveProject<U, TU, UV>
where U: ?Sized,

impl<U, TU, UV> RefUnwindSafe for TransitiveProject<U, TU, UV>
where U: RefUnwindSafe + ?Sized, TU: RefUnwindSafe, UV: RefUnwindSafe,

impl<U, TU, UV> Send for TransitiveProject<U, TU, UV>
where U: Send + ?Sized, TU: Send, UV: Send,

impl<U, TU, UV> Sync for TransitiveProject<U, TU, UV>
where U: Sync + ?Sized, TU: Sync, UV: Sync,

impl<U, TU, UV> Unpin for TransitiveProject<U, TU, UV>
where U: Unpin + ?Sized, TU: Unpin, UV: Unpin,

impl<U, TU, UV> UnsafeUnpin for TransitiveProject<U, TU, UV>
where U: ?Sized,

impl<U, TU, UV> UnwindSafe for TransitiveProject<U, TU, UV>
where U: UnwindSafe + ?Sized, TU: UnwindSafe, UV: UnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> SizeEq<Cell<T>> for T
where T: ?Sized,

type CastFrom = CastFromWrapper

impl<T> SizeEq<ManuallyDrop<T>> for T
where T: ?Sized,

type CastFrom = CastFromWrapper

impl<T> SizeEq<MaybeUninit<T>> for T

type CastFrom = CastSizedExact

impl<T> SizeEq<T> for T
where T: ?Sized,

type CastFrom = IdCast

impl<T> SizeEq<UnsafeCell<T>> for T
where T: ?Sized,

type CastFrom = CastFromWrapper

impl<T> SizeEq<Wrapping<T>> for T

type CastFrom = CastFromWrapper

impl<T> SizedTypeProperties for T

#[doc(hidden)]
const SIZE: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)

#[doc(hidden)]
const ALIGN: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)

#[doc(hidden)]
const ALIGNMENT: Alignment = _

🔬This is a nightly-only experimental API. (ptr_alignment_type)

#[doc(hidden)]
const IS_ZST: bool = _

🔬This is a nightly-only experimental API. (sized_type_properties)

true if this type requires no storage. false if its size is greater than zero. Read more

#[doc(hidden)]
const LAYOUT: Layout = _

🔬This is a nightly-only experimental API. (sized_type_properties)

#[doc(hidden)]
const MAX_SLICE_LEN: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)

The largest safe length for a [Self]. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> InvariantsEq<ManuallyDrop<T>> for T
where T: ?Sized,

impl<T> InvariantsEq<T> for T
where T: ?Sized,

impl<T> InvariantsEq<Wrapping<T>> for T

impl<Src, Dst, A, SV, DV, R> MutationCompatible<Src, A, SV, DV, (BecauseRead, R)> for Dst
where A: Aliasing, SV: Validity, DV: Validity, Src: Read<A, R> + ?Sized, Dst: Read<A, R> + ?Sized,

impl<Src, Dst, A, SV, DV> MutationCompatible<Src, A, SV, DV, BecauseInvariantsEq> for Dst
where A: Aliasing, SV: Validity, DV: Validity, Src: TransmuteFrom<Dst, DV, SV> + ?Sized, Dst: TransmuteFrom<Src, SV, DV> + InvariantsEq<Src> + ?Sized,

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> TransmuteFrom<Cell<T>, Valid, Valid> for T
where T: ?Sized,

impl<T> TransmuteFrom<ManuallyDrop<T>, Valid, Valid> for T
where T: ?Sized,

impl<Src, Dst> TransmuteFrom<Src, Initialized, Initialized> for Dst
where Src: ?Sized, Dst: ?Sized,

impl<Src, Dst, V> TransmuteFrom<Src, V, Uninit> for Dst
where V: Validity, Src: ?Sized, Dst: ?Sized,

impl<Src, Dst> TransmuteFrom<Src, Valid, Initialized> for Dst
where Src: IntoBytes + ?Sized, Dst: ?Sized,

impl<T> TransmuteFrom<UnsafeCell<T>, Valid, Valid> for T
where T: ?Sized,

impl<T> TransmuteFrom<Wrapping<T>, Valid, Valid> for T

impl<Src, Dst, A, SV, DV, C, R> TransmuteFromPtr<Src, A, SV, DV, C, R> for Dst
where A: Aliasing, SV: Validity, DV: Validity, C: CastExact<Src, Dst>, Dst: TransmuteFrom<Src, SV, DV> + TryTransmuteFromPtr<Src, A, SV, DV, C, R> + ?Sized, Src: ?Sized,

impl<Src, Dst, SV, DV, A, C, R> TryTransmuteFromPtr<Src, A, SV, DV, C, (BecauseMutationCompatible, R)> for Dst
where A: Aliasing, SV: Validity, DV: Validity, Src: TransmuteFrom<Dst, DV, SV> + ?Sized, Dst: MutationCompatible<Src, A, SV, DV, R> + ?Sized, C: CastExact<Src, Dst>,