Struct NumericRestrictions 

pub struct NumericRestrictions {
    pub min: Option<NumericBound>,
    pub max: Option<NumericBound>,
    pub unit: Option<String>,
}

Inline numeric refinement carried by the numeric SchemaType variants.

None on the variant means “unconstrained” — the common, hot-path case, a single tag rather than three carried inner Options. The empty restriction set is never stored as Some: smart constructors and decoders collapse it to None via NumericRestrictions::normalize, and well-formedness rejects a stored Some(empty).

Fields

min: Option<NumericBound>

max: Option<NumericBound>

unit: Option<String>

Free-form unit annotation. Schema/help metadata only: numeric SchemaValues carry no unit, so value validation never checks it; equivalence/subtyping require the normalized unit to match exactly.

Implementations

impl NumericRestrictions

pub fn is_empty(&self) -> bool

True when there is nothing to constrain (no bounds and no non-empty unit).

pub fn normalize(self) -> Option<NumericRestrictions>

Collapse the empty restriction set to None, dropping an empty unit and canonicalizing float bounds (so a decoded -0.0 becomes +0.0). This enforces the canonicalization invariants that Some(empty) is never constructed and that two restriction sets which differ only by float zero sign compare equal (SchemaType derives Eq and feeds byte-equivalence).

pub fn validate_for_repr( &self, repr: NumericRepr, ) -> Result<(), NumericRestrictionError>

Repr-aware well-formedness check, shared by every validation entry point (well-formedness, subtyping, value validation, macro refinement) so no path assumes a prior well-formedness pass.

Rejects: a stored empty set (Some(empty) must never exist), a bound whose family does not match the repr, an integer repr carrying a float bound, a bound that does not fit the repr’s range, an F32 bound that does not round-trip through f32, and min > max (compared numerically).

Trait Implementations

impl Clone for NumericRestrictions

fn clone(&self) -> NumericRestrictions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NumericRestrictions

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

Formats the value using the given formatter.

impl Default for NumericRestrictions

fn default() -> NumericRestrictions

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for NumericRestrictions

fn deserialize<__D>( __deserializer: __D, ) -> Result<NumericRestrictions, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for NumericRestrictions

impl FromSchema for NumericRestrictions

fn from_value( value: &SchemaValue, ) -> Result<NumericRestrictions, FromSchemaError>

impl IntoSchema for NumericRestrictions

fn type_id() -> TypeId

fn register_in(builder: &mut SchemaBuilder) -> SchemaType

fn to_value(&self) -> SchemaValue

impl PartialEq for NumericRestrictions

fn eq(&self, other: &NumericRestrictions) -> bool

Equality operator ==.

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

Inequality operator !=.

impl Serialize for NumericRestrictions

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for NumericRestrictions