Skip to main content

StructuredStorage

Struct StructuredStorage 

pub struct StructuredStorage<T> { /* private fields */ }
Expand description

Structured tensor snapshot storage.

data and strides describe the payload tensor, while axis_classes describes how logical axes map onto payload axes. Logical flat-buffer semantics are column-major.

A dense tensor has axis_classes = [0, 1, ..., rank-1] (each logical axis maps to a distinct payload axis). A diagonal tensor has axis_classes = [0, 0, ..., 0] (all logical axes share one payload axis), storing only the diagonal entries.

§Examples

use tensor4all_tensorbackend::StructuredStorage;

// Dense 2x3 storage, column-major: [[1,3,5],[2,4,6]]
let dense = StructuredStorage::from_dense_col_major(
    vec![1.0, 2.0, 3.0, 4.0, 5.0, 6.0], &[2, 3],
);
assert!(dense.is_dense());
assert!(!dense.is_diag());
assert_eq!(dense.logical_rank(), 2);
assert_eq!(dense.logical_dims(), vec![2, 3]);

// Diagonal 3x3 storage
let diag = StructuredStorage::from_diag_col_major(vec![1.0, 2.0, 3.0], 2);
assert!(diag.is_diag());
assert_eq!(diag.logical_dims(), vec![3, 3]);
assert_eq!(diag.len(), 3);

Implementations§

§

impl<T> StructuredStorage<T>

pub fn new( data: Vec<T>, payload_dims: Vec<usize>, strides: Vec<isize>, axis_classes: Vec<usize>, ) -> Result<StructuredStorage<T>, Error>

Creates a structured payload snapshot from explicit payload metadata.

payload_dims and strides describe the compressed payload tensor, while axis_classes maps logical axes onto payload axes in canonical first-appearance order.

§Errors

Returns an error if:

  • axis_classes is not in canonical first-appearance form
  • payload_dims rank does not match axis_classes
  • strides rank does not match payload_dims
  • data length does not match the required storage length
§Examples
use tensor4all_tensorbackend::StructuredStorage;

// Dense 2x3 with explicit column-major strides
let s = StructuredStorage::new(
    vec![1.0, 2.0, 3.0, 4.0, 5.0, 6.0],
    vec![2, 3],     // payload_dims
    vec![1, 2],     // column-major strides
    vec![0, 1],     // axis_classes: each axis is independent
).unwrap();
assert!(s.is_dense());
assert_eq!(s.len(), 6);

pub fn from_dense_col_major( data: Vec<T>, logical_dims: &[usize], ) -> StructuredStorage<T>

Creates a dense structured snapshot from column-major logical data.

§Panics

Panics if data.len() does not equal the product of logical_dims.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let s = StructuredStorage::from_dense_col_major(vec![10.0, 20.0, 30.0, 40.0], &[2, 2]);
assert!(s.is_dense());
assert_eq!(s.data(), &[10.0, 20.0, 30.0, 40.0]);

pub fn from_diag_col_major( diag_data: Vec<T>, logical_rank: usize, ) -> StructuredStorage<T>

Creates a diagonal structured snapshot from column-major diagonal data.

The resulting tensor has logical_rank axes, each of size diag_data.len(). Only the diagonal entries are stored.

§Panics

Panics if logical_rank is zero and data is non-empty.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let d = StructuredStorage::from_diag_col_major(vec![1.0, 2.0, 3.0], 2);
assert!(d.is_diag());
assert_eq!(d.logical_dims(), vec![3, 3]);
assert_eq!(d.data(), &[1.0, 2.0, 3.0]);

pub fn data(&self) -> &[T]

Returns the payload data buffer as a slice.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let s = StructuredStorage::from_dense_col_major(vec![1.0, 2.0], &[2]);
assert_eq!(s.data(), &[1.0, 2.0]);

pub fn payload_dims(&self) -> &[usize]

Returns the payload tensor dimensions.

