Skip to main content

Valid

zerocopy::pointer::invariant

Enum Valid 

Source 
pub enum Valid {}
Expand description

The referent of a Ptr<T> is valid for T, upholding bit validity and any library safety invariants.

Trait Implementations§

Source§

impl Validity for Valid

Source§

const KIND: ValidityKind = ValidityKind::Valid

Source§

impl<T> TransmuteFrom<*mut T, Valid, Valid> for AtomicPtr<T>

Source§

impl<T> TransmuteFrom<Atomic<*mut T>, Valid, Valid> for *mut T

Source§

impl<T> TransmuteFrom<Atomic<*mut T>, Valid, Valid> for UnsafeCell<*mut T>

Source§

impl TransmuteFrom<Atomic<bool>, Valid, Valid> for UnsafeCell<bool>

Source§

impl TransmuteFrom<Atomic<bool>, Valid, Valid> for bool

Source§

impl TransmuteFrom<Atomic<i16>, Valid, Valid> for UnsafeCell<i16>

Source§

impl TransmuteFrom<Atomic<i16>, Valid, Valid> for i16

Source§

impl TransmuteFrom<Atomic<i32>, Valid, Valid> for UnsafeCell<i32>

Source§

impl TransmuteFrom<Atomic<i32>, Valid, Valid> for i32

Source§

impl TransmuteFrom<Atomic<i64>, Valid, Valid> for UnsafeCell<i64>

Source§

impl TransmuteFrom<Atomic<i64>, Valid, Valid> for i64

Source§

impl TransmuteFrom<Atomic<i8>, Valid, Valid> for UnsafeCell<i8>

Source§

impl TransmuteFrom<Atomic<i8>, Valid, Valid> for i8

Source§

impl TransmuteFrom<Atomic<isize>, Valid, Valid> for UnsafeCell<isize>

Source§

impl TransmuteFrom<Atomic<isize>, Valid, Valid> for isize

Source§

impl TransmuteFrom<Atomic<u16>, Valid, Valid> for UnsafeCell<u16>

Source§

impl TransmuteFrom<Atomic<u16>, Valid, Valid> for u16

Source§

impl TransmuteFrom<Atomic<u32>, Valid, Valid> for UnsafeCell<u32>

Source§

impl TransmuteFrom<Atomic<u32>, Valid, Valid> for u32

Source§

impl TransmuteFrom<Atomic<u64>, Valid, Valid> for UnsafeCell<u64>

Source§

impl TransmuteFrom<Atomic<u64>, Valid, Valid> for u64

Source§

impl TransmuteFrom<Atomic<u8>, Valid, Valid> for UnsafeCell<u8>

Source§

impl TransmuteFrom<Atomic<u8>, Valid, Valid> for u8

Source§

impl TransmuteFrom<Atomic<usize>, Valid, Valid> for UnsafeCell<usize>

Source§

impl TransmuteFrom<Atomic<usize>, Valid, Valid> for usize

Source§

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

Source§

impl<T> TransmuteFrom<MaybeUninit<T>, Valid, Valid> for Wrapping<T>
where T: TransmuteFrom<MaybeUninit<T>, Valid, Valid>, Wrapping<T>: TransmuteFrom<T, Valid, Valid>,

Source§

impl<T> TransmuteFrom<T, Uninit, Valid> for MaybeUninit<T>

Source§

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

Source§

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

Source§

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

Source§

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

Source§

impl<T> TransmuteFrom<UnsafeCell<*mut T>, Valid, Valid> for AtomicPtr<T>

Source§

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

Source§

impl TransmuteFrom<UnsafeCell<bool>, Valid, Valid> for AtomicBool

Source§

impl TransmuteFrom<UnsafeCell<i16>, Valid, Valid> for AtomicI16

Source§

impl TransmuteFrom<UnsafeCell<i32>, Valid, Valid> for AtomicI32

Source§

impl TransmuteFrom<UnsafeCell<i64>, Valid, Valid> for AtomicI64

Source§

impl TransmuteFrom<UnsafeCell<i8>, Valid, Valid> for AtomicI8

Source§

impl TransmuteFrom<UnsafeCell<isize>, Valid, Valid> for AtomicIsize

Source§

impl TransmuteFrom<UnsafeCell<u16>, Valid, Valid> for AtomicU16

Source§

impl TransmuteFrom<UnsafeCell<u32>, Valid, Valid> for AtomicU32

Source§

impl TransmuteFrom<UnsafeCell<u64>, Valid, Valid> for AtomicU64

Source§

impl TransmuteFrom<UnsafeCell<u8>, Valid, Valid> for AtomicU8

Source§

impl TransmuteFrom<UnsafeCell<usize>, Valid, Valid> for AtomicUsize

Source§

impl<T> TransmuteFrom<Wrapping<T>, Valid, Valid> for MaybeUninit<T>
where T: TransmuteFrom<Wrapping<T>, Valid, Valid>, MaybeUninit<T>: TransmuteFrom<T, Valid, Valid>,

Source§

impl TransmuteFrom<bool, Valid, Valid> for AtomicBool

Source§

impl TransmuteFrom<i16, Valid, Valid> for AtomicI16

Source§

impl TransmuteFrom<i32, Valid, Valid> for AtomicI32

Source§

impl TransmuteFrom<i64, Valid, Valid> for AtomicI64

Source§

impl TransmuteFrom<i8, Valid, Valid> for AtomicI8

Source§

impl TransmuteFrom<isize, Valid, Valid> for AtomicIsize

Source§

impl TransmuteFrom<u16, Valid, Valid> for AtomicU16

Source§

impl TransmuteFrom<u32, Valid, Valid> for AtomicU32

Source§

impl TransmuteFrom<u64, Valid, Valid> for AtomicU64

Source§

impl TransmuteFrom<u8, Valid, Valid> for AtomicU8

Source§

impl TransmuteFrom<usize, Valid, Valid> for AtomicUsize

Auto Trait Implementations§

§

impl Freeze for Valid

§

impl RefUnwindSafe for Valid

§

impl Send for Valid

§

impl Sync for Valid

§

impl Unpin for Valid

§

impl UnsafeUnpin for Valid

§

impl UnwindSafe for Valid

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

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

Source§

type CastFrom = CastFromWrapper

Source§

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

Source§

type CastFrom = CastFromWrapper

Source§

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

Source§

type CastFrom = CastSizedExact

Source§

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

Source§

type CastFrom = IdCast

Source§

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

Source§

type CastFrom = CastFromWrapper

Source§

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

Source§

type CastFrom = CastFromWrapper

Source§

impl<T> SizedTypeProperties for T

Source§

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

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

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

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

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

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

#[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
Source§

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

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

#[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
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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,

Source§

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,

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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,

Source§

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>,