quantalang 1.0.0

The QuantaLang compiler — an effects-oriented systems language with multi-backend codegen (C, HLSL, GLSL, SPIR-V, LLVM IR, WebAssembly, x86-64, ARM64)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

// ===============================================================================
// QUANTALANG TYPE SYSTEM
// ===============================================================================
// Copyright (c) 2022-2026 Zain Dana Harper. MIT License.
// ===============================================================================

//! # Type System
//!
//! This module implements QuantaLang's type system, featuring:
//! - Hindley-Milner type inference with extensions
//! - Bidirectional type checking
//! - Trait-based polymorphism
//! - Higher-kinded types (HKT)
//! - Algebraic effect system
//! - Const generics
//!
//! ## Architecture
//!
//! The type system consists of several components:
//! - `ty`: Core type representation
//! - `context`: Type environment and scoping
//! - `infer`: Type inference engine
//! - `unify`: Unification algorithm
//! - `check`: Type checking passes
//! - `traits`: Trait resolution
//! - `hkt`: Higher-kinded types and kind system
//! - `effects`: Algebraic effect system
//! - `const_generics`: Compile-time constant values as type parameters
//!
//! ## Example
//!
//! ```rust,ignore
//! use quantalang::types::{TypeChecker, TypeContext};
//! use quantalang::ast::Module;
//!
//! let mut ctx = TypeContext::new();
//! let mut checker = TypeChecker::new(&mut ctx);
//! checker.check_module(&module)?;
//! ```

mod builtins;
mod check;
mod const_generics;
mod context;
mod effects;
mod error;
mod hkt;
mod infer;
mod traits;
mod ty;
mod unify;

pub use builtins::*;
pub use check::*;
pub use const_generics::*;
pub use context::*;
pub use effects::*;
pub use error::*;
pub use hkt::*;
pub use infer::*;
pub use traits::*;
pub use ty::*;
pub use unify::*;