Trait option_operations::sub::OptionSaturatingSub

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

    // Required method
    fn opt_saturating_sub(self, rhs: Rhs) -> Option<Self::Output>;
}

Trait for values and Options saturating substraction.

Implementing this trait leads to the following auto-implementations:

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

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

Required Associated Types

type Output

The resulting inner type after applying the substraction.

Required Methods

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

Computes the substraction saturating at the numeric bounds instead of overflowing.

Returns None if at least one argument is None.

Implementations on Foreign Types

impl OptionSaturatingSub for i8

type Output = i8

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

impl OptionSaturatingSub for i16

type Output = i16

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

impl OptionSaturatingSub for i32

type Output = i32

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

impl OptionSaturatingSub for i64

type Output = i64

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

impl OptionSaturatingSub for i128

type Output = i128

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

impl OptionSaturatingSub for u8

type Output = u8

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

impl OptionSaturatingSub for u16

type Output = u16

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

impl OptionSaturatingSub for u32

type Output = u32

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

impl OptionSaturatingSub for u64

type Output = u64

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

impl OptionSaturatingSub for u128

type Output = u128

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

impl OptionSaturatingSub for Duration

type Output = Duration

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

impl<T, InnerRhs> OptionSaturatingSub<&Option<InnerRhs>, InnerRhs> for Option<T>

where T: OptionOperations + OptionSaturatingSub<InnerRhs>, InnerRhs: Copy,

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

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

impl<T, InnerRhs> OptionSaturatingSub<Option<InnerRhs>, InnerRhs> for Option<T>

where T: OptionOperations + OptionSaturatingSub<InnerRhs>,

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

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

impl<T, Rhs> OptionSaturatingSub<Rhs> for Option<T>

where T: OptionOperations + OptionSaturatingSub<Rhs>,

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

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

Implementors

impl<T, InnerRhs> OptionSaturatingSub<&Option<InnerRhs>, InnerRhs> for T

where T: OptionOperations + OptionSaturatingSub<InnerRhs>, InnerRhs: Copy,

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

impl<T, InnerRhs> OptionSaturatingSub<Option<InnerRhs>, InnerRhs> for T

where T: OptionOperations + OptionSaturatingSub<InnerRhs>,

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