Struct DimConstraint 

pub struct DimConstraint {
    pub lhs: DimExpr,
    pub relation: DimRelation,
    pub rhs: DimExpr,
    pub message: Option<String>,
}

A constraint between dimension expressions.

Fields

lhs: DimExpr

Left-hand side expression

relation: DimRelation

Constraint relation

rhs: DimExpr

Right-hand side expression

message: Option<String>

Error message if constraint is violated

Implementations

impl DimConstraint

pub fn new(lhs: DimExpr, relation: DimRelation, rhs: DimExpr) -> Self

Create a new dimension constraint.

pub fn with_message(self, message: impl Into<String>) -> Self

Set the error message.

pub fn check(&self, ctx: &DependentTypeContext) -> bool

Check if the constraint is satisfied.

Trait Implementations

impl Clone for DimConstraint

fn clone(&self) -> DimConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DimConstraint

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

Formats the value using the given formatter.