Trait num_traits::identities::One

source ·

pub trait One: Sized + Mul<Self, Output = Self> {
    fn one() -> Self;

    fn set_one(&mut self) { ... }
    fn is_one(&self) -> bool
    where
        Self: PartialEq,
    { ... }
}

Expand description

Defines a multiplicative identity element for Self.

Laws

a * 1 = a       ∀ a ∈ Self
1 * a = a       ∀ a ∈ Self

Required Methods§

source

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

Purity

This function should return the same result at all times regardless of external mutable state, for example values stored in TLS or in static muts.

Provided Methods§

source

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

source

fn is_one(&self) -> boolwhere
Self: PartialEq,

Returns true if self is equal to the multiplicative identity.

For performance reasons, it’s best to implement this manually. After a semver bump, this method will be required, and the where Self: PartialEq bound will be removed.

Implementations on Foreign Types§

source §

fn one() -> Self

Implementors§

impl<Frac> One for FixedI8<Frac>where
Frac: IsLessOrEqual<U6, Output = True> + LeEqU8,

impl<Frac> One for FixedI16<Frac>where
Frac: IsLessOrEqual<U14, Output = True> + LeEqU16,

impl<Frac> One for FixedI32<Frac>where
Frac: IsLessOrEqual<U30, Output = True> + LeEqU32,

impl<Frac> One for FixedI64<Frac>where
Frac: IsLessOrEqual<U62, Output = True> + LeEqU64,

impl<Frac> One for FixedI128<Frac>where
Frac: IsLessOrEqual<U126, Output = True> + LeEqU128,

impl<Frac> One for FixedU8<Frac>where
Frac: IsLessOrEqual<U7, Output = True> + LeEqU8,

impl<Frac> One for FixedU16<Frac>where
Frac: IsLessOrEqual<U15, Output = True> + LeEqU16,

impl<Frac> One for FixedU32<Frac>where
Frac: IsLessOrEqual<U31, Output = True> + LeEqU32,

impl<Frac> One for FixedU64<Frac>where
Frac: IsLessOrEqual<U63, Output = True> + LeEqU64,

impl<Frac> One for FixedU128<Frac>where
Frac: IsLessOrEqual<U127, Output = True> + LeEqU128,

impl<T, D: DimName> One for OMatrix<T, D, D>where
T: Scalar + Zero + One + ClosedMul + ClosedAdd,
DefaultAllocator: Allocator<T, D, D>,

impl<T, const D: usize> One for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAdd + ClosedMul,

impl<T: SimdRealField> One for Quaternion<T>where
T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitQuaternion<T>where
T::Element: SimdRealField,

impl<T: SimdRealField> One for DualQuaternion<T>where
T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitDualQuaternion<T>where
T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitComplex<T>where
T::Element: SimdRealField,

impl<T: Scalar + Zero + ClosedAdd, const D: usize> One for Translation<T, D>

impl<T: SimdRealField, R: AbstractRotation<T, D>, const D: usize> One for Isometry<T, R, D>where
T::Element: SimdRealField,

impl<T: SimdRealField, R, const D: usize> One for Similarity<T, R, D>where
T::Element: SimdRealField,
R: AbstractRotation<T, D>,

impl<T: RealField, C: TCategory, const D: usize> One for Transform<T, C, D>where
Const<D>: DimNameAdd<U1>,
DefaultAllocator: Allocator<T, DimNameSum<Const<D>, U1>, DimNameSum<Const<D>, U1>>,

Trait num_traits::identities::One

Required Methods§

fn one() -> Self

Provided Methods§

fn set_one(&mut self)

fn is_one(&self) -> boolwhere Self: PartialEq,

Implementations on Foreign Types§

impl One for usize

fn one() -> usize

fn is_one(&self) -> bool

impl One for u8

fn one() -> u8

fn is_one(&self) -> bool

impl One for u16

fn one() -> u16

fn is_one(&self) -> bool

impl One for u32

fn one() -> u32

fn is_one(&self) -> bool

impl One for u64

fn one() -> u64

fn is_one(&self) -> bool

impl One for u128

fn one() -> u128

fn is_one(&self) -> bool

impl One for isize

fn one() -> isize

fn is_one(&self) -> bool

impl One for i8

fn one() -> i8

fn is_one(&self) -> bool

impl One for i16

fn one() -> i16

fn is_one(&self) -> bool

impl One for i32

fn one() -> i32

fn is_one(&self) -> bool

impl One for i64

fn one() -> i64

fn is_one(&self) -> bool

impl One for i128

fn one() -> i128

fn is_one(&self) -> bool

impl One for f32

fn one() -> f32

fn is_one(&self) -> bool

impl One for f64

fn one() -> f64

fn is_one(&self) -> bool

impl<T: One> One for Wrapping<T>where Wrapping<T>: Mul<Output = Wrapping<T>>,

fn set_one(&mut self)

fn one() -> Self

Implementors§

impl<Frac> One for FixedI8<Frac>where Frac: IsLessOrEqual<U6, Output = True> + LeEqU8,

impl<Frac> One for FixedI16<Frac>where Frac: IsLessOrEqual<U14, Output = True> + LeEqU16,

