Module validation 

Validation traits and marker traits for finite value guarantees. Validation traits and marker traits for scalar types.

This module provides traits for floating-point classification checks and marker traits that guarantee certain properties of validated types.

Traits

FpChecks

Provides a set of fundamental floating-point classification checks.

GuaranteesFiniteComplexValues

Marker trait indicating that a validation policy guarantees finite complex values.

GuaranteesFiniteRealValues

A marker trait for validation policies that guarantee finite real values.

ValidationPolicyComplex

A marker for policies that apply to complex types.

ValidationPolicyReal

A marker for policies that apply to real types.