Trait CheckedSignedDiff 

pub trait CheckedSignedDiff: Sized {
    type Signed;

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

Computes the signed difference of two unsigned values.

Required Associated Types

type Signed

The signed counterpart type (e.g. i32 for u32).

Required Methods

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

Checked signed difference. Computes self - rhs as a signed value, returning None if the result doesn’t fit in the signed type.

use const_num_traits::CheckedSignedDiff;

assert_eq!(CheckedSignedDiff::checked_signed_diff(10u8, 14), Some(-4));
assert_eq!(CheckedSignedDiff::checked_signed_diff(u8::MAX, 0), 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 CheckedSignedDiff for u8

type Signed = i8

fn checked_signed_diff(self, rhs: Self) -> Option<i8>

impl CheckedSignedDiff for u16

type Signed = i16

fn checked_signed_diff(self, rhs: Self) -> Option<i16>

impl CheckedSignedDiff for u32

type Signed = i32

fn checked_signed_diff(self, rhs: Self) -> Option<i32>

impl CheckedSignedDiff for u64

type Signed = i64

fn checked_signed_diff(self, rhs: Self) -> Option<i64>

impl CheckedSignedDiff for u128

type Signed = i128

fn checked_signed_diff(self, rhs: Self) -> Option<i128>

impl CheckedSignedDiff for usize

type Signed = isize

fn checked_signed_diff(self, rhs: Self) -> Option<isize>

Implementors