Trait bitvec::slice::BitSliceIndex

pub trait BitSliceIndex<'a, T, O>where
    T: BitStore,
    O: BitOrder,{
    type Immut;
    type Mut;

    // Required methods
    fn get(self, bits: &'a BitSlice<T, O>) -> Option<Self::Immut>;
    fn get_mut(self, bits: &'a mut BitSlice<T, O>) -> Option<Self::Mut>;
    unsafe fn get_unchecked(self, bits: &'a BitSlice<T, O>) -> Self::Immut;
    unsafe fn get_unchecked_mut(self, bits: &'a mut BitSlice<T, O>) -> Self::Mut;
    fn index(self, bits: &'a BitSlice<T, O>) -> Self::Immut;
    fn index_mut(self, bits: &'a mut BitSlice<T, O>) -> Self::Mut;
}

Bit-Slice Indexing

This trait, like its mirror in core, unifies various types that can be used to index within a bit-slice. Individual usize indices can refer to exactly one bit within a bit-slice, and R: RangeBounds<usize> ranges can refer to subslices of any length within a bit-slice.

The three operations (get, get unchecked, and index) reflect the three theories of lookup within a collection: fallible, pre-checked, and crashing on failure.

You will likely not use this trait directly; its methods all have corresponding methods on BitSlice that delegate to particular implementations of it.

Original

slice::SliceIndex

API Differences

The SliceIndex::Output type is not usable here, because bitvec cannot manifest a &mut bool reference. Work to unify referential values in the trait system is ongoing, and in the future this functionality may be approximated.

Instead, this uses two output types, Immut and Mut, that are the referential structures produced by indexing immutably or mutably, respectively. This allows the range implementations to produce &/mut BitSlice as expected, while usize produces the proxy structure.

Required Associated Types

type Immut

The output type of immutable access.

type Mut

The output type of mutable access.

Required Methods

fn get(self, bits: &'a BitSlice<T, O>) -> Option<Self::Immut>

Immutably indexes into a bit-slice, returning None if self is out of bounds.

Original

SliceIndex::get

fn get_mut(self, bits: &'a mut BitSlice<T, O>) -> Option<Self::Mut>

Mutably indexes into a bit-slice, returning None if self is out of bounds.

Original

SliceIndex::get_mut

unsafe fn get_unchecked(self, bits: &'a BitSlice<T, O>) -> Self::Immut

Immutably indexes into a bit-slice without doing any bounds checking.

Original

SliceIndex::get_unchecked

Safety

If self is not in bounds, then memory accesses through it are illegal and the program becomes undefined. You must ensure that self is appropriately within 0 .. bits.len() at the call site.

unsafe fn get_unchecked_mut(self, bits: &'a mut BitSlice<T, O>) -> Self::Mut

Mutably indexes into a bit-slice without doing any bounds checking.

Original

SliceIndex::get_unchecked_mut

Safety

If self is not in bounds, then memory accesses through it bare illegal and the program becomes undefined. You must ensure that self is appropriately within 0 .. bits.len() at the call site.

fn index(self, bits: &'a BitSlice<T, O>) -> Self::Immut

Immutably indexes into a bit-slice, panicking if self is out of bounds.

Original

SliceIndex::index

Panics

Implementations are required to panic if self exceeds bits.len() in any way.

fn index_mut(self, bits: &'a mut BitSlice<T, O>) -> Self::Mut

Mutably indexes into a bit-slice, panicking if self is out of bounds.

Original

SliceIndex::index_mut

Panics

Implementations are required to panic if self exceeds bits.len() in any way.

Implementations on Foreign Types

impl<'a, T, O> BitSliceIndex<'a, T, O> for usizewhere T: BitStore, O: BitOrder,

type Immut = BitRef<'a, Const, T, O>

type Mut = BitRef<'a, Mut, T, O>

fn get(self, bits: &'a BitSlice<T, O>) -> Option<Self::Immut>

fn get_mut(self, bits: &'a mut BitSlice<T, O>) -> Option<Self::Mut>

unsafe fn get_unchecked(self, bits: &'a BitSlice<T, O>) -> Self::Immut

unsafe fn get_unchecked_mut(self, bits: &'a mut BitSlice<T, O>) -> Self::Mut

fn index(self, bits: &'a BitSlice<T, O>) -> Self::Immut

fn index_mut(self, bits: &'a mut BitSlice<T, O>) -> Self::Mut

impl<'a, T, O> BitSliceIndex<'a, T, O> for Range<usize>where O: BitOrder, T: BitStore,

type Immut = &'a BitSlice<T, O>

type Mut = &'a mut BitSlice<T, O>

fn get(self, bits: Self::Immut) -> Option<Self::Immut>

fn get_mut(self, bits: Self::Mut) -> Option<Self::Mut>

unsafe fn get_unchecked(self, bits: Self::Immut) -> Self::Immut

unsafe fn get_unchecked_mut(self, bits: Self::Mut) -> Self::Mut

fn index(self, bits: Self::Immut) -> Self::Immut

fn index_mut(self, bits: Self::Mut) -> Self::Mut

impl<'a, T, O> BitSliceIndex<'a, T, O> for RangeFrom<usize>where O: BitOrder, T: BitStore,

type Immut = &'a BitSlice<T, O>

type Mut = &'a mut BitSlice<T, O>

fn get(self, bits: Self::Immut) -> Option<Self::Immut>

fn get_mut(self, bits: Self::Mut) -> Option<Self::Mut>

unsafe fn get_unchecked(self, bits: Self::Immut) -> Self::Immut

unsafe fn get_unchecked_mut(self, bits: Self::Mut) -> Self::Mut

fn index(self, bits: Self::Immut) -> Self::Immut

fn index_mut(self, bits: Self::Mut) -> Self::Mut

impl<'a, T, O> BitSliceIndex<'a, T, O> for RangeFullwhere T: BitStore, O: BitOrder,

type Immut = &'a BitSlice<T, O>

type Mut = &'a mut BitSlice<T, O>

fn get(self, bits: Self::Immut) -> Option<Self::Immut>

fn get_mut(self, bits: Self::Mut) -> Option<Self::Mut>

unsafe fn get_unchecked(self, bits: Self::Immut) -> Self::Immut

unsafe fn get_unchecked_mut(self, bits: Self::Mut) -> Self::Mut

fn index(self, bits: Self::Immut) -> Self::Immut

fn index_mut(self, bits: Self::Mut) -> Self::Mut

impl<'a, T, O> BitSliceIndex<'a, T, O> for RangeInclusive<usize>where O: BitOrder, T: BitStore,

type Immut = &'a BitSlice<T, O>

type Mut = &'a mut BitSlice<T, O>

fn get(self, bits: Self::Immut) -> Option<Self::Immut>

fn get_mut(self, bits: Self::Mut) -> Option<Self::Mut>

unsafe fn get_unchecked(self, bits: Self::Immut) -> Self::Immut

unsafe fn get_unchecked_mut(self, bits: Self::Mut) -> Self::Mut

fn index(self, bits: Self::Immut) -> Self::Immut

fn index_mut(self, bits: Self::Mut) -> Self::Mut

impl<'a, T, O> BitSliceIndex<'a, T, O> for RangeTo<usize>where O: BitOrder, T: BitStore,

type Immut = &'a BitSlice<T, O>

type Mut = &'a mut BitSlice<T, O>

fn get(self, bits: Self::Immut) -> Option<Self::Immut>

fn get_mut(self, bits: Self::Mut) -> Option<Self::Mut>

unsafe fn get_unchecked(self, bits: Self::Immut) -> Self::Immut

unsafe fn get_unchecked_mut(self, bits: Self::Mut) -> Self::Mut

fn index(self, bits: Self::Immut) -> Self::Immut

fn index_mut(self, bits: Self::Mut) -> Self::Mut

impl<'a, T, O> BitSliceIndex<'a, T, O> for RangeToInclusive<usize>where O: BitOrder, T: BitStore,

type Immut = &'a BitSlice<T, O>

type Mut = &'a mut BitSlice<T, O>

fn get(self, bits: Self::Immut) -> Option<Self::Immut>

fn get_mut(self, bits: Self::Mut) -> Option<Self::Mut>

unsafe fn get_unchecked(self, bits: Self::Immut) -> Self::Immut

unsafe fn get_unchecked_mut(self, bits: Self::Mut) -> Self::Mut

fn index(self, bits: Self::Immut) -> Self::Immut

fn index_mut(self, bits: Self::Mut) -> Self::Mut

Implementors