uni-types

Universal TypeScript Type Utilities

A comprehensive collection of type helpers for TypeScript development

Documentation · 中文文档

Features

• 🎯 2000+ Type Utilities - Comprehensive type helpers for every use case
• 🔒 Type Safe - Full TypeScript support with strict type checking
• 📦 Zero Dependencies - Lightweight and tree-shakeable
• 🚀 TypeScript 5.x - Built with the latest TypeScript features
• 🌍 Bilingual Docs - Documentation in English and Chinese

Installation

# pnpm
pnpm add uni-types

# yarn
yarn add uni-types

# npm
npm install uni-types

Quick Start

import type {
  PickRequired,
  DeepPartial,
  IsArray,
  Brand,
  If,
  Paths
} from 'uni-types'

// Core: Make specific properties required
interface User {
  name?: string
  age?: number
  email: string
}

type RequiredUser = PickRequired<User, 'name' | 'age'>
// { name: string; age: number; email: string }

// Deep: Make all nested properties optional
interface Config {
  database: {
    host: string
    port: number
  }
}

type PartialConfig = DeepPartial<Config>
// { database?: { host?: string; port?: number } }

// Brand: Create nominal types
type UserId = Brand<string, 'UserId'>
type OrderId = Brand<string, 'OrderId'>
// UserId and OrderId are not interchangeable!

// Conditional: Type-level logic
type Result = If<true, 'success', 'error'> // 'success'

API Reference

Core Operations

| Type | Description | |------|-------------| | PickRequired<T, K> | Make specified properties required | | OmitRequired<T, K> | Make properties except specified ones required | | PickPartial<T, K> | Make specified properties optional | | OmitPartial<T, K> | Make properties except specified ones optional |

Tuple Operations

| Type | Description | |------|-------------| | Head<T> | Get first element of tuple | | Last<T> | Get last element of tuple | | Tail<T> | Get all elements except first | | Init<T> | Get all elements except last | | Reverse<T> | Reverse a tuple | | Flatten<T> | Flatten nested tuples | | TupleLength<T> | Get tuple length | | IsEmptyTuple<T> | Check if tuple is empty |

Deep Operations

| Type | Description | |------|-------------| | DeepPartial<T> | Make all nested properties optional | | DeepRequired<T> | Make all nested properties required | | DeepReadonly<T> | Make all nested properties readonly | | DeepMutable<T> | Make all nested properties mutable | | DeepOmit<T, P> | Omit properties by path | | DeepPick<T, P> | Pick properties by path |

Type Guards

| Type | Description | |------|-------------| | IsArray<T> | Check if type is an array | | IsTuple<T> | Check if type is a tuple | | IsEqual<X, Y> | Check if two types are equal | | IsAny<T> | Check if type is any | | IsNever<T> | Check if type is never | | IsUnknown<T> | Check if type is unknown | | IsFunction<T> | Check if type is a function | | IsAsyncFunction<T> | Check if type is an async function |

Conditional Types (v1.1.0)

| Type | Description | |------|-------------| | If<C, T, F> | Type-level if-then-else | | Not<B> | Logical NOT for boolean types | | And<A, B> | Logical AND for boolean types | | Or<A, B> | Logical OR for boolean types | | Assert<T, U> | Type constraint assertion |

Brand Types (v1.1.0)

| Type | Description | |------|-------------| | Brand<T, B> | Create a branded type for nominal typing | | Unbrand<T> | Extract underlying type from branded type |

Function Utilities (v1.1.0)

| Type | Description | |------|-------------| | Parameters<T> | Get function parameters as tuple | | ReturnType<T> | Get function return type | | NthParameter<T, N> | Get Nth parameter type | | AsyncReturnType<T> | Extract async function return type | | ThisParameterType<T> | Get this parameter type | | OmitThisParameter<T> | Omit this parameter from function |

Template Literal Utilities (v1.1.0)

| Type | Description | |------|-------------| | ReplaceAll<S, From, To> | Replace all occurrences | | Replace<S, From, To> | Replace first occurrence | | Trim<S> | Trim whitespace | | StringToArray<S> | Convert string to array | | CapitalizeAll<S> | Capitalize all words | | StartsWith<S, P> | Check if string starts with prefix | | EndsWith<S, P> | Check if string ends with suffix | | StringLength<S> | Get string length |

Numeric Utilities (v1.1.0)

| Type | Description | |------|-------------| | Inc<N> | Increment number | | Dec<N> | Decrement number | | Add<A, B> | Add two numbers | | Subtract<A, B> | Subtract two numbers | | GreaterThan<A, B> | Check if A > B | | LessThan<A, B> | Check if A < B | | Max<A, B> | Maximum of two numbers | | Min<A, B> | Minimum of two numbers |

Path Types

| Type | Description | |------|-------------| | Paths<T> | Get all nested property paths | | PathValue<T, P> | Get value type at path | | ValidPath<T, P> | Check if path is valid | | ArrayPaths<T> | Get paths including array indices | | LeafPaths<T> | Get paths to primitive values |

Key Utilities (v1.1.0)

| Type | Description | |------|-------------| | Keys<T> | Get all keys | | RenameKeys<T, M> | Rename keys based on mapping | | PrefixKeys<T, P> | Add prefix to all keys | | SuffixKeys<T, S> | Add suffix to all keys | | KeysByValueType<T, V> | Get keys by value type |

Record Utilities (v1.1.0)

| Type | Description | |------|-------------| | DeepNullable<T> | Make all properties nullable | | DeepOptional<T> | Make all properties optional | | Immutable<T> | Make all properties readonly | | Mutable<T> | Make all properties mutable | | DeepNonNullable<T> | Remove null/undefined from all properties | | Exact<T, Shape> | Ensure exact shape match |

Schema Validation (v1.2.0)

| Type | Description | |------|-------------| | RuntimeGuard<T> | Define type guard function for runtime checking | | GuardedType<G> | Extract type from type guard function | | HasRuntimeCheck<T> | Check if type has runtime check available | | ZodOutput<T> | Extract output type from Zod schema | | ZodInput<T> | Extract input type from Zod schema | | ZodShape<T> | Extract shape from ZodObject schema | | ZodRequiredKeys<T> | Get required keys from Zod schema | | ZodOptionalKeys<T> | Get optional keys from Zod schema | | YupOutput<T> | Extract output type from Yup schema | | YupInput<T> | Extract input type from Yup schema |

Ecosystem Integration (v1.2.0)

| Type | Description | |------|-------------| | ComponentProps<T> | Extract props from React component | | PropsWithChildren<P> | Add children to props type | | RequiredProps<P> | Get required prop keys | | OptionalProps<P> | Get optional prop keys | | VuePropType<T> | Vue prop type definition | | VueEmitType<T> | Vue emit function type | | PrismaCreateInput<T> | Create input type for Prisma models | | PrismaUpdateInput<T> | Update input type for Prisma models | | PrismaWhereInput<T> | Where input type for Prisma queries | | TRPCProcedureInput<T> | Extract input from tRPC procedure | | TRPCProcedureOutput<T> | Extract output from tRPC procedure |

Performance Optimization (v1.2.0)

| Type | Description | |------|-------------| | Simplify<T> | Flatten intersection types | | DeepSimplify<T> | Recursively simplify nested types | | Compact<T> | Remove never and undefined properties | | StripNever<T> | Remove never properties | | StripUndefined<T> | Remove undefined properties | | MergeAll<T> | Merge multiple object types | | Lazy<T> | Defer type evaluation | | Cached<T> | Cache type computation | | Memoized<T> | Memoize type computation |

