Merge pull request #123 from ThomasAribart/fix-bug-with-compute-type-…

…util

fix bug with Compute type util

src/type-utils/compute.ts

@@ -1,9 +1,33 @@
-export type Compute<A> = A extends Promise<infer T>
-  ? Promise<Compute<T>>
-  : A extends (...args: infer P) => infer R
-  ? (...args: Compute<P>) => Compute<R>
-  : A extends Set<infer V>
-  ? Set<Compute<V>>
-  : A extends object
-  ? { [key in keyof A]: Compute<A[key]> }
-  : A;
+import type { DoesExtend } from "./extends";
+import type { If } from "./if";
+import type { Key } from "./key";
+
+export type Compute<A, Seen = never> = A extends
+  | Function
+  | Error
+  | Date
+  | { readonly [Symbol.toStringTag]: string }
+  | RegExp
+  | Generator
+  ? A
+  : If<
+      DoesExtend<Seen, A>,
+      A,
+      A extends Array<unknown>
+        ? A extends Array<Record<Key, unknown>>
+          ? Array<
+              {
+                [K in keyof A[number]]: Compute<A[number][K], A | Seen>;
+              } & unknown
+            >
+          : A
+        : A extends ReadonlyArray<unknown>
+        ? A extends ReadonlyArray<Record<string | number | symbol, unknown>>
+          ? ReadonlyArray<
+              {
+                [K in keyof A[number]]: Compute<A[number][K], A | Seen>;
+              } & unknown
+            >
+          : A
+        : { [K in keyof A]: Compute<A[K], A | Seen> } & unknown
+    >;

src/type-utils/extends.ts

@@ -5,4 +5,4 @@
  * @param B Type
  * @return Boolean
  */
-export type DoesExtend<A, B> = A extends B ? true : false;
+export type DoesExtend<A, B> = [A] extends [B] ? true : false;

src/type-utils/if.ts

@@ -0,0 +1 @@
+export type If<B extends boolean, T, E = never> = B extends true ? T : E;

src/type-utils/index.ts

@@ -2,6 +2,8 @@ export type { And } from "./and";
 export type { Compute } from "./compute";
 export type { DoesExtend } from "./extends";
 export type { DeepGet } from "./get";
+export type { If } from "./if";
+export type { Key } from "./key";
 export type { Join } from "./join";
 export type { Narrow } from "./narrow";
 export type { Pop } from "./pop";

src/type-utils/key.ts

@@ -0,0 +1 @@
+export type Key = string | number | symbol;