Struct DependentTypeContext 

pub struct DependentTypeContext { /* private fields */ }

Context for evaluating dependent types.

Implementations

impl DependentTypeContext

pub fn new() -> Self

Create a new empty context.

pub fn set_dim(&mut self, name: impl Into<String>, value: usize)

Set a dimension variable.

pub fn get_dim(&self, name: &str) -> Option<&usize>

Get a dimension variable.

pub fn set_type(&mut self, name: impl Into<String>, ty: DependentType)

Register a type definition.

pub fn get_type(&self, name: &str) -> Option<&DependentType>

Get a type definition.

pub fn has_dim(&self, name: &str) -> bool

Check if a dimension variable exists.

pub fn dim_names(&self) -> Vec<&str>

Get all dimension variable names.

pub fn clear_dims(&mut self)

Clear all dimension bindings.

pub fn unify(&mut self, a: &DimExpr, b: &DimExpr) -> bool

Unify two dimension expressions if possible.

Returns true if unification succeeds and updates the context.

Trait Implementations

impl Clone for DependentTypeContext

fn clone(&self) -> DependentTypeContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DependentTypeContext

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

Formats the value using the given formatter.

impl Default for DependentTypeContext

fn default() -> DependentTypeContext

Returns the “default value” for a type.