Advanced Type Patterns (v1.3.0)

| Type | Description | |------|-------------| | Match<T, Patterns> | Type-level pattern matching | | Recurse<T, Limit> | Type-level recursion with depth limit | | Depth<T> | Get maximum depth of nested type | | TypeFilter<T, P> | Filter tuple by predicate | | TypeFind<T, P> | Find first matching element | | TypeIncludes<T, E> | Check if tuple includes element | | TypeEvery<T, P> | Check if all elements match | | TypeSome<T, P> | Check if any element matches |

Type-Level Collections (v1.3.0)

| Type | Description | |------|-------------| | TypeSet<T> | Type-level Set representation | | SetAdd<S, T> | Add element to type set | | SetRemove<S, T> | Remove element from type set | | SetUnion<A, B> | Union of two type sets | | SetIntersection<A, B> | Intersection of two type sets | | SetDifference<A, B> | Difference of two type sets | | TypeMap<K, V> | Type-level Map representation | | MapGet<M, K> | Get value from type map | | MapSet<M, K, V> | Set value in type map | | ListFilter<T, P> | Filter list elements | | ListReverse<T> | Reverse a list | | ListConcat<A, B> | Concatenate two lists | | ListTake<T, N> | Take first N elements | | ListChunk<T, N> | Chunk list into sublists |

Type Assertions & Constraints (v1.3.0)

| Type | Description | |------|-------------| | AssertEqual<T, Expected> | Assert types are equal | | AssertExtends<T, U> | Assert T extends U | | RequireKeys<T, K> | Require specific keys | | RequireAtLeastOne<T, K> | Require at least one key | | RequireExactlyOne<T, K> | Require exactly one key | | RequireAllOrNone<T, K> | Require all or none keys | | HasProperty<T, K> | Ensure object has property | | RequireArray<T> | Ensure type is array | | RequireFunction<T> | Ensure type is function |

String Operations (v1.3.0)

| Type | Description | |------|-------------| | Split<S, D> | Split string by delimiter | | Join<T, S> | Join string array with separator | | KebabCase<S> | Convert to kebab-case | | PascalCase<S> | Convert to PascalCase | | ConstantCase<S> | Convert to CONSTANT_CASE | | IsEmail<S> | Check if string is email | | IsUUID<S> | Check if string is UUID | | IsURL<S> | Check if string is URL | | ReverseString<S> | Reverse a string |

Promise & Async Utilities (v1.3.0)

| Type | Description | |------|-------------| | PromiseValue<T> | Extract value from Promise (deep) | | IsPromise<T> | Check if type is Promise | | UnwrapPromise<T> | Unwrap or return original | | AsyncReturnType<T> | Return type of async function | | MakeAsync<T> | Make function async | | PromiseAll<T> | Await all promises | | AsyncResult<T, E> | Rust-style Result type | | Deferred<T> | Deferred promise type |

Object Operations (v1.3.0)

| Type | Description | |------|-------------| | ObjectMap<T, F> | Map over object values | | ObjectFilter<T, P> | Filter object properties | | ObjectPickByType<T, U> | Pick by value type | | ObjectInvert<T> | Invert object (swap keys/values) | | DeepMerge<A, B> | Deep merge objects | | ObjectPath<T, P> | Get value at path | | PathExists<T, P> | Check if path exists | | KeysOfType<T, U> | Get keys of specific type |

JSON Schema (v1.3.0)

| Type | Description | |------|-------------| | JsonSchemaType<T> | Map TS types to JSON Schema types | | JsonSchema<T> | Full JSON Schema type | | OpenAPISchema<T> | OpenAPI 3.0 Schema | | OpenAPIResponse<T> | OpenAPI Response | | OpenAPIRequestBody<T> | OpenAPI Request Body | | OpenAPIParameter<Name, T, In> | OpenAPI Parameter | | OpenAPIDocument<Title, Version, Paths> | OpenAPI Document |

Extended Ecosystem (v1.3.0)

| Type | Description | |------|-------------| | NextPageProps<T> | Next.js page props | | ServerComponentProps<T> | Next.js server component props | | NuxtPageMeta<T> | Nuxt page meta | | NuxtComposable<T> | Nuxt composable type | | SolidSignal<T> | SolidJS signal type | | SolidResource<T> | SolidJS resource type | | SvelteStore<T> | Svelte store type | | SvelteAction<Element, Params> | Svelte action type |

Type-Level Algorithms (v1.4.0)

| Type | Description | |------|-------------| | Sort<T, Order> | Sort tuple of numbers | | QuickSort<T> | QuickSort implementation | | MergeSort<T> | MergeSort implementation | | Find<T, P> | Find first matching element | | FindIndex<T, P> | Find index of matching element | | Includes<T, U> | Check if tuple includes element | | IndexOf<T, U> | Get index of element | | GCD<A, B> | Greatest Common Divisor | | LCM<A, B> | Least Common Multiple | | Factorial<N> | Factorial of number | | Fibonacci<N> | Fibonacci number | | IsPrime<N> | Check if number is prime | | LongestCommonPrefix<T> | Longest common prefix of strings | | LevenshteinDistance<A, B> | Edit distance between strings | | Reverse<T> | Reverse a tuple | | Unique<T> | Remove duplicates from tuple | | Flatten<T> | Flatten nested tuples |

Type-Level Parsers (v1.4.0)

| Type | Description | |------|-------------| | ParseJSON<S> | Parse JSON string to type | | StringifyJSON<T> | Stringify type to JSON | | IsValidJSON<S> | Check if string is valid JSON | | ParseURL<S> | Parse URL string | | QueryParams<S> | Parse query string | | PathParams<Pattern, Path> | Extract path params | | ParseCSV<S> | Parse CSV string | | StringifyCSV<T> | Stringify records to CSV | | ParseExpression<S> | Parse arithmetic expression | | EvaluateExpression<T> | Evaluate parsed expression |

Type-Level State Machines (v1.4.0)

| Type | Description | |------|-------------| | StateMachine<T> | State machine definition | | State<S, Data> | State definition | | Transition<E, From, To> | Transition definition | | CurrentState<T> | Get current state | | NextState<T, E> | Get next state after event | | ValidTransitions<T> | Get valid transitions | | StateHistory<T> | State history type | | CanTransition<T, E> | Check if transition is valid | | IsTerminal<T> | Check if state is terminal |

Type-Level Data Structures (v1.4.0)

| Type | Description | |------|-------------| | Tree<T> | Tree type | | TreeNode<T> | Tree node type | | TreePath<T, V> | Path to value in tree | | TreeDepth<T> | Maximum depth of tree | | TreeLeaves<T> | All leaf values | | TreeFlatten<T> | Flatten tree to array | | Graph<Adjacency> | Graph type (adjacency list) | | GraphNode<T, Edges> | Graph node type | | GraphEdge<From, To> | Graph edge type | | GraphPath<A, From, To> | Path between nodes | | GraphHasCycle<A> | Check for cycles | | LinkedList<T> | Linked list type | | ListNode<T> | List node type | | ListHead<T> | Head of list | | ListTail<T> | Tail of list | | Stack<T> | Stack type (LIFO) | | Queue<T> | Queue type (FIFO) | | Push<S, V> | Push onto stack | | Pop<S> | Pop from stack |

Type-Level HTTP & API (v1.4.0)

