linearize 0.1.5

Types that are enumerable and an array-backed map
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

// NOTE: This macro exists because LLVM will not properly optimize from_linear_unchecked
// implementations that use the hint directly as their terminating branch.
macro_rules! cold_unreachable {
    () => {{
        #[cold]
        unsafe fn unreachable() -> ! {
            unsafe {
                core::hint::unreachable_unchecked();
            }
        }
        unreachable()
    }};
}

macro_rules! impl_assert {
    ($ty:ty) => {
        #[cfg(test)]
        static_assertions::assert_type_eq_all! {
            <$ty as $crate::Linearize>::Storage<u8>,
            <$ty as $crate::Linearize>::CopyStorage<u8>,
            [u8; <$ty as $crate::Linearize>::LENGTH],
        }
    };
    ($ty:ty, $length:expr) => {
        impl_assert!($ty);

        #[cfg(test)]
        static_assertions::const_assert_eq! {
            <$ty as $crate::Linearize>::LENGTH,
            $length,
        }
    };
}

#[cfg(test)]
fn test_delinearize<T: crate::Linearize>(_base: &T, v: usize) -> T {
    unsafe { T::from_linear_unchecked(v) }
}

#[cfg(test)]
macro_rules! assert_roundtrip {
    ($t:expr) => {{
        let t = $t;
        let l = t.linearize();
        assert_eq!(crate::impls::test_delinearize(&t, l), t);
    }};
    ($t:expr, $l:expr) => {{
        let t = $t;
        let l = t.linearize();
        assert_eq!(l, $l);
        assert_eq!(crate::impls::test_delinearize(&t, l), t);
    }};
}

mod bool;
mod enums;
mod infallible;
mod integers;
mod phantom_data;
mod phantom_pinned;
mod unit;