vyre-primitives 0.4.1

Compositional primitives for vyre — marker types (always on) + Tier 2.5 LEGO substrate (feature-gated per domain).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! Type-discipline primitives (P-PRIM-14, P-PRIM-15, …).
//!
//! Pure-CPU type-checker primitives the optimizer / validate pipeline
//! consumes to reject ill-typed programs before lowering. Each
//! primitive is a single function with no IR-builder dependency so
//! it can run inside any layer of the workspace.

pub mod linear_check;
pub mod shape_smt;

pub use linear_check::{check_linear_use, LinearDiscipline, LinearTypeError};
pub use shape_smt::{evaluate as evaluate_shape, ShapeFormula};