Struct Validated 

pub struct Validated<F>(/* private fields */);

Typestate marker for sparse formats whose structural invariants were checked before kernel entry.

Trait Implementations

impl<F: Clone> Clone for Validated<F>

fn clone(&self) -> Validated<F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Copy> Copy for Validated<F>

impl<F> CowFormat for Validated<F>

where F: CowFormat,

type Owned<T> = ValidatedData<<F as CowFormat>::Owned<T>> where T: Send + Sync

Heap-owned storage for this format.

fn as_storage<T: Send + Sync>(owned: &Self::Owned<T>) -> Self::Storage<'_, T>

Re-borrow owned storage as the format’s view storage (zero-copy).

fn to_owned_storage<T: Clone + Send + Sync>( storage: &Self::Storage<'_, T>, ) -> Self::Owned<T>

Clone a borrowed view storage into owned storage (one allocation set).

impl<F: Debug> Debug for Validated<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Eq> Eq for Validated<F>

impl<F: PartialEq> PartialEq for Validated<F>

fn eq(&self, other: &Validated<F>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<F: SparseFormat> SparseFormat for Validated<F>

const NAME: &'static str = F::NAME

Human-readable format name for diagnostics.

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>