3 Repos
Utilities for evaluating truth values and logical operations within the type system.
Distinct from Boolean Logic Types: Candidates focus on runtime boolean logic, vector evaluators, or attribute extraction rather than compile-time type evaluation.
Explore 3 awesome GitHub repositories matching programming languages & runtimes · Type-Level Boolean Logic. Refine with filters or upvote what's useful.
type-fest is a library of reusable utility types for performing complex transformations and validations on objects, arrays, strings, and numeric ranges in TypeScript. It provides a collection of type definitions designed to handle advanced structural changes and constraints. The project distinguishes itself by offering specialized logic for string literal processing, such as casing transformations and pattern-based modifications, and type-level arithmetic for calculating numeric ranges and absolute values. It also includes utilities for enforcing deep immutability, ensuring union mutual exclu
Provides a utility to determine if two given types are both true at the type level.
ts-toolbelt is a collection of specialized utilities for manipulating and validating TypeScript types. It provides a toolkit for performing complex transformations on objects, unions, and functions to enforce strict data consistency at compile time. The library features dedicated transformers for function types, including utilities for currying, composition, and signature extraction. It also includes an object type manipulator for deep merging, patching, and reshaping complex structures. The capability surface extends to literal string processing, type-level arithmetic, and tuple operations.
Calculates the logical AND of two boolean types to return the resulting type at compile time.
Dies ist eine C++-Ranges-Bibliothek und Erweiterung der Standard Template Library, die eine Sammlung zusammensetzbarer Algorithmen und Lazy Views für die Verarbeitung von Datensequenzen bereitstellt. Sie fungiert als Framework für die Verarbeitung von Lazy-Sequenzen und als Template-Metaprogrammierungsbibliothek zur Manipulation von Typenlisten und zur Durchführung von Typberechnungen zur Kompilierzeit. Das Projekt ermöglicht funktionale Programmiermuster in C++ durch die Verwendung von Pipe-Syntax und partieller Anwendung, um lesbare, von links nach rechts verlaufende Datentransformationsketten zu erstellen. Es erlaubt die Konstruktion von Lazy-Datenpipelines, die Elemente bei Bedarf filtern und transformieren, um den Speicherbedarf zu reduzieren und unnötige Kopien zu vermeiden. Die Bibliothek deckt breite Funktionsbereiche ab, einschließlich Sequenzmanipulation, Typmanipulation zur Kompilierzeit sowie die Implementierung benutzerdefinierter Range-Typen und Iteratoren. Sie bietet Tools für Eager-In-Place-Containermutation, projektionsbasiertes Algorithmus-Dispatching und die Verwaltung von Typenlisten durch eine Reihe von Callables auf Typebene.
Evaluates boolean-like logical conditions such as and, or, and not across different types at compile time.