Trait CheckedAdd 

pub trait CheckedAdd<Other = Self> {
    type Output;

    // Required method
    fn checked_add(self, other: Other) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn checked_add(self, other: Other) -> Self::Output

Returns checked addition.

use traiter::numbers::CheckedAdd;
// signed integers
assert_eq!(CheckedAdd::checked_add(i8::MIN, -1i8), None);
assert_eq!(CheckedAdd::checked_add(0i8, 1i8), Some(1i8));
assert_eq!(CheckedAdd::checked_add(i8::MAX, 1i8), None);
// unsigned integers
assert_eq!(CheckedAdd::checked_add(0u8, 1u8), Some(1u8));
assert_eq!(CheckedAdd::checked_add(1u8, 1u8), Some(2u8));
assert_eq!(CheckedAdd::checked_add(u8::MAX, 1u8), None);

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl CheckedAdd for i8

type Output = Option<i8>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for i16

type Output = Option<i16>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for i32

type Output = Option<i32>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for i64

type Output = Option<i64>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for i128

type Output = Option<i128>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for isize

type Output = Option<isize>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for u8

type Output = Option<u8>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for u16

type Output = Option<u16>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for u32

type Output = Option<u32>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for u64

type Output = Option<u64>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for u128

type Output = Option<u128>

fn checked_add(self, other: Self) -> Self::Output

impl CheckedAdd for usize

type Output = Option<usize>

fn checked_add(self, other: Self) -> Self::Output

Implementors