summaryrefslogtreecommitdiff
path: root/src/single.rs
blob: b3f0b18c13524fc1081e0363e0e2e6bbdca0a030 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
pub trait Single {
    type Item;

    fn single(self) -> Option<Self::Item>;
}

impl<T, I> Single for I
where
    I: IntoIterator<Item = T>,
{
    type Item = T;

    fn single(self) -> Option<Self::Item> {
        let mut iter = self.into_iter();

        // There are three cases of interest:
        //
        // 1. `self` has zero items -> return None.
        // 2. `self` has two or more items -> return None.
        // 3. `self` has exactly one item -> return `iter.next()` unchanged, as
        //    it holds that item.
        iter.next().filter(|_| iter.next().is_none())
    }
}