pub struct ExHashMap<Key, Value, S>(/* private fields */);
Expand description
Specifications for the behavior of std::collections::HashMap
.
We model a HashMap
as having a view of type Map<Key, Value>
, which reflects the current state of the map.
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 other types,
and see builds_valid_hashers()
for information on use with Rust’s default implementation and custom implementations.
Axioms about the behavior of HashMap are present in the broadcast group vstd::std_specs::hash::group_hash_axioms
.
Auto Trait Implementations§
impl<Key, Value, S> Freeze for ExHashMap<Key, Value, S>where
S: Freeze,
impl<Key, Value, S> RefUnwindSafe for ExHashMap<Key, Value, S>
impl<Key, Value, S> Send for ExHashMap<Key, Value, S>
impl<Key, Value, S> Sync for ExHashMap<Key, Value, S>
impl<Key, Value, S> Unpin for ExHashMap<Key, Value, S>
impl<Key, Value, S> UnwindSafe for ExHashMap<Key, Value, S>
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