Struct Map

pub struct Map<K, V> { /* private fields */ }

Map data structure of HAMT.

Note that every method does not modify the original map but creates a new one if necessary.

Implementations

impl<K: Clone + Hash + PartialEq, V: Clone> Map<K, V>

pub fn new() -> Self

Creates a new map.

pub fn insert(&self, k: K, v: V) -> Self

Inserts a key-value pair into a map.

pub fn delete(&self, k: &K) -> Option<Self>

Deletes a key and its corresponding value from a map.

pub fn find(&self, k: &K) -> Option<&V>

Finds a key and its corresponding value in a map.

pub fn first_rest(&self) -> Option<(&K, &V, Self)>

Removes the first element in a map and returns a new map containing the rest of elements.

pub fn size(&self) -> usize

Returns a size of a map.

Trait Implementations

impl<K: Clone, V: Clone> Clone for Map<K, V>

fn clone(&self) -> Map<K, V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K: Debug, V: Debug> Debug for Map<K, V>

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

Formats the value using the given formatter.

impl<K: Hash, V: Hash> Hash for Map<K, V>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a, K, V> IntoIterator for &'a Map<K, V>

type Item = (&'a K, &'a V)

The type of the elements being iterated over.

type IntoIter = MapIterator<'a, K, V>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<K: PartialEq, V: PartialEq> PartialEq for Map<K, V>

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<K: Eq, V: Eq> Eq for Map<K, V>

impl<K, V> StructuralPartialEq for Map<K, V>