From 7e50e35161de5bbf667d35b9a2ae39302bed72a4 Mon Sep 17 00:00:00 2001
From: Tony <legendmastertony@gmail.com>
Date: Fri, 6 Sep 2024 11:36:53 +0800
Subject: [PATCH 1/2] Fix `makePersisted` type narrowing

---
 .changeset/make-persisted-type-narrowing.md |  5 ++++
 packages/storage/src/persisted.ts           | 31 ++++++++++++---------
 2 files changed, 23 insertions(+), 13 deletions(-)
 create mode 100644 .changeset/make-persisted-type-narrowing.md

diff --git a/.changeset/make-persisted-type-narrowing.md b/.changeset/make-persisted-type-narrowing.md
new file mode 100644
index 000000000..be60e1520
--- /dev/null
+++ b/.changeset/make-persisted-type-narrowing.md
@@ -0,0 +1,5 @@
+---
+"@solid-primitives/storage": patch
+---
+
+Fix `makePersisted` type narrowing
diff --git a/packages/storage/src/persisted.ts b/packages/storage/src/persisted.ts
index b1b9de012..70689e0ad 100644
--- a/packages/storage/src/persisted.ts
+++ b/packages/storage/src/persisted.ts
@@ -70,12 +70,17 @@ export type PersistenceOptions<T, O extends Record<string, any> | undefined> = {
       storageOptions?: O;
     });
 
+export type SignalInput = Signal<any> | [Store<any>, SetStoreFunction<any>];
+
 export type SignalType<S extends Signal<any> | [Store<any>, SetStoreFunction<any>]> =
   S extends Signal<infer T> ? T : S extends [Store<infer T>, SetStoreFunction<infer T>] ? T : never;
 
-export type PersistedState<T> =
-  | [get: Accessor<T>, set: Setter<T>, init: Promise<string> | string | null]
-  | [get: Store<T>, set: SetStoreFunction<T>, init: Promise<string> | string | null];
+export type PersistedState<S extends SignalInput> =
+  S extends Signal<infer T>
+    ? [get: Accessor<T>, set: Setter<T>, init: Promise<string> | string | null]
+    : S extends [Store<infer T>, SetStoreFunction<infer T>]
+      ? [get: Store<T>, set: SetStoreFunction<T>, init: Promise<string> | string | null]
+      : never;
 
 /**
  * Persists a signal, store or similar API
@@ -97,26 +102,26 @@ export type PersistedState<T> =
  * @param {PersistenceOptions<T, O>} options - The options for persistence.
  * @returns {PersistedState<T>} - The persisted signal or store.
  */
-export function makePersisted<S extends Signal<any> | [Store<any>, SetStoreFunction<any>]>(
+export function makePersisted<S extends SignalInput>(
   signal: S,
   options?: PersistenceOptions<SignalType<S>, undefined>,
-): PersistedState<SignalType<S>>;
-export function makePersisted<
-  S extends Signal<any> | [Store<any>, SetStoreFunction<any>],
-  O extends Record<string, any>,
->(signal: S, options: PersistenceOptions<SignalType<S>, O>): PersistedState<SignalType<S>>;
+): PersistedState<S>;
+export function makePersisted<S extends SignalInput, O extends Record<string, any>>(
+  signal: S,
+  options: PersistenceOptions<SignalType<S>, O>,
+): PersistedState<S>;
 export function makePersisted<
-  S extends Signal<any> | [Store<any>, SetStoreFunction<any>],
+  S extends SignalInput,
   O extends Record<string, any> | undefined,
   T = SignalType<S>,
 >(
   signal: S,
   options: PersistenceOptions<T, O> = {} as PersistenceOptions<T, O>,
-): PersistedState<SignalType<S>> {
+): PersistedState<S> {
   const storage = options.storage || (globalThis.localStorage as Storage | undefined);
   const name = options.name || `storage-${createUniqueId()}`;
   if (!storage) {
-    return [signal[0], signal[1], null];
+    return [signal[0], signal[1], null] as PersistedState<S>;
   }
   const storageOptions = (options as unknown as { storageOptions: O }).storageOptions;
   const serialize: (data: T) => string = options.serialize || JSON.stringify.bind(JSON);
@@ -181,7 +186,7 @@ export function makePersisted<
           unchanged = false;
         },
     init,
-  ] as PersistedState<SignalType<S>>;
+  ] as PersistedState<S>;
 }
 
 /**

From 2c29f1fb470b12ba6fa62dcb442de03a5c7e43a8 Mon Sep 17 00:00:00 2001
From: Tony <legendmastertony@gmail.com>
Date: Fri, 6 Sep 2024 11:43:41 +0800
Subject: [PATCH 2/2] Make SignalType use SignalInput

---
 packages/storage/src/persisted.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/storage/src/persisted.ts b/packages/storage/src/persisted.ts
index 70689e0ad..396db317f 100644
--- a/packages/storage/src/persisted.ts
+++ b/packages/storage/src/persisted.ts
@@ -72,7 +72,7 @@ export type PersistenceOptions<T, O extends Record<string, any> | undefined> = {
 
 export type SignalInput = Signal<any> | [Store<any>, SetStoreFunction<any>];
 
-export type SignalType<S extends Signal<any> | [Store<any>, SetStoreFunction<any>]> =
+export type SignalType<S extends SignalInput> =
   S extends Signal<infer T> ? T : S extends [Store<infer T>, SetStoreFunction<infer T>] ? T : never;
 
 export type PersistedState<S extends SignalInput> =