| Type | Description | |------|-------------| | HTTPMethod | HTTP methods | | HTTPStatus | HTTP status codes | | HTTPHeaders<T> | HTTP headers type | | Route<P, M, H> | Route definition | | RouteParams<P> | Extract route params | | RouteQuery<Q> | Route query type | | Router<T> | Router type | | APIEndpoint<T> | API endpoint type | | APIRequest<T> | API request type | | APIResponse<T> | API response type | | APIError<T> | API error type | | Middleware<C> | Middleware type | | Context<C> | Request context | | ComposeMiddleware<M> | Compose middleware chain |

Type-Level Database (v1.4.0)

| Type | Description | |------|-------------| | SQLType<T> | TypeScript to SQL type mapping | | CreateTable<T> | CREATE TABLE type | | SelectQuery<T, F> | SELECT query type | | WhereClause<T> | WHERE clause type | | JoinQuery<T, U> | JOIN query type | | Migration<T> | Migration type | | MigrationUp<T> | Up migration | | MigrationDown<T> | Down migration | | QueryBuilder<T> | Query builder type | | WhereBuilder<T> | WHERE builder type | | Index<T> | Index type | | UniqueIndex<T> | Unique index type | | CompositeIndex<T, K> | Composite index type |

Type-Level Concurrency (v1.4.0)

| Type | Description | |------|-------------| | Task<T> | Task type | | TaskResult<T> | Task result type | | TaskError<T> | Task error type | | TaskStatus | Task status type | | Pipeline<I, O, S> | Pipeline type | | PipelineStage<N, I, O> | Pipeline stage type | | Scheduler<T> | Scheduler type | | Worker<I, O> | Worker type | | WorkerPool<I, O> | Worker pool type | | RateLimiter<T> | Rate limiter type | | Throttle<T> | Throttle type | | Debounce<T> | Debounce type |

Type-Level Interop (v1.4.0)

| Type | Description | |------|-------------| | ToTypeFest<T> | Convert to type-fest format | | FromTypeFest<T> | Convert from type-fest format | | ToTsToolbelt<T> | Convert to ts-toolbelt format | | FromTsToolbelt<T> | Convert from ts-toolbelt format | | ToUtilityTypes<T> | Convert to utility-types format | | FromUtilityTypes<T> | Convert from utility-types format | | ConvertTo<T, Format> | Convert to format | | ConvertFrom<T, Format> | Convert from format | | IsCompatible<T, U> | Check type compatibility | | CompatibleWith<T, Libs> | Check library compatibility |

Type-Level Testing (v1.4.0)

| Type | Description | |------|-------------| | ExpectTrue<T> | Expect type to be true | | ExpectFalse<T> | Expect type to be false | | ExpectEqual<T, U> | Expect types to be equal | | ExpectExtends<T, U> | Expect T extends U | | TypeTest<Name, Test> | Type test definition | | TypeTestSuite<T> | Test suite type | | TypeTestResult | Test result type | | TypeCoverage<T> | Type coverage analysis | | TypeComplexity<T> | Type complexity analysis | | TypeInfo<T> | Type information | | InspectType<T> | Inspect type details |

Authorization & Permissions (v1.5.0)

| Type | Description | |------|-------------| | Permission<T> | Permission definition | | PermissionSet<T> | Set of permissions | | Role<T> | Role definition | | RoleSet<T> | Set of roles | | Policy | Policy for ABAC | | PolicyRule<T> | Policy rule | | PolicyEffect | Allow or deny | | RBAC<R, P> | Role-Based Access Control | | ABAC<T> | Attribute-Based Access Control | | ACL | Access Control List | | AccessControl<T> | Access control interface | | Resource<T> | Resource for authorization | | Action | Action type (create, read, update, delete, etc.) | | AuthorizationProvider<T> | Authorization provider |

Caching Strategies (v1.5.0)

| Type | Description | |------|-------------| | Cache<T> | Cache interface | | CacheEntry<T> | Cache entry | | CacheOptions | Cache options (TTL, tags) | | CacheStats | Cache statistics | | LRUCache<T> | LRU Cache | | LFUCache<T> | LFU Cache | | TTLCache<T> | TTL Cache | | FIFOCache<T> | FIFO Cache | | ARCCache<T> | Adaptive Replacement Cache | | DistributedCache<T> | Distributed cache | | CacheAside<T> | Cache-aside pattern | | ReadThroughCache<T> | Read-through pattern | | WriteThroughCache<T> | Write-through pattern | | WriteBehindCache<T> | Write-behind pattern |

Configuration Management (v1.5.0)

| Type | Description | |------|-------------| | Config<T> | Configuration type | | ConfigField<T> | Config field definition | | ConfigLoader<T> | Config loader interface | | ConfigSchema<T> | Config schema | | EnvConfig | Environment config | | EnvMapping | Env var mapping | | FeatureFlag | Feature flag | | FeatureFlagConfig | Feature flag config | | FeatureFlags<T> | Feature flags collection | | RemoteConfigProvider<T> | Remote config provider | | Secret | Secret value | | SecretProvider | Secret provider |

Event-Driven Architecture (v1.5.0)

| Type | Description | |------|-------------| | EventBus<T> | Event bus interface | | EventStream<T> | Event stream | | Command<T> | Command for CQRS | | CommandBus<T> | Command bus | | CommandHandler<T, R> | Command handler | | Query<T> | Query for CQRS | | QueryBus<T> | Query bus | | QueryHandler<T, R> | Query handler | | Saga<T> | Saga orchestrator | | SagaStep<T> | Saga step | | MessageQueue<T> | Message queue | | EventStore<T> | Event store | | DeadLetterQueue<T> | Dead letter queue |

GraphQL Integration (v1.5.0)

| Type | Description | |------|-------------| | GraphQLSchema | GraphQL schema | | GraphQLType | GraphQL type wrapper | | GraphQLScalar<T> | Scalar type | | GraphQLEnum<T> | Enum type | | GraphQLInput<T> | Input type | | GraphQLObject<T> | Object type | | GraphQLField<T, A, R> | Field type | | GraphQLResolver<T, A, R> | Resolver type | | GraphQLContext<T> | Context type | | GraphQLResult<T> | Result wrapper | | GraphQLError | Error type |

Logging & Observability (v1.5.0)

| Type | Description | |------|-------------| | Logger<T> | Logger interface | | LogLevel | Log levels | | LogEntry<T> | Log entry | | Metric<T> | Metric type | | Counter<T> | Counter metric | | Gauge<T> | Gauge metric | | Histogram | Histogram metric | | Tracer | Tracer interface | | Span | Tracing span | | Trace<T> | Trace type | | Monitor | Monitor type | | Alert<T> | Alert type | | HealthIndicator<T> | Health indicator | | HealthCheckResult<T> | Health check result |

Microservices Architecture (v1.5.0)

| Type | Description | |------|-------------| | Microservice<T> | Microservice type | | ServiceConfig<T> | Service config | | ServiceRegistry<T> | Service registry | | ServiceInstance | Service instance | | ServiceDiscovery<T> | Service discovery | | CircuitBreaker<T> | Circuit breaker | | RateLimit | Rate limiting | | LoadBalancer<T> | Load balancer | | APIGateway<T> | API Gateway | | GatewayRoute | Gateway route | | HealthReport | Health report |

Validation Rules (v1.5.0)

