Struct LinearContext 

pub struct LinearContext { /* private fields */ }

Linear typing context for tracking variable usage.

Implementations

impl LinearContext

pub fn new() -> Self

pub fn bind(&mut self, name: impl Into<String>, linear_type: LinearType)

Bind a variable with a linear type

pub fn use_var(&mut self, name: &str) -> Result<(), IrError>

Use a variable (increment use count)

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

Check if a variable is linear

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

Check if a variable is consumed

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

Get the linear type of a variable

pub fn validate(&self) -> Result<(), Vec<String>>

Validate all usage counts at the end of scope

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

Get all unused variables with relevant or linear multiplicity

pub fn merge(&self, other: &LinearContext) -> Result<LinearContext, IrError>

Merge two contexts (for branching control flow)

pub fn split(&mut self, vars: &[String]) -> Result<LinearContext, IrError>

Split context for parallel use (e.g., function arguments)

Trait Implementations

impl Clone for LinearContext

fn clone(&self) -> LinearContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearContext

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

Formats the value using the given formatter.

impl Default for LinearContext

fn default() -> LinearContext

Returns the “default value” for a type.