SemigroupHomFromTo

Trait SemigroupHomFromTo 

Source
pub trait SemigroupHomFromTo<S: Semigroup, T: Semigroup>: SemigroupHom<Source = S, Target = T> { }
Expand description

Helper trait for explicitly specifying source and target types.

This is a blanket-implemented alias that allows writing T: SemigroupHomFromTo<S, T> instead of T: SemigroupHom<Source = S, Target = T>.

Implementors§

Source§

impl<H, S, T> SemigroupHomFromTo<S, T> for H
where H: SemigroupHom<Source = S, Target = T>, S: Semigroup, T: Semigroup,