Trait scirust::algebra::structure::semigroup::SemiGroupAdd

pub trait SemiGroupAdd: MagmaAdd + SemiGroupAddPartial {
    fn prop_is_associative(a: Self, b: Self, c: Self) -> bool { ... }
}

Semigroup with an addition operation with full equivalence

Provided Methods

fn prop_is_associative(a: Self, b: Self, c: Self) -> bool

Implementors

• impl SemiGroupAdd for u8
• impl SemiGroupAdd for u16
• impl SemiGroupAdd for u32
• impl SemiGroupAdd for u64
• impl SemiGroupAdd for i8
• impl SemiGroupAdd for i16
• impl SemiGroupAdd for i32
• impl SemiGroupAdd for i64