Module nekolib::traits::binop

代数的構造に関するトレイトたちです。

データ構造を実装する際に使うことを目的とします。

Traits

• Associative
  結合法則を満たす。
• Commutative
  交換法則を満たす。
• CommutativeGroup
  可換群。
• CommutativeMonoid
  可換モノイド。
• CommutativeRing
  可換環。
• Distributive
  分配法則を満たす。
• Field
  体。
• Group
  群。
• Identity
  単位元を持つ。
• Magma
  マグマ。
• Monoid
  モノイド。
• PartialRecip
  逆元を持つ要素が存在する。
• Recip
  逆元が常に存在する。
• Ring
  環。
• Semigroup
  半群。