Expand description
§モノイド
Monoid::Val： データの型 $S$Monoid::e： 単位元を返す関数 $\varnothing \to S$Monoid::op： 演算 $S\times S \to S$
Traits§
- Monoid
- モノイド
Monoid::Val ： データの型 $S$Monoid::e ： 単位元を返す関数 $\varnothing \to S$Monoid::op ： 演算 $S\times S \to S$