Expand description
代数的構造に関するトレイトを定義する。
Traits§
- Abelian
Group - 可換群
- Abelian
Monoid - 可換モノイド
- Associative
- 結合性をもつ
- Binary
Op - 二項演算をもつ
- Commutative
- 可換性をもつ
- FoldM
fold_mを提供する。- Group
- 群
- Idempotence
- 冪等性をもつ
- Identity
- 単位元をもつ
- Inverse
- 逆元をもつ
- Monoid
- モノイド
- Semigroup
- 半群
- Set
- 集合
- Times
- 値に二項演算を複数回適用する。