multitype 0.21.0

Arithmetic type traits.
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100

// Copyright 2025-2026 Gabriel Bjørnager Jensen.
//
// SPDX: MIT OR Apache-2.0

#![cfg(test)]

use multitype::Integral;

#[test]
fn test_highest_one() {
	assert_eq!(Integral::highest_one(0_u8), None);
	assert_eq!(Integral::highest_one(1_u8), Some(0));
	assert_eq!(Integral::highest_one(2_u8), Some(1));
	assert_eq!(Integral::highest_one(3_u8), Some(1));
	assert_eq!(Integral::highest_one(4_u8), Some(2));
	assert_eq!(Integral::highest_one(5_u8), Some(2));
	assert_eq!(Integral::highest_one(6_u8), Some(2));
	assert_eq!(Integral::highest_one(7_u8), Some(2));

	assert_eq!(Integral::highest_one(-0_i8), None);
	assert_eq!(Integral::highest_one(-1_i8), Some(7));
	assert_eq!(Integral::highest_one(-2_i8), Some(7));
	assert_eq!(Integral::highest_one(-3_i8), Some(7));
	assert_eq!(Integral::highest_one(-4_i8), Some(7));
	assert_eq!(Integral::highest_one(-5_i8), Some(7));
	assert_eq!(Integral::highest_one(-6_i8), Some(7));
	assert_eq!(Integral::highest_one(-7_i8), Some(7));
}

#[test]
fn test_isolate_highest_one() {
	assert_eq!(Integral::isolate_highest_one(0_u8), 0);
	assert_eq!(Integral::isolate_highest_one(1_u8), 1);
	assert_eq!(Integral::isolate_highest_one(2_u8), 2);
	assert_eq!(Integral::isolate_highest_one(3_u8), 2);
	assert_eq!(Integral::isolate_highest_one(4_u8), 4);
	assert_eq!(Integral::isolate_highest_one(5_u8), 4);
	assert_eq!(Integral::isolate_highest_one(6_u8), 4);
	assert_eq!(Integral::isolate_highest_one(7_u8), 4);

	assert_eq!(Integral::isolate_highest_one(-0_i8),    0);
	assert_eq!(Integral::isolate_highest_one(-1_i8), -128);
	assert_eq!(Integral::isolate_highest_one(-2_i8), -128);
	assert_eq!(Integral::isolate_highest_one(-3_i8), -128);
	assert_eq!(Integral::isolate_highest_one(-4_i8), -128);
	assert_eq!(Integral::isolate_highest_one(-5_i8), -128);
	assert_eq!(Integral::isolate_highest_one(-6_i8), -128);
	assert_eq!(Integral::isolate_highest_one(-7_i8), -128);
}

#[test]
fn test_isolate_lowest_one() {
	assert_eq!(Integral::isolate_lowest_one(0_u8), 0);
	assert_eq!(Integral::isolate_lowest_one(1_u8), 1);
	assert_eq!(Integral::isolate_lowest_one(2_u8), 2);
	assert_eq!(Integral::isolate_lowest_one(3_u8), 1);
	assert_eq!(Integral::isolate_lowest_one(4_u8), 4);
	assert_eq!(Integral::isolate_lowest_one(5_u8), 1);
	assert_eq!(Integral::isolate_lowest_one(6_u8), 2);
	assert_eq!(Integral::isolate_lowest_one(7_u8), 1);

	assert_eq!(Integral::isolate_lowest_one(-0_i8), 0);
	assert_eq!(Integral::isolate_lowest_one(-1_i8), 1);
	assert_eq!(Integral::isolate_lowest_one(-2_i8), 2);
	assert_eq!(Integral::isolate_lowest_one(-3_i8), 1);
	assert_eq!(Integral::isolate_lowest_one(-4_i8), 4);
	assert_eq!(Integral::isolate_lowest_one(-5_i8), 1);
	assert_eq!(Integral::isolate_lowest_one(-6_i8), 2);
	assert_eq!(Integral::isolate_lowest_one(-7_i8), 1);
}

#[test]
fn test_lowest_one() {
	assert_eq!(Integral::lowest_one(0_u8), None);
	assert_eq!(Integral::lowest_one(1_u8), Some(0));
	assert_eq!(Integral::lowest_one(2_u8), Some(1));
	assert_eq!(Integral::lowest_one(3_u8), Some(0));
	assert_eq!(Integral::lowest_one(4_u8), Some(2));
	assert_eq!(Integral::lowest_one(5_u8), Some(0));
	assert_eq!(Integral::lowest_one(6_u8), Some(1));
	assert_eq!(Integral::lowest_one(7_u8), Some(0));

	assert_eq!(Integral::lowest_one(-0_i8), None);
	assert_eq!(Integral::lowest_one(-1_i8), Some(0));
	assert_eq!(Integral::lowest_one(-2_i8), Some(1));
	assert_eq!(Integral::lowest_one(-3_i8), Some(0));
	assert_eq!(Integral::lowest_one(-4_i8), Some(2));
	assert_eq!(Integral::lowest_one(-5_i8), Some(0));
	assert_eq!(Integral::lowest_one(-6_i8), Some(1));
	assert_eq!(Integral::lowest_one(-7_i8), Some(0));
}

#[test]
fn test_midpoint() {
	assert_eq!(Integral::midpoint(0_u128,        0_u128),    0_u128);
	assert_eq!(Integral::midpoint(0_u128,        u128::MAX), u128::MAX / 2);
	assert_eq!(Integral::midpoint(u128::MAX,     u128::MAX), u128::MAX);
	assert_eq!(Integral::midpoint(u128::MAX - 2, u128::MAX), u128::MAX - 1);
	assert_eq!(Integral::midpoint(i128::MIN,     i128::MAX), 0);
}