For dense tensors, this equals the logical dimensions. For diagonal tensors, this is a single-element slice [n] where n is the diagonal length.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let s = StructuredStorage::from_dense_col_major(vec![0.0; 6], &[2, 3]);
assert_eq!(s.payload_dims(), &[2, 3]);

let d = StructuredStorage::from_diag_col_major(vec![1.0, 2.0], 3);
assert_eq!(d.payload_dims(), &[2]);

pub fn strides(&self) -> &[isize]

Returns the payload tensor strides.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

// Column-major 2x3: strides are [1, 2]
let s = StructuredStorage::from_dense_col_major(vec![0.0; 6], &[2, 3]);
assert_eq!(s.strides(), &[1, 2]);

pub fn axis_classes(&self) -> &[usize]

Returns the canonical logical-to-payload axis classes.

Each entry maps a logical axis to a payload axis index. Repeated values indicate axes that share the same payload dimension (e.g., diagonal).

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let dense = StructuredStorage::from_dense_col_major(vec![0.0; 4], &[2, 2]);
assert_eq!(dense.axis_classes(), &[0, 1]);

let diag = StructuredStorage::from_diag_col_major(vec![1.0, 2.0], 2);
assert_eq!(diag.axis_classes(), &[0, 0]);

pub fn logical_dims(&self) -> Vec<usize>

Returns the logical dimensions derived from payload_dims and axis_classes.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let d = StructuredStorage::from_diag_col_major(vec![1.0, 2.0, 3.0], 3);
assert_eq!(d.logical_dims(), vec![3, 3, 3]);

pub fn logical_rank(&self) -> usize

Returns the logical rank (number of logical axes).

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let s = StructuredStorage::from_dense_col_major(vec![0.0; 6], &[2, 3]);
assert_eq!(s.logical_rank(), 2);

pub fn is_dense(&self) -> bool

Returns true when the logical tensor is dense (each logical axis maps to a unique payload axis).

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let s = StructuredStorage::from_dense_col_major(vec![1.0, 2.0], &[2]);
assert!(s.is_dense());

let d = StructuredStorage::from_diag_col_major(vec![1.0, 2.0], 2);
assert!(!d.is_dense());

pub fn is_diag(&self) -> bool

Returns true when the logical tensor is diagonal (rank >= 2 and all logical axes map to the same payload axis).

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let d = StructuredStorage::from_diag_col_major(vec![1.0, 2.0], 2);
assert!(d.is_diag());

let s = StructuredStorage::from_dense_col_major(vec![1.0, 2.0], &[2]);
assert!(!s.is_diag());

pub fn len(&self) -> usize

Returns the payload buffer length.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let dense = StructuredStorage::from_dense_col_major(vec![1.0, 2.0, 3.0], &[3]);
assert_eq!(dense.len(), 3);

let diag = StructuredStorage::from_diag_col_major(vec![1.0, 2.0], 2);
assert_eq!(diag.len(), 2);

pub fn is_empty(&self) -> bool

Returns true when the payload buffer is empty.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let empty = StructuredStorage::from_dense_col_major(Vec::<f64>::new(), &[0]);
assert!(empty.is_empty());

let non_empty = StructuredStorage::from_dense_col_major(vec![1.0], &[1]);
assert!(!non_empty.is_empty());

pub fn dense_col_major_view_if_contiguous(&self) -> Option<&[T]>

Returns a borrowed view when the logical tensor is dense and the payload is already stored contiguously in column-major order.

Returns None for diagonal or non-contiguous payloads.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let s = StructuredStorage::from_dense_col_major(vec![1.0, 2.0, 3.0], &[3]);
assert_eq!(s.dense_col_major_view_if_contiguous(), Some(&[1.0, 2.0, 3.0][..]));

let d = StructuredStorage::from_diag_col_major(vec![1.0, 2.0], 2);
assert_eq!(d.dense_col_major_view_if_contiguous(), None);
§

impl<T> StructuredStorage<T>
where T: Clone,

pub fn payload_col_major_vec(&self) -> Vec<T>

Materializes the payload tensor as a contiguous column-major buffer.

