Trait nekolib::traits::Monoid

source · 
pub trait Monoid: Identity + Semigroup { }
Expand description

モノイド。

半群 $(M, \circ)$ であり、単位元 $e \in M$ を持つ。

Implementors§