Trait nekolib::traits::binop::Monoid

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

モノイド。

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

Implementors§