@elaraai/east 0.0.1-beta.9 → 1.0.0

package/dist/src/patch/apply.js

@@ -0,0 +1,352 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * applyFor - Apply a patch to an East value.
+ *
+ * @module
+ */
+import { toEastTypeValue } from "../type_of_type.js";
+import { isVariant, variant } from "../containers/variant.js";
+import { equalFor, compareFor } from "../comparison.js";
+import { printFor } from "../serialization/east.js";
+import { SortedMap } from "../containers/sortedmap.js";
+import { SortedSet } from "../containers/sortedset.js";
+import { ConflictError } from "./types.js";
+export function applyFor(type, ctx = { apply: [], types: [], equal: new Map(), print: new Map() }) {
+    // Convert to EastTypeValue and use a properly typed variable
+    const t = isVariant(type) ? type : toEastTypeValue(type);
+    if (t.type === "Never") {
+        return (_base, _patch) => {
+            throw new Error("Cannot apply patch to values of type Never");
+        };
+    }
+    else if (t.type === "Null" ||
+        t.type === "Boolean" ||
+        t.type === "Integer" ||
+        t.type === "Float" ||
+        t.type === "String" ||
+        t.type === "DateTime" ||
+        t.type === "Blob" ||
+        t.type === "Vector" ||
+        t.type === "Matrix") {
+        const equal = equalFor(t);
+        const print = printFor(t);
+        return (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                if (!equal(base, patch.value.before)) {
+                    throw new ConflictError(`Cannot apply replace - expected ${print(patch.value.before)}, found ${print(base)}`);
+                }
+                return patch.value.after;
+            }
+            else {
+                throw new Error(`Invalid patch type for primitive: ${patch.type}`);
+            }
+        };
+    }
+    else if (t.type === "Array") {
+        let elementApply;
+        let elementEqual;
+        let elementPrint;
+        let arrayEqual;
+        const ret = (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                if (!arrayEqual(base, patch.value.before)) {
+                    throw new ConflictError("Cannot apply replace - base array does not match expected");
+                }
+                return [...patch.value.after];
+            }
+            else if (patch.type === "patch") {
+                const result = [...base];
+                const operations = patch.value;
+                for (const op of operations) {
+                    const key = Number(op.key);
+                    const offset = Number(op.offset);
+                    const oldKey = key + offset;
+                    if (op.operation.type === "delete") {
+                        if (oldKey < 0 || oldKey >= result.length) {
+                            throw new ConflictError(`Cannot delete at index ${oldKey} - array length is ${result.length}`);
+                        }
+                        if (!elementEqual(result[oldKey], op.operation.value)) {
+                            throw new ConflictError(`Cannot delete at index ${oldKey} - expected ${elementPrint(op.operation.value)}, found ${elementPrint(result[oldKey])}`);
+                        }
+                        result.splice(oldKey, 1);
+                    }
+                    else if (op.operation.type === "insert") {
+                        if (key < 0 || key > result.length) {
+                            throw new ConflictError(`Cannot insert at index ${key} - array length is ${result.length}`);
+                        }
+                        result.splice(key, 0, op.operation.value);
+                    }
+                    else if (op.operation.type === "update") {
+                        if (oldKey < 0 || oldKey >= result.length) {
+                            throw new ConflictError(`Cannot update at index ${oldKey} - array length is ${result.length}`);
+                        }
+                        result[oldKey] = elementApply(result[oldKey], op.operation.value);
+                    }
+                }
+                return result;
+            }
+            else {
+                throw new Error(`Invalid patch type for array: ${patch.type}`);
+            }
+        };
+        // Build array equality using equalFor with current context
+        // This must be pushed BEFORE recursing so children can reference it via .Recursive
+        arrayEqual = equalFor(t, ctx.equal);
+        ctx.apply.push(ret);
+        ctx.types.push(t);
+        elementApply = applyFor(t.value, ctx);
+        elementEqual = equalFor(t.value, ctx.equal);
+        elementPrint = printFor(t.value, ctx.print);
+        ctx.apply.pop();
+        ctx.types.pop();
+        return ret;
+    }
+    else if (t.type === "Set") {
+        const keyPrint = printFor(t.value);
+        const setEqual = equalFor(t, ctx.equal);
+        const keyCompare = compareFor(t.value);
+        return (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                if (!setEqual(base, patch.value.before)) {
+                    throw new ConflictError("Cannot apply replace - base set does not match expected");
+                }
+                return new SortedSet(patch.value.after, keyCompare);
+            }
+            else if (patch.type === "patch") {
+                const result = new SortedSet(base, keyCompare);
+                const operations = patch.value;
+                for (const [key, op] of operations) {
+                    if (op.type === "delete") {
+                        if (!result.has(key)) {
+                            throw new ConflictError(`Cannot delete key ${keyPrint(key)} - key does not exist`);
+                        }
+                        result.delete(key);
+                    }
+                    else if (op.type === "insert") {
+                        if (result.has(key)) {
+                            throw new ConflictError(`Cannot insert key ${keyPrint(key)} - key already exists`);
+                        }
+                        result.add(key);
+                    }
+                }
+                return result;
+            }
+            else {
+                throw new Error(`Invalid patch type for set: ${patch.type}`);
+            }
+        };
+    }
+    else if (t.type === "Dict") {
+        let valueApply;
+        let valueEqual;
+        let dictEqual;
+        let keyPrint;
+        let valuePrint;
+        const keyCompare = compareFor(t.value.key);
+        const ret = (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                if (!dictEqual(base, patch.value.before)) {
+                    throw new ConflictError("Cannot apply replace - base dict does not match expected");
+                }
+                return new SortedMap(patch.value.after, keyCompare);
+            }
+            else if (patch.type === "patch") {
+                const result = new SortedMap(base, keyCompare);
+                const operations = patch.value;
+                for (const [key, op] of operations) {
+                    if (op.type === "delete") {
+                        if (!result.has(key)) {
+                            throw new ConflictError(`Cannot delete key ${keyPrint(key)} - key does not exist`);
+                        }
+                        if (!valueEqual(result.get(key), op.value)) {
+                            throw new ConflictError(`Cannot delete key ${keyPrint(key)} - expected value ${valuePrint(op.value)}, found ${valuePrint(result.get(key))}`);
+                        }
+                        result.delete(key);
+                    }
+                    else if (op.type === "insert") {
+                        if (result.has(key)) {
+                            throw new ConflictError(`Cannot insert key ${keyPrint(key)} - key already exists with value ${valuePrint(result.get(key))}`);
+                        }
+                        result.set(key, op.value);
+                    }
+                    else if (op.type === "update") {
+                        if (!result.has(key)) {
+                            throw new ConflictError(`Cannot update key ${keyPrint(key)} - key does not exist`);
+                        }
+                        result.set(key, valueApply(result.get(key), op.value));
+                    }
+                }
+                return result;
+            }
+            else {
+                throw new Error(`Invalid patch type for dict: ${patch.type}`);
+            }
+        };
+        // Build dict equality using equalFor with current context
+        // This must be pushed BEFORE recursing so children can reference it via .Recursive
+        dictEqual = equalFor(t, ctx.equal);
+        ctx.apply.push(ret);
+        ctx.types.push(t);
+        valueApply = applyFor(t.value.value, ctx);
+        valueEqual = equalFor(t.value.value, ctx.equal);
+        // Keys can't be recursive, so no context needed
+        keyPrint = printFor(t.value.key);
+        // Values may contain recursive references, use print context
+        valuePrint = printFor(t.value.value, ctx.print);
+        ctx.apply.pop();
+        ctx.types.pop();
+        return ret;
+    }
+    else if (t.type === "Struct") {
+        const fieldApplies = {};
+        let equal;
+        const ret = (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                if (!equal(base, patch.value.before)) {
+                    throw new ConflictError("Cannot apply replace - base struct does not match expected");
+                }
+                return { ...patch.value.after };
+            }
+            else if (patch.type === "patch") {
+                const result = {};
+                for (const { name } of t.value) {
+                    const fieldPatch = patch.value[name];
+                    result[name] = fieldApplies[name](base[name], fieldPatch);
+                }
+                return result;
+            }
+            else {
+                throw new Error(`Invalid patch type for struct: ${patch.type}`);
+            }
+        };
+        // Build struct equality using equalFor with current context
+        // This must be pushed BEFORE recursing so children can reference it via .Recursive
+        equal = equalFor(t, ctx.equal);
+        ctx.apply.push(ret);
+        ctx.types.push(t);
+        for (const { name, type: fieldType } of t.value) {
+            fieldApplies[name] = applyFor(fieldType, ctx);
+        }
+        ctx.apply.pop();
+        ctx.types.pop();
+        return ret;
+    }
+    else if (t.type === "Variant") {
+        const caseApplies = {};
+        let equal;
+        const ret = (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                if (!equal(base, patch.value.before)) {
+                    throw new ConflictError("Cannot apply replace - base variant does not match expected");
+                }
+                return patch.value.after;
+            }
+            else if (patch.type === "patch") {
+                const caseName = patch.value.type;
+                if (base.type !== caseName) {
+                    throw new ConflictError(`Cannot apply patch for case ${caseName} to variant with case ${base.type}`);
+                }
+                const casePatch = patch.value.value;
+                const newValue = caseApplies[caseName](base.value, casePatch);
+                return variant(caseName, newValue);
+            }
+            else {
+                throw new Error(`Invalid patch type for variant: ${patch.type}`);
+            }
+        };
+        // Build variant equality using equalFor with current context
+        // This must be pushed BEFORE recursing so children can reference it via .Recursive
+        equal = equalFor(t, ctx.equal);
+        ctx.apply.push(ret);
+        ctx.types.push(t);
+        for (const { name, type: caseType } of t.value) {
+            caseApplies[name] = applyFor(caseType, ctx);
+        }
+        ctx.apply.pop();
+        ctx.types.pop();
+        return ret;
+    }
+    else if (t.type === "Ref") {
+        let innerApply;
+        let equal;
+        const ret = (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                if (!equal(base, patch.value.before)) {
+                    throw new ConflictError("Cannot apply replace - base ref does not match expected");
+                }
+                return { value: patch.value.after.value };
+            }
+            else if (patch.type === "patch") {
+                const newValue = innerApply(base.value, patch.value);
+                return { value: newValue };
+            }
+            else {
+                throw new Error(`Invalid patch type for ref: ${patch.type}`);
+            }
+        };
+        // Build ref equality using equalFor with current context
+        // This must be pushed BEFORE recursing so children can reference it via .Recursive
+        equal = equalFor(t, ctx.equal);
+        ctx.apply.push(ret);
+        ctx.types.push(t);
+        innerApply = applyFor(t.value, ctx);
+        ctx.apply.pop();
+        ctx.types.pop();
+        return ret;
+    }
+    else if (t.type === "Recursive") {
+        // Recursive types use replace-only semantics - only unchanged and replace patches
+        return (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                return patch.value.after;
+            }
+            else {
+                throw new Error(`Invalid patch type for recursive type: ${patch.type}`);
+            }
+        };
+    }
+    else if (t.type === "Function" || t.type === "AsyncFunction") {
+        return (base, patch) => {
+            if (patch.type === "unchanged") {
+                return base;
+            }
+            else if (patch.type === "replace") {
+                return patch.value.after;
+            }
+            else {
+                throw new Error(`Invalid patch type for function: ${patch.type}`);
+            }
+        };
+    }
+    else {
+        throw new Error(`Unhandled type in applyFor: ${t.type}`);
+    }
+}
+//# sourceMappingURL=apply.js.map

package/dist/src/patch/apply.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../../src/patch/apply.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EAAE,eAAe,EAAsB,MAAM,oBAAoB,CAAC;AAEzE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAgC,MAAM,0BAA0B,CAAC;AAC5F,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAEvD,OAAO,EAAqB,aAAa,EAAE,MAAM,YAAY,CAAC;AAI9D,MAAM,UAAU,QAAQ,CAAC,IAA8B,EAAE,MAAoB,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE;IACvI,6DAA6D;IAC7D,MAAM,CAAC,GAAkB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAgB,CAAC,CAAC;IAEpF,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO,CAAC,KAAU,EAAE,MAAW,EAAE,EAAE;YACjC,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAChE,CAAC,CAAC;IACJ,CAAC;SAAM,IACL,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI,KAAK,OAAO;QAClB,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,QAAQ,EACnB,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,CAAC,IAAS,EAAE,KAAmB,EAAE,EAAE;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,aAAa,CACrB,mCAAmC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,EAAE,CACrF,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,IAAI,YAA4C,CAAC;QACjD,IAAI,YAAyC,CAAC;QAC9C,IAAI,YAAgC,CAAC;QACrC,IAAI,UAAuC,CAAC;QAE5C,MAAM,GAAG,GAAG,CAAC,IAAW,EAAE,KAAmB,EAAE,EAAE;YAC/C,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC1C,MAAM,IAAI,aAAa,CAAC,2DAA2D,CAAC,CAAC;gBACvF,CAAC;gBACD,OAAO,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;gBACzB,MAAM,UAAU,GAAU,KAAK,CAAC,KAAK,CAAC;gBAEtC,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;oBAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;oBAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;oBACjC,MAAM,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC;oBAE5B,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACnC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;4BAC1C,MAAM,IAAI,aAAa,CACrB,0BAA0B,MAAM,sBAAsB,MAAM,CAAC,MAAM,EAAE,CACtE,CAAC;wBACJ,CAAC;wBACD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAE,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;4BACvD,MAAM,IAAI,aAAa,CACrB,0BAA0B,MAAM,eAAe,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CACzH,CAAC;wBACJ,CAAC;wBACD,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;oBAC3B,CAAC;yBAAM,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC1C,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;4BACnC,MAAM,IAAI,aAAa,CACrB,0BAA0B,GAAG,sBAAsB,MAAM,CAAC,MAAM,EAAE,CACnE,CAAC;wBACJ,CAAC;wBACD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;oBAC5C,CAAC;yBAAM,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC1C,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;4BAC1C,MAAM,IAAI,aAAa,CACrB,0BAA0B,MAAM,sBAAsB,MAAM,CAAC,MAAM,EAAE,CACtE,CAAC;wBACJ,CAAC;wBACD,MAAM,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAE,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;oBACrE,CAAC;gBACH,CAAC;gBAED,OAAO,MAAM,CAAC;YAChB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACjE,CAAC;QACH,CAAC,CAAC;QAEF,2DAA2D;QAC3D,mFAAmF;QACnF,UAAU,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAEpC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAElB,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACtC,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAsB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC7D,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAsB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC7D,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAGhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAEvC,OAAO,CAAC,IAAoB,EAAE,KAAmB,EAAE,EAAE;YACnD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxC,MAAM,IAAI,aAAa,CAAC,yDAAyD,CAAC,CAAC;gBACrF,CAAC;gBACD,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACtD,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC/C,MAAM,UAAU,GAAwB,KAAK,CAAC,KAAK,CAAC;gBAEpD,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BACrB,MAAM,IAAI,aAAa,CACrB,qBAAqB,QAAQ,CAAC,GAAG,CAAC,uBAAuB,CAC1D,CAAC;wBACJ,CAAC;wBACD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACrB,CAAC;yBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BACpB,MAAM,IAAI,aAAa,CACrB,qBAAqB,QAAQ,CAAC,GAAG,CAAC,uBAAuB,CAC1D,CAAC;wBACJ,CAAC;wBACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAClB,CAAC;gBACH,CAAC;gBAED,OAAO,MAAM,CAAC;YAChB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,IAAI,UAA0C,CAAC;QAC/C,IAAI,UAAuC,CAAC;QAC5C,IAAI,SAAsC,CAAC;QAC3C,IAAI,QAA4B,CAAC;QACjC,IAAI,UAA8B,CAAC;QACnC,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAE3C,MAAM,GAAG,GAAG,CAAC,IAAyB,EAAE,KAAmB,EAAE,EAAE;YAC7D,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACzC,MAAM,IAAI,aAAa,CAAC,0DAA0D,CAAC,CAAC;gBACtF,CAAC;gBACD,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACtD,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC/C,MAAM,UAAU,GAAwB,KAAK,CAAC,KAAK,CAAC;gBAEpD,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BACrB,MAAM,IAAI,aAAa,CACrB,qBAAqB,QAAQ,CAAC,GAAG,CAAC,uBAAuB,CAC1D,CAAC;wBACJ,CAAC;wBACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC3C,MAAM,IAAI,aAAa,CACrB,qBAAqB,QAAQ,CAAC,GAAG,CAAC,qBAAqB,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CACpH,CAAC;wBACJ,CAAC;wBACD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACrB,CAAC;yBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BACpB,MAAM,IAAI,aAAa,CACrB,qBAAqB,QAAQ,CAAC,GAAG,CAAC,oCAAoC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CACpG,CAAC;wBACJ,CAAC;wBACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;oBAC5B,CAAC;yBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BACrB,MAAM,IAAI,aAAa,CACrB,qBAAqB,QAAQ,CAAC,GAAG,CAAC,uBAAuB,CAC1D,CAAC;wBACJ,CAAC;wBACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;oBACzD,CAAC;gBACH,CAAC;gBAED,OAAO,MAAM,CAAC;YAChB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAChE,CAAC;QACH,CAAC,CAAC;QAEF,0DAA0D;QAC1D,mFAAmF;QACnF,SAAS,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAEnC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAElB,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC1C,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAsB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjE,gDAAgD;QAChD,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAAoB,CAAC,CAAC;QAClD,6DAA6D;QAC7D,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAsB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjE,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAGhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAmD,EAAE,CAAC;QACxE,IAAI,KAAkC,CAAC;QAEvC,MAAM,GAAG,GAAG,CAAC,IAAyB,EAAE,KAAmB,EAAE,EAAE;YAC7D,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,aAAa,CAAC,4DAA4D,CAAC,CAAC;gBACxF,CAAC;gBACD,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YAClC,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAwB,EAAE,CAAC;gBAEvC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACrC,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;gBAC7D,CAAC;gBAED,OAAO,MAAM,CAAC;YAChB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,kCAAkC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC,CAAC;QAEF,4DAA4D;QAC5D,mFAAmF;QACnF,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAE/B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAElB,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAChD,YAAY,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAChD,CAAC;QACD,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAGhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,WAAW,GAAmD,EAAE,CAAC;QACvE,IAAI,KAAkC,CAAC;QAEvC,MAAM,GAAG,GAAG,CAAC,IAAkB,EAAE,KAAmB,EAAE,EAAE;YACtD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,aAAa,CAAC,6DAA6D,CAAC,CAAC;gBACzF,CAAC;gBACD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAC3B,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;gBAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,MAAM,IAAI,aAAa,CACrB,+BAA+B,QAAQ,yBAAyB,IAAI,CAAC,IAAI,EAAE,CAC5E,CAAC;gBACJ,CAAC;gBACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;gBACpC,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBAC/D,OAAO,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACrC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,mCAAmC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACnE,CAAC;QACH,CAAC,CAAC;QAEF,6DAA6D;QAC7D,mFAAmF;QACnF,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAE/B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAElB,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC/C,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;QACD,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAGhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,IAAI,UAA0C,CAAC;QAC/C,IAAI,KAAkC,CAAC;QAEvC,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,KAAmB,EAAE,EAAE;YAClD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,aAAa,CAAC,yDAAyD,CAAC,CAAC;gBACrF,CAAC;gBACD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YAC5C,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBACrD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC,CAAC;QAEF,yDAAyD;QACzD,mFAAmF;QACnF,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAE/B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAElB,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAGhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,kFAAkF;QAClF,OAAO,CAAC,IAAS,EAAE,KAAmB,EAAE,EAAE;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/D,OAAO,CAAC,IAAS,EAAE,KAAmB,EAAE,EAAE;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,oCAAoC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACpE,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,+BAAgC,CAAmB,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC"}

package/dist/src/patch/compose.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * composeFor - Combine two sequential patches.
+ *
+ * @module
+ */
+import { type EastTypeValue } from "../type_of_type.js";
+import type { EastType } from "../types.js";
+import { type ComposeContext } from "./types.js";
+export declare function composeFor(type: EastTypeValue, ctx?: ComposeContext): (first: any, second: any) => any;
+export declare function composeFor<T extends EastType>(type: T): (first: any, second: any) => any;
+//# sourceMappingURL=compose.d.ts.map

package/dist/src/patch/compose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../../src/patch/compose.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAK5C,OAAO,EAAE,KAAK,cAAc,EAAiB,MAAM,YAAY,CAAC;AAIhE,wBAAgB,UAAU,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC;AACxG,wBAAgB,UAAU,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC"}