Enum Segment 

pub enum Segment {
    Static {
        bytes: Vec<u8>,
    },
    Dynamic,
    Choice {
        branches: Vec<RuleDecomposition>,
    },
}

One decomposed span of a rule body under WGRAMMAR.

Variants

Static

A run of consecutive fixed-literal elements — pure scaffolding. The bytes are precomputed: this span emits exactly these bytes, in this order, every request. It is a forced-token chain known at compile time (Tier 3b would rediscover it lazily at decode).

Fields

bytes: Vec<u8>

The literal bytes this span emits, start to finish.

Dynamic

A genuine value slot — a character class, a number/string sub-grammar, a repeat, or a tag dispatch. Its continuation depends on the model’s output and is not precomputed.

Choice

A choice point: the model picks one branch. The branches are each decomposed in turn — a branch is itself mostly scaffolding (the non-empty-object branch of a JSON object opens with the fixed {"key": literal). The choice ITSELF is dynamic, but the per-branch scaffolding is still precomputed inside each branches[i]. This is WGRAMMAR’s recursive decomposition: the static structure is exposed even when it sits behind a choice.

Fields

branches: Vec<RuleDecomposition>

One decomposition per branch, in grammar order.

Implementations

impl Segment

pub fn is_static(&self) -> bool

True for a fixed-literal (scaffolding) segment.

pub fn static_bytes(&self) -> Option<&[u8]>

The precomputed literal bytes, if this segment is a flat static run. A Segment::Choice returns None even though its branches may carry static spans — descend into branches for those.

Trait Implementations

impl Clone for Segment

fn clone(&self) -> Segment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Segment

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

Formats the value using the given formatter.

impl PartialEq for Segment

fn eq(&self, other: &Segment) -> 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 Eq for Segment

impl StructuralPartialEq for Segment