tsz-solver 0.1.0

TypeScript type solver for the tsz compiler
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

//! Type evaluation rules organized by type category.
//!
//! This module contains the implementation of TypeScript's meta-type evaluation,
//! split into focused modules for maintainability:
//!
//! - `conditional`: Conditional type evaluation (T extends U ? X : Y)
//! - `index_access`: Index access type evaluation (T[K])
//! - `mapped`: Mapped type evaluation ({ [K in keyof T]: T[K] })
//! - `keyof`: keyof operator evaluation
//! - `template_literal`: Template literal type evaluation
//! - `string_intrinsic`: String manipulation intrinsics (Uppercase, etc.)
//! - `infer_pattern`: Pattern matching for infer types
//! - `apparent`: Apparent type utilities for primitives

pub mod apparent;
pub mod conditional;
pub mod index_access;
pub mod infer_pattern;
mod infer_pattern_helpers;
pub mod infer_substitutor;
pub mod keyof;
pub mod mapped;
pub mod string_intrinsic;
pub mod template_literal;