Trait option_operations::add::OptionCheckedAdd

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

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

Trait for values and Options checked addition.

Implementing this trait leads to the following auto-implementations:

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

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

Required Associated Types

type Output

The resulting inner type after applying the addition.

Required Methods

fn opt_checked_add(self, rhs: Rhs) -> Result<Option<Self::Output>, Error>

Computes the checked addition.

• Returns Ok(Some(result)) if result could be computed.
• Returns Ok(None) if at least one argument is None.
• Returns Err(Error::Overflow) if an overflow occured.

Implementations on Foreign Types

impl OptionCheckedAdd for i8

type Output = i8

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for i16

type Output = i16

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for i32

type Output = i32

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for i64

type Output = i64

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for i128

type Output = i128

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for u8

type Output = u8

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for u16

type Output = u16

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for u32

type Output = u32

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for u64

type Output = u64

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for u128

type Output = u128

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd for Duration

type Output = Duration

fn opt_checked_add(self, rhs: Self) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd<Duration> for Instant

type Output = Instant

fn opt_checked_add(self, rhs: Duration) -> Result<Option<Self::Output>, Error>

impl OptionCheckedAdd<Duration> for SystemTime

type Output = SystemTime

fn opt_checked_add(self, rhs: Duration) -> Result<Option<Self::Output>, Error>

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

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

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

fn opt_checked_add( self, rhs: &Option<InnerRhs>, ) -> Result<Option<Self::Output>, Error>

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

where T: OptionOperations + OptionCheckedAdd<InnerRhs>,

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

fn opt_checked_add( self, rhs: Option<InnerRhs>, ) -> Result<Option<Self::Output>, Error>

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

where T: OptionOperations + OptionCheckedAdd<Rhs>,

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

fn opt_checked_add(self, rhs: Rhs) -> Result<Option<Self::Output>, Error>

Implementors

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

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

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

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

where T: OptionOperations + OptionCheckedAdd<InnerRhs>,

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