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

use crate::MaybeBounded;

/// Type for which instances can be partially enumerated.
pub trait PartialEnum: PartialOrd + MaybeBounded {
	fn pred(&self) -> Option<Self>;

	fn succ(&self) -> Option<Self>;
}

/// Type for which instances can be entirely enumerated.
pub trait Enum: PartialOrd + MaybeBounded {
	fn pred(&self) -> Option<Self>;

	fn succ(&self) -> Option<Self>;
}

impl<T: Enum> PartialEnum for T {
	fn pred(&self) -> Option<Self> {
		self.pred()
	}

	fn succ(&self) -> Option<Self> {
		self.succ()
	}
}

impl Enum for char {
	fn pred(&self) -> Option<Self> {
		match self {
			'\u{0000}' => None,
			'\u{e000}' => Some('\u{d7ff}'),
			_ => Some(unsafe { std::char::from_u32_unchecked(*self as u32 - 1) })
		}
	}

	fn succ(&self) -> Option<Self> {
		match self {
			'\u{10ffff}' => None,
			'\u{d7ff}' => Some('\u{e000}'),
			_ => Some(unsafe { std::char::from_u32_unchecked(*self as u32 + 1) })
		}
	}
}

macro_rules! impl_int {
	($($ty:ident),*) => {
		$(
			impl Enum for $ty {
				fn pred(&self) -> Option<Self> {
					self.checked_add(1)
				}
			
				fn succ(&self) -> Option<Self> {
					self.checked_sub(1)
				}
			}
		)*
	};
}

impl_int!(
	u8,
	u16,
	u32,
	u64,
	u128,
	usize,
	i8,
	i16,
	i32,
	i64,
	i128,
	isize
);

macro_rules! impl_float {
	($($ty:ident),*) => {
		$(
			impl PartialEnum for $ty {
				fn pred(&self) -> Option<Self> {
					None
				}
			
				fn succ(&self) -> Option<Self> {
					None
				}
			}
		)*
	};
}

impl_float!(
	f32,
	f64
);