| Type | Description | |------|-------------| | ValidationRule<T> | Validation rule | | Validator<T> | Validator function | | ValidatorResult<T> | Validator result | | ValidationError | Validation error | | StringFieldValidator<T> | String validator | | NumberFieldValidator<T> | Number validator | | ArrayFieldValidator<T> | Array validator | | ObjectFieldValidator<T> | Object validator | | MinLength | Min length constraint | | MaxLength | Max length constraint | | MinValue | Min value constraint | | MaxValue | Max value constraint | | Pattern | Regex pattern | | Sanitizer<T> | Sanitizer function |

WebSocket & Real-Time (v1.5.0)

| Type | Description | |------|-------------| | WebSocketConfig | WebSocket config | | WebSocketMessage<T> | WebSocket message | | EventEmitter<T> | Event emitter | | PubSub<T> | Pub/Sub interface | | Publisher<T> | Publisher | | Subscriber<T> | Subscriber | | RealTimeChannel<T> | Real-time channel | | RealTimeClient<T> | Real-time client | | Stream<T> | Stream interface | | StreamReader<T> | Stream reader | | StreamWriter<T> | Stream writer |

Workflow Engine (v1.5.0)

| Type | Description | |------|-------------| | Workflow<T> | Workflow definition | | WorkflowInstance<T> | Workflow instance | | WorkflowStep<T> | Workflow step | | WorkflowTransition<T> | Workflow transition | | WorkflowExecution<T> | Workflow execution | | WorkflowHistory<T> | Workflow history | | WorkflowEngine<T> | Workflow engine | | RetryPolicy | Retry policy | | BPMNProcess<T> | BPMN process | | BPMNTask<T> | BPMN task | | BPMNGateway<T> | BPMN gateway | | BPMNEvent<T> | BPMN event |

AI/ML Types (v1.6.0)

| Type | Description | |------|-------------| | Tensor<Shape, DType> | Tensor with shape and data type | | TensorShape | Tensor shape type | | TensorDType | Tensor data types (float32, int32, etc.) | | Model<Input, Output> | Model type | | ModelConfig<T> | Model configuration | | Layer<T> | Neural network layer | | LayerType | Layer types (dense, conv2d, lstm, etc.) | | Optimizer | Optimizer types (adam, sgd, rmsprop) | | LossFunction | Loss functions (mse, crossentropy) | | MLMetric | ML metrics (accuracy, precision, recall) | | Dataset<T> | Dataset type | | DataLoader<T> | Data loader type | | Batch<T> | Batch type | | InferenceResult<T> | Inference result | | Prediction<T> | Prediction result |

Functional Programming (v1.6.0)

| Type | Description | |------|-------------| | Functor<T> | Functor type | | Monad<T> | Monad type | | Applicative<T> | Applicative type | | Maybe<T> | Maybe monad (Some/None) | | Either<L, R> | Either monad (Left/Right) | | IO<T> | IO monad | | Reader<R, T> | Reader monad | | Writer<W, T> | Writer monad | | State<S, T> | State monad | | Result<T, E> | Result type (Ok/Err) | | Lens<S, A> | Lens for deep access | | Semigroup<T> | Semigroup type | | Monoid<T> | Monoid type | | Compose | Function composition | | Pipe | Pipeline composition | | Curry | Curried function |

Type-Level Compiler (v1.6.0)

| Type | Description | |------|-------------| | ASTNode<T> | AST node type | | ASTNodeType | AST node types | | Token<T> | Token type | | TokenType | Token types (keyword, identifier, etc.) | | Parser<T> | Parser type | | ParserResult<T> | Parser result | | CodeGenerator<T> | Code generator | | GeneratedCode | Generated code type | | Transformer<T> | AST transformer | | Formatter | Code formatter |

Distributed Systems (v1.6.0)

| Type | Description | |------|-------------| | Consensus<T> | Consensus protocol | | ConsensusState | Consensus states (leader, follower, candidate) | | Replica<T> | Replica type | | ReplicationStrategy | Replication strategies (sync, async) | | Partition<T> | Partition type | | PartitionStrategy | Partition strategies (hash, range) | | ConsistencyLevel | Consistency levels (strong, eventual) | | DistributedLock<T> | Distributed lock | | TwoPhaseCommit<T> | Two-phase commit protocol | | TransactionState | Transaction states | | FailureDetector<T> | Failure detector | | Heartbeat<T> | Heartbeat type |

Security Types (v1.6.0)

| Type | Description | |------|-------------| | Authentication<T> | Authentication configuration | | AuthType | Auth types (bearer, jwt, oauth2) | | AuthStatus | Auth status (authenticated, failed) | | Session<T> | Session type | | Encryption<T> | Encryption configuration | | EncryptionAlgorithm | Encryption algorithms | | Hash<T> | Hash type | | HashAlgorithm | Hash algorithms (sha256, blake3) | | Signature<T> | Signature type | | SignatureAlgorithm | Signature algorithms | | JWT<T> | JWT token type | | OAuthToken | OAuth token | | CSRFToken | CSRF token |

Internationalization (v1.6.0)

| Type | Description | |------|-------------| | Locale | Locale configuration | | LocaleCode | Locale codes (en-US, zh-CN, etc.) | | LanguageCode | Language codes | | CountryCode | Country codes | | Translation<T> | Translation mapping | | PluralForm | Plural forms (one, many, etc.) | | Currency | Currency types (USD, EUR, CNY) | | TimeZone | Time zone types | | DateFormat | Date format configuration | | NumberFormat | Number format configuration | | Direction | Text direction (ltr, rtl) |

Testing Framework (v1.6.0)

| Type | Description | |------|-------------| | TestSuite<T> | Test suite type | | TestCase<T> | Test case type | | TestResultType | Test result (passed, failed, skipped) | | Assertion<T> | Assertion type | | Mock<T> | Mock type | | Spy<T> | Spy type | | Fixture<T> | Fixture type | | Coverage | Coverage configuration | | CoverageReport<T> | Coverage report | | Snapshot<T> | Snapshot type | | Benchmark<T> | Benchmark type | | BenchmarkResult<T> | Benchmark result |

Plugin System (v1.6.0)

| Type | Description | |------|-------------| | Plugin<T> | Plugin type | | PluginLifecycle | Plugin lifecycle events | | Hook<T> | Hook type | | HookResult<T> | Hook result | | Extension<T> | Extension type | | ExtensionPoint<T> | Extension point | | Middleware<T> | Middleware type | | MiddlewarePipeline<T> | Middleware pipeline | | Module<T> | Module type | | Registry<T> | Registry type |

Type Inference (v1.6.0)

| Type | Description | |------|-------------| | Infer<T> | Extract type from wrapper | | InferReturn<T> | Extract return type | | InferArgs<T> | Extract function arguments | | ExtractFunction<T> | Extract function type | | ExtractClass<T> | Extract class type | | Reconstruct<T> | Reconstruct type | | Narrow<T> | Narrow type with predicate | | Widen<T> | Widen literal to primitive | | IsAny<T> | Check if type is any | | IsNever<T> | Check if type is never | | IsUnknown<T> | Check if type is unknown | | IsFunction<T> | Check if type is function | | IsArray<T> | Check if type is array | | IsUnion<T> | Check if type is union | | Equals<X, Y> | Check type equality | | TypeName<T> | Get type name | | TypeCategory | Type category |

Performance Monitoring (v1.6.0)

