Struct ordermap::set::OrderSet

pub struct OrderSet<T, S = RandomState> {
    map: OrderMap<T, (), S>,
}

A hash set where the iteration order of the values is independent of their hash values.

The interface is closely compatible with the standard HashSet, but also has additional features.

Order

The values have a consistent order that is determined by the sequence of insertion and removal calls on the set. The order does not depend on the values or the hash function at all. Note that insertion order and value are not affected if a re-insertion is attempted once an element is already present.

All iterators traverse the set in order. Set operation iterators like union produce a concatenated order, as do their matching “bitwise” operators. See their documentation for specifics.

Indices

The values are indexed in a compact range without holes in the range 0..self.len(). For example, the method .get_full looks up the index for a value, and the method .get_index looks up the value by index.

Examples

use ordermap::OrderSet;

// Collects which letters appear in a sentence.
let letters: OrderSet<_> = "a short treatise on fungi".chars().collect();
 
assert!(letters.contains(&'s'));
assert!(letters.contains(&'t'));
assert!(letters.contains(&'u'));
assert!(!letters.contains(&'y'));

Fields

map: OrderMap<T, (), S>

Implementations

impl<T> OrderSet<T>

pub fn new() -> Self

Create a new set. (Does not allocate.)

pub fn with_capacity(n: usize) -> Self

Create a new set with capacity for n elements. (Does not allocate if n is zero.)

Computes in O(n) time.

impl<T, S> OrderSet<T, S>

pub fn with_capacity_and_hasher(n: usize, hash_builder: S) -> Self

where S: BuildHasher,

Create a new set with capacity for n elements. (Does not allocate if n is zero.)

Computes in O(n) time.

pub fn len(&self) -> usize

Return the number of elements in the set.

Computes in O(1) time.

pub fn is_empty(&self) -> bool

Returns true if the set contains no elements.

Computes in O(1) time.

pub fn with_hasher(hash_builder: S) -> Self

where S: BuildHasher,

Create a new set with hash_builder

pub fn hasher(&self) -> &S

where S: BuildHasher,

Return a reference to the set’s BuildHasher.

pub fn capacity(&self) -> usize

Computes in O(1) time.

impl<T, S> OrderSet<T, S>

where T: Hash + Eq, S: BuildHasher,

pub fn clear(&mut self)

Remove all elements in the set, while preserving its capacity.

Computes in O(n) time.

pub fn reserve(&mut self, additional: usize)

FIXME Not implemented fully yet

pub fn insert(&mut self, value: T) -> bool

Insert the value into the set.

If an equivalent item already exists in the set, it returns false leaving the original value in the set and without altering its insertion order. Otherwise, it inserts the new item and returns true.

Computes in O(1) time (amortized average).

pub fn iter(&self) -> Iter<'_, T>

Return an iterator over the values of the set, in their order

pub fn difference<'a, S2>( &'a self, other: &'a OrderSet<T, S2>, ) -> Difference<'a, T, S2>

where S2: BuildHasher,

Return an iterator over the values that are in self but not other.

Values are produced in the same order that they appear in self.

pub fn symmetric_difference<'a, S2>( &'a self, other: &'a OrderSet<T, S2>, ) -> SymmetricDifference<'a, T, S, S2>

where S2: BuildHasher,

Return an iterator over the values that are in self or other, but not in both.

Values from self are produced in their original order, followed by values from other in their original order.

pub fn intersection<'a, S2>( &'a self, other: &'a OrderSet<T, S2>, ) -> Intersection<'a, T, S2>

where S2: BuildHasher,

Return an iterator over the values that are in both self and other.

Values are produced in the same order that they appear in self.

pub fn union<'a, S2>(&'a self, other: &'a OrderSet<T, S2>) -> Union<'a, T, S>

where S2: BuildHasher,

Return an iterator over all values that are in self or other.

Values from self are produced in their original order, followed by values that are unique to other in their original order.

pub fn contains<Q>(&self, value: &Q) -> bool

where Q: Hash + Equivalent<T> + ?Sized,

Return true if an equivalent to value exists in the set.

Computes in O(1) time (average).

pub fn get<Q>(&self, value: &Q) -> Option<&T>

where Q: Hash + Equivalent<T> + ?Sized,

Return a reference to the value stored in the set, if it is present, else None.

Computes in O(1) time (average).

pub fn get_full<Q>(&self, value: &Q) -> Option<(usize, &T)>

where Q: Hash + Equivalent<T> + ?Sized,

Return item index and value

pub fn replace(&mut self, value: T) -> Option<T>

Adds a value to the set, replacing the existing value, if any, that is equal to the given one. Returns the replaced value.

Computes in O(1) time (average).

pub fn remove<Q>(&mut self, value: &Q) -> bool

where Q: Hash + Equivalent<T> + ?Sized,

FIXME Same as .swap_remove

Computes in O(1) time (average).

pub fn swap_remove<Q>(&mut self, value: &Q) -> bool

where Q: Hash + Equivalent<T> + ?Sized,

Remove the value from the set, and return true if it was present.

Like Vec::swap_remove, the value is removed by swapping it with the last element of the set and popping it off. This perturbs the postion of what used to be the last element!

Return false if value was not in the set.

Computes in O(1) time (average).

pub fn take<Q>(&mut self, value: &Q) -> Option<T>

where Q: Hash + Equivalent<T> + ?Sized,

FIXME Same as .swap_take

Computes in O(1) time (average).

pub fn swap_take<Q>(&mut self, value: &Q) -> Option<T>

where Q: Hash + Equivalent<T> + ?Sized,

Removes and returns the value in the set, if any, that is equal to the given one.

Like Vec::swap_remove, the value is removed by swapping it with the last element of the set and popping it off. This perturbs the postion of what used to be the last element!

Return None if value was not in the set.

Computes in O(1) time (average).

pub fn swap_remove_full<Q>(&mut self, value: &Q) -> Option<(usize, T)>

where Q: Hash + Equivalent<T> + ?Sized,

Remove the value from the set return it and the index it had.

Like Vec::swap_remove, the value is removed by swapping it with the last element of the set and popping it off. This perturbs the postion of what used to be the last element!

Return None if value was not in the set.

pub fn pop(&mut self) -> Option<T>

Remove the last value

Computes in O(1) time (average).

pub fn retain<F>(&mut self, keep: F)

where F: FnMut(&T) -> bool,

Scan through each value in the set and keep those where the closure keep returns true.

The elements are visited in order, and remaining elements keep their order.

Computes in O(n) time (average).

pub fn sort(&mut self)

where T: Ord,

Sort the set’s values by their default ordering.

See sort_by for details.

pub fn sort_by<F>(&mut self, compare: F)

where F: FnMut(&T, &T) -> Ordering,

Sort the set’s values in place using the comparison function compare.

Computes in O(n log n) time and O(n) space. The sort is stable.

pub fn sorted_by<F>(self, cmp: F) -> IntoIter<T>

where F: FnMut(&T, &T) -> Ordering,

Sort the values of the set and return a by value iterator of the values with the result.

The sort is stable.

pub fn drain(&mut self, range: RangeFull) -> Drain<'_, T>

Clears the OrderSet, returning all values as a drain iterator. Keeps the allocated memory for reuse.

impl<T, S> OrderSet<T, S>

pub fn get_index(&self, index: usize) -> Option<&T>

Get a value by index

Valid indices are 0 <= index < self.len()

Computes in O(1) time.

pub fn swap_remove_index(&mut self, index: usize) -> Option<T>

Remove the key-value pair by index

Valid indices are 0 <= index < self.len()

Computes in O(1) time (average).

impl<T, S> OrderSet<T, S>

where T: Eq + Hash, S: BuildHasher,

pub fn is_disjoint<S2>(&self, other: &OrderSet<T, S2>) -> bool

where S2: BuildHasher,

Returns true if self has no elements in common with other.

pub fn is_subset<S2>(&self, other: &OrderSet<T, S2>) -> bool

where S2: BuildHasher,

Returns true if all elements of self are contained in other.

pub fn is_superset<S2>(&self, other: &OrderSet<T, S2>) -> bool

where S2: BuildHasher,

Returns true if all elements of other are contained in self.

Trait Implementations

impl<'a, 'b, T, S1, S2> BitAnd<&'b OrderSet<T, S2>> for &'a OrderSet<T, S1>

where T: Eq + Hash + Clone, S1: BuildHasher + Default, S2: BuildHasher,

fn bitand(self, other: &'b OrderSet<T, S2>) -> Self::Output

Returns the set intersection, cloned into a new set.

Values are collected in the same order that they appear in self.

type Output = OrderSet<T, S1>

The resulting type after applying the & operator.

impl<'a, 'b, T, S1, S2> BitOr<&'b OrderSet<T, S2>> for &'a OrderSet<T, S1>

where T: Eq + Hash + Clone, S1: BuildHasher + Default, S2: BuildHasher,

fn bitor(self, other: &'b OrderSet<T, S2>) -> Self::Output

Returns the set union, cloned into a new set.

Values from self are collected in their original order, followed by values that are unique to other in their original order.

type Output = OrderSet<T, S1>

The resulting type after applying the | operator.

impl<'a, 'b, T, S1, S2> BitXor<&'b OrderSet<T, S2>> for &'a OrderSet<T, S1>

where T: Eq + Hash + Clone, S1: BuildHasher + Default, S2: BuildHasher,

fn bitxor(self, other: &'b OrderSet<T, S2>) -> Self::Output

Returns the set symmetric-difference, cloned into a new set.

Values from self are collected in their original order, followed by values from other in their original order.

type Output = OrderSet<T, S1>

The resulting type after applying the ^ operator.

impl<T: Clone, S: Clone> Clone for OrderSet<T, S>

fn clone(&self) -> OrderSet<T, S>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T, S> Debug for OrderSet<T, S>

where T: Debug + Hash + Eq, S: BuildHasher,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, S> Default for OrderSet<T, S>

where S: BuildHasher + Default,

fn default() -> Self

Return an empty OrderSet

impl<'a, T, S> Extend<&'a T> for OrderSet<T, S>

where T: Hash + Eq + Copy, S: BuildHasher,

fn extend<I: IntoIterator<Item = &'a T>>(&mut self, iterable: I)

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl<T, S> Extend<T> for OrderSet<T, S>

where T: Hash + Eq, S: BuildHasher,

fn extend<I: IntoIterator<Item = T>>(&mut self, iterable: I)

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl<T, S> FromIterator<T> for OrderSet<T, S>

where T: Hash + Eq, S: BuildHasher + Default,

fn from_iter<I: IntoIterator<Item = T>>(iterable: I) -> Self

Creates a value from an iterator.

impl<'a, T, S> IntoIterator for &'a OrderSet<T, S>

where T: Hash + Eq, S: BuildHasher,

type Item = &'a T

The type of the elements being iterated over.

type IntoIter = Iter<'a, T>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T, S> IntoIterator for OrderSet<T, S>

where T: Hash + Eq, S: BuildHasher,

type Item = T

The type of the elements being iterated over.

type IntoIter = IntoIter<T>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T, S1, S2> PartialEq<OrderSet<T, S2>> for OrderSet<T, S1>

where T: Hash + Eq, S1: BuildHasher, S2: BuildHasher,

fn eq(&self, other: &OrderSet<T, S2>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, 'b, T, S1, S2> Sub<&'b OrderSet<T, S2>> for &'a OrderSet<T, S1>

where T: Eq + Hash + Clone, S1: BuildHasher + Default, S2: BuildHasher,

fn sub(self, other: &'b OrderSet<T, S2>) -> Self::Output

Returns the set difference, cloned into a new set.

Values are collected in the same order that they appear in self.

type Output = OrderSet<T, S1>

The resulting type after applying the - operator.

impl<T, S> Eq for OrderSet<T, S>

where T: Eq + Hash, S: BuildHasher,