libspecr 0.1.41

standard library for specr lang
Documentation 
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

use im::hashset::ConsumingIter;
use im::HashSet as IMHashSet;

use crate::*;

impl<T: Obj> Set<T> {
    /// An iterator over all elements of self.
    pub fn iter(self) -> ConsumingIter<T> {
        self.into_iter()
    }
}

impl<T: Obj> IntoIterator for Set<T> {
    type Item = T;
    type IntoIter = ConsumingIter<T>;

    fn into_iter(self) -> Self::IntoIter {
        self.0.call_ref_unchecked(|s| s.clone().into_iter())

    }
}


impl<U: Obj> FromIterator<U> for Set<U> {
    fn from_iter<T>(iter: T) -> Self where T: IntoIterator<Item = U> {
        let v: IMHashSet<U> = iter.into_iter().collect();
        Set(GcCow::new(v))
    }
}