floatguard 0.1.2

A library for checked floating-point arithmetic in Rust, safely elminating NaN and Infinity from floating-point computations.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

mod convert;
mod ops_assign;

/// Represents a checked floating-point number that ensures it is neither NaN nor infinite.
///
/// # Example
///
/// ```rust
/// use floatguard::{UnguardedF64, FloatError, GuardedF64};
///
/// let unchecked_f64 = UnguardedF64::new(1.0);
/// assert_eq!((unchecked_f64 + 1.0).check(), GuardedF64::new(2.0));
///
/// assert_eq!(unchecked_f64.check(), GuardedF64::new(1.0));
///
/// assert_eq!((unchecked_f64 - f64::INFINITY).check(), Err(FloatError::Infinity));
/// ```
#[derive(Debug, Default, Clone, Copy)]
pub struct UnguardedF64(pub(crate) f64);

impl UnguardedF64 {
    /// Creates a new `UnguardedF64` instance.
    ///
    /// # Returns
    ///
    /// Returns a new `UnguardedF64` instance containing the provided `f64` value.
    #[must_use = "This function creates a new UnguardedF64 instance, but does not perform any checks on the value."]
    pub const fn new(value: f64) -> Self {
        Self(value)
    }
}

impl std::fmt::Display for UnguardedF64 {
    /// Formats the `GuardedF64` as a string.
    ///
    /// # Returns
    ///
    /// Returns a string representation of the inner `f64` value.
    ///
    /// # Example
    ///
    /// ```rust
    /// use floatguard::GuardedF64;
    ///
    /// let value = GuardedF64::new(2.0).unwrap();
    /// assert_eq!(value.to_string(), "2");
    /// ```
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "{}", self.0)
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::f64::tests::{invalid_f64, valid_f64};
    use crate::{FloatError, GuardedF64};
    use proptest::prelude::*;

    proptest! {
        #[test]
        fn test_new_valid(a in valid_f64()) {
            let unchecked_a = UnguardedF64::new(a);
            prop_assert_eq!(unchecked_a.check(), GuardedF64::new(a));
        }

        #[test]
        fn test_new_invalid(a in invalid_f64()) {
            let unchecked_a = UnguardedF64::new(a);
            let float_error = if a.is_nan() {
                FloatError::NaN
            } else if a.is_infinite() {
                FloatError::Infinity
            } else {
                unreachable!()
            };

            prop_assert_eq!(unchecked_a.check(), Err(float_error));
        }

        #[test]
        fn test_display(a in any::<f64>()) {
            let unchecked_a = UnguardedF64::new(a);
            prop_assert_eq!(unchecked_a.to_string(), a.to_string());
        }
    }
}