pub struct Validated<F>(/* private fields */);Expand description
Typestate marker for sparse formats whose structural invariants were checked before kernel entry.
Trait Implementations§
impl<F: Copy> Copy for Validated<F>
Source§impl<F> CowFormat for Validated<F>where
F: CowFormat,
impl<F> CowFormat for Validated<F>where
F: CowFormat,
impl<F: Eq> Eq for Validated<F>
Source§impl<F: SparseFormat> SparseFormat for Validated<F>
impl<F: SparseFormat> SparseFormat for Validated<F>
Source§type Storage<'a, T: 'a> = ValidatedData<<F as SparseFormat>::Storage<'a, T>>
type Storage<'a, T: 'a> = ValidatedData<<F as SparseFormat>::Storage<'a, T>>
The concrete data struct type for this format, parameterized by
lifetime
'a and element type T.impl<F: PartialEq> StructuralPartialEq for Validated<F>
Auto Trait Implementations§
impl<F> Freeze for Validated<F>
impl<F> RefUnwindSafe for Validated<F>where
F: RefUnwindSafe,
impl<F> Send for Validated<F>where
F: Send,
impl<F> Sync for Validated<F>where
F: Sync,
impl<F> Unpin for Validated<F>where
F: Unpin,
impl<F> UnsafeUnpin for Validated<F>
impl<F> UnwindSafe for Validated<F>where
F: UnwindSafe,
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Returns the layout of the type.
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Returns whether the given value has been niched. Read more
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
Writes data to
out indicating that a T is niched.