[−][src]Struct alga::general::Additive
The addition operator, commonly symbolized by +
.
Trait Implementations
impl AbstractMagma<Additive> for u8
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for u16
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for u32
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for u64
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for usize
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for i8
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for i16
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for i32
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for i64
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for isize
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for f32
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for f64
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl<N: AbstractMagma<Additive>> AbstractMagma<Additive> for Complex<N>
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl<N> AbstractQuasigroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
N: AbstractGroupAbelian<Additive>,
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments. Read more
impl AbstractQuasigroup<Additive> for i8
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments. Read more
impl AbstractQuasigroup<Additive> for i16
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments. Read more
impl AbstractQuasigroup<Additive> for i32
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments. Read more
impl AbstractQuasigroup<Additive> for i64
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments. Read more
impl AbstractQuasigroup<Additive> for isize
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments. Read more
impl AbstractQuasigroup<Additive> for f32
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments. Read more
impl AbstractQuasigroup<Additive> for f64
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments. Read more
impl AbstractSemigroup<Additive> for u8
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for u16
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for u32
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for u64
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for usize
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl<N> AbstractSemigroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
N: AbstractGroupAbelian<Additive>,
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for i8
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for i16
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for i32
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for i64
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for isize
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for f32
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for f64
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl<N> AbstractLoop<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
N: AbstractGroupAbelian<Additive>,
impl AbstractLoop<Additive> for i8
[src]
impl AbstractLoop<Additive> for i16
[src]
impl AbstractLoop<Additive> for i32
[src]
impl AbstractLoop<Additive> for i64
[src]
impl AbstractLoop<Additive> for isize
[src]
impl AbstractLoop<Additive> for f32
[src]
impl AbstractLoop<Additive> for f64
[src]
impl AbstractMonoid<Additive> for u8
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for u16
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for u32
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for u64
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for usize
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl<N> AbstractMonoid<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
N: AbstractGroupAbelian<Additive>,
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for i8
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for i16
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for i32
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for i64
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for isize
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for f32
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for f64
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl<N> AbstractGroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
N: AbstractGroupAbelian<Additive>,
impl AbstractGroup<Additive> for i8
[src]
impl AbstractGroup<Additive> for i16
[src]
impl AbstractGroup<Additive> for i32
[src]
impl AbstractGroup<Additive> for i64
[src]
impl AbstractGroup<Additive> for isize
[src]
impl AbstractGroup<Additive> for f32
[src]
impl AbstractGroup<Additive> for f64
[src]
impl<N> AbstractGroupAbelian<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
N: AbstractGroupAbelian<Additive>,
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for i8
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for i16
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for i32
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for i64
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for isize
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for f32
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for f64
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractRing<Additive, Multiplicative> for i8
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for i16
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for i32
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for i64
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for isize
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for f32
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for f64
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl<N: Num + Clone + ClosedNeg + AbstractRing> AbstractRing<Additive, Multiplicative> for Complex<N>
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRingCommutative<Additive, Multiplicative> for i8
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i16
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i32
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i64
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for isize
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for f32
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for f64
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl<N: Num + Clone + ClosedNeg + AbstractRingCommutative> AbstractRingCommutative<Additive, Multiplicative> for Complex<N>
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
Self: RelativeEq,
Returns true
if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractField<Additive, Multiplicative> for f32
[src]
impl AbstractField<Additive, Multiplicative> for f64
[src]
impl<N: Num + Clone + ClosedNeg + AbstractField> AbstractField<Additive, Multiplicative> for Complex<N>
[src]
impl Identity<Additive> for u8
[src]
impl Identity<Additive> for u16
[src]
impl Identity<Additive> for u32
[src]
impl Identity<Additive> for u64
[src]
impl Identity<Additive> for usize
[src]
impl Identity<Additive> for i8
[src]
impl Identity<Additive> for i16
[src]
impl Identity<Additive> for i32
[src]
impl Identity<Additive> for i64
[src]
impl Identity<Additive> for isize
[src]
impl Identity<Additive> for f32
[src]
impl Identity<Additive> for f64
[src]
impl<N: Identity<Additive>> Identity<Additive> for Complex<N>
[src]
impl Operator for Additive
[src]
fn operator_token() -> Self
[src]
impl TwoSidedInverse<Additive> for i8
[src]
fn two_sided_inverse(&self) -> Self
[src]
fn two_sided_inverse_mut(&mut self)
[src]
In-place inversion of self
, relative to the operator O
. Read more
impl TwoSidedInverse<Additive> for i16
[src]
fn two_sided_inverse(&self) -> Self
[src]
fn two_sided_inverse_mut(&mut self)
[src]
In-place inversion of self
, relative to the operator O
. Read more
impl TwoSidedInverse<Additive> for i32
[src]
fn two_sided_inverse(&self) -> Self
[src]
fn two_sided_inverse_mut(&mut self)
[src]
In-place inversion of self
, relative to the operator O
. Read more
impl TwoSidedInverse<Additive> for i64
[src]
fn two_sided_inverse(&self) -> Self
[src]
fn two_sided_inverse_mut(&mut self)
[src]
In-place inversion of self
, relative to the operator O
. Read more
impl TwoSidedInverse<Additive> for isize
[src]
fn two_sided_inverse(&self) -> Self
[src]
fn two_sided_inverse_mut(&mut self)
[src]
In-place inversion of self
, relative to the operator O
. Read more
impl TwoSidedInverse<Additive> for f32
[src]
fn two_sided_inverse(&self) -> Self
[src]
fn two_sided_inverse_mut(&mut self)
[src]
In-place inversion of self
, relative to the operator O
. Read more
impl TwoSidedInverse<Additive> for f64
[src]
fn two_sided_inverse(&self) -> Self
[src]
fn two_sided_inverse_mut(&mut self)
[src]
In-place inversion of self
, relative to the operator O
. Read more
impl<N: TwoSidedInverse<Additive>> TwoSidedInverse<Additive> for Complex<N>
[src]
fn two_sided_inverse(&self) -> Complex<N>
[src]
fn two_sided_inverse_mut(&mut self)
[src]
In-place inversion of self
, relative to the operator O
. Read more
impl Clone for Additive
[src]
fn clone(&self) -> Additive
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Copy for Additive
[src]
Auto Trait Implementations
Blanket Implementations
impl<T> From for T
[src]
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = !
try_from
)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,