Trait CheckedAddSigned 

pub trait CheckedAddSigned: Sized {
    type Signed;
    type Output;

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

Checked addition of a signed value to an unsigned value.

Required Associated Types

type Signed

The counterpart type of opposite signedness.

type Output

The (owned) result type.

Required Methods

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

Computes self + rhs, returning None if overflow occurred.

use const_num_traits::CheckedAddSigned;

assert_eq!(CheckedAddSigned::checked_add_signed(1u8, 2), Some(3));
assert_eq!(CheckedAddSigned::checked_add_signed(1u8, -2), 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 CheckedAddSigned for u8

type Signed = i8

type Output = u8

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

impl CheckedAddSigned for u16

type Signed = i16

type Output = u16

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

impl CheckedAddSigned for u32

type Signed = i32

type Output = u32

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

impl CheckedAddSigned for u64

type Signed = i64

type Output = u64

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

impl CheckedAddSigned for u128

type Signed = i128

type Output = u128

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

impl CheckedAddSigned for usize

type Signed = isize

type Output = usize

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

Implementors