Enum TraceDecision 

pub enum TraceDecision {
    SelectedBecause(OwnerFact),
    OmittedBecause(OwnerFact),
    NotRun,
}

What a plan decided about one subject, and on whose fact.

A selection and an omission each cite the fact that decided them, because both are decisions somebody’s declaration caused; a check that did not run cites nothing and stays distinct from one that ran and omitted.

Variants

SelectedBecause(OwnerFact)

Selected, because this fact required it.

OmittedBecause(OwnerFact)

Omitted, because this fact excluded it.

NotRun

The check did not run. Never a pass, never a fail.

Implementations

impl TraceDecision

pub fn encode_into(&self, into: &mut Vec<u8>)

Appends this decision’s canonical bytes: the discriminant, then the cited fact where one was cited. TraceDecision::NotRun writes its discriminant followed by an empty framed citation, so every decision keeps one unambiguous citation seat.

impl TraceDecision

pub const fn slot(self) -> u8

The discriminant byte, written ahead of a citation so a selection can never encode as an omission over the same fact.

Trait Implementations

impl Clone for TraceDecision

fn clone(&self) -> TraceDecision

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TraceDecision

impl Debug for TraceDecision

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

Formats the value using the given formatter.

impl Eq for TraceDecision

impl Hash for TraceDecision

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 PartialEq for TraceDecision

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TraceDecision