packages/example/src/routes/tests.tsx

@@ -4,15 +4,16 @@ import { createFileRoute } from "@tanstack/react-router"
 import { GetRandomValues, makeUuid4 } from "@typed/id"
 import { Console, Effect, Option } from "effect"
 import { useEffect, useState } from "react"
-import { PropertyPath } from "reffuse/types"
 
 
 interface Node {
-    readonly value: string
+  value: string
-    readonly left?: Node
+  left?: Leaf
-    readonly right?: Node
+  right?: Leaf
+}
+interface Leaf {
+  node: Node
 }
-type NodePaths = PropertyPath.Paths<Node>
 
 
 const makeUuid = Effect.provide(makeUuid4, GetRandomValues.CryptoRandom)

packages/reffuse/src/types/PropertyPath.ts

@@ -17,9 +17,10 @@ export type ArrayPaths<T extends readonly any[], Seen> = {
     : never
 
 export type ObjectPaths<T extends object, Seen> = {
-    [K in keyof T as K extends string | number | symbol ? K : never]:
+    [K in keyof T as K extends string | number | symbol ? K : never]-?:
-        | [K]
+        NonNullable<T[K]> extends infer V
-        | [K, ...Paths<T[K], Seen>]
+            ? [K] | [K, ...Paths<T[K], Seen>]
+            : never
 } extends infer O
     ? O[keyof O]
     : never