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
use crate::common::*;
pub struct FromUniqueOrd<U, A>(Option<State<U, A>>)
where
A: Ord + Clone;
struct State<U, A>
where
A: Ord + Clone,
{
inner: U,
set: BTreeSet<A>,
}
impl<U, A> FromUniqueOrd<U, A>
where
A: Ord + Clone,
{
pub fn get(&self) -> Option<&U> {
self.0.as_ref().map(|state| &state.inner)
}
pub fn into_inner(self) -> Option<U> {
self.0.map(|state| state.inner)
}
}
impl<U, A> FromIterator<A> for FromUniqueOrd<U, A>
where
U: FromIterator<A>,
A: Ord + Clone,
{
fn from_iter<T: IntoIterator<Item = A>>(iter: T) -> Self {
let mut set = Some(BTreeSet::new());
let inner: U = iter
.into_iter()
.map(|item| {
let ok = set.as_mut().unwrap().insert(item.clone());
if ok {
Some(item)
} else {
set = None;
None
}
})
.fuse()
.flatten()
.collect();
let state = set.map(|set| State { inner, set });
Self(state)
}
}
impl<U, A> Extend<A> for FromUniqueOrd<U, A>
where
U: Extend<A>,
A: Ord + Clone,
{
fn extend<T: IntoIterator<Item = A>>(&mut self, iter: T) {
if let Some(state) = &mut self.0 {
let State { inner, set } = state;
let mut ok = true;
let iter = iter
.into_iter()
.map(|item| {
ok &= set.insert(item.clone());
ok.then(|| item)
})
.fuse()
.flatten();
inner.extend(iter);
if !ok {
self.0 = None;
}
}
}
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn unique_ord_test() {
let unique: FromUniqueOrd<Vec<_>, _> = vec![1, 2, 3].into_iter().collect();
assert_eq!(unique.into_inner(), Some(vec![1, 2, 3]));
let unique: FromUniqueOrd<Vec<_>, _> = vec![1, 2, 3, 3].into_iter().collect();
assert_eq!(unique.into_inner(), None);
let mut unique: FromUniqueOrd<Vec<_>, _> = vec![1, 2, 3].into_iter().collect();
unique.extend(vec![4]);
assert_eq!(unique.get(), Some(&vec![1, 2, 3, 4]));
unique.extend(vec![4]);
assert_eq!(unique.get(), None);
}
}