Enum DimMatcher 

pub enum DimMatcher<'a> {
    Any {
        label_id: Option<usize>,
    },
    Ellipsis {
        label_id: Option<usize>,
    },
    Expr {
        label_id: Option<usize>,
        expr: DimExpr<'a>,
    },
}

A term in a shape pattern.

Users should generally use crate::shape_contract to construct patterns.

Variants

Any

Matches any dimension size.

Fields

label_id: Option<usize>

An optional label for the matcher.

Ellipsis

Matches a variable number of dimensions (ellipsis).

Fields

label_id: Option<usize>

An optional label for the matcher.

Expr

A dimension size expression that must match a specific value.

Fields

label_id: Option<usize>

An optional label for the matcher.

expr: DimExpr<'a>

The dimension expression that must match a specific value.

Implementations

impl<'a> DimMatcher<'a>

pub const fn any() -> Self

Create a new DimMatcher that matches any dimension size.

pub const fn ellipsis() -> Self

Create a new DimMatcher that matches a variable number of dimensions (ellipsis).

pub const fn expr(expr: DimExpr<'a>) -> Self

Create a new DimMatcher from a dimension expression.

Arguments

• expr: a dimension expression that must match a specific value.

Returns

A new DimMatcher that matches the given expression.

pub const fn label_id(&self) -> Option<usize>

Get the label of the matcher, if any.

pub const fn with_label_id(self, label_id: Option<usize>) -> Self

Attach a label to the matcher.

Arguments

• label_id: an optional label to attach to the matcher.

Returns

A new DimMatcher with the label attached.

Trait Implementations

impl<'a> Clone for DimMatcher<'a>

fn clone(&self) -> DimMatcher<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for DimMatcher<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for DimMatcher<'a>

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

impl<'a> StructuralPartialEq for DimMatcher<'a>