Struct StructuralRequirement 

pub struct StructuralRequirement<Answer> { /* private fields */ }

One caller-declared answer required of one independently computed structural answer.

Implementations

impl<Answer> StructuralRequirement<Answer>

pub const fn stated(required: Answer) -> Self

States the exact answer one caller requires from one structural question.

pub const fn required(&self) -> &Answer

The answer the caller requires.

impl<Answer: Eq> StructuralRequirement<Answer>

pub fn settle( self, observed: Answer, ) -> Result<Answer, StructuralMismatch<Answer>>

Settles one computed answer against this caller-declared requirement.

Errors

Returns both answers when the computed answer differs from the required answer.

Trait Implementations

impl<Answer: Clone> Clone for StructuralRequirement<Answer>

fn clone(&self) -> StructuralRequirement<Answer>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Answer: Copy> Copy for StructuralRequirement<Answer>

impl<Answer: Debug> Debug for StructuralRequirement<Answer>

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

Formats the value using the given formatter.

impl<Answer: Eq> Eq for StructuralRequirement<Answer>

impl<Answer: Hash> Hash for StructuralRequirement<Answer>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<Answer: PartialEq> PartialEq for StructuralRequirement<Answer>

fn eq(&self, other: &StructuralRequirement<Answer>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<Answer: PartialEq> StructuralPartialEq for StructuralRequirement<Answer>