Trait fixed_map::storage::Storage

pub trait Storage<K, V>: Default {
    type Iter<'this>: Clone + Iterator<Item = (K, &'this V)>
    where
        Self: 'this,
        V: 'this;
    type IterMut<'this>: Iterator<Item = (K, &'this mut V)>
    where
        Self: 'this,
        V: 'this;

    fn insert(&mut self, key: K, value: V) -> Option<V>;
    fn get(&self, key: K) -> Option<&V>;
    fn get_mut(&mut self, key: K) -> Option<&mut V>;
    fn remove(&mut self, key: K) -> Option<V>;
    fn clear(&mut self);
    fn iter(&self) -> Self::Iter<'_>;
    fn iter_mut(&mut self) -> Self::IterMut<'_>;
}

The trait defining how storage works.

Type Arguments

• K is the key being stored.
• V is the value being stored.

Required Associated Types

type Iter<'this>: Clone + Iterator<Item = (K, &'this V)>
where
    Self: 'this,
    V: 'this

Immutable iterator over storage. Uses raw pointers (unsafe) since we don’t have GATs.

type IterMut<'this>: Iterator<Item = (K, &'this mut V)>
where
    Self: 'this,
    V: 'this

Mutable iterator over storage. Uses raw pointers (unsafe) since we don’t have GATs.

Required Methods

fn insert(&mut self, key: K, value: V) -> Option<V>

This is the storage abstraction for Map::insert.

fn get(&self, key: K) -> Option<&V>

This is the storage abstraction for Map::get.

fn get_mut(&mut self, key: K) -> Option<&mut V>

This is the storage abstraction for Map::get_mut.

fn remove(&mut self, key: K) -> Option<V>

This is the storage abstraction for Map::remove.

fn clear(&mut self)

This is the storage abstraction for Map::clear.

fn iter(&self) -> Self::Iter<'_>

This is the storage abstraction for Map::iter.

fn iter_mut(&mut self) -> Self::IterMut<'_>

This is the storage abstraction for Map::iter_mut.

Implementors

impl<K, V> Storage<Option<K>, V> for OptionStorage<K, V>where
    K: Key<K, V>,

type Iter<'this>
where
    Self: 'this = Iter<'this, K, V>

type IterMut<'this>
where
    Self: 'this = IterMut<'this, K, V>

impl<K, V> Storage<K, V> for MapStorage<K, V>where
    K: Copy + Eq + Hash,

type Iter<'this>
where
    Self: 'this,
    V: 'this = Iter<'this, K, V>

type IterMut<'this>
where
    Self: 'this,
    V: 'this = IterMut<'this, K, V>

impl<K, V> Storage<K, V> for SingletonStorage<V>where
    K: Copy + Default,

type Iter<'this>
where
    Self: 'this,
    V: 'this = Iter<'this, K, V>

type IterMut<'this>
where
    Self: 'this,
    V: 'this = IterMut<'this, K, V>

impl<V> Storage<bool, V> for BooleanStorage<V>

type Iter<'this>
where
    Self: 'this = Iter<'this, V>

type IterMut<'this>
where
    Self: 'this = IterMut<'this, V>