Struct ConstructGrammar 

pub struct ConstructGrammar {
    pub shape: String,
    pub keyword: String,
    pub slots: Vec<ConstructGrammarSlot>,
    pub payload: Option<Vec<ConstructGrammarPayloadField>>,
    pub binding: String,
    pub target_capability: String,
    pub clauses: Option<Vec<ConstructGrammarClause>>,
}

A DR-0011 grammar object: the single source of the construct’s parse shape. Kept as plain validated strings, matching the rest of the registration data. Two shapes are manifest-expressible: effect_operation (CONSTRUCT_GRAMMAR_SHAPE_EFFECT_OPERATION, <keyword> [<connective> <slot>]* [{ payload }]? as <binding>) and declaration_block (CONSTRUCT_GRAMMAR_SHAPE_DECLARATION_BLOCK, an order-free block of named clauses). The shape string discriminates: clauses is Some exactly for declaration_block, and slots/payload/binding/target_capability carry the effect_operation shape (empty/None/"none"/empty otherwise).

Fields

shape: String

keyword: String

slots: Vec<ConstructGrammarSlot>

payload: Option<Vec<ConstructGrammarPayloadField>>

None = no payload block; Some(fields) = a { ... } block of named expression fields.

binding: String

required | optional | none — the trailing as <binding> policy.

target_capability: String

clauses: Option<Vec<ConstructGrammarClause>>

Some(clauses) for a declaration_block shape; None for effect_operation (the shape string discriminates — the design note picked Option over a shape enum because shape already carries the discriminant, for the smaller diff).

Implementations

impl ConstructGrammar

pub fn derive_fields(&self) -> Vec<ConstructField>

Derive the flat fields[] view downstream consumers read.

For a declaration_block shape, each clause becomes one field: a flag clause maps to an optional boolean field (a flag carries no value, so it is never required); a list clause flattens into the list field kind (carrying the clause’s own required flag); any other clause maps its value kind through field_kind_for_clause_kind with the clause’s required flag. A declaration_block has no trailing as <binding>, so no binding field is appended.

For an effect_operation shape: the ordered slots (always required), then the payload fields with their own required flags, then — unless the binding mode is none — the trailing binding as an identifier field named binding (required when the mode is required).

Trait Implementations

impl Clone for ConstructGrammar

fn clone(&self) -> ConstructGrammar

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstructGrammar

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

Formats the value using the given formatter.

impl Eq for ConstructGrammar

impl PartialEq for ConstructGrammar

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ConstructGrammar