Enum Interpretation 

pub enum Interpretation<Settlement> {
    Complete(Settlement),
    Corrupt(Settlement),
}

Completion state of one total static product traversal.

Both variants own the complete settlement shape. Corrupt contains the factual committed prefix, the exact corrupt item, and every later item as SettledItem::Unattempted.

Variants

Complete(Settlement)

Corrupt(Settlement)

Implementations

impl<Settlement> Interpretation<Settlement>

pub fn map<Mapped>( self, map: impl FnOnce(Settlement) -> Mapped, ) -> Interpretation<Mapped>

Transform the complete settlement shape without changing whether the interpreter completed or corrupted.

pub fn into_settlement(self) -> Settlement

Recover the complete owned settlement shape.

Trait Implementations

impl<Settlement> ClassifySettlement for Interpretation<Settlement>

where Settlement: ClassifySettlement,

fn settlement_status(&self) -> SettlementStatus

Inspect every member without consuming or rewriting the settlement.

impl<Settlement: Clone> Clone for Interpretation<Settlement>

fn clone(&self) -> Interpretation<Settlement>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Settlement: Debug> Debug for Interpretation<Settlement>

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

Formats the value using the given formatter.

impl<Settlement: PartialEq> PartialEq for Interpretation<Settlement>

fn eq(&self, other: &Interpretation<Settlement>) -> 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<Settlement: Copy> Copy for Interpretation<Settlement>

impl<Settlement: Eq> Eq for Interpretation<Settlement>

impl<Settlement> StructuralPartialEq for Interpretation<Settlement>