pub struct ExHashSet<Key, S>(/* private fields */);
Expand description
Specifications for the behavior of std::collections::HashSet
.
We model a HashSet
as having a view of type Set<Key>
, which reflects the current state of the set.
These specifications are only meaningful if obeys_key_model::<Key>()
and builds_valid_hashers::<S>()
hold.
See obeys_key_model()
for information on use with primitive types and custom types,
and see builds_valid_hashers()
for information on use with Rust’s default implementation and custom implementations.
Axioms about the behavior of HashSet are present in the broadcast group vstd::std_specs::hash::group_hash_axioms
.
Auto Trait Implementations§
impl<Key, S> Freeze for ExHashSet<Key, S>where
S: Freeze,
impl<Key, S> RefUnwindSafe for ExHashSet<Key, S>where
S: RefUnwindSafe,
Key: RefUnwindSafe,
impl<Key, S> Send for ExHashSet<Key, S>
impl<Key, S> Sync for ExHashSet<Key, S>
impl<Key, S> Unpin for ExHashSet<Key, S>
impl<Key, S> UnwindSafe for ExHashSet<Key, S>where
S: UnwindSafe,
Key: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more