Trait rustc_index::bit_set::FiniteBitSetTy

pub trait FiniteBitSetTy: BitAnd<Output = Self> + BitAndAssign + BitOrAssign + Clone + Copy + Shl + Not<Output = Self> + PartialEq + Sized {
    const DOMAIN_SIZE: u32;
    const FILLED: Self;
    const EMPTY: Self;
    const ONE: Self;
    const ZERO: Self;

    // Required methods
    fn checked_shl(self, rhs: u32) -> Option<Self>;
    fn checked_shr(self, rhs: u32) -> Option<Self>;
}

Integral type used to represent the bit set.

Required Associated Constants

const DOMAIN_SIZE: u32

Size of the domain representable by this type, e.g. 64 for u64.

const FILLED: Self

Value which represents the FiniteBitSet having every bit set.

const EMPTY: Self

Value which represents the FiniteBitSet having no bits set.

const ONE: Self

Value for one as the integral type.

const ZERO: Self

Value for zero as the integral type.

Required Methods

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

Perform a checked left shift on the integral type.

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

Perform a checked right shift on the integral type.

Implementations on Foreign Types

impl FiniteBitSetTy for u32

const DOMAIN_SIZE: u32 = 32u32

const FILLED: Self = 4_294_967_295u32

const EMPTY: Self = 0u32

const ONE: Self = 1u32

const ZERO: Self = 0u32

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

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

impl FiniteBitSetTy for u128

const DOMAIN_SIZE: u32 = 128u32

const FILLED: Self = 340_282_366_920_938_463_463_374_607_431_768_211_455u128

const EMPTY: Self = 0u128

const ONE: Self = 1u128

const ZERO: Self = 0u128

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

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

impl FiniteBitSetTy for u64

const DOMAIN_SIZE: u32 = 64u32

const FILLED: Self = 18_446_744_073_709_551_615u64

const EMPTY: Self = 0u64

const ONE: Self = 1u64

const ZERO: Self = 0u64

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

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

Implementors