uni-types 1.1.0 → 1.3.0

package/README.md

@@ -18,7 +18,7 @@ A comprehensive collection of type helpers for TypeScript development
 
 ## Features
 
-- 🎯 **100+ Type Utilities** - Comprehensive type helpers for every use case
+- 🎯 **250+ 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
@@ -212,6 +212,162 @@ type Result = If<true, 'success', 'error'> // 'success'
 | `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 |
+
 ## Examples
 
 ```typescript