1.0.0[][src]Trait boolean_enums::lstd::ops::Div

#[lang = "div"]
pub trait Div<RHS = Self> { type Output;
#[must_use]
fn div(self, rhs: RHS) -> Self::Output; }

The division operator /.

Note that RHS is Self by default, but this is not mandatory.

Examples

Dividable rational numbers

use std::ops::Div;

// 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 {
    nominator: usize,
    denominator: usize,
}

impl Rational {
    fn new(nominator: 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(nominator, denominator);
        Rational {
            nominator: nominator / gcd,
            denominator: denominator / gcd,
        }
    }
}

impl Div for Rational {
    // The division of rational numbers is a closed operation.
    type Output = Self;

    fn div(self, rhs: Self) -> Self {
        if rhs.nominator == 0 {
            panic!("Cannot divide by zero-valued `Rational`!");
        }

        let nominator = self.nominator * rhs.denominator;
        let denominator = self.denominator * rhs.nominator;
        Rational::new(nominator, 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(1, 2) / Rational::new(3, 4),
           Rational::new(2, 3));

Dividing vectors by scalars as in linear algebra

use std::ops::Div;

struct Scalar { value: f32 }

#[derive(Debug, PartialEq)]
struct Vector { value: Vec<f32> }

impl Div<Scalar> for Vector {
    type Output = Vector;

    fn div(self, rhs: Scalar) -> Vector {
        Vector { value: self.value.iter().map(|v| v / rhs.value).collect() }
    }
}

let scalar = Scalar { value: 2f32 };
let vector = Vector { value: vec![2f32, 4f32, 6f32] };
assert_eq!(vector / scalar, Vector { value: vec![1f32, 2f32, 3f32] });

Associated Types

type Output

The resulting type after applying the / operator.

Loading content...

Required methods

#[must_use]
fn div(self, rhs: RHS) -> Self::Output

Performs the / operation.

Loading content...

Implementations on Foreign Types

impl<'a> Div<&'a u64> for u64
[src]

type Output = <u64 as Div<u64>>::Output

impl<'a> Div<&'a u16> for u16
[src]

type Output = <u16 as Div<u16>>::Output

impl<'a, 'b> Div<&'a isize> for &'b isize
[src]

type Output = <isize as Div<isize>>::Output

impl<'a> Div<i32> for &'a i32
[src]

type Output = <i32 as Div<i32>>::Output

impl<'a> Div<&'a u8> for u8
[src]

type Output = <u8 as Div<u8>>::Output

impl<'a> Div<&'a u128> for u128
[src]

type Output = <u128 as Div<u128>>::Output

impl<'a> Div<&'a f32> for f32
[src]

type Output = <f32 as Div<f32>>::Output

impl<'a> Div<&'a usize> for usize
[src]

type Output = <usize as Div<usize>>::Output

impl<'a> Div<f64> for &'a f64
[src]

type Output = <f64 as Div<f64>>::Output

impl<'a, 'b> Div<&'a u128> for &'b u128
[src]

type Output = <u128 as Div<u128>>::Output

impl Div<u32> for u32
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = u32

impl<'a, 'b> Div<&'a i16> for &'b i16
[src]

type Output = <i16 as Div<i16>>::Output

impl<'a> Div<&'a i8> for i8
[src]

type Output = <i8 as Div<i8>>::Output

impl<'a> Div<u64> for &'a u64
[src]

type Output = <u64 as Div<u64>>::Output

impl<'a> Div<usize> for &'a usize
[src]

type Output = <usize as Div<usize>>::Output

impl Div<i128> for i128
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = i128

impl<'a, 'b> Div<&'a i128> for &'b i128
[src]

type Output = <i128 as Div<i128>>::Output

impl<'a> Div<&'a i32> for i32
[src]

type Output = <i32 as Div<i32>>::Output

impl<'a, 'b> Div<&'a u8> for &'b u8
[src]

type Output = <u8 as Div<u8>>::Output

impl Div<isize> for isize
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = isize

impl<'a, 'b> Div<&'a i64> for &'b i64
[src]

type Output = <i64 as Div<i64>>::Output

impl Div<i8> for i8
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = i8

impl<'a> Div<&'a f64> for f64
[src]

type Output = <f64 as Div<f64>>::Output

impl<'a> Div<u128> for &'a u128
[src]

type Output = <u128 as Div<u128>>::Output

impl<'a, 'b> Div<&'a f32> for &'b f32
[src]

type Output = <f32 as Div<f32>>::Output

impl<'a> Div<u8> for &'a u8
[src]

type Output = <u8 as Div<u8>>::Output

impl<'a, 'b> Div<&'a f64> for &'b f64
[src]

type Output = <f64 as Div<f64>>::Output

impl<'a> Div<u32> for &'a u32
[src]

type Output = <u32 as Div<u32>>::Output

impl<'a> Div<f32> for &'a f32
[src]

type Output = <f32 as Div<f32>>::Output

impl<'a> Div<i16> for &'a i16
[src]

type Output = <i16 as Div<i16>>::Output

impl<'a> Div<i64> for &'a i64
[src]

type Output = <i64 as Div<i64>>::Output

impl<'a> Div<&'a i16> for i16
[src]

type Output = <i16 as Div<i16>>::Output

impl<'a> Div<&'a i128> for i128
[src]

type Output = <i128 as Div<i128>>::Output

impl<'a, 'b> Div<&'a u32> for &'b u32
[src]

type Output = <u32 as Div<u32>>::Output

impl<'a> Div<&'a u32> for u32
[src]

type Output = <u32 as Div<u32>>::Output

impl Div<u8> for u8
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = u8

impl Div<i32> for i32
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = i32

impl Div<u16> for u16
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = u16

impl Div<f32> for f32
[src]

type Output = f32

impl<'a, 'b> Div<&'a u64> for &'b u64
[src]

type Output = <u64 as Div<u64>>::Output

impl Div<usize> for usize
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = usize

impl<'a> Div<&'a isize> for isize
[src]

type Output = <isize as Div<isize>>::Output

impl<'a> Div<i8> for &'a i8
[src]

type Output = <i8 as Div<i8>>::Output

impl<'a, 'b> Div<&'a i32> for &'b i32
[src]

type Output = <i32 as Div<i32>>::Output

impl<'a, 'b> Div<&'a usize> for &'b usize
[src]

type Output = <usize as Div<usize>>::Output

impl Div<f64> for f64
[src]

type Output = f64

impl<'a> Div<&'a i64> for i64
[src]

type Output = <i64 as Div<i64>>::Output

impl<'a, 'b> Div<&'a u16> for &'b u16
[src]

type Output = <u16 as Div<u16>>::Output

impl Div<i16> for i16
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = i16

impl<'a> Div<isize> for &'a isize
[src]

type Output = <isize as Div<isize>>::Output

impl Div<i64> for i64
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = i64

impl<'a, 'b> Div<&'a i8> for &'b i8
[src]

type Output = <i8 as Div<i8>>::Output

impl<'a> Div<u16> for &'a u16
[src]

type Output = <u16 as Div<u16>>::Output

impl Div<u128> for u128
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = u128

impl<'a> Div<i128> for &'a i128
[src]

type Output = <i128 as Div<i128>>::Output

impl Div<u64> for u64
[src]

This operation rounds towards zero, truncating any fractional part of the exact result.

type Output = u64

Loading content...

Implementors

impl Div<u32> for Duration
[src]

type Output = Duration

impl Div<Wrapping<i128>> for Wrapping<i128>
[src]

type Output = Wrapping<i128>

impl Div<Wrapping<i16>> for Wrapping<i16>
[src]

type Output = Wrapping<i16>

impl Div<Wrapping<i32>> for Wrapping<i32>
[src]

type Output = Wrapping<i32>

impl Div<Wrapping<i64>> for Wrapping<i64>
[src]

type Output = Wrapping<i64>

impl Div<Wrapping<i8>> for Wrapping<i8>
[src]

type Output = Wrapping<i8>

impl Div<Wrapping<isize>> for Wrapping<isize>
[src]

type Output = Wrapping<isize>

impl Div<Wrapping<u128>> for Wrapping<u128>
[src]

type Output = Wrapping<u128>

impl Div<Wrapping<u16>> for Wrapping<u16>
[src]

type Output = Wrapping<u16>

impl Div<Wrapping<u32>> for Wrapping<u32>
[src]

type Output = Wrapping<u32>

impl Div<Wrapping<u64>> for Wrapping<u64>
[src]

type Output = Wrapping<u64>

impl Div<Wrapping<u8>> for Wrapping<u8>
[src]

type Output = Wrapping<u8>

impl Div<Wrapping<usize>> for Wrapping<usize>
[src]

type Output = Wrapping<usize>

impl<'a> Div<&'a Wrapping<i128>> for Wrapping<i128>
[src]

type Output = <Wrapping<i128> as Div<Wrapping<i128>>>::Output

impl<'a> Div<&'a Wrapping<i16>> for Wrapping<i16>
[src]

type Output = <Wrapping<i16> as Div<Wrapping<i16>>>::Output

impl<'a> Div<&'a Wrapping<i32>> for Wrapping<i32>
[src]

type Output = <Wrapping<i32> as Div<Wrapping<i32>>>::Output

impl<'a> Div<&'a Wrapping<i64>> for Wrapping<i64>
[src]

type Output = <Wrapping<i64> as Div<Wrapping<i64>>>::Output

impl<'a> Div<&'a Wrapping<i8>> for Wrapping<i8>
[src]

type Output = <Wrapping<i8> as Div<Wrapping<i8>>>::Output

impl<'a> Div<&'a Wrapping<isize>> for Wrapping<isize>
[src]

type Output = <Wrapping<isize> as Div<Wrapping<isize>>>::Output

impl<'a> Div<&'a Wrapping<u128>> for Wrapping<u128>
[src]

type Output = <Wrapping<u128> as Div<Wrapping<u128>>>::Output

impl<'a> Div<&'a Wrapping<u16>> for Wrapping<u16>
[src]

type Output = <Wrapping<u16> as Div<Wrapping<u16>>>::Output

impl<'a> Div<&'a Wrapping<u32>> for Wrapping<u32>
[src]

type Output = <Wrapping<u32> as Div<Wrapping<u32>>>::Output

impl<'a> Div<&'a Wrapping<u64>> for Wrapping<u64>
[src]

type Output = <Wrapping<u64> as Div<Wrapping<u64>>>::Output

impl<'a> Div<&'a Wrapping<u8>> for Wrapping<u8>
[src]

type Output = <Wrapping<u8> as Div<Wrapping<u8>>>::Output

impl<'a> Div<&'a Wrapping<usize>> for Wrapping<usize>
[src]

type Output = <Wrapping<usize> as Div<Wrapping<usize>>>::Output

impl<'a> Div<Wrapping<i128>> for &'a Wrapping<i128>
[src]

type Output = <Wrapping<i128> as Div<Wrapping<i128>>>::Output

impl<'a> Div<Wrapping<i16>> for &'a Wrapping<i16>
[src]

type Output = <Wrapping<i16> as Div<Wrapping<i16>>>::Output

impl<'a> Div<Wrapping<i32>> for &'a Wrapping<i32>
[src]

type Output = <Wrapping<i32> as Div<Wrapping<i32>>>::Output

impl<'a> Div<Wrapping<i64>> for &'a Wrapping<i64>
[src]

type Output = <Wrapping<i64> as Div<Wrapping<i64>>>::Output

impl<'a> Div<Wrapping<i8>> for &'a Wrapping<i8>
[src]

type Output = <Wrapping<i8> as Div<Wrapping<i8>>>::Output

impl<'a> Div<Wrapping<isize>> for &'a Wrapping<isize>
[src]

type Output = <Wrapping<isize> as Div<Wrapping<isize>>>::Output

impl<'a> Div<Wrapping<u128>> for &'a Wrapping<u128>
[src]

type Output = <Wrapping<u128> as Div<Wrapping<u128>>>::Output

impl<'a> Div<Wrapping<u16>> for &'a Wrapping<u16>
[src]

type Output = <Wrapping<u16> as Div<Wrapping<u16>>>::Output

impl<'a> Div<Wrapping<u32>> for &'a Wrapping<u32>
[src]

type Output = <Wrapping<u32> as Div<Wrapping<u32>>>::Output

impl<'a> Div<Wrapping<u64>> for &'a Wrapping<u64>
[src]

type Output = <Wrapping<u64> as Div<Wrapping<u64>>>::Output

impl<'a> Div<Wrapping<u8>> for &'a Wrapping<u8>
[src]

type Output = <Wrapping<u8> as Div<Wrapping<u8>>>::Output

impl<'a> Div<Wrapping<usize>> for &'a Wrapping<usize>
[src]

type Output = <Wrapping<usize> as Div<Wrapping<usize>>>::Output

impl<'a, 'b> Div<&'a Wrapping<i128>> for &'b Wrapping<i128>
[src]

type Output = <Wrapping<i128> as Div<Wrapping<i128>>>::Output

impl<'a, 'b> Div<&'a Wrapping<i16>> for &'b Wrapping<i16>
[src]

type Output = <Wrapping<i16> as Div<Wrapping<i16>>>::Output

impl<'a, 'b> Div<&'a Wrapping<i32>> for &'b Wrapping<i32>
[src]

type Output = <Wrapping<i32> as Div<Wrapping<i32>>>::Output

impl<'a, 'b> Div<&'a Wrapping<i64>> for &'b Wrapping<i64>
[src]

type Output = <Wrapping<i64> as Div<Wrapping<i64>>>::Output

impl<'a, 'b> Div<&'a Wrapping<i8>> for &'b Wrapping<i8>
[src]

type Output = <Wrapping<i8> as Div<Wrapping<i8>>>::Output

impl<'a, 'b> Div<&'a Wrapping<isize>> for &'b Wrapping<isize>
[src]

type Output = <Wrapping<isize> as Div<Wrapping<isize>>>::Output

impl<'a, 'b> Div<&'a Wrapping<u128>> for &'b Wrapping<u128>
[src]

type Output = <Wrapping<u128> as Div<Wrapping<u128>>>::Output

impl<'a, 'b> Div<&'a Wrapping<u16>> for &'b Wrapping<u16>
[src]

type Output = <Wrapping<u16> as Div<Wrapping<u16>>>::Output

impl<'a, 'b> Div<&'a Wrapping<u32>> for &'b Wrapping<u32>
[src]

type Output = <Wrapping<u32> as Div<Wrapping<u32>>>::Output

impl<'a, 'b> Div<&'a Wrapping<u64>> for &'b Wrapping<u64>
[src]

type Output = <Wrapping<u64> as Div<Wrapping<u64>>>::Output

impl<'a, 'b> Div<&'a Wrapping<u8>> for &'b Wrapping<u8>
[src]

type Output = <Wrapping<u8> as Div<Wrapping<u8>>>::Output

impl<'a, 'b> Div<&'a Wrapping<usize>> for &'b Wrapping<usize>
[src]

type Output = <Wrapping<usize> as Div<Wrapping<usize>>>::Output

Loading content...