| Type | Description | |------|-------------| | Performance | Performance monitoring | | PerformanceMetric<T> | Performance metric | | Timing | Timing operations | | TimingResult | Timing result | | MemoryUsage | Memory usage type | | MemoryMetric<T> | Memory metric | | CPUUsage | CPU usage type | | Profiler | Profiler type | | ProfileResult<T> | Profile result | | TraceSpan<T> | Tracing span | | PerformanceTrace<T> | Performance trace | | PerformanceAlert | Performance alert |

Metaprogramming (v1.7.0)

| Type | Description | |------|-------------| | MetaType<T> | Meta type wrapper | | TypeRepr<T> | Type representation | | GetType<T> | Extract type from meta | | HasType<T, U> | Check if type has nested type | | TypePath<T> | Path to nested type | | TypeDepth<T> | Maximum nesting depth | | TypeSize<T> | Type size estimation | | TypeComplexity<T> | Type complexity score | | AnalyzeType<T> | Full type analysis | | TypeStats<T> | Type statistics |

Decorator Types (v1.7.0)

| Type | Description | |------|-------------| | ClassDecorator<T> | Class decorator type | | MethodDecorator<T> | Method decorator type | | PropertyDecorator<T> | Property decorator type | | ParameterDecorator<T> | Parameter decorator type | | DecoratorResult<T> | Decorator result type | | DecoratorMetadata<T> | Decorator metadata | | DecoratorChain<T> | Decorator chain | | ComposableDecorator<T> | Composable decorator |

Type Generation (v1.7.0)

| Type | Description | |------|-------------| | GenerateType<T> | Generate type from schema | | GeneratedType<T> | Generated type result | | TypeBuilder<T> | Type builder interface | | SchemaToType<S> | Convert schema to type | | TypeFromSchema<T, S> | Type from schema definition | | GeneratedClass<T> | Generated class type | | GeneratedInterface<T> | Generated interface | | GeneratedEnum<T> | Generated enum type |

Framework Types (v1.7.0)

| Type | Description | |------|-------------| | NestModule<T> | NestJS module type | | NestController<T> | NestJS controller type | | NestService<T> | NestJS service type | | ExpressApp<T> | Express app type | | ExpressRouter<T> | Express router type | | ExpressMiddleware<T> | Express middleware | | FastifyApp<T> | Fastify app type | | FastifyPlugin<T> | Fastify plugin type | | KoaApp<T> | Koa app type | | KoaMiddleware<T> | Koa middleware type |

TypeSafe Config (v1.7.0)

| Type | Description | |------|-------------| | SafeConfig<T> | Type-safe configuration | | ConfigDefinition<T> | Config definition | | ConfigValue<T, K> | Typed config value | | ConfigSchema<T> | Config schema type | | EnvDefinition<T> | Environment definition | | EnvValue<K> | Environment variable value | | ConfigPath<T> | Config path type | | ValidateConfig<T> | Config validation type | | MergeConfig<A, B> | Merge configurations | | DeepConfig<T> | Deep config type |

Type Visualization (v1.7.0)

| Type | Description | |------|-------------| | VisualizeType<T> | Visualize type structure | | TypeDiagram<T> | Type diagram representation | | TypeTree<T> | Type tree visualization | | PrintType<T> | Printable type string | | TypeFormat<T> | Type formatting options | | TypeName<T> | Extract type name | | TypeStructure<T> | Type structure info | | ExpandType<T> | Expanded type display |

Crypto Types (v1.7.0)

| Type | Description | |------|-------------| | HashAlgorithm | Hash algorithm types | | HashOutput<L> | Hash output type | | CryptoKey<T> | Cryptographic key type | | KeyPair<T> | Key pair type | | Signature<T> | Signature type | | EncryptedData<T> | Encrypted data type | | CryptoConfig<T> | Crypto configuration | | CryptoProvider<T> | Crypto provider interface | | HashFunction<T> | Hash function type | | EncryptFunction<T> | Encryption function | | DecryptFunction<T> | Decryption function |

Date/Time Types (v1.7.0)

| Type | Description | |------|-------------| | DateTime<T> | DateTime type | | DateFormat<T> | Date format type | | TimeFormat<T> | Time format type | | Timestamp<T> | Timestamp type | | Duration<T> | Duration type | | DateRange<T> | Date range type | | TimeZoneType | Time zone type | | UTCDate<T> | UTC date type | | LocalDate<T> | Local date type | | ISODateString | ISO date string | | ParsedDate<T> | Parsed date type | | FormatDate<T, F> | Formatted date type |

Advanced Math (v1.7.0)

| Type | Description | |------|-------------| | Add<A, B> | Type-level addition | | Subtract<A, B> | Type-level subtraction | | Multiply<A, B> | Type-level multiplication | | Divide<A, B> | Type-level division | | Power<A, B> | Power operation | | Sqrt<N> | Square root | | Sin<N>, Cos<N> | Trigonometric functions | | PI, E | Math constants | | Factorial<N> | Factorial | | Fibonacci<N> | Fibonacci number | | IsPrime<N> | Prime check | | Mean<T>, Median<T> | Statistical functions | | IsEven<N>, IsOdd<N> | Even/Odd check |

Type Inference Engine (v1.8.0)

| Type | Description | |------|-------------| | InferEngine<T> | Type inference engine | | InferContext<T> | Inference context with type variables | | InferResult<T> | Inference result (success/error) | | Deduce<T> | Type deduction utility | | Constraint<T> | Type constraint definition | | Substitution<T> | Type substitution | | TypeVar | Type variable representation | | Polymorphic<T> | Polymorphic type | | Kind, KindArrow, KindCheck<T> | Kind system | | Effect<T>, EffectRow, Effectful<T> | Effect system | | Pure<T>, Impure<T> | Pure/impure computations |

Type-Level Network (v1.8.0)

| Type | Description | |------|-------------| | Protocol, ProtocolVersion | Protocol definition | | HTTPMethod, HTTPHeaders | HTTP types | | HTTPRequest<T>, HTTPResponse<T> | HTTP request/response | | WSMessage<T>, WSFrame, WSOpcode | WebSocket types | | gRPCService, gRPCMethod<T>, gRPCRequest<T> | gRPC types | | TCPPacket<T>, UDPPacket<T>, SocketAddress | TCP/UDP types | | ProtoMessage, ProtoField<T> | Protocol Buffers | | MQTTPacket<T>, MQTTQoS | MQTT types |

Type-Level File System (v1.8.0)

| Type | Description | |------|-------------| | Path, AbsolutePath, RelativePath | Path types | | ParsePath<P>, JoinPath<P1, P2> | Path operations | | File, FileContent<T>, FileType | File types | | Directory, DirectoryEntry<T> | Directory types | | FileWatch<T>, WatchEvent<T> | File watching | | VirtualFS<T>, VFSNode<T> | Virtual file system | | Archive, ArchiveFormat | Archive types | | MimeType, FileMetadata | File metadata |

Type-Level Compiler (v1.8.0)

| Type | Description | |------|-------------| | CompilerPlugin<T> | Compiler plugin | | Macro<T>, MacroExpansion<T> | Macro system | | Diagnostic, DiagnosticLevel | Compiler diagnostics | | SymbolTable, CompilerSymbol | Symbol management | | Visitor<T>, TransformPass<T> | AST visitor pattern |

Type-Level Debugging (v1.8.0)

| Type | Description | |------|-------------| | DebugSession, DebugStatus | Debug session | | Breakpoint, BreakpointLocation | Breakpoint types | | StackTrace, DebugStackFrame | Stack trace | | Variable, VariableValue | Variable inspection | | MemoryRegion, MemoryAddress | Memory debugging | | DebugProtocol | Debug protocol (DAP) | | REPL, REPLCommand<T> | REPL interface |

