Trait CheckedSubUnsigned 

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

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

Checked subtraction of an unsigned value from a signed value.

Required Associated Types

type Unsigned

The counterpart type of opposite signedness.

type Output

The (owned) result type.

Required Methods

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

Computes self - rhs, returning None if overflow occurred.

use const_num_traits::CheckedSubUnsigned;

assert_eq!(CheckedSubUnsigned::checked_sub_unsigned(1i8, 2), Some(-1));
assert_eq!(CheckedSubUnsigned::checked_sub_unsigned(i8::MIN, 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 CheckedSubUnsigned for i8

type Unsigned = u8

type Output = i8

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

impl CheckedSubUnsigned for i16

type Unsigned = u16

type Output = i16

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

impl CheckedSubUnsigned for i32

type Unsigned = u32

type Output = i32

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

impl CheckedSubUnsigned for i64

type Unsigned = u64

type Output = i64

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

impl CheckedSubUnsigned for i128

type Unsigned = u128

type Output = i128

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

impl CheckedSubUnsigned for isize

type Unsigned = usize

type Output = isize

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

Implementors