Enum ExplanationNode 

pub enum ExplanationNode {
    Rule {
        name: RulePath,
        result: Option<String>,
        body: String,
        causes: Vec<Cause>,
        children: Vec<ExplanationNode>,
    },
    Compose {
        expression: String,
        operands: Vec<ExplanationNode>,
    },
    Data {
        name: DataPath,
        display: String,
    },
    DataUnused {
        name: DataPath,
    },
    Conversion {
        expression: String,
        steps: Vec<SerializedConversionTraceStep>,
        operands: Vec<ExplanationNode>,
    },
    Veto {
        message: Option<String>,
    },
    UnitEquivalence {
        text: String,
    },
    Piecewise {
        arms: Vec<PiecewiseArm>,
    },
}

Variants

Rule

Fields

name: RulePath

result: Option<String>

body: String

causes: Vec<Cause>

children: Vec<ExplanationNode>

Compose

Fields

expression: String

operands: Vec<ExplanationNode>

Data

Evaluated / bound data narration. display is always the looked-up value or veto text.

Fields

name: DataPath

display: String

DataUnused

Structural mention of a data path that was not looked up for this cause (short-circuit skip or static record narration without a binding).

Fields

name: DataPath

Conversion

Fields

expression: String

steps: Vec<SerializedConversionTraceStep>

operands: Vec<ExplanationNode>

Veto

Fields

message: Option<String>

UnitEquivalence

Fields

text: String

Piecewise

Planning/eval only. Never reaches wire — lowered to causes + winner first.

Fields

arms: Vec<PiecewiseArm>

Trait Implementations

impl Clone for ExplanationNode

fn clone(&self) -> ExplanationNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplanationNode

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

Formats the value using the given formatter.

impl Eq for ExplanationNode

impl PartialEq for ExplanationNode

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExplanationNode

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExplanationNode