Enum Derived 

pub enum Derived {
    Agrees {
        rule: RuleId,
    },
    Disagrees {
        rule: RuleId,
        why: String,
    },
    Skipped {
        why: String,
    },
}

What the derivation found of one expectation or event.

Variants

Agrees

The specification derives the example’s figures, and they agree.

Fields

rule: RuleId

The rule whose symbolic form derived them.

Disagrees

The specification derives different figures, or does not justify a refusal: the example is wrong.

Fields

rule: RuleId

The rule whose symbolic form was applied.

why: String

What differs, in words.

Skipped

The reference model does not cover it.

Fields

why: String

Why not.

Trait Implementations

impl Clone for Derived

fn clone(&self) -> Derived

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Derived

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

Formats the value using the given formatter.

impl Eq for Derived

impl PartialEq for Derived

fn eq(&self, other: &Derived) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Derived