@lab206/core 0.1.0

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 (53) hide show
  1. package/LICENSE +114 -0
  2. package/README.md +6 -0
  3. package/dist/effect.d.ts +31 -0
  4. package/dist/effect.d.ts.map +1 -0
  5. package/dist/effect.js +85 -0
  6. package/dist/effect.js.map +1 -0
  7. package/dist/errors.d.ts +25 -0
  8. package/dist/errors.d.ts.map +1 -0
  9. package/dist/errors.js +76 -0
  10. package/dist/errors.js.map +1 -0
  11. package/dist/graph.d.ts +62 -0
  12. package/dist/graph.d.ts.map +1 -0
  13. package/dist/graph.js +165 -0
  14. package/dist/graph.js.map +1 -0
  15. package/dist/index.d.ts +24 -0
  16. package/dist/index.d.ts.map +1 -0
  17. package/dist/index.js +18 -0
  18. package/dist/index.js.map +1 -0
  19. package/dist/query.d.ts +35 -0
  20. package/dist/query.d.ts.map +1 -0
  21. package/dist/query.js +35 -0
  22. package/dist/query.js.map +1 -0
  23. package/dist/resource.d.ts +55 -0
  24. package/dist/resource.d.ts.map +1 -0
  25. package/dist/resource.js +128 -0
  26. package/dist/resource.js.map +1 -0
  27. package/dist/scheduler.d.ts +13 -0
  28. package/dist/scheduler.d.ts.map +1 -0
  29. package/dist/scheduler.js +62 -0
  30. package/dist/scheduler.js.map +1 -0
  31. package/dist/signal.d.ts +25 -0
  32. package/dist/signal.d.ts.map +1 -0
  33. package/dist/signal.js +94 -0
  34. package/dist/signal.js.map +1 -0
  35. package/dist/store.d.ts +52 -0
  36. package/dist/store.d.ts.map +1 -0
  37. package/dist/store.js +70 -0
  38. package/dist/store.js.map +1 -0
  39. package/dist/types.d.ts +30 -0
  40. package/dist/types.d.ts.map +1 -0
  41. package/dist/types.js +2 -0
  42. package/dist/types.js.map +1 -0
  43. package/package.json +56 -0
  44. package/src/effect.ts +101 -0
  45. package/src/errors.ts +84 -0
  46. package/src/graph.ts +218 -0
  47. package/src/index.ts +45 -0
  48. package/src/query.ts +58 -0
  49. package/src/resource.ts +239 -0
  50. package/src/scheduler.ts +63 -0
  51. package/src/signal.ts +115 -0
  52. package/src/store.ts +118 -0
  53. package/src/types.ts +34 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,MAAM,MAAM,QAAQ,GAAG,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;AAEjD,mEAAmE;AACnE,MAAM,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC;AAEjC,8CAA8C;AAC9C,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B;;;OAGG;IACH,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;IACvC,yDAAyD;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,+BAA+B;AAC/B,MAAM,WAAW,cAAc,CAAC,CAAC;IAC/B,0EAA0E;IAC1E,IAAI,CAAC,CAAC;IACN,uDAAuD;IACvD,IAAI,IAAI,CAAC,CAAC;IACV,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,+BAA+B;AAC/B,MAAM,WAAW,MAAM,CAAC,CAAC,CAAE,SAAQ,cAAc,CAAC,CAAC,CAAC;IAClD,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC;IACpB,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;CAClC;AAED,6CAA6C;AAC7C,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,QAAQ,CAAC"}
