Enum ConstConstraint 

pub enum ConstConstraint {
    RangeU64 {
        min: u64,
        max: u64,
    },
    RangeF64 {
        min: f64,
        max: f64,
    },
    AllowedU64(&'static [u64]),
    NonZeroU64,
    NonEmptyStr,
    StrParser(fn(&str) -> Result<(), String>),
    PositiveFiniteF64,
    FiniteF64,
}

A declarative constraint on one constant argument of a node call.

Attached to a ParamSpec via the optional constraint field; the factory walks FuncSig.params and enforces every declared constraint before build_node constructs the node. All variants are Copy so ParamSpec (and the static FuncSig arrays that embed it) stay Copy.

Variants

RangeU64

Integer must satisfy min ≤ v ≤ max.

Fields

min: u64

The least value allowed.

max: u64

The greatest value allowed.

RangeF64

Float must satisfy min ≤ v ≤ max.

Fields

min: f64

The least value allowed.

max: f64

The greatest value allowed.

AllowedU64(&'static [u64])

Integer must appear in a closed set (e.g. radix ∈ {2, 8, 10, 16}).

NonZeroU64

Integer must be non-zero (divisors, moduli, ranges).

NonEmptyStr

String must have non-empty length after trim.

StrParser(fn(&str) -> Result<(), String>)

Arbitrary string format predicate. Return Err(msg) to reject the constant; the caller prepends parameter context. Use for structured specs like "v1:w1;v2:w2" where a fixed enum variant can’t express the format.

PositiveFiniteF64

Float must be finite and strictly positive. Distinct from RangeF64 because the natural upper bound is +∞ and RangeF64 requires a finite max.

FiniteF64

Float must be finite (!is_nan() && !is_infinite()). Endpoint and offset constants where ±∞/NaN would silently produce nonsense outputs downstream.

Implementations

impl ConstConstraint

pub fn check(&self, arg: &ConstArg, param_name: &str) -> Result<(), String>

Apply this constraint to arg. On violation, the returned error message is prefixed with param_name so the caller can surface it directly to the user.

Trait Implementations

impl Clone for ConstConstraint

fn clone(&self) -> ConstConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ConstConstraint

impl Debug for ConstConstraint

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

Formats the value using the given formatter.