Type-Level Optimizer (v1.8.0)

| Type | Description | |------|-------------| | Optimization<T>, OptimizationLevel | Optimization types | | TreeShake<T>, ShallowResult<T> | Tree shaking | | DeadCode, DeadCodeAnalysis<T> | Dead code elimination | | Inline<T>, InlineCandidate<T> | Function inlining | | ConstantFold<T> | Constant folding | | MinifyType<T> | Type minification | | PerformanceHint<T> | Optimization hints |

Type-Level Docgen (v1.8.0)

| Type | Description | |------|-------------| | Documentation<T>, DocGenEntry<T> | Documentation structure | | JSDoc<T>, JSDocTag<T> | JSDoc parsing | | APIDoc<T>, APIEndpoint<T> | API documentation | | DocSearch<T>, SearchIndex | Documentation search | | DocNavigation<T>, DocSidebar<T> | Documentation navigation | | DocFormat | Output format (markdown, html, json) |

Type-Level Test Framework (v1.8.0)

| Type | Description | |------|-------------| | TestGroup, TestSetup, TestTeardown | Test organization | | Assert, AssertExtends<T, U> | Type assertions | | MockFunction, TimerMock | Mock utilities | | CoverageProvider, CoverageReporter | Coverage types | | SnapshotSerializer | Snapshot serialization | | Worker, WorkerPool | Parallel test execution |

Type-Level Package Manager (v1.8.0)

| Type | Description | |------|-------------| | PkgPackage<T>, PackageName | Package types | | Dependencies, Dependency<T> | Dependency types | | SemVer, SemVerRange, SemVerDiff | SemVer types | | LockFile<T>, LockFormat | Lock file types | | Workspace<T>, WorkspaceGraph<T> | Workspace/monorepo | | RegistryAuth, RegistryPackage<T> | Registry types | | Vulnerability | Security vulnerability |

Type-Level Search (v1.7.0)

| Type | Description | |------|-------------| | Sort<T, Order> | Sort tuple | | QuickSort<T> | Quick sort algorithm | | MergeSort<T> | Merge sort algorithm | | BinarySearch<T, V> | Binary search | | Includes<T, V> | Check inclusion | | Filter<T, P> | Filter by predicate | | Take<T, N> | Take first N elements | | Drop<T, N> | Drop first N elements | | Chunk<T, N> | Chunk into sublists | | Union<A, B> | Set union | | Intersection<A, B> | Set intersection | | Unique<T> | Unique elements | | Reverse<T> | Reverse tuple | | Zip<A, B> | Zip tuples | | Flatten<T> | Flatten nested tuples | | MinElement<T>, MaxElement<T> | Min/Max element |

Quantum Computing (v1.9.0)

| Type | Description | |------|-------------| | Qubit<T>, QubitState, QubitArray<N, T> | Qubit types | | QuantumGate, Hadamard, PauliX/Y/Z | Quantum gates | | CNOT, Toffoli, PhaseGate | Multi-qubit gates | | QuantumCircuit<N>, CircuitGate<T> | Circuit types | | QuantumRegister<N>, ClassicalRegister<N> | Register types | | QuantumState<N>, StateVector<N> | State representation | | BellState, GHZState<N>, EntangledPair | Entanglement types | | Grover<T>, Shor, QFT<N>, VQE, QAOA | Quantum algorithms | | QuantumHardware, QuantumBackend | Hardware types |

Game Development (v1.9.0)

| Type | Description | |------|-------------| | Entity<T>, EntityId, EntityComponent<T> | Entity types | | Component, Position2D/3D, Velocity | Component types | | GameState<T>, GameAction<T>, GameStore<T> | State management | | InputState, KeyboardState, MouseState, GamepadState | Input handling | | PhysicsBody<T>, ColliderShape, Collision<T> | Physics types | | Scene<T>, SceneNode<T>, Camera<T> | Scene graph | | Material, Shader, Texture, Mesh | Rendering types | | AudioClip, AudioSource, AudioListener | Audio types | | Level, SpawnPoint, Checkpoint, Objective | Level design |

Blockchain (v1.9.0)

| Type | Description | |------|-------------| | Block<T>, BlockHeader, BlockBody | Block types | | Transaction, LegacyTransaction, EIP1559Transaction | Transaction types | | SmartContract<A>, ContractABI | Smart contract types | | Address, PublicKey, PrivateKey, Signature | Address/crypto types | | TokenInfo, FungibleTokenBalance, NonFungibleToken | Token types | | WalletAccount, WalletConnection, WalletProvider | Wallet types | | Chain, ChainId, NetworkConfig | Network types | | GasEstimate, GasPrice, GasFees | Gas types | | JsonRpcProvider, JsonRpcRequest | JSON-RPC types |

Language Processing (v1.9.0)

| Type | Description | |------|-------------| | Token<T>, TokenType, TokenStream<T> | Tokenization | | Sentence<T>, Paragraph<S>, Document<P> | Document structure | | ParseTree, ParseNode<T>, Grammar | Parsing types | | LanguageModel<T>, Vocabulary<T>, Embedding<T> | Language models | | SemanticRole, SemanticFrame, EntityMention | Semantic analysis | | Morpheme, PartOfSpeech, MorphologicalFeatures | Morphology | | SentimentResult, EmotionResult | Sentiment analysis | | TranslationResult, Locale, LanguagePair | Translation types | | ClassificationResult, TopicInfo, QAResult | Classification/QA |

Graphics (v1.9.0)

| Type | Description | |------|-------------| | Color, RGB, RGBA, HSL, HexColor | Color types | | Vector2/3/4, Point2D/3D, Size2D/3D | Vector types | | Matrix2x2, Matrix3x3, Matrix4x4, Quaternion | Matrix types | | Transform, Translation, Rotation, Scale | Transform types | | Point, Line, Triangle, Quad, Polygon | Primitive types | | Circle, Rectangle, Sphere, Box | Shape types | | VertexBuffer, IndexBuffer, UniformBuffer | Buffer types | | VertexShader, FragmentShader, ComputeShader | Shader types | | Texture, SamplerDescriptor, TextureFormat | Texture types | | RenderPipeline, ComputePipeline | Pipeline types | | Light, DirectionalLight, PointLight, SpotLight | Light types |

Audio Processing (v1.9.0)

| Type | Description | |------|-------------| | AudioSample, AudioBufferData, AudioChannel | Audio data | | SampleRate, BitDepth, SampleFormat | Format types | | WaveformType, ADSREnvelope, Envelope | Waveform/envelope | | Frequency, NoteName, Octave, NotePitch | Musical pitch | | ReverbEffect, DelayEffect, FilterEffect | Audio effects | | CompressorEffect, EqualizerEffect, DistortionEffect | More effects | | MIDINote, MIDIEvent, MIDISequence, MIDITrack | MIDI types | | OscillatorOptions, LFOOptions, SynthesizerPatch | Synthesizer types | | FFTResult, Spectrum, Spectrogram | Analysis types | | AudioFormat, AudioEncodingOptions, AudioMetadata | Encoding types |

Animation (v1.9.0)

