numaxiom 0.0.2

Lightweight numeric marker traits for ranges/signs plus constants and ops; std by default, no_std optional.
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

/// Marker trait for types that exclude zero from their domain.
/// Implementers must ensure zero is unrepresentable for the type.
pub trait NonZero {}

macro_rules! impl_non_zero_core {
    ($($ty:ty),+ $(,)?) => {
        $(impl NonZero for $ty {})+
    };
}

impl_non_zero_core!(
    core::num::NonZeroI8,
    core::num::NonZeroI16,
    core::num::NonZeroI32,
    core::num::NonZeroI64,
    core::num::NonZeroI128,
    core::num::NonZeroIsize,
    core::num::NonZeroU8,
    core::num::NonZeroU16,
    core::num::NonZeroU32,
    core::num::NonZeroU64,
    core::num::NonZeroU128,
    core::num::NonZeroUsize,
);