cp_library_rs::algebraic_structure::commutative

Trait CommutativeMonoid

Source 
pub trait CommutativeMonoid: Monoid { }
Expand description

可環モノイド

任意の要素 $x,y\in S$ に対し，

x \times y = y \times x

が成立する．

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl CommutativeMonoid for ()

Implementors§