Enum RuleOutcome 

pub enum RuleOutcome {
    Held,
    Violated,
    NotExercised,
}

What one rule found. Deliberately three values: a rule that did not run is not a rule that passed, and folding them loses the distinction this module exists to keep.

Variants

Held

The rule’s antecedent fired and the constraint held.

Violated

The rule’s antecedent fired and the constraint did not hold.

NotExercised

The rule never got a chance to decide. Either its antecedent never fired, or this build has no implementation for the rule kind. reason says which.

Implementations

impl RuleOutcome

pub const fn label(self) -> &'static str

The stable string for this value. It reaches details in a MetricResult and any evidence projection built over one, so it is an interface rather than a Debug view.

Trait Implementations

impl Clone for RuleOutcome

fn clone(&self) -> RuleOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RuleOutcome

impl Debug for RuleOutcome

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

Formats the value using the given formatter.

impl Eq for RuleOutcome

impl PartialEq for RuleOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RuleOutcome