Enum GenericConstraint 

pub enum GenericConstraint {
    Dim,
    Index,
    Nat,
    Type,
}

Constraint on a generic parameter.

Variants

Dim

D: Dim – the generic stands for a dimension.

Index

I: Index – the generic stands for an index.

Nat

N: Nat – the generic stands for a natural number (type-level).

Type

F: Type – the generic stands for any type (unconstrained phantom parameter).

Trait Implementations

impl Clone for GenericConstraint

fn clone(&self) -> GenericConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for GenericConstraint

impl Debug for GenericConstraint

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

Formats the value using the given formatter.

impl Eq for GenericConstraint

impl FormatEquivalent for GenericConstraint

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

Returns true if self and other are equivalent up to formatting.

impl From<GenericConstraint> for TypeGenericConstraint

fn from(c: GenericConstraint) -> Self

Converts to this type from the input type.

impl PartialEq for GenericConstraint

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