Struct na::Additive [−][src]
pub struct Additive;
The addition operator, commonly symbolized by +
.
Trait Implementations
impl<N> AbstractMonoid<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> AbstractMonoid<Additive> for Quaternion<N> where
N: Real,
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl<N, R, C> AbstractMonoid<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractMonoid<Additive> + Zero + ClosedAdd<N>,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> AbstractMonoid<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractMonoid<Additive> + Zero + ClosedAdd<N>,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl<N> AbstractModule<Additive, Additive, Multiplicative> for Quaternion<N> where
N: Real,
[src]
impl<N> AbstractModule<Additive, Additive, Multiplicative> for Quaternion<N> where
N: Real,
type AbstractRing = N
The underlying scalar field.
fn multiply_by(&self, n: N) -> Quaternion<N>
[src]
fn multiply_by(&self, n: N) -> Quaternion<N>
Multiplies an element of the ring with an element of the module.
impl<N, R, C> AbstractModule<Additive, Additive, Multiplicative> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + RingCommutative,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> AbstractModule<Additive, Additive, Multiplicative> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + RingCommutative,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
type AbstractRing = N
The underlying scalar field.
fn multiply_by(
&self,
n: N
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
[src]
fn multiply_by(
&self,
n: N
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
Multiplies an element of the ring with an element of the module.
impl<N> Inverse<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> Inverse<Additive> for Quaternion<N> where
N: Real,
fn inverse(&self) -> Quaternion<N>
[src]
fn inverse(&self) -> Quaternion<N>
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl<N, R, C> Inverse<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> Inverse<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
fn inverse(
&self
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
[src]
fn inverse(
&self
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl<N> AbstractLoop<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> AbstractLoop<Additive> for Quaternion<N> where
N: Real,
impl<N, R, C> AbstractLoop<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractLoop<Additive> + Zero + ClosedAdd<N> + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> AbstractLoop<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractLoop<Additive> + Zero + ClosedAdd<N> + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
impl<N> AbstractSemigroup<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> AbstractSemigroup<Additive> for Quaternion<N> where
N: Real,
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl<N, R, C> AbstractSemigroup<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractSemigroup<Additive> + ClosedAdd<N>,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> AbstractSemigroup<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractSemigroup<Additive> + ClosedAdd<N>,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl<N> AbstractGroup<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> AbstractGroup<Additive> for Quaternion<N> where
N: Real,
impl<N, R, C> AbstractGroup<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractGroup<Additive> + Zero + ClosedAdd<N> + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> AbstractGroup<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractGroup<Additive> + Zero + ClosedAdd<N> + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
impl<N> AbstractQuasigroup<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> AbstractQuasigroup<Additive> for Quaternion<N> where
N: Real,
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl<N, R, C> AbstractQuasigroup<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractQuasigroup<Additive> + ClosedAdd<N> + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> AbstractQuasigroup<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractQuasigroup<Additive> + ClosedAdd<N> + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl<N, R, C> AbstractMagma<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + ClosedAdd<N>,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> AbstractMagma<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + ClosedAdd<N>,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
fn operate(
&self,
other: &Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
[src]
fn operate(
&self,
other: &Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl<N> AbstractMagma<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> AbstractMagma<Additive> for Quaternion<N> where
N: Real,
fn operate(&self, rhs: &Quaternion<N>) -> Quaternion<N>
[src]
fn operate(&self, rhs: &Quaternion<N>) -> Quaternion<N>
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl<N> Identity<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> Identity<Additive> for Quaternion<N> where
N: Real,
impl<N, R, C> Identity<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + Zero,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> Identity<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + Zero,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
fn identity(
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
[src]
fn identity(
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>
The identity element.
fn id(O) -> Self
[src]
fn id(O) -> Self
Specific identity.
impl<N, R, C> AbstractGroupAbelian<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractGroupAbelian<Additive> + Zero + ClosedAdd<N> + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
[src]
impl<N, R, C> AbstractGroupAbelian<Additive> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
C: DimName,
N: Scalar + AbstractGroupAbelian<Additive> + Zero + ClosedAdd<N> + ClosedNeg,
R: DimName,
DefaultAllocator: Allocator<N, R, C>,
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl<N> AbstractGroupAbelian<Additive> for Quaternion<N> where
N: Real,
[src]
impl<N> AbstractGroupAbelian<Additive> for Quaternion<N> where
N: Real,
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for f32
[src]
impl AbstractRingCommutative<Additive, Multiplicative> for f32
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i64
[src]
impl AbstractRingCommutative<Additive, Multiplicative> for i64
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for f64
[src]
impl AbstractRingCommutative<Additive, Multiplicative> for f64
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i32
[src]
impl AbstractRingCommutative<Additive, Multiplicative> for i32
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl<N> AbstractRingCommutative<Additive, Multiplicative> for Complex<N> where
N: AbstractRingCommutative<Additive, Multiplicative> + ClosedNeg + Clone + Num,
[src]
impl<N> AbstractRingCommutative<Additive, Multiplicative> for Complex<N> where
N: AbstractRingCommutative<Additive, Multiplicative> + ClosedNeg + Clone + Num,
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i16
[src]
impl AbstractRingCommutative<Additive, Multiplicative> for i16
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i8
[src]
impl AbstractRingCommutative<Additive, Multiplicative> for i8
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for isize
[src]
impl AbstractRingCommutative<Additive, Multiplicative> for isize
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication operator is commutative for the given argument tuple.
impl Clone for Additive
[src]
impl Clone for Additive
fn clone(&self) -> Additive
[src]
fn clone(&self) -> Additive
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl AbstractGroup<Additive> for i64
[src]
impl AbstractGroup<Additive> for i64
impl AbstractGroup<Additive> for f64
[src]
impl AbstractGroup<Additive> for f64
impl AbstractGroup<Additive> for i32
[src]
impl AbstractGroup<Additive> for i32
impl AbstractGroup<Additive> for i16
[src]
impl AbstractGroup<Additive> for i16
impl AbstractGroup<Additive> for i8
[src]
impl AbstractGroup<Additive> for i8
impl AbstractGroup<Additive> for isize
[src]
impl AbstractGroup<Additive> for isize
impl AbstractGroup<Additive> for f32
[src]
impl AbstractGroup<Additive> for f32
impl<N> AbstractGroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
impl<N> AbstractGroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
impl AbstractLoop<Additive> for i16
[src]
impl AbstractLoop<Additive> for i16
impl AbstractLoop<Additive> for f64
[src]
impl AbstractLoop<Additive> for f64
impl AbstractLoop<Additive> for i32
[src]
impl AbstractLoop<Additive> for i32
impl AbstractLoop<Additive> for isize
[src]
impl AbstractLoop<Additive> for isize
impl AbstractLoop<Additive> for i8
[src]
impl AbstractLoop<Additive> for i8
impl AbstractLoop<Additive> for i64
[src]
impl AbstractLoop<Additive> for i64
impl AbstractLoop<Additive> for f32
[src]
impl AbstractLoop<Additive> for f32
impl<N> AbstractLoop<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
impl<N> AbstractLoop<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
impl<N> Inverse<Additive> for Complex<N> where
N: Inverse<Additive>,
[src]
impl<N> Inverse<Additive> for Complex<N> where
N: Inverse<Additive>,
fn inverse(&self) -> Complex<N>
[src]
fn inverse(&self) -> Complex<N>
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl Inverse<Additive> for i8
[src]
impl Inverse<Additive> for i8
fn inverse(&self) -> i8
[src]
fn inverse(&self) -> i8
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl Inverse<Additive> for i32
[src]
impl Inverse<Additive> for i32
fn inverse(&self) -> i32
[src]
fn inverse(&self) -> i32
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl Inverse<Additive> for f64
[src]
impl Inverse<Additive> for f64
fn inverse(&self) -> f64
[src]
fn inverse(&self) -> f64
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl Inverse<Additive> for i64
[src]
impl Inverse<Additive> for i64
fn inverse(&self) -> i64
[src]
fn inverse(&self) -> i64
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl Inverse<Additive> for isize
[src]
impl Inverse<Additive> for isize
fn inverse(&self) -> isize
[src]
fn inverse(&self) -> isize
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl Inverse<Additive> for i16
[src]
impl Inverse<Additive> for i16
fn inverse(&self) -> i16
[src]
fn inverse(&self) -> i16
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl Inverse<Additive> for f32
[src]
impl Inverse<Additive> for f32
fn inverse(&self) -> f32
[src]
fn inverse(&self) -> f32
Returns the inverse of self
, relative to the operator O
.
fn inverse_mut(&mut self)
[src]
fn inverse_mut(&mut self)
In-place inversin of self
.
impl<N> AbstractField<Additive, Multiplicative> for Complex<N> where
N: AbstractField<Additive, Multiplicative> + ClosedNeg + Clone + Num,
[src]
impl<N> AbstractField<Additive, Multiplicative> for Complex<N> where
N: AbstractField<Additive, Multiplicative> + ClosedNeg + Clone + Num,
impl AbstractField<Additive, Multiplicative> for f32
[src]
impl AbstractField<Additive, Multiplicative> for f32
impl AbstractField<Additive, Multiplicative> for f64
[src]
impl AbstractField<Additive, Multiplicative> for f64
impl AbstractQuasigroup<Additive> for i32
[src]
impl AbstractQuasigroup<Additive> for i32
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl AbstractQuasigroup<Additive> for i64
[src]
impl AbstractQuasigroup<Additive> for i64
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl AbstractQuasigroup<Additive> for f64
[src]
impl AbstractQuasigroup<Additive> for f64
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl AbstractQuasigroup<Additive> for i8
[src]
impl AbstractQuasigroup<Additive> for i8
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl<N> AbstractQuasigroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
impl<N> AbstractQuasigroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl AbstractQuasigroup<Additive> for f32
[src]
impl AbstractQuasigroup<Additive> for f32
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl AbstractQuasigroup<Additive> for i16
[src]
impl AbstractQuasigroup<Additive> for i16
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl AbstractQuasigroup<Additive> for isize
[src]
impl AbstractQuasigroup<Additive> for isize
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
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]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl AbstractMagma<Additive> for f64
[src]
impl AbstractMagma<Additive> for f64
fn operate(&self, lhs: &f64) -> f64
[src]
fn operate(&self, lhs: &f64) -> f64
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for u16
[src]
impl AbstractMagma<Additive> for u16
fn operate(&self, lhs: &u16) -> u16
[src]
fn operate(&self, lhs: &u16) -> u16
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for i64
[src]
impl AbstractMagma<Additive> for i64
fn operate(&self, lhs: &i64) -> i64
[src]
fn operate(&self, lhs: &i64) -> i64
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for u32
[src]
impl AbstractMagma<Additive> for u32
fn operate(&self, lhs: &u32) -> u32
[src]
fn operate(&self, lhs: &u32) -> u32
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for i16
[src]
impl AbstractMagma<Additive> for i16
fn operate(&self, lhs: &i16) -> i16
[src]
fn operate(&self, lhs: &i16) -> i16
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for u64
[src]
impl AbstractMagma<Additive> for u64
fn operate(&self, lhs: &u64) -> u64
[src]
fn operate(&self, lhs: &u64) -> u64
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl<N> AbstractMagma<Additive> for Complex<N> where
N: AbstractMagma<Additive>,
[src]
impl<N> AbstractMagma<Additive> for Complex<N> where
N: AbstractMagma<Additive>,
fn operate(&self, lhs: &Complex<N>) -> Complex<N>
[src]
fn operate(&self, lhs: &Complex<N>) -> Complex<N>
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for u8
[src]
impl AbstractMagma<Additive> for u8
fn operate(&self, lhs: &u8) -> u8
[src]
fn operate(&self, lhs: &u8) -> u8
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for isize
[src]
impl AbstractMagma<Additive> for isize
fn operate(&self, lhs: &isize) -> isize
[src]
fn operate(&self, lhs: &isize) -> isize
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for f32
[src]
impl AbstractMagma<Additive> for f32
fn operate(&self, lhs: &f32) -> f32
[src]
fn operate(&self, lhs: &f32) -> f32
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for usize
[src]
impl AbstractMagma<Additive> for usize
fn operate(&self, lhs: &usize) -> usize
[src]
fn operate(&self, lhs: &usize) -> usize
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for i8
[src]
impl AbstractMagma<Additive> for i8
fn operate(&self, lhs: &i8) -> i8
[src]
fn operate(&self, lhs: &i8) -> i8
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl AbstractMagma<Additive> for i32
[src]
impl AbstractMagma<Additive> for i32
fn operate(&self, lhs: &i32) -> i32
[src]
fn operate(&self, lhs: &i32) -> i32
Performs an operation.
fn op(&self, O, lhs: &Self) -> Self
[src]
fn op(&self, O, lhs: &Self) -> Self
Performs specific operation.
impl Operator for Additive
[src]
impl Operator for Additive
fn operator_token() -> Additive
[src]
fn operator_token() -> Additive
Returns the structure that identifies the operator.
impl<N> AbstractRing<Additive, Multiplicative> for Complex<N> where
N: AbstractRing<Additive, Multiplicative> + ClosedNeg + Clone + Num,
[src]
impl<N> AbstractRing<Additive, Multiplicative> for Complex<N> where
N: AbstractRing<Additive, Multiplicative> + ClosedNeg + Clone + Num,
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
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]
impl AbstractRing<Additive, Multiplicative> for i64
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
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]
impl AbstractRing<Additive, Multiplicative> for i16
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for i8
[src]
impl AbstractRing<Additive, Multiplicative> for i8
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
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]
impl AbstractRing<Additive, Multiplicative> for f64
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
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]
impl AbstractRing<Additive, Multiplicative> for i32
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
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]
impl AbstractRing<Additive, Multiplicative> for isize
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
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]
impl AbstractRing<Additive, Multiplicative> for f32
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl Identity<Additive> for usize
[src]
impl Identity<Additive> for usize
impl Identity<Additive> for i64
[src]
impl Identity<Additive> for i64
impl Identity<Additive> for u8
[src]
impl Identity<Additive> for u8
impl Identity<Additive> for u32
[src]
impl Identity<Additive> for u32
impl Identity<Additive> for i8
[src]
impl Identity<Additive> for i8
impl Identity<Additive> for f32
[src]
impl Identity<Additive> for f32
impl Identity<Additive> for u16
[src]
impl Identity<Additive> for u16
impl Identity<Additive> for i16
[src]
impl Identity<Additive> for i16
impl Identity<Additive> for u64
[src]
impl Identity<Additive> for u64
impl Identity<Additive> for i32
[src]
impl Identity<Additive> for i32
impl Identity<Additive> for f64
[src]
impl Identity<Additive> for f64
impl<N> Identity<Additive> for Complex<N> where
N: Identity<Additive>,
[src]
impl<N> Identity<Additive> for Complex<N> where
N: Identity<Additive>,
impl Identity<Additive> for isize
[src]
impl Identity<Additive> for isize
impl AbstractGroupAbelian<Additive> for i32
[src]
impl AbstractGroupAbelian<Additive> for i32
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for i8
[src]
impl AbstractGroupAbelian<Additive> for i8
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for i64
[src]
impl AbstractGroupAbelian<Additive> for i64
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for f32
[src]
impl AbstractGroupAbelian<Additive> for f32
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for f64
[src]
impl AbstractGroupAbelian<Additive> for f64
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for isize
[src]
impl AbstractGroupAbelian<Additive> for isize
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl<N> AbstractGroupAbelian<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
impl<N> AbstractGroupAbelian<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Additive> for i16
[src]
impl AbstractGroupAbelian<Additive> for i16
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
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]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl AbstractMonoid<Additive> for u32
[src]
impl AbstractMonoid<Additive> for u32
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for i8
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for i16
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for i64
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for usize
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for u16
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for f32
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl<N> AbstractMonoid<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for i32
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for u64
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for f64
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Additive> for u8
[src]
impl AbstractMonoid<Additive> for u8
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
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]
impl AbstractMonoid<Additive> for isize
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq,
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
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]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
impl<N> AbstractSemigroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
[src]
impl<N> AbstractSemigroup<Additive> for Complex<N> where
N: AbstractGroupAbelian<Additive>,
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for u8
[src]
impl AbstractSemigroup<Additive> for u8
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for i8
[src]
impl AbstractSemigroup<Additive> for i8
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for usize
[src]
impl AbstractSemigroup<Additive> for usize
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for u16
[src]
impl AbstractSemigroup<Additive> for u16
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for isize
[src]
impl AbstractSemigroup<Additive> for isize
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for u32
[src]
impl AbstractSemigroup<Additive> for u32
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for f64
[src]
impl AbstractSemigroup<Additive> for f64
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for f32
[src]
impl AbstractSemigroup<Additive> for f32
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for u64
[src]
impl AbstractSemigroup<Additive> for u64
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for i32
[src]
impl AbstractSemigroup<Additive> for i32
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for i16
[src]
impl AbstractSemigroup<Additive> for i16
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl AbstractSemigroup<Additive> for i64
[src]
impl AbstractSemigroup<Additive> for i64
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq,
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
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]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl Copy for Additive
[src]
impl Copy for Additive