Expand description
代数的構造に関するトレイトを定義する。
Traits§
- Abelian
Group - 可換群
- Abelian
Monoid - 可換モノイド
- Additive
- 二項演算が加法的
- Associative
- 結合性をもつ
- Binary
Op - 二項演算をもつ
- Commutative
- 可換性をもつ
- FoldM
fold_mを提供する。- Group
- 群
- Idempotence
- 冪等性をもつ
- Identity
- 単位元をもつ
- Inverse
- 逆元をもつ
- Monoid
- モノイド
- Multiplicative
- 二項演算が乗法的
- Ordered
- 二項演算で順序が変化しない。
- Semigroup
- 半群
- Semilattice
- 半束
- Set
- 集合