use thin_sentinel::*;
use thin_hasher::*;
use thin_map::*;
use std::hash::BuildHasher;
use std::hash::Hash;
use std::fmt::{self};
use std::iter::FromIterator;
use std::iter::FusedIterator;
use std::ops::BitOr;
use std::ops::BitAnd;
use std::ops::BitXor;
use std::ops::Sub;
use std::iter::Chain;
#[derive(Clone)]
pub struct ThinSet<T: ThinSentinel + Eq + Hash, S: BuildHasher = OneFieldHasherBuilder> {
map: ThinMap<T, (), S>,
}
impl<T: Hash + Eq + ThinSentinel> ThinSet<T, OneFieldHasherBuilder> {
#[inline]
pub fn new() -> ThinSet<T, OneFieldHasherBuilder> {
ThinSet { map: ThinMap::new() }
}
#[inline]
pub fn with_capacity(capacity: usize) -> ThinSet<T, OneFieldHasherBuilder> {
ThinSet { map: ThinMap::with_capacity(capacity) }
}
}
impl<T, S> ThinSet<T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
#[inline]
pub fn with_hasher(hasher: S) -> ThinSet<T, S> {
ThinSet { map: ThinMap::with_hasher(hasher) }
}
#[inline]
pub fn with_capacity_and_hasher(capacity: usize, hasher: S) -> ThinSet<T, S> {
ThinSet { map: ThinMap::with_capacity_and_hasher(capacity, hasher) }
}
pub fn hasher(&self) -> &S {
self.map.hasher()
}
#[inline]
pub fn capacity(&self) -> usize {
self.map.capacity()
}
pub fn reserve(&mut self, additional: usize) {
self.map.reserve(additional)
}
pub fn shrink_to_fit(&mut self) {
self.map.shrink_to_fit()
}
pub fn iter(&self) -> Iter<T> {
Iter { iter: self.map.keys() }
}
pub fn difference<'a>(&'a self, other: &'a ThinSet<T, S>) -> Difference<'a, T, S> {
Difference {
iter: self.iter(),
other,
}
}
pub fn symmetric_difference<'a>(&'a self,
other: &'a ThinSet<T, S>)
-> SymmetricDifference<'a, T, S> {
SymmetricDifference { iter: self.difference(other).chain(other.difference(self)) }
}
pub fn intersection<'a>(&'a self, other: &'a ThinSet<T, S>) -> Intersection<'a, T, S> {
Intersection {
iter: self.iter(),
other,
}
}
pub fn union<'a>(&'a self, other: &'a ThinSet<T, S>) -> Union<'a, T, S> {
Union { iter: self.iter().chain(other.difference(self)) }
}
#[inline]
pub fn len(&self) -> usize {
self.map.len()
}
#[inline]
pub fn is_empty(&self) -> bool {
self.map.is_empty()
}
#[inline]
pub fn drain(&mut self) -> Drain<T> {
Drain { iter: self.map.drain() }
}
#[inline]
pub fn clear(&mut self) {
self.map.clear()
}
pub fn contains(&self, value: &T) -> bool
{
self.map.contains_key(value)
}
pub fn get(&self, value: &T) -> Option<&T>
{
let option = self.map.get_key_value(value);
if option.is_none() { return None; }
Some(option.unwrap().0)
}
pub fn is_disjoint(&self, other: &ThinSet<T, S>) -> bool {
self.iter().all(|v| !other.contains(v))
}
pub fn is_subset(&self, other: &ThinSet<T, S>) -> bool {
self.iter().all(|v| other.contains(v))
}
#[inline]
pub fn is_superset(&self, other: &ThinSet<T, S>) -> bool {
other.is_subset(self)
}
#[inline]
pub fn insert(&mut self, value: T) -> bool {
self.map.insert(value, ()).is_none()
}
#[inline]
pub fn remove(&mut self, value: &T) -> bool
{
self.map.remove(value).is_some()
}
pub fn take(&mut self, value: &T) -> Option<T>
{
let option = self.map.remove_entry(value);
if option.is_none() { return None; }
Some(option.unwrap().0)
}
pub fn retain<F>(&mut self, mut f: F)
where F: FnMut(&T) -> bool
{
self.map.retain(|k, _| f(k));
}
}
impl<T, S> PartialEq for ThinSet<T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
fn eq(&self, other: &ThinSet<T, S>) -> bool {
if self.len() != other.len() {
return false;
}
self.iter().all(|key| other.contains(key))
}
}
impl<T, S> Eq for ThinSet<T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{}
impl<T, S> fmt::Debug for ThinSet<T, S>
where T: Eq + Hash + fmt::Debug + ThinSentinel,
S: BuildHasher
{
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
f.debug_set().entries(self.iter()).finish()
}
}
impl<T, S> FromIterator<T> for ThinSet<T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher + Default
{
fn from_iter<I: IntoIterator<Item=T>>(iter: I) -> ThinSet<T, S> {
let mut set = ThinSet::with_hasher(Default::default());
set.extend(iter);
set
}
}
impl<T, S> Extend<T> for ThinSet<T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
fn extend<I: IntoIterator<Item=T>>(&mut self, iter: I) {
self.map.extend(iter.into_iter().map(|k| (k, ())));
}
}
impl<'a, T, S> Extend<&'a T> for ThinSet<T, S>
where T: 'a + Eq + Hash + Copy + ThinSentinel,
S: BuildHasher
{
fn extend<I: IntoIterator<Item=&'a T>>(&mut self, iter: I) {
self.extend(iter.into_iter().cloned());
}
}
impl<T, S> Default for ThinSet<T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher + Default
{
fn default() -> ThinSet<T, S> {
ThinSet { map: ThinMap::default() }
}
}
impl<'a, 'b, T, S> BitOr<&'b ThinSet<T, S>> for &'a ThinSet<T, S>
where T: Eq + Hash + Clone + ThinSentinel,
S: BuildHasher + Default
{
type Output = ThinSet<T, S>;
fn bitor(self, rhs: &ThinSet<T, S>) -> ThinSet<T, S> {
self.union(rhs).cloned().collect()
}
}
impl<'a, 'b, T, S> BitAnd<&'b ThinSet<T, S>> for &'a ThinSet<T, S>
where T: Eq + Hash + Clone + ThinSentinel,
S: BuildHasher + Default
{
type Output = ThinSet<T, S>;
fn bitand(self, rhs: &ThinSet<T, S>) -> ThinSet<T, S> {
self.intersection(rhs).cloned().collect()
}
}
impl<'a, 'b, T, S> BitXor<&'b ThinSet<T, S>> for &'a ThinSet<T, S>
where T: Eq + Hash + Clone + ThinSentinel,
S: BuildHasher + Default
{
type Output = ThinSet<T, S>;
fn bitxor(self, rhs: &ThinSet<T, S>) -> ThinSet<T, S> {
self.symmetric_difference(rhs).cloned().collect()
}
}
impl<'a, 'b, T, S> Sub<&'b ThinSet<T, S>> for &'a ThinSet<T, S>
where T: Eq + Hash + Clone + ThinSentinel,
S: BuildHasher + Default
{
type Output = ThinSet<T, S>;
fn sub(self, rhs: &ThinSet<T, S>) -> ThinSet<T, S> {
self.difference(rhs).cloned().collect()
}
}
#[derive(Clone)]
pub struct Iter<'a, K: 'a> {
iter: Keys<'a, K, ()>,
}
pub struct IntoIter<K: Eq + ThinSentinel> {
iter: super::thin_map::IntoIter<K, ()>,
}
pub struct Drain<'a, K: 'a + ThinSentinel + Eq + Hash> {
iter: super::thin_map::Drain<'a, K, ()>,
}
#[derive(Clone)]
pub struct Intersection<'a, T: 'a + ThinSentinel + Eq + Hash, S: 'a + BuildHasher> {
iter: Iter<'a, T>,
other: &'a ThinSet<T, S>,
}
#[derive(Clone)]
pub struct Difference<'a, T: 'a + ThinSentinel + Eq + Hash, S: 'a + BuildHasher> {
iter: Iter<'a, T>,
other: &'a ThinSet<T, S>,
}
#[derive(Clone)]
pub struct SymmetricDifference<'a, T: 'a + ThinSentinel + Eq + Hash, S: 'a + BuildHasher> {
iter: Chain<Difference<'a, T, S>, Difference<'a, T, S>>,
}
#[derive(Clone)]
pub struct Union<'a, T: 'a + ThinSentinel + Eq + Hash, S: 'a + BuildHasher + BuildHasher> {
iter: Chain<Iter<'a, T>, Difference<'a, T, S>>,
}
impl<'a, T, S> IntoIterator for &'a ThinSet<T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
type Item = &'a T;
type IntoIter = Iter<'a, T>;
fn into_iter(self) -> Iter<'a, T> {
self.iter()
}
}
impl<T, S> IntoIterator for ThinSet<T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
type Item = T;
type IntoIter = IntoIter<T>;
fn into_iter(self) -> IntoIter<T> {
IntoIter { iter: self.map.into_iter() }
}
}
impl<'a, K: 'a + ThinSentinel + Eq> Iterator for Iter<'a, K> {
type Item = &'a K;
fn next(&mut self) -> Option<&'a K> {
self.iter.next()
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.iter.size_hint()
}
}
impl<'a, K: 'a + ThinSentinel + Eq> ExactSizeIterator for Iter<'a, K> {
fn len(&self) -> usize {
self.iter.len()
}
}
impl<'a, K: 'a + ThinSentinel + Eq> FusedIterator for Iter<'a, K> {}
impl<K: ThinSentinel + Eq> Iterator for IntoIter<K> {
type Item = K;
fn next(&mut self) -> Option<K> {
self.iter.next().map(|(k, _)| k)
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.iter.size_hint()
}
}
impl<K: ThinSentinel + Eq> ExactSizeIterator for IntoIter<K> {
fn len(&self) -> usize {
self.iter.len()
}
}
impl<K: ThinSentinel + Eq> FusedIterator for IntoIter<K> {}
impl<'a, K: ThinSentinel + Eq + Hash> Iterator for Drain<'a, K> {
type Item = K;
fn next(&mut self) -> Option<K> {
self.iter.next().map(|(k, _)| k)
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.iter.size_hint()
}
}
impl<'a, K: ThinSentinel + Eq + Hash> ExactSizeIterator for Drain<'a, K> {
fn len(&self) -> usize {
self.iter.len()
}
}
impl<'a, K: ThinSentinel + Eq + Hash> FusedIterator for Drain<'a, K> {}
impl<'a, T, S> Iterator for Intersection<'a, T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
type Item = &'a T;
fn next(&mut self) -> Option<&'a T> {
loop {
let elt = self.iter.next()?;
if self.other.contains(elt) {
return Some(elt);
}
}
}
fn size_hint(&self) -> (usize, Option<usize>) {
let (_, upper) = self.iter.size_hint();
(0, upper)
}
}
impl<'a, T, S> FusedIterator for Intersection<'a, T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{}
impl<'a, T, S> Iterator for Difference<'a, T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
type Item = &'a T;
fn next(&mut self) -> Option<&'a T> {
loop {
let elt = self.iter.next()?;
if !self.other.contains(elt) {
return Some(elt);
}
}
}
fn size_hint(&self) -> (usize, Option<usize>) {
let (_, upper) = self.iter.size_hint();
(0, upper)
}
}
impl<'a, T, S> FusedIterator for Difference<'a, T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{}
impl<'a, T, S> Iterator for SymmetricDifference<'a, T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
type Item = &'a T;
fn next(&mut self) -> Option<&'a T> {
self.iter.next()
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.iter.size_hint()
}
}
impl<'a, T, S> FusedIterator for SymmetricDifference<'a, T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{}
impl<'a, T, S> FusedIterator for Union<'a, T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{}
impl<'a, T, S> Iterator for Union<'a, T, S>
where T: Eq + Hash + ThinSentinel,
S: BuildHasher
{
type Item = &'a T;
fn next(&mut self) -> Option<&'a T> {
self.iter.next()
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.iter.size_hint()
}
}
#[cfg(test)]
mod test_set {
use super::ThinSet;
use super::super::thin_hasher::OneFieldHasherBuilder;
#[test]
fn test_zero_capacities() {
type HS = ThinSet<i32>;
let s = HS::new();
assert_eq!(s.capacity(), 0);
let s = HS::default();
assert_eq!(s.capacity(), 0);
let s = HS::with_hasher(OneFieldHasherBuilder::new());
assert_eq!(s.capacity(), 0);
let s = HS::with_capacity(0);
assert_eq!(s.capacity(), 0);
let s = HS::with_capacity_and_hasher(0, OneFieldHasherBuilder::new());
assert_eq!(s.capacity(), 0);
let mut s = HS::new();
s.insert(1);
s.insert(2);
s.remove(&1);
s.remove(&2);
s.shrink_to_fit();
assert_eq!(s.capacity(), 0);
let mut s = HS::new();
s.reserve(0);
assert_eq!(s.capacity(), 0);
}
#[test]
fn test_disjoint() {
let mut xs = ThinSet::new();
let mut ys = ThinSet::new();
assert!(xs.is_disjoint(&ys));
assert!(ys.is_disjoint(&xs));
assert!(xs.insert(5));
assert!(ys.insert(11));
assert!(xs.is_disjoint(&ys));
assert!(ys.is_disjoint(&xs));
assert!(xs.insert(7));
assert!(xs.insert(19));
assert!(xs.insert(4));
assert!(ys.insert(2));
assert!(ys.insert(-11));
assert!(xs.is_disjoint(&ys));
assert!(ys.is_disjoint(&xs));
assert!(ys.insert(7));
assert!(!xs.is_disjoint(&ys));
assert!(!ys.is_disjoint(&xs));
}
#[test]
fn test_subset_and_superset() {
let mut a = ThinSet::new();
assert!(a.insert(0));
assert!(a.insert(5));
assert!(a.insert(11));
assert!(a.insert(7));
let mut b = ThinSet::new();
assert!(b.insert(0));
assert!(b.insert(7));
assert!(b.insert(19));
assert!(b.insert(250));
assert!(b.insert(11));
assert!(b.insert(200));
assert!(!a.is_subset(&b));
assert!(!a.is_superset(&b));
assert!(!b.is_subset(&a));
assert!(!b.is_superset(&a));
assert!(b.insert(5));
assert!(a.is_subset(&b));
assert!(!a.is_superset(&b));
assert!(!b.is_subset(&a));
assert!(b.is_superset(&a));
}
#[test]
fn test_iterate() {
let mut a = ThinSet::new();
for i in 0..32 {
assert!(a.insert(i));
}
let mut observed: u32 = 0;
for k in &a {
observed |= 1 << *k;
}
assert_eq!(observed, 0xFFFF_FFFF);
}
#[test]
fn test_intersection() {
let mut a = ThinSet::new();
let mut b = ThinSet::new();
assert!(a.insert(11));
assert!(a.insert(1));
assert!(a.insert(3));
assert!(a.insert(77));
assert!(a.insert(103));
assert!(a.insert(5));
assert!(a.insert(-5));
assert!(b.insert(2));
assert!(b.insert(11));
assert!(b.insert(77));
assert!(b.insert(-9));
assert!(b.insert(-42));
assert!(b.insert(5));
assert!(b.insert(3));
let mut i = 0;
let expected = [3, 5, 11, 77];
for x in a.intersection(&b) {
assert!(expected.contains(x));
i += 1
}
assert_eq!(i, expected.len());
}
#[test]
fn test_difference() {
let mut a = ThinSet::new();
let mut b = ThinSet::new();
assert!(a.insert(1));
assert!(a.insert(3));
assert!(a.insert(5));
assert!(a.insert(9));
assert!(a.insert(11));
assert!(b.insert(3));
assert!(b.insert(9));
let mut i = 0;
let expected = [1, 5, 11];
for x in a.difference(&b) {
assert!(expected.contains(x));
i += 1
}
assert_eq!(i, expected.len());
}
#[test]
fn test_symmetric_difference() {
let mut a = ThinSet::new();
let mut b = ThinSet::new();
assert!(a.insert(1));
assert!(a.insert(3));
assert!(a.insert(5));
assert!(a.insert(9));
assert!(a.insert(11));
assert!(b.insert(-2));
assert!(b.insert(3));
assert!(b.insert(9));
assert!(b.insert(14));
assert!(b.insert(22));
let mut i = 0;
let expected = [-2, 1, 5, 11, 14, 22];
for x in a.symmetric_difference(&b) {
assert!(expected.contains(x));
i += 1
}
assert_eq!(i, expected.len());
}
#[test]
fn test_union() {
let mut a = ThinSet::new();
let mut b = ThinSet::new();
assert!(a.insert(1));
assert!(a.insert(3));
assert!(a.insert(5));
assert!(a.insert(9));
assert!(a.insert(11));
assert!(a.insert(16));
assert!(a.insert(19));
assert!(a.insert(24));
assert!(b.insert(-2));
assert!(b.insert(1));
assert!(b.insert(5));
assert!(b.insert(9));
assert!(b.insert(13));
assert!(b.insert(19));
let mut i = 0;
let expected = [-2, 1, 3, 5, 9, 11, 13, 16, 19, 24];
for x in a.union(&b) {
assert!(expected.contains(x));
i += 1
}
assert_eq!(i, expected.len());
}
#[test]
fn test_from_iter() {
let xs = [1, 2, 3, 4, 5, 6, 7, 8, 9];
let set: ThinSet<_> = xs.iter().cloned().collect();
for x in &xs {
assert!(set.contains(x));
}
}
#[test]
fn test_move_iter() {
let hs = {
let mut hs = ThinSet::new();
hs.insert('a');
hs.insert('b');
hs
};
let v = hs.into_iter().collect::<Vec<char>>();
assert!(v == ['a', 'b'] || v == ['b', 'a']);
}
#[test]
fn test_eq() {
let mut s1 = ThinSet::new();
s1.insert(1);
s1.insert(2);
s1.insert(3);
let mut s2 = ThinSet::new();
s2.insert(1);
s2.insert(2);
assert!(s1 != s2);
s2.insert(3);
assert_eq!(s1, s2);
}
#[test]
fn test_show() {
let mut set = ThinSet::new();
let empty = ThinSet::<i32>::new();
set.insert(1);
set.insert(2);
let set_str = format!("{:?}", set);
assert!(set_str == "{1, 2}" || set_str == "{2, 1}");
assert_eq!(format!("{:?}", empty), "{}");
}
#[test]
fn test_trivial_drain() {
let mut s = ThinSet::<i32>::new();
for _ in s.drain() {}
assert!(s.is_empty());
drop(s);
let mut s = ThinSet::<i32>::new();
drop(s.drain());
assert!(s.is_empty());
}
#[test]
fn test_drain() {
let mut s: ThinSet<_> = (1..100).collect();
for _ in 0..20 {
assert_eq!(s.len(), 99);
{
let mut last_i = 0;
let mut d = s.drain();
for (i, x) in d.by_ref().take(50).enumerate() {
last_i = i;
assert!(x != 0);
}
assert_eq!(last_i, 49);
}
for _ in &s {
panic!("s should be empty!");
}
s.extend(1..100);
}
}
#[test]
fn test_extend_ref() {
let mut a = ThinSet::new();
a.insert(1);
a.extend(&[2, 3, 4]);
assert_eq!(a.len(), 4);
assert!(a.contains(&1));
assert!(a.contains(&2));
assert!(a.contains(&3));
assert!(a.contains(&4));
let mut b = ThinSet::new();
b.insert(5);
b.insert(6);
a.extend(&b);
assert_eq!(a.len(), 6);
assert!(a.contains(&1));
assert!(a.contains(&2));
assert!(a.contains(&3));
assert!(a.contains(&4));
assert!(a.contains(&5));
assert!(a.contains(&6));
}
#[test]
fn test_retain() {
let xs = [1, 2, 3, 4, 5, 6];
let mut set: ThinSet<i32> = xs.iter().cloned().collect();
set.retain(|&k| k % 2 == 0);
assert_eq!(set.len(), 3);
assert!(set.contains(&2));
assert!(set.contains(&4));
assert!(set.contains(&6));
}
}