Struct alga::general::Additive
[−]
[src]
pub struct Additive;
The addition operator, commonly symbolized by +
.
Trait Implementations
impl AbstractMagma<Additive> for u8
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for u16
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for u32
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for u64
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for usize
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for i8
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for i16
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for i32
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for i64
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for isize
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for f32
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractMagma<Additive> for f64
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl AbstractSemigroup<Additive> for u8
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 AbstractMonoid<Additive> for u8
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: AbstractMagma<Additive>> AbstractMagma<Additive> for Complex<N>
[src]
fn operate(&self, lhs: &Self) -> Self
[src]
Performs an operation.
fn op(&self, _: O, lhs: &Self) -> Self
[src]
Performs specific operation.
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: ApproxEq,
[src]
Self: ApproxEq,
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> 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: ApproxEq,
[src]
Self: ApproxEq,
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> 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: ApproxEq,
[src]
Self: ApproxEq,
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.
impl<N> AbstractLoop<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
N: AbstractGroupAbelian<Additive>,
impl<N> AbstractGroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
N: AbstractGroupAbelian<Additive>,
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: ApproxEq,
[src]
Self: ApproxEq,
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 AbstractSemigroup<Additive> for i8
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 AbstractMonoid<Additive> for i8
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 AbstractQuasigroup<Additive> for i8
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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.
impl AbstractQuasigroup<Additive> for i16
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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.
impl AbstractQuasigroup<Additive> for i32
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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.
impl AbstractQuasigroup<Additive> for i64
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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.
impl AbstractQuasigroup<Additive> for isize
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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.
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 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 AbstractGroupAbelian<Additive> for i8
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 AbstractSemigroup<Additive> for f32
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 AbstractMonoid<Additive> for f32
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 AbstractQuasigroup<Additive> for f32
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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.
impl AbstractQuasigroup<Additive> for f64
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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.
impl AbstractLoop<Additive> for f32
[src]
impl AbstractLoop<Additive> for f64
[src]
impl AbstractGroup<Additive> for f32
[src]
impl AbstractGroup<Additive> for f64
[src]
impl AbstractGroupAbelian<Additive> for f32
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 f32
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 f32
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
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: ApproxEq,
[src]
Self: ApproxEq,
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 Identity<Additive> for u8
[src]
fn identity() -> u8
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for u16
[src]
fn identity() -> u16
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for u32
[src]
fn identity() -> u32
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for u64
[src]
fn identity() -> u64
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for usize
[src]
fn identity() -> usize
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for i8
[src]
fn identity() -> i8
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for i16
[src]
fn identity() -> i16
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for i32
[src]
fn identity() -> i32
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for i64
[src]
fn identity() -> i64
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for isize
[src]
fn identity() -> isize
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for f32
[src]
fn identity() -> f32
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Identity<Additive> for f64
[src]
fn identity() -> f64
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl<N: Identity<Additive>> Identity<Additive> for Complex<N>
[src]
fn identity() -> Self
[src]
The identity element.
fn id(_: O) -> Self where
Self: Sized,
[src]
Self: Sized,
Specific identity.
impl Clone for Additive
[src]
fn clone(&self) -> Additive
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Copy for Additive
[src]
impl Operator for Additive
[src]
fn operator_token() -> Self
[src]
Returns the structure that identifies the operator.
impl Inverse<Additive> for i8
[src]
fn inverse(&self) -> Self
[src]
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
In-place inversin of self
.
impl Inverse<Additive> for i16
[src]
fn inverse(&self) -> Self
[src]
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
In-place inversin of self
.
impl Inverse<Additive> for i32
[src]
fn inverse(&self) -> Self
[src]
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
In-place inversin of self
.
impl Inverse<Additive> for i64
[src]
fn inverse(&self) -> Self
[src]
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
In-place inversin of self
.
impl Inverse<Additive> for isize
[src]
fn inverse(&self) -> Self
[src]
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
In-place inversin of self
.
impl Inverse<Additive> for f32
[src]
fn inverse(&self) -> Self
[src]
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
In-place inversin of self
.
impl Inverse<Additive> for f64
[src]
fn inverse(&self) -> Self
[src]
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
In-place inversin of self
.
impl<N: Inverse<Additive>> Inverse<Additive> for Complex<N>
[src]
fn inverse(&self) -> Complex<N>
[src]
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
In-place inversin of self
.