Struct Range 

pub struct Range {
    pub min: Option<f64>,
    pub max: Option<f64>,
    pub min_inclusive: bool,
    pub max_inclusive: bool,
}

Numeric range constraint.

Precision Warning: Bounds are stored as f64. Integers larger than 2^53 (9,007,199,254,740,992) will lose precision.

For Snowflake IDs or 64-bit integers: Use String comparison or Exact matching to avoid precision loss. Do NOT use Range for IDs > 2^53.

Wire type ID: 3

Fields

min: Option<f64>

max: Option<f64>

min_inclusive: bool

max_inclusive: bool

Implementations

impl Range

pub fn new(min: Option<f64>, max: Option<f64>) -> Result<Self>

Create a new range constraint with inclusive bounds.

Errors

Returns InvalidRange if min or max is NaN (NaN causes non-deterministic serialization).

pub fn max(max: f64) -> Result<Self>

Create a range with only a maximum value.

Errors

Returns InvalidRange if max is NaN.

pub fn min(min: f64) -> Result<Self>

Create a range with only a minimum value.

Errors

Returns InvalidRange if min is NaN.

pub fn between(min: f64, max: f64) -> Result<Self>

Create a range between min and max.

Errors

Returns InvalidRange if min or max is NaN.

pub fn min_exclusive(self) -> Self

Set whether the minimum bound is inclusive.

pub fn max_exclusive(self) -> Self

Set whether the maximum bound is inclusive.

pub fn matches(&self, value: &ConstraintValue) -> Result<bool>

Check if a value is within the range.

Returns Ok(false) for non-numeric values or NaN.

pub fn validate_attenuation(&self, child: &Range) -> Result<()>

Validate that child is a valid attenuation (subset of parent range).

Checks both numeric bounds AND inclusivity flags:

• Child min must be >= parent min
• Child max must be <= parent max
• If parent bound is exclusive, child cannot make it inclusive (would widen)

pub fn contains_value(&self, value: f64) -> bool

Check if an exact value is within the range.

Used for Range -> Exact attenuation validation.

Trait Implementations

impl Clone for Range

fn clone(&self) -> Range

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Range

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Range

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Range> for Constraint

fn from(r: Range) -> Self

Converts to this type from the input type.

impl PartialEq for Range

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Range