Trait ValidLength

pub trait ValidLength:
    LengthSealed
    + Copy
    + Display
    + PartialEq
    + From<u8>
    + TryFrom<usize>
    + Into<u32> {
    type NonZero: NonZero<Self>;
    type InlineStrRepr: Copy + AsRef<[u8]> + AsMut<[u8]> + Default + TypeSize;

    const ZERO: Self;
    const MAX: Self;
    const DANGLING: Self::NonZero;

    // Required method
    fn to_usize(self) -> usize;

    // Provided method
    fn from_usize(len: usize) -> Option<Self> { ... }
}

A sealed trait to represent valid lengths for a FixedArray.

This is implemented on u32 for non-16 bit platforms, and u16 on all platforms.

Required Associated Constants

const ZERO: Self

const MAX: Self

const DANGLING: Self::NonZero

Required Associated Types

type NonZero: NonZero<Self>

type InlineStrRepr: Copy + AsRef<[u8]> + AsMut<[u8]> + Default + TypeSize

Available on crate feature typesize only.

Required Methods

fn to_usize(self) -> usize

Provided Methods

fn from_usize(len: usize) -> Option<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 ValidLength for u8

const ZERO: Self = 0u8

const MAX: Self = 255u8

const DANGLING: Self::NonZero = {transmute(0xff): <u8 as length::ValidLength>::NonZero}

type NonZero = NonZero<u8>

type InlineStrRepr = [u8; 9]

Available on crate feature typesize only.

fn to_usize(self) -> usize

impl ValidLength for u16

const ZERO: Self = 0u16

const MAX: Self = 65_535u16

const DANGLING: Self::NonZero = {transmute(0xffff): <u16 as length::ValidLength>::NonZero}

type NonZero = NonZero<u16>

type InlineStrRepr = [u8; 10]

Available on crate feature typesize only.

fn to_usize(self) -> usize

impl ValidLength for u32

Available on 64-bit or 32-bit only.

const ZERO: Self = 0u32

const MAX: Self = 4_294_967_295u32

const DANGLING: Self::NonZero = {transmute(0xffffffff): <u32 as length::ValidLength>::NonZero}

type NonZero = NonZero<u32>

type InlineStrRepr = [u8; 12]

Available on crate feature typesize only.

fn to_usize(self) -> usize

Implementors