Trait std::ops::Mul
pub trait Mul<Rhs = Self> { type Output; fn mul(self, rhs: Rhs) -> Self::Output; }
The multiplication operator *
.
Note that Rhs
is Self
by default, but this is not mandatory.
Examples
Mul
tipliable rational numbers
use std::ops::Mul; // By the fundamental theorem of arithmetic, rational numbers in lowest // terms are unique. So, by keeping `Rational`s in reduced form, we can // derive `Eq` and `PartialEq`. #[derive(Debug, Eq, PartialEq)] struct Rational { numerator: usize, denominator: usize, } impl Rational { fn new(numerator: usize, denominator: usize) -> Self { if denominator == 0 { panic!("Zero is an invalid denominator!"); } // Reduce to lowest terms by dividing by the greatest common // divisor. let gcd = gcd(numerator, denominator); Self { numerator: numerator / gcd, denominator: denominator / gcd, } } } impl Mul for Rational { // The multiplication of rational numbers is a closed operation. type Output = Self; fn mul(self, rhs: Self) -> Self { let numerator = self.numerator * rhs.numerator; let denominator = self.denominator * rhs.denominator; Self::new(numerator, denominator) } } // Euclid's two-thousand-year-old algorithm for finding the greatest common // divisor. fn gcd(x: usize, y: usize) -> usize { let mut x = x; let mut y = y; while y != 0 { let t = y; y = x % y; x = t; } x } assert_eq!(Rational::new(1, 2), Rational::new(2, 4)); assert_eq!(Rational::new(2, 3) * Rational::new(3, 4), Rational::new(1, 2));
Multiplying vectors by scalars as in linear algebra
use std::ops::Mul; struct Scalar { value: usize } #[derive(Debug, PartialEq)] struct Vector { value: Vec<usize> } impl Mul<Scalar> for Vector { type Output = Self; fn mul(self, rhs: Scalar) -> Self::Output { Self { value: self.value.iter().map(|v| v * rhs.value).collect() } } } let vector = Vector { value: vec![2, 4, 6] }; let scalar = Scalar { value: 3 }; assert_eq!(vector * scalar, Vector { value: vec![6, 12, 18] });
Associated Types
type Output
The resulting type after applying the *
operator.
Required methods
fn mul(self, rhs: Rhs) -> Self::Output
Performs the *
operation.
Example
assert_eq!(12 * 2, 24);
Implementors
impl Mul<f32> for f32
type Output = f32
impl Mul<f64> for f64
type Output = f64
impl Mul<i8> for i8
type Output = i8
impl Mul<i16> for i16
type Output = i16
impl Mul<i32> for i32
type Output = i32
impl Mul<i64> for i64
type Output = i64
impl Mul<i128> for i128
type Output = i128
impl Mul<isize> for isize
type Output = isize
impl Mul<u8> for u8
type Output = u8
impl Mul<u16> for u16
type Output = u16
impl Mul<u32> for u32
type Output = u32
[src]1.3.0
impl Mul<u32> for Duration
type Output = Duration
impl Mul<u64> for u64
type Output = u64
impl Mul<u128> for u128
type Output = u128
impl Mul<usize> for usize
type Output = usize
impl Mul<Saturating<i8>> for Saturating<i8>
type Output = Saturating<i8>
impl Mul<Saturating<i16>> for Saturating<i16>
type Output = Saturating<i16>
impl Mul<Saturating<i32>> for Saturating<i32>
type Output = Saturating<i32>
impl Mul<Saturating<i64>> for Saturating<i64>
type Output = Saturating<i64>
impl Mul<Saturating<i128>> for Saturating<i128>
type Output = Saturating<i128>
impl Mul<Saturating<isize>> for Saturating<isize>
type Output = Saturating<isize>
impl Mul<Saturating<u8>> for Saturating<u8>
type Output = Saturating<u8>
impl Mul<Saturating<u16>> for Saturating<u16>
type Output = Saturating<u16>
impl Mul<Saturating<u32>> for Saturating<u32>
type Output = Saturating<u32>
impl Mul<Saturating<u64>> for Saturating<u64>
type Output = Saturating<u64>
impl Mul<Saturating<u128>> for Saturating<u128>
type Output = Saturating<u128>
impl Mul<Saturating<usize>> for Saturating<usize>
type Output = Saturating<usize>
impl Mul<Wrapping<i8>> for Wrapping<i8>
type Output = Wrapping<i8>
impl Mul<Wrapping<i16>> for Wrapping<i16>
type Output = Wrapping<i16>
impl Mul<Wrapping<i32>> for Wrapping<i32>
type Output = Wrapping<i32>
impl Mul<Wrapping<i64>> for Wrapping<i64>
type Output = Wrapping<i64>
impl Mul<Wrapping<i128>> for Wrapping<i128>
type Output = Wrapping<i128>
impl Mul<Wrapping<isize>> for Wrapping<isize>
type Output = Wrapping<isize>
impl Mul<Wrapping<u8>> for Wrapping<u8>
type Output = Wrapping<u8>
impl Mul<Wrapping<u16>> for Wrapping<u16>
type Output = Wrapping<u16>
impl Mul<Wrapping<u32>> for Wrapping<u32>
type Output = Wrapping<u32>
impl Mul<Wrapping<u64>> for Wrapping<u64>
type Output = Wrapping<u64>
impl Mul<Wrapping<u128>> for Wrapping<u128>
type Output = Wrapping<u128>
impl Mul<Wrapping<usize>> for Wrapping<usize>
type Output = Wrapping<usize>
[src]1.31.0
impl Mul<Duration> for u32
type Output = Duration
impl<'_> Mul<&'_ f32> for f32
type Output = <f32 as Mul<f32>>::Output
impl<'_> Mul<&'_ f64> for f64
type Output = <f64 as Mul<f64>>::Output
impl<'_> Mul<&'_ i8> for i8
type Output = <i8 as Mul<i8>>::Output
impl<'_> Mul<&'_ i16> for i16
type Output = <i16 as Mul<i16>>::Output
impl<'_> Mul<&'_ i32> for i32
type Output = <i32 as Mul<i32>>::Output
impl<'_> Mul<&'_ i64> for i64
type Output = <i64 as Mul<i64>>::Output
impl<'_> Mul<&'_ i128> for i128
type Output = <i128 as Mul<i128>>::Output
impl<'_> Mul<&'_ isize> for isize
type Output = <isize as Mul<isize>>::Output
impl<'_> Mul<&'_ u8> for u8
type Output = <u8 as Mul<u8>>::Output
impl<'_> Mul<&'_ u16> for u16
type Output = <u16 as Mul<u16>>::Output
impl<'_> Mul<&'_ u32> for u32
type Output = <u32 as Mul<u32>>::Output
impl<'_> Mul<&'_ u64> for u64
type Output = <u64 as Mul<u64>>::Output
impl<'_> Mul<&'_ u128> for u128
type Output = <u128 as Mul<u128>>::Output
impl<'_> Mul<&'_ usize> for usize
type Output = <usize as Mul<usize>>::Output
impl<'_> Mul<&'_ Saturating<i8>> for Saturating<i8>
type Output = <Saturating<i8> as Mul<Saturating<i8>>>::Output
impl<'_> Mul<&'_ Saturating<i16>> for Saturating<i16>
type Output = <Saturating<i16> as Mul<Saturating<i16>>>::Output
impl<'_> Mul<&'_ Saturating<i32>> for Saturating<i32>
type Output = <Saturating<i32> as Mul<Saturating<i32>>>::Output
impl<'_> Mul<&'_ Saturating<i64>> for Saturating<i64>
type Output = <Saturating<i64> as Mul<Saturating<i64>>>::Output
impl<'_> Mul<&'_ Saturating<i128>> for Saturating<i128>
type Output = <Saturating<i128> as Mul<Saturating<i128>>>::Output
impl<'_> Mul<&'_ Saturating<isize>> for Saturating<isize>
type Output = <Saturating<isize> as Mul<Saturating<isize>>>::Output
impl<'_> Mul<&'_ Saturating<u8>> for Saturating<u8>
type Output = <Saturating<u8> as Mul<Saturating<u8>>>::Output
impl<'_> Mul<&'_ Saturating<u16>> for Saturating<u16>
type Output = <Saturating<u16> as Mul<Saturating<u16>>>::Output
impl<'_> Mul<&'_ Saturating<u32>> for Saturating<u32>
type Output = <Saturating<u32> as Mul<Saturating<u32>>>::Output
impl<'_> Mul<&'_ Saturating<u64>> for Saturating<u64>
type Output = <Saturating<u64> as Mul<Saturating<u64>>>::Output
impl<'_> Mul<&'_ Saturating<u128>> for Saturating<u128>
type Output = <Saturating<u128> as Mul<Saturating<u128>>>::Output
impl<'_> Mul<&'_ Saturating<usize>> for Saturating<usize>
type Output = <Saturating<usize> as Mul<Saturating<usize>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<i8>> for Wrapping<i8>
type Output = <Wrapping<i8> as Mul<Wrapping<i8>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<i16>> for Wrapping<i16>
type Output = <Wrapping<i16> as Mul<Wrapping<i16>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<i32>> for Wrapping<i32>
type Output = <Wrapping<i32> as Mul<Wrapping<i32>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<i64>> for Wrapping<i64>
type Output = <Wrapping<i64> as Mul<Wrapping<i64>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<i128>> for Wrapping<i128>
type Output = <Wrapping<i128> as Mul<Wrapping<i128>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<isize>> for Wrapping<isize>
type Output = <Wrapping<isize> as Mul<Wrapping<isize>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<u8>> for Wrapping<u8>
type Output = <Wrapping<u8> as Mul<Wrapping<u8>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<u16>> for Wrapping<u16>
type Output = <Wrapping<u16> as Mul<Wrapping<u16>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<u32>> for Wrapping<u32>
type Output = <Wrapping<u32> as Mul<Wrapping<u32>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<u64>> for Wrapping<u64>
type Output = <Wrapping<u64> as Mul<Wrapping<u64>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<u128>> for Wrapping<u128>
type Output = <Wrapping<u128> as Mul<Wrapping<u128>>>::Output
[src]1.14.0
impl<'_> Mul<&'_ Wrapping<usize>> for Wrapping<usize>
type Output = <Wrapping<usize> as Mul<Wrapping<usize>>>::Output
impl<'_, '_> Mul<&'_ f32> for &'_ f32
type Output = <f32 as Mul<f32>>::Output
impl<'_, '_> Mul<&'_ f64> for &'_ f64
type Output = <f64 as Mul<f64>>::Output
impl<'_, '_> Mul<&'_ i8> for &'_ i8
type Output = <i8 as Mul<i8>>::Output
impl<'_, '_> Mul<&'_ i16> for &'_ i16
type Output = <i16 as Mul<i16>>::Output
impl<'_, '_> Mul<&'_ i32> for &'_ i32
type Output = <i32 as Mul<i32>>::Output
impl<'_, '_> Mul<&'_ i64> for &'_ i64
type Output = <i64 as Mul<i64>>::Output
impl<'_, '_> Mul<&'_ i128> for &'_ i128
type Output = <i128 as Mul<i128>>::Output
impl<'_, '_> Mul<&'_ isize> for &'_ isize
type Output = <isize as Mul<isize>>::Output
impl<'_, '_> Mul<&'_ u8> for &'_ u8
type Output = <u8 as Mul<u8>>::Output
impl<'_, '_> Mul<&'_ u16> for &'_ u16
type Output = <u16 as Mul<u16>>::Output
impl<'_, '_> Mul<&'_ u32> for &'_ u32
type Output = <u32 as Mul<u32>>::Output
impl<'_, '_> Mul<&'_ u64> for &'_ u64
type Output = <u64 as Mul<u64>>::Output
impl<'_, '_> Mul<&'_ u128> for &'_ u128
type Output = <u128 as Mul<u128>>::Output
impl<'_, '_> Mul<&'_ usize> for &'_ usize
type Output = <usize as Mul<usize>>::Output
impl<'_, '_> Mul<&'_ Saturating<i8>> for &'_ Saturating<i8>
type Output = <Saturating<i8> as Mul<Saturating<i8>>>::Output
impl<'_, '_> Mul<&'_ Saturating<i16>> for &'_ Saturating<i16>
type Output = <Saturating<i16> as Mul<Saturating<i16>>>::Output
impl<'_, '_> Mul<&'_ Saturating<i32>> for &'_ Saturating<i32>
type Output = <Saturating<i32> as Mul<Saturating<i32>>>::Output
impl<'_, '_> Mul<&'_ Saturating<i64>> for &'_ Saturating<i64>
type Output = <Saturating<i64> as Mul<Saturating<i64>>>::Output
impl<'_, '_> Mul<&'_ Saturating<i128>> for &'_ Saturating<i128>
type Output = <Saturating<i128> as Mul<Saturating<i128>>>::Output
impl<'_, '_> Mul<&'_ Saturating<isize>> for &'_ Saturating<isize>
type Output = <Saturating<isize> as Mul<Saturating<isize>>>::Output
impl<'_, '_> Mul<&'_ Saturating<u8>> for &'_ Saturating<u8>
type Output = <Saturating<u8> as Mul<Saturating<u8>>>::Output
impl<'_, '_> Mul<&'_ Saturating<u16>> for &'_ Saturating<u16>
type Output = <Saturating<u16> as Mul<Saturating<u16>>>::Output
impl<'_, '_> Mul<&'_ Saturating<u32>> for &'_ Saturating<u32>
type Output = <Saturating<u32> as Mul<Saturating<u32>>>::Output
impl<'_, '_> Mul<&'_ Saturating<u64>> for &'_ Saturating<u64>
type Output = <Saturating<u64> as Mul<Saturating<u64>>>::Output
impl<'_, '_> Mul<&'_ Saturating<u128>> for &'_ Saturating<u128>
type Output = <Saturating<u128> as Mul<Saturating<u128>>>::Output
impl<'_, '_> Mul<&'_ Saturating<usize>> for &'_ Saturating<usize>
type Output = <Saturating<usize> as Mul<Saturating<usize>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<i8>> for &'_ Wrapping<i8>
type Output = <Wrapping<i8> as Mul<Wrapping<i8>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<i16>> for &'_ Wrapping<i16>
type Output = <Wrapping<i16> as Mul<Wrapping<i16>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<i32>> for &'_ Wrapping<i32>
type Output = <Wrapping<i32> as Mul<Wrapping<i32>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<i64>> for &'_ Wrapping<i64>
type Output = <Wrapping<i64> as Mul<Wrapping<i64>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<i128>> for &'_ Wrapping<i128>
type Output = <Wrapping<i128> as Mul<Wrapping<i128>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<isize>> for &'_ Wrapping<isize>
type Output = <Wrapping<isize> as Mul<Wrapping<isize>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<u8>> for &'_ Wrapping<u8>
type Output = <Wrapping<u8> as Mul<Wrapping<u8>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<u16>> for &'_ Wrapping<u16>
type Output = <Wrapping<u16> as Mul<Wrapping<u16>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<u32>> for &'_ Wrapping<u32>
type Output = <Wrapping<u32> as Mul<Wrapping<u32>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<u64>> for &'_ Wrapping<u64>
type Output = <Wrapping<u64> as Mul<Wrapping<u64>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<u128>> for &'_ Wrapping<u128>
type Output = <Wrapping<u128> as Mul<Wrapping<u128>>>::Output
[src]1.14.0
impl<'_, '_> Mul<&'_ Wrapping<usize>> for &'_ Wrapping<usize>
type Output = <Wrapping<usize> as Mul<Wrapping<usize>>>::Output
impl<'a> Mul<f32> for &'a f32
type Output = <f32 as Mul<f32>>::Output
impl<'a> Mul<f64> for &'a f64
type Output = <f64 as Mul<f64>>::Output
impl<'a> Mul<i8> for &'a i8
type Output = <i8 as Mul<i8>>::Output
impl<'a> Mul<i16> for &'a i16
type Output = <i16 as Mul<i16>>::Output
impl<'a> Mul<i32> for &'a i32
type Output = <i32 as Mul<i32>>::Output
impl<'a> Mul<i64> for &'a i64
type Output = <i64 as Mul<i64>>::Output
impl<'a> Mul<i128> for &'a i128
type Output = <i128 as Mul<i128>>::Output
impl<'a> Mul<isize> for &'a isize
type Output = <isize as Mul<isize>>::Output
impl<'a> Mul<u8> for &'a u8
type Output = <u8 as Mul<u8>>::Output
impl<'a> Mul<u16> for &'a u16
type Output = <u16 as Mul<u16>>::Output
impl<'a> Mul<u32> for &'a u32
type Output = <u32 as Mul<u32>>::Output
impl<'a> Mul<u64> for &'a u64
type Output = <u64 as Mul<u64>>::Output
impl<'a> Mul<u128> for &'a u128
type Output = <u128 as Mul<u128>>::Output
impl<'a> Mul<usize> for &'a usize
type Output = <usize as Mul<usize>>::Output
impl<'a> Mul<Saturating<i8>> for &'a Saturating<i8>
type Output = <Saturating<i8> as Mul<Saturating<i8>>>::Output
impl<'a> Mul<Saturating<i16>> for &'a Saturating<i16>
type Output = <Saturating<i16> as Mul<Saturating<i16>>>::Output
impl<'a> Mul<Saturating<i32>> for &'a Saturating<i32>
type Output = <Saturating<i32> as Mul<Saturating<i32>>>::Output
impl<'a> Mul<Saturating<i64>> for &'a Saturating<i64>
type Output = <Saturating<i64> as Mul<Saturating<i64>>>::Output
impl<'a> Mul<Saturating<i128>> for &'a Saturating<i128>
type Output = <Saturating<i128> as Mul<Saturating<i128>>>::Output
impl<'a> Mul<Saturating<isize>> for &'a Saturating<isize>
type Output = <Saturating<isize> as Mul<Saturating<isize>>>::Output
impl<'a> Mul<Saturating<u8>> for &'a Saturating<u8>
type Output = <Saturating<u8> as Mul<Saturating<u8>>>::Output
impl<'a> Mul<Saturating<u16>> for &'a Saturating<u16>
type Output = <Saturating<u16> as Mul<Saturating<u16>>>::Output
impl<'a> Mul<Saturating<u32>> for &'a Saturating<u32>
type Output = <Saturating<u32> as Mul<Saturating<u32>>>::Output
impl<'a> Mul<Saturating<u64>> for &'a Saturating<u64>
type Output = <Saturating<u64> as Mul<Saturating<u64>>>::Output
impl<'a> Mul<Saturating<u128>> for &'a Saturating<u128>
type Output = <Saturating<u128> as Mul<Saturating<u128>>>::Output
impl<'a> Mul<Saturating<usize>> for &'a Saturating<usize>
type Output = <Saturating<usize> as Mul<Saturating<usize>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<i8>> for &'a Wrapping<i8>
type Output = <Wrapping<i8> as Mul<Wrapping<i8>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<i16>> for &'a Wrapping<i16>
type Output = <Wrapping<i16> as Mul<Wrapping<i16>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<i32>> for &'a Wrapping<i32>
type Output = <Wrapping<i32> as Mul<Wrapping<i32>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<i64>> for &'a Wrapping<i64>
type Output = <Wrapping<i64> as Mul<Wrapping<i64>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<i128>> for &'a Wrapping<i128>
type Output = <Wrapping<i128> as Mul<Wrapping<i128>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<isize>> for &'a Wrapping<isize>
type Output = <Wrapping<isize> as Mul<Wrapping<isize>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<u8>> for &'a Wrapping<u8>
type Output = <Wrapping<u8> as Mul<Wrapping<u8>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<u16>> for &'a Wrapping<u16>
type Output = <Wrapping<u16> as Mul<Wrapping<u16>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<u32>> for &'a Wrapping<u32>
type Output = <Wrapping<u32> as Mul<Wrapping<u32>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<u64>> for &'a Wrapping<u64>
type Output = <Wrapping<u64> as Mul<Wrapping<u64>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<u128>> for &'a Wrapping<u128>
type Output = <Wrapping<u128> as Mul<Wrapping<u128>>>::Output
[src]1.14.0
impl<'a> Mul<Wrapping<usize>> for &'a Wrapping<usize>
type Output = <Wrapping<usize> as Mul<Wrapping<usize>>>::Output
© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.
https://doc.rust-lang.org/std/ops/trait.Mul.html