pub trait Mul<Rhs = Self> {
type Output;
// Required method
fn mul(self, rhs: Rhs) -> Self::Output;
}Expand description
The multiplication operator *.
Note that Rhs is Self by default, but this is not mandatory.
§Examples
§Multipliable 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] });Required Associated Types§
Required Methods§
Implementors§
1.74.0 · Source§impl Mul for Saturating<i8>
impl Mul for Saturating<i8>
type Output = Saturating<i8>
1.74.0 · Source§impl Mul for Saturating<i16>
impl Mul for Saturating<i16>
type Output = Saturating<i16>
1.74.0 · Source§impl Mul for Saturating<i32>
impl Mul for Saturating<i32>
type Output = Saturating<i32>
1.74.0 · Source§impl Mul for Saturating<i64>
impl Mul for Saturating<i64>
type Output = Saturating<i64>
1.74.0 · Source§impl Mul for Saturating<i128>
impl Mul for Saturating<i128>
type Output = Saturating<i128>
1.74.0 · Source§impl Mul for Saturating<isize>
impl Mul for Saturating<isize>
type Output = Saturating<isize>
1.74.0 · Source§impl Mul for Saturating<u8>
impl Mul for Saturating<u8>
type Output = Saturating<u8>
1.74.0 · Source§impl Mul for Saturating<u16>
impl Mul for Saturating<u16>
type Output = Saturating<u16>
1.74.0 · Source§impl Mul for Saturating<u32>
impl Mul for Saturating<u32>
type Output = Saturating<u32>
1.74.0 · Source§impl Mul for Saturating<u64>
impl Mul for Saturating<u64>
type Output = Saturating<u64>
1.74.0 · Source§impl Mul for Saturating<u128>
impl Mul for Saturating<u128>
type Output = Saturating<u128>
1.74.0 · Source§impl Mul for Saturating<usize>
impl Mul for Saturating<usize>
type Output = Saturating<usize>
1.74.0 · Source§impl Mul<&Saturating<i8>> for &Saturating<i8>
impl Mul<&Saturating<i8>> for &Saturating<i8>
1.74.0 · Source§impl Mul<&Saturating<i8>> for Saturating<i8>
impl Mul<&Saturating<i8>> for Saturating<i8>
1.74.0 · Source§impl Mul<&Saturating<i16>> for &Saturating<i16>
impl Mul<&Saturating<i16>> for &Saturating<i16>
1.74.0 · Source§impl Mul<&Saturating<i16>> for Saturating<i16>
impl Mul<&Saturating<i16>> for Saturating<i16>
1.74.0 · Source§impl Mul<&Saturating<i32>> for &Saturating<i32>
impl Mul<&Saturating<i32>> for &Saturating<i32>
1.74.0 · Source§impl Mul<&Saturating<i32>> for Saturating<i32>
impl Mul<&Saturating<i32>> for Saturating<i32>
1.74.0 · Source§impl Mul<&Saturating<i64>> for &Saturating<i64>
impl Mul<&Saturating<i64>> for &Saturating<i64>
1.74.0 · Source§impl Mul<&Saturating<i64>> for Saturating<i64>
impl Mul<&Saturating<i64>> for Saturating<i64>
1.74.0 · Source§impl Mul<&Saturating<i128>> for &Saturating<i128>
impl Mul<&Saturating<i128>> for &Saturating<i128>
1.74.0 · Source§impl Mul<&Saturating<i128>> for Saturating<i128>
impl Mul<&Saturating<i128>> for Saturating<i128>
1.74.0 · Source§impl Mul<&Saturating<isize>> for &Saturating<isize>
impl Mul<&Saturating<isize>> for &Saturating<isize>
1.74.0 · Source§impl Mul<&Saturating<isize>> for Saturating<isize>
impl Mul<&Saturating<isize>> for Saturating<isize>
1.74.0 · Source§impl Mul<&Saturating<u8>> for &Saturating<u8>
impl Mul<&Saturating<u8>> for &Saturating<u8>
1.74.0 · Source§impl Mul<&Saturating<u8>> for Saturating<u8>
impl Mul<&Saturating<u8>> for Saturating<u8>
1.74.0 · Source§impl Mul<&Saturating<u16>> for &Saturating<u16>
impl Mul<&Saturating<u16>> for &Saturating<u16>
1.74.0 · Source§impl Mul<&Saturating<u16>> for Saturating<u16>
impl Mul<&Saturating<u16>> for Saturating<u16>
1.74.0 · Source§impl Mul<&Saturating<u32>> for &Saturating<u32>
impl Mul<&Saturating<u32>> for &Saturating<u32>
1.74.0 · Source§impl Mul<&Saturating<u32>> for Saturating<u32>
impl Mul<&Saturating<u32>> for Saturating<u32>
1.74.0 · Source§impl Mul<&Saturating<u64>> for &Saturating<u64>
impl Mul<&Saturating<u64>> for &Saturating<u64>
1.74.0 · Source§impl Mul<&Saturating<u64>> for Saturating<u64>
impl Mul<&Saturating<u64>> for Saturating<u64>
1.74.0 · Source§impl Mul<&Saturating<u128>> for &Saturating<u128>
impl Mul<&Saturating<u128>> for &Saturating<u128>
1.74.0 · Source§impl Mul<&Saturating<u128>> for Saturating<u128>
impl Mul<&Saturating<u128>> for Saturating<u128>
1.74.0 · Source§impl Mul<&Saturating<usize>> for &Saturating<usize>
impl Mul<&Saturating<usize>> for &Saturating<usize>
1.74.0 · Source§impl Mul<&Saturating<usize>> for Saturating<usize>
impl Mul<&Saturating<usize>> for Saturating<usize>
1.74.0 · Source§impl<'a> Mul<Saturating<i8>> for &'a Saturating<i8>
impl<'a> Mul<Saturating<i8>> for &'a Saturating<i8>
1.74.0 · Source§impl<'a> Mul<Saturating<i16>> for &'a Saturating<i16>
impl<'a> Mul<Saturating<i16>> for &'a Saturating<i16>
1.74.0 · Source§impl<'a> Mul<Saturating<i32>> for &'a Saturating<i32>
impl<'a> Mul<Saturating<i32>> for &'a Saturating<i32>
1.74.0 · Source§impl<'a> Mul<Saturating<i64>> for &'a Saturating<i64>
impl<'a> Mul<Saturating<i64>> for &'a Saturating<i64>
1.74.0 · Source§impl<'a> Mul<Saturating<i128>> for &'a Saturating<i128>
impl<'a> Mul<Saturating<i128>> for &'a Saturating<i128>
1.74.0 · Source§impl<'a> Mul<Saturating<isize>> for &'a Saturating<isize>
impl<'a> Mul<Saturating<isize>> for &'a Saturating<isize>
1.74.0 · Source§impl<'a> Mul<Saturating<u8>> for &'a Saturating<u8>
impl<'a> Mul<Saturating<u8>> for &'a Saturating<u8>
1.74.0 · Source§impl<'a> Mul<Saturating<u16>> for &'a Saturating<u16>
impl<'a> Mul<Saturating<u16>> for &'a Saturating<u16>
1.74.0 · Source§impl<'a> Mul<Saturating<u32>> for &'a Saturating<u32>
impl<'a> Mul<Saturating<u32>> for &'a Saturating<u32>
1.74.0 · Source§impl<'a> Mul<Saturating<u64>> for &'a Saturating<u64>
impl<'a> Mul<Saturating<u64>> for &'a Saturating<u64>
1.74.0 · Source§impl<'a> Mul<Saturating<u128>> for &'a Saturating<u128>
impl<'a> Mul<Saturating<u128>> for &'a Saturating<u128>
1.74.0 · Source§impl<'a> Mul<Saturating<usize>> for &'a Saturating<usize>
impl<'a> Mul<Saturating<usize>> for &'a Saturating<usize>
Source§impl<'a, A, B, S, S2, D, E> Mul<&'a ArrayBase<S2, E>> for &'a ArrayBase<S, D>
Perform elementwise
multiplication
between references self and rhs,
and return the result as a new Array.
impl<'a, A, B, S, S2, D, E> Mul<&'a ArrayBase<S2, E>> for &'a ArrayBase<S, D>
Perform elementwise
multiplication
between references self and rhs,
and return the result as a new Array.
If their shapes disagree, self and rhs is broadcast to their broadcast shape,
cloning the data if needed.
Panics if broadcasting isn’t possible.
Source§impl<'a, A, B, S, S2, D, E> Mul<&'a ArrayBase<S2, E>> for ArrayBase<S, D>
Perform elementwise
multiplication
between self and reference rhs,
and return the result.
impl<'a, A, B, S, S2, D, E> Mul<&'a ArrayBase<S2, E>> for ArrayBase<S, D>
Perform elementwise
multiplication
between self and reference rhs,
and return the result.
rhs must be an Array or ArcArray.
If their shapes disagree, self is broadcast to their broadcast shape,
cloning the data if needed.
Panics if broadcasting isn’t possible.
Source§impl<'a, A, B, S, S2, D, E> Mul<ArrayBase<S2, E>> for &'a ArrayBase<S, D>
Perform elementwise
multiplication
between reference self and rhs,
and return the result.
impl<'a, A, B, S, S2, D, E> Mul<ArrayBase<S2, E>> for &'a ArrayBase<S, D>
Perform elementwise
multiplication
between reference self and rhs,
and return the result.
rhs must be an Array or ArcArray.
If their shapes disagree, self is broadcast to their broadcast shape,
cloning the data if needed.
Panics if broadcasting isn’t possible.
Source§impl<'a, A, S, D, B> Mul<B> for &'a ArrayBase<S, D>
Perform elementwise
multiplication
between the reference self and the scalar x,
and return the result as a new Array.
impl<'a, A, S, D, B> Mul<B> for &'a ArrayBase<S, D>
Perform elementwise
multiplication
between the reference self and the scalar x,
and return the result as a new Array.
Source§impl<A, B, S, S2, D, E> Mul<ArrayBase<S2, E>> for ArrayBase<S, D>
Perform elementwise
multiplication
between self and rhs,
and return the result.
impl<A, B, S, S2, D, E> Mul<ArrayBase<S2, E>> for ArrayBase<S, D>
Perform elementwise
multiplication
between self and rhs,
and return the result.
self must be an Array or ArcArray.
If their shapes disagree, self is broadcast to their broadcast shape.
Panics if broadcasting isn’t possible.
Source§impl<A, S, D, B> Mul<B> for ArrayBase<S, D>
Perform elementwise
multiplication
between self and the scalar x,
and return the result (based on self).
impl<A, S, D, B> Mul<B> for ArrayBase<S, D>
Perform elementwise
multiplication
between self and the scalar x,
and return the result (based on self).
self must be an Array or ArcArray.