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 for Validated<F>where
F: Copy,
Source§impl<F> CowFormat for Validated<F>where
F: CowFormat,
impl<F> CowFormat for Validated<F>where
F: CowFormat,
Source§type Owned<T: Send + Sync> = ValidatedData<<F as CowFormat>::Owned<T>>
type Owned<T: Send + Sync> = ValidatedData<<F as CowFormat>::Owned<T>>
Heap-owned storage for this format.
Source§fn as_storage<T>(
owned: &<Validated<F> as CowFormat>::Owned<T>,
) -> <Validated<F> as SparseFormat>::Storage<'_, T>
fn as_storage<T>( owned: &<Validated<F> as CowFormat>::Owned<T>, ) -> <Validated<F> as SparseFormat>::Storage<'_, T>
Re-borrow owned storage as the format’s view storage (zero-copy).
impl<F> Eq for Validated<F>where
F: Eq,
Source§impl<F> SparseFormat for Validated<F>where
F: SparseFormat,
impl<F> SparseFormat for Validated<F>where
F: SparseFormat,
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> StructuralPartialEq for Validated<F>where
F: PartialEq,
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