Trait MutColumn

pub trait MutColumn:
    MutMapping
    + Column
    + IntoIterator<Item = (Self::Dom, Self::Cod)>
    + FromIterator<(Self::Dom, Self::Cod)> {
    // Provided method
    fn postcompose<F>(self, f: &F) -> Self
       where F: Mapping<Dom = Self::Cod, Cod = Self::Cod> { ... }
}

A mutable mapping with finite support.

Being a finite column that owns its data, a mutable column can be converted to/from an iterator of pairs.

Provided Methods

fn postcompose<F>(self, f: &F) -> Self

where F: Mapping<Dom = Self::Cod, Cod = Self::Cod>,

Post-composes the column with another mapping.

This is composition of partial functions. Note that the codomain element type must stay the same, which is the only thing that makes sense at this level of type specifity.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl MutColumn for SkelIndexedColumn

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

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

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

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

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

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