Struct DocumentSchema 

pub struct DocumentSchema {
    pub doc: String,
    pub facts: IndexMap<String, (LemmaType, Option<LiteralValue>)>,
    pub rules: IndexMap<String, LemmaType>,
}

A document’s public interface: its facts (inputs) and rules (outputs) with full structured type information.

Built from an ExecutionPlan via ExecutionPlan::schema (all facts and rules) or ExecutionPlan::schema_for_rules (scoped to specific rules and only the facts they need).

Shared by the HTTP server, the CLI, the MCP server, WASM, and any other consumer. Carries the real LemmaType and LiteralValue so consumers can work at whatever fidelity they need — structured types for input forms, or Display for plain text.

Fields

doc: String

Document name

facts: IndexMap<String, (LemmaType, Option<LiteralValue>)>

Facts (inputs) keyed by name: (type, optional default value)

rules: IndexMap<String, LemmaType>

Rules (outputs) keyed by name, with their computed result types

Trait Implementations

impl Clone for DocumentSchema

fn clone(&self) -> DocumentSchema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DocumentSchema

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

Formats the value using the given formatter.

impl Display for DocumentSchema

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

Formats the value using the given formatter.

impl Serialize for DocumentSchema

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

where __S: Serializer,

Serialize this value into the given Serde serializer.