fix: unknown array length derived values should now by typed properly (#224)

* fix: unknown array length derived values should now by typed properly

* ci: apply automated fixes and generate docs

---------

Co-authored-by: autofix-ci[bot] <114827586+autofix-ci[bot]@users.noreply.github.com>

Author: crutchcorn

docs/reference/classes/derived.md

@@ -7,7 +7,7 @@ title: Derived
 
 # Class: Derived\<TState, TArr\>
 
-Defined in: [derived.ts:54](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L54)
+Defined in: [derived.ts:61](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L61)
 
 ## Type Parameters
 
@@ -23,7 +23,7 @@ Defined in: [derived.ts:54](https://github.com/TanStack/store/blob/main/packages
 new Derived<TState, TArr>(options): Derived<TState, TArr>
 ```
 
-Defined in: [derived.ts:87](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L87)
+Defined in: [derived.ts:94](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L94)
 
 #### Parameters
 
@@ -43,7 +43,7 @@ Defined in: [derived.ts:87](https://github.com/TanStack/store/blob/main/packages
 lastSeenDepValues: unknown[] = [];
 ```
 
-Defined in: [derived.ts:71](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L71)
+Defined in: [derived.ts:78](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L78)
 
 ***
 
@@ -53,7 +53,7 @@ Defined in: [derived.ts:71](https://github.com/TanStack/store/blob/main/packages
 listeners: Set<Listener<TState>>;
 ```
 
-Defined in: [derived.ts:60](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L60)
+Defined in: [derived.ts:67](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L67)
 
 ***
 
@@ -63,7 +63,7 @@ Defined in: [derived.ts:60](https://github.com/TanStack/store/blob/main/packages
 options: DerivedOptions<TState, TArr>;
 ```
 
-Defined in: [derived.ts:63](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L63)
+Defined in: [derived.ts:70](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L70)
 
 ***
 
@@ -73,7 +73,7 @@ Defined in: [derived.ts:63](https://github.com/TanStack/store/blob/main/packages
 prevState: undefined | TState;
 ```
 
-Defined in: [derived.ts:62](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L62)
+Defined in: [derived.ts:69](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L69)
 
 ***
 
@@ -83,7 +83,7 @@ Defined in: [derived.ts:62](https://github.com/TanStack/store/blob/main/packages
 state: TState;
 ```
 
-Defined in: [derived.ts:61](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L61)
+Defined in: [derived.ts:68](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L68)
 
 ## Methods
 
@@ -93,7 +93,7 @@ Defined in: [derived.ts:61](https://github.com/TanStack/store/blob/main/packages
 checkIfRecalculationNeededDeeply(): void
 ```
 
-Defined in: [derived.ts:157](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L157)
+Defined in: [derived.ts:164](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L164)
 
 #### Returns
 
@@ -107,7 +107,7 @@ Defined in: [derived.ts:157](https://github.com/TanStack/store/blob/main/package
 getDepVals(): object
 ```
 
-Defined in: [derived.ts:72](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L72)
+Defined in: [derived.ts:79](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L79)
 
 #### Returns
 
@@ -139,7 +139,7 @@ prevVal: undefined | NonNullable<TState>;
 mount(): () => void
 ```
 
-Defined in: [derived.ts:178](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L178)
+Defined in: [derived.ts:185](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L185)
 
 #### Returns
 
@@ -157,7 +157,7 @@ Defined in: [derived.ts:178](https://github.com/TanStack/store/blob/main/package
 recompute(): void
 ```
 
-Defined in: [derived.ts:145](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L145)
+Defined in: [derived.ts:152](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L152)
 
 #### Returns
 
@@ -171,7 +171,7 @@ Defined in: [derived.ts:145](https://github.com/TanStack/store/blob/main/package
 registerOnGraph(deps): void
 ```
 
-Defined in: [derived.ts:96](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L96)
+Defined in: [derived.ts:103](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L103)
 
 #### Parameters
 
@@ -193,7 +193,7 @@ readonly (
 subscribe(listener): () => void
 ```
 
-Defined in: [derived.ts:190](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L190)
+Defined in: [derived.ts:197](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L197)
 
 #### Parameters
 
@@ -217,7 +217,7 @@ Defined in: [derived.ts:190](https://github.com/TanStack/store/blob/main/package
 unregisterFromGraph(deps): void
 ```
 
-Defined in: [derived.ts:125](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L125)
+Defined in: [derived.ts:132](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L132)
 
 #### Parameters
 

docs/reference/interfaces/derivedfnprops.md

@@ -7,7 +7,7 @@ title: DerivedFnProps
 
 # Interface: DerivedFnProps\<TArr, TUnwrappedArr\>
 
-Defined in: [derived.ts:23](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L23)
+Defined in: [derived.ts:30](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L30)
 
 ## Type Parameters
 
@@ -25,7 +25,7 @@ Defined in: [derived.ts:23](https://github.com/TanStack/store/blob/main/packages
 currDepVals: TUnwrappedArr;
 ```
 
-Defined in: [derived.ts:35](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L35)
+Defined in: [derived.ts:42](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L42)
 
 ***
 
@@ -35,7 +35,7 @@ Defined in: [derived.ts:35](https://github.com/TanStack/store/blob/main/packages
 prevDepVals: undefined | TUnwrappedArr;
 ```
 
-Defined in: [derived.ts:34](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L34)
+Defined in: [derived.ts:41](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L41)
 
 ***
 
@@ -45,6 +45,6 @@ Defined in: [derived.ts:34](https://github.com/TanStack/store/blob/main/packages
 prevVal: unknown;
 ```
 
-Defined in: [derived.ts:33](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L33)
+Defined in: [derived.ts:40](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L40)
 
 `undefined` if it's the first run

docs/reference/interfaces/derivedoptions.md

@@ -7,7 +7,7 @@ title: DerivedOptions
 
 # Interface: DerivedOptions\<TState, TArr\>
 
-Defined in: [derived.ts:38](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L38)
+Defined in: [derived.ts:45](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L45)
 
 ## Type Parameters
 
@@ -25,7 +25,7 @@ Defined in: [derived.ts:38](https://github.com/TanStack/store/blob/main/packages
 deps: TArr;
 ```
 
-Defined in: [derived.ts:47](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L47)
+Defined in: [derived.ts:54](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L54)
 
 ***
 
@@ -35,7 +35,7 @@ Defined in: [derived.ts:47](https://github.com/TanStack/store/blob/main/packages
 fn: (props) => TState;
 ```
 
-Defined in: [derived.ts:51](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L51)
+Defined in: [derived.ts:58](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L58)
 
 Values of the `deps` from before and after the current invocation of `fn`
 
@@ -57,7 +57,7 @@ Values of the `deps` from before and after the current invocation of `fn`
 optional onSubscribe: (listener, derived) => () => void;
 ```
 
-Defined in: [derived.ts:42](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L42)
+Defined in: [derived.ts:49](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L49)
 
 #### Parameters
 
@@ -85,7 +85,7 @@ Defined in: [derived.ts:42](https://github.com/TanStack/store/blob/main/packages
 optional onUpdate: () => void;
 ```
 
-Defined in: [derived.ts:46](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L46)
+Defined in: [derived.ts:53](https://github.com/TanStack/store/blob/main/packages/store/src/derived.ts#L53)
 
 #### Returns
 

packages/store/src/derived.ts

@@ -11,13 +11,20 @@ export type UnwrapDerivedOrStore<T> =
 
 type UnwrapReadonlyDerivedOrStoreArray<
   TArr extends ReadonlyArray<Derived<any> | Store<any>>,
-> = TArr extends readonly [infer Head, ...infer Tail]
-  ? Head extends Derived<any> | Store<any>
-    ? Tail extends ReadonlyArray<Derived<any> | Store<any>>
-      ? [UnwrapDerivedOrStore<Head>, ...UnwrapReadonlyDerivedOrStoreArray<Tail>]
+> = TArr extends readonly []
+  ? []
+  : TArr extends readonly [infer Head, ...infer Tail]
+    ? Head extends Derived<any> | Store<any>
+      ? Tail extends ReadonlyArray<Derived<any> | Store<any>>
+        ? [
+            UnwrapDerivedOrStore<Head>,
+            ...UnwrapReadonlyDerivedOrStoreArray<Tail>,
+          ]
+        : [UnwrapDerivedOrStore<Head>]
+      : []
+    : TArr extends ReadonlyArray<Derived<any> | Store<any>>
+      ? Array<UnwrapDerivedOrStore<TArr[number]>>
       : []
-    : []
-  : []
 
 // Can't have currVal, as it's being evaluated from the current derived fn
 export interface DerivedFnProps<

packages/store/tests/derived.test-d.ts

@@ -12,6 +12,21 @@ test('dep array inner types work', () => {
   })
 })
 
+test('dep array inner types work with derived vals', () => {
+  const derived = new Derived({
+    fn: () => 123,
+    deps: [],
+  })
+
+  new Derived({
+    // This is an edgecase that might happen when an array is of unknown length, like being drive through `.map`
+    deps: [derived] as ReadonlyArray<typeof derived>,
+    fn: ({ currDepVals }) => {
+      expectTypeOf(currDepVals).toMatchTypeOf<Array<number>>()
+    },
+  })
+})
+
 test('return type inferencing should work', () => {
   const derived = new Derived({
     deps: [],