Trait CheckedSubSigned 

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

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

Checked subtraction of a signed value from an unsigned value.

Required Associated Types

type Signed

The counterpart type of opposite signedness.

type Output

The (owned) result type.

Required Methods

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

Computes self - rhs, returning None if overflow occurred.

use const_num_traits::CheckedSubSigned;

assert_eq!(CheckedSubSigned::checked_sub_signed(1u8, 2), None);
assert_eq!(CheckedSubSigned::checked_sub_signed(1u8, -2), Some(3));

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl CheckedSubSigned for u8

type Signed = i8

type Output = u8

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

impl CheckedSubSigned for u16

type Signed = i16

type Output = u16

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

impl CheckedSubSigned for u32

type Signed = i32

type Output = u32

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

impl CheckedSubSigned for u64

type Signed = i64

type Output = u64

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

impl CheckedSubSigned for u128

type Signed = i128

type Output = u128

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

impl CheckedSubSigned for usize

type Signed = isize

type Output = usize

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

Implementors