Enum PackedArray 

pub enum PackedArray {
    I8(Arc<Vec<i8>>),
    I16(Arc<Vec<i16>>),
    I32(Arc<Vec<i32>>),
    I64(Arc<Vec<i64>>),
    I128(Arc<Vec<i128>>),
    U8(Arc<Vec<u8>>),
    U16(Arc<Vec<u16>>),
    U32(Arc<Vec<u32>>),
    U64(Arc<Vec<u64>>),
    U128(Arc<Vec<u128>>),
    F32(Arc<Vec<f32>>),
    F64(Arc<Vec<f64>>),
    Bool(Arc<Vec<bool>>),
    Byte(Arc<Vec<u8>>),
    Char(Arc<Vec<char>>),
}

A contiguous, Arc-shared array of one primitive scalar type.

Backs Value::Packed: the packed counterpart of Value::Vec(Vec<Value>) for a homogeneous scalar array. Storage is size_of::<T>() bytes per element instead of one full Value enum instance (~24-32 bytes) per element.

Wraps Arc<Vec<T>> rather than Arc<[T]>: converting an existing Vec<T> into Arc<Vec<T>> (Arc::new) never touches the element data — only a small new allocation for the refcount header, with the Vec’s own {ptr,len,cap} moved into it. Arc<[T]> looks similar but is a dynamically-sized type that must sit directly beside its refcount header in one allocation, so Arc<[T]>::from(vec) always reallocates and copies every element (verified empirically). The trade is that a Vec built with spare capacity (e.g. via repeated push) keeps that slack for the Arc’s lifetime instead of being trimmed — bounded (typically ≤2x from geometric growth) and dwarfed by the per-element Value overhead this type avoids in the first place. See ticket #116.

Variants

I8(Arc<Vec<i8>>)

I16(Arc<Vec<i16>>)

I32(Arc<Vec<i32>>)

I64(Arc<Vec<i64>>)

I128(Arc<Vec<i128>>)

U8(Arc<Vec<u8>>)

U16(Arc<Vec<u16>>)

U32(Arc<Vec<u32>>)

U64(Arc<Vec<u64>>)

U128(Arc<Vec<u128>>)

F32(Arc<Vec<f32>>)

F64(Arc<Vec<f64>>)

Bool(Arc<Vec<bool>>)

Byte(Arc<Vec<u8>>)

Distinct from U8, mirroring Value::Byte vs Value::U8: this is the packed form of the mel byte type specifically, not of generic 8-bit unsigned integers.

Char(Arc<Vec<char>>)

Implementations

impl PackedArray

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn element_datatype(&self) -> DataType

The logical element type, used by Value::datatype() to report Vec(element) regardless of whether the value happens to be packed or boxed — Packed is purely an internal representation choice, invisible to the mel type system.

pub fn estimated_size(&self) -> usize

Rough memory footprint of the array’s content, in bytes: element count times element width, with no per-element Value overhead (see Value::estimated_size).

pub fn into_values(self) -> Vec<Value>

Expands into one Value per element. This is the correctness fallback for contexts that genuinely need the fully-boxed representation (e.g. Display) — it reintroduces exactly the per-element overhead Packed exists to avoid. Prefer try_into_vec/GetData<Arc<Vec<T>>> wherever the target type is known.

pub fn try_from_vec<T>(value: Vec<T>) -> Result<PackedArray, Vec<T>>

where T: 'static,

Attempts to pack a Vec<T> using only T: 'static — no trait bound naming the packable types is needed, since the check happens at runtime via Any. Returns the vec back unchanged if T isn’t one of the packable primitives, so the caller can fall back to the ordinary boxed representation. Never produces Byte: a Vec<u8> is ambiguous between “bytes” and “generic small integers”, so this always resolves it to U8, exactly like Value::from(u8) never producing Value::Byte on its own.

pub fn try_into_vec<T>(self) -> Result<Vec<T>, PackedArray>

where T: 'static,

Attempts to extract a Vec<T> directly, with no Value ever created along the way — the fast counterpart to into_values() followed by per-element GetData::<T>::try_data. If the array’s element type doesn’t already match T exactly (via Any), the original PackedArray is handed back unchanged.

Only makes one copy: Arc::try_unwrap succeeds for free when this is the sole reference to the array (the common case for a value that just arrived off a channel); it falls back to cloning only when the array is still shared elsewhere.

Trait Implementations

impl Clone for PackedArray

fn clone(&self) -> PackedArray

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PackedArray

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl From<Arc<Vec<bool>>> for PackedArray

fn from(value: Arc<Vec<bool>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<char>>> for PackedArray

fn from(value: Arc<Vec<char>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<f32>>> for PackedArray

fn from(value: Arc<Vec<f32>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<f64>>> for PackedArray

fn from(value: Arc<Vec<f64>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<i8>>> for PackedArray

fn from(value: Arc<Vec<i8>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<i16>>> for PackedArray

fn from(value: Arc<Vec<i16>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<i32>>> for PackedArray

fn from(value: Arc<Vec<i32>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<i64>>> for PackedArray

fn from(value: Arc<Vec<i64>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<i128>>> for PackedArray

fn from(value: Arc<Vec<i128>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<u8>>> for PackedArray

fn from(value: Arc<Vec<u8>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<u16>>> for PackedArray

fn from(value: Arc<Vec<u16>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<u32>>> for PackedArray

fn from(value: Arc<Vec<u32>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<u64>>> for PackedArray

fn from(value: Arc<Vec<u64>>) -> PackedArray

Converts to this type from the input type.

impl From<Arc<Vec<u128>>> for PackedArray

fn from(value: Arc<Vec<u128>>) -> PackedArray

Converts to this type from the input type.

impl From<PackedArray> for Value

fn from(value: PackedArray) -> Value

Converts to this type from the input type.

impl From<Vec<bool>> for PackedArray

fn from(value: Vec<bool>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<char>> for PackedArray

fn from(value: Vec<char>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<f32>> for PackedArray

fn from(value: Vec<f32>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<f64>> for PackedArray

fn from(value: Vec<f64>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<i8>> for PackedArray

fn from(value: Vec<i8>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<i16>> for PackedArray

fn from(value: Vec<i16>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<i32>> for PackedArray

fn from(value: Vec<i32>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<i64>> for PackedArray

fn from(value: Vec<i64>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<i128>> for PackedArray

fn from(value: Vec<i128>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<u8>> for PackedArray

fn from(value: Vec<u8>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<u16>> for PackedArray

fn from(value: Vec<u16>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<u32>> for PackedArray

fn from(value: Vec<u32>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<u64>> for PackedArray

fn from(value: Vec<u64>) -> PackedArray

Converts to this type from the input type.

impl From<Vec<u128>> for PackedArray

fn from(value: Vec<u128>) -> PackedArray

Converts to this type from the input type.

impl GetData<PackedArray> for Value

fn try_data(self) -> Result<PackedArray, ()>

impl PartialEq for PackedArray

fn eq(&self, other: &PackedArray) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PackedArray