@elaraai/e3-ui 1.0.98 → 1.0.99

package/dist/src/plan/nested-patch.js

@@ -0,0 +1,143 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * A Save's patch over rows read beside their nested series index, restated by
+ * key (#1438). East's diff of a Dict whose every key went one way is one whole
+ * `replace`: a machine whose only job moves off it sends `replace { before: {
+ * j-42 }, after: {} }`, which conflicts with another planner's job added to it
+ * meanwhile. The Plan restates each collection the index lists as the
+ * operations a `replace` stands for, key by key — a `delete` of each key it
+ * held, an `insert` of each it holds, an `update` of each in both that changed
+ * — down through child rows, so a commit's patch names only the items and
+ * values it changed, and e3 checks each against what it was. A node of a
+ * recursive tree is a whole value to East's patches, so its update replaces it
+ * whole, by its key.
+ *
+ * @packageDocumentation
+ */
+import { DictType, East, OptionType, PatchType, dictPatchOpsType, some, variant, } from "@elaraai/east";
+import { EditingChangeSetTypeFor } from "@elaraai/east-ui/internal";
+/**
+ * A Dict's patch with its `replace` restated by key, and each `update` of a
+ * value restated within where its values hold more collections.
+ *
+ * @param type - The Dict's type
+ * @param inner - The restatement of its values' patches, where they hold collections
+ * @returns The restatement
+ */
+function dictByKey(type, inner) {
+    const patchType = PatchType(type);
+    const opType = dictPatchOpsType(type.value);
+    const opsType = DictType(type.key, opType);
+    return East.function([patchType], patchType, ($, patch) => {
+        const out = $.let(patch);
+        $.match(patch, {
+            replace: ($2, whole) => {
+                const ops = $2.let(new Map(), opsType);
+                $2.for(whole.before, ($3, was, key) => {
+                    $3.match(whole.after.tryGet(key), {
+                        none: ($4) => { $4(ops.insert(key, East.value(variant("delete", was), opType))); },
+                        some: ($4, now) => {
+                            $4.if(East.notEqual(was, now), ($5) => {
+                                $5(ops.insert(key, East.value(variant("update", East.diff(was, now)), opType)));
+                            });
+                        },
+                    });
+                });
+                $2.for(whole.after, ($3, now, key) => {
+                    $3.if(whole.before.has(key).not(), ($4) => {
+                        $4(ops.insert(key, East.value(variant("insert", now), opType)));
+                    });
+                });
+                $2.assign(out, East.value(variant("patch", ops), patchType));
+            },
+            ...(inner === undefined ? {} : {
+                patch: ($2, ops) => {
+                    const restate = $2.const(inner);
+                    const restated = ops.map((_$3, op) => op.match({ update: (_$4, value) => East.value(variant("update", restate(value)), opType) }, () => op));
+                    $2.assign(out, East.value(variant("patch", restated), patchType));
+                },
+            }),
+        });
+        return out;
+    });
+}
+/**
+ * A row's patch with each collection the index lists restated by key, down
+ * through its child rows; `undefined` for a row of a recursive tree, which
+ * East patches whole, or one listing no Dict.
+ *
+ * @param rowType - The row's type
+ * @param collections - The collections the index lists in it, by field
+ * @returns The restatement
+ */
+function rowByKey(rowType, collections) {
+    if (rowType.type !== "Struct")
+        return undefined;
+    const fields = [];
+    for (const [field, declared] of collections) {
+        const fieldType = rowType.fields[field];
+        if (fieldType?.type !== "Dict")
+            continue;
+        const dict = fieldType;
+        const inner = declared.kind === "rows" ? rowByKey(dict.value, declared.collections) : undefined;
+        fields.push([field, dictByKey(dict, inner)]);
+    }
+    if (fields.length === 0)
+        return undefined;
+    const patchType = PatchType(rowType);
+    return East.function([patchType], patchType, ($, patch) => {
+        const restate = fields.map(([field, fn]) => [field, $.const(fn)]);
+        const out = $.let(patch);
+        $.match(patch, {
+            patch: ($2, parts) => {
+                // Each step held in a variable of its own: an expression read twice is written out twice.
+                const next = restate.reduce((was, [field, fn]) => {
+                    const held = $2.let(was);
+                    return East.withField(held, field, fn(East.field(held, field)));
+                }, parts);
+                $2.assign(out, East.value(variant("patch", next), patchType));
+            },
+        });
+        return out;
+    });
+}
+/**
+ * A Plan's batch over rows read beside their nested series index, each
+ * change's patch restated by key (see the module docs).
+ *
+ * @param entryType - The rows' type
+ * @param keyType - Their key's type
+ * @param index - The nested series index the rows are read beside
+ * @returns `(ChangeSet(R, K)) → ChangeSet(R, K)`; `undefined` where the index lists no collection a patch reaches by key
+ */
+export function planNestedRestatement(entryType, keyType, index) {
+    const row = rowByKey(entryType, index.collections);
+    if (row === undefined)
+        return undefined;
+    const entryPatch = PatchType(OptionType(entryType));
+    const entry = East.function([entryPatch], entryPatch, ($, patch) => {
+        const restate = $.const(row);
+        const out = $.let(patch);
+        $.match(patch, {
+            patch: ($2, inner) => {
+                $2.match(inner, {
+                    some: ($3, rowPatch) => {
+                        // The option's patch, its `some` case the row's.
+                        $3.assign(out, East.value(variant("patch", some(restate(rowPatch))), entryPatch));
+                    },
+                });
+            },
+        });
+        return out;
+    });
+    const batchType = EditingChangeSetTypeFor(entryType, keyType);
+    return East.function([batchType], batchType, ($, batch) => {
+        const restate = $.const(entry);
+        const changes = batch.changes;
+        return East.withField(batch, "changes", changes.map((_$2, change) => East.withField(change, "patch", restate(change.patch))));
+    });
+}
+//# sourceMappingURL=nested-patch.js.map

package/dist/src/plan/nested-patch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nested-patch.js","sourceRoot":"","sources":["../../../src/plan/nested-patch.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACH,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,GAEzE,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AASpE;;;;;;;GAOG;AACH,SAAS,SAAS,CAAC,IAAkC,EAAE,KAA8B;IACjF,MAAM,SAAS,GAAa,SAAS,CAAC,IAAgB,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACtD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,KAAc,EAAE;YACpB,OAAO,EAAE,CAAC,EAAY,EAAE,KAAY,EAAE,EAAE;gBACpC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,EAAE,OAAO,CAAqB,CAAC;gBAC3D,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAe,EAAE,CAAC,EAAY,EAAE,GAAuB,EAAE,GAAuB,EAAE,EAAE;oBAC7F,EAAE,CAAC,KAAK,CAAE,KAAK,CAAC,KAA+D,CAAC,MAAM,CAAC,GAAG,CAAU,EAAE;wBAClG,IAAI,EAAE,CAAC,EAAY,EAAE,EAAE,GAAG,EAAE,CAAE,GAAyE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC5K,IAAI,EAAE,CAAC,EAAY,EAAE,GAAuB,EAAE,EAAE;4BAC5C,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAY,EAAE,GAAY,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;gCACpD,EAAE,CAAE,GAAyE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,GAAY,EAAE,GAAY,CAAC,CAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;4BACtL,CAAC,CAAC,CAAC;wBACP,CAAC;qBACJ,CAAC,CAAC;gBACP,CAAC,CAAC,CAAC;gBACH,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAc,EAAE,CAAC,EAAY,EAAE,GAAuB,EAAE,GAAuB,EAAE,EAAE;oBAC5F,EAAE,CAAC,EAAE,CAAE,KAAK,CAAC,MAAwE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAW,EAAE,CAAC,EAAE,EAAE,EAAE;wBAClH,EAAE,CAAE,GAAyE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;oBACpJ,CAAC,CAAC,CAAC;gBACP,CAAC,CAAC,CAAC;gBACH,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAU,EAAE,SAAS,CAAU,CAAC,CAAC;YACnF,CAAC;YACD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC3B,KAAK,EAAE,CAAC,EAAY,EAAE,GAAuB,EAAE,EAAE;oBAC7C,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAA6D,CAAC;oBAC5F,MAAM,QAAQ,GAAI,GAA2D,CAAC,GAAG,CAAC,CAAC,GAAY,EAAE,EAAS,EAAE,EAAE,CACzG,EAAmF,CAAC,KAAK,CACtF,EAAE,MAAM,EAAE,CAAC,GAAY,EAAE,KAAyB,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAU,EAAE,MAAM,CAAC,EAAE,EACvH,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;oBACnB,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAU,EAAE,SAAS,CAAU,CAAC,CAAC;gBACxF,CAAC;aACJ,CAAC;SACI,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACf,CAAC,CAA2B,CAAC;AACjC,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,QAAQ,CAAC,OAAiB,EAAE,WAAuD;IACxF,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,MAAM,GAAuC,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,WAAW,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAI,OAAO,CAAC,MAA6C,CAAC,KAAK,CAAC,CAAC;QAChF,IAAI,SAAS,EAAE,IAAI,KAAK,MAAM;YAAE,SAAS;QACzC,MAAM,IAAI,GAAG,SAAyC,CAAC;QACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,SAAS,GAAa,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACtD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAA6D,CAAU,CAAC,CAAC;QACvI,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,KAAc,EAAE;YACpB,KAAK,EAAE,CAAC,EAAY,EAAE,KAAyB,EAAE,EAAE;gBAC/C,0FAA0F;gBAC1F,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAqB,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE;oBACjE,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACzB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAa,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAa,EAAE,KAAK,CAAuB,CAAC,CAAuB,CAAC;gBAClI,CAAC,EAAE,KAAK,CAAC,CAAC;gBACV,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAU,EAAE,SAAS,CAAU,CAAC,CAAC;YACpF,CAAC;SACK,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACf,CAAC,CAA2B,CAAC;AACjC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,SAAmB,EAAE,OAAiB,EAAE,KAAsB;IAChG,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACnD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,UAAU,GAAa,SAAS,CAAC,UAAU,CAAC,SAAS,CAAa,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC/D,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAA6D,CAAC;QACzF,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,KAAc,EAAE;YACpB,KAAK,EAAE,CAAC,EAAY,EAAE,KAAyB,EAAE,EAAE;gBAC/C,EAAE,CAAC,KAAK,CAAC,KAAc,EAAE;oBACrB,IAAI,EAAE,CAAC,EAAY,EAAE,QAA4B,EAAE,EAAE;wBACjD,iDAAiD;wBACjD,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAU,EAAE,UAAU,CAAU,CAAC,CAAC;oBACxG,CAAC;iBACK,CAAC,CAAC;YAChB,CAAC;SACK,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACf,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACtD,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAA6D,CAAC;QAC3F,MAAM,OAAO,GAAI,KAA0B,CAAC,OAA8D,CAAC;QAC3G,OAAO,IAAI,CAAC,SAAS,CAAC,KAAc,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,GAAY,EAAE,MAAa,EAAE,EAAE,CACzF,IAAI,CAAC,SAAS,CAAC,MAAe,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,KAAM,CAAC,CAAC,CAAC,CAAU,CAAC;IACpF,CAAC,CAA2B,CAAC;AACjC,CAAC"}