Trait InverseModelMonoid 

pub trait InverseModelMonoid<A, P, T>:
    Default
    + Clone
    + IntoIterator<Item = (A, Predicate<P>)>
    + FromIterator<(A, Predicate<P>)>
where
    A: Action<T>,
    P: PredicateInner,
    T: Dimension,
{
    // Required methods
    fn overwrite_(&mut self, rhs: Self);
    fn default() -> Self;
    fn is_empty(&self) -> bool;
    fn len(&self) -> usize;
    fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a A, &'a Predicate<P>)>
       where A: 'a,
             P: 'a;
}

A monoid defined on the overwrite operator.

Required Methods

fn overwrite_(&mut self, rhs: Self)

fn default() -> Self

fn is_empty(&self) -> bool

fn len(&self) -> usize

fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a A, &'a Predicate<P>)>

where A: 'a, P: 'a,

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<A, P, T> InverseModelMonoid<A, P, T> for IbVecMonoid<(A, Predicate<P>)>

where A: Action<T>, P: PredicateInner, T: Dimension,

impl<A, P, T, S> InverseModelMonoid<A, P, T> for MapMonoid<A, Predicate<P>, S>

where A: Action<T>, P: PredicateInner, T: Dimension, S: BuildHasher + Clone + Default,