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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
extern crate self as enum_rotate;
pub use EnumRotate;
/// Trait implementing iterator-like behavior for enums.
///
/// Implementing this trait provides the
/// [`next`], [`prev`], [`rotate_next`], [`rotate_prev`], [`iter`], and [`iter_from`] methods on any enum.
///
/// An implementation of this trait describes an *iteration order* of the enum's variants.
/// An iteration order is simply an ordering of **all** the variants of the enum with each variant
/// appearing exactly once. Any given implementation of this trait must ensure that all functions
/// respect the same iteration order.
///
/// This trait should only be implemented for enums, if this trait is implemented for a struct or
/// a union, its requirements are unspecified and the behavior of some of the default implementations
/// is also unspecified.
///
/// Note that this trait currently excludes enums with non-empty (and not effectively unit) tuple or struct
/// variants due to how the [`next`], [`prev`], [`rotate_next`], and [`rotate_prev`] functions are defined.
/// This is because any information carried by a variant would be overridden by calling `.next().prev()`,
/// which would break an invariant. This part of the specification might change in the future.
///
/// It is recommended to implement this trait using the provided derive macro like this:
/// ```rust
/// use enum_rotate::EnumRotate;
///
/// #[derive(EnumRotate, Copy, Clone)]
/// enum Enum { A, B, C }
/// ```
///
/// Here is a brief overview of the functions in this trait:
///
/// - The [`next`] and [`prev`] functions cycle through the variants of the enum.
///
/// The implementation must
/// ensure that
/// - `x.next().prev() == x` is always true
/// - `x.prev().next() == x` is always true
/// - [`next`] and [`prev`] describe the same iteration order as all the other functions
///
/// - The [`rotate_next`] and [`rotate_prev`] functions are in-place versions of [`next`] and [`prev`] respectively.
/// They modify the receiver they operate on and return a copy of the new value.
///
/// The implementation must ensure that
/// - `x.rotate_next(); x.rotate_prev()` will leave `x` unchanged
/// - `x.rotate_prev(); x.rotate_next()` will leave `x` unchanged
/// - [`rotate_next`] and [`rotate_prev`] describe the same iteration order as all the other functions
///
/// - The [`iter`] function returns an iterator over the variants of the enum.
///
/// The implementation must ensure that the iterator returned by [`iter`]
/// - Returns each variant of the enum **exactly once**
/// - Describes the same iteration order as all the other functions
///
/// No guarantees are made about the precise type of the iterator.
///
/// - The [`iter_from`] function returns an iterator over the variants of the enum starting from a given variant.
/// The implementation must ensure that the iterator returned by [`iter_from`]
/// - Returns the variant passed to [`iter_from`] as its first element
/// - Returns each variant of the enum **exactly once**
/// - Describes the same iteration order as all the other functions
///
/// No guarantees are made about the precise type of the iterator
///
/// [`next`]: EnumRotate::next
/// [`prev`]: EnumRotate::prev
/// [`rotate_next`]: EnumRotate::rotate_next
/// [`rotate_prev`]: EnumRotate::rotate_prev
/// [`iter`]: EnumRotate::iter
/// [`iter_from`]: EnumRotate::iter_from