@solidjs/signals 2.0.0-beta.7 → 2.0.0-beta.9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (40) hide show
  1. package/dist/dev.js +401 -199
  2. package/dist/node.cjs +1403 -1259
  3. package/dist/prod.js +1053 -905
  4. package/dist/types/boundaries.d.ts +79 -3
  5. package/dist/types/core/action.d.ts +34 -0
  6. package/dist/types/core/constants.d.ts +17 -0
  7. package/dist/types/core/core.d.ts +108 -9
  8. package/dist/types/core/dev.d.ts +1 -1
  9. package/dist/types/core/effect.d.ts +3 -2
  10. package/dist/types/core/owner.d.ts +54 -3
  11. package/dist/types/core/scheduler.d.ts +19 -2
  12. package/dist/types/core/types.d.ts +2 -5
  13. package/dist/types/index.d.ts +2 -2
  14. package/dist/types/map.d.ts +32 -3
  15. package/dist/types/signals.d.ts +283 -16
  16. package/dist/types/store/optimistic.d.ts +38 -12
  17. package/dist/types/store/projection.d.ts +54 -14
  18. package/dist/types/store/reconcile.d.ts +22 -0
  19. package/dist/types/store/store.d.ts +64 -14
  20. package/dist/types/store/storePath.d.ts +28 -0
  21. package/dist/types/store/utils.d.ts +78 -7
  22. package/dist/types-cjs/boundaries.d.cts +79 -3
  23. package/dist/types-cjs/core/action.d.cts +34 -0
  24. package/dist/types-cjs/core/constants.d.cts +17 -0
  25. package/dist/types-cjs/core/core.d.cts +108 -9
  26. package/dist/types-cjs/core/dev.d.cts +1 -1
  27. package/dist/types-cjs/core/effect.d.cts +3 -2
  28. package/dist/types-cjs/core/owner.d.cts +54 -3
  29. package/dist/types-cjs/core/scheduler.d.cts +19 -2
  30. package/dist/types-cjs/core/types.d.cts +2 -5
  31. package/dist/types-cjs/index.d.cts +2 -2
  32. package/dist/types-cjs/map.d.cts +32 -3
  33. package/dist/types-cjs/signals.d.cts +283 -16
  34. package/dist/types-cjs/store/optimistic.d.cts +38 -12
  35. package/dist/types-cjs/store/projection.d.cts +54 -14
  36. package/dist/types-cjs/store/reconcile.d.cts +22 -0
  37. package/dist/types-cjs/store/store.d.cts +64 -14
  38. package/dist/types-cjs/store/storePath.d.cts +28 -0
  39. package/dist/types-cjs/store/utils.d.cts +78 -7
  40. package/package.json +4 -3
@@ -5,18 +5,29 @@ export interface BoundaryComputed<T> extends Computed<T> {
5
5
  }
6
6
  type RevealSlot = CollectionQueue | RevealController;
7
7
  type BoolAccessor = () => boolean;
