Trait MonoidHomFromTo 

pub trait MonoidHomFromTo<M: Monoid, N: Monoid>: MonoidHom<Source = M, Target = N> { }

Helper trait for explicitly specifying source and target monoids.

This is a blanket-implemented alias that allows writing T: MonoidHomFromTo<M, N> instead of T: MonoidHom<Source = M, Target = N>.

Implementors

impl<H, M, N> MonoidHomFromTo<M, N> for H

where H: MonoidHom<Source = M, Target = N>, M: Monoid, N: Monoid,