stable_id_traits/
predecessor.rs

1use crate::Predecessor;
2
3impl Predecessor for u8 {
4    fn prev_value(self) -> Self {
5        assert!(self > 0);
6        self - 1
7    }
8}
9
10impl Predecessor for u16 {
11    fn prev_value(self) -> Self {
12        assert!(self > 0);
13        self - 1
14    }
15}
16
17impl Predecessor for u32 {
18    fn prev_value(self) -> Self {
19        assert!(self > 0);
20        self - 1
21    }
22}
23
24impl Predecessor for u64 {
25    fn prev_value(self) -> Self {
26        assert!(self > 0);
27        self - 1
28    }
29}
30
31impl Predecessor for usize {
32    fn prev_value(self) -> Self {
33        assert!(self > 0);
34        self - 1
35    }
36}