8
+ export type RevealOrder = "sequential" | "together" | "natural";
9
+ type OrderAccessor = () => RevealOrder;
8
10
  export declare class RevealController {
9
- _togetherAccessor: BoolAccessor;
11
+ _orderAccessor: OrderAccessor;
10
12
  _collapsedAccessor: BoolAccessor;
11
13
  _slots: RevealSlot[];
12
14
  _parentController?: RevealController;
13
15
  _disabled: Signal<boolean>;
14
16
  _collapsed: Signal<boolean>;
15
17
  _ready: boolean;
18
+ _minimallyReady: boolean;
16
19
  _evaluating: boolean;
17
- constructor(together: BoolAccessor, collapsed: BoolAccessor);
20
+ constructor(order: OrderAccessor, collapsed: BoolAccessor);
18
21
  _forEachOwnedSlot(fn: (slot: RevealSlot) => boolean | void): boolean;
19
22
  isReady(): boolean;
23
+ /**
24
+ * "Minimally ready" = this group has something visible to show under its own policy.
25
+ * Used by an enclosing `together` group to decide when it can release.
26
+ * - `together`: fully ready (atomic).
27
+ * - `sequential`: the first owned slot is minimally ready (frontier can advance).
28
+ * - `natural`: any owned slot is minimally ready.
29
+ */
30
+ isMinimallyReady(): boolean;
20
31
  register(slot: RevealSlot): void;
21
32
  unregister(slot: RevealSlot): void;
22
33
  evaluate(disabledOverride?: boolean, collapsedOverride?: boolean): void;
@@ -37,14 +48,79 @@ export declare class CollectionQueue extends Queue {
37
48
  notify(node: Effect<any>, type: number, flags: number, error?: any): boolean;
38
49
  checkSources(): void;
39
50
  }
51
+ /**
52
+ * Lower-level primitive that backs the `<Loading>` flow control. Catches
53
+ * pending async reads inside `fn` and renders `fallback` until they settle.
54
+ *
55
+ * App code should use `<Loading fallback={...}>` instead — reach for this only
56
+ * when authoring custom boundary components.
57
+ *
58
+ * @param fn the tracked subtree
59
+ * @param fallback the fallback shown while async reads in `fn` are unresolved
60
+ * @param options `on` — accessor whose value scopes the boundary; when set,
61
+ * transitions caused by writes to other reactive sources are *not* caught
62
+ */
40
63
  export declare function createLoadingBoundary(fn: () => any, fallback: () => any, options?: {
41
64
  on?: () => any;
42
65
  }): import("./signals.js").Accessor<unknown>;
66
+ /**
67
+ * Lower-level primitive that backs the `<Errored>` flow control. Catches
68
+ * thrown errors inside `fn` and invokes `fallback(error, reset)` instead.
69
+ * `reset()` recomputes the failing sources so the boundary can attempt to
70
+ * recover.
71
+ *
72
+ * App code should use `<Errored fallback={...}>` instead — reach for this only
73
+ * when authoring custom boundary components.
74
+ */
43
75
  export declare function createErrorBoundary<U>(fn: () => any, fallback: (error: unknown, reset: () => void) => U): import("./signals.js").Accessor<unknown>;
76
+ /**
77
+ * Coordinate the reveal timing of sibling loading boundaries.
78
+ *
79
+ * Accepts reactive accessors:
80
+ * - `order`: `"sequential"` (default) | `"together"` | `"natural"`.
81
+ * - `"sequential"` — classic frontier reveal: siblings reveal in registration order
82
+ * as each resolves; later siblings stay hidden until earlier ones complete.
83
+ * - `"together"` — every direct slot stays on its fallback until the whole group
84
+ * is "minimally ready" (each direct slot has produced its own first visible
85
+ * content under its own order), then the whole group releases at once.
86
+ * - `"natural"` — children reveal independently (as each resolves). At the top
87
+ * level this is a no-op compared to not using `createRevealOrder`; the mode
88
+ * exists for nesting, where the group registers as a single composite slot to
89
+ * any enclosing `createRevealOrder`.
90
+ * - `collapsed`: only meaningful when `order === "sequential"`. When set, tail siblings
91
+ * past the frontier suppress their own fallback output. Ignored under `"together"`
92
+ * and `"natural"` — those orders have no frontier.
93
+ *
94
+ * Nested `createRevealOrder` groups compose: the inner controller registers as a
95
+ * single slot in the outer controller and is held on its fallbacks until the outer
96
+ * releases that slot. Once released, the inner controller runs its own order locally
97
+ * over anything still pending. There is no opt-out from an outer hold.
98
+ *
99
+ * "Minimally ready" is what an order considers its first visible content:
100
+ * - `sequential` — frontier-0 is minimally ready (leaf: on resolve; nested: via its
101
+ * own minimal signal).
102
+ * - `together` — every direct slot is minimally ready.
103
+ * - `natural` — any direct slot has visible content (leaves on resolve; nested
104
+ * composites when fully ready, since natural treats composites as atomic).
105
+ */
44
106
  export declare function createRevealOrder<T>(fn: () => T, options?: {
45
- together?: BoolAccessor;
107
+ order?: OrderAccessor;
46
108
  collapsed?: BoolAccessor;
47
109
  }): T;
110
+ /**
111
+ * Resolves a children value to its renderable form: unwraps zero-arg functions
112
+ * (accessors), recursively flattens arrays, and optionally skips
113
+ * non-rendering values (`null`, `undefined`, `true`, `false`, `""`).
114
+ *
115
+ * Used internally by flow components and by the renderer to walk a children
116
+ * tree. App code rarely needs this directly — see `children()` in `solid-js`
117
+ * for the user-facing helper that memoizes the result.
118
+ *
119
+ * @param children value or array of values to flatten
120
+ * @param options
121
+ * - `skipNonRendered` — drop values that won't render
122
+ * - `doNotUnwrap` — leave function children as-is (caller will resolve)
123
+ */
48
124
  export declare function flatten(children: any, options?: {
49
125
  skipNonRendered?: boolean;
50
126
  doNotUnwrap?: boolean;
@@ -1 +1,35 @@
1
+ /**
2
+ * Wraps a generator function so each invocation runs as a single transaction
3
+ * (a "transition") that batches every signal/store write between yields. The
4
+ * surrounding UI sees one atomic update per yielded step; nothing is committed
5
+ * until the action either completes or the next `yield` resolves.
6
+ *
7
+ * Yield promises (or any awaitable) inside the generator — the action waits
8
+ * for each before continuing, but the writes you made beforehand are already
9
+ * visible (or held by `<Loading>` if optimistic). Yield bare values for
10
+ * synchronous batched steps.
11
+ *
12
+ * Each call returns a `Promise` that resolves with the generator's return
13
+ * value, or rejects if it throws. Pair with `createOptimistic` /
14
+ * `createOptimisticStore` to apply tentative writes that auto-revert if the
15
+ * action fails.
16
+ *
17
+ * @example
18
+ * ```ts
19
+ * const [todos, setTodos] = createOptimisticStore<Todo[]>([]);
20
+ *
21
+ * const addTodo = action(function* (text: string) {
22
+ * const tempId = crypto.randomUUID();
23
+ * setTodos(t => { t.push({ id: tempId, text, pending: true }); }); // optimistic
24
+ * const saved = yield api.createTodo(text); // network round-trip
25
+ * setTodos(t => {
26
+ * const i = t.findIndex(x => x.id === tempId);
27
+ * if (i >= 0) t[i] = saved;
28
+ * });
29
+ * return saved;
30
+ * });
31
+ *
32
+ * await addTodo("buy milk");
33
+ * ```
34
+ */
1
35
  export declare function action<Args extends any[], Y, R>(genFn: (...args: Args) => Generator<Y, R, any> | AsyncGenerator<Y, R, any>): (...args: Args) => Promise<R>;
@@ -9,6 +9,12 @@ export declare const REACTIVE_DISPOSED: number;
9
9
  export declare const REACTIVE_OPTIMISTIC_DIRTY: number;
10
10
  export declare const REACTIVE_SNAPSHOT_STALE: number;
11
11
  export declare const REACTIVE_LAZY: number;
12
+ export declare const CONFIG_OWNED_WRITE: number;
13
+ export declare const CONFIG_NO_SNAPSHOT: number;
14
+ export declare const CONFIG_TRANSPARENT: number;
15
+ export declare const CONFIG_IN_SNAPSHOT_SCOPE: number;
16
+ export declare const CONFIG_CHILDREN_FORBIDDEN: number;
17
+ export declare const CONFIG_AUTO_DISPOSE: number;
12
18
  export declare const STATUS_NONE = 0;
13
19
  export declare const STATUS_PENDING: number;
14
20
  export declare const STATUS_ERROR: number;
@@ -23,3 +29,14 @@ export declare const STORE_SNAPSHOT_PROPS = "sp";
23
29
  export declare const SUPPORTS_PROXY: boolean;
24
30
  export declare const defaultContext: {};
25
31
  export declare const $REFRESH: unique symbol;
32
+ /**
33
+ * Brand applied to derived/projected stores indicating they participate in
34
+ * the `refresh()` re-run protocol. Use this alias instead of inlining
35
+ * `T & { [$REFRESH]: any }` so that user-defined hooks that wrap
36
+ * `createOptimisticStore` / `createProjection` / projection-form
37
+ * `createStore` can have their return types inferred without leaking the
38
+ * internal `$REFRESH` symbol into public type signatures (TS4058).
39
+ */
40
+ export type Refreshable<T> = T & {
41
+ readonly [$REFRESH]: any;
42
+ };
@@ -1,6 +1,7 @@
1
- import { $REFRESH } from "./constants.js";
1
+ import { type Refreshable } from "./constants.js";
2
2
  import { type OptimisticLane } from "./lanes.js";
3
3
  import type { Computed, FirewallSignal, NodeOptions, Owner, Signal } from "./types.js";
4
+ export declare const PRIMITIVE_IN_FORBIDDEN_SCOPE_MESSAGE = "[PRIMITIVE_IN_FORBIDDEN_SCOPE] Cannot create reactive primitives inside createTrackedEffect or owner-backed onSettled";
4
5
  export declare let tracking: boolean;
5
6
  export declare let stale: boolean;
6
7
  export declare let refreshing: boolean;
@@ -17,11 +18,11 @@ export declare function releaseSnapshotScope(owner: Owner): void;
17
18
  export declare function clearSnapshots(): void;
18
19
  export declare function recompute(el: Computed<any>, create?: boolean): void;
19
20
  export declare function computed<T>(fn: (prev?: T) => T | PromiseLike<T> | AsyncIterable<T>): Computed<T>;
20
- export declare function computed<T>(fn: (prev: T) => T | PromiseLike<T> | AsyncIterable<T>, initialValue?: T, options?: NodeOptions<T>): Computed<T>;
21
+ export declare function computed<T>(fn: (prev: T) => T | PromiseLike<T> | AsyncIterable<T>, options?: NodeOptions<T>): Computed<T>;
21
22
  export declare function signal<T>(v: T, options?: NodeOptions<T>): Signal<T>;
22
23
  export declare function signal<T>(v: T, options?: NodeOptions<T>, firewall?: Computed<any>): FirewallSignal<T>;
23
24
  export declare function optimisticSignal<T>(v: T, options?: NodeOptions<T>): Signal<T>;
24
- export declare function optimisticComputed<T>(fn: (prev?: T) => T | PromiseLike<T> | AsyncIterable<T>, initialValue?: T, options?: NodeOptions<T>): Computed<T>;
25
+ export declare function optimisticComputed<T>(fn: (prev?: T) => T | PromiseLike<T> | AsyncIterable<T>, options?: NodeOptions<T>): Computed<T>;
25
26
  export declare function isEqual<T>(a: T, b: T): boolean;
26
27
  /**
27
28
  * When set to a component name string, any reactive read that is not inside a nested tracking
@@ -30,14 +31,49 @@ export declare function isEqual<T>(a: T, b: T): boolean;
30
31
  export declare let strictRead: string | false;
31
32
  export declare function setStrictRead(v: string | false): string | false;
32
33
  /**
33
- * Executes `fn` without tracking reactive dependencies.
34
+ * Runs `fn` outside of any reactive tracking — reads inside `fn` will not
35
+ * subscribe the current scope. Returns whatever `fn` returns.
34
36
  *
35
- * Pass a `strictReadLabel` string to enable strict-read warnings: any reactive read inside `fn`
36
- * that is not inside a nested tracking scope will log a warning in dev mode.
37
+ * Use `untrack` inside a memo or effect when you need to read a signal once
38
+ * without making the surrounding computation depend on its future changes.
39
+ *
40
+ * Pass a `strictReadLabel` string to enable a dev-mode warning: any reactive
41
+ * read inside `fn` that isn't inside a nested tracking scope will log a
42
+ * warning naming the label.
43
+ *
44
+ * @example
45
+ * ```ts
46
+ * createEffect(
47
+ * () => trigger(), // tracks `trigger` only
48
+ * () => {
49
+ * const snapshot = untrack(() => state); // read once, untracked
50
+ * log(snapshot);
51
+ * }
52
+ * );
53
+ * ```
37
54
  */
38
55
  export declare function untrack<T>(fn: () => T, strictReadLabel?: string | false): T;
39
56
  export declare function read<T>(el: Signal<T> | Computed<T>): T;
40
57
  export declare function setSignal<T>(el: Signal<T> | Computed<T>, v: T | ((prev: T) => T)): T;
58
+ /**
59
+ * Executes `fn` with the given `owner` set as the current owner. Any reactive
60
+ * primitives (`createSignal`, `createMemo`, `createEffect`, `onCleanup`,
61
+ * `cleanup`, etc.) created inside `fn` are attached to that owner, so they
62
+ * are disposed when the owner is disposed.
63
+ *
64
+ * The classic pattern: capture the current owner with `getOwner()` inside a
65
+ * component, then re-enter it from a callback (event handler, async resolve,
66
+ * setTimeout) so disposables created in the callback get cleaned up with the
67
+ * component.
68
+ *
69
+ * @example
70
+ * ```ts
71
+ * function delayed<T>(ms: number, fn: () => T) {
72
+ * const owner = getOwner();
73
+ * setTimeout(() => runWithOwner(owner, fn), ms);
74
+ * }
75
+ * ```
76
+ */
41
77
  export declare function runWithOwner<T>(owner: Owner | null, fn: () => T): T;
42
78
  /**
43
79
  * Update _pendingSignal when pending state changes. When the override clears
@@ -46,9 +82,72 @@ export declare function runWithOwner<T>(owner: Owner | null, fn: () => T): T;
46
82
  */
47
83
  export declare function updatePendingSignal(el: Signal<any> | Computed<any>): void;
48
84
  export declare function staleValues<T>(fn: () => T, set?: boolean): T;
85
+ /**
86
+ * Reads reactive expressions while bypassing any pending async overlay — i.e.
87
+ * always returns the most-recently-committed value, even when newer reads
88
+ * inside `fn` are still in flight.
89
+ *
90
+ * Useful inside a `<Loading>` boundary's children when you want to keep
91
+ * showing the previous resolved data instead of the fallback while the next
92
+ * value loads.
93
+ *
94
+ * @example
95
+ * ```tsx
96
+ * <Loading fallback={<Skeleton />}>
97
+ * {/* During a transition, render the previous user instead of skeleton: *\/}
98
+ * <UserCard user={latest(() => user())} />
99
+ * </Loading>
100
+ * ```
101
+ */
49
102
  export declare function latest<T>(fn: () => T): T;
103
+ /**
104
+ * Returns `true` if any reactive read inside `fn` is currently in a pending
105
+ * (async, not-yet-settled) state. Does not subscribe — pair with a tracked
106
+ * memo if you want to react to pending status changes.
107
+ *
108
+ * Useful for showing inline transition indicators alongside the previous
109
+ * value (rather than swapping to a `<Loading>` fallback).
110
+ *
111
+ * @example
112
+ * ```tsx
113
+ * const pending = createMemo(() => isPending(() => user()));
114
+ *
115
+ * <button disabled={pending()}>{pending() ? "Saving…" : "Save"}</button>
116
+ * ```
117
+ */
50
118
  export declare function isPending(fn: () => any): boolean;
51
- export declare function refresh<T>(fn: (() => T) | (T & {
52
- [$REFRESH]: any;
53
- })): T;
119
+ /**
120
+ * Forces a reactive source to re-execute, even if its inputs haven't changed.
121
+ *
122
+ * Two forms:
123
+ * - `refresh(memo)` — pass an accessor (memo / signal getter) and its
124
+ * underlying computation reruns.
125
+ * - `refresh(store)` — pass a *projected* store created from
126
+ * `createStore(fn, ...)` or `createProjection(...)` and the projection
127
+ * recomputes.
128
+ *
129
+ * Use it to invalidate cached async values (e.g. force a re-fetch) without
130
+ * tearing the consumer down.
131
+ *
132
+ * @example
133
+ * ```ts
134
+ * const user = createMemo(async () => fetch(`/users/${id()}`).then(r => r.json()));
135
+ *
136
+ * // Re-fetch on demand
137
+ * <button onClick={() => refresh(user)}>Reload</button>
138
+ * ```
139
+ */
140
+ export declare function refresh<T>(fn: (() => T) | Refreshable<T>): T;
141
+ /**
142
+ * Returns `true` while a `refresh()` call is in progress. Useful for showing
143
+ * a "refreshing" indicator distinct from the initial-load `<Loading>`
144
+ * fallback.
145
+ *
146
+ * @example
147
+ * ```tsx
148
+ * <Show when={isRefreshing()}>
149
+ * <span class="badge">refreshing…</span>
150
+ * </Show>
151
+ * ```
152
+ */
54
153
  export declare function isRefreshing(): boolean;
@@ -6,7 +6,7 @@ export interface DevHooks {
6
6
  onStoreNodeUpdate?: (state: any, property: PropertyKey, value: any, prev: any) => void;
7
7
  }
8
8
  export type DiagnosticSeverity = "warn" | "error";
9
- export type DiagnosticCode = "STRICT_READ_UNTRACKED" | "PENDING_ASYNC_UNTRACKED_READ" | "PENDING_ASYNC_FORBIDDEN_SCOPE" | "SIGNAL_WRITE_IN_OWNED_SCOPE" | "RUN_WITH_DISPOSED_OWNER" | "NO_OWNER_CLEANUP" | "CLEANUP_IN_FORBIDDEN_SCOPE" | "NO_OWNER_EFFECT" | "NO_OWNER_BOUNDARY" | "ASYNC_OUTSIDE_LOADING_BOUNDARY";
9
+ export type DiagnosticCode = "STRICT_READ_UNTRACKED" | "PENDING_ASYNC_UNTRACKED_READ" | "PENDING_ASYNC_FORBIDDEN_SCOPE" | "SIGNAL_WRITE_IN_OWNED_SCOPE" | "RUN_WITH_DISPOSED_OWNER" | "NO_OWNER_CLEANUP" | "CLEANUP_IN_FORBIDDEN_SCOPE" | "PRIMITIVE_IN_FORBIDDEN_SCOPE" | "NO_OWNER_EFFECT" | "NO_OWNER_BOUNDARY" | "ASYNC_OUTSIDE_LOADING_BOUNDARY" | "MISSING_EFFECT_FN";
10
10
  export type DiagnosticKind = "strict-read" | "async" | "write" | "lifecycle" | "owner";
11
11
  export interface DiagnosticEvent {
12
12
  sequence: number;
@@ -12,9 +12,10 @@ export interface Effect<T> extends Computed<T>, Owner {
12
12
  * automatically added to the queue of effects to re-execute, which will cause them to fetch their
13
13
  * sources and recompute
14
14
  */
15
- export declare function effect<T>(compute: (prev: T | undefined) => T, effect: (val: T, prev: T | undefined) => void | (() => void), error?: (err: unknown, cleanup: () => void) => void | (() => void), initialValue?: T, options?: NodeOptions<any> & {
16
- render?: boolean;
15
+ export declare function effect<T>(compute: (prev: T | undefined) => T, effect: (val: T, prev: T | undefined) => void | (() => void), error?: (err: unknown, cleanup: () => void) => void | (() => void), options?: NodeOptions<any> & {
16
+ user?: boolean;
17
17
  defer?: boolean;
18
+ schedule?: boolean;
18
19
  }): void;
19
20
  export interface TrackedEffect extends Computed<void> {
20
21
  _cleanup?: () => void;
@@ -4,19 +4,70 @@ export declare function dispose(node: Computed<unknown>): void;
4
4
  export declare function disposeChildren(node: Owner, self?: boolean, zombie?: boolean): void;
5
5
  export declare function getNextChildId(owner: Owner): string;
6
6
  export declare function peekNextChildId(owner: Owner): string;
7
+ /**
8
+ * Returns the currently-tracking observer (the computation that subscribes to
9
+ * reactive reads at this point), or `null` if reads here would be untracked.
10
+ * Used by reactive primitives that need to know whether they're inside a
11
+ * tracking scope. App code rarely needs this — see `getOwner()` for the
12
+ * lifecycle owner instead.
13
+ */
7
14
  export declare function getObserver(): Owner | null;
15
+ /**
16
+ * Returns the current reactive **owner** — the lifecycle node that the next
17
+ * `cleanup()` / `onCleanup()` / `createSignal()` etc. will be attached to.
18
+ *
19
+ * Returns `null` if called outside any owner. Capture the owner with
20
+ * `getOwner()` and re-enter it later with `runWithOwner(owner, fn)` to attach
21
+ * disposables created from a callback (event handler, async resolution, etc.)
22
+ * back to a component's lifecycle.
23
+ *
24
+ * @example
25
+ * ```ts
26
+ * function defer<T>(fn: () => T) {
27
+ * const owner = getOwner();
28
+ * queueMicrotask(() => runWithOwner(owner, fn));
29
+ * }
30
+ * ```
31
+ */
8
32
  export declare function getOwner(): Owner | null;
33
+ /**
34
+ * Low-level: registers `fn` as a disposal callback on the current owner.
35
+ * Most code should use `onCleanup()` from `solid-js`, which adds dev-mode
36
+ * checks. `cleanup()` is the unchecked primitive used by internals.
37
+ */
9
38
  export declare function cleanup(fn: Disposable): Disposable;
39
+ /** Returns `true` if the owner has been disposed (or marked zombie pending disposal). */
10
40
  export declare function isDisposed(node: Owner): boolean;
41
+ /**
42
+ * Creates a fresh owner attached as a child of the current owner (or as a
43
+ * detached root if there is none). Mostly used by framework internals to
44
+ * group cleanups; app code should prefer `createRoot()` or `runWithOwner()`.
45
+ */
11
46
  export declare function createOwner(options?: {
12
47
  id?: string;
13
48
  transparent?: boolean;
14
49
  }): Root;
15
50
  /**
16
- * Creates a new non-tracked reactive context with manual disposal
51
+ * Creates a detached reactive root. The callback receives a `dispose()`
52
+ * function which, when called, tears down every signal, memo, effect, and
53
+ * `onCleanup` registered inside the root.
54
+ *
55
+ * Use this to host long-lived reactive scopes outside of a component (custom
56
+ * controllers, app bootstrapping, tests). Inside a component, prefer
57
+ * letting Solid's component lifecycle own things.
58
+ *
59
+ * @example
60
+ * ```ts
61
+ * const dispose = createRoot(dispose => {
62
+ * const [n, setN] = createSignal(0);
63
+ * createEffect(() => n(), value => console.log(value));
64
+ * setInterval(() => setN(x => x + 1), 1000);
65
+ * return dispose;
66
+ * });
17
67
  *
18
- * @param fn a function in which the reactive state is scoped
19
- * @returns the output of `fn`.
68
+ * // Later, to tear everything down:
69
+ * dispose();
70
+ * ```
20
71
  *
21
72
  * @description https://docs.solidjs.com/reference/reactive-utilities/create-root
22
73
  */
@@ -9,6 +9,7 @@ export declare let clock: number;
9
9
  export declare let activeTransition: Transition | null;
10
10
  export declare let projectionWriteActive: boolean;
11
11
  export declare let _hitUnhandledAsync: boolean;
12
+ export declare function registerTransientStoreNode(node: Signal<any>): void;
12
13
  export declare function resetUnhandledAsync(): void;
13
14
  export declare function enforceLoadingBoundary(enabled: boolean): void;
14
15
  export declare function shouldReadStashedOptimisticValue(node: Signal<any>): boolean;
@@ -29,6 +30,7 @@ export interface Transition {
29
30
  _actions: Array<Generator<any, any, any> | AsyncGenerator<any, any, any>>;
30
31
  _queueStash: QueueStub;
31
32
  _done: boolean | Transition;
33
+ _gatedSubs: Set<Computed<any>>;
32
34
  }
33
35
  export declare function schedule(): void;
34
36
  export interface IQueue {
@@ -72,8 +74,23 @@ export declare function finalizePureQueue(completingTransition?: Transition | nu
72
74
  export declare function trackOptimisticStore(store: any): void;
73
75
  export declare const globalQueue: GlobalQueue;
74
76
  /**
75
- * By default, changes are batched on the microtask queue which is an async process. You can flush
76
- * the queue synchronously to get the latest updates by calling `flush()`.
77
+ * Synchronously processes the pending reactive queue: runs every scheduled
78
+ * memo/effect/computation that has dirty inputs, until the graph is settled.
79
+ *
80
+ * Reactive updates are normally batched onto the microtask queue, so multiple
81
+ * writes in a row collapse into a single update pass. Call `flush()` when you
82
+ * need to *observe* the result of those writes synchronously — most commonly
83
+ * in tests, but also at the boundary of imperative integration code.
84
+ *
85
+ * @example
86
+ * ```ts
87
+ * const [count, setCount] = createSignal(0);
88
+ * const doubled = createMemo(() => count() * 2);
89
+ *
90
+ * setCount(5);
91
+ * flush();
92
+ * expect(doubled()).toBe(10);
93
+ * ```
77
94
  */
78
95
  export declare function flush(): void;
79
96
  export declare function currentTransition(transition: Transition): Transition;
@@ -29,8 +29,7 @@ export interface RawSignal<T> {
29
29
  _snapshotValue?: any;
30
30
  _name?: string;
31
31
  _equals: false | ((a: T, b: T) => boolean);
32
- _ownedWrite?: boolean;
33
- _noSnapshot?: boolean;
32
+ _config: number;
34
33
  _unobserved?: () => void;
35
34
  _time: number;
36
35
  _transition: Transition | null;
@@ -48,8 +47,7 @@ export interface FirewallSignal<T> extends RawSignal<T> {
48
47
  export type Signal<T> = RawSignal<T> | FirewallSignal<T>;
49
48
  export interface Owner {
50
49
  id?: string;
51
- _transparent?: boolean;
52
- _childrenForbidden?: boolean;
50
+ _config: number;
53
51
  _snapshotScope?: boolean;
54
52
  _disposal: Disposable | Disposable[] | null;
55
53
  _parent: Owner | null;
@@ -65,7 +63,6 @@ export interface Computed<T> extends RawSignal<T>, Owner {
65
63
  _deps: Link | null;
66
64
  _depsTail: Link | null;
67
65
  _flags: number;
68
- _inSnapshotScope?: boolean;
69
66
  _blocked?: boolean;
70
67
  _pendingSource?: Computed<any>;
71
68
  _pendingSources?: Set<Computed<any>>;
@@ -1,9 +1,9 @@
1
1
  export { $REFRESH, ContextNotFoundError, NoOwnerError, NotReadyError, action, createContext, createOwner, createRoot, runWithOwner, flush, getNextChildId, peekNextChildId, getContext, setContext, getOwner, isDisposed, getObserver, isEqual, untrack, isPending, latest, isRefreshing, refresh, SUPPORTS_PROXY, setSnapshotCapture, markSnapshotScope, releaseSnapshotScope, clearSnapshots, enforceLoadingBoundary, enableExternalSource } from "./core/index.js";
2
2
  import { type Dev } from "./core/index.js";
3
3
  export declare const DEV: Dev | undefined;
4
- export type { Owner, Context, ContextRecord, IQueue, ExternalSourceFactory, ExternalSource, ExternalSourceConfig, Dev, DevHooks, DiagnosticCapture, DiagnosticCode, DiagnosticEvent, DiagnosticKind, Diagnostics, DiagnosticSeverity } from "./core/index.js";
4
+ export type { Owner, Context, ContextRecord, IQueue, ExternalSourceFactory, ExternalSource, ExternalSourceConfig, Refreshable, Dev, DevHooks, DiagnosticCapture, DiagnosticCode, DiagnosticEvent, DiagnosticKind, Diagnostics, DiagnosticSeverity } from "./core/index.js";
5
5
  export { createSignal, createMemo, createEffect, createRenderEffect, createTrackedEffect, createReaction, createOptimistic, resolve, onSettled, onCleanup } from "./signals.js";
6
6
  export type { Accessor, Setter, Signal, ComputeFunction, EffectFunction, EffectBundle, EffectOptions, SignalOptions, MemoOptions, NoInfer } from "./signals.js";
7
7
  export { mapArray, repeat, type Maybe } from "./map.js";
8
8
  export * from "./store/index.js";
9
- export { createLoadingBoundary, createErrorBoundary, createRevealOrder, flatten } from "./boundaries.js";
9
+ export { createLoadingBoundary, createErrorBoundary, createRevealOrder, flatten, type RevealOrder } from "./boundaries.js";
@@ -1,9 +1,28 @@
1
1
  import { type Accessor } from "./signals.js";
2
2
  export type Maybe<T> = T | void | null | undefined | false;
3
3
  /**
4
- * Reactively transforms an array with a callback function - underlying helper for the `<For>` control flow
4
+ * Reactively maps an array, reusing the previously-mapped value for unchanged
5
+ * items. The callback receives `(value, index)` as accessors so individual
6
+ * items and indexes can be subscribed to without re-running the mapper.
5
7
  *
6
- * similar to `Array.prototype.map`, but gets the value and index as accessors, transforms only values that changed and returns an accessor and reactively tracks changes to the list.
8
+ * This is the underlying helper that powers `<For>`. App code should use
9
+ * `<For>` directly; reach for `mapArray` when implementing custom list
10
+ * components.
11
+ *
12
+ * - `options.keyed` — `true` (default for primitives) compares by identity;
13
+ * `false` falls back to index-only mapping; pass a function `(item) => key`
14
+ * for stable identity by extracted key.
15
+ * - `options.fallback` — accessor returning a value to show when the input is
16
+ * empty.
17
+ *
18
+ * @example
19
+ * ```ts
20
+ * const view = mapArray(
21
+ * items,
22
+ * (item, index) => `${index()}: ${item().label}`,
23
+ * { fallback: () => "no items" }
24
+ * );
25
+ * ```
7
26
  *
8
27
  * @description https://docs.solidjs.com/reference/reactive-utilities/map-array
9
28
  */
@@ -13,7 +32,17 @@ export declare function mapArray<Item, MappedItem>(list: Accessor<Maybe<readonly
13
32
  name?: string;
14
33
  }): Accessor<MappedItem[]>;
15
34
  /**
16
- * Reactively repeats a callback function the count provided - underlying helper for the `<Repeat>` control flow
35
+ * Reactively renders a callback `count` times, reusing previously-rendered
36
+ * entries when only the count changes. Underlying helper for `<Repeat>`.
37
+ *
38
+ * - `options.from` — start index (default `0`); useful for offset/windowed
39
+ * rendering.
40
+ * - `options.fallback` — accessor returning a value to show when count is `0`.
41
+ *
42
+ * @example
43
+ * ```ts
44
+ * const view = repeat(count, i => `Item ${i}`, { fallback: () => "empty" });
45
+ * ```
17
46
  *
18
47
  * @description https://docs.solidjs.com/reference/reactive-utilities/repeat
19
48
  */