Enum Integrity 

pub enum Integrity<T> {
    Ok(T),
    Missing,
    Err,
}

The integrity of a field. Building an IR value is infallible. Every field ends in one of these states rather than aborting the build. The detail behind Err (the kind mismatch, the invalid value) is recorded in the accompanying warning::Set.

A field the OCPI spec defines as optional is typed Integrity<Option<T>>: an absent optional field is Ok(None), not Integrity::Missing. Integrity::Missing therefore only ever describes an absent (or null) required field, which is also reported as a Warning::MissingField.

Variants

Ok(T)

The field was present and built successfully.

Missing

A required field was absent or null. This is also reported as a Warning::MissingField.

Err

The field was present but could not be built (wrong JSON kind, or an otherwise invalid value).

Implementations

impl<T> Integrity<T>

pub fn map<U, F: FnOnce(T) -> U>(self, op: F) -> Integrity<U>

Map the contained value, leaving Missing/Err unchanged.

pub fn as_ref(&self) -> Integrity<&T>

Borrow the contained value.

pub fn ok(self) -> Option<T>

The contained value, if Ok.

Trait Implementations

impl<T: Clone> Clone for Integrity<T>

fn clone(&self) -> Integrity<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Copy> Copy for Integrity<T>

impl<T: Debug> Debug for Integrity<T>

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

Formats the value using the given formatter.

impl<T> Default for Integrity<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: Eq> Eq for Integrity<T>

impl<T: PartialEq> PartialEq for Integrity<T>

fn eq(&self, other: &Integrity<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: PartialEq> StructuralPartialEq for Integrity<T>