Struct StrictFinitePolicy 

pub struct StrictFinitePolicy<ScalarType: Sized, const PRECISION: u32>(/* private fields */);

A validation policy that checks for strict finiteness.

For floating-point types (ScalarType = f64, ScalarType = rug::Float), this policy ensures that the value is:

• Not NaN (Not a Number).
• Not positive or negative Infinity.
• Not subnormal (for f64). While rug::Float maintains its specified precision rather than having distinct subnormal representation in the IEEE 754 sense, this policy will also reject rug::Float values that are classified as FpCategory::Subnormal (e.g., results of underflow that are tiny but not exactly zero).

For complex types (ScalarType = Complex<f64>, ScalarType = rug::Complex), this policy applies the strict finiteness check to both the real and imaginary parts.

This struct is a Zero-Sized Type (ZST) and uses PhantomData to associate with the ScalarType it validates.

Trait Implementations

impl<RawComplex: RawComplexTrait, const PRECISION: u32> GuaranteesFiniteComplexValues for StrictFinitePolicy<RawComplex, PRECISION>

where StrictFinitePolicy<RawComplex, PRECISION>: ValidationPolicyComplex,

impl<RawReal: RawRealTrait, const PRECISION: u32> GuaranteesFiniteRealValues for StrictFinitePolicy<RawReal, PRECISION>

where StrictFinitePolicy<RawReal, PRECISION>: ValidationPolicyReal,

impl<const PRECISION: u32> ValidationPolicy for StrictFinitePolicy<Float, PRECISION>

Ensures the rug::Float value is strictly finite.

This policy checks if the underlying rug::Float value:

• Is not NaN (Not a Number).
• Is not positive nor negative Infinity.
• Has the specified precision (equal to PRECISION).

Note: rug::Float does not have a direct concept of “subnormal” in the same way IEEE 754 floats do; it maintains its specified precision.

Errors

Returns ErrorsValidationRawReal<rug::Float> if the value fails any of these checks.

type Value = Float

The type of the value to be validated.

type Error = ErrorsValidationRawReal<Float>

The type of the error returned if validation fails.

fn validate_ref(value: &Float) -> Result<(), Self::Error>

Validates a value by reference.

fn validate(v: Self::Value) -> Result<Self::Value, Self::Error>

Validates a value by consuming it.

impl<const PRECISION: u32> ValidationPolicy for StrictFinitePolicy<Complex, PRECISION>

Ensures both the real and imaginary parts of a rug::Complex value are strictly finite.

This policy applies the StrictFinitePolicy<rug::Float> (which checks the underlying rug::Float) to both the real and imaginary components of the rug::Complex.

Errors

Returns ErrorsValidationRawComplex<ErrorsValidationRawReal<rug::Float>> if either the real part, the imaginary part, or both parts fail the StrictFinitePolicy<RealRugStrictFinite<Precision>> checks.

type Value = Complex

The type of the value to be validated.

type Error = ErrorsValidationRawComplex<ErrorsValidationRawReal<Float>>

The type of the error returned if validation fails.

fn validate_ref(value: &Complex) -> Result<(), Self::Error>

Validates a value by reference.

fn validate(v: Self::Value) -> Result<Self::Value, Self::Error>

Validates a value by consuming it.

impl<RawComplex: RawComplexTrait, const PRECISION: u32> ValidationPolicyComplex for StrictFinitePolicy<RawComplex, PRECISION>

where StrictFinitePolicy<RawComplex, PRECISION>: ValidationPolicy<Value = RawComplex, Error = <RawComplex as RawScalarTrait>::ValidationErrors>,

const PRECISION: u32 = PRECISION

The precision (in bits) of the validated complex type’s components.

impl<RawReal: RawRealTrait, const PRECISION: u32> ValidationPolicyReal for StrictFinitePolicy<RawReal, PRECISION>

where StrictFinitePolicy<RawReal, PRECISION>: ValidationPolicy<Value = RawReal, Error = <RawReal as RawScalarTrait>::ValidationErrors>,

const PRECISION: u32 = PRECISION

The precision (in bits) of the validated real type.