Struct Show 

pub struct Show {
    pub repository: Option<String>,
    pub spec: String,
    pub commentary: Option<String>,
    pub effective_from: Option<DateTimeValue>,
    pub effective_to: Option<DateTimeValue>,
    pub plan_effective: EffectiveDate,
    pub start_line: usize,
    pub source_type: Option<SourceType>,
    pub types: IndexMap<String, LemmaType>,
    pub data: IndexMap<String, ShowData>,
    pub rules: IndexMap<String, ShowRule>,
    pub meta: IndexMap<String, Value>,
}

Consumer [Engine::show] result: local offered types, inputs rules need, this spec’s rule graph (local rules plus reachable imports), and resolved temporal window. Source: [Engine::source].

Fields

repository: Option<String>

Interned repository name (specs() string). None = unnamed workspace.

spec: String

commentary: Option<String>

effective_from: Option<DateTimeValue>

effective_to: Option<DateTimeValue>

plan_effective: EffectiveDate

Planning instant of the execution-plan slice that produced this Show. Distinguishes temporal dependency slices that share the same declared window.

start_line: usize

source_type: Option<SourceType>

types: IndexMap<String, LemmaType>

Local data declarations (empty path; type or value), declaration order.

data: IndexMap<String, ShowData>

Inputs rules need (needed_by_rules non-empty), local or imported.

rules: IndexMap<String, ShowRule>

meta: IndexMap<String, Value>

Spec metadata, in declaration order.

Trait Implementations

impl Clone for Show

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Show

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

Formats the value using the given formatter.

impl Display for Show

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

Formats the value using the given formatter.

impl PartialEq for Show

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Show