Trait CompactStorage 

pub trait CompactStorage: Copy + 'static {
    type InlineType: Copy + Default + 'static;

    const CONVERSION_INFALLIBLE: bool;

    // Required methods
    fn to_inline(value: Self) -> Result<Self::InlineType, Self>;
    fn from_inline(value: Self::InlineType) -> Self;
    fn to_inline_unchecked(value: Self) -> Self::InlineType;
}

A trait for types that can be stored compactly by attempting to fit them into smaller storage types.

This trait is designed for scenarios where values are often, but not always, small enough to fit in a more compact representation (e.g., storing i32 values that typically fit in i8 to save memory).

Required Associated Constants

const CONVERSION_INFALLIBLE: bool

Whether conversion to inline type is guaranteed to never fail

Required Associated Types

type InlineType: Copy + Default + 'static

The compact storage type used for inline representation

Required Methods

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

Attempts to convert the value to its compact inline representation. Returns Err(value) if the value cannot fit in the inline type.

fn from_inline(value: Self::InlineType) -> Self

Converts from the compact inline representation back to the original type. This conversion is always infallible as we’re expanding to a larger type.

fn to_inline_unchecked(value: Self) -> Self::InlineType

Converts to inline representation without bounds checking.

Safety

The caller must guarantee that the value fits within the bounds of InlineType. Violating this contract may result in data truncation or undefined behavior.

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 CompactStorage for i8

const CONVERSION_INFALLIBLE: bool = true

type InlineType = i8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for i16

const CONVERSION_INFALLIBLE: bool = false

type InlineType = i8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for i32

const CONVERSION_INFALLIBLE: bool = false

type InlineType = i8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for i64

const CONVERSION_INFALLIBLE: bool = false

type InlineType = i8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for i128

const CONVERSION_INFALLIBLE: bool = false

type InlineType = i8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for isize

const CONVERSION_INFALLIBLE: bool = false

type InlineType = i8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for u8

const CONVERSION_INFALLIBLE: bool = true

type InlineType = u8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for u16

const CONVERSION_INFALLIBLE: bool = false

type InlineType = u8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for u32

const CONVERSION_INFALLIBLE: bool = false

type InlineType = u8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for u64

const CONVERSION_INFALLIBLE: bool = false

type InlineType = u8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for u128

const CONVERSION_INFALLIBLE: bool = false

type InlineType = u8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

impl CompactStorage for usize

const CONVERSION_INFALLIBLE: bool = false

type InlineType = u8

fn to_inline(value: Self) -> Result<Self::InlineType, Self>

fn from_inline(value: Self::InlineType) -> Self

fn to_inline_unchecked(value: Self) -> Self::InlineType

Implementors

impl CompactStorage for Radix

const CONVERSION_INFALLIBLE: bool = true

type InlineType = Radix