Struct Shape 

pub struct Shape { /* private fields */ }

A shape is a Slice with labeled dimensions and a selection API.

Implementations

impl Shape

pub fn new(labels: Vec<String>, slice: Slice) -> Result<Self, ShapeError>

Creates a new shape with the provided labels, which describe the provided Slice.

Shapes can also be constructed by way of the [shape] macro, which creates a by-construction correct slice in row-major order given a set of sized dimensions.

pub fn select<R: Into<Range>>( &self, label: &str, range: R, ) -> Result<Self, ShapeError>

Restrict this shape along a named dimension using a Range. The provided range must be nonempty. A shape defines a “strided view” where a strided view is a triple (offset, sizes, strides`). Each coordinate maps to a flat memory index using the formula:

    index = offset + ∑ i_k * strides[k]

where i_k is the coordinate in dimension k.

The select(dim, range) operation restricts the view to a subrange along a single dimension. It refines the shape by updating the offset, sizes[dim], and strides[dim] to describe a logically reindexed subregion:

    offset       += begin x strides[dim]
    sizes[dim]    = (end - begin) / step
    strides[dim] *= step

This transformation preserves the strided layout and avoids copying data. After select, the view behaves as if indexing starts at zero in the selected dimension, with a new length and stride. From the user’s perspective, nothing changes — indexing remains zero-based, and the resulting shape can be used like any other. The transformation is internal: the view’s offset and stride absorb the selection logic.

select is composable — it can be applied repeatedly, even on the same dimension, to refine the view incrementally.

pub fn select_iter(&self, dims: usize) -> Result<SelectIterator<'_>, ShapeError>

Produces an iterator over subshapes by fixing the first dims dimensions.

For a shape of rank n, this yields ∏ sizes[0..dims] subshapes, each with the first dims dimensions restricted to size 1. The remaining dimensions are left unconstrained.

This is useful for structured traversal of slices within a multidimensional shape. See SelectIterator for details and examples.

Errors

Returns an error if dims == 0 or dims >= self.rank().

pub fn index(&self, indices: Vec<(String, usize)>) -> Result<Shape, ShapeError>

Sub-set this shape by select a particular row of the given indices The resulting shape will no longer have dimensions for the given indices Example shape.index(vec![(“gpu”, 3), (“host”, 0)])

pub fn labels(&self) -> &[String]

The per-dimension labels of this shape.

pub fn slice(&self) -> &Slice

The slice describing the shape.

pub fn coordinates( &self, rank: usize, ) -> Result<Vec<(String, usize)>, ShapeError>

Return a set of labeled coordinates for the given rank.

pub fn unity() -> Shape

Return the 0-dimensional single element shape

Trait Implementations

impl Clone for Shape

fn clone(&self) -> Shape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Shape

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Shape

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Shape

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

Formats the value using the given formatter.

impl Hash for Shape

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 Shape

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

fn reshape(&self, limit: Limit) -> ReshapedShape

Produces a reshaped version of the shape with expanded dimensions under the given size limit.

impl Serialize for Shape

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 Shape