proofs.rs

endian-type 0.2.0

proofs.rs claims for endian-type 0.2.0
README badge

Claims in public reports for version 0.2.0.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fendian-type%2F0.2.0%2Fbadge)](https://proofs.rs/crate/endian-type?version=0.2.0)

Type safe wrappers for types with a defined byte order

crates.io

Reports (1)

#26 Integer From conversions and generic bitwise result preservation
Aeneas be86ab0 · 66 claims · nyuichi ·

Findings (0)

For version 0.2.0. Statuses are author reported.

No findings reported for this version.

APIs (170)

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

APIClaims · findings

Functions

No functions.

Associated functions

impl BigEndian<T>

pub const unsafe fn from_byte_slice(bytes: &[u8]) -> BigEndian<T>—

impl BigEndian<isize>

pub const fn from_bytes(bytes: [u8; 8]) -> BigEndian<isize>—

impl LittleEndian<T>

pub const unsafe fn from_byte_slice(bytes: &[u8]) -> LittleEndian<T>—

impl LittleEndian<isize>

pub const fn from_bytes(bytes: [u8; 8]) -> LittleEndian<isize>—

Methods

impl BigEndian<T>

pub fn as_byte_slice(self: &Self) -> &[u8]—
pub fn as_byte_slice_mut(self: &mut Self) -> &mut [u8]—

impl BigEndian<isize>

pub const fn to_bytes(self: Self) -> [u8; 8]—

impl LittleEndian<T>

pub fn as_byte_slice(self: &Self) -> &[u8]—
pub fn as_byte_slice_mut(self: &mut Self) -> &mut [u8]—

impl LittleEndian<isize>

pub const fn to_bytes(self: Self) -> [u8; 8]—

Trait implementations

impl core::clone::Clone for …

fn clone2 implementations—

impl core::cmp::Ord for …

fn cmp2 implementations—

impl core::cmp::PartialEq for …

fn eq2 implementations—

impl core::cmp::PartialOrd for …

fn partial_cmp2 implementations—

impl core::convert::From<endian_type::BigEndian<i128>> for LittleEndian<i128>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<i16>> for LittleEndian<i16>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<i32>> for LittleEndian<i32>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<i64>> for LittleEndian<i64>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<isize>> for LittleEndian<isize>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<u128>> for LittleEndian<u128>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<u16>> for LittleEndian<u16>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<u32>> for LittleEndian<u32>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<u64>> for LittleEndian<u64>

fn from2 implementations—

impl core::convert::From<endian_type::BigEndian<usize>> for LittleEndian<usize>

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<i128>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<i16>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<i32>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<i64>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<isize>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<u128>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<u16>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<u32>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<u64>> for …

fn from2 implementations—

impl core::convert::From<endian_type::LittleEndian<usize>> for …

fn from2 implementations—

impl core::convert::From<i128> for …

fn from2 implementations—

impl core::convert::From<i16> for …

fn from2 implementations—

impl core::convert::From<i32> for …

fn from2 implementations—

impl core::convert::From<i64> for …

fn from2 implementations—

impl core::convert::From<isize> for …

fn from2 implementations—

impl core::convert::From<u128> for …

fn from2 implementations—

impl core::convert::From<u16> for …

fn from2 implementations—

impl core::convert::From<u32> for …

fn from2 implementations—

impl core::convert::From<u64> for …

fn from2 implementations—

impl core::convert::From<usize> for …

fn from2 implementations—

impl core::fmt::Debug for …

fn fmt2 implementations—

impl core::hash::Hash for …

fn hash2 implementations—

impl core::ops::bit::BitAnd for …

fn bitand2 implementations—

impl core::ops::bit::BitOr for …

fn bitor2 implementations—

impl core::ops::bit::BitXor for …

fn bitxor2 implementations—

Blanket implementations

impl core::any::Any for …

fn type_id2 implementations—

impl core::borrow::Borrow<T> for …

fn borrow2 implementations—

impl core::borrow::BorrowMut<T> for …

fn borrow_mut2 implementations—

impl core::clone::CloneToUninit for …

unsafe fn clone_to_uninit2 implementations—

impl core::convert::From<T> for …

fn from2 implementations—

impl core::convert::Into<U> for …

fn into2 implementations—

impl core::convert::TryFrom<U> for …

fn try_from2 implementations—

impl core::convert::TryInto<U> for …

fn try_into2 implementations—

Recorded callables

<endian_type::BigEndian<T> as core::ops::BitAnd>::bitand recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<T> as core::ops::BitOr>::bitor recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<T> as core::ops::BitXor>::bitxor recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<i128> as From<i128>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<i16> as From<endian_type::LittleEndian<i16>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<i16> as From<i16>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<i32> as From<endian_type::LittleEndian<i32>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<i32> as From<i32>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<i64> as From<endian_type::LittleEndian<i64>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<i64> as From<i64>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<isize> as From<isize>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<u128> as From<u128>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<u16> as From<endian_type::LittleEndian<u16>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<u16> as From<u16>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<u32> as From<endian_type::LittleEndian<u32>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<u32> as From<u32>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<u64> as From<endian_type::LittleEndian<u64>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<u64> as From<u64>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::BigEndian<usize> as From<usize>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<T> as core::ops::BitAnd>::bitand recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<T> as core::ops::BitOr>::bitor recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<T> as core::ops::BitXor>::bitxor recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<i128> as From<i128>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<i16> as From<endian_type::BigEndian<i16>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<i16> as From<i16>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<i32> as From<endian_type::BigEndian<i32>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<i32> as From<i32>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<i64> as From<endian_type::BigEndian<i64>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<i64> as From<i64>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<isize> as From<isize>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<u128> as From<u128>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<u16> as From<endian_type::BigEndian<u16>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<u16> as From<u16>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<u32> as From<endian_type::BigEndian<u32>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<u32> as From<u32>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<u64> as From<endian_type::BigEndian<u64>>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<u64> as From<u64>>::from recorded callable · signature and safety not recorded1 claim
<endian_type::LittleEndian<usize> as From<usize>>::from recorded callable · signature and safety not recorded1 claim
<i128 as From<endian_type::BigEndian<i128>>>::from recorded callable · signature and safety not recorded1 claim
<i128 as From<endian_type::LittleEndian<i128>>>::from recorded callable · signature and safety not recorded1 claim
<i16 as From<endian_type::BigEndian<i16>>>::from recorded callable · signature and safety not recorded1 claim
<i16 as From<endian_type::LittleEndian<i16>>>::from recorded callable · signature and safety not recorded1 claim
<i32 as From<endian_type::BigEndian<i32>>>::from recorded callable · signature and safety not recorded1 claim
<i32 as From<endian_type::LittleEndian<i32>>>::from recorded callable · signature and safety not recorded1 claim
<i64 as From<endian_type::BigEndian<i64>>>::from recorded callable · signature and safety not recorded1 claim
<i64 as From<endian_type::LittleEndian<i64>>>::from recorded callable · signature and safety not recorded1 claim
<isize as From<endian_type::BigEndian<isize>>>::from recorded callable · signature and safety not recorded1 claim
<isize as From<endian_type::LittleEndian<isize>>>::from recorded callable · signature and safety not recorded1 claim
<u128 as From<endian_type::BigEndian<u128>>>::from recorded callable · signature and safety not recorded1 claim
<u128 as From<endian_type::LittleEndian<u128>>>::from recorded callable · signature and safety not recorded1 claim
<u16 as From<endian_type::BigEndian<u16>>>::from recorded callable · signature and safety not recorded1 claim
<u16 as From<endian_type::LittleEndian<u16>>>::from recorded callable · signature and safety not recorded1 claim
<u32 as From<endian_type::BigEndian<u32>>>::from recorded callable · signature and safety not recorded1 claim
<u32 as From<endian_type::LittleEndian<u32>>>::from recorded callable · signature and safety not recorded1 claim
<u64 as From<endian_type::BigEndian<u64>>>::from recorded callable · signature and safety not recorded1 claim
<u64 as From<endian_type::LittleEndian<u64>>>::from recorded callable · signature and safety not recorded1 claim
<usize as From<endian_type::BigEndian<usize>>>::from recorded callable · signature and safety not recorded1 claim
<usize as From<endian_type::LittleEndian<usize>>>::from recorded callable · signature and safety not recorded1 claim