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

    // Required method
    fn opt_overflowing_add(self, rhs: Rhs) -> Option<(Self::Output, bool)>;
}
Expand description

Trait for values and Options overflowing addition.

Implementing this trait leads to the following auto-implementations:

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

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

Required Associated Types§

source

type Output

The resulting inner type after applying the addition.

Required Methods§

source

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

Returns a tuple of the addition 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.

Implementations on Foreign Types§

source§

impl OptionOverflowingAdd for i8

source§

impl OptionOverflowingAdd for i16

source§

impl OptionOverflowingAdd for i32

source§

impl OptionOverflowingAdd for i64

source§

impl OptionOverflowingAdd for i128

source§

impl OptionOverflowingAdd for u8

source§

impl OptionOverflowingAdd for u16

source§

impl OptionOverflowingAdd for u32

source§

impl OptionOverflowingAdd for u64

source§

impl OptionOverflowingAdd for u128

source§

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

§

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

source§

fn opt_overflowing_add( self, rhs: &Option<InnerRhs> ) -> Option<(<Option<T> as OptionOverflowingAdd<&Option<InnerRhs>, InnerRhs>>::Output, bool)>

source§

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

§

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

source§

fn opt_overflowing_add( self, rhs: Option<InnerRhs> ) -> Option<(<Option<T> as OptionOverflowingAdd<Option<InnerRhs>, InnerRhs>>::Output, bool)>

source§

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

§

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

source§

fn opt_overflowing_add( self, rhs: Rhs ) -> Option<(<Option<T> as OptionOverflowingAdd<Rhs>>::Output, bool)>

Implementors§