@praxisjs/core 2.2.0 → 2.3.0

package/dist/signal/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/signal/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAqD,eAAe,EAAE,MAAM,aAAa,CAAC;AACjG,OAAO,EAAqB,YAAY,EAAE,MAAM,UAAU,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/signal/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAqD,eAAe,EAAE,MAAM,aAAa,CAAC;AACjG,OAAO,EAAqB,YAAY,EAAE,MAAM,UAAU,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAsC,QAAQ,EAAE,MAAM,YAAY,CAAC"}

package/dist/signal/peek.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"peek.d.ts","sourceRoot":"","sources":["../../src/signal/peek.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAIzD,wBAAgB,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAQ1D"}
+{"version":3,"file":"peek.d.ts","sourceRoot":"","sources":["../../src/signal/peek.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAIzD,wBAAgB,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAE1D"}

package/dist/signal/peek.js

@@ -1,12 +1,5 @@
-import { activeEffect, runEffect } from "./effect";
+import { untrack } from "./effect";
 export function peek(source) {
-    const prev = activeEffect;
-    runEffect(null);
-    try {
-        return source();
-    }
-    finally {
-        runEffect(prev);
-    }
+    return untrack(source);
 }
 //# sourceMappingURL=peek.js.map

package/dist/signal/peek.js.map

@@ -1 +1 @@
-{"version":3,"file":"peek.js","sourceRoot":"","sources":["../../src/signal/peek.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAEnD,MAAM,UAAU,IAAI,CAAI,MAA+B;IACrD,MAAM,IAAI,GAAG,YAAY,CAAC;IAC1B,SAAS,CAAC,IAAI,CAAC,CAAC;IAChB,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,CAAC;IAClB,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;AACH,CAAC"}
+{"version":3,"file":"peek.js","sourceRoot":"","sources":["../../src/signal/peek.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAEnC,MAAM,UAAU,IAAI,CAAI,MAA+B;IACrD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC"}

package/dist/signal/selector.d.ts

@@ -0,0 +1,5 @@
+export type Selector<K> = (key: K) => boolean;
+export type SelectorEquals<K, T> = (key: K, value: T) => boolean;
+export declare function selector<T>(source: () => T): Selector<T>;
+export declare function selector<T, K>(source: () => T, equals: SelectorEquals<K, T>): Selector<K>;
+//# sourceMappingURL=selector.d.ts.map

package/dist/signal/selector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"selector.d.ts","sourceRoot":"","sources":["../../src/signal/selector.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,OAAO,CAAC;AAC9C,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;AAyCjE,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC1D,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC"}

package/dist/signal/selector.js

@@ -0,0 +1,128 @@
+import { activeSub, createEffect, DIRTY, disposeEffect, endBatch, notify, PENDING, startBatch, track, WatchedNode } from "./graph";
+// Keys live in a Map, so the default comparison has to be the Map's own (SameValueZero): a key
+// that compares equal must be the one the lookup finds, or a bucket would never be notified.
+function sameValueZero(a, b) {
+    return a === b || (Number.isNaN(a) && Number.isNaN(b));
+}
+// One class for every selector's buckets (rather than one declared per selector call), so the
+// graph code that reads and links them always sees the same shape.
+// Declared and assigned rather than parameter properties, which compile to class fields that are
+// defined one by one and make buckets (one per row reading a selector) slower to create.
+class Bucket extends WatchedNode {
+    constructor(key, owner) {
+        super();
+        this.key = key;
+        this.owner = owner;
+    }
+    // A bucket drops itself from its selector once its last subscriber unlinks (re-run or disposal).
+    unwatched() {
+        this.owner.drop(this.key);
+    }
+}
+// Keeps the bucket shape alive across full GCs; see the shape keepers in graph.ts.
+Object.defineProperty(Bucket, "shapeKeeper", {
+    value: new Bucket(undefined, {
+        drop() {
+            // Never called: the keeper has no subscriber to lose.
+        },
+    }),
+});
+export function selector(source, equals) {
+    const compare = equals ?? sameValueZero;
+    const buckets = new Map();
+    let current;
+    let sourceEffect = null;
+    let releaseScheduled = false;
+    // The source subscription goes with the last bucket, so removed rows leave nothing behind.
+    const owner = {
+        drop(key) {
+            buckets.delete(key);
+            if (buckets.size === 0)
+                scheduleRelease();
+        },
+    };
+    function changedBuckets(prev, next) {
+        const changed = [];
+        if (equals === undefined) {
+            if (sameValueZero(prev, next))
+                return changed;
+            const prevBucket = buckets.get(prev);
+            const nextBucket = buckets.get(next);
+            if (prevBucket !== undefined)
+                changed.push(prevBucket);
+            if (nextBucket !== undefined)
+                changed.push(nextBucket);
+            return changed;
+        }
+        for (const [key, bucket] of buckets) {
+            if (compare(key, prev) !== compare(key, next))
+                changed.push(bucket);
+        }
+        return changed;
+    }
+    // Batched so an effect reading several affected keys re-runs once, and so no subscriber runs
+    // (and unlinks) while the buckets are still being walked.
+    function notifyChanged(prev, next) {
+        const changed = changedBuckets(prev, next);
+        if (changed.length === 0)
+            return;
+        startBatch();
+        try {
+            for (const bucket of changed) {
+                bucket.version++;
+                notify(bucket);
+            }
+        }
+        finally {
+            endBatch();
+        }
+    }
+    function activate() {
+        let initialized = false;
+        sourceEffect = createEffect(() => {
+            const next = source();
+            const prev = current;
+            current = next;
+            if (!initialized) {
+                initialized = true;
+                return;
+            }
+            notifyChanged(prev, next);
+        });
+    }
+    // An effect re-running unlinks its bucket right before reading the key again, and a list
+    // re-render unlinks every bucket before the new rows subscribe. Waiting a microtask keeps the
+    // source subscribed through both instead of stopping and re-reading it each time.
+    function scheduleRelease() {
+        if (releaseScheduled)
+            return;
+        releaseScheduled = true;
+        queueMicrotask(() => {
+            releaseScheduled = false;
+            if (buckets.size > 0)
+                return;
+            const stop = sourceEffect;
+            sourceEffect = null;
+            disposeEffect(stop);
+        });
+    }
+    return function select(key) {
+        if (activeSub === undefined) {
+            // `current` lags the source while the source effect waits to run (a write inside a batch, or
+            // a computed source, whose effects run a microtask later). A tracked read keeps the cached
+            // value, which the effect's run then corrects through the buckets; nothing corrects this one.
+            const fresh = sourceEffect !== null && (sourceEffect.flags & (DIRTY | PENDING)) === 0;
+            return compare(key, fresh ? current : source());
+        }
+        if (sourceEffect === null)
+            activate();
+        let bucket = buckets.get(key);
+        if (bucket === undefined) {
+            bucket = new Bucket(key, owner);
+            buckets.set(key, bucket);
+        }
+        track(bucket);
+        return compare(key, current);
+    };
+}
+//# sourceMappingURL=selector.js.map

package/dist/signal/selector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"selector.js","sourceRoot":"","sources":["../../src/signal/selector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAmB,MAAM,SAAS,CAAC;AAKpJ,+FAA+F;AAC/F,6FAA6F;AAC7F,SAAS,aAAa,CAAC,CAAU,EAAE,CAAU;IAC3C,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAMD,8FAA8F;AAC9F,mEAAmE;AACnE,iGAAiG;AACjG,yFAAyF;AACzF,MAAM,MAAU,SAAQ,WAAW;IAIjC,YAAY,GAAM,EAAE,KAAqB;QACvC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,iGAAiG;IACjG,SAAS;QACP,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;CACF;AAED,mFAAmF;AACnF,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE;IAC3C,KAAK,EAAE,IAAI,MAAM,CAAU,SAAS,EAAE;QACpC,IAAI;YACF,sDAAsD;QACxD,CAAC;KACF,CAAC;CACH,CAAC,CAAC;AAIH,MAAM,UAAU,QAAQ,CAAO,MAAe,EAAE,MAA6B;IAC3E,MAAM,OAAO,GAAG,MAAM,IAAK,aAAsC,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,IAAI,OAAU,CAAC;IACf,IAAI,YAAY,GAAsB,IAAI,CAAC;IAC3C,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAE7B,2FAA2F;IAC3F,MAAM,KAAK,GAAmB;QAC5B,IAAI,CAAC,GAAG;YACN,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACpB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;gBAAE,eAAe,EAAE,CAAC;QAC5C,CAAC;KACF,CAAC;IAEF,SAAS,cAAc,CAAC,IAAO,EAAE,IAAO;QACtC,MAAM,OAAO,GAAkB,EAAE,CAAC;QAClC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC9C,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAoB,CAAC,CAAC;YACrD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAoB,CAAC,CAAC;YACrD,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvD,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,6FAA6F;IAC7F,0DAA0D;IAC1D,SAAS,aAAa,CAAC,IAAO,EAAE,IAAO;QACrC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACjC,UAAU,EAAE,CAAC;QACb,IAAI,CAAC;YACH,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,CAAC,OAAO,EAAE,CAAC;gBACjB,MAAM,CAAC,MAAM,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,QAAQ,EAAE,CAAC;QACb,CAAC;IACH,CAAC;IAED,SAAS,QAAQ;QACf,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,YAAY,GAAG,YAAY,CAAC,GAAG,EAAE;YAC/B,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,OAAO,CAAC;YACrB,OAAO,GAAG,IAAI,CAAC;YACf,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,WAAW,GAAG,IAAI,CAAC;gBACnB,OAAO;YACT,CAAC;YACD,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;IACL,CAAC;IAED,yFAAyF;IACzF,8FAA8F;IAC9F,kFAAkF;IAClF,SAAS,eAAe;QACtB,IAAI,gBAAgB;YAAE,OAAO;QAC7B,gBAAgB,GAAG,IAAI,CAAC;QACxB,cAAc,CAAC,GAAG,EAAE;YAClB,gBAAgB,GAAG,KAAK,CAAC;YACzB,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC;gBAAE,OAAO;YAC7B,MAAM,IAAI,GAAG,YAA0B,CAAC;YACxC,YAAY,GAAG,IAAI,CAAC;YACpB,aAAa,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,SAAS,MAAM,CAAC,GAAM;QAC3B,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,6FAA6F;YAC7F,2FAA2F;YAC3F,8FAA8F;YAC9F,MAAM,KAAK,GAAG,YAAY,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,GAAG,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;YACtF,OAAO,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,YAAY,KAAK,IAAI;YAAE,QAAQ,EAAE,CAAC;QACtC,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3B,CAAC;QACD,KAAK,CAAC,MAAM,CAAC,CAAC;QACd,OAAO,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC/B,CAAC,CAAC;AACJ,CAAC"}

package/dist/signal/signal.d.ts

@@ -1,8 +1,3 @@
 import type { Signal } from "@praxisjs/shared";
-import { removeSub, type Effect, type SubList, type SubscriberHolder } from "./effect";
-export type { SubList } from "./effect";
-export declare function addSub(holder: SubscriberHolder, eff: Effect): void;
-export { removeSub };
-export declare function notifySubs(subs: Exclude<SubList, null>, batching: boolean): void;
 export declare function signal<T>(initialValue: T): Signal<T>;
 //# sourceMappingURL=signal.d.ts.map

package/dist/signal/signal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signal.d.ts","sourceRoot":"","sources":["../../src/signal/signal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAGL,SAAS,EAET,KAAK,MAAM,EACX,KAAK,OAAO,EACZ,KAAK,gBAAgB,EACtB,MAAM,UAAU,CAAC;AAElB,YAAY,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAExC,wBAAgB,MAAM,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAalE;AAED,OAAO,EAAE,SAAS,EAAE,CAAC;AAErB,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAqBhF;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CA4BpD"}
+{"version":3,"file":"signal.d.ts","sourceRoot":"","sources":["../../src/signal/signal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAK/C,wBAAgB,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAepD"}

package/dist/signal/signal.js

@@ -1,75 +1,16 @@
-import { isBatching, enqueueEffect } from "./batch";
-import { activeEffect, recordDependency, removeSub, SUBS_SET_THRESHOLD, } from "./effect";
-export function addSub(holder, eff) {
-    const subs = holder.subs;
-    if (subs === null) {
-        holder.subs = eff;
-    }
-    else if (typeof subs === "function") {
-        if (subs !== eff)
-            holder.subs = [subs, eff];
-    }
-    else if (subs instanceof Set) {
-        subs.add(eff);
-    }
-    else if (!subs.includes(eff)) {
-        subs.push(eff);
-        if (subs.length > SUBS_SET_THRESHOLD)
-            holder.subs = new Set(subs);
-    }
-    recordDependency(eff, holder);
-}
-export { removeSub };
-export function notifySubs(subs, batching) {
-    if (typeof subs === "function") {
-        if (batching)
-            enqueueEffect(subs);
-        else
-            subs();
-        return;
-    }
-    const snapshot = [...subs];
-    if (batching) {
-        for (const sub of snapshot)
-            enqueueEffect(sub);
-        return;
-    }
-    let lastError;
-    let hasError = false;
-    for (const sub of snapshot) {
-        try {
-            sub();
-        }
-        catch (e) {
-            lastError = e;
-            hasError = true;
-        }
-    }
-    if (hasError)
-        throw lastError;
-}
+import { untrack } from "./effect";
+import { createEffect, disposeEffect, readSignal, SignalNode, writeSignal } from "./graph";
 export function signal(initialValue) {
-    let value = initialValue;
-    const holder = { subs: null };
-    function read() {
-        if (activeEffect !== null)
-            addSub(holder, activeEffect);
-        return value;
-    }
-    const s = read;
-    s.set = (newValue) => {
-        if (Object.is(value, newValue))
-            return;
-        value = newValue;
-        if (holder.subs !== null)
-            notifySubs(holder.subs, isBatching());
-    };
-    s.update = (fn) => { s.set(fn(value)); };
+    const node = new SignalNode(initialValue);
+    const s = (() => readSignal(node));
+    s.set = (newValue) => { writeSignal(node, newValue); };
+    s.update = (fn) => { writeSignal(node, fn(node.value)); };
     s.subscribe = (fn) => {
-        const wrapped = () => { fn(value); };
-        addSub(holder, wrapped);
-        wrapped();
-        return () => { removeSub(holder, wrapped); };
+        const sub = createEffect(() => {
+            const value = readSignal(node);
+            untrack(() => { fn(value); });
+        });
+        return () => { disposeEffect(sub); };
     };
     s.__isSignal = true;
     return s;

package/dist/signal/signal.js.map

@@ -1 +1 @@
-{"version":3,"file":"signal.js","sourceRoot":"","sources":["../../src/signal/signal.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,SAAS,EACT,kBAAkB,GAInB,MAAM,UAAU,CAAC;AAIlB,MAAM,UAAU,MAAM,CAAC,MAAwB,EAAE,GAAW;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,CAAC,IAAI,GAAG,GAAG,CAAC;IACpB,CAAC;SAAM,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QACtC,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;SAAM,IAAI,IAAI,YAAY,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;SAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,IAAI,IAAI,CAAC,MAAM,GAAG,kBAAkB;YAAE,MAAM,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,OAAO,EAAE,SAAS,EAAE,CAAC;AAErB,MAAM,UAAU,UAAU,CAAC,IAA4B,EAAE,QAAiB;IACxE,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,QAAQ;YAAE,aAAa,CAAC,IAAI,CAAC,CAAC;;YAAM,IAAI,EAAE,CAAC;QAC/C,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAC3B,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,MAAM,GAAG,IAAI,QAAQ;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC;QAC/C,OAAO;IACT,CAAC;IACD,IAAI,SAAkB,CAAC;IACvB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;QACR,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,SAAS,GAAG,CAAC,CAAC;YACd,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IACD,IAAI,QAAQ;QAAE,MAAM,SAAS,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,MAAM,CAAI,YAAe;IACvC,IAAI,KAAK,GAAG,YAAY,CAAC;IACzB,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,IAAe,EAAE,CAAC;IAEzC,SAAS,IAAI;QACX,IAAI,YAAY,KAAK,IAAI;YAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,GAAG,IAAiB,CAAC;IAE5B,CAAC,CAAC,GAAG,GAAG,CAAC,QAAW,EAAE,EAAE;QACtB,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO;QACvC,KAAK,GAAG,QAAQ,CAAC;QACjB,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;YAAE,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,CAAC,CAAC,MAAM,GAAG,CAAC,EAAkB,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzD,CAAC,CAAC,SAAS,GAAG,CAAC,EAAsB,EAAE,EAAE;QACvC,MAAM,OAAO,GAAW,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxB,OAAO,EAAE,CAAC;QACV,OAAO,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC;IAEF,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACpB,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"signal.js","sourceRoot":"","sources":["../../src/signal/signal.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAE3F,MAAM,UAAU,MAAM,CAAI,YAAe;IACvC,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,YAAY,CAAC,CAAC;IAE1C,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAc,CAAC;IAChD,CAAC,CAAC,GAAG,GAAG,CAAC,QAAW,EAAE,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,MAAM,GAAG,CAAC,EAAkB,EAAE,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,SAAS,GAAG,CAAC,EAAsB,EAAE,EAAE;QACvC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE;YAC5B,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,OAAO,GAAG,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACpB,OAAO,CAAC,CAAC;AACX,CAAC"}

package/package.json

@@ -1,7 +1,8 @@
 {
   "name": "@praxisjs/core",
-  "version": "2.2.0",
+  "version": "2.3.0",
   "type": "module",
+  "sideEffects": false,
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
   "exports": {
@@ -14,14 +15,22 @@
       "types": "./dist/internal.d.ts"
     }
   },
+  "files": [
+    "dist",
+    "src",
+    "!dist/**/__tests__",
+    "!src/**/__tests__",
+    "CHANGELOG.md"
+  ],
   "devDependencies": {
     "typescript": "^6.0.3"
   },
   "dependencies": {
-    "@praxisjs/shared": "0.3.1"
+    "@praxisjs/shared": "0.3.2"
   },
   "scripts": {
-    "build": "tsc",
-    "dev": "tsc --watch"
+    "build": "tsc -p tsconfig.build.json",
+    "dev": "tsc -p tsconfig.build.json --watch",
+    "typecheck": "tsc --noEmit"
   }
 }

package/src/component/internals.ts

@@ -3,15 +3,22 @@ export const componentPropsType: unique symbol = Symbol("praxis.componentPropsTy
 interface ComponentInternals<T extends object> {
   rawProps: T;
   mounted: boolean;
-  anchor?: Comment;
+  anchor: Node | undefined;
+  start: Comment | undefined;
   defaults: Record<string, unknown>;
   stateDirty: boolean;
 }
 
-const componentInternals = new WeakMap<object, ComponentInternals<object>>();
+// Kept on the instance under a symbol rather than in a WeakMap: every @Prop read goes through
+// here, and a property load is much cheaper than a WeakMap lookup.
+const INTERNALS: unique symbol = Symbol("praxis.internals");
+
+interface InternalsHost {
+  [INTERNALS]?: ComponentInternals<object>;
+}
 
 function getInternals(instance: object): ComponentInternals<object> {
-  const internals = componentInternals.get(instance);
+  const internals = (instance as InternalsHost)[INTERNALS];
   if (!internals) {
     throw new TypeError("Expected a PraxisJS component instance.");
   }
@@ -22,12 +29,14 @@ export function initComponentInternals(
   instance: object,
   props: object,
 ): void {
-  componentInternals.set(instance, {
+  (instance as InternalsHost)[INTERNALS] = {
     rawProps: { ...props },
     mounted: false,
+    anchor: undefined,
+    start: undefined,
     defaults: {},
     stateDirty: false,
-  });
+  };
 }
 
 export function getComponentProps(instance: object): object {
@@ -73,13 +82,17 @@ export function getComponentDefaults(
   return getInternals(instance).defaults;
 }
 
-export function getComponentAnchor(instance: object): Comment | undefined {
+/**
+ * A node of the mounted component's output: its only root node, or the comment that closes its
+ * region when it renders several nodes. Its `parentElement` is the element the component sits in.
+ */
+export function getComponentAnchor(instance: object): Node | undefined {
   return getInternals(instance).anchor;
 }
 
 export function setComponentAnchor(
   instance: object,
-  anchor: Comment | undefined,
+  anchor: Node | undefined,
 ): void {
   getInternals(instance).anchor = anchor;
 }
@@ -96,14 +109,14 @@ export function setComponentMounted(
 }
 
 export function markStateDirty(instance: object): void {
-  const internals = componentInternals.get(instance);
+  const internals = (instance as InternalsHost)[INTERNALS];
   if (internals) {
     internals.stateDirty = true;
   }
 }
 
 export function isStateDirty(instance: object): boolean {
-  const internals = componentInternals.get(instance);
+  const internals = (instance as InternalsHost)[INTERNALS];
   if (internals) return internals.stateDirty;
   return false;
 }
@@ -112,8 +125,20 @@ export function setStateDirty(
   instance: object,
   stateDirty: boolean,
 ): void {
-  const internals = componentInternals.get(instance);
+  const internals = (instance as InternalsHost)[INTERNALS];
   if (internals) {
     internals.stateDirty = stateDirty;
   }
 }
+
+/**
+ * The comment that opens a component's region, when it has one: a component whose render sets it
+ * (with the closing comment as its anchor) brings its own boundaries, and mountComponent adds none.
+ */
+export function getComponentStart(instance: object): Comment | undefined {
+  return getInternals(instance).start;
+}
+
+export function setComponentStart(instance: object, start: Comment | undefined): void {
+  getInternals(instance).start = start;
+}

package/src/internal.ts

@@ -15,11 +15,35 @@ export {
   batch,
   effect,
   untrack,
+  selector,
+  type Selector,
+  type SelectorEquals,
   type PersistedSignalOptions,
   type PersistedSignal,
   type SyncedSignal,
 } from "./signal";
 export { RootComponent } from "./component";
+export {
+  createEffect,
+  createContextEffect,
+  disposeEffect,
+  startBatch,
+  endBatch,
+  EffectNode,
+  SignalNode,
+  readSignal,
+  writeSignal,
+  ComputedNode,
+  readComputed,
+  type ReactiveNode,
+  pauseTracking,
+  resumeTracking,
+  setReactiveObserver,
+  setCurrentOwner,
+  getEffectOwner,
+  type ReactiveObserver,
+  type EffectCleanup,
+} from "./signal/graph";
 export {
   componentPropsType,
   getComponentAnchor,
@@ -27,6 +51,8 @@ export {
   getComponentDefaults,
   getComponentProps,
   getComponentRawProp,
+  getComponentStart,
+  setComponentStart,
   isComponentMounted,
   isStateDirty,
   markStateDirty,

package/src/signal/batch.ts

@@ -1,39 +1,11 @@
-import type { Effect } from "./effect";
+import { endBatch, startBatch } from "./graph";
 
-const batchEffects = new Set<Effect>();
-let batchDepth = 0;
-
-export function isBatching(): boolean {
-  return batchDepth > 0;
-}
-
-export function enqueueEffect(effect: Effect): void {
-  batchEffects.add(effect);
-}
-
-export function batch(fn: () => void) {
-  batchDepth++;
+/** Runs `fn` and defers every effect it invalidates until it returns, so each runs once. */
+export function batch(fn: () => void): void {
+  startBatch();
   try {
     fn();
   } finally {
-    if (--batchDepth === 0) flush();
-  }
-}
-
-// The queue is detached before running so a throwing effect can't leave stale entries behind,
-// and every queued effect still runs — matching how notifySubs treats errors outside a batch.
-function flush(): void {
-  const queued = [...batchEffects];
-  batchEffects.clear();
-  let lastError: unknown;
-  let hasError = false;
-  for (const effect of queued) {
-    try {
-      effect();
-    } catch (e) {
-      lastError = e;
-      hasError = true;
-    }
+    endBatch();
   }
-  if (hasError) throw lastError;
 }

package/src/signal/computed.ts

@@ -1,82 +1,29 @@
 import type { Computed, WritableComputed } from "@praxisjs/shared";
 
-import { activeEffect, cleanupEffectDeps, runEffect, type Effect, type SubList } from "./effect";
-import { addSub, removeSub, notifySubs } from "./signal";
-
-type ComputedRecompute = Effect & { __isComputedRecompute: true };
-
-function isComputedRecompute(eff: Effect): boolean {
-  return (eff as Partial<ComputedRecompute>).__isComputedRecompute === true;
-}
+import { untrack } from "./effect";
+import { ComputedNode, createEffect, DIRTY, disposeEffect, readComputed, unlinkDeps } from "./graph";
 
 export function computed<T>(getter: () => T): Computed<T> {
-  let cachedValue: T | undefined;
-  let dirty = true;
-
-  const computedHolder = { subs: null as SubList };
-  const leafHolder = { subs: null as SubList };
-  let scheduled = false;
-
-  let recompute: ComputedRecompute | null = null;
-
-  function getRecompute(): ComputedRecompute {
-    if (recompute !== null) return recompute;
-    recompute = function markDirty(): void {
-      if (dirty) return;
-      dirty = true;
-      if (computedHolder.subs !== null) notifySubs(computedHolder.subs, false);
-      if (leafHolder.subs !== null && !scheduled) {
-        scheduled = true;
-        queueMicrotask(() => {
-          scheduled = false;
-          if (leafHolder.subs !== null) notifySubs(leafHolder.subs, false);
-        });
-      }
-    } as ComputedRecompute;
-    recompute.__isComputedRecompute = true;
-    return recompute;
-  }
-
-  function read(): T {
-    if (activeEffect !== null) {
-      if (isComputedRecompute(activeEffect)) {
-        addSub(computedHolder, activeEffect);
-      } else {
-        addSub(leafHolder, activeEffect);
-      }
-    }
-    if (dirty) {
-      const prevEffect = activeEffect;
-      const recomputeEffect = getRecompute();
-      cleanupEffectDeps(recomputeEffect);
-      runEffect(recomputeEffect);
-      try {
-        cachedValue = getter();
-        dirty = false;
-      } finally {
-        runEffect(prevEffect);
-      }
-    }
-    return cachedValue as T;
-  }
+  const node = new ComputedNode(getter);
 
-  const c = read as Computed<T> & { dispose(): void };
+  const c = (() => readComputed(node)) as Computed<T> & { dispose(): void };
 
   // Drops this computed's subscriptions to its sources so an unreachable one (e.g. an evicted
   // @Memo entry) isn't kept alive by the signals it read. Does nothing while anything still
   // depends on it: detaching then would leave those dependents silently stale.
   c.dispose = () => {
-    if (leafHolder.subs !== null || computedHolder.subs !== null) return;
-    if (recompute !== null) cleanupEffectDeps(recompute);
-    dirty = true;
-    cachedValue = undefined;
+    if (node.subs !== undefined) return;
+    unlinkDeps(node);
+    node.flags |= DIRTY;
+    node.value = undefined;
   };
 
   c.subscribe = (fn: (value: T) => void) => {
-    const wrapped: Effect = () => { fn(read()); };
-    addSub(leafHolder, wrapped);
-    wrapped();
-    return () => { removeSub(leafHolder, wrapped); };
+    const sub = createEffect(() => {
+      const value = readComputed(node);
+      untrack(() => { fn(value); });
+    });
+    return () => { disposeEffect(sub); };
   };
 
   c.__isComputed = true;