Enum ShapeExpr 

pub enum ShapeExpr {
    SameAs {
        operand: u8,
    },
    WithDim {
        operand: u8,
        axis: u8,
        dim: Box<Dim>,
    },
    Dims(Vec<Dim>),
}

A whole-shape expression (ShapeExpr). The closed core is SameAs; WithDim and Dims are the experimental-range extension constructors registered via the KISS umbrella §6.4 registry (Ops §6.20-0009/-0010, issue #80), activating the §6.20-0005 tags 0x0A/0x0B. Reduce (0x09) stays reserved (no consumer).

Variants

SameAs

The operand’s whole shape.

Fields

operand: u8

WithDim

EXPERIMENTAL (umbrella §6.4; tag 0x0A, §6.20-0009). The operand’s shape with the resolved axis (non-negative, or LAST = trailing) replaced by dim. Functional spelling with_dim(operand, axis, dim).

Fields

operand: u8

axis: u8

dim: Box<Dim>

Dims(Vec<Dim>)

EXPERIMENTAL (umbrella §6.4; tag 0x0B, §6.20-0010). A whole shape built from N >= 0 ordered DimExprs (N = 0 = the rank-0 scalar shape). Functional spelling dims([dim, …]).

Implementations

impl ShapeExpr

pub fn encode(&self) -> Vec<u8>

Canonical wire bytes (§6.20-0005; the experimental extension tags 0x0A/0x0B per §6.20-0009/-0010, u16-LE length-prefixed children).

Trait Implementations

impl Clone for ShapeExpr

fn clone(&self) -> ShapeExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeExpr

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

Formats the value using the given formatter.

impl Eq for ShapeExpr

impl Hash for ShapeExpr

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

where __H: Hasher,

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 ShapeExpr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ShapeExpr