### Brand Types *(v1.1.0)*

| Type | Description |
|------|-------------|
| `Brand` | Create a branded type for nominal typing |
| `Unbrand` | Extract underlying type from branded type |

### Function Utilities *(v1.1.0)*

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

### Template Literal Utilities *(v1.1.0)*

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

### Numeric Utilities *(v1.1.0)*

### Path Types

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

### Key Utilities *(v1.1.0)*

| Type | Description |
|------|-------------|
| `Keys` | Get all keys |
| `RenameKeys` | Rename keys based on mapping |
| `PrefixKeys` | Add prefix to all keys |
| `SuffixKeys` | Add suffix to all keys |
| `KeysByValueType` | Get keys by value type |

### Record Utilities *(v1.1.0)*

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

### Schema Validation *(v1.2.0)*

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

### Ecosystem Integration *(v1.2.0)*

| Type | Description |
|------|-------------|
| `ComponentProps` | Extract props from React component |
| `PropsWithChildren

` | Add children to props type |
| `RequiredProps

` | Get required prop keys |
| `OptionalProps

` | Get optional prop keys |
| `VuePropType` | Vue prop type definition |
| `VueEmitType` | Vue emit function type |
| `PrismaCreateInput` | Create input type for Prisma models |
| `PrismaUpdateInput` | Update input type for Prisma models |
| `PrismaWhereInput` | Where input type for Prisma queries |
| `TRPCProcedureInput` | Extract input from tRPC procedure |
| `TRPCProcedureOutput` | Extract output from tRPC procedure |

### Performance Optimization *(v1.2.0)*

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

### Advanced Type Patterns *(v1.3.0)*

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

### Type-Level Collections *(v1.3.0)*

### Type Assertions & Constraints *(v1.3.0)*

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

### String Operations *(v1.3.0)*

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

### Promise & Async Utilities *(v1.3.0)*

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

### Object Operations *(v1.3.0)*

### JSON Schema *(v1.3.0)*

| Type | Description |
|------|-------------|
| `JsonSchemaType` | Map TS types to JSON Schema types |
| `JsonSchema` | Full JSON Schema type |
| `OpenAPISchema` | OpenAPI 3.0 Schema |
| `OpenAPIResponse` | OpenAPI Response |
| `OpenAPIRequestBody` | OpenAPI Request Body |
| `OpenAPIParameter` | OpenAPI Parameter |
| `OpenAPIDocument` | OpenAPI Document |

### Extended Ecosystem *(v1.3.0)*

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

### Type-Level Algorithms *(v1.4.0)*

### Type-Level Parsers *(v1.4.0)*

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

### Type-Level State Machines *(v1.4.0)*

| Type | Description |
|------|-------------|
| `StateMachine` | State machine definition |
| `State` | State definition |
| `Transition` | Transition definition |
| `CurrentState` | Get current state |
| `NextState` | Get next state after event |
| `ValidTransitions` | Get valid transitions |
| `StateHistory` | State history type |
| `CanTransition` | Check if transition is valid |
| `IsTerminal` | Check if state is terminal |

### Type-Level Data Structures *(v1.4.0)*

### Type-Level HTTP & API *(v1.4.0)*

| Type | Description |
|------|-------------|
| `HTTPMethod` | HTTP methods |
| `HTTPStatus` | HTTP status codes |
| `HTTPHeaders` | HTTP headers type |
| `Route

` | Route definition |
| `RouteParams

` | Extract route params |
| `RouteQuery` | Route query type |
| `Router` | Router type |
| `APIEndpoint` | API endpoint type |
| `APIRequest` | API request type |
| `APIResponse` | API response type |
| `APIError` | API error type |
| `Middleware` | Middleware type |
| `Context` | Request context |
| `ComposeMiddleware` | Compose middleware chain |

### Type-Level Database *(v1.4.0)*

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

### Type-Level Concurrency *(v1.4.0)*

| Type | Description |
|------|-------------|
| `Task` | Task type |
| `TaskResult` | Task result type |
| `TaskError` | Task error type |
| `TaskStatus` | Task status type |
| `Pipeline` | Pipeline type |
| `PipelineStage` | Pipeline stage type |
| `Scheduler` | Scheduler type |
| `Worker` | Worker type |
| `WorkerPool` | Worker pool type |
| `RateLimiter` | Rate limiter type |
| `Throttle` | Throttle type |
| `Debounce` | Debounce type |

| Type | Description |
|------|-------------|
| `ToTypeFest