Trait Idx

pub trait Idx:
    Copy
    + 'static
    + Eq
    + PartialEq
    + Debug
    + Hash {
    // Required methods
    fn new(idx: usize) -> Self;
    fn index(self) -> usize;

    // Provided methods
    fn increment_by(&mut self, amount: usize) { ... }
    fn plus(self, amount: usize) -> Self { ... }
}

Represents some newtyped usize wrapper.

Purpose: avoid mixing indexes for different bitvector domains.

Required Methods

fn new(idx: usize) -> Self

fn index(self) -> usize

Provided Methods

fn increment_by(&mut self, amount: usize)

fn plus(self, amount: usize) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Idx for u32

fn new(idx: usize) -> Self

fn index(self) -> usize

impl Idx for usize

fn new(idx: usize) -> Self

fn index(self) -> usize

Implementors