solid-js 1.3.0-rc.2 → 1.3.1

package/store/types/index.d.ts

@@ -1,4 +1,4 @@
 export { createStore, unwrap, $RAW } from "./store";
-export type { Store, SetStoreFunction, NotWrappable, StoreNode, StoreSetter, StorePathRange, ArrayFilterFn, Part, Next, Readonly, DeepReadonly } from "./store";
+export type { Store, SetStoreFunction, NotWrappable, StoreNode, StoreSetter, StorePathRange, ArrayFilterFn, Part, Next, WrappableNext, DeepReadonly } from "./store";
 export * from "./mutable";
 export * from "./modifiers";

package/store/types/modifiers.d.ts

@@ -1,7 +1,7 @@
-import { Store, NotWrappable, DeepReadonly } from "./store";
+import { Store } from "./store";
 export declare type ReconcileOptions = {
     key?: string | null;
     merge?: boolean;
 };
-export declare function reconcile<T>(value: T | Store<T>, options?: ReconcileOptions): (state: T extends NotWrappable ? T : Store<DeepReadonly<T>>) => T extends NotWrappable ? T : Store<T>;
-export declare function produce<T>(fn: (state: T) => void): (state: T extends NotWrappable ? T : Store<DeepReadonly<T>>) => T extends NotWrappable ? T : Store<T>;
+export declare function reconcile<T>(value: T, options?: ReconcileOptions): (state: unknown) => Store<T>;
+export declare function produce<T>(fn: (state: T) => void): (state: Store<T>) => Store<T>;

package/store/types/mutable.d.ts

@@ -1,4 +1,4 @@
-import { StoreNode, Store } from "./store";
-export declare function createMutable<T extends StoreNode>(state: T | Store<T>, options?: {
+import { StoreNode } from "./store";
+export declare function createMutable<T extends StoreNode>(state: T, options?: {
     name?: string;
-}): Store<T>;
+}): T;

package/store/types/server.d.ts

@@ -1,50 +1,15 @@
+import { SetStoreFunction, Store } from "store";
 export declare const $RAW: unique symbol;
-declare type AddSymbolToPrimitive<T> = T extends {
-    [Symbol.toPrimitive]: infer V;
-} ? {
-    [Symbol.toPrimitive]: V;
-} : {};
-declare type AddCallable<T> = T extends {
-    (...x: any[]): infer V;
-} ? {
-    (...x: Parameters<T>): V;
-} : {};
-declare type NotWrappable = string | number | boolean | Function | null;
-export declare type Store<T> = {
-    [P in keyof T]: T[P] extends object ? Store<T[P]> : T[P];
-} & {
-    [$RAW]?: T;
-} & AddSymbolToPrimitive<T> & AddCallable<T>;
 export declare function isWrappable(obj: any): boolean;
 export declare function unwrap<T>(item: any): T;
 export declare function setProperty(state: any, property: string | number, value: any, force?: boolean): void;
 export declare function updatePath(current: any, path: any[], traversed?: (number | string)[]): void;
