Trait option_operations::sub::OptionWrappingSub

pub trait OptionWrappingSub<Rhs = Self, InnerRhs = Rhs> {
    type Output;
    fn opt_wrapping_sub(self, rhs: Rhs) -> Option<Self::Output>;
}

Trait for values and Options wrapping substraction.

Implementing this type leads to the following auto-implementations:

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

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

Associated Types

type Output

The resulting inner type after applying the operation.

Required methods

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

Computes the substraction, wrapping around at the numeric bounds instead of overflowing.

Returns None if at least one argument is None.

Implementations on Foreign Types

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

type Output = <T as OptionWrappingSub<Rhs>>::Output

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

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

type Output = <T as OptionWrappingSub<InnerRhs>>::Output

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

impl<T, InnerRhs> OptionWrappingSub<&'_ Option<InnerRhs>, InnerRhs> for Option<T> where
    T: OptionOperations + OptionWrappingSub<InnerRhs>,
    InnerRhs: Copy, 

type Output = <T as OptionWrappingSub<InnerRhs>>::Output

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

impl OptionWrappingSub<i8, i8> for i8

type Output = Self

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

impl OptionWrappingSub<i16, i16> for i16

type Output = Self

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

impl OptionWrappingSub<i32, i32> for i32

type Output = Self

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

impl OptionWrappingSub<i64, i64> for i64

type Output = Self

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

impl OptionWrappingSub<i128, i128> for i128

type Output = Self

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

impl OptionWrappingSub<u8, u8> for u8

type Output = Self

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

impl OptionWrappingSub<u16, u16> for u16

type Output = Self

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

impl OptionWrappingSub<u32, u32> for u32

type Output = Self

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

impl OptionWrappingSub<u64, u64> for u64

type Output = Self

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

impl OptionWrappingSub<u128, u128> for u128

type Output = Self

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

Implementors

impl<T, InnerRhs> OptionWrappingSub<&'_ Option<InnerRhs>, InnerRhs> for T where
    T: OptionOperations + OptionWrappingSub<InnerRhs>,
    InnerRhs: Copy, 

type Output = <T as OptionWrappingSub<InnerRhs>>::Output

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

type Output = <T as OptionWrappingSub<InnerRhs>>::Output