uni-types 1.5.0 → 1.7.0

package/README.md

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