Trait option_operations::div::OptionOverflowingDiv

pub trait OptionOverflowingDiv<Rhs = Self, InnerRhs = Rhs> {
    type Output;

    fn opt_overflowing_div(self, rhs: Rhs) -> Option<(Self::Output, bool)>;
}

Trait for values and Options overflowing division.

Implementing this trait leads to the following auto-implementations:

• OptionOverflowingDiv<Option<InnerRhs>> for T.
• OptionOverflowingDiv<Rhs> for Option<T>.
• OptionOverflowingDiv<Option<InnerRhs>> for Option<T>.
• … and some variants with references.

Note that since the std library doesn’t define any OverflowingDiv trait, users must provide the base implementation for the inner type.

Required Associated Types

type Output

The resulting inner type after applying the division.

Required Methods

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

Returns a tuple of the division along with a boolean indicating whether an arithmetic overflow would occur. If an overflow would have occurred then self is returned.

Returns None if at least one argument is None.

Panics

Most implementations will panic if rhs is zero.

Implementations on Foreign Types

impl<T, Rhs> OptionOverflowingDiv<Rhs, Rhs> for Option<T> where
    T: OptionOperations + OptionOverflowingDiv<Rhs>, 

type Output = <T as OptionOverflowingDiv<Rhs, Rhs>>::Output

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

impl<T, InnerRhs> OptionOverflowingDiv<Option<InnerRhs>, InnerRhs> for Option<T> where
    T: OptionOperations + OptionOverflowingDiv<InnerRhs>, 

type Output = <T as OptionOverflowingDiv<InnerRhs, InnerRhs>>::Output

fn opt_overflowing_div(
    self,
    rhs: Option<InnerRhs>
) -> Option<(Self::Output, bool)>

impl<T, InnerRhs> OptionOverflowingDiv<&Option<InnerRhs>, InnerRhs> for Option<T> where
    T: OptionOperations + OptionOverflowingDiv<InnerRhs>,
    InnerRhs: Copy, 

type Output = <T as OptionOverflowingDiv<InnerRhs, InnerRhs>>::Output

fn opt_overflowing_div(
    self,
    rhs: &Option<InnerRhs>
) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<i8, i8> for i8

type Output = i8

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<i16, i16> for i16

type Output = i16

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<i32, i32> for i32

type Output = i32

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<i64, i64> for i64

type Output = i64

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<i128, i128> for i128

type Output = i128

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<u8, u8> for u8

type Output = u8

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<u16, u16> for u16

type Output = u16

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<u32, u32> for u32

type Output = u32

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<u64, u64> for u64

type Output = u64

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

impl OptionOverflowingDiv<u128, u128> for u128

type Output = u128

fn opt_overflowing_div(self, rhs: Self) -> Option<(Self::Output, bool)>

Implementors

impl<T, InnerRhs> OptionOverflowingDiv<&Option<InnerRhs>, InnerRhs> for T where
    T: OptionOperations + OptionOverflowingDiv<InnerRhs>,
    InnerRhs: Copy, 

type Output = <T as OptionOverflowingDiv<InnerRhs, InnerRhs>>::Output

impl<T, InnerRhs> OptionOverflowingDiv<Option<InnerRhs>, InnerRhs> for T where
    T: OptionOperations + OptionOverflowingDiv<InnerRhs>, 

type Output = <T as OptionOverflowingDiv<InnerRhs, InnerRhs>>::Output