Trait BitIndexOps 

pub trait BitIndexOps: Sized {
    type Output;

    // Required methods
    fn shl_index(self, index: BitIndex<Self>) -> Self::Output;
    fn shr_index(self, index: BitIndex<Self>) -> Self::Output;
}

Operations that consume a BitIndex proof to shift without the overflow-check branch: the amount is proven < BITS, so there is no debug-time panic and no unbounded_* masking.

Owned results carry an associated Output so non-Copy types can implement the trait for their reference type.

Required Associated Types

type Output

The owned result type (Self for the primitive impls).

Required Methods

fn shl_index(self, index: BitIndex<Self>) -> Self::Output

self << index, total because index < BITS.

fn shr_index(self, index: BitIndex<Self>) -> Self::Output

self >> index, total because index < BITS.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl BitIndexOps for i8

type Output = i8

fn shl_index(self, index: BitIndex<i8>) -> i8

fn shr_index(self, index: BitIndex<i8>) -> i8

impl BitIndexOps for i16

type Output = i16

fn shl_index(self, index: BitIndex<i16>) -> i16

fn shr_index(self, index: BitIndex<i16>) -> i16

impl BitIndexOps for i32

type Output = i32

fn shl_index(self, index: BitIndex<i32>) -> i32

fn shr_index(self, index: BitIndex<i32>) -> i32

impl BitIndexOps for i64

type Output = i64

fn shl_index(self, index: BitIndex<i64>) -> i64

fn shr_index(self, index: BitIndex<i64>) -> i64

impl BitIndexOps for i128

type Output = i128

fn shl_index(self, index: BitIndex<i128>) -> i128

fn shr_index(self, index: BitIndex<i128>) -> i128

impl BitIndexOps for isize

type Output = isize

fn shl_index(self, index: BitIndex<isize>) -> isize

fn shr_index(self, index: BitIndex<isize>) -> isize

impl BitIndexOps for u8

type Output = u8

fn shl_index(self, index: BitIndex<u8>) -> u8

fn shr_index(self, index: BitIndex<u8>) -> u8

impl BitIndexOps for u16

type Output = u16

fn shl_index(self, index: BitIndex<u16>) -> u16

fn shr_index(self, index: BitIndex<u16>) -> u16

impl BitIndexOps for u32

type Output = u32

fn shl_index(self, index: BitIndex<u32>) -> u32

fn shr_index(self, index: BitIndex<u32>) -> u32

impl BitIndexOps for u64

type Output = u64

fn shl_index(self, index: BitIndex<u64>) -> u64

fn shr_index(self, index: BitIndex<u64>) -> u64

impl BitIndexOps for u128

type Output = u128

fn shl_index(self, index: BitIndex<u128>) -> u128

fn shr_index(self, index: BitIndex<u128>) -> u128

impl BitIndexOps for usize

type Output = usize

fn shl_index(self, index: BitIndex<usize>) -> usize

fn shr_index(self, index: BitIndex<usize>) -> usize

Implementors