Trait option_operations::add::OptionWrappingAdd

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

Trait for values and Options wrapping addition.

Implementing this type leads to the following auto-implementations:

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

Note that since the std library doesn’t define any WrappingAdd 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_add(self, rhs: Rhs) -> Option<Self::Output>

Computes the addition, 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> OptionWrappingAdd<Rhs, Rhs> for Option<T> where
    T: OptionOperations + OptionWrappingAdd<Rhs>, 

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

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

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

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

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

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

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

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

impl OptionWrappingAdd<i8, i8> for i8

type Output = Self

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

impl OptionWrappingAdd<i16, i16> for i16

type Output = Self

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

impl OptionWrappingAdd<i32, i32> for i32

type Output = Self

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

impl OptionWrappingAdd<i64, i64> for i64

type Output = Self

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

impl OptionWrappingAdd<i128, i128> for i128

type Output = Self

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

impl OptionWrappingAdd<u8, u8> for u8

type Output = Self

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

impl OptionWrappingAdd<u16, u16> for u16

type Output = Self

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

impl OptionWrappingAdd<u32, u32> for u32

type Output = Self

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

impl OptionWrappingAdd<u64, u64> for u64

type Output = Self

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

impl OptionWrappingAdd<u128, u128> for u128

type Output = Self

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

Implementors

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

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

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

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