package/dist/types.js ADDED
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=types.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}
package/package.json ADDED
@@ -0,0 +1,56 @@
1
+ {
2
+ "name": "@lab206/core",
3
+ "version": "0.1.0",
4
+ "description": "Fine-grained reactivity primitives for Powers — signals, computed, effects, store, resource, ownership.",
5
+ "type": "module",
6
+ "license": "BUSL-1.1",
7
+ "sideEffects": false,
8
+ "exports": {
9
+ ".": {
10
+ "types": "./src/index.ts",
11
+ "development": "./src/index.ts",
12
+ "import": "./dist/index.js",
13
+ "default": "./dist/index.js"
14
+ }
15
+ },
16
+ "main": "./dist/index.js",
17
+ "types": "./dist/index.d.ts",
18
+ "files": [
19
+ "dist",
20
+ "README.md",
21
+ "src/**/*.ts",
22
+ "src/**/*.tsx",
23
+ "src/**/*.css",
24
+ "!src/**/*.test.ts",
25
+ "!src/**/*.test.tsx"
26
+ ],
27
+ "devDependencies": {
28
+ "esbuild": "^0.25.1",
29
+ "tsx": "^4.19.3",
30
+ "typescript": "^5.8.2"
31
+ },
32
+ "author": "Scott Powers",
33
+ "private": false,
34
+ "publishConfig": {
35
+ "access": "public"
36
+ },
37
+ "homepage": "https://lab206.com",
38
+ "bugs": {
39
+ "url": "https://github.com/spowers2/powers/issues"
40
+ },
41
+ "engines": {
42
+ "node": ">=20"
43
+ },
44
+ "repository": {
45
+ "type": "git",
46
+ "url": "git+https://github.com/spowers2/powers.git",
47
+ "directory": "packages/core"
48
+ },
49
+ "scripts": {
50
+ "build": "tsc -p tsconfig.json",
51
+ "typecheck": "tsc -p tsconfig.json --noEmit",
52
+ "test": "node --import tsx --test src/*.test.ts",
53
+ "bench": "node --import tsx scripts/bench.ts",
54
+ "size": "node --import tsx scripts/size.ts"
55
+ }
56
+ }
package/src/effect.ts ADDED
@@ -0,0 +1,101 @@
1
+ import {
2
+ clearSources,
3
+ createNode,
4
+ disposeNode,
5
+ getActiveOwner,
6
+ setActiveNode,
7
+ type ReactiveNode,
8
+ } from "./graph.js";
9
+ import { reportError } from "./errors.js";
10
+ import { enqueue } from "./scheduler.js";
11
+ import type { Dispose, EffectFn } from "./types.js";
12
+
13
+ export interface EffectOptions {
14
+ name?: string;
15
+ /** Local error handler (runs before owner `onError` handlers). */
16
+ onError?: (error: unknown) => void;
17
+ }
18
+
19
+ /**
20
+ * Run `fn` immediately, track reactive reads, and re-run when they change.
21
+ * Returns a dispose function. `fn` may return a cleanup called before the
22
+ * next run and on dispose.
23
+ *
24
+ * Errors are caught so one bad effect cannot tear down the whole graph.
25
+ * Handle them with `options.onError` or owner-level `onError()`.
26
+ *
27
+ * @example
28
+ * ```ts
29
+ * const stop = effect(() => {
30
+ * console.log(count());
31
+ * return () => console.log("cleanup");
32
+ * });
33
+ * stop();
34
+ * ```
35
+ */
36
+ export function effect(fn: EffectFn, options?: EffectOptions): Dispose {
37
+ const node = createNode("effect", options?.name);
38
+ const owner = getActiveOwner();
39
+ const localOnError = options?.onError;
40
+
41
+ const run = () => {
42
+ if (node.disposed) return;
43
+
44
+ if (node.cleanup) {
45
+ const c = node.cleanup;
46
+ node.cleanup = undefined;
47
+ try {
48
+ c();
49
+ } catch (err) {
50
+ handle(err);
51
+ }
52
+ }
53
+
54
+ clearSources(node);
55
+
56
+ const prev = setActiveNode(node);
57
+ try {
58
+ const cleanup = fn();
59
+ if (typeof cleanup === "function") {
60
+ node.cleanup = cleanup;
61
+ }
62
+ } catch (err) {
63
+ handle(err);
64
+ } finally {
65
+ setActiveNode(prev);
66
+ }
67
+ };
68
+
69
+ function handle(err: unknown): void {
70
+ if (localOnError) {
71
+ try {
72
+ localOnError(err);
73
+ return;
74
+ } catch (handlerError) {
75
+ // Fall through to owner handlers with the handler error.
76
+ if (reportError(handlerError, owner)) return;
77
+ console.error("[powers] effect onError handler threw:", handlerError);
78
+ return;
79
+ }
80
+ }
81
+ if (reportError(err, owner)) return;
82
+ console.error("[powers] Unhandled effect error:", err);
83
+ }
84
+
85
+ node.run = run;
86
+
87
+ // Initial run is synchronous so first paint / first log is immediate.
88
+ run();
89
+
90
+ return () => {
91
+ disposeNode(node);
92
+ };
93
+ }
94
+
95
+ /**
96
+ * Schedule an effect run without running it now.
97
+ * Primarily for internal/testing use.
98
+ */
99
+ export function scheduleEffect(node: ReactiveNode): void {
100
+ enqueue(node);
101
+ }
package/src/errors.ts ADDED
@@ -0,0 +1,84 @@
1
+ import { getActiveOwner, type Owner } from "./graph.js";
2
+ import type { Dispose } from "./types.js";
3
+
4
+ type ErrorHandler = (error: unknown) => void;
5
+
6
+ /** Owner → handlers registered while that owner is active. */
7
+ const ownerHandlers = new WeakMap<Owner, Set<ErrorHandler>>();
8
+
9
+ /** Fallback when no owner handler claims the error. */
10
+ let globalHandler: ErrorHandler | null = null;
11
+
12
+ /**
13
+ * Register an error handler for the **current owner** (from `createRoot`).
14
+ * Effect errors bubble to these handlers instead of crashing the graph.
15
+ *
16
+ * @example
17
+ * ```ts
18
+ * createRoot(() => {
19
+ * onError((err) => console.error("caught", err));
20
+ * effect(() => { throw new Error("boom"); });
21
+ * });
22
+ * ```
23
+ */
24
+ export function onError(fn: ErrorHandler): Dispose {
25
+ const owner = getActiveOwner();
26
+ if (!owner) {
27
+ // No owner — install as process-local global for this call site's lifetime.
28
+ const prev = globalHandler;
29
+ globalHandler = fn;
30
+ return () => {
31
+ if (globalHandler === fn) globalHandler = prev;
32
+ };
33
+ }
34
+
35
+ let set = ownerHandlers.get(owner);
36
+ if (!set) {
37
+ set = new Set();
38
+ ownerHandlers.set(owner, set);
39
+ }
40
+ set.add(fn);
41
+
42
+ return () => {
43
+ set!.delete(fn);
44
+ };
45
+ }
46
+
47
+ /**
48
+ * Report an error to the nearest owner handlers, then parent owners,
49
+ * then the global handler. Returns true if anyone handled it.
50
+ */
51
+ export function reportError(error: unknown, owner: Owner | null): boolean {
52
+ let current: Owner | null = owner;
53
+ while (current) {
54
+ const set = ownerHandlers.get(current);
55
+ if (set && set.size > 0) {
56
+ for (const handler of set) {
57
+ try {
58
+ handler(error);
59
+ } catch (handlerError) {
60
+ // Handler bugs should not recurse forever.
61
+ console.error("[powers] onError handler threw:", handlerError);
62
+ }
63
+ }
64
+ return true;
65
+ }
66
+ current = current.parent;
67
+ }
68
+
69
+ if (globalHandler) {
70
+ try {
71
+ globalHandler(error);
72
+ } catch (handlerError) {
73
+ console.error("[powers] onError handler threw:", handlerError);
74
+ }
75
+ return true;
76
+ }
77
+
78
+ return false;
79
+ }
80
+
81
+ /** @internal */
82
+ export function clearGlobalErrorHandler(): void {
83
+ globalHandler = null;
84
+ }
package/src/graph.ts ADDED
@@ -0,0 +1,218 @@
1
+ import type { Dispose, NodeKind } from "./types.js";
2
+ import { enqueue } from "./scheduler.js";
3
+
4
+ /** A node in the reactive dependency graph. */
5
+ export interface ReactiveNode {
6
+ kind: NodeKind;
7
+ name?: string;
8
+ disposed: boolean;
9
+ pending: boolean;
10
+ /** Sources this node currently depends on. */
11
+ sources: Set<ReactiveNode>;
12
+ /** Nodes that depend on this node. */
13
+ observers: Set<ReactiveNode>;
14
+ /** For computed: dirty when a source may have changed. */
15
+ dirty: boolean;
16
+ /** Recompute value (computed) or re-run body (effect). */
17
+ run?: () => void;
18
+ /** Cleanup registered by the last effect run. */
19
+ cleanup?: (() => void) | undefined;
20
+ /** Owner that created this node (for disposal trees). */
21
+ owner: Owner | null;
22
+ /** Child nodes owned by this owner-like node (effects/roots). */
23
+ children?: Set<ReactiveNode>;
24
+ }
25
+
26
+ /** Ownership scope — disposing a root disposes all owned nodes. */
27
+ export interface Owner {
28
+ parent: Owner | null;
29
+ nodes: Set<ReactiveNode>;
30
+ disposed: boolean;
31
+ }
32
+
33
+ let activeNode: ReactiveNode | null = null;
34
+ let activeOwner: Owner | null = null;
35
+ let tracking = true;
36
+
37
+ export function getActiveNode(): ReactiveNode | null {
38
+ return activeNode;
39
+ }
40
+
41
+ export function setActiveNode(node: ReactiveNode | null): ReactiveNode | null {
42
+ const prev = activeNode;
43
+ activeNode = node;
44
+ return prev;
45
+ }
46
+
47
+ export function getActiveOwner(): Owner | null {
48
+ return activeOwner;
49
+ }
50
+
51
+ export function setActiveOwner(owner: Owner | null): Owner | null {
52
+ const prev = activeOwner;
53
+ activeOwner = owner;
54
+ return prev;
55
+ }
56
+
57
+ export function isTracking(): boolean {
58
+ return tracking;
59
+ }
60
+
61
+ /** Run `fn` without collecting dependencies. */
62
+ export function untrack<T>(fn: () => T): T {
63
+ const prev = tracking;
64
+ tracking = false;
65
+ try {
66
+ return fn();
67
+ } finally {
68
+ tracking = prev;
69
+ }
70
+ }
71
+
72
+ export function createOwner(parent: Owner | null = activeOwner): Owner {
73
+ return {
74
+ parent,
75
+ nodes: new Set(),
76
+ disposed: false,
77
+ };
78
+ }
79
+
80
+ export function createNode(
81
+ kind: NodeKind,
82
+ name?: string,
83
+ owner: Owner | null = activeOwner,
84
+ ): ReactiveNode {
85
+ const node: ReactiveNode = {
86
+ kind,
87
+ disposed: false,
88
+ pending: false,
89
+ sources: new Set(),
90
+ observers: new Set(),
91
+ dirty: true,
92
+ owner,
93
+ };
94
+ if (name !== undefined) {
95
+ node.name = name;
96
+ }
97
+
98
+ if (owner && !owner.disposed) {
99
+ owner.nodes.add(node);
100
+ }
101
+
102
+ return node;
103
+ }
104
+
105
+ /** Register `source` as a dependency of the active consumer. */
106
+ export function track(source: ReactiveNode): void {
107
+ if (!tracking || !activeNode || activeNode === source || source.disposed) {
108
+ return;
109
+ }
110
+ source.observers.add(activeNode);
111
+ activeNode.sources.add(source);
112
+ }
113
+
114
+ /** Drop all current source links for a node (before re-running). */
115
+ export function clearSources(node: ReactiveNode): void {
116
+ for (const source of node.sources) {
117
+ source.observers.delete(node);
118
+ }
119
+ node.sources.clear();
120
+ }
121
+
122
+ /** Notify observers that `source` changed. */
123
+ export function notify(source: ReactiveNode): void {
124
+ for (const observer of source.observers) {
125
+ if (observer.disposed) continue;
126
+
127
+ if (observer.kind === "computed") {
128
+ if (!observer.dirty) {
129
+ observer.dirty = true;
130
+ // Propagate dirty flags through computed chains.
131
+ notify(observer);
132
+ }
133
+ } else if (observer.kind === "effect") {
134
+ enqueue(observer);
135
+ }
136
+ }
137
+ }
138
+
139
+ /** Dispose a single node and unlink it from the graph. */
140
+ export function disposeNode(node: ReactiveNode): void {
141
+ if (node.disposed) return;
142
+ node.disposed = true;
143
+
144
+ if (node.cleanup) {
145
+ const c = node.cleanup;
146
+ node.cleanup = undefined;
147
+ c();
148
+ }
149
+
150
+ clearSources(node);
151
+
152
+ for (const observer of node.observers) {
153
+ observer.sources.delete(node);
154
+ }
155
+ node.observers.clear();
156
+
157
+ if (node.children) {
158
+ for (const child of node.children) {
159
+ disposeNode(child);
160
+ }
161
+ node.children.clear();
162
+ }
163
+
164
+ if (node.owner) {
165
+ node.owner.nodes.delete(node);
166
+ }
167
+ }
168
+
169
+ /** Dispose an owner and every node it owns (depth-first). */
170
+ export function disposeOwner(owner: Owner): void {
171
+ if (owner.disposed) return;
172
+ owner.disposed = true;
173
+
174
+ // Snapshot — disposal mutates the set.
175
+ const nodes = [...owner.nodes];
176
+ for (const node of nodes) {
177
+ disposeNode(node);
178
+ }
179
+ owner.nodes.clear();
180
+ }
181
+
182
+ /**
183
+ * Create a reactive root. All signals/effects created inside are owned by
184
+ * this root and disposed when the returned dispose function is called.
185
+ *
186
+ * Clears the active *tracking* node while `fn` runs so parent effects (e.g.
187
+ * a router outlet) do not accidentally subscribe to signals read during
188
+ * component setup — that would remount the whole page on first keystroke.
189
+ */
190
+ export function createRoot<T>(fn: (dispose: Dispose) => T): T {
191
+ const owner = createOwner(activeOwner);
192
+ const prevOwner = setActiveOwner(owner);
193
+ const prevNode = setActiveNode(null);
194
+
195
+ const dispose: Dispose = () => {
196
+ disposeOwner(owner);
197
+ };
198
+
199
+ try {
200
+ return fn(dispose);
201
+ } finally {
202
+ setActiveOwner(prevOwner);
203
+ setActiveNode(prevNode);
204
+ }
205
+ }
206
+
207
+ /**
208
+ * Run `fn` under a fresh owner nested under the current owner.
209
+ * Useful for scoped components later.
210
+ */
211
+ export function runWithOwner<T>(owner: Owner | null, fn: () => T): T {
212
+ const prev = setActiveOwner(owner);
213
+ try {
214
+ return fn();
215
+ } finally {
216
+ setActiveOwner(prev);
217
+ }
218
+ }
package/src/index.ts ADDED
@@ -0,0 +1,45 @@
1
+ /**
2
+ * @lab206/core
3
+ *
4
+ * Fine-grained reactivity primitives.
5
+ * No DOM. No framework. Just a correct reactive graph.
6
+ *
7
+ * Learning order (intentionally short):
8
+ * 1. signal 2. computed 3. effect 4. store 5. resource / createQuery
9
+ */
10
+
11
+ export { signal, computed } from "./signal.js";
12
+ export { effect } from "./effect.js";
13
+ export type { EffectOptions } from "./effect.js";
14
+ export { batch, flush, isBatching } from "./scheduler.js";
15
+ export {
16
+ createRoot,
17
+ untrack,
18
+ getActiveOwner,
19
+ runWithOwner,
20
+ createOwner,
21
+ disposeOwner,
22
+ } from "./graph.js";
23
+ export { store, cell } from "./store.js";
24
+ export type { Store, StoreFields, StoreOptions } from "./store.js";
25
+ export { resource } from "./resource.js";
26
+ export type {
27
+ Resource,
28
+ ResourceState,
29
+ ResourceOptions,
30
+ ResourceFetcher,
31
+ ResourceFetcherInfo,
32
+ } from "./resource.js";
33
+ export { createQuery } from "./query.js";
34
+ export type { CreateQueryOptions, QueryKey } from "./query.js";
35
+ export { onError } from "./errors.js";
36
+
37
+ export type {
38
+ Signal,
39
+ ReadonlySignal,
40
+ SignalOptions,
41
+ EffectFn,
42
+ Dispose,
43
+ } from "./types.js";
44
+
45
+ export type { Owner } from "./graph.js";
package/src/query.ts ADDED
@@ -0,0 +1,58 @@
1
+ import { resource } from "./resource.js";
2
+ import type { Resource, ResourceOptions } from "./resource.js";
3
+
4
+ export type QueryKey = string | number | false | null | undefined;
5
+
6
+ export type CreateQueryOptions<T> = {
7
+ /**
8
+ * Reactive key. When `false` / `null` / `undefined`, the query is idle
9
+ * (no fetch). Change the key to re-run — same mental model as signals.
10
+ */
11
+ queryKey: () => QueryKey;
12
+ /** Async work for the current key. */
13
+ queryFn: (key: string) => Promise<T> | T;
14
+ /** Seed UI before the first success. */
15
+ initialData?: T;
16
+ /** Debug name for the underlying resource. */
17
+ name?: string;
18
+ };
19
+
20
+ /**
21
+ * Signal-native async query — thin, intentional ergonomics on `resource`.
22
+ *
23
+ * Why it feels great with Powers:
24
+ * - The key is a **function of signals** — no dependency arrays
25
+ * - `data()` / `loading()` / `error()` are fine-grained
26
+ * - `refetch()` re-runs without remounting the page
27
+ *
28
+ * @example
29
+ * ```ts
30
+ * const q = signal("design");
31
+ * const art = createQuery({
32
+ * queryKey: () => q(),
33
+ * queryFn: (key) => fetch(`/api/search?q=${key}`).then((r) => r.json()),
34
+ * });
35
+ * // art() · art.loading() · art.error() · art.refetch()
36
+ * ```
37
+ */
38
+ export function createQuery<T>(
39
+ options: CreateQueryOptions<T>,
40
+ ): Resource<T> {
41
+ const opts: ResourceOptions<T> = {
42
+ name: options.name ?? "query",
43
+ };
44
+ if (options.initialData !== undefined) {
45
+ opts.initialValue = options.initialData;
46
+ }
47
+
48
+ // Source is `string | false` so resource can idle; fetcher only runs when key is string.
49
+ return resource(
50
+ (): string | false => {
51
+ const k = options.queryKey();
52
+ if (k === false || k === null || k === undefined) return false;
53
+ return String(k);
54
+ },
55
+ (key) => options.queryFn(key as string),
56
+ opts,
57
+ );
58
+ }