Struct TensorMeta 

pub struct TensorMeta {
    pub dtype: DType,
    pub extents: Vec<ShapeExtent<SymDim>>,
    pub scalar_identity: Option<&'static str>,
}

Per-value tensor metadata used by AD rules.

Shape information is stored as per-axis ShapeExtent values. Callers must explicitly choose whether they need an exact shape or only a known bound.

Examples

use tenferro_ops::{SymDim, TensorMeta};
use tenferro_tensor::DType;

let meta = TensorMeta::exact(DType::F64, vec![SymDim::from(2usize), SymDim::from(3usize)]);
assert_eq!(meta.rank(), 2);

Fields

dtype: DType

Element dtype of the tensor value.

extents: Vec<ShapeExtent<SymDim>>

Per-axis shape guarantees.

scalar_identity: Option<&'static str>

Canonical identity of an externally defined scalar, when the value carries one.

A semantic program’s identity must be reproducible across processes, while an externally defined scalar’s tag is a process-local TypeId, so a traced value whose dtype is external declares the stable name here.

Implementations

impl TensorMeta

pub fn exact(dtype: DType, shape: Vec<SymDim>) -> Self

Construct metadata whose every axis is exact.

Examples

use tenferro_ops::{SymDim, TensorMeta};
use tenferro_tensor::DType;

let meta = TensorMeta::exact(DType::F64, vec![SymDim::from(4usize)]);
assert_eq!(meta.exact_shape(), Some(vec![SymDim::from(4usize)]));

pub fn with_extents(dtype: DType, extents: Vec<ShapeExtent<SymDim>>) -> Self

Construct metadata from per-axis extents.

Examples

use tenferro_ops::{ShapeExtent, SymDim, TensorMeta};
use tenferro_tensor::DType;

let meta = TensorMeta::with_extents(
    DType::F64,
    vec![ShapeExtent::upper_bound(SymDim::from(8usize))],
);
assert_eq!(meta.exact_shape(), None);

pub fn with_scalar_identity(self, identity: &'static str) -> Self

Declare the canonical identity of an externally defined scalar.

Examples

use tenferro_ops::{SymDim, TensorMeta};
use tenferro_tensor::DType;

let dtype = DType::External(std::any::TypeId::of::<f64>());
let meta = TensorMeta::exact(dtype, vec![SymDim::from(2usize)])
    .with_scalar_identity("example.scalar.v1");
assert_eq!(meta.scalar_identity(), Some("example.scalar.v1"));

pub const fn scalar_identity(&self) -> Option<&'static str>

Return the declared identity of an externally defined scalar, if any.

Examples

use tenferro_ops::{SymDim, TensorMeta};
use tenferro_tensor::DType;

let dtype = DType::External(std::any::TypeId::of::<f64>());
assert_eq!(TensorMeta::exact(dtype, vec![SymDim::from(1usize)]).scalar_identity(), None);
assert_eq!(
    TensorMeta::exact(dtype, vec![SymDim::from(1usize)])
        .with_scalar_identity("example.scalar.v1")
        .scalar_identity(),
    Some("example.scalar.v1")
);

pub fn rank(&self) -> usize

Return the tensor rank known by this metadata record.

pub fn extents(&self) -> &[ShapeExtent<SymDim>]

Return the per-axis shape guarantees.

Examples

use tenferro_ops::{SymDim, TensorMeta};
use tenferro_tensor::DType;

let meta = TensorMeta::exact(DType::F64, vec![SymDim::from(4usize)]);
assert_eq!(meta.extents().len(), 1);

pub fn exact_shape(&self) -> Option<Vec<SymDim>>

Return the shape only when every axis is exact.

Examples

use tenferro_ops::{ShapeExtent, SymDim, TensorMeta};
use tenferro_tensor::DType;

let meta = TensorMeta::with_extents(
    DType::F64,
    vec![ShapeExtent::upper_bound(SymDim::from(8usize))],
);
assert_eq!(meta.exact_shape(), None);

pub fn bound_shape(&self) -> Option<Vec<SymDim>>

Return one known bound per axis when every axis has a bound.

This is intentionally separate from TensorMeta::exact_shape: a bound is not proof of the runtime size.

Trait Implementations

impl Clone for TensorMeta

fn clone(&self) -> TensorMeta

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TensorMeta

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

Formats the value using the given formatter.

impl Eq for TensorMeta

impl PartialEq for TensorMeta

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TensorMeta