gvergnaud/hotscript
Hotscript
Hotscript is a comprehensive suite of composable utilities designed for performing structural transformations and mathematical operations within the TypeScript type system. It serves as a type-level manipulation library that provides a set of higher-order functions to map, filter, and reduce the structure of type definitions.
The project focuses on type-level programming by implementing reusable logic and calculations directly within types. This includes the ability to create custom type functions, implement type-level pattern matching, and compose sequences of transformations where each operation uses the previous result as input.
The toolkit covers several core capability areas, including type-level arithmetic for numeric literals and the programatic modification of object structures. It also provides tools for string literal parsing and the manipulation of tuple elements through operations such as zipping, flattening, and slicing.
Features
- Type Transformations - Provides a comprehensive functional toolset for performing intricate structural transformations on complex TypeScript types.
- Recursive Object Type Transformers - Allows programmatically modifying deeply nested object structures by renaming keys or changing property types recursively.
- String Literal Type Manipulations - Splits and modifies string literal types to extract specific segments of text for use in type definitions.
- Type-Level Arithmetic - Calculates sums, differences, products, and quotients using number literal types and recursive tuple length logic.
- Type-Level Programming Utilities - Implements reusable logic and calculations directly within the type system to automate the generation and validation of types.
- Type Transformation Pipelines - Implements a pipeline for composing multiple type transformations where the output of one utility becomes the input for another.
- Arithmetic Operations - Simulates basic mathematical calculations by recursively counting or subtracting elements from tuple lengths at the type level.
- Custom Type Functions - Provides a mechanism for creating reusable, composable type-level logic blocks and functions.
- Transformation Pipelines - Enables the composition of type transformations into pipelines where results flow sequentially through multiple functions.
- Mapped Type Transformations - Provides utilities to programmatically alter object property modifiers and value types by iterating over keys using mapped types.
- Recursive Mapped Types - Uses nested conditional types to iteratively process and transform complex, nested type structures until a base case is reached.
- Template Literal Parsing - Deconstructs and recomposes string literal types using template strings to perform complex text-based transformations at compile time.
- Generic Manipulation Toolsets - Ships a set of higher-order functions for mapping, filtering, and reducing the structure of TypeScript type definitions.
- Type Transformation Libraries - Provides a library of composable functions for transforming and manipulating complex TypeScript types at the type level.
- Variadic Tuple Manipulation - Employs spread operators and indexed access types to filter, slice, and modify elements within tuple types.
- Object Type Transformations - Changes object structures by removing keys, assigning new values, or renaming keys to different cases at the type level.
- Element Mapping and Filtering - Implements tools to change every item in a tuple or remove specific elements using a filtering predicate.
- Metadata Extraction - Implements utilities to extract return types and parameter lists from function definitions for further transformation.
- Type-Level Pattern Matching - Implements a utility to evaluate types against predefined patterns to determine the resulting type.