impl<Frac> One for FixedI32<Frac>where Frac: IsLessOrEqual<U30, Output = True> + LeEqU32,

impl<Frac> One for FixedI64<Frac>where Frac: IsLessOrEqual<U62, Output = True> + LeEqU64,

impl<Frac> One for FixedI128<Frac>where Frac: IsLessOrEqual<U126, Output = True> + LeEqU128,

impl<Frac> One for FixedU8<Frac>where Frac: IsLessOrEqual<U7, Output = True> + LeEqU8,

impl<Frac> One for FixedU16<Frac>where Frac: IsLessOrEqual<U15, Output = True> + LeEqU16,

impl<Frac> One for FixedU32<Frac>where Frac: IsLessOrEqual<U31, Output = True> + LeEqU32,

impl<Frac> One for FixedU64<Frac>where Frac: IsLessOrEqual<U63, Output = True> + LeEqU64,

impl<Frac> One for FixedU128<Frac>where Frac: IsLessOrEqual<U127, Output = True> + LeEqU128,

impl<T, D: DimName> One for OMatrix<T, D, D>where T: Scalar + Zero + One + ClosedMul + ClosedAdd, DefaultAllocator: Allocator<T, D, D>,

impl<T, const D: usize> One for Rotation<T, D>where T: Scalar + Zero + One + ClosedAdd + ClosedMul,

impl<T: SimdRealField> One for Quaternion<T>where T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitQuaternion<T>where T::Element: SimdRealField,

impl<T: SimdRealField> One for DualQuaternion<T>where T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitDualQuaternion<T>where T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitComplex<T>where T::Element: SimdRealField,

impl<T: Scalar + Zero + ClosedAdd, const D: usize> One for Translation<T, D>

impl<T: SimdRealField, R: AbstractRotation<T, D>, const D: usize> One for Isometry<T, R, D>where T::Element: SimdRealField,

impl<T: SimdRealField, R, const D: usize> One for Similarity<T, R, D>where T::Element: SimdRealField, R: AbstractRotation<T, D>,

impl<T: RealField, C: TCategory, const D: usize> One for Transform<T, C, D>where Const<D>: DimNameAdd<U1>, DefaultAllocator: Allocator<T, DimNameSum<Const<D>, U1>, DimNameSum<Const<D>, U1>>,

impl One for BigInt

impl One for BigUint

impl<T: Clone + Num> One for Complex<T>

impl<T: Clone + Integer> One for Ratio<T>

impl<T: Float> One for NotNan<T>

impl One for AutoSimd<[f32; 2]>

fn is_one(&self) -> boolwhere
Self: PartialEq,

impl<T: One> One for Wrapping<T>where
Wrapping<T>: Mul<Output = Wrapping<T>>,

impl<Frac> One for FixedI8<Frac>where
Frac: IsLessOrEqual<U6, Output = True> + LeEqU8,

impl<Frac> One for FixedI16<Frac>where
Frac: IsLessOrEqual<U14, Output = True> + LeEqU16,

impl<Frac> One for FixedI32<Frac>where
Frac: IsLessOrEqual<U30, Output = True> + LeEqU32,

impl<Frac> One for FixedI64<Frac>where
Frac: IsLessOrEqual<U62, Output = True> + LeEqU64,

impl<Frac> One for FixedI128<Frac>where
Frac: IsLessOrEqual<U126, Output = True> + LeEqU128,

impl<Frac> One for FixedU8<Frac>where
Frac: IsLessOrEqual<U7, Output = True> + LeEqU8,

impl<Frac> One for FixedU16<Frac>where
Frac: IsLessOrEqual<U15, Output = True> + LeEqU16,

impl<Frac> One for FixedU32<Frac>where
Frac: IsLessOrEqual<U31, Output = True> + LeEqU32,

impl<Frac> One for FixedU64<Frac>where
Frac: IsLessOrEqual<U63, Output = True> + LeEqU64,

impl<Frac> One for FixedU128<Frac>where
Frac: IsLessOrEqual<U127, Output = True> + LeEqU128,

impl<T, D: DimName> One for OMatrix<T, D, D>where
T: Scalar + Zero + One + ClosedMul + ClosedAdd,
DefaultAllocator: Allocator<T, D, D>,

impl<T, const D: usize> One for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAdd + ClosedMul,

impl<T: SimdRealField> One for Quaternion<T>where
T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitQuaternion<T>where
T::Element: SimdRealField,

impl<T: SimdRealField> One for DualQuaternion<T>where
T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitDualQuaternion<T>where
T::Element: SimdRealField,

impl<T: SimdRealField> One for UnitComplex<T>where
T::Element: SimdRealField,

impl<T: SimdRealField, R: AbstractRotation<T, D>, const D: usize> One for Isometry<T, R, D>where
T::Element: SimdRealField,

impl<T: SimdRealField, R, const D: usize> One for Similarity<T, R, D>where
T::Element: SimdRealField,
R: AbstractRotation<T, D>,

impl<T: RealField, C: TCategory, const D: usize> One for Transform<T, C, D>where
Const<D>: DimNameAdd<U1>,
DefaultAllocator: Allocator<T, DimNameSum<Const<D>, U1>, DimNameSum<Const<D>, U1>>,