Trait algebraics::traits::ExactDiv

pub trait ExactDiv<Rhs = Self>: Sized {
    type Output;
    fn checked_exact_div(self, rhs: Rhs) -> Option<Self::Output>;

    fn exact_div(self, rhs: Rhs) -> Self::Output { ... }
}

Associated Types

type Output

Required methods

fn checked_exact_div(self, rhs: Rhs) -> Option<Self::Output>

Provided methods

fn exact_div(self, rhs: Rhs) -> Self::Output

Implementations on Foreign Types

impl<T> ExactDiv<T> for Ratio<T> where
    T: Clone + Integer, 

type Output = Ratio<T>

fn exact_div(self, rhs: T) -> Self::Output

fn checked_exact_div(self, rhs: T) -> Option<Self::Output>

impl<T> ExactDiv<Ratio<T>> for Ratio<T> where
    T: Clone + Integer, 

type Output = Ratio<T>

fn exact_div(self, rhs: Ratio<T>) -> Self::Output

fn checked_exact_div(self, rhs: Ratio<T>) -> Option<Self::Output>

impl<'r, T> ExactDiv<&'r T> for Ratio<T> where
    T: Clone + Integer, 

type Output = Ratio<T>

fn exact_div(self, rhs: &'r T) -> Self::Output

fn checked_exact_div(self, rhs: &'r T) -> Option<Self::Output>

impl<'r, T> ExactDiv<&'r Ratio<T>> for Ratio<T> where
    T: Clone + Integer, 

type Output = Ratio<T>

fn exact_div(self, rhs: &'r Ratio<T>) -> Self::Output

fn checked_exact_div(self, rhs: &'r Ratio<T>) -> Option<Self::Output>

impl<'l, T> ExactDiv<T> for &'l Ratio<T> where
    T: Clone + Integer, 

type Output = Ratio<T>

fn exact_div(self, rhs: T) -> Self::Output

fn checked_exact_div(self, rhs: T) -> Option<Self::Output>

impl<'l, T> ExactDiv<Ratio<T>> for &'l Ratio<T> where
    T: Clone + Integer, 

type Output = Ratio<T>

fn exact_div(self, rhs: Ratio<T>) -> Self::Output

fn checked_exact_div(self, rhs: Ratio<T>) -> Option<Self::Output>

impl<'l, 'r, T> ExactDiv<&'r T> for &'l Ratio<T> where
    T: Clone + Integer, 

type Output = Ratio<T>

fn exact_div(self, rhs: &'r T) -> Self::Output

fn checked_exact_div(self, rhs: &'r T) -> Option<Self::Output>

impl<'l, 'r, T> ExactDiv<&'r Ratio<T>> for &'l Ratio<T> where
    T: Clone + Integer, 

type Output = Ratio<T>

fn exact_div(self, rhs: &'r Ratio<T>) -> Self::Output

fn checked_exact_div(self, rhs: &'r Ratio<T>) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r u8> for &'l u8

type Output = u8

fn exact_div(self, rhs: &u8) -> u8

fn checked_exact_div(self, rhs: &u8) -> Option<u8>

impl ExactDiv<&'_ u8> for u8

type Output = u8

fn exact_div(self, rhs: &u8) -> u8

fn checked_exact_div(self, rhs: &u8) -> Option<Self::Output>

impl ExactDiv<u8> for &u8

type Output = u8

fn exact_div(self, rhs: u8) -> u8

fn checked_exact_div(self, rhs: u8) -> Option<Self::Output>

impl ExactDiv<u8> for u8

type Output = u8

fn exact_div(self, rhs: u8) -> u8

fn checked_exact_div(self, rhs: u8) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r i8> for &'l i8

type Output = i8

fn exact_div(self, rhs: &i8) -> i8

fn checked_exact_div(self, rhs: &i8) -> Option<i8>

impl ExactDiv<&'_ i8> for i8

type Output = i8

fn exact_div(self, rhs: &i8) -> i8

fn checked_exact_div(self, rhs: &i8) -> Option<Self::Output>

impl ExactDiv<i8> for &i8

type Output = i8

fn exact_div(self, rhs: i8) -> i8

fn checked_exact_div(self, rhs: i8) -> Option<Self::Output>

impl ExactDiv<i8> for i8

type Output = i8

fn exact_div(self, rhs: i8) -> i8

fn checked_exact_div(self, rhs: i8) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r u16> for &'l u16

type Output = u16

fn exact_div(self, rhs: &u16) -> u16

fn checked_exact_div(self, rhs: &u16) -> Option<u16>

impl ExactDiv<&'_ u16> for u16

type Output = u16

fn exact_div(self, rhs: &u16) -> u16

fn checked_exact_div(self, rhs: &u16) -> Option<Self::Output>

impl ExactDiv<u16> for &u16

type Output = u16

fn exact_div(self, rhs: u16) -> u16

fn checked_exact_div(self, rhs: u16) -> Option<Self::Output>

impl ExactDiv<u16> for u16

type Output = u16

fn exact_div(self, rhs: u16) -> u16

fn checked_exact_div(self, rhs: u16) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r i16> for &'l i16

type Output = i16

fn exact_div(self, rhs: &i16) -> i16

fn checked_exact_div(self, rhs: &i16) -> Option<i16>

impl ExactDiv<&'_ i16> for i16

type Output = i16

fn exact_div(self, rhs: &i16) -> i16

fn checked_exact_div(self, rhs: &i16) -> Option<Self::Output>

impl ExactDiv<i16> for &i16

type Output = i16

fn exact_div(self, rhs: i16) -> i16

fn checked_exact_div(self, rhs: i16) -> Option<Self::Output>

impl ExactDiv<i16> for i16

type Output = i16

fn exact_div(self, rhs: i16) -> i16

fn checked_exact_div(self, rhs: i16) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r u32> for &'l u32

type Output = u32

fn exact_div(self, rhs: &u32) -> u32

fn checked_exact_div(self, rhs: &u32) -> Option<u32>

impl ExactDiv<&'_ u32> for u32

type Output = u32

fn exact_div(self, rhs: &u32) -> u32

fn checked_exact_div(self, rhs: &u32) -> Option<Self::Output>

impl ExactDiv<u32> for &u32

type Output = u32

fn exact_div(self, rhs: u32) -> u32

fn checked_exact_div(self, rhs: u32) -> Option<Self::Output>

impl ExactDiv<u32> for u32

type Output = u32

fn exact_div(self, rhs: u32) -> u32

fn checked_exact_div(self, rhs: u32) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r i32> for &'l i32

type Output = i32

fn exact_div(self, rhs: &i32) -> i32

fn checked_exact_div(self, rhs: &i32) -> Option<i32>

impl ExactDiv<&'_ i32> for i32

type Output = i32

fn exact_div(self, rhs: &i32) -> i32

fn checked_exact_div(self, rhs: &i32) -> Option<Self::Output>

impl ExactDiv<i32> for &i32

type Output = i32

fn exact_div(self, rhs: i32) -> i32

fn checked_exact_div(self, rhs: i32) -> Option<Self::Output>

impl ExactDiv<i32> for i32

type Output = i32

fn exact_div(self, rhs: i32) -> i32

fn checked_exact_div(self, rhs: i32) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r u64> for &'l u64

type Output = u64

fn exact_div(self, rhs: &u64) -> u64

fn checked_exact_div(self, rhs: &u64) -> Option<u64>

impl ExactDiv<&'_ u64> for u64

type Output = u64

fn exact_div(self, rhs: &u64) -> u64

fn checked_exact_div(self, rhs: &u64) -> Option<Self::Output>

impl ExactDiv<u64> for &u64

type Output = u64

fn exact_div(self, rhs: u64) -> u64

fn checked_exact_div(self, rhs: u64) -> Option<Self::Output>

impl ExactDiv<u64> for u64

type Output = u64

fn exact_div(self, rhs: u64) -> u64

fn checked_exact_div(self, rhs: u64) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r i64> for &'l i64

type Output = i64

fn exact_div(self, rhs: &i64) -> i64

fn checked_exact_div(self, rhs: &i64) -> Option<i64>

impl ExactDiv<&'_ i64> for i64

type Output = i64

fn exact_div(self, rhs: &i64) -> i64

fn checked_exact_div(self, rhs: &i64) -> Option<Self::Output>

impl ExactDiv<i64> for &i64

type Output = i64

fn exact_div(self, rhs: i64) -> i64

fn checked_exact_div(self, rhs: i64) -> Option<Self::Output>

impl ExactDiv<i64> for i64

type Output = i64

fn exact_div(self, rhs: i64) -> i64

fn checked_exact_div(self, rhs: i64) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r u128> for &'l u128

type Output = u128

fn exact_div(self, rhs: &u128) -> u128

fn checked_exact_div(self, rhs: &u128) -> Option<u128>

impl ExactDiv<&'_ u128> for u128

type Output = u128

fn exact_div(self, rhs: &u128) -> u128

fn checked_exact_div(self, rhs: &u128) -> Option<Self::Output>

impl ExactDiv<u128> for &u128

type Output = u128

fn exact_div(self, rhs: u128) -> u128

fn checked_exact_div(self, rhs: u128) -> Option<Self::Output>

impl ExactDiv<u128> for u128

type Output = u128

fn exact_div(self, rhs: u128) -> u128

fn checked_exact_div(self, rhs: u128) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r i128> for &'l i128

type Output = i128

fn exact_div(self, rhs: &i128) -> i128

fn checked_exact_div(self, rhs: &i128) -> Option<i128>

impl ExactDiv<&'_ i128> for i128

type Output = i128

fn exact_div(self, rhs: &i128) -> i128

fn checked_exact_div(self, rhs: &i128) -> Option<Self::Output>

impl ExactDiv<i128> for &i128

type Output = i128

fn exact_div(self, rhs: i128) -> i128

fn checked_exact_div(self, rhs: i128) -> Option<Self::Output>

impl ExactDiv<i128> for i128

type Output = i128

fn exact_div(self, rhs: i128) -> i128

fn checked_exact_div(self, rhs: i128) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r usize> for &'l usize

type Output = usize

fn exact_div(self, rhs: &usize) -> usize

fn checked_exact_div(self, rhs: &usize) -> Option<usize>

impl ExactDiv<&'_ usize> for usize

type Output = usize

fn exact_div(self, rhs: &usize) -> usize

fn checked_exact_div(self, rhs: &usize) -> Option<Self::Output>

impl ExactDiv<usize> for &usize

type Output = usize

fn exact_div(self, rhs: usize) -> usize

fn checked_exact_div(self, rhs: usize) -> Option<Self::Output>

impl ExactDiv<usize> for usize

type Output = usize

fn exact_div(self, rhs: usize) -> usize

fn checked_exact_div(self, rhs: usize) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r isize> for &'l isize

type Output = isize

fn exact_div(self, rhs: &isize) -> isize

fn checked_exact_div(self, rhs: &isize) -> Option<isize>

impl ExactDiv<&'_ isize> for isize

type Output = isize

fn exact_div(self, rhs: &isize) -> isize

fn checked_exact_div(self, rhs: &isize) -> Option<Self::Output>

impl ExactDiv<isize> for &isize

type Output = isize

fn exact_div(self, rhs: isize) -> isize

fn checked_exact_div(self, rhs: isize) -> Option<Self::Output>

impl ExactDiv<isize> for isize

type Output = isize

fn exact_div(self, rhs: isize) -> isize

fn checked_exact_div(self, rhs: isize) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r BigInt> for &'l BigInt

type Output = BigInt

fn exact_div(self, rhs: &BigInt) -> BigInt

fn checked_exact_div(self, rhs: &BigInt) -> Option<BigInt>

impl ExactDiv<&'_ BigInt> for BigInt

type Output = BigInt

fn exact_div(self, rhs: &BigInt) -> BigInt

fn checked_exact_div(self, rhs: &BigInt) -> Option<Self::Output>

impl ExactDiv<BigInt> for &BigInt

type Output = BigInt

fn exact_div(self, rhs: BigInt) -> BigInt

fn checked_exact_div(self, rhs: BigInt) -> Option<Self::Output>

impl ExactDiv<BigInt> for BigInt

type Output = BigInt

fn exact_div(self, rhs: BigInt) -> BigInt

fn checked_exact_div(self, rhs: BigInt) -> Option<Self::Output>

impl<'l, 'r> ExactDiv<&'r BigUint> for &'l BigUint

type Output = BigUint

fn exact_div(self, rhs: &BigUint) -> BigUint

fn checked_exact_div(self, rhs: &BigUint) -> Option<BigUint>

impl ExactDiv<&'_ BigUint> for BigUint

type Output = BigUint

fn exact_div(self, rhs: &BigUint) -> BigUint

fn checked_exact_div(self, rhs: &BigUint) -> Option<Self::Output>

impl ExactDiv<BigUint> for &BigUint

type Output = BigUint

fn exact_div(self, rhs: BigUint) -> BigUint

fn checked_exact_div(self, rhs: BigUint) -> Option<Self::Output>

impl ExactDiv<BigUint> for BigUint

type Output = BigUint

fn exact_div(self, rhs: BigUint) -> BigUint

fn checked_exact_div(self, rhs: BigUint) -> Option<Self::Output>

Implementors

impl ExactDiv<&'_ RealAlgebraicNumber> for RealAlgebraicNumber

type Output = RealAlgebraicNumber

impl ExactDiv<&'_ DyadicFractionInterval> for DyadicFractionInterval

type Output = DyadicFractionInterval

impl ExactDiv<&'_ DivisorIsOne> for DivisorIsOne

type Output = DivisorIsOne

impl ExactDiv<RealAlgebraicNumber> for &RealAlgebraicNumber

type Output = RealAlgebraicNumber

impl ExactDiv<RealAlgebraicNumber> for RealAlgebraicNumber

type Output = RealAlgebraicNumber

impl ExactDiv<DyadicFractionInterval> for DyadicFractionInterval

type Output = DyadicFractionInterval

impl ExactDiv<DivisorIsOne> for &DivisorIsOne

type Output = DivisorIsOne

impl ExactDiv<DivisorIsOne> for DivisorIsOne

type Output = DivisorIsOne

impl<'a> ExactDiv<&'_ DyadicFractionInterval> for &'a DyadicFractionInterval

type Output = DyadicFractionInterval

impl<'a> ExactDiv<DyadicFractionInterval> for &'a DyadicFractionInterval

type Output = DyadicFractionInterval

impl<'a, 'b> ExactDiv<&'a RealAlgebraicNumber> for &'b RealAlgebraicNumber

type Output = RealAlgebraicNumber

impl<'a, 'b> ExactDiv<&'a DivisorIsOne> for &'b DivisorIsOne

type Output = DivisorIsOne

impl<'a, T: PolynomialCoefficient + for<'b> ExactDiv<&'b T, Output = T>> ExactDiv<&'a T> for &'a Polynomial<T>

type Output = Polynomial<T>

impl<'a, T: PolynomialCoefficient + for<'b> ExactDiv<&'b T, Output = T>> ExactDiv<&'a T> for Polynomial<T>

type Output = Polynomial<T>

impl<'a, T: PolynomialCoefficient + for<'b> ExactDiv<&'b T, Output = T>> ExactDiv<T> for &'a Polynomial<T>

type Output = Polynomial<T>

impl<'l, 'r, T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<&'r Polynomial<T>> for &'l Polynomial<T>

type Output = Polynomial<T>

impl<'l, 'r, V, M> ExactDiv<&'r ModularInteger<V, M>> for &'l ModularInteger<V, M> where
    V: ModularReduce + Eq + One + Zero + GCD<Output = V> + ExtendedGCD,
    M: Modulus<V>, 

type Output = ModularInteger<V, M>

impl<'l, V, M> ExactDiv<ModularInteger<V, M>> for &'l ModularInteger<V, M> where
    V: ModularReduce + Eq + One + Zero + GCD<Output = V> + ExtendedGCD,
    M: Modulus<V>, 

type Output = ModularInteger<V, M>

impl<'r, V, M> ExactDiv<&'r ModularInteger<V, M>> for ModularInteger<V, M> where
    V: ModularReduce + Eq + One + Zero + GCD<Output = V> + ExtendedGCD,
    M: Modulus<V>, 

type Output = ModularInteger<V, M>

impl<T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<&'_ Polynomial<T>> for Polynomial<T>

type Output = Polynomial<T>

impl<T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<Polynomial<T>> for &Polynomial<T>

type Output = Polynomial<T>

impl<T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<Polynomial<T>> for Polynomial<T>

type Output = Polynomial<T>

impl<T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<T> for Polynomial<T>

type Output = Polynomial<T>

impl<V, M> ExactDiv<ModularInteger<V, M>> for ModularInteger<V, M> where
    V: ModularReduce + Eq + One + Zero + GCD<Output = V> + ExtendedGCD,
    M: Modulus<V>, 

type Output = ModularInteger<V, M>