If the payload is already column-major, returns a clone.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let s = StructuredStorage::from_dense_col_major(vec![1.0, 2.0, 3.0, 4.0], &[2, 2]);
assert_eq!(s.payload_col_major_vec(), vec![1.0, 2.0, 3.0, 4.0]);

pub fn permute_logical_axes(&self, perm: &[usize]) -> StructuredStorage<T>

Returns a copy of the storage with logical axes permuted.

§Panics

Panics if perm.len() does not equal the logical rank.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

// Diagonal 3x3x3 tensor; permute axes (identity for diag is always valid)
let d = StructuredStorage::from_diag_col_major(vec![1.0, 2.0, 3.0], 3);
let p = d.permute_logical_axes(&[2, 0, 1]);
// Diagonal: all axes share the same dimension, so dims stay the same
assert_eq!(p.logical_dims(), vec![3, 3, 3]);
assert!(p.is_diag());
§

impl<T> StructuredStorage<T>
where T: Copy,

pub fn map_copy<U>(&self, f: impl FnMut(T) -> U) -> StructuredStorage<U>

Maps payload elements while preserving payload metadata and axis classes.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

let s = StructuredStorage::from_dense_col_major(vec![1.0, 2.0, 3.0], &[3]);
let doubled = s.map_copy(|x| x * 2.0);
assert_eq!(doubled.data(), &[2.0, 4.0, 6.0]);
§

impl<T> StructuredStorage<T>
where T: Copy + Default,

pub fn logical_dense_col_major_vec(&self) -> Vec<T>

Materializes the logical tensor as a contiguous column-major dense buffer.

Repeated entries in axis_classes encode equality constraints between logical axes. Logical indices that violate those constraints are structural zeros in the dense materialization.

§Examples
use tensor4all_tensorbackend::StructuredStorage;

// Diagonal [1, 2] in 2x2 becomes [1, 0, 0, 2] column-major
let d = StructuredStorage::from_diag_col_major(vec![1.0, 2.0], 2);
assert_eq!(d.logical_dense_col_major_vec(), vec![1.0, 0.0, 0.0, 2.0]);

Trait Implementations§

§

impl<T> Clone for StructuredStorage<T>
where T: Clone,

§

fn clone(&self) -> StructuredStorage<T>

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
§

impl<T> Debug for StructuredStorage<T>
where T: Debug,

§

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

Formats the value using the given formatter. Read more
§

impl<T> PartialEq for StructuredStorage<T>
where T: PartialEq,

§

fn eq(&self, other: &StructuredStorage<T>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
§

impl<T> StructuralPartialEq for StructuredStorage<T>

Auto Trait Implementations§

§

impl<T> Freeze for StructuredStorage<T>

§

impl<T> RefUnwindSafe for StructuredStorage<T>
where T: RefUnwindSafe,

§

impl<T> Send for StructuredStorage<T>
where T: Send,

§

impl<T> Sync for StructuredStorage<T>
where T: Sync,

§

impl<T> Unpin for StructuredStorage<T>
where T: Unpin,

§

impl<T> UnsafeUnpin for StructuredStorage<T>

§

impl<T> UnwindSafe for StructuredStorage<T>
where T: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

impl<U> As for U

§

fn as_<T>(self) -> T
where T: CastFrom<U>,

Casts self to type T. The semantics of numeric casting with the as operator are followed, so <T as As>::as_::<U> can be used in the same way as T as U for numeric conversions. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> ByRef<T> for T

§

fn by_ref(&self) -> &T

§

impl<T> ByRef<T> for T

§

fn by_ref(&self) -> &T

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<T> DistributionExt for T
where T: ?Sized,

§

fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> T
where Self: Distribution<T>,

§

impl<T> DistributionExt for T
where T: ?Sized,

§

fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> T
where Self: Distribution<T>,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T, U> Imply<T> for U
where T: ?Sized, U: ?Sized,

§

impl<T> MaybeSend for T

§

impl<T> MaybeSendSync for T

§

impl<T> MaybeSync for T