Struct DependentType 

pub struct DependentType {
    pub base_type: String,
    pub type_params: Vec<String>,
    pub dim_params: Vec<DimExpr>,
    pub name: Option<String>,
    pub description: Option<String>,
    pub constraints: Vec<DimConstraint>,
}

A dependent type with dimension parameters.

Fields

base_type: String

Base type name

type_params: Vec<String>

Type parameters (other types)

dim_params: Vec<DimExpr>

Dimension parameters

name: Option<String>

Optional name for the dependent type

description: Option<String>

Description

constraints: Vec<DimConstraint>

Constraints between dimensions

Implementations

impl DependentType

pub fn new(base_type: impl Into<String>) -> Self

Create a new dependent type with a base type.

pub fn scalar(element_type: impl Into<String>) -> Self

Create a scalar type.

pub fn vector(element_type: impl Into<String>, length: DimExpr) -> Self

Create a vector type with a dimension.

pub fn matrix( element_type: impl Into<String>, rows: DimExpr, cols: DimExpr, ) -> Self

Create a matrix type with dimensions.

pub fn tensor(element_type: impl Into<String>, dims: Vec<DimExpr>) -> Self

Create a tensor type with arbitrary dimensions.

pub fn with_name(self, name: impl Into<String>) -> Self

Set the name of this type.

pub fn with_description(self, description: impl Into<String>) -> Self

Set the description.

pub fn with_type_param(self, param: impl Into<String>) -> Self

Add a type parameter.

pub fn with_dim_param(self, dim: DimExpr) -> Self

Add a dimension parameter.

pub fn with_constraint(self, constraint: DimConstraint) -> Self

Add a dimension constraint.

pub fn type_name(&self) -> String

Get the effective name.

pub fn eval_shape(&self, ctx: &DependentTypeContext) -> Option<Vec<usize>>

Evaluate the shape of this type in a context.

pub fn rank(&self) -> usize

Get the rank (number of dimensions).

pub fn free_variables(&self) -> Vec<String>

Get all free dimension variables.

pub fn check_constraints( &self, ctx: &DependentTypeContext, ) -> Result<(), String>

Check if constraints are satisfied in a context.

pub fn is_compatible_with( &self, other: &DependentType, ctx: &DependentTypeContext, ) -> bool

Check if this type is compatible with another for assignment.

Trait Implementations

impl Clone for DependentType

fn clone(&self) -> DependentType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DependentType

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

Formats the value using the given formatter.