Trait ShrExact 

pub trait ShrExact: Sized {
    type Output;

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

Performs a lossless (exactly reversible) right shift.

Required Associated Types

type Output

The result type (Self for the primitive impls).

Required Methods

fn shr_exact(self, rhs: u32) -> Option<Self::Output>

Exact shift right. Computes self >> rhs if no one-bits would be shifted out (so the operation can be losslessly reversed), None otherwise.

use const_num_traits::ShrExact;

assert_eq!(ShrExact::shr_exact(0x88u8, 3), Some(0x11));
assert_eq!(ShrExact::shr_exact(0x88u8, 4), 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 ShrExact for i8

type Output = i8

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for i16

type Output = i16

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for i32

type Output = i32

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for i64

type Output = i64

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for i128

type Output = i128

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for isize

type Output = isize

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for u8

type Output = u8

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for u16

type Output = u16

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for u32

type Output = u32

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for u64

type Output = u64

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for u128

type Output = u128

fn shr_exact(self, rhs: u32) -> Option<Self>

impl ShrExact for usize

type Output = usize

fn shr_exact(self, rhs: u32) -> Option<Self>

Implementors