Enum ProjSegment 

pub enum ProjSegment {
    Index(i32),
    Key(Value),
}

One path-projection segment (docs/format-v4-rfc.md §1: segments: 0 = index i32, 1 = key value). Segment kind 2 = range is RESERVED and never constructed in T1e (icebox #829 — sequence slices/ranges).

The kind recorded here is a wire-compactness choice, not a semantic tag the walker trusts blindly: an evaluated segment value that happens to be an Int is captured as Index (the compact i32 form); everything else — a map key of another scalar type, or a struct field name (always a Value::String literal) — is captured as Key. Walking dispatches on the root’s current container type at each step (spec §4: reads walk against the root’s current value), so an Index(n) segment applied to a Map is reinterpreted as MapKey::Int(n) — the distinction never forecloses either domain.

Variants

Index(i32)

[i] — captured because the evaluated segment value was an Int.

Key(Value)

[k] (a non-Int map key) or .field (a struct field name, captured as Value::String).

Implementations

impl ProjSegment

pub fn from_value(v: Value) -> Self

Build a segment from an evaluated Value — the classification rule this whole module documents: Int → Index, anything else → Key.

Trait Implementations

impl Clone for ProjSegment

fn clone(&self) -> ProjSegment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProjSegment

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProjSegment

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProjSegment

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ProjSegment

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProjSegment