@zayne-labs/toolkit-type-helpers 0.10.19 → 0.10.21

package/dist/esm/index.d.ts

@@ -60,7 +60,7 @@ type AllowOnlyFirst<TFirstType, TSecondType, TErrorMessages extends ErrorMessage
  * @template TArrayOfTypes Array of types to merge
  * @template TAccumulator Accumulator for the resulting merged type
  */
-type MergeTypes<TArrayOfTypes extends unknown[], TAccumulator = NonNullable<unknown>> = TArrayOfTypes extends [infer TFirstType, ...infer TRest] ? MergeTypes<TRest, TAccumulator & TFirstType> : TAccumulator;
+type MergeTypes<TArrayOfTypes extends unknown[], TAccumulator = NonNullable<unknown>> = TArrayOfTypes extends [infer TFirstType, ...infer TRestOfTypes] ? MergeTypes<TRestOfTypes, { [Key in keyof TAccumulator | keyof TFirstType]: (TAccumulator & TFirstType)[Key] }> : TAccumulator;
 /**
  * Type utility that extracts discriminated properties from a union of types.
  * Takes an array of types and returns a union of types where each type has unique properties.
@@ -70,7 +70,7 @@ type MergeTypes<TArrayOfTypes extends unknown[], TAccumulator = NonNullable<unkn
  * @template TAccumulator Accumulator for the resulting union
  * @template TMergedProperties Merged properties from all types
  */
-type UnionDiscriminator<TArrayOfTypes extends unknown[], TErrorMessages extends ErrorMessages<keyof MergeTypes<TArrayOfTypes>> = never, TAccumulator = never, TMergedProperties = MergeTypes<TArrayOfTypes>> = TArrayOfTypes extends [infer TFirstType, ...infer TRest] ? UnionDiscriminator<TRest, TErrorMessages, TAccumulator | AllowOnlyFirst<TFirstType, TMergedProperties, TErrorMessages>, TMergedProperties> : TAccumulator;
+type UnionDiscriminator<TArrayOfTypes extends unknown[], TErrorMessages extends ErrorMessages<keyof MergeTypes<TArrayOfTypes>> = never, TAccumulator = never, TMergedProperties = MergeTypes<TArrayOfTypes>> = TArrayOfTypes extends [infer TFirstType, ...infer TRestOfTypes] ? UnionDiscriminator<TRestOfTypes, TErrorMessages, TAccumulator | AllowOnlyFirst<TFirstType, TMergedProperties, TErrorMessages>, TMergedProperties> : TAccumulator;
 type UnionVariant = "keys" | "values";
 type ExtractUnion<TObject, TVariant extends UnionVariant = "keys"> = TObject extends Array<infer TUnion> | ReadonlyArray<infer TUnion> | Set<infer TUnion> ? TUnion : TObject extends Record<infer TKeys, infer TValues> ? TVariant extends "keys" ? TKeys : Prettify<Writeable<TValues, "deep">> : never;
 type UnionToIntersection<TUnion> = (TUnion extends unknown ? (param: TUnion) => void : never) extends ((param: infer TParam) => void) ? TParam : never;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@zayne-labs/toolkit-type-helpers",
   "type": "module",
-  "version": "0.10.19",
+  "version": "0.10.21",
   "description": "A collection of utility functions, types and composables used by my other projects. Nothing too fancy but can be useful.",
   "author": "Ryan Zayne",
   "license": "MIT",