Trait scirust::algebra::structure::monoid::CommutativeMonoidAdd
[−]
[src]
pub trait CommutativeMonoidAdd: CommutativeMonoidAddPartial + MonoidAdd { fn prop_is_commutative(a: Self, b: Self) -> bool { ... } }
Commutative monoid with an addition operation with full equivalence
Provided Methods
fn prop_is_commutative(a: Self, b: Self) -> bool
Returns true
`true` if the addition operator is approximately commutative for
the given argument tuple.
Implementors
impl CommutativeMonoidAdd for i8
impl CommutativeMonoidAdd for i16
impl CommutativeMonoidAdd for i32
impl CommutativeMonoidAdd for i64
impl CommutativeMonoidAdd for u8
impl CommutativeMonoidAdd for u16
impl CommutativeMonoidAdd for u32
impl CommutativeMonoidAdd for u64