Trait scirust::algebra::structure::semigroup::SemiGroupMulPartial
[−]
[src]
pub trait SemiGroupMulPartial: MagmaMulPartial {
fn prop_is_associative(a: Self, b: Self, c: Self) -> bool { ... }
}Semigroup with a multiplication operation with partial equivalence
Provided Methods
fn prop_is_associative(a: Self, b: Self, c: Self) -> bool
Implementors
impl SemiGroupMulPartial for u8impl SemiGroupMulPartial for u16impl SemiGroupMulPartial for u32impl SemiGroupMulPartial for u64impl SemiGroupMulPartial for i8impl SemiGroupMulPartial for i16impl SemiGroupMulPartial for i32impl SemiGroupMulPartial for i64impl SemiGroupMulPartial for f32impl SemiGroupMulPartial for f64impl<T: Float + Debug> SemiGroupMulPartial for Complex<T>