Struct ProgramValueMetadata 

pub struct ProgramValueMetadata { /* private fields */ }

Dtype and ordered symbolic extents of one semantic SSA value.

Implementations

impl ProgramValueMetadata

pub fn new(dtype: DType, shape: impl IntoIterator<Item = DimExpr>) -> Self

Construct value metadata from a dtype and symbolic shape.

pub fn from_extents( dtype: DType, shape: impl IntoIterator<Item = ShapeExtent<DimExpr>>, ) -> Self

Construct metadata with explicit exact, bounded, or unknown extents.

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

Declare the canonical identity of an externally defined scalar.

A semantic program’s identity must be reproducible across processes, and an externally defined tag is a process-local TypeId, so a program that carries one has to declare the stable name. The name belongs to the contribution that owns the scalar, and two scalars must not share one.

Examples

use tenferro_ops::dim_expr::DimExpr;
use tenferro_runtime::program::ProgramValueMetadata;
use tenferro_tensor::DType;

let dtype = DType::External(std::any::TypeId::of::<f64>());
let declared = ProgramValueMetadata::new(dtype, [DimExpr::Const(3)])
    .with_scalar_identity("example.scalar.v1");
assert_eq!(declared.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.

pub const fn dtype(&self) -> DType

Return the value dtype.

pub fn shape(&self) -> &[ShapeExtent<DimExpr>]

Borrow the ordered symbolic extents without allocation.

Trait Implementations

impl Clone for ProgramValueMetadata

fn clone(&self) -> ProgramValueMetadata

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramValueMetadata

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

Formats the value using the given formatter.

impl Eq for ProgramValueMetadata

impl Hash for ProgramValueMetadata

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ProgramValueMetadata

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProgramValueMetadata