Enum Integrity 

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

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(Element)

A required field was absent or null. This is also reported as a Warning::MissingField. The location is the containing object’s, since an absent field has no element of its own.

Err(Element)

The field was present but could not be built (wrong JSON kind, or an otherwise invalid value). The location is the field’s own.

Implementations

impl<T> Integrity<Option<T>>

pub fn map_some<U, F: FnOnce(&T) -> U>(&self, op: F) -> Option<U>

Map the contained Option<T> to Option<U>. Return Some(U) if Ok(Some(T)). Otherwise, return None if Ok(None), Missing, or Err.

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: Debug> Debug for Integrity<T>

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

Formats the value using the given formatter.

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

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

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

Equality operator ==.

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

Inequality operator !=.

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