Trait ShlExact 

pub trait ShlExact: Sized {
    type Output;

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

Performs a lossless (exactly reversible) left shift.

Required Associated Types

type Output

The result type (Self for the primitive impls).

Required Methods

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

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

use const_num_traits::ShlExact;

assert_eq!(ShlExact::shl_exact(0x11u8, 3), Some(0x88));
assert_eq!(ShlExact::shl_exact(0x11u8, 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 ShlExact for i8

type Output = i8

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

impl ShlExact for i16

type Output = i16

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

impl ShlExact for i32

type Output = i32

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

impl ShlExact for i64

type Output = i64

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

impl ShlExact for i128

type Output = i128

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

impl ShlExact for isize

type Output = isize

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

impl ShlExact for u8

type Output = u8

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

impl ShlExact for u16

type Output = u16

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

impl ShlExact for u32

type Output = u32

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

impl ShlExact for u64

type Output = u64

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

impl ShlExact for u128

type Output = u128

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

impl ShlExact for usize

type Output = usize

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

Implementors