Enum ProgramShapeRelation 

#[non_exhaustive]
pub enum ProgramShapeRelation {
    Equal,
    LessEqual,
    GreaterEqual,
}

Relation enforced between two symbolic dimension expressions.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Equal

Both expressions must evaluate to the same extent.

LessEqual

The left expression must not exceed the right expression.

GreaterEqual

The left expression must be at least the right expression.

Trait Implementations

impl Clone for ProgramShapeRelation

fn clone(&self) -> ProgramShapeRelation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramShapeRelation

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

Formats the value using the given formatter.

impl Hash for ProgramShapeRelation

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 ProgramShapeRelation

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

impl Eq for ProgramShapeRelation

impl StructuralPartialEq for ProgramShapeRelation