packages/reffuse/src/types/PropertyPath.ts

@@ -1,24 +1,26 @@
 import { Array, Function, Option, Predicate } from "effect"
+import type { Includes } from "../utils.js"
 
 
-export type Paths<T> = [] | (
-    T extends readonly any[] ? ArrayPaths<T> :
-    T extends object ? ObjectPaths<T> :
+export type Paths<T, Seen extends any[] = []> = [] | (
+    Includes<Seen, T> extends true ? [] :
+    T extends readonly any[] ? ArrayPaths<T, [T, ...Seen]> :
+    T extends object ? ObjectPaths<T, [T, ...Seen]> :
     never
 )
 
-export type ArrayPaths<T extends readonly any[]> = {
+export type ArrayPaths<T extends readonly any[], Seen extends any[]> = {
     [K in keyof T as K extends number ? K : never]:
         | [K]
-        | [K, ...Paths<T[K]>]
+        | [K, ...Paths<T[K], Seen>]
 } extends infer O
     ? O[keyof O]
     : never
 
-export type ObjectPaths<T extends object> = {
+export type ObjectPaths<T extends object, Seen extends any[]> = {
     [K in keyof T as K extends string | number | symbol ? K : never]:
         | [K]
-        | [K, ...Paths<T[K]>]
+        | [K, ...Paths<T[K], Seen>]
 } extends infer O
     ? O[keyof O]
     : never

packages/reffuse/src/utils.ts

@@ -9,3 +9,11 @@ export type CommonKeys<A, B> = Extract<keyof A, keyof B>
 export type StaticType<T extends abstract new (...args: any) => any> = Omit<T, "prototype">
 
 export type Merge<Super, Self> = Omit<Super, CommonKeys<Self, Super>> & Self
+
+export type Includes<T extends readonly any[], U> = (
+    T extends [infer Head, ...infer Tail]
+        ? (<X>() => X extends Head ? 1 : 2) extends (<X>() => X extends U ? 1 : 2)
+            ? true
+            : Includes<Tail, U>
+        : false
+)