| Type | Description | |------|-------------| | Animation<T>, AnimationFrame<T>, AnimationTimeline<T> | Animation core | | Keyframe<T>, KeyframeSequence<T>, KeyframeInterpolation | Keyframe types | | EasingType, EasingPreset, CubicBezier, StepsEasing | Easing types | | Transition<T>, TransitionShorthand | CSS transitions | | SpringConfig, SpringState, SpringPreset | Spring physics | | SpriteSheet, SpriteFrame, SpriteAnimation | Sprite animation | | MorphTarget, MorphWeights, MorphAnimation | Morph targets | | Skeleton, Bone, Joint, Pose | Skeletal animation | | AnimationState, AnimationTransition, AnimationLayer | State machine | | IKChain, IKTarget, IKSolverType | Inverse kinematics | | AnimationTrack, AnimationClip, AnimationEvent | Timeline types |

Error Handling (v1.9.0)

| Type | Description | |------|-------------| | Result<T, E>, Success<T>, Failure<E> | Result type | | Ok<T>, Err<E>, AsyncResult<T, E> | Result helpers | | Try<T, E>, TryResult<T>, CatchHandler<T, E> | Try-catch types | | Either<L, R>, Left<L>, Right<R> | Either type | | Option<T>, Some<T>, None | Option type | | ErrorChain<T>, ChainLink<T> | Error chain | | RecoveryStrategy, RecoveryOptions<T>, RetryConfig | Recovery types | | ValidationError<T>, FieldError<T>, ValidationResult<T> | Validation errors | | NetworkError, AuthenticationError, NotFoundError | Domain errors | | Panic, FatalError, BusinessError, SystemError | Error categories |

Event System (v1.9.0)

| Type | Description | |------|-------------| | Event<T>, TypedEvent<K, V>, EventMap | Event types | | EventEmitter<T>, EventHandler<T> | Emitter types | | EventBus<T>, BusEvent<T>, EventBusMiddleware | Event bus | | EventDispatcher<T>, DispatchResult<T> | Dispatcher types | | EventQueue<T>, QueuedEvent<T>, QueuePriority | Queue types | | Subscription, SubscriptionOptions<T>, SubscriptionFilter<T> | Subscription | | EventPattern, PatternMatch<T>, PatternResult<T> | Pattern matching | | EventAggregator<T>, AggregatedEvent<T> | Aggregation types | | EventHistory<T>, ReplayOptions<T> | History types | | DomainEvent<A, T>, EventSourcedAggregate<I> | Domain events |

Reactive Programming (v1.9.0)

| Type | Description | |------|-------------| | Observable<T>, Observer<T>, Subscription | Observable pattern | | Subject<T>, BehaviorSubject<T>, ReplaySubject<T> | Subject types | | OperatorFunction<T, R>, MapOperator, FilterOperator | Operators | | DebounceOptions, ThrottleOptions, RetryOptions | Operator options | | Stream<T>, StreamValue<T>, StreamError | Stream types | | Signal<T>, WritableSignal<T>, Computed<T> | Signal types | | Effect, EffectCallback, SignalOptions<T> | Effect types | | Scheduler, SchedulerAction<T>, SchedulerLike | Scheduler types | | BackpressureStrategy, BackpressureConfig | Backpressure | | Flow<T>, FlowState, FlowController<T> | Flow types | | Channel<T>, BufferedChannel<T>, ChannelConfig<T> | Channel types | | CombineLatest<T>, Zip<T>, ForkJoinResult<T> | Combinators |

Ultimate Type Utilities (v1.10.0)

| Type | Description | |------|-------------| | Perfect<T>, Complete<T>, Final<T>, Ultimate<T> | Ultimate type constraints | | PerfectPick<T, K>, PerfectOmit<T, K>, PerfectPartial<T>, PerfectRequired<T> | Perfect operations | | CompleteKeys<T>, CompleteValues<T>, CompleteEntries<T> | Completeness types | | Finalize<T>, Frozen<T>, Sealed<T>, Locked<T> | Finalization types | | Validate<T, Schema>, Validated<T, Schema>, ValidationResult<T> | Type validation | | AssertType<T, U>, AssertShape<T, Shape>, AssertKeys<T, K> | Type assertions |

Higher-Kinded Types (v1.10.0)

| Type | Description | |------|-------------| | HKT<F, A>, Kind<F, A>, Kind2<F, A, B>, Kind3<F, A, B, C> | Higher-kinded types | | Recurse<T, N>, RecurseWhile<T, Cond, F>, RecurseUntil<T, Cond, F> | Type recursion | | Memoize<T>, Memoized<T>, CacheKey<T>, CacheValue<T> | Type memoization | | PartialApply<F, Args>, Curried<F>, Uncurried<F>, FlipArgs<F> | Partial application | | Compose<F, G>, Pipe<F, G>, ComposeAll<Fs>, PipeAll<Fs> | Type composition | | Fix<F>, Unfix<F, T>, Mu<F>, Nu<F> | Fixpoint types | | ChurchNumeral, ChurchBoolean, ChurchList<T>, ChurchPair<A, B> | Church encoding | | Functor<F>, Apply<F>, Applicative<F>, Monad<F> | Type classes | | Either<L, R>, Maybe<T>, Left<L>, Right<R>, Just<T>, Nothing | Algebraic types |

Framework Integrations (v1.10.0)

| Type | Description | |------|-------------| | AngularComponent<T>, AngularService<T>, AngularPipe<I, O>, AngularDirective<T> | Angular types | | AngularModule, AngularSignal<T>, AngularComputed<T>, AngularEffect | Angular utilities | | SvelteComponent<P, E, S>, SvelteStore<T>, SvelteAction<E, P>, SvelteTransition | Svelte types | | EmberComponent<A>, EmberService<T>, EmberRoute<M, P>, EmberController<M, Q> | Ember types | | BackboneModel<A>, BackboneCollection<M>, BackboneView<M, E>, BackboneRouter | Backbone types | | PreactComponent<P, S>, PreactFC<P>, PreactHooks, PreactContext<T> | Preact types | | SolidComponent<P>, SolidSignal<T>, SolidResource<T>, SolidMemo<T> | Solid types | | LitElement<P>, LitPropertyConfig<T>, LitDecorator, LitCustomElement<T> | Lit types | | StencilComponent<P, S>, StencilProp<T>, StencilEvent<T>, StencilEventEmitter<T> | Stencil types | | AlpineComponent<D, M>, AlpineStore<S>, AlpineMagic<T>, AlpineReactive<T> | Alpine.js types |

Build Tools (v1.10.0)

| Type | Description | |------|-------------| | WebpackConfig, WebpackModule, WebpackPlugin, WebpackLoader | Webpack types | | WebpackDevServer, WebpackOptimization, WebpackSplitChunks | Webpack utilities | | ViteConfig, VitePlugin, ViteBuild, ViteServer, ViteDevServer | Vite types | | RollupConfig, RollupOutput, RollupPlugin, RollupBuild | Rollup types | | ESBuildOptions, ESBuildPlugin, ESBuildResult, ESBuildMessage | esbuild types | | ParcelConfig, ParcelTransformer, ParcelNamer | Parcel types | | TurbopackConfig, TurbopackLoader, TurbopackPlugin | Turbopack types | | BabelConfig, BabelPreset<T>, BabelPlugin<T>, BabelTransformResult | Babel types | | SWCConfig, SWCParser, SWCTransform, SWCMinifyOptions | SWC types |

DevOps (v1.10.0)

