Trait Hom 

pub trait Hom<M: Monoid>: HomMut<M> {
    // Required method
    fn call(&self, m: M) -> Self::Output;
}

An Fn-like monoid homomorphism (see the module-level documentation for details).

Required Methods

fn call(&self, m: M) -> Self::Output

Trait Implementations

impl<'a, M1: Monoid, M2: Monoid> Hom<M1> for Box<dyn Hom<M1, Output = M2> + 'a>

fn call(&self, m: M1) -> M2

impl<'a, M1: Monoid, M2: Monoid> HomMut<M1> for Box<dyn Hom<M1, Output = M2> + 'a>

fn call_mut(&mut self, m: M1) -> M2

impl<'a, M1: Monoid, M2: Monoid> HomOnce<M1> for Box<dyn Hom<M1, Output = M2> + 'a>

type Output = M2

fn call_once(self, m: M1) -> M2

impl<'a, M: 'a + Monoid> Monoid for Box<dyn Hom<M, Output = M> + 'a>

Monoid endomorphisms (homomorphisms where Output = Input) are themselves monoids under composition.

fn ident() -> Self

The identity element for combine.

fn combine(self, rhs: Self) -> Self

Combine an element with another element. This must obey

fn combine_assign(&mut self, rhs: Self)

Like combine, but assigns the result to self.

fn combine_assign_to(self, rhs: &mut Self)

Like combine, but assigns the result to rhs.

fn combine_iter<I: Iterator<Item = Self>>(iter: I) -> Self

An overridable method to provide some optimization based on the fact that combine is associative.

fn combine_iter_assign<I: Iterator<Item = Self>>(&mut self, iter: I)

Like combine_iter, but assigns the result to self.

Implementations on Foreign Types

impl<'a, M1: Monoid, M2: Monoid> Hom<M1> for Box<dyn Hom<M1, Output = M2> + 'a>

fn call(&self, m: M1) -> M2

impl<'a, M: Monoid, H: Hom<M>> Hom<M> for &'a H

fn call(&self, m: M) -> H::Output

impl<M1: Monoid, M2: Monoid, H1, H2> Hom<(M1, M2)> for (H1, H2)

where H1: Hom<M1>, H2: Hom<M2>,

See HomOnce for (H1, H2) for an explanation.

fn call(&self, (m1, m2): (M1, M2)) -> Self::Output

impl<M: Monoid> Hom<M> for ()

While this is a bit of an abuse of typing, the unit type here stands for the monoid homomorphism that just maps everything to the only possible output value.

(See also: Terminal object (wiki))

fn call(&self, _m: M)

Implementors

impl<'a, M: 'a + ?Sized + MonoidBorrowed<MonoidOwned: 'a> + ToOwned<Owned = M::MonoidOwned>> Hom<<M as PreMonoidBorrowed>::MonoidOwned> for CowFromOwned<'a, M>

impl<'a, M: 'a + ?Sized + MonoidBorrowed<MonoidOwned: 'a> + ToOwned<Owned = M::MonoidOwned>> Hom<Cow<'a, M>> for CowIntoOwned<'a, M>

impl<'a, M: ?Sized + MonoidBorrowed> Hom<<M as PreMonoidBorrowed>::MonoidOwned> for LCombineRef<'a, M>

impl<'a, M: ?Sized + MonoidBorrowed> Hom<<M as PreMonoidBorrowed>::MonoidOwned> for RCombineRef<'a, M>

impl<L: List, M: Monoid, F: Fn(L::Item) -> M> Hom<L> for ListHomFromFn<F>

impl<M1: Monoid, M2: Monoid, M3: Monoid, H1, H2> Hom<M1> for Chain<H1, H2>

where H1: Hom<M1, Output = M2>, H2: Hom<M2, Output = M3>,

impl<M, H: HomStaticBorrowed<M>> Hom<Graph<M, H>> for GraphInputClone

where M: Clone + Monoid,

impl<M: Monoid + Clone> Hom<M> for LCombine<M>

impl<M: Monoid + Clone> Hom<M> for RCombine<M>

impl<M: Monoid> Hom<()> for GetIdent<M>

impl<M: Monoid> Hom<M> for Id

impl<M: Monoid, H: HomStaticBorrowed<M>> Hom<Graph<M, H>> for GraphOutputClone

where H::Output: Clone,

impl<T, L1: List<Item = T>, L2: List<Item = T>> Hom<L1> for ListIsom<L2>