checked_num 0.1.3

Overflow-checked numbers for safety without sacrificing ergonomics.
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

use core::num::NonZero;

/// All built-in Integer types
///
/// Excludes `Wrapping<_>``
pub trait BuiltinInt: Copy {}

impl BuiltinInt for i128 {}
impl BuiltinInt for i64 {}
impl BuiltinInt for i32 {}
impl BuiltinInt for i16 {}
impl BuiltinInt for i8 {}
impl BuiltinInt for u128 {}
impl BuiltinInt for u64 {}
impl BuiltinInt for u32 {}
impl BuiltinInt for u16 {}
impl BuiltinInt for u8 {}

impl BuiltinInt for NonZero<i128> {}
impl BuiltinInt for NonZero<i64> {}
impl BuiltinInt for NonZero<i32> {}
impl BuiltinInt for NonZero<i16> {}
impl BuiltinInt for NonZero<i8> {}
impl BuiltinInt for NonZero<u128> {}
impl BuiltinInt for NonZero<u64> {}
impl BuiltinInt for NonZero<u32> {}
impl BuiltinInt for NonZero<u16> {}
impl BuiltinInt for NonZero<u8> {}

// Wrapping<T> is purposfully ignored!
// Adding checked to wrapping values does not make sense.
//
// impl<T: BuiltinInt> BuiltinInt for Wrapping<T> {}