Trait nekolib::traits::Monoid

pub trait Monoid: Identity + Semigroup { }

Expand description

モノイド。

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

Implementors§