Trait MutMapping

pub trait MutMapping: Mapping {
    // Required methods
    fn get(&self, x: &Self::Dom) -> Option<&Self::Cod>;
    fn set(&mut self, x: Self::Dom, y: Self::Cod) -> Option<Self::Cod>;
    fn unset(&mut self, x: &Self::Dom) -> Option<Self::Cod>;

    // Provided method
    fn update(
        &mut self,
        x: Self::Dom,
        maybe_y: Option<Self::Cod>,
    ) -> Option<Self::Cod> { ... }
}

A mutable mapping.

Besides being mutable, such a mapping is also assumed to own its values (how else could they be mutated?) and thus also allows access by reference.

Required Methods

fn get(&self, x: &Self::Dom) -> Option<&Self::Cod>

Gets the value of the mapping at a point possibly in the domain.

The same as apply but returns by reference rather than by value.

fn set(&mut self, x: Self::Dom, y: Self::Cod) -> Option<Self::Cod>

Sets the mapping at a point.

The old value is returned, if one was set.

fn unset(&mut self, x: &Self::Dom) -> Option<Self::Cod>

Un-sets the mapping at a point, making it undefined at that point.

The old value is returned, if one was set.

Provided Methods

fn update( &mut self, x: Self::Dom, maybe_y: Option<Self::Cod>, ) -> Option<Self::Cod>

Updates the mapping at a point, setting or unsetting it.

The old value is returned, if one was set.

Implementors

impl MutMapping for SkelIndexedColumn

impl<K, V, S> MutMapping for HashColumn<K, V, S>

where K: Eq + Hash + Clone, V: Eq + Clone, S: BuildHasher,

impl<K, V, S> MutMapping for IndexedHashColumn<K, V, S>

where K: Eq + Hash + Clone, V: Eq + Hash + Clone, S: BuildHasher,

impl<T: Eq + Clone> MutMapping for VecColumn<T>

impl<T: Eq + Hash + Clone> MutMapping for IndexedVecColumn<T>