effectweb 0.3.0 → 0.3.1

package/dist/settlement.js

@@ -0,0 +1,27 @@
+/** Internal completion accounting, including reentrant acquisition before a fiber is available. */
+export class Settlement {
+    pending = 0;
+    waiters = [];
+    begin() {
+        this.pending++;
+        let finished = false;
+        return () => {
+            if (finished)
+                return;
+            finished = true;
+            if (--this.pending)
+                return;
+            for (const done of this.waiters)
+                done();
+            this.waiters.length = 0;
+        };
+    }
+    wait() {
+        return new Promise((done) => {
+            if (this.pending)
+                this.waiters.push(done);
+            else
+                done();
+        });
+    }
+}

package/dist/sharing.js

@@ -60,28 +60,31 @@ function share(previous, next, fields) {
         oldKeys.some((key) => !Object.hasOwn(Object.getOwnPropertyDescriptor(previous, key), 'value')))
         return next;
     let equal = keys.length === oldKeys.length && (!array || value.length === old.length);
-    let unchangedNext = true;
-    const shared = array ? [] : {};
-    if (array)
-        shared.length = value.length;
+    let changed;
     for (const key of keys) {
         const custom = fields && Object.hasOwn(fields, key) ? fields[key] : undefined;
         const item = custom && Object.hasOwn(old, key)
             ? custom(old[key], value[key])
             : share(Object.hasOwn(old, key) ? old[key] : undefined, value[key], undefined);
-        // Define an own data property, including __proto__, without invoking setters.
-        Object.defineProperty(shared, key, {
-            value: item,
-            writable: true,
-            enumerable: true,
-            configurable: true,
-        });
         if (!Object.hasOwn(old, key) || !Object.is(item, old[key]))
             equal = false;
         if (!Object.is(item, value[key]))
-            unchangedNext = false;
+            (changed ??= new Map()).set(key, item);
+    }
+    let result = equal ? previous : next;
+    if (!equal && changed) {
+        const shared = array ? [] : {};
+        if (array)
+            shared.length = value.length;
+        for (const key of keys)
+            Object.defineProperty(shared, key, {
+                value: changed.has(key) ? changed.get(key) : value[key],
+                writable: true,
+                enumerable: true,
+                configurable: true,
+            });
+        result = shared;
     }
-    const result = equal ? previous : unchangedNext ? next : shared;
     if (fields)
         return result;
     if (!pairs) {

package/dist/slotIdentity.d.ts

@@ -0,0 +1 @@
+export declare const compiledSlots: WeakSet<object>;

package/dist/slotIdentity.js

@@ -0,0 +1,2 @@
+// Shared only by compiler runtime helpers; user functions cannot acquire this proof.
+export const compiledSlots = new WeakSet();

package/dist/snapshot.js

@@ -2,29 +2,37 @@ import { isAsyncResult } from 'effect/unstable/reactivity/AsyncResult';
 const checked = new WeakSet();
 /** Protect published plain data in every build. Opaque objects keep their own lifecycle. */
 export function protectSnapshot(value) {
-    if (!value || typeof value !== 'object' || checked.has(value))
-        return value;
-    // AsyncResult is an immutable Effect wrapper, but its successful UI data is plain data.
-    if (isAsyncResult(value)) {
-        checked.add(value);
-        if (value._tag === 'Success')
-            protectSnapshot(value.value);
-        else if (value._tag === 'Failure' && value.previousSuccess._tag === 'Some')
-            protectSnapshot(value.previousSuccess.value);
-        return value;
-    }
-    const prototype = Object.getPrototypeOf(value);
-    if (!Array.isArray(value) && prototype !== Object.prototype && prototype !== null)
-        return value;
-    // Mark before walking to allow cyclic data and reuse already checked shared branches.
-    checked.add(value);
-    const descriptors = Object.getOwnPropertyDescriptors(value);
-    for (const key of Reflect.ownKeys(descriptors)) {
-        const descriptor = Reflect.get(descriptors, key);
-        // Never execute getters or traverse closures, class instances, Effects or DOM objects.
-        if ('value' in descriptor)
-            protectSnapshot(descriptor.value);
-    }
-    Object.freeze(value);
+    const seen = new Set();
+    const plain = [];
+    const validate = (item) => {
+        if (!item || typeof item !== 'object' || checked.has(item) || seen.has(item))
+            return;
+        seen.add(item);
+        // Effect wrappers remain opaque, but their successful UI data is plain data.
+        if (isAsyncResult(item)) {
+            if (item._tag === 'Success')
+                validate(item.value);
+            else if (item._tag === 'Failure' && item.previousSuccess._tag === 'Some')
+                validate(item.previousSuccess.value);
+            return;
+        }
+        const prototype = Object.getPrototypeOf(item);
+        if (!Array.isArray(item) && prototype !== Object.prototype && prototype !== null)
+            return;
+        for (const key of Reflect.ownKeys(item)) {
+            const descriptor = Object.getOwnPropertyDescriptor(item, key);
+            if (!Object.hasOwn(descriptor, 'value'))
+                throw new Error(`Snapshot data cannot contain an accessor (${String(key)}). Materialize its value before publication; keep services in opaque instances.`);
+            validate(descriptor.value);
+        }
+        plain.push(item);
+    };
+    // Validate the complete graph before caching any proof. A rejected cyclic graph
+    // must not make a later publication skip validation through a previously seen child.
+    validate(value);
+    for (const item of plain)
+        Object.freeze(item);
+    for (const item of seen)
+        checked.add(item);
     return value;
 }

package/dist/tasks.js

@@ -137,6 +137,7 @@ function taskBuilder(definition, runtime) {
                 receive,
                 controls,
                 view: (view) => programView({
+                    ...(definition.identity ? { identity: definition.identity } : {}),
                     create,
                     receive: (source, props) => receive(source, props),
                     view,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effectweb",
-  "version": "0.3.0",
+  "version": "0.3.1",
   "description": "Immutable Effect models and compiled JSX with direct DOM rendering",
   "homepage": "https://github.com/DerpyCrabs/EffectWeb",
   "bugs": {
@@ -127,6 +127,14 @@
     "./http": {
       "types": "./dist/http.d.ts",
       "import": "./dist/http.js"
+    },
+    "./infinite-query": {
+      "types": "./dist/infinite-query.d.ts",
+      "import": "./dist/infinite-query.js"
+    },
+    "./keyed-tasks": {
+      "types": "./dist/keyed-tasks.d.ts",
+      "import": "./dist/keyed-tasks.js"
     }
   },
   "publishConfig": {