byteorder-lite 0.1.0

README badge

Claims in public reports for version 0.1.0.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fbyteorder-lite%2F0.1.0%2Fbadge)](https://proofs.rs/crate/byteorder-lite?version=0.1.0)

crates.io

Reports (1)

#33 Exact integer and floating bit serialization, with explicit failure conditions

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

Findings (0)

For version 0.1.0. Statuses are author reported.

No findings reported for this version.

APIs (64)

APIs are imported from documentation or named in published verification records. 64 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

<byteorder_lite::BigEndian as Default>::default recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::read_i24 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::read_i48 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::read_int recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::read_int128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::read_u24 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::read_u48 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::read_uint recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::read_uint128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_f32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_f64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_i128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_i16 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_i24 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_i32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_i48 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_i64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_int recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_int128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_u128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_u16 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_u24 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_u32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_u48 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_u64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_uint recorded callable · signature and safety not recorded1 claim

<byteorder_lite::BigEndian as byteorder_lite::ByteOrder>::write_uint128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as Default>::default recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_f32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_f64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_i128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_i16 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_i32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_i64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_u128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_u16 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_u32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::from_slice_u64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::read_i24 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::read_i48 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::read_int recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::read_int128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::read_u24 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::read_u48 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::read_uint recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::read_uint128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_f32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_f64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_i128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_i16 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_i24 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_i32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_i48 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_i64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_int recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_int128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_u128 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_u16 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_u24 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_u32 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_u48 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_u64 recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_uint recorded callable · signature and safety not recorded1 claim

<byteorder_lite::LittleEndian as byteorder_lite::ByteOrder>::write_uint128 recorded callable · signature and safety not recorded1 claim