cadd 0.2.0

Painless checked arithmetics and conversions
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

#![expect(
    missing_docs,
    clippy::tests_outside_test_module,
    clippy::unwrap_used,
    reason = "tests"
)]

use {
    crate::util::assert_err,
    cadd::{
        ops::{cadd_unsigned, Cadd},
        prelude::{non_zero, Cinto, IntoType, ToNonZero},
    },
};

mod util;

#[test]
fn test1() {
    assert_eq!(2u8.cadd(3).unwrap(), 5);
    assert_err(200u8.cadd(100), "failed to compute 200 + 100: u8 overflow");
    assert_err(
        (-5i32).cinto_type::<u32>(),
        "failed to convert value -5 from i32 to u32: value is out of bounds",
    );

    let _a = 2u32.to_non_zero().unwrap();
    let _b = non_zero(2u32).unwrap();
    assert_err(0u32.to_non_zero(), "unexpected zero value");
    assert_err(non_zero(0u32), "unexpected zero value");
}

fn _inference1(y: u32) -> cadd::Result<i32> {
    let x: i32 = y.cinto()?;
    cadd_unsigned(x, y)
}

fn _inference2(y: u8) -> cadd::Result<i32> {
    let a: i32 = 0;
    let x = y.into();
    cadd_unsigned(a, x)
}