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 Copy for ProgramShapeRelation

impl Debug for ProgramShapeRelation

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

Formats the value using the given formatter.

impl Eq for ProgramShapeRelation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProgramShapeRelation