pub struct UnordSet<V: Eq + Hash> {
    inner: FxHashSet<V>,
}
Expand description

This is a set collection type that tries very hard to not expose any internal iteration. This is a useful property when trying to uphold the determinism invariants imposed by the query system.

This collection type is a good choice for set-like collections the keys of which don’t have a semantic ordering.

See MCP 533 for more information.

Fields§

§inner: FxHashSet<V>

Implementations§

source§

impl<V: Eq + Hash> UnordSet<V>

source

pub fn new() -> Self

source

pub fn with_capacity(capacity: usize) -> Self

source

pub fn len(&self) -> usize

source

pub fn is_empty(&self) -> bool

source

pub fn insert(&mut self, v: V) -> bool

source

pub fn contains<Q>(&self, v: &Q) -> bool
where V: Borrow<Q>, Q: Hash + Eq + ?Sized,

source

pub fn remove<Q>(&mut self, k: &Q) -> bool
where V: Borrow<Q>, Q: Hash + Eq + ?Sized,

source

pub fn items(&self) -> UnordItems<&V, impl Iterator<Item = &V>>

source

pub fn into_items(self) -> UnordItems<V, impl Iterator<Item = V>>

source

pub fn to_sorted<HCX>(&self, hcx: &HCX, cache_sort_key: bool) -> Vec<&V>
where V: ToStableHashKey<HCX>,

Returns the items of this set in stable sort order (as defined by ToStableHashKey).

The cache_sort_key parameter controls if slice::sort_by_cached_key or slice::sort_unstable_by_key will be used for sorting the vec. Use cache_sort_key when the ToStableHashKey::to_stable_hash_key implementation for V is expensive (e.g. a DefId -> DefPathHash lookup).

source

pub fn to_sorted_stable_ord(&self) -> Vec<&V>
where V: StableCompare,

Returns the items of this set in stable sort order (as defined by StableCompare). This method is much more efficient than into_sorted because it does not need to transform keys to their ToStableHashKey equivalent.

source

pub fn into_sorted_stable_ord(self) -> Vec<V>
where V: StableCompare,

Returns the items of this set in stable sort order (as defined by StableCompare). This method is much more efficient than into_sorted because it does not need to transform keys to their ToStableHashKey equivalent.

source

pub fn into_sorted<HCX>(self, hcx: &HCX, cache_sort_key: bool) -> Vec<V>
where V: ToStableHashKey<HCX>,

Returns the items of this set in stable sort order (as defined by ToStableHashKey).

The cache_sort_key parameter controls if slice::sort_by_cached_key or slice::sort_unstable_by_key will be used for sorting the vec. Use cache_sort_key when the ToStableHashKey::to_stable_hash_key implementation for V is expensive (e.g. a DefId -> DefPathHash lookup).

source

pub fn clear(&mut self)

Trait Implementations§

source§

impl<V: Clone + Eq + Hash> Clone for UnordSet<V>

source§

fn clone(&self) -> UnordSet<V>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<V: Debug + Eq + Hash> Debug for UnordSet<V>

source§

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

Formats the value using the given formatter. Read more
source§

impl<V, __D: Decoder> Decodable<__D> for UnordSet<V>
where V: Decodable<__D> + Eq + Hash,

source§

fn decode(__decoder: &mut __D) -> Self

source§

impl<V: Eq + Hash> Default for UnordSet<V>

source§

fn default() -> Self

Returns the “default value” for a type. Read more
source§

impl<V, __E: Encoder> Encodable<__E> for UnordSet<V>
where V: Encodable<__E> + Eq + Hash,

source§

fn encode(&self, __encoder: &mut __E)

source§

impl<V: Hash + Eq> Extend<V> for UnordSet<V>

source§

fn extend<T: IntoIterator<Item = V>>(&mut self, iter: T)

Extends a collection with the contents of an iterator. Read more
source§

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)
Extends a collection with exactly one element.
source§

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. Read more
source§

impl<V: Hash + Eq> From<HashSet<V, BuildHasherDefault<FxHasher>>> for UnordSet<V>

source§

fn from(value: FxHashSet<V>) -> Self

Converts to this type from the input type.
source§

impl<V: Hash + Eq, I: Iterator<Item = V>> From<UnordItems<V, I>> for UnordSet<V>

source§

fn from(value: UnordItems<V, I>) -> Self

Converts to this type from the input type.
source§

impl<V: Hash + Eq> FromIterator<V> for UnordSet<V>

source§

fn from_iter<T: IntoIterator<Item = V>>(iter: T) -> Self

Creates a value from an iterator. Read more
source§

impl<HCX, V: Hash + Eq + HashStable<HCX>> HashStable<HCX> for UnordSet<V>

source§

fn hash_stable(&self, hcx: &mut HCX, hasher: &mut StableHasher)

source§

impl<V> !IntoIterator for UnordSet<V>

§

type Item

The type of the elements being iterated over.
§

type IntoIter: Iterator<Item = Self::Item>

Which kind of iterator are we turning this into?
1.0.0 · source§

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value. Read more
source§

impl<V: PartialEq + Eq + Hash> PartialEq for UnordSet<V>

source§

fn eq(&self, other: &UnordSet<V>) -> bool

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

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.
source§

impl<V: Eq + Eq + Hash> Eq for UnordSet<V>

source§

impl<V: Eq + Hash> StructuralPartialEq for UnordSet<V>

source§

impl<V: Eq + Hash> UnordCollection for UnordSet<V>

Auto Trait Implementations§

§

impl<V> Freeze for UnordSet<V>

§

impl<V> RefUnwindSafe for UnordSet<V>
where V: RefUnwindSafe,

§

impl<V> Send for UnordSet<V>
where V: Send,

§

impl<V> Sync for UnordSet<V>
where V: Sync,

§

impl<V> Unpin for UnordSet<V>
where V: Unpin,

§

impl<V> UnwindSafe for UnordSet<V>
where V: UnwindSafe,

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = const ALIGN: Alignment = Alignment::of::<Self>();

Alignment of Self.
source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<C, T> ExtendUnord<T> for C
where C: Extend<T> + UnordCollection,

source§

fn extend_unord<I>(&mut self, items: UnordItems<T, I>)
where I: Iterator<Item = T>,

Extend this unord collection with the given UnordItems. This method is called extend_unord instead of just extend so it does not conflict with Extend::extend. Otherwise there would be many places where the two methods would have to be explicitly disambiguated via UFCS.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes