Enum Extent 

pub enum Extent {
    Scalar(usize),
    Range {
        min: usize,
        max: usize,
        sym: SymId,
    },
}

A single dimension’s extent: a build-time constant, or a bounded runtime symbol.

Shape::dims() reports the bound (a Scalar’s value, or a Range’s max/capacity) — which is what sizing/striding/iteration want. The live value of a Range is resolved per forward pass through a SymEnv. Scalar carries no symbol: two build-time constants that must match already match by being equal, and a runtime dimension always has a capacity bound, so it is a Range, never a Scalar.

Phase D step 1b. See docs/session-prompts/symbolic-extents-and-persistent-decode.md.

Variants

Scalar(usize)

A dimension fixed at graph-construction time.

Range

A bounded runtime dimension: live value in [min, max], resolved via the SymEnv under sym. max is the capacity (what dims() reports).

Fields

min: usize

max: usize

sym: SymId

Implementations

impl Extent

pub fn bound(&self) -> usize

The capacity bound: a Scalar’s value, or a Range’s max. This is what Shape::dims() reports for the axis.

pub fn min(&self) -> usize

The lower bound: a Scalar’s value, or a Range’s min.

pub fn is_dynamic(&self) -> bool

Whether this is a runtime (Range) extent rather than a constant.

pub fn sym(&self) -> Option<SymId>

The symbol of a Range, or None for a Scalar.

pub fn resolve(&self, env: &SymEnv) -> Option<usize>

The live value this pass: a Scalar’s value, or the Range’s sym resolved through env. None if a Range’s symbol is unbound.

Trait Implementations

impl Clone for Extent

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Extent

impl Debug for Extent

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

Formats the value using the given formatter.

impl Eq for Extent

impl Hash for Extent

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Extent

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Extent