as_repr-core 1.7.0

Rust trait for constant `#[repr(T)]` conversions
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

//! _**`float`**_ Constant float operations on inherent representations

use core::num::FpCategory;

use crate::inherent::AsReprInherent;

#[doc(hidden)]
#[non_exhaustive]
#[derive(Debug)]
pub enum Type {
    F32,
    F64,
}

/// Trait indicating that a type may be compared by representation
///
/// # Safety
///
///  - The type specified in the associated constant must match the repr
pub unsafe trait Float: Copy {
    /// The type to interpret as; must be `AsRepr<Type::Variant>`
    const TYPE: Type;
}

unsafe impl<T> Float for T
where
    T: AsReprInherent,
    T::InherentRepr: Float,
{
    const TYPE: Type = <T::InherentRepr as Float>::TYPE;
}

macro_rules! float {
    ($type:ty, $name:ident) => {
        unsafe impl Float for $type {
            const TYPE: Type = Type::$name;
        }
    };
}

float!(f32, F32);
float!(f64, F64);

/// Classify a float.
///
/// ```rust
/// # use core::num::FpCategory;
/// # use as_repr_core::float;
/// assert_eq!(float::classify(12.4_f32), FpCategory::Normal);
/// assert_eq!(float::classify(f32::INFINITY), FpCategory::Infinite);
/// assert_eq!(float::classify(0f32), FpCategory::Zero);
/// assert_eq!(float::classify(1.1754942e-38f32), FpCategory::Subnormal);
/// assert_eq!(float::classify(f32::NAN), FpCategory::Nan);
/// ```
pub const fn classify<T>(a: T) -> FpCategory
where
    T: Float,
{
    let a: *const T = &a;

    match T::TYPE {
        Type::F32 => unsafe { *a.cast::<f32>() }.classify(),
        Type::F64 => unsafe { *a.cast::<f64>() }.classify(),
    }
}