| Type | Description | |------|-------------| | Dockerfile, DockerImage, DockerContainer, DockerCompose | Docker types | | DockerComposeService, DockerComposeBuild, DockerComposeDeploy | Docker Compose | | K8sDeployment, K8sService, K8sPod, K8sConfigMap, K8sSecret, K8sIngress | Kubernetes types | | K8sContainer, K8sVolume, K8sProbe, K8sAffinity, K8sToleration | K8s utilities | | TerraformResource<T>, TerraformModule<T>, TerraformProvider<T> | Terraform types | | TerraformVariable<T>, TerraformOutput, TerraformConfig | Terraform utilities | | AnsiblePlaybook, AnsibleTask, AnsibleRole, AnsibleInventory | Ansible types | | GitHubWorkflow, GitHubJob, GitHubStep | GitHub Actions | | GitLabPipeline, GitLabJob, GitLabCache, GitLabArtifacts | GitLab CI | | JenkinsPipeline, JenkinsStage, JenkinsStep | Jenkins types | | CircleCIConfig, CircleCIJob, CircleCIStep | CircleCI types | | AWSResource<T>, AzureResource<T>, GCPResource<T>, CloudFormation | Cloud types | | HelmChart, HelmRelease, HelmValues | Helm types |

Quality Assurance (v1.10.0)

| Type | Description | |------|-------------| | ESLintConfig, ESLintRule, ESLintPlugin, ESLintResult | ESLint types | | PrettierConfig, FormatOptions, FormatResult | Prettier types | | CodeAnalysis<T>, ComplexityReport, CodeMetrics | Code analysis | | MaintainabilityIndex, TechnicalDebt<T>, DebtItem | Code quality | | SecurityAudit<T>, Vulnerability, SecurityReport<T> | Security types | | DependencyAudit<T>, OutdatedPackage, LicenseCheck<T> | Dependency types | | PerformanceAudit<T>, BundleAnalysis<T>, PerformanceMetric | Performance types | | LighthouseScore, QualityGate<T>, GateCondition, GateResult | Quality gates | | TestCoverage, TestResult, TestSummary, TestPerformance | Testing types | | CodeQualityMetrics, MaintainabilityMetrics, SecurityMetrics | Quality metrics |

Architecture Patterns (v1.10.0)

| Type | Description | |------|-------------| | Layer<T>, PresentationLayer<T>, BusinessLayer<T>, DataAccessLayer<T> | Layered architecture | | Entity<T>, UseCase<I, O>, Gateway<T>, Presenter<I, O> | Clean architecture | | Port<M>, InboundPort<I, O>, OutboundPort<I, O>, Adapter<P> | Hexagonal architecture | | Hexagon<D, I, O>, Core<D> | Hexagonal core | | Aggregate<E, Es>, ValueObject<T>, DomainEvent<D>, Repository<E, I> | DDD types | | DomainService<I, O>, BoundedContext<A, R, S, E>, ContextMap<C> | DDD utilities | | ContextRelationship, ContextBoundary | Bounded context | | Command<T, P>, Query<T, P>, CommandHandler<C>, QueryHandler<Q> | CQRS types | | CommandBus, QueryBus | CQRS bus | | EventStream<E>, EventStore<E>, Projection<E, S>, Saga<S> | Event sourcing | | CoreSystem<F>, PluginInterface<P>, ExtensionPoint<E> | Microkernel | | ProcessingUnit<D>, VirtualizedMiddleware<P>, DataGrid<D> | Space-based |

Data Formats (v1.10.0)

| Type | Description | |------|-------------| | JSONValue, JSONSchema<T>, JSONPath<T>, JSONPatch<T> | JSON types | | XMLNode<T>, XMLAttribute<T>, XMLSchema<T>, XPath<T> | XML types | | YAMLValue<T>, YAMLNode<T>, YAMLPath<T> | YAML types | | CSVRow<T>, CSVHeader, CSVConfig<T> | CSV types | | TOMLValue<T>, TOMLTable<T>, TOMLKey | TOML types | | ProtoMessage<T>, ProtoField<T>, ProtoEnum<T>, ProtoService<T> | Protocol Buffers | | MessagePackValue<T>, MessagePackType | MessagePack | | AvroSchema<T>, AvroRecord<T>, AvroField<T> | Avro types | | BSONValue<T>, BSONDocument<T> | BSON types |

Accessibility (v1.10.0)

| Type | Description | |------|-------------| | ARIARole, ARIARoleCategory, ARIAProperty, ARIAState | ARIA core types | | AccessibilityProps, ButtonAccessibilityProps, InputAccessibilityProps | Accessibility props | | FocusState, FocusTrap<T>, FocusManager<T>, FocusableElement | Focus types | | ScreenReaderAnnouncement, LiveRegion<T>, VisuallyHiddenProps | Screen reader | | KeyboardNavigation<T>, KeyHandler<T>, KeyBinding, KeyCode | Keyboard navigation | | ContrastRatio, WCAGLevel, ColorContrast<T>, ColorContrastResult | Color contrast | | MotionPreference, AnimationOptions<T>, MotionSafeAnimation<T> | Motion sensitivity | | AccessibilityNode<T>, AccessibilityTree<T> | Accessibility tree | | AccessibilityViolation, AccessibilityCheckResult, WCAGCriterion | Accessibility check | | FormFieldAccessibility, LandmarkType, AltText, AccessibleName | Form & landmarks |

Final Polish (v1.10.0)

| Type | Description | |------|-------------| | Optimize<T>, OptimizeDeep<T>, OptimizeFor<T, Target> | Type optimization | | SimplifyAll<T>, FlattenAll<T>, NormalizeAll<T>, CleanAll<T> | Simplification | | Deduplicate<T>, RemoveDuplicates<T>, Unique<T, S> | Deduplication | | Minify<T>, Shorten<T>, Compact<T>, CompactDeep<T> | Minification | | DebugType<T>, ExplainType<T>, PrettyType<T>, ShowType<T> | Debugging | | TypeInfo<T>, TypeStructure<T>, TypePath<T, P>, TypeAtPath<T, P> | Type analysis | | ValidateAll<T, S>, CheckAll<T, C>, VerifyAll<T, S>, TestAll<T, P> | Validation | | Document<T, M>, Describe<T, D>, Example<T, E>, Annotate<T, A> | Documentation | | Finalize<T>, Freeze<T>, Lock<T>, Seal<T>, Immutable<T> | Finalization | | IsAny<T>, IsNever<T>, IsUnknown<T>, IsNullable<T> | Type checks | | IsArray<T>, IsObject<T>, IsFunction<T>, IsPrimitive<T> | Type guards | | IsUnion<T>, IsIntersection<T>, IsOptional<T, K>, IsReadonly<T, K> | Type utilities | | Equals<T, U>, Extends<T, U>, HasKey<T, K>, HasKeys<T, K> | Type comparisons |

Examples

import type {
  SnakeCase,
  CamelCaseKeys,
  UnionToIntersection,
  AtLeastOne
} from 'uni-types'

// String case conversion
SnakeCase<'XMLParser'>  // 'xml_parser'
CamelCaseKeys<{ user_name: string, user_age: number }>
// { userName: string, userAge: number }

// Union to intersection
UnionToIntersection<{ a: string } | { b: number }>
// { a: string } & { b: number }

// Require at least one property
type Options = AtLeastOne<{ a?: string; b?: number; c?: boolean }>
// Must have at least one of a, b, or c

Development

# Install dependencies
pnpm install

# Run tests
pnpm test

# Build
pnpm build

# Type check
pnpm typecheck

# Start docs dev server
pnpm docs:dev

Contributing

Contributions are welcome! Please read our Contributing Guide for details.

License

MIT © saqqdy