anodized-logic 0.5.1

Helps Anodized embed non-trivial elements of logic into Rust code
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

use anodized_logic::arithmetic::int;

#[test]
fn test_basics() {
    assert_eq!(int::from(1) + 1, 2);
    assert_eq!(1 + int::from(1), 2);

    let large_num = int::from(u128::MAX) + 42;
    assert_eq!(large_num - 42, u128::MAX);
}

#[test]
fn test_collatz() {
    pub fn collatz(mut n: int) -> int {
        while n > 1 {
            n = f(&n);
        }
        n
    }

    fn f(n: &int) -> int {
        if n % 2 == 0 { n / 2 } else { 3 * n + 1 }
    }

    let large_num = int::from(u128::MAX) + 42;
    assert_eq!(collatz(large_num), 1);
}