ecspresso 0.6.0 → 0.7.1

package/dist/type-utils.d.ts

@@ -7,17 +7,20 @@
  */
 type ExactlyCompatible<T, U> = T extends U ? U extends T ? true : false : false;
 /**
- * Check if two record types are compatible (no conflicting keys)
+ * Check if two record types are compatible (no conflicting keys).
+ * Returns true if no overlapping keys or all overlapping keys have exactly the same type.
  */
-export type TypesAreCompatible<T extends Record<string, any>, U extends Record<string, any>> = {
+export type TypesAreCompatible<T extends Record<string, any>, U extends Record<string, any>> = [
+    keyof T & keyof U
+] extends [never] ? true : {
     [K in keyof T & keyof U]: ExactlyCompatible<T[K], U[K]>;
 }[keyof T & keyof U] extends false ? false : true;
 /**
- * Simplified bundle compatibility checker
- * Returns true if bundles can be merged without type conflicts
- * More lenient - allows bundles without shared keys to be merged
+ * Bundle compatibility checker.
+ * Returns true if bundles can be merged without type conflicts.
+ * All overlapping keys across all type categories must have identical types.
  */
-export type BundlesAreCompatible<C1 extends Record<string, any>, C2 extends Record<string, any>, E1 extends Record<string, any>, E2 extends Record<string, any>, R1 extends Record<string, any>, R2 extends Record<string, any>> = keyof C1 & keyof C2 extends never ? keyof E1 & keyof E2 extends never ? keyof R1 & keyof R2 extends never ? true : TypesAreCompatible<R1, R2> : TypesAreCompatible<E1, E2> : TypesAreCompatible<C1, C2>;
+export type BundlesAreCompatible<C1 extends Record<string, any>, C2 extends Record<string, any>, E1 extends Record<string, any>, E2 extends Record<string, any>, R1 extends Record<string, any>, R2 extends Record<string, any>, A1 extends Record<string, unknown> = {}, A2 extends Record<string, unknown> = {}, S1 extends Record<string, any> = {}, S2 extends Record<string, any> = {}> = TypesAreCompatible<C1, C2> extends true ? TypesAreCompatible<E1, E2> extends true ? TypesAreCompatible<R1, R2> extends true ? TypesAreCompatible<A1, A2> extends true ? TypesAreCompatible<S1, S2> : false : false : false : false;
 /**
  * Utility type for merging two types
  */

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "ecspresso",
-	"version": "0.6.0",
+	"version": "0.7.1",
 	"main": "dist/index.js",
 	"module": "dist/index.js",
 	"types": "dist/index.d.ts",