Struct DebugValidationPolicy 

pub struct DebugValidationPolicy<P: ValidationPolicy>(/* private fields */);

A validation policy that is active only in debug builds.

This struct acts as a wrapper around another ValidationPolicy.

• In debug builds (#[cfg(debug_assertions)]), it delegates validation directly to the inner policy P.
• In release builds (#[cfg(not(debug_assertions))]), it becomes a “no-op” (no operation), meaning its validate and validate_ref methods do nothing and always return Ok.

This is useful for enforcing strict, potentially expensive validations during development and testing, while eliminating their performance overhead in production code.

Generic Parameters

• P: The inner ValidationPolicy to use during debug builds.

Example

use num_valid::{validation::{DebugValidationPolicy, StrictFinitePolicy, Native64RawRealStrictFinitePolicy}};
use try_create::ValidationPolicy;

// Define a policy that uses Native64RawRealStrictFinitePolicy
// (i.e. StrictFinitePolicy<f64, 53>) only in debug builds.
type MyPolicy = DebugValidationPolicy<Native64RawRealStrictFinitePolicy>;

let nan_value = f64::NAN;
let result = MyPolicy::validate(nan_value);

#[cfg(debug_assertions)]
{
    // In debug mode, the validation fails because StrictFinitePolicy catches NaN.
    assert!(result.is_err());
}

#[cfg(not(debug_assertions))]
{
    // In release mode, the validation is skipped and always succeeds.
    assert!(result.is_ok());
}

Trait Implementations

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

where StrictFinitePolicy<RawComplex, PRECISION>: ValidationPolicyComplex,

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

where StrictFinitePolicy<RawReal, PRECISION>: ValidationPolicyReal,

impl<P: ValidationPolicy> ValidationPolicy for DebugValidationPolicy<P>

type Value = <P as ValidationPolicy>::Value

The type of the value to be validated.

type Error = <P as ValidationPolicy>::Error

The type of the error returned if validation fails.

fn validate_ref(value: &Self::Value) -> 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<P> ValidationPolicyComplex for DebugValidationPolicy<P>

where P: ValidationPolicyComplex,

const PRECISION: u32 = P::PRECISION

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

impl<P> ValidationPolicyReal for DebugValidationPolicy<P>

where P: ValidationPolicyReal,

const PRECISION: u32 = P::PRECISION

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