devela/examples/num/
niche.rs

1// devela::examples::num::niche
2//
3//! Shows how to define niche types.
4//!
5//! Uses the macros: [`impl_non_value!`].
6//!
7//! # Example
8//! ```
9//! # use devela::impl_non_value;
10//! impl_non_value!(I 8);
11//!
12//! let a = NonValueI8::<3>::new(2);
13//! ```
14//
15
16use devela::impl_non_value;
17
18impl_non_value!(I 8);
19
20fn main() {
21    assert![NonValueI8::<3>::new(2).is_some()];
22    assert![NonValueI8::<3>::new(3).is_none()];
23}