refinement_types/int/
mod.rs

1//! Predicates for integers.
2
3pub(crate) mod macros;
4
5macros::unsigned_module!(u8 => u8);
6macros::unsigned_module!(u16 => u16);
7macros::unsigned_module!(u32 => u32);
8macros::unsigned_module!(u64 => u64);
9macros::unsigned_module!(u128 => u128);
10macros::unsigned_module!(usize => usize);
11
12macros::signed_module!(i8 => i8);
13macros::signed_module!(i16 => i16);
14macros::signed_module!(i32 => i32);
15macros::signed_module!(i64 => i64);
16macros::signed_module!(i128 => i128);
17macros::signed_module!(isize => isize);