pub trait Monoid<I: Id>: Semigroup<I> + Identity<I> { }

Implementors§

source§

impl<I, T> Monoid<I> for Twhere
T: Semigroup<I> + Identity<I>,
I: Id,