Skip to main content

CommutativeRing

Trait CommutativeRing 

Source
pub trait CommutativeRing: Ring { }
Expand description

A marker trait for Ring types where multiplication is commutative.

§Laws

  • Commutativity: multiply(a, b) = multiply(b, a)

§Examples

use fp_library::classes::Semiring;

assert_eq!(i32::multiply(3, 7), i32::multiply(7, 3));

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 CommutativeRing for f32

Source§

impl CommutativeRing for f64

Source§

impl CommutativeRing for i8

Source§

impl CommutativeRing for i16

Source§

impl CommutativeRing for i32

Source§

impl CommutativeRing for i64

Source§

impl CommutativeRing for i128

Source§

impl CommutativeRing for isize

Implementors§