Enum ExplanationNode 

pub enum ExplanationNode {
    Rule {
        rule: RulePath,
        result: String,
        body: String,
        causes: Vec<Cause>,
        children: Vec<ExplanationNode>,
    },
    Compose {
        expression: String,
        operands: Vec<ExplanationNode>,
    },
    DataInput {
        data: DataPath,
        display: String,
    },
    Conversion {
        expression: String,
        steps: Vec<SerializedConversionTraceStep>,
        operands: Vec<ExplanationNode>,
    },
    Veto {
        message: Option<String>,
    },
    UnitEquivalence {
        text: String,
    },
}

Variants

Rule

Fields

rule: RulePath

result: String

body: String

causes: Vec<Cause>

children: Vec<ExplanationNode>

Compose

Fields

expression: String

operands: Vec<ExplanationNode>

DataInput

Fields

data: DataPath

display: String

Conversion

Fields

expression: String

steps: Vec<SerializedConversionTraceStep>

operands: Vec<ExplanationNode>

Veto

Fields

message: Option<String>

UnitEquivalence

A unit reconciliation fact (“1 mile is 1.60934 kilometer”) stated when an operator’s operands carry different units of the same quantity family, so the implicit conversion inside the arithmetic is followable without external lookup tables. Derived from declared unit factors — static metadata, not evaluation.

Fields

text: String

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 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.