bit_field 0.10.3

README badge

Claims in public reports for version 0.10.3.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fbit_field%2F0.10.3%2Fbadge)](https://proofs.rs/crate/bit_field?version=0.10.3)

crates.io

Reports (1)

#34 Integer single-bit operations and generic slice routing, with exact failure cases

Aeneas be86ab0 · 27 claims · nyuichi · 2026-11-05

Findings (0)

For version 0.10.3. Statuses are author reported.

No findings reported for this version.

APIs (27)

APIs are imported from documentation or named in published verification records. 27 have at least one claim; a count says nothing about how strong each claim is.

APIClaims · findings

Functions

No functions.

Associated functions

No associated functions.

Methods

No inherent methods.

Trait implementations

No trait implementations.

Recorded callables

<[T] as bit_field::BitArray<T>>::bit_length recorded callable · signature and safety not recorded1 claim

<[T] as bit_field::BitArray<T>>::get_bit recorded callable · signature and safety not recorded1 claim

<[T] as bit_field::BitArray<T>>::set_bit recorded callable · signature and safety not recorded1 claim

<i128 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<i128 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<i16 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<i16 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<i32 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<i32 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<i64 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<i64 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<i8 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<i8 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<isize as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<isize as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<u128 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<u128 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<u16 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<u16 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<u32 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<u32 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<u64 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<u64 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<u8 as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<u8 as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim

<usize as bit_field::BitField>::get_bit recorded callable · signature and safety not recorded1 claim

<usize as bit_field::BitField>::set_bit recorded callable · signature and safety not recorded1 claim