-declare type StoreSetter<T> = Partial<T> | ((prevState: T extends NotWrappable ? T : Store<T>, traversed?: (string | number)[]) => Partial<T> | void);
-declare type StorePathRange = {
-    from?: number;
-    to?: number;
-    by?: number;
-};
-declare type ArrayFilterFn<T> = (item: T extends any[] ? T[number] : never, index: number) => boolean;
-declare type Part<T> = keyof T | Array<keyof T> | StorePathRange | ArrayFilterFn<T>;
-declare type Next<T, K> = K extends keyof T ? T[K] : K extends Array<keyof T> ? T[K[number]] : T extends any[] ? K extends StorePathRange ? T[number] : K extends ArrayFilterFn<T> ? T[number] : never : never;
-export interface SetStoreFunction<T> {
-    <Setter extends StoreSetter<T>>(...args: [Setter]): void;
-    <K1 extends Part<T>, Setter extends StoreSetter<Next<T, K1>>>(...args: [K1, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, Setter extends StoreSetter<Next<Next<T, K1>, K2>>>(...args: [K1, K2, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, Setter extends StoreSetter<Next<Next<Next<T, K1>, K2>, K3>>>(...args: [K1, K2, K3, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, Setter extends StoreSetter<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>>(...args: [K1, K2, K3, K4, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, K5 extends Part<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>, Setter extends StoreSetter<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>>>(...args: [K1, K2, K3, K4, K5, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, K5 extends Part<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>, K6 extends Part<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>>, Setter extends StoreSetter<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>>>(...args: [K1, K2, K3, K4, K5, K6, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, K5 extends Part<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>, K6 extends Part<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>>, K7 extends Part<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>>, Setter extends StoreSetter<Next<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>, K7>>>(...args: [K1, K2, K3, K4, K5, K6, K7, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, K5 extends Part<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>, K6 extends Part<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>>, K7 extends Part<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>>, K8 extends Part<Next<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>, K7>>>(...args: [K1, K2, K3, K4, K5, K6, K7, K8, ...(Part<any> | StoreSetter<any>)[]]): void;
-}
 export declare function createStore<T>(state: T | Store<T>): [Store<T>, SetStoreFunction<T>];
 export declare function createMutable<T>(state: T | Store<T>): Store<T>;
 declare type ReconcileOptions = {
     key?: string | null;
     merge?: boolean;
 };
-export declare function reconcile<T>(value: T | Store<T>, options?: ReconcileOptions): (state: T extends NotWrappable ? T : Store<T>) => void;
-export declare function produce<T>(fn: (state: T) => void): (state: T extends NotWrappable ? T : Store<T>) => T extends NotWrappable ? T : Store<T>;
+export declare function reconcile<T>(value: T | Store<T>, options?: ReconcileOptions): (state: Store<T>) => void;
+export declare function produce<T>(fn: (state: T) => void): (state: Store<T>) => Store<T>;
 export {};

package/store/types/store.d.ts

@@ -1,72 +1,44 @@
-import { $PROXY, Accessor } from "../..";
+import { Accessor } from "../..";
 export declare const $RAW: unique symbol, $NODE: unique symbol, $NAME: unique symbol;
-export declare type StoreNode = {
-    [$NODE]?: any;
-    [$PROXY]?: any;
-    [$NAME]?: string;
-    [k: string]: any;
-    [k: number]: any;
-};
-declare type AddSymbolToPrimitive<T> = T extends {
-    [Symbol.toPrimitive]: infer V;
-} ? {
-    [Symbol.toPrimitive]: V;
-} : {};
-declare type AddSymbolIterator<T> = T extends {
-    [Symbol.iterator]: infer V;
-} ? {
-    [Symbol.iterator]: V;
-} : {};
-declare type AddSymbolToStringTag<T> = T extends {
-    [Symbol.toStringTag]: infer V;
-} ? {
-    [Symbol.toStringTag]: V;
-} : {};
-declare type AddCallable<T> = T extends {
-    (...x: any[]): infer V;
-} ? {
-    (...x: Parameters<T>): V;
-} : {};
-export declare type NotWrappable = string | number | boolean | Function | null;
-export declare type Store<T> = {
-    [P in keyof T]: T[P] extends object ? Store<T[P]> & T[P] : T[P];
-} & {
-    [$RAW]?: T;
-} & AddSymbolToPrimitive<T> & AddSymbolIterator<T> & AddSymbolToStringTag<T> & AddCallable<T>;
+export declare type StoreNode = Record<keyof any, any>;
+export declare type NotWrappable = string | number | bigint | symbol | boolean | Function | null | undefined;
+export declare type Store<T> = DeepReadonly<T>;
 export declare function isWrappable(obj: any): any;
 export declare function unwrap<T extends StoreNode>(item: any, set?: Set<unknown>): T;
 export declare function getDataNodes(target: StoreNode): any;
-export declare function proxyDescriptor(target: StoreNode, property: string | number | symbol): PropertyDescriptor | undefined;
+export declare function proxyDescriptor(target: StoreNode, property: keyof any): PropertyDescriptor | undefined;
 export declare function ownKeys(target: StoreNode): (string | symbol)[];
 export declare function createDataNode(): Accessor<void> & {
     $: () => void;
 };
-export declare function setProperty(state: StoreNode, property: string | number, value: any): void;
-export declare function updatePath(current: StoreNode, path: any[], traversed?: (number | string)[]): void;
-export declare type Readonly<T> = {
-    readonly [K in keyof T]: DeepReadonly<T[K]>;
+export declare function setProperty(state: StoreNode, property: keyof any, value: any): void;
+export declare function updatePath(current: StoreNode, path: any[], traversed?: (keyof any)[]): void;
+export declare type DeepReadonly<T> = {
+    readonly [K in keyof T]: T[K] extends NotWrappable ? T[K] : DeepReadonly<T[K]>;
 };
-export declare type DeepReadonly<T> = T extends [infer A] ? Readonly<[A]> : T extends [infer A, infer B] ? Readonly<[A, B]> : T extends [infer A, infer B, infer C] ? Readonly<[A, B, C]> : T extends [infer A, infer B, infer C, infer D] ? Readonly<[A, B, C, D]> : T extends [infer A, infer B, infer C, infer D, infer E] ? Readonly<[A, B, C, D, E]> : T extends [infer A, infer B, infer C, infer D, infer E, infer F] ? Readonly<[A, B, C, D, E, F]> : T extends [infer A, infer B, infer C, infer D, infer E, infer F, infer G] ? Readonly<[A, B, C, D, E, F, G]> : T extends [infer A, infer B, infer C, infer D, infer E, infer F, infer G, infer H] ? Readonly<[A, B, C, D, E, F, G, H]> : T extends object ? Readonly<T> : T;
-export declare type StoreSetter<T> = Partial<T> | ((prevState: T extends NotWrappable ? T : Store<DeepReadonly<T>>, traversed?: (string | number)[]) => Partial<T | DeepReadonly<T>> | void);
+export declare type StoreSetter<T> = T | Partial<T> | ((prevState: T, traversed?: (keyof any)[]) => Partial<T> | void);
 export declare type StorePathRange = {
     from?: number;
     to?: number;
     by?: number;
 };
-export declare type ArrayFilterFn<T> = (item: T extends any[] ? T[number] : never, index: number) => boolean;
-export declare type Part<T> = T extends any[] ? keyof T | Array<keyof T> | ArrayFilterFn<T> | StorePathRange : T extends object ? keyof T | Array<keyof T> : never;
-export declare type NullableNext<T, K> = K extends keyof T ? T[K] : K extends Array<keyof T> ? T[K[number]] : T extends any[] ? K extends StorePathRange ? T[number] : K extends ArrayFilterFn<T> ? T[number] : never : never;
-export declare type Next<T, K> = NonNullable<NullableNext<T, K>>;
-export interface SetStoreFunction<T> {
-    <Setter extends StoreSetter<T>>(...args: [Setter]): void;
-    <K1 extends Part<T>, Setter extends StoreSetter<NullableNext<T, K1>>>(...args: [K1, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, Setter extends StoreSetter<NullableNext<Next<T, K1>, K2>>>(...args: [K1, K2, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, Setter extends StoreSetter<NullableNext<Next<Next<T, K1>, K2>, K3>>>(...args: [K1, K2, K3, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, Setter extends StoreSetter<NullableNext<Next<Next<Next<T, K1>, K2>, K3>, K4>>>(...args: [K1, K2, K3, K4, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, K5 extends Part<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>, Setter extends StoreSetter<NullableNext<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>>>(...args: [K1, K2, K3, K4, K5, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, K5 extends Part<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>, K6 extends Part<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>>, Setter extends StoreSetter<NullableNext<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>>>(...args: [K1, K2, K3, K4, K5, K6, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, K5 extends Part<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>, K6 extends Part<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>>, K7 extends Part<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>>, Setter extends StoreSetter<NullableNext<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>, K7>>>(...args: [K1, K2, K3, K4, K5, K6, K7, Setter]): void;
-    <K1 extends Part<T>, K2 extends Part<Next<T, K1>>, K3 extends Part<Next<Next<T, K1>, K2>>, K4 extends Part<Next<Next<Next<T, K1>, K2>, K3>>, K5 extends Part<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>>, K6 extends Part<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>>, K7 extends Part<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>>, K8 extends Part<Next<Next<Next<Next<Next<Next<Next<T, K1>, K2>, K3>, K4>, K5>, K6>, K7>>>(...args: [K1, K2, K3, K4, K5, K6, K7, K8, ...(Part<any> | StoreSetter<any>)[]]): void;
+export declare type ArrayFilterFn<T> = (item: T, index: number) => boolean;
+export declare type Part<T> = [T] extends [never] ? never : [keyof T] extends [never] ? never : keyof T | (keyof T)[] | (number extends keyof T ? ArrayFilterFn<T[number]> | StorePathRange : never);
+export declare type Next<T, K extends Part<T>> = [K] extends [never] ? never : K extends keyof T ? T[K] : K extends (keyof T)[] ? T[K[number]] : number extends keyof T ? T[number] : never;
+export declare type WrappableNext<T, K extends Part<T>> = Exclude<Next<T, K>, NotWrappable>;
+declare type DistributeRest<T, K extends Part<T>> = K extends K ? [K, ...Rest<Next<T, K>>] : never;
+export declare type Rest<T> = 0 extends 1 & T ? [...(keyof any)[], any] : [StoreSetter<T>] | (T extends NotWrappable ? never : DistributeRest<T, Part<T>>);
+export declare type SetStoreFunction<T> = _SetStoreFunction<Store<T>>;
+interface _SetStoreFunction<T> {
+    <K1 extends Part<T>, K2 extends Part<T1>, K3 extends Part<T2>, K4 extends Part<T3>, K5 extends Part<T4>, K6 extends Part<T5>, K7 extends Part<T6>, T1 extends WrappableNext<T, K1>, T2 extends WrappableNext<T1, K2>, T3 extends WrappableNext<T2, K3>, T4 extends WrappableNext<T3, K4>, T5 extends WrappableNext<T4, K5>, T6 extends WrappableNext<T5, K6>>(k1: K1, k2: K2, k3: K3, k4: K4, k5: K5, k6: K6, k7: K7, ...rest: Rest<Next<T6, K7>>): void;
+    <K1 extends Part<T>, K2 extends Part<T1>, K3 extends Part<T2>, K4 extends Part<T3>, K5 extends Part<T4>, K6 extends Part<T5>, K7 extends Part<T6>, T1 extends WrappableNext<T, K1>, T2 extends WrappableNext<T1, K2>, T3 extends WrappableNext<T2, K3>, T4 extends WrappableNext<T3, K4>, T5 extends WrappableNext<T4, K5>, T6 extends WrappableNext<T5, K6>>(k1: K1, k2: K2, k3: K3, k4: K4, k5: K5, k6: K6, k7: K7, setter: StoreSetter<Next<T6, K7>>): void;
+    <K1 extends Part<T>, K2 extends Part<T1>, K3 extends Part<T2>, K4 extends Part<T3>, K5 extends Part<T4>, K6 extends Part<T5>, T1 extends WrappableNext<T, K1>, T2 extends WrappableNext<T1, K2>, T3 extends WrappableNext<T2, K3>, T4 extends WrappableNext<T3, K4>, T5 extends WrappableNext<T4, K5>>(k1: K1, k2: K2, k3: K3, k4: K4, k5: K5, k6: K6, setter: StoreSetter<Next<T5, K6>>): void;
+    <K1 extends Part<T>, K2 extends Part<T1>, K3 extends Part<T2>, K4 extends Part<T3>, K5 extends Part<T4>, T1 extends WrappableNext<T, K1>, T2 extends WrappableNext<T1, K2>, T3 extends WrappableNext<T2, K3>, T4 extends WrappableNext<T3, K4>>(k1: K1, k2: K2, k3: K3, k4: K4, k5: K5, setter: StoreSetter<Next<T4, K5>>): void;
+    <K1 extends Part<T>, K2 extends Part<T1>, K3 extends Part<T2>, K4 extends Part<T3>, T1 extends WrappableNext<T, K1>, T2 extends WrappableNext<T1, K2>, T3 extends WrappableNext<T2, K3>>(k1: K1, k2: K2, k3: K3, k4: K4, setter: StoreSetter<Next<T3, K4>>): void;
+    <K1 extends Part<T>, K2 extends Part<T1>, K3 extends Part<T2>, T1 extends WrappableNext<T, K1>, T2 extends WrappableNext<T1, K2>>(k1: K1, k2: K2, k3: K3, setter: StoreSetter<Next<T2, K3>>): void;
+    <K1 extends Part<T>, K2 extends Part<T1>, T1 extends WrappableNext<T, K1>>(k1: K1, k2: K2, setter: StoreSetter<Next<T1, K2>>): void;
+    <K extends Part<T>>(k: K, setter: StoreSetter<Next<T, K>>): void;
+    (setter: StoreSetter<T>): void;
 }
 /**
  * creates a reactive store that can be read through a proxy object and written with a setter function

package/types/index.d.ts

@@ -1,4 +1,4 @@
-export { createRoot, createSignal, createEffect, createRenderEffect, createComputed, createDeferred, createSelector, createMemo, createResource, onMount, onCleanup, onError, untrack, batch, on, enableScheduling, enableExternalSource, startTransition, useTransition, refetchResources, createContext, useContext, children, getListener, getOwner, runWithOwner, equalFn, $PROXY } from "./reactive/signal";
+export { createRoot, createSignal, createEffect, createRenderEffect, createComputed, createReaction, createDeferred, createSelector, createMemo, createResource, onMount, onCleanup, onError, untrack, batch, on, enableScheduling, enableExternalSource, startTransition, useTransition, refetchResources, createContext, useContext, children, getListener, getOwner, runWithOwner, equalFn, $DEVCOMP, $PROXY } from "./reactive/signal";
 export type { Accessor, Setter, Resource, ResourceReturn, ResourceFetcher, ResourceFetcherInfo, Context, ReturnTypes } from "./reactive/signal";
 export * from "./reactive/observable";
 export * from "./reactive/scheduler";

package/types/jsx.d.ts

@@ -3160,6 +3160,7 @@ export namespace JSX {
     startOffset?: number | string;
     method?: "align" | "stretch";
     spacing?: "auto" | "exact";
+    href?: string;
   }
   interface TSpanSVGAttributes<T>
     extends TextContentElementSVGAttributes<T>,

package/types/reactive/signal.d.ts

@@ -2,6 +2,7 @@ import { requestCallback } from "./scheduler";
 import type { JSX } from "../jsx";
 export declare const equalFn: <T>(a: T, b: T) => boolean;
 export declare const $PROXY: unique symbol;
+export declare const $DEVCOMP: unique symbol;
 export declare const NOTPENDING: {};
 export declare var Owner: Owner | null;
 export declare let Transition: TransitionState | null;
@@ -157,6 +158,20 @@ export declare function createRenderEffect<Next, Init = undefined>(..._: undefin
  */
 export declare function createEffect<Next, Init = Next>(fn: EffectFunction<Init | Next, Next>, value: Init, options?: EffectOptions): void;
 export declare function createEffect<Next, Init = undefined>(..._: undefined extends Init ? [fn: EffectFunction<Init | Next, Next>, value?: Init, options?: EffectOptions] : [fn: EffectFunction<Init | Next, Next>, value: Init, options?: EffectOptions]): void;
+/**
+ * Creates a reactive computation that runs after the render phase with flexible tracking
+ * ```typescript
+ * export function createReaction(
+ *   onInvalidate: () => void,
+ *   options?: { name?: string }
+ * ): (fn: () => void) => void;
+ * ```
+ * @param invalidated a function that is called when tracked function is invalidated.
+ * @param options allows to set a name in dev mode for debugging purposes
+ *
+ * @description https://www.solidjs.com/docs/latest/api#createreaction
+ */
+export declare function createReaction(onInvalidate: () => void, options?: EffectOptions): (tracking: () => void) => void;
 interface Memo<Prev, Next = Prev> extends SignalState<Next>, Computation<Next> {
     tOwned?: Computation<Prev | Next, Next>[];
 }
@@ -170,7 +185,7 @@ export interface MemoOptions<T> extends EffectOptions {
  *   fn: (v: T) => T,
  *   value?: T,
  *   options?: { name?: string, equals?: false | ((prev: T, next: T) => boolean) }
- * ): T;
+ * ): () => T;
  * ```
  * @param fn a function that receives its previous or the initial value, if set, and returns a new value used to react on a computation
  * @param value an optional initial value for the computation; if set, fn will never receive undefined as first argument
@@ -235,7 +250,7 @@ export declare function createResource<T, S = true>(fetcher: ResourceFetcher<S,
 export declare function createResource<T, S = true>(fetcher: ResourceFetcher<S, T>, options: ResourceOptions<T>): ResourceReturn<T>;
 export declare function createResource<T, S>(source: ResourceSource<S>, fetcher: ResourceFetcher<S, T>, options?: ResourceOptions<undefined>): ResourceReturn<T | undefined>;
 export declare function createResource<T, S>(source: ResourceSource<S>, fetcher: ResourceFetcher<S, T>, options: ResourceOptions<T>): ResourceReturn<T>;
-export declare function refetchResources(info?: unknown): void;
+export declare function refetchResources(info?: unknown): Promise<any[]>;
 export interface DeferredOptions<T> {
     equals?: false | ((prev: T, next: T) => boolean);
     name?: string;
@@ -356,7 +371,7 @@ export declare function onCleanup(fn: () => void): () => void;
 export declare function onError(fn: (err: any) => void): void;
 export declare function getListener(): Computation<any, any> | null;
 export declare function getOwner(): Owner | null;
-export declare function runWithOwner(o: Owner, fn: () => any): any;
+export declare function runWithOwner<T>(o: Owner, fn: () => T): T;
 export declare function enableScheduling(scheduler?: typeof requestCallback): void;
 /**
  * ```typescript

package/types/server/index.d.ts

@@ -1,3 +1,3 @@
-export { createRoot, createSignal, createComputed, createRenderEffect, createEffect, createDeferred, createSelector, createMemo, getListener, onMount, onCleanup, onError, untrack, batch, on, children, createContext, useContext, getOwner, runWithOwner, equalFn, requestCallback, mapArray, observable, from, $PROXY, DEV, enableExternalSource } from "./reactive";
+export { createRoot, createSignal, createComputed, createRenderEffect, createEffect, createReaction, createDeferred, createSelector, createMemo, getListener, onMount, onCleanup, onError, untrack, batch, on, children, createContext, useContext, getOwner, runWithOwner, equalFn, requestCallback, mapArray, observable, from, $PROXY, $DEVCOMP, DEV, enableExternalSource } from "./reactive";
 export { mergeProps, splitProps, createComponent, For, Index, Show, Switch, Match, ErrorBoundary, Suspense, SuspenseList, createResource, enableScheduling, enableHydration, startTransition, useTransition, createUniqueId, lazy, sharedConfig } from "./rendering";
 export type { Component, Resource } from "./rendering";

package/types/server/reactive.d.ts

@@ -1,6 +1,7 @@
 import type { Accessor, Setter } from "../reactive/signal";
 export declare const equalFn: <T>(a: T, b: T) => boolean;
 export declare const $PROXY: unique symbol;
+export declare const $DEVCOMP: unique symbol;
 export declare const DEV: {};
 export declare let Owner: Owner | null;
 interface Owner {
@@ -15,6 +16,7 @@ export declare function createSignal<T>(value: T, options?: {
 export declare function createComputed<T>(fn: (v?: T) => T, value?: T): void;
 export declare const createRenderEffect: typeof createComputed;
 export declare function createEffect<T>(fn: (v?: T) => T, value?: T): void;
+export declare function createReaction(fn: () => void): (fn: () => void) => void;
 export declare function createMemo<T>(fn: (v?: T) => T, value?: T): () => T;
 export declare function createDeferred<T>(source: () => T): () => T;
 export declare function createSelector<T>(source: () => T, fn: (k: T, value: T) => boolean): (k: T) => boolean;

package/web/dist/dev.cjs

@@ -452,7 +452,7 @@ function cleanChildren(parent, current, marker, replacement) {
         if (!inserted && !i) isParent ? parent.replaceChild(node, el) : parent.insertBefore(node, marker);else isParent && parent.removeChild(el);
       } else inserted = true;
     }
-  } else parent.insertBefore(node, marker);
+  } else if (current instanceof Node) parent.replaceChild(node, current);else parent.insertBefore(node, marker);
   return [node];
 }
 function gatherHydratable(element, root) {
@@ -551,75 +551,51 @@ function Dynamic(props) {
 
 Object.defineProperty(exports, 'ErrorBoundary', {
   enumerable: true,
-  get: function () {
-    return solidJs.ErrorBoundary;
-  }
+  get: function () { return solidJs.ErrorBoundary; }
 });
 Object.defineProperty(exports, 'For', {
   enumerable: true,
-  get: function () {
-    return solidJs.For;
-  }
+  get: function () { return solidJs.For; }
 });
 Object.defineProperty(exports, 'Index', {
   enumerable: true,
-  get: function () {
-    return solidJs.Index;
-  }
+  get: function () { return solidJs.Index; }
 });
 Object.defineProperty(exports, 'Match', {
   enumerable: true,
-  get: function () {
-    return solidJs.Match;
-  }
+  get: function () { return solidJs.Match; }
 });
 Object.defineProperty(exports, 'Show', {
   enumerable: true,
-  get: function () {
-    return solidJs.Show;
-  }
+  get: function () { return solidJs.Show; }
 });
 Object.defineProperty(exports, 'Suspense', {
   enumerable: true,
-  get: function () {
-    return solidJs.Suspense;
-  }
+  get: function () { return solidJs.Suspense; }
 });
 Object.defineProperty(exports, 'SuspenseList', {
   enumerable: true,
-  get: function () {
-    return solidJs.SuspenseList;
-  }
+  get: function () { return solidJs.SuspenseList; }
 });
 Object.defineProperty(exports, 'Switch', {
   enumerable: true,
-  get: function () {
-    return solidJs.Switch;
-  }
+  get: function () { return solidJs.Switch; }
 });
 Object.defineProperty(exports, 'createComponent', {
   enumerable: true,
-  get: function () {
-    return solidJs.createComponent;
-  }
+  get: function () { return solidJs.createComponent; }
 });
 Object.defineProperty(exports, 'effect', {
   enumerable: true,
-  get: function () {
-    return solidJs.createRenderEffect;
-  }
+  get: function () { return solidJs.createRenderEffect; }
 });
 Object.defineProperty(exports, 'getOwner', {
   enumerable: true,
-  get: function () {
-    return solidJs.getOwner;
-  }
+  get: function () { return solidJs.getOwner; }
 });
 Object.defineProperty(exports, 'mergeProps', {
   enumerable: true,
-  get: function () {
-    return solidJs.mergeProps;
-  }
+  get: function () { return solidJs.mergeProps; }
 });
 exports.Aliases = Aliases;
 exports.Assets = Assets;

package/web/dist/dev.js

@@ -449,7 +449,7 @@ function cleanChildren(parent, current, marker, replacement) {
         if (!inserted && !i) isParent ? parent.replaceChild(node, el) : parent.insertBefore(node, marker);else isParent && parent.removeChild(el);
       } else inserted = true;
     }
-  } else parent.insertBefore(node, marker);
+  } else if (current instanceof Node) parent.replaceChild(node, current);else parent.insertBefore(node, marker);
   return [node];
 }
 function gatherHydratable(element, root) {

package/web/dist/server.cjs

@@ -258,6 +258,7 @@ function renderToStringAsync(code, options = {}) {
     renderId,
     timeoutMs = 30000
   } = options;
+  const dedupe = new WeakMap();
   const context = solidJs.sharedConfig.context = {
     id: renderId || "",
     count: 0,
@@ -268,8 +269,8 @@ function renderToStringAsync(code, options = {}) {
     nonce,
     writeResource(id, p, error) {
       if (error) return scripts += `_$HY.set("${id}", ${serializeError(p)});`;
-      if (!p || typeof p !== "object" || !("then" in p)) return scripts += `_$HY.set("${id}", ${devalue(p)});`;
-      p.then(d => scripts += `_$HY.set("${id}", ${devalue(d)});`).catch(() => scripts += `_$HY.set("${id}", {});`);
+      if (!p || typeof p !== "object" || !("then" in p)) return scripts += serializeSet(dedupe, id, p);
+      p.then(d => scripts += serializeSet(dedupe, id, d)).catch(() => scripts += `_$HY.set("${id}", {});`);
     }
   };
   const timeout = new Promise((_, reject) => setTimeout(() => reject("renderToString timed out"), timeoutMs));
@@ -318,6 +319,7 @@ function renderToStream(code, options = {}) {
   const tmp = [];
   const tasks = [];
   const registry = new Map();
+  const dedupe = new WeakMap();
   const checkEnd = () => {
     if (!registry.size && !completed) {
       onCompleteAll && onCompleteAll(result);
@@ -356,11 +358,11 @@ function renderToStream(code, options = {}) {
         scheduled = true;
       }
       if (error) return tasks.push(`_$HY.set("${id}", ${serializeError(p)})`);
-      if (!p || typeof p !== "object" || !("then" in p)) return tasks.push(`_$HY.set("${id}", ${devalue(p)})`);
+      if (!p || typeof p !== "object" || !("then" in p)) return tasks.push(serializeSet(dedupe, id, p));
       tasks.push(`_$HY.init("${id}")`);
       p.then(d => {
-        !completed && buffer.write(`<script${nonce ? ` nonce="${nonce}"` : ""}>_$HY.set("${id}", ${devalue(d)})</script>`);
-      }).catch(err => {
+        !completed && buffer.write(`<script${nonce ? ` nonce="${nonce}"` : ""}>${serializeSet(dedupe, id, d)}</script>`);
+      }).catch(() => {
         !completed && buffer.write(`<script${nonce ? ` nonce="${nonce}"` : ""}>_$HY.set("${id}", {})</script>`);
       });
     },
@@ -574,7 +576,7 @@ function generateHydrationScript({
   eventNames = ["click", "input"],
   nonce
 }) {
-  return `<script${nonce ? ` nonce="${nonce}"` : ""}>((e,t,o={})=>{t=e=>e&&e.hasAttribute&&(e.hasAttribute("data-hk")?e:t(e.host&&e.host instanceof Node?e.host:e.parentNode)),["${eventNames.join('","')}"].forEach((o=>document.addEventListener(o,(o=>{let s=o.composedPath&&o.composedPath()[0]||o.target,n=t(s);n&&!e.completed.has(n)&&e.events.push([n,o])})))),e.init=(e,t)=>{o[e]=[new Promise(((e,o)=>t=e)),t]},e.set=(e,t,s)=>{(s=o[e])&&s[1](t),o[e]=[t]},e.unset=e=>{delete o[e]},e.load=(e,t)=>{if(t=o[e])return t[0]}})(window._$HY||(_$HY={events:[],completed:new WeakSet}))</script><!xs>`;
+  return `<script${nonce ? ` nonce="${nonce}"` : ""}>var e,t;e=window._$HY||(_$HY={events:[],completed:new WeakSet,r:{}}),t=e=>e&&e.hasAttribute&&(e.hasAttribute("data-hk")?e:t(e.host&&e.host instanceof Node?e.host:e.parentNode)),["${eventNames.join('","')}"].forEach((o=>document.addEventListener(o,(o=>{let s=o.composedPath&&o.composedPath()[0]||o.target,a=t(s);a&&!e.completed.has(a)&&e.events.push([a,o])})))),e.init=(t,o)=>{e.r[t]=[new Promise(((e,t)=>o=e)),o]},e.set=(t,o,s)=>{(s=e.r[t])&&s[1](o),e.r[t]=[o]},e.unset=t=>{delete e.r[t]},e.load=(t,o)=>{if(o=e.r[t])return o[0]};</script><!xs>`;
 }
 function injectAssets(assets, html) {
   for (let i = 0; i < assets.length; i++) {
@@ -602,6 +604,12 @@ function waitForFragments(registry, key) {
   }
   return false;
 }
+function serializeSet(registry, key, value) {
+  const exist = registry.get(value);
+  if (exist) return `_$HY.set("${key}", _$HY.r["${exist}"][0]);`;
+  value !== null && typeof value === "object" && registry.set(value, key);
+  return `_$HY.set("${key}", ${devalue(value)});`;
+}
 function pipeToNodeWritable(code, writable, options = {}) {
   if (options.onReady) {
     options.onCompleteShell = () => {
@@ -648,63 +656,43 @@ function Portal(props) {
 
 Object.defineProperty(exports, 'ErrorBoundary', {
   enumerable: true,
-  get: function () {
-    return solidJs.ErrorBoundary;
-  }
+  get: function () { return solidJs.ErrorBoundary; }
 });
 Object.defineProperty(exports, 'For', {
   enumerable: true,
-  get: function () {
-    return solidJs.For;
-  }
+  get: function () { return solidJs.For; }
 });
 Object.defineProperty(exports, 'Index', {
   enumerable: true,
-  get: function () {
-    return solidJs.Index;
-  }
+  get: function () { return solidJs.Index; }
 });
 Object.defineProperty(exports, 'Match', {
   enumerable: true,
-  get: function () {
-    return solidJs.Match;
-  }
+  get: function () { return solidJs.Match; }
 });
 Object.defineProperty(exports, 'Show', {
   enumerable: true,
-  get: function () {
-    return solidJs.Show;
-  }
+  get: function () { return solidJs.Show; }
 });
 Object.defineProperty(exports, 'Suspense', {
   enumerable: true,
-  get: function () {
-    return solidJs.Suspense;
-  }
+  get: function () { return solidJs.Suspense; }
 });
 Object.defineProperty(exports, 'SuspenseList', {
   enumerable: true,
-  get: function () {
-    return solidJs.SuspenseList;
-  }
+  get: function () { return solidJs.SuspenseList; }
 });
 Object.defineProperty(exports, 'Switch', {
   enumerable: true,
-  get: function () {
-    return solidJs.Switch;
-  }
+  get: function () { return solidJs.Switch; }
 });
 Object.defineProperty(exports, 'createComponent', {
   enumerable: true,
-  get: function () {
-    return solidJs.createComponent;
-  }
+  get: function () { return solidJs.createComponent; }
 });
 Object.defineProperty(exports, 'mergeProps', {
   enumerable: true,
-  get: function () {
-    return solidJs.mergeProps;
-  }
+  get: function () { return solidJs.mergeProps; }
 });
 exports.Assets = Assets;
 exports.Dynamic = Dynamic;

package/web/dist/server.js

@@ -255,6 +255,7 @@ function renderToStringAsync(code, options = {}) {
     renderId,
     timeoutMs = 30000
   } = options;
+  const dedupe = new WeakMap();
   const context = sharedConfig.context = {
     id: renderId || "",
     count: 0,
@@ -265,8 +266,8 @@ function renderToStringAsync(code, options = {}) {
     nonce,
     writeResource(id, p, error) {
       if (error) return scripts += `_$HY.set("${id}", ${serializeError(p)});`;
-      if (!p || typeof p !== "object" || !("then" in p)) return scripts += `_$HY.set("${id}", ${devalue(p)});`;
-      p.then(d => scripts += `_$HY.set("${id}", ${devalue(d)});`).catch(() => scripts += `_$HY.set("${id}", {});`);
+      if (!p || typeof p !== "object" || !("then" in p)) return scripts += serializeSet(dedupe, id, p);
+      p.then(d => scripts += serializeSet(dedupe, id, d)).catch(() => scripts += `_$HY.set("${id}", {});`);
     }
   };
   const timeout = new Promise((_, reject) => setTimeout(() => reject("renderToString timed out"), timeoutMs));
@@ -315,6 +316,7 @@ function renderToStream(code, options = {}) {
   const tmp = [];
   const tasks = [];
   const registry = new Map();
+  const dedupe = new WeakMap();
   const checkEnd = () => {
     if (!registry.size && !completed) {
       onCompleteAll && onCompleteAll(result);
@@ -353,11 +355,11 @@ function renderToStream(code, options = {}) {
         scheduled = true;
       }
       if (error) return tasks.push(`_$HY.set("${id}", ${serializeError(p)})`);
-      if (!p || typeof p !== "object" || !("then" in p)) return tasks.push(`_$HY.set("${id}", ${devalue(p)})`);
+      if (!p || typeof p !== "object" || !("then" in p)) return tasks.push(serializeSet(dedupe, id, p));
       tasks.push(`_$HY.init("${id}")`);
       p.then(d => {
-        !completed && buffer.write(`<script${nonce ? ` nonce="${nonce}"` : ""}>_$HY.set("${id}", ${devalue(d)})</script>`);
-      }).catch(err => {
+        !completed && buffer.write(`<script${nonce ? ` nonce="${nonce}"` : ""}>${serializeSet(dedupe, id, d)}</script>`);
+      }).catch(() => {
         !completed && buffer.write(`<script${nonce ? ` nonce="${nonce}"` : ""}>_$HY.set("${id}", {})</script>`);
       });
     },
@@ -571,7 +573,7 @@ function generateHydrationScript({
   eventNames = ["click", "input"],
   nonce
 }) {
-  return `<script${nonce ? ` nonce="${nonce}"` : ""}>((e,t,o={})=>{t=e=>e&&e.hasAttribute&&(e.hasAttribute("data-hk")?e:t(e.host&&e.host instanceof Node?e.host:e.parentNode)),["${eventNames.join('","')}"].forEach((o=>document.addEventListener(o,(o=>{let s=o.composedPath&&o.composedPath()[0]||o.target,n=t(s);n&&!e.completed.has(n)&&e.events.push([n,o])})))),e.init=(e,t)=>{o[e]=[new Promise(((e,o)=>t=e)),t]},e.set=(e,t,s)=>{(s=o[e])&&s[1](t),o[e]=[t]},e.unset=e=>{delete o[e]},e.load=(e,t)=>{if(t=o[e])return t[0]}})(window._$HY||(_$HY={events:[],completed:new WeakSet}))</script><!xs>`;
+  return `<script${nonce ? ` nonce="${nonce}"` : ""}>var e,t;e=window._$HY||(_$HY={events:[],completed:new WeakSet,r:{}}),t=e=>e&&e.hasAttribute&&(e.hasAttribute("data-hk")?e:t(e.host&&e.host instanceof Node?e.host:e.parentNode)),["${eventNames.join('","')}"].forEach((o=>document.addEventListener(o,(o=>{let s=o.composedPath&&o.composedPath()[0]||o.target,a=t(s);a&&!e.completed.has(a)&&e.events.push([a,o])})))),e.init=(t,o)=>{e.r[t]=[new Promise(((e,t)=>o=e)),o]},e.set=(t,o,s)=>{(s=e.r[t])&&s[1](o),e.r[t]=[o]},e.unset=t=>{delete e.r[t]},e.load=(t,o)=>{if(o=e.r[t])return o[0]};</script><!xs>`;
 }
 function injectAssets(assets, html) {
   for (let i = 0; i < assets.length; i++) {
@@ -599,6 +601,12 @@ function waitForFragments(registry, key) {
   }
   return false;
 }
+function serializeSet(registry, key, value) {
+  const exist = registry.get(value);
+  if (exist) return `_$HY.set("${key}", _$HY.r["${exist}"][0]);`;
+  value !== null && typeof value === "object" && registry.set(value, key);
+  return `_$HY.set("${key}", ${devalue(value)});`;
+}
 function pipeToNodeWritable(code, writable, options = {}) {
   if (options.onReady) {
     options.onCompleteShell = () => {