Trait nekolib::traits::Semigroup

pub trait Semigroup: Associative + Magma { }

半群。

マグマ $(M, \circ)$ であり、結合法則を満たす。

Implementors

impl<G: Associative + Magma> Semigroup for G