devela 0.27.0

A development layer of coherence.
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

// devela::num::grain::niche::impls
//
//! Implements `BitSized`, `ConstInit` and `MemPod` for `NonValue*`.
//

#[cfg(all(feature = "unsafe_layout", not(feature = "safe_mem")))]
use crate::MemPod;
#[cfg(feature = "bit")]
use crate::{BitSized, ByteSized};
#[allow(unused, reason = "±unsafe")]
use crate::{
    NonValueI8, NonValueI16, NonValueI32, NonValueI64, NonValueI128, NonValueIsize, NonValueU8,
    NonValueU16, NonValueU32, NonValueU64, NonValueU128, NonValueUsize,
};

macro_rules! impl_for_non_value {
    () => {
        impl_for_non_value![
            u8, u16, u32, u64, u128, usize,
            i8, i16, i32, i64, i128, isize,
        ];
    };
    ($($IP:ty),+ $(,)?) => { crate::paste! {
        $(
            impl_for_non_value!(@
                [<NonValue $IP:camel>],
                [<NonExtreme $IP:camel>],
                $IP
                );
            )+
    }};
    (@$nv:ident, $ne:ident, $IP:ty) => {

        // BitSized for NonValue*
        #[cfg(feature = "bit")]
        impl<const V: $IP> BitSized<{<$IP>::BYTE_SIZE * 8}> for $nv<V> {}

        // MemPod for NonValue*
        #[cfg(feature = "unsafe_layout")]
        #[cfg(not(any(feature = "safe_mem", feature = "safe_num")))]
        #[cfg_attr(nightly_doc, doc(cfg(feature = "unsafe_layout")))]
        #[cfg_attr(nightly_doc, doc(cfg(not(feature = "safe_mem"))))]
        #[cfg_attr(nightly_doc, doc(cfg(not(feature = "safe_num"))))]
        unsafe impl<const V: $IP> MemPod for Option<$nv<V>> {}
    };
}
impl_for_non_value![];