Trait CheckedAddUnsigned 

pub trait CheckedAddUnsigned: Sized {
    type Unsigned;
    type Output;

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

Checked addition of an unsigned value to a signed value.

Required Associated Types

type Unsigned

The counterpart type of opposite signedness.

type Output

The (owned) result type.

Required Methods

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

Computes self + rhs, returning None if overflow occurred.

use const_num_traits::CheckedAddUnsigned;

assert_eq!(CheckedAddUnsigned::checked_add_unsigned(1i8, 2), Some(3));
assert_eq!(CheckedAddUnsigned::checked_add_unsigned(i8::MAX, 1), None);

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl CheckedAddUnsigned for i8

type Unsigned = u8

type Output = i8

fn checked_add_unsigned(self, rhs: u8) -> Option<i8>

impl CheckedAddUnsigned for i16

type Unsigned = u16

type Output = i16

fn checked_add_unsigned(self, rhs: u16) -> Option<i16>

impl CheckedAddUnsigned for i32

type Unsigned = u32

type Output = i32

fn checked_add_unsigned(self, rhs: u32) -> Option<i32>

impl CheckedAddUnsigned for i64

type Unsigned = u64

type Output = i64

fn checked_add_unsigned(self, rhs: u64) -> Option<i64>

impl CheckedAddUnsigned for i128

type Unsigned = u128

type Output = i128

fn checked_add_unsigned(self, rhs: u128) -> Option<i128>

impl CheckedAddUnsigned for isize

type Unsigned = usize

type Output = isize

fn checked_add_unsigned(self, rhs: usize) -> Option<isize>

Implementors