effect 2.0.0-next.9 → 2.0.0

package/dist/esm/internal/differ/chunkPatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chunkPatch.js","names":["Chunk","Equal","Dual","pipe","Data","ChunkPatchTypeId","Symbol","for","variance","a","PatchProto","Structural","prototype","_Value","_Patch","EmptyProto","Object","assign","create","_tag","_empty","empty","AndThenProto","makeAndThen","first","second","o","AppendProto","makeAppend","values","SliceProto","makeSlice","from","until","UpdateProto","makeUpdate","index","patch","diff","options","i","oldValue","length","newValue","oldElement","unsafeGet","newElement","valuePatch","differ","equals","combine","drop","dual","self","that","chunk","patches","of","isNonEmpty","head","headNonEmpty","tail","tailNonEmpty","prepend","appendAll","array","toReadonlyArray","unsafeFromArray","slice"],"sources":["../../../../src/internal/differ/chunkPatch.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,gBAAgB;AAEvC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,IAAI,MAAM,mBAAmB;AACzC,SAASC,IAAI,QAAQ,mBAAmB;AACxC,OAAO,KAAKC,IAAI,MAAM,YAAY;AAElC;AACA,OAAO,MAAMC,gBAAgB,gBAA+BC,MAAM,CAACC,GAAG,CACpE,yBAAyB,CACI;AAE/B,SAASC,QAAQA,CAAOC,CAAI;EAC1B,OAAOA,CAAiB;AAC1B;AAEA,MAAMC,UAAU,GAAG;EACjB,GAAGN,IAAI,CAACO,UAAU,CAACC,SAAS;EAC5B,CAACP,gBAAgB,GAAG;IAClBQ,MAAM,EAAEL,QAAQ;IAChBM,MAAM,EAAEN;;CAEX;AAMD,MAAMO,UAAU,gBAAGC,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC1DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMC,MAAM,gBAAGJ,MAAM,CAACE,MAAM,CAACH,UAAU,CAAC;AAExC;;;AAGA,OAAO,MAAMM,KAAK,GAAGA,CAAA,KAA6DD,MAAM;AAQxF,MAAME,YAAY,gBAAGN,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC5DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMI,WAAW,GAAGA,CAClBC,KAA8C,EAC9CC,MAA+C,KACJ;EAC3C,MAAMC,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACI,YAAY,CAAC;EACrCI,CAAC,CAACF,KAAK,GAAGA,KAAK;EACfE,CAAC,CAACD,MAAM,GAAGA,MAAM;EACjB,OAAOC,CAAC;AACV,CAAC;AAOD,MAAMC,WAAW,gBAAGX,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC3DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMS,UAAU,GAAkBC,MAA0B,IAA6C;EACvG,MAAMH,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACS,WAAW,CAAC;EACpCD,CAAC,CAACG,MAAM,GAAGA,MAAM;EACjB,OAAOH,CAAC;AACV,CAAC;AAQD,MAAMI,UAAU,gBAAGd,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC1DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMY,SAAS,GAAGA,CAAeC,IAAY,EAAEC,KAAa,KAA6C;EACvG,MAAMP,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACY,UAAU,CAAC;EACnCJ,CAAC,CAACM,IAAI,GAAGA,IAAI;EACbN,CAAC,CAACO,KAAK,GAAGA,KAAK;EACf,OAAOP,CAAC;AACV,CAAC;AAQD,MAAMQ,WAAW,gBAAGlB,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC3DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMgB,UAAU,GAAGA,CAAeC,KAAa,EAAEC,KAAY,KAA6C;EACxG,MAAMX,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACgB,WAAW,CAAC;EACpCR,CAAC,CAACU,KAAK,GAAGA,KAAK;EACfV,CAAC,CAACW,KAAK,GAAGA,KAAK;EACf,OAAOX,CAAC;AACV,CAAC;AASD;AACA,OAAO,MAAMY,IAAI,GACfC,OAIC,IAC0C;EAC3C,IAAIC,CAAC,GAAG,CAAC;EACT,IAAIH,KAAK,GAAGhB,KAAK,EAAgB;EACjC,OAAOmB,CAAC,GAAGD,OAAO,CAACE,QAAQ,CAACC,MAAM,IAAIF,CAAC,GAAGD,OAAO,CAACI,QAAQ,CAACD,MAAM,EAAE;IACjE,MAAME,UAAU,GAAG5C,KAAK,CAAC6C,SAAS,CAACL,CAAC,CAAC,CAACD,OAAO,CAACE,QAAQ,CAAC;IACvD,MAAMK,UAAU,GAAG9C,KAAK,CAAC6C,SAAS,CAACL,CAAC,CAAC,CAACD,OAAO,CAACI,QAAQ,CAAC;IACvD,MAAMI,UAAU,GAAGR,OAAO,CAACS,MAAM,CAACV,IAAI,CAACM,UAAU,EAAEE,UAAU,CAAC;IAC9D,IAAI,CAAC7C,KAAK,CAACgD,MAAM,CAACF,UAAU,EAAER,OAAO,CAACS,MAAM,CAAC3B,KAAK,CAAC,EAAE;MACnDgB,KAAK,GAAGlC,IAAI,CAACkC,KAAK,EAAEa,OAAO,CAACf,UAAU,CAACK,CAAC,EAAEO,UAAU,CAAC,CAAC,CAAC;IACzD;IACAP,CAAC,GAAGA,CAAC,GAAG,CAAC;EACX;EACA,IAAIA,CAAC,GAAGD,OAAO,CAACE,QAAQ,CAACC,MAAM,EAAE;IAC/BL,KAAK,GAAGlC,IAAI,CAACkC,KAAK,EAAEa,OAAO,CAACnB,SAAS,CAAC,CAAC,EAAES,CAAC,CAAC,CAAC,CAAC;EAC/C;EACA,IAAIA,CAAC,GAAGD,OAAO,CAACI,QAAQ,CAACD,MAAM,EAAE;IAC/BL,KAAK,GAAGlC,IAAI,CAACkC,KAAK,EAAEa,OAAO,CAACtB,UAAU,CAAC5B,KAAK,CAACmD,IAAI,CAACX,CAAC,CAAC,CAACD,OAAO,CAACI,QAAQ,CAAC,CAAC,CAAC,CAAC;EAC3E;EACA,OAAON,KAAK;AACd,CAAC;AAED;AACA,OAAO,MAAMa,OAAO,gBAAGhD,IAAI,CAACkD,IAAI,CAU9B,CAAC,EAAE,CAACC,IAAI,EAAEC,IAAI,KAAK/B,WAAW,CAAC8B,IAAI,EAAEC,IAAI,CAAC,CAAC;AAE7C;AACA,OAAO,MAAMjB,KAAK,gBAAGnC,IAAI,CAACkD,IAAI,CAU5B,CAAC,EAAE,CACHC,IAA6C,EAC7CZ,QAA4B,EAC5BO,MAAmC,KACjC;EACF,IAAKK,IAAoB,CAAClC,IAAI,KAAK,OAAO,EAAE;IAC1C,OAAOsB,QAAQ;EACjB;EACA,IAAIc,KAAK,GAAGd,QAAQ;EACpB,IAAIe,OAAO,GAAyDxD,KAAK,CAACyD,EAAE,CAACJ,IAAI,CAAC;EAClF,OAAOrD,KAAK,CAAC0D,UAAU,CAACF,OAAO,CAAC,EAAE;IAChC,MAAMG,IAAI,GAAgB3D,KAAK,CAAC4D,YAAY,CAACJ,OAAO,CAAgB;IACpE,MAAMK,IAAI,GAAG7D,KAAK,CAAC8D,YAAY,CAACN,OAAO,CAAC;IACxC,QAAQG,IAAI,CAACxC,IAAI;MACf,KAAK,OAAO;QAAE;UACZqC,OAAO,GAAGK,IAAI;UACd;QACF;MACA,KAAK,SAAS;QAAE;UACdL,OAAO,GAAGxD,KAAK,CAAC+D,OAAO,CAACJ,IAAI,CAACnC,KAAK,CAAC,CAACxB,KAAK,CAAC+D,OAAO,CAACJ,IAAI,CAAClC,MAAM,CAAC,CAACoC,IAAI,CAAC,CAAC;UACrE;QACF;MACA,KAAK,QAAQ;QAAE;UACbN,KAAK,GAAGvD,KAAK,CAACgE,SAAS,CAACL,IAAI,CAAC9B,MAAM,CAAC,CAAC0B,KAAK,CAAC;UAC3CC,OAAO,GAAGK,IAAI;UACd;QACF;MACA,KAAK,OAAO;QAAE;UACZ,MAAMI,KAAK,GAAGjE,KAAK,CAACkE,eAAe,CAACX,KAAK,CAAC;UAC1CA,KAAK,GAAGvD,KAAK,CAACmE,eAAe,CAACF,KAAK,CAACG,KAAK,CAACT,IAAI,CAAC3B,IAAI,EAAE2B,IAAI,CAAC1B,KAAK,CAAC,CAAC;UACjEuB,OAAO,GAAGK,IAAI;UACd;QACF;MACA,KAAK,QAAQ;QAAE;UACb,MAAMI,KAAK,GAAGjE,KAAK,CAACkE,eAAe,CAACX,KAAK,CAAiB;UAC1DU,KAAK,CAACN,IAAI,CAACvB,KAAK,CAAC,GAAGY,MAAM,CAACX,KAAK,CAACsB,IAAI,CAACtB,KAAK,EAAE4B,KAAK,CAACN,IAAI,CAACvB,KAAK,CAAE,CAAC;UAChEmB,KAAK,GAAGvD,KAAK,CAACmE,eAAe,CAACF,KAAK,CAAC;UACpCT,OAAO,GAAGK,IAAI;UACd;QACF;IACF;EACF;EACA,OAAON,KAAK;AACd,CAAC,CAAC"}

package/dist/esm/internal/differ/contextPatch.js

@@ -0,0 +1,143 @@
+import * as Chunk from "../../Chunk.js";
+import * as Equal from "../../Equal.js";
+import * as Dual from "../../Function.js";
+import { makeContext } from "../context.js";
+import { Structural } from "../data.js";
+/** @internal */
+export const ContextPatchTypeId = /*#__PURE__*/Symbol.for("effect/DifferContextPatch");
+function variance(a) {
+  return a;
+}
+/** @internal */
+const PatchProto = {
+  ...Structural.prototype,
+  [ContextPatchTypeId]: {
+    _Value: variance,
+    _Patch: variance
+  }
+};
+const EmptyProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Empty"
+});
+const _empty = /*#__PURE__*/Object.create(EmptyProto);
+/**
+ * @internal
+ */
+export const empty = () => _empty;
+const AndThenProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "AndThen"
+});
+const makeAndThen = (first, second) => {
+  const o = Object.create(AndThenProto);
+  o.first = first;
+  o.second = second;
+  return o;
+};
+const AddServiceProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "AddService"
+});
+const makeAddService = (tag, service) => {
+  const o = Object.create(AddServiceProto);
+  o.tag = tag;
+  o.service = service;
+  return o;
+};
+const RemoveServiceProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "RemoveService"
+});
+const makeRemoveService = tag => {
+  const o = Object.create(RemoveServiceProto);
+  o.tag = tag;
+  return o;
+};
+const UpdateServiceProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "UpdateService"
+});
+const makeUpdateService = (tag, update) => {
+  const o = Object.create(UpdateServiceProto);
+  o.tag = tag;
+  o.update = update;
+  return o;
+};
+/** @internal */
+export const diff = (oldValue, newValue) => {
+  const missingServices = new Map(oldValue.unsafeMap);
+  let patch = empty();
+  for (const [tag, newService] of newValue.unsafeMap.entries()) {
+    if (missingServices.has(tag)) {
+      const old = missingServices.get(tag);
+      missingServices.delete(tag);
+      if (!Equal.equals(old, newService)) {
+        patch = combine(makeUpdateService(tag, () => newService))(patch);
+      }
+    } else {
+      missingServices.delete(tag);
+      patch = combine(makeAddService(tag, newService))(patch);
+    }
+  }
+  for (const [tag] of missingServices.entries()) {
+    patch = combine(makeRemoveService(tag))(patch);
+  }
+  return patch;
+};
+/** @internal */
+export const combine = /*#__PURE__*/Dual.dual(2, (self, that) => makeAndThen(self, that));
+/** @internal */
+export const patch = /*#__PURE__*/Dual.dual(2, (self, context) => {
+  if (self._tag === "Empty") {
+    return context;
+  }
+  let wasServiceUpdated = false;
+  let patches = Chunk.of(self);
+  const updatedContext = new Map(context.unsafeMap);
+  while (Chunk.isNonEmpty(patches)) {
+    const head = Chunk.headNonEmpty(patches);
+    const tail = Chunk.tailNonEmpty(patches);
+    switch (head._tag) {
+      case "Empty":
+        {
+          patches = tail;
+          break;
+        }
+      case "AddService":
+        {
+          updatedContext.set(head.tag, head.service);
+          patches = tail;
+          break;
+        }
+      case "AndThen":
+        {
+          patches = Chunk.prepend(Chunk.prepend(tail, head.second), head.first);
+          break;
+        }
+      case "RemoveService":
+        {
+          updatedContext.delete(head.tag);
+          patches = tail;
+          break;
+        }
+      case "UpdateService":
+        {
+          updatedContext.set(head.tag, head.update(updatedContext.get(head.tag)));
+          wasServiceUpdated = true;
+          patches = tail;
+          break;
+        }
+    }
+  }
+  if (!wasServiceUpdated) {
+    return makeContext(updatedContext);
+  }
+  const map = new Map();
+  for (const [tag] of context.unsafeMap) {
+    if (updatedContext.has(tag)) {
+      map.set(tag, updatedContext.get(tag));
+      updatedContext.delete(tag);
+    }
+  }
+  for (const [tag, s] of updatedContext) {
+    map.set(tag, s);
+  }
+  return makeContext(map);
+});
+//# sourceMappingURL=contextPatch.js.map

package/dist/esm/internal/differ/contextPatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contextPatch.js","names":["Chunk","Equal","Dual","makeContext","Structural","ContextPatchTypeId","Symbol","for","variance","a","PatchProto","prototype","_Value","_Patch","EmptyProto","Object","assign","create","_tag","_empty","empty","AndThenProto","makeAndThen","first","second","o","AddServiceProto","makeAddService","tag","service","RemoveServiceProto","makeRemoveService","UpdateServiceProto","makeUpdateService","update","diff","oldValue","newValue","missingServices","Map","unsafeMap","patch","newService","entries","has","old","get","delete","equals","combine","dual","self","that","context","wasServiceUpdated","patches","of","updatedContext","isNonEmpty","head","headNonEmpty","tail","tailNonEmpty","set","prepend","map","s"],"sources":["../../../../src/internal/differ/contextPatch.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,gBAAgB;AAGvC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,IAAI,MAAM,mBAAmB;AACzC,SAASC,WAAW,QAAQ,eAAe;AAC3C,SAASC,UAAU,QAAQ,YAAY;AAEvC;AACA,OAAO,MAAMC,kBAAkB,gBAA0BC,MAAM,CAACC,GAAG,CACjE,2BAA2B,CACH;AAE1B,SAASC,QAAQA,CAAOC,CAAI;EAC1B,OAAOA,CAAiB;AAC1B;AAEA;AACA,MAAMC,UAAU,GAAG;EACjB,GAAGN,UAAU,CAACO,SAAS;EACvB,CAACN,kBAAkB,GAAG;IACpBO,MAAM,EAAEJ,QAAQ;IAChBK,MAAM,EAAEL;;CAEX;AAMD,MAAMM,UAAU,gBAAGC,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACP,UAAU,CAAC,EAAE;EAC1DQ,IAAI,EAAE;CACP,CAAC;AAEF,MAAMC,MAAM,gBAAGJ,MAAM,CAACE,MAAM,CAACH,UAAU,CAAC;AAExC;;;AAGA,OAAO,MAAMM,KAAK,GAAGA,CAAA,KAA0DD,MAAM;AASrF,MAAME,YAAY,gBAAGN,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACP,UAAU,CAAC,EAAE;EAC5DQ,IAAI,EAAE;CACP,CAAC;AAEF,MAAMI,WAAW,GAAGA,CAClBC,KAA0C,EAC1CC,MAA6C,KACL;EACxC,MAAMC,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACI,YAAY,CAAC;EACrCI,CAAC,CAACF,KAAK,GAAGA,KAAK;EACfE,CAAC,CAACD,MAAM,GAAGA,MAAM;EACjB,OAAOC,CAAC;AACV,CAAC;AASD,MAAMC,eAAe,gBAAGX,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACP,UAAU,CAAC,EAAE;EAC/DQ,IAAI,EAAE;CACP,CAAC;AAEF,MAAMS,cAAc,GAAGA,CACrBC,GAAc,EACdC,OAAU,KAC4B;EACtC,MAAMJ,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACS,eAAe,CAAC;EACxCD,CAAC,CAACG,GAAG,GAAGA,GAAG;EACXH,CAAC,CAACI,OAAO,GAAGA,OAAO;EACnB,OAAOJ,CAAC;AACV,CAAC;AAQD,MAAMK,kBAAkB,gBAAGf,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACP,UAAU,CAAC,EAAE;EAClEQ,IAAI,EAAE;CACP,CAAC;AAEF,MAAMa,iBAAiB,GACrBH,GAAc,IACgC;EAC9C,MAAMH,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACa,kBAAkB,CAAC;EAC3CL,CAAC,CAACG,GAAG,GAAGA,GAAG;EACX,OAAOH,CAAC;AACV,CAAC;AASD,MAAMO,kBAAkB,gBAAGjB,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACP,UAAU,CAAC,EAAE;EAClEQ,IAAI,EAAE;CACP,CAAC;AAEF,MAAMe,iBAAiB,GAAGA,CACxBL,GAAc,EACdM,MAAyB,KACiB;EAC1C,MAAMT,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACe,kBAAkB,CAAC;EAC3CP,CAAC,CAACG,GAAG,GAAGA,GAAG;EACXH,CAAC,CAACS,MAAM,GAAGA,MAAM;EACjB,OAAOT,CAAC;AACV,CAAC;AASD;AACA,OAAO,MAAMU,IAAI,GAAGA,CAClBC,QAAwB,EACxBC,QAAyB,KACc;EACvC,MAAMC,eAAe,GAAG,IAAIC,GAAG,CAACH,QAAQ,CAACI,SAAS,CAAC;EACnD,IAAIC,KAAK,GAAGrB,KAAK,EAAY;EAC7B,KAAK,MAAM,CAACQ,GAAG,EAAEc,UAAU,CAAC,IAAIL,QAAQ,CAACG,SAAS,CAACG,OAAO,EAAE,EAAE;IAC5D,IAAIL,eAAe,CAACM,GAAG,CAAChB,GAAG,CAAC,EAAE;MAC5B,MAAMiB,GAAG,GAAGP,eAAe,CAACQ,GAAG,CAAClB,GAAG,CAAE;MACrCU,eAAe,CAACS,MAAM,CAACnB,GAAG,CAAC;MAC3B,IAAI,CAAC3B,KAAK,CAAC+C,MAAM,CAACH,GAAG,EAAEH,UAAU,CAAC,EAAE;QAClCD,KAAK,GAAGQ,OAAO,CAAChB,iBAAiB,CAACL,GAAG,EAAE,MAAMc,UAAU,CAAC,CAAC,CAACD,KAAK,CAAC;MAClE;IACF,CAAC,MAAM;MACLH,eAAe,CAACS,MAAM,CAACnB,GAAG,CAAC;MAC3Ba,KAAK,GAAGQ,OAAO,CAACtB,cAAc,CAACC,GAAG,EAAEc,UAAU,CAAC,CAAC,CAACD,KAAK,CAAC;IACzD;EACF;EACA,KAAK,MAAM,CAACb,GAAG,CAAC,IAAIU,eAAe,CAACK,OAAO,EAAE,EAAE;IAC7CF,KAAK,GAAGQ,OAAO,CAAClB,iBAAiB,CAACH,GAAG,CAAC,CAAC,CAACa,KAAK,CAAC;EAChD;EACA,OAAOA,KAAK;AACd,CAAC;AAED;AACA,OAAO,MAAMQ,OAAO,gBAAG/C,IAAI,CAACgD,IAAI,CAU9B,CAAC,EAAE,CAACC,IAAI,EAAEC,IAAI,KAAK9B,WAAW,CAAC6B,IAAI,EAAEC,IAAI,CAAC,CAAC;AAE7C;AACA,OAAO,MAAMX,KAAK,gBAAGvC,IAAI,CAACgD,IAAI,CAU5B,CAAC,EAAE,CAAgBC,IAAyC,EAAEE,OAAuB,KAAI;EACzF,IAAKF,IAAoB,CAACjC,IAAI,KAAK,OAAO,EAAE;IAC1C,OAAOmC,OAAc;EACvB;EACA,IAAIC,iBAAiB,GAAG,KAAK;EAC7B,IAAIC,OAAO,GAAwDvD,KAAK,CAACwD,EAAE,CACzEL,IAA8C,CAC/C;EACD,MAAMM,cAAc,GAAgC,IAAIlB,GAAG,CAACc,OAAO,CAACb,SAAS,CAAC;EAC9E,OAAOxC,KAAK,CAAC0D,UAAU,CAACH,OAAO,CAAC,EAAE;IAChC,MAAMI,IAAI,GAAgB3D,KAAK,CAAC4D,YAAY,CAACL,OAAO,CAAgB;IACpE,MAAMM,IAAI,GAAG7D,KAAK,CAAC8D,YAAY,CAACP,OAAO,CAAC;IACxC,QAAQI,IAAI,CAACzC,IAAI;MACf,KAAK,OAAO;QAAE;UACZqC,OAAO,GAAGM,IAAI;UACd;QACF;MACA,KAAK,YAAY;QAAE;UACjBJ,cAAc,CAACM,GAAG,CAACJ,IAAI,CAAC/B,GAAG,EAAE+B,IAAI,CAAC9B,OAAO,CAAC;UAC1C0B,OAAO,GAAGM,IAAI;UACd;QACF;MACA,KAAK,SAAS;QAAE;UACdN,OAAO,GAAGvD,KAAK,CAACgE,OAAO,CAAChE,KAAK,CAACgE,OAAO,CAACH,IAAI,EAAEF,IAAI,CAACnC,MAAM,CAAC,EAAEmC,IAAI,CAACpC,KAAK,CAAC;UACrE;QACF;MACA,KAAK,eAAe;QAAE;UACpBkC,cAAc,CAACV,MAAM,CAACY,IAAI,CAAC/B,GAAG,CAAC;UAC/B2B,OAAO,GAAGM,IAAI;UACd;QACF;MACA,KAAK,eAAe;QAAE;UACpBJ,cAAc,CAACM,GAAG,CAACJ,IAAI,CAAC/B,GAAG,EAAE+B,IAAI,CAACzB,MAAM,CAACuB,cAAc,CAACX,GAAG,CAACa,IAAI,CAAC/B,GAAG,CAAC,CAAC,CAAC;UACvE0B,iBAAiB,GAAG,IAAI;UACxBC,OAAO,GAAGM,IAAI;UACd;QACF;IACF;EACF;EACA,IAAI,CAACP,iBAAiB,EAAE;IACtB,OAAOnD,WAAW,CAACsD,cAAc,CAAoB;EACvD;EACA,MAAMQ,GAAG,GAAG,IAAI1B,GAAG,EAAE;EACrB,KAAK,MAAM,CAACX,GAAG,CAAC,IAAIyB,OAAO,CAACb,SAAS,EAAE;IACrC,IAAIiB,cAAc,CAACb,GAAG,CAAChB,GAAG,CAAC,EAAE;MAC3BqC,GAAG,CAACF,GAAG,CAACnC,GAAG,EAAE6B,cAAc,CAACX,GAAG,CAAClB,GAAG,CAAC,CAAC;MACrC6B,cAAc,CAACV,MAAM,CAACnB,GAAG,CAAC;IAC5B;EACF;EACA,KAAK,MAAM,CAACA,GAAG,EAAEsC,CAAC,CAAC,IAAIT,cAAc,EAAE;IACrCQ,GAAG,CAACF,GAAG,CAACnC,GAAG,EAAEsC,CAAC,CAAC;EACjB;EACA,OAAO/D,WAAW,CAAC8D,GAAG,CAAoB;AAC5C,CAAC,CAAC"}

package/dist/esm/internal/differ/hashMapPatch.js

@@ -0,0 +1,130 @@
+import * as Chunk from "../../Chunk.js";
+import * as Equal from "../../Equal.js";
+import * as Dual from "../../Function.js";
+import * as HashMap from "../../HashMap.js";
+import { Structural } from "../data.js";
+/** @internal */
+export const HashMapPatchTypeId = /*#__PURE__*/Symbol.for("effect/DifferHashMapPatch");
+function variance(a) {
+  return a;
+}
+/** @internal */
+const PatchProto = {
+  ...Structural.prototype,
+  [HashMapPatchTypeId]: {
+    _Value: variance,
+    _Key: variance,
+    _Patch: variance
+  }
+};
+const EmptyProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Empty"
+});
+const _empty = /*#__PURE__*/Object.create(EmptyProto);
+/** @internal */
+export const empty = () => _empty;
+const AndThenProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "AndThen"
+});
+const makeAndThen = (first, second) => {
+  const o = Object.create(AndThenProto);
+  o.first = first;
+  o.second = second;
+  return o;
+};
+const AddProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Add"
+});
+const makeAdd = (key, value) => {
+  const o = Object.create(AddProto);
+  o.key = key;
+  o.value = value;
+  return o;
+};
+const RemoveProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Remove"
+});
+const makeRemove = key => {
+  const o = Object.create(RemoveProto);
+  o.key = key;
+  return o;
+};
+const UpdateProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Update"
+});
+const makeUpdate = (key, patch) => {
+  const o = Object.create(UpdateProto);
+  o.key = key;
+  o.patch = patch;
+  return o;
+};
+/** @internal */
+export const diff = options => {
+  const [removed, patch] = HashMap.reduce([options.oldValue, empty()], ([map, patch], newValue, key) => {
+    const option = HashMap.get(key)(map);
+    switch (option._tag) {
+      case "Some":
+        {
+          const valuePatch = options.differ.diff(option.value, newValue);
+          if (Equal.equals(valuePatch, options.differ.empty)) {
+            return [HashMap.remove(key)(map), patch];
+          }
+          return [HashMap.remove(key)(map), combine(makeUpdate(key, valuePatch))(patch)];
+        }
+      case "None":
+        {
+          return [map, combine(makeAdd(key, newValue))(patch)];
+        }
+    }
+  })(options.newValue);
+  return HashMap.reduce(patch, (patch, _, key) => combine(makeRemove(key))(patch))(removed);
+};
+/** @internal */
+export const combine = /*#__PURE__*/Dual.dual(2, (self, that) => makeAndThen(self, that));
+/** @internal */
+export const patch = /*#__PURE__*/Dual.dual(3, (self, oldValue, differ) => {
+  if (self._tag === "Empty") {
+    return oldValue;
+  }
+  let map = oldValue;
+  let patches = Chunk.of(self);
+  while (Chunk.isNonEmpty(patches)) {
+    const head = Chunk.headNonEmpty(patches);
+    const tail = Chunk.tailNonEmpty(patches);
+    switch (head._tag) {
+      case "Empty":
+        {
+          patches = tail;
+          break;
+        }
+      case "AndThen":
+        {
+          patches = Chunk.prepend(head.first)(Chunk.prepend(head.second)(tail));
+          break;
+        }
+      case "Add":
+        {
+          map = HashMap.set(head.key, head.value)(map);
+          patches = tail;
+          break;
+        }
+      case "Remove":
+        {
+          map = HashMap.remove(head.key)(map);
+          patches = tail;
+          break;
+        }
+      case "Update":
+        {
+          const option = HashMap.get(head.key)(map);
+          if (option._tag === "Some") {
+            map = HashMap.set(head.key, differ.patch(head.patch, option.value))(map);
+          }
+          patches = tail;
+          break;
+        }
+    }
+  }
+  return map;
+});
+//# sourceMappingURL=hashMapPatch.js.map

package/dist/esm/internal/differ/hashMapPatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashMapPatch.js","names":["Chunk","Equal","Dual","HashMap","Structural","HashMapPatchTypeId","Symbol","for","variance","a","PatchProto","prototype","_Value","_Key","_Patch","EmptyProto","Object","assign","create","_tag","_empty","empty","AndThenProto","makeAndThen","first","second","o","AddProto","makeAdd","key","value","RemoveProto","makeRemove","UpdateProto","makeUpdate","patch","diff","options","removed","reduce","oldValue","map","newValue","option","get","valuePatch","differ","equals","remove","combine","_","dual","self","that","patches","of","isNonEmpty","head","headNonEmpty","tail","tailNonEmpty","prepend","set"],"sources":["../../../../src/internal/differ/hashMapPatch.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,gBAAgB;AAEvC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,IAAI,MAAM,mBAAmB;AACzC,OAAO,KAAKC,OAAO,MAAM,kBAAkB;AAC3C,SAASC,UAAU,QAAQ,YAAY;AAEvC;AACA,OAAO,MAAMC,kBAAkB,gBAAiCC,MAAM,CAACC,GAAG,CACxE,2BAA2B,CACI;AAEjC,SAASC,QAAQA,CAAOC,CAAI;EAC1B,OAAOA,CAAiB;AAC1B;AAEA;AACA,MAAMC,UAAU,GAAG;EACjB,GAAGN,UAAU,CAACO,SAAS;EACvB,CAACN,kBAAkB,GAAG;IACpBO,MAAM,EAAEJ,QAAQ;IAChBK,IAAI,EAAEL,QAAQ;IACdM,MAAM,EAAEN;;CAEX;AAMD,MAAMO,UAAU,gBAAGC,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC1DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMC,MAAM,gBAAGJ,MAAM,CAACE,MAAM,CAACH,UAAU,CAAC;AAExC;AACA,OAAO,MAAMM,KAAK,GAAGA,CAAA,KAAyED,MAAM;AAQpG,MAAME,YAAY,gBAAGN,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC5DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMI,WAAW,GAAGA,CAClBC,KAAqD,EACrDC,MAAsD,KACJ;EAClD,MAAMC,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACI,YAAY,CAAC;EACrCI,CAAC,CAACF,KAAK,GAAGA,KAAK;EACfE,CAAC,CAACD,MAAM,GAAGA,MAAM;EACjB,OAAOC,CAAC;AACV,CAAC;AAQD,MAAMC,QAAQ,gBAAGX,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EACxDS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMS,OAAO,GAAGA,CAAoBC,GAAQ,EAAEC,KAAY,KAAoD;EAC5G,MAAMJ,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACS,QAAQ,CAAC;EACjCD,CAAC,CAACG,GAAG,GAAGA,GAAG;EACXH,CAAC,CAACI,KAAK,GAAGA,KAAK;EACf,OAAOJ,CAAC;AACV,CAAC;AAOD,MAAMK,WAAW,gBAAGf,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC3DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMa,UAAU,GAAuBH,GAAQ,IAAoD;EACjG,MAAMH,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACa,WAAW,CAAC;EACpCL,CAAC,CAACG,GAAG,GAAGA,GAAG;EACX,OAAOH,CAAC;AACV,CAAC;AAQD,MAAMO,WAAW,gBAAGjB,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC3DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMe,UAAU,GAAGA,CAAoBL,GAAQ,EAAEM,KAAY,KAAoD;EAC/G,MAAMT,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACe,WAAW,CAAC;EACpCP,CAAC,CAACG,GAAG,GAAGA,GAAG;EACXH,CAAC,CAACS,KAAK,GAAGA,KAAK;EACf,OAAOT,CAAC;AACV,CAAC;AASD;AACA,OAAO,MAAMU,IAAI,GACfC,OAIC,IACiD;EAClD,MAAM,CAACC,OAAO,EAAEH,KAAK,CAAC,GAAGhC,OAAO,CAACoC,MAAM,CACrC,CAACF,OAAO,CAACG,QAAQ,EAAEnB,KAAK,EAAqB,CAAU,EACvD,CAAC,CAACoB,GAAG,EAAEN,KAAK,CAAC,EAAEO,QAAe,EAAEb,GAAQ,KAAI;IAC1C,MAAMc,MAAM,GAAGxC,OAAO,CAACyC,GAAG,CAACf,GAAG,CAAC,CAACY,GAAG,CAAC;IACpC,QAAQE,MAAM,CAACxB,IAAI;MACjB,KAAK,MAAM;QAAE;UACX,MAAM0B,UAAU,GAAGR,OAAO,CAACS,MAAM,CAACV,IAAI,CAACO,MAAM,CAACb,KAAK,EAAEY,QAAQ,CAAC;UAC9D,IAAIzC,KAAK,CAAC8C,MAAM,CAACF,UAAU,EAAER,OAAO,CAACS,MAAM,CAACzB,KAAK,CAAC,EAAE;YAClD,OAAO,CAAClB,OAAO,CAAC6C,MAAM,CAACnB,GAAG,CAAC,CAACY,GAAG,CAAC,EAAEN,KAAK,CAAU;UACnD;UACA,OAAO,CACLhC,OAAO,CAAC6C,MAAM,CAACnB,GAAG,CAAC,CAACY,GAAG,CAAC,EACxBQ,OAAO,CAAoBf,UAAU,CAACL,GAAG,EAAEgB,UAAU,CAAC,CAAC,CAACV,KAAK,CAAC,CACtD;QACZ;MACA,KAAK,MAAM;QAAE;UACX,OAAO,CAACM,GAAG,EAAEQ,OAAO,CAAoBrB,OAAO,CAACC,GAAG,EAAEa,QAAQ,CAAC,CAAC,CAACP,KAAK,CAAC,CAAU;QAClF;IACF;EACF,CAAC,CACF,CAACE,OAAO,CAACK,QAAQ,CAAC;EACnB,OAAOvC,OAAO,CAACoC,MAAM,CACnBJ,KAAK,EACL,CAACA,KAAK,EAAEe,CAAC,EAAErB,GAAQ,KAAKoB,OAAO,CAAoBjB,UAAU,CAACH,GAAG,CAAC,CAAC,CAACM,KAAK,CAAC,CAC3E,CAACG,OAAO,CAAC;AACZ,CAAC;AAED;AACA,OAAO,MAAMW,OAAO,gBAAG/C,IAAI,CAACiD,IAAI,CAU9B,CAAC,EAAE,CAACC,IAAI,EAAEC,IAAI,KAAK9B,WAAW,CAAC6B,IAAI,EAAEC,IAAI,CAAC,CAAC;AAE7C;AACA,OAAO,MAAMlB,KAAK,gBAAGjC,IAAI,CAACiD,IAAI,CAY5B,CAAC,EAAE,CACHC,IAAoD,EACpDZ,QAAqC,EACrCM,MAAmC,KACjC;EACF,IAAKM,IAAoB,CAACjC,IAAI,KAAK,OAAO,EAAE;IAC1C,OAAOqB,QAAQ;EACjB;EACA,IAAIC,GAAG,GAAGD,QAAQ;EAClB,IAAIc,OAAO,GAAgEtD,KAAK,CAACuD,EAAE,CAACH,IAAI,CAAC;EACzF,OAAOpD,KAAK,CAACwD,UAAU,CAACF,OAAO,CAAC,EAAE;IAChC,MAAMG,IAAI,GAAgBzD,KAAK,CAAC0D,YAAY,CAACJ,OAAO,CAAgB;IACpE,MAAMK,IAAI,GAAG3D,KAAK,CAAC4D,YAAY,CAACN,OAAO,CAAC;IACxC,QAAQG,IAAI,CAACtC,IAAI;MACf,KAAK,OAAO;QAAE;UACZmC,OAAO,GAAGK,IAAI;UACd;QACF;MACA,KAAK,SAAS;QAAE;UACdL,OAAO,GAAGtD,KAAK,CAAC6D,OAAO,CAACJ,IAAI,CAACjC,KAAK,CAAC,CAACxB,KAAK,CAAC6D,OAAO,CAACJ,IAAI,CAAChC,MAAM,CAAC,CAACkC,IAAI,CAAC,CAAC;UACrE;QACF;MACA,KAAK,KAAK;QAAE;UACVlB,GAAG,GAAGtC,OAAO,CAAC2D,GAAG,CAACL,IAAI,CAAC5B,GAAG,EAAE4B,IAAI,CAAC3B,KAAK,CAAC,CAACW,GAAG,CAAC;UAC5Ca,OAAO,GAAGK,IAAI;UACd;QACF;MACA,KAAK,QAAQ;QAAE;UACblB,GAAG,GAAGtC,OAAO,CAAC6C,MAAM,CAACS,IAAI,CAAC5B,GAAG,CAAC,CAACY,GAAG,CAAC;UACnCa,OAAO,GAAGK,IAAI;UACd;QACF;MACA,KAAK,QAAQ;QAAE;UACb,MAAMhB,MAAM,GAAGxC,OAAO,CAACyC,GAAG,CAACa,IAAI,CAAC5B,GAAG,CAAC,CAACY,GAAG,CAAC;UACzC,IAAIE,MAAM,CAACxB,IAAI,KAAK,MAAM,EAAE;YAC1BsB,GAAG,GAAGtC,OAAO,CAAC2D,GAAG,CAACL,IAAI,CAAC5B,GAAG,EAAEiB,MAAM,CAACX,KAAK,CAACsB,IAAI,CAACtB,KAAK,EAAEQ,MAAM,CAACb,KAAK,CAAC,CAAC,CAACW,GAAG,CAAC;UAC1E;UACAa,OAAO,GAAGK,IAAI;UACd;QACF;IACF;EACF;EACA,OAAOlB,GAAG;AACZ,CAAC,CAAC"}

package/dist/esm/internal/differ/hashSetPatch.js

@@ -0,0 +1,101 @@
+import * as Chunk from "../../Chunk.js";
+import * as Dual from "../../Function.js";
+import * as HashSet from "../../HashSet.js";
+import { Structural } from "../data.js";
+/** @internal */
+export const HashSetPatchTypeId = /*#__PURE__*/Symbol.for("effect/DifferHashSetPatch");
+function variance(a) {
+  return a;
+}
+/** @internal */
+const PatchProto = {
+  ...Structural.prototype,
+  [HashSetPatchTypeId]: {
+    _Value: variance,
+    _Key: variance,
+    _Patch: variance
+  }
+};
+const EmptyProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Empty"
+});
+const _empty = /*#__PURE__*/Object.create(EmptyProto);
+/** @internal */
+export const empty = () => _empty;
+const AndThenProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "AndThen"
+});
+/** @internal */
+export const makeAndThen = (first, second) => {
+  const o = Object.create(AndThenProto);
+  o.first = first;
+  o.second = second;
+  return o;
+};
+const AddProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Add"
+});
+/** @internal */
+export const makeAdd = value => {
+  const o = Object.create(AddProto);
+  o.value = value;
+  return o;
+};
+const RemoveProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Remove"
+});
+/** @internal */
+export const makeRemove = value => {
+  const o = Object.create(RemoveProto);
+  o.value = value;
+  return o;
+};
+/** @internal */
+export const diff = (oldValue, newValue) => {
+  const [removed, patch] = HashSet.reduce([oldValue, empty()], ([set, patch], value) => {
+    if (HashSet.has(value)(set)) {
+      return [HashSet.remove(value)(set), patch];
+    }
+    return [set, combine(makeAdd(value))(patch)];
+  })(newValue);
+  return HashSet.reduce(patch, (patch, value) => combine(makeRemove(value))(patch))(removed);
+};
+/** @internal */
+export const combine = /*#__PURE__*/Dual.dual(2, (self, that) => makeAndThen(self, that));
+/** @internal */
+export const patch = /*#__PURE__*/Dual.dual(2, (self, oldValue) => {
+  if (self._tag === "Empty") {
+    return oldValue;
+  }
+  let set = oldValue;
+  let patches = Chunk.of(self);
+  while (Chunk.isNonEmpty(patches)) {
+    const head = Chunk.headNonEmpty(patches);
+    const tail = Chunk.tailNonEmpty(patches);
+    switch (head._tag) {
+      case "Empty":
+        {
+          patches = tail;
+          break;
+        }
+      case "AndThen":
+        {
+          patches = Chunk.prepend(head.first)(Chunk.prepend(head.second)(tail));
+          break;
+        }
+      case "Add":
+        {
+          set = HashSet.add(head.value)(set);
+          patches = tail;
+          break;
+        }
+      case "Remove":
+        {
+          set = HashSet.remove(head.value)(set);
+          patches = tail;
+        }
+    }
+  }
+  return set;
+});
+//# sourceMappingURL=hashSetPatch.js.map

package/dist/esm/internal/differ/hashSetPatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashSetPatch.js","names":["Chunk","Dual","HashSet","Structural","HashSetPatchTypeId","Symbol","for","variance","a","PatchProto","prototype","_Value","_Key","_Patch","EmptyProto","Object","assign","create","_tag","_empty","empty","AndThenProto","makeAndThen","first","second","o","AddProto","makeAdd","value","RemoveProto","makeRemove","diff","oldValue","newValue","removed","patch","reduce","set","has","remove","combine","dual","self","that","patches","of","isNonEmpty","head","headNonEmpty","tail","tailNonEmpty","prepend","add"],"sources":["../../../../src/internal/differ/hashSetPatch.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,gBAAgB;AAEvC,OAAO,KAAKC,IAAI,MAAM,mBAAmB;AACzC,OAAO,KAAKC,OAAO,MAAM,kBAAkB;AAC3C,SAASC,UAAU,QAAQ,YAAY;AAEvC;AACA,OAAO,MAAMC,kBAAkB,gBAA0BC,MAAM,CAACC,GAAG,CACjE,2BAA2B,CACH;AAE1B,SAASC,QAAQA,CAAOC,CAAI;EAC1B,OAAOA,CAAiB;AAC1B;AAEA;AACA,MAAMC,UAAU,GAAG;EACjB,GAAGN,UAAU,CAACO,SAAS;EACvB,CAACN,kBAAkB,GAAG;IACpBO,MAAM,EAAEJ,QAAQ;IAChBK,IAAI,EAAEL,QAAQ;IACdM,MAAM,EAAEN;;CAEX;AAMD,MAAMO,UAAU,gBAAGC,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC1DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMC,MAAM,gBAAGJ,MAAM,CAACE,MAAM,CAACH,UAAU,CAAC;AAExC;AACA,OAAO,MAAMM,KAAK,GAAGA,CAAA,KAA0CD,MAAM;AAQrE,MAAME,YAAY,gBAAGN,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC5DS,IAAI,EAAE;CACP,CAAC;AAEF;AACA,OAAO,MAAMI,WAAW,GAAGA,CACzBC,KAAkC,EAClCC,MAAmC,KACJ;EAC/B,MAAMC,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACI,YAAY,CAAC;EACrCI,CAAC,CAACF,KAAK,GAAGA,KAAK;EACfE,CAAC,CAACD,MAAM,GAAGA,MAAM;EACjB,OAAOC,CAAC;AACV,CAAC;AAOD,MAAMC,QAAQ,gBAAGX,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EACxDS,IAAI,EAAE;CACP,CAAC;AAEF;AACA,OAAO,MAAMS,OAAO,GAClBC,KAAY,IACmB;EAC/B,MAAMH,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACS,QAAQ,CAAC;EACjCD,CAAC,CAACG,KAAK,GAAGA,KAAK;EACf,OAAOH,CAAC;AACV,CAAC;AAOD,MAAMI,WAAW,gBAAGd,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC3DS,IAAI,EAAE;CACP,CAAC;AAEF;AACA,OAAO,MAAMY,UAAU,GACrBF,KAAY,IACmB;EAC/B,MAAMH,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACY,WAAW,CAAC;EACpCJ,CAAC,CAACG,KAAK,GAAGA,KAAK;EACf,OAAOH,CAAC;AACV,CAAC;AAQD;AACA,OAAO,MAAMM,IAAI,GAAGA,CAClBC,QAAgC,EAChCC,QAAgC,KACD;EAC/B,MAAM,CAACC,OAAO,EAAEC,KAAK,CAAC,GAAGjC,OAAO,CAACkC,MAAM,CACrC,CAACJ,QAAQ,EAAEZ,KAAK,EAAS,CAAU,EACnC,CAAC,CAACiB,GAAG,EAAEF,KAAK,CAAC,EAAEP,KAAY,KAAI;IAC7B,IAAI1B,OAAO,CAACoC,GAAG,CAACV,KAAK,CAAC,CAACS,GAAG,CAAC,EAAE;MAC3B,OAAO,CAACnC,OAAO,CAACqC,MAAM,CAACX,KAAK,CAAC,CAACS,GAAG,CAAC,EAAEF,KAAK,CAAU;IACrD;IACA,OAAO,CAACE,GAAG,EAAEG,OAAO,CAACb,OAAO,CAACC,KAAK,CAAC,CAAC,CAACO,KAAK,CAAC,CAAU;EACvD,CAAC,CACF,CAACF,QAAQ,CAAC;EACX,OAAO/B,OAAO,CAACkC,MAAM,CAACD,KAAK,EAAE,CAACA,KAAK,EAAEP,KAAY,KAAKY,OAAO,CAACV,UAAU,CAACF,KAAK,CAAC,CAAC,CAACO,KAAK,CAAC,CAAC,CAACD,OAAO,CAAC;AACnG,CAAC;AAED;AACA,OAAO,MAAMM,OAAO,gBAAGvC,IAAI,CAACwC,IAAI,CAU9B,CAAC,EAAE,CAACC,IAAI,EAAEC,IAAI,KAAKrB,WAAW,CAACoB,IAAI,EAAEC,IAAI,CAAC,CAAC;AAE7C;AACA,OAAO,MAAMR,KAAK,gBAAGlC,IAAI,CAACwC,IAAI,CAU5B,CAAC,EAAE,CACHC,IAAiC,EACjCV,QAAgC,KAC9B;EACF,IAAKU,IAAoB,CAACxB,IAAI,KAAK,OAAO,EAAE;IAC1C,OAAOc,QAAQ;EACjB;EACA,IAAIK,GAAG,GAAGL,QAAQ;EAClB,IAAIY,OAAO,GAA6C5C,KAAK,CAAC6C,EAAE,CAACH,IAAI,CAAC;EACtE,OAAO1C,KAAK,CAAC8C,UAAU,CAACF,OAAO,CAAC,EAAE;IAChC,MAAMG,IAAI,GAAgB/C,KAAK,CAACgD,YAAY,CAACJ,OAAO,CAAgB;IACpE,MAAMK,IAAI,GAAGjD,KAAK,CAACkD,YAAY,CAACN,OAAO,CAAC;IACxC,QAAQG,IAAI,CAAC7B,IAAI;MACf,KAAK,OAAO;QAAE;UACZ0B,OAAO,GAAGK,IAAI;UACd;QACF;MACA,KAAK,SAAS;QAAE;UACdL,OAAO,GAAG5C,KAAK,CAACmD,OAAO,CAACJ,IAAI,CAACxB,KAAK,CAAC,CAACvB,KAAK,CAACmD,OAAO,CAACJ,IAAI,CAACvB,MAAM,CAAC,CAACyB,IAAI,CAAC,CAAC;UACrE;QACF;MACA,KAAK,KAAK;QAAE;UACVZ,GAAG,GAAGnC,OAAO,CAACkD,GAAG,CAACL,IAAI,CAACnB,KAAK,CAAC,CAACS,GAAG,CAAC;UAClCO,OAAO,GAAGK,IAAI;UACd;QACF;MACA,KAAK,QAAQ;QAAE;UACbZ,GAAG,GAAGnC,OAAO,CAACqC,MAAM,CAACQ,IAAI,CAACnB,KAAK,CAAC,CAACS,GAAG,CAAC;UACrCO,OAAO,GAAGK,IAAI;QAChB;IACF;EACF;EACA,OAAOZ,GAAG;AACZ,CAAC,CAAC"}

package/dist/esm/internal/differ/orPatch.js

@@ -0,0 +1,170 @@
+import * as Chunk from "../../Chunk.js";
+import * as E from "../../Either.js";
+import * as Equal from "../../Equal.js";
+import * as Dual from "../../Function.js";
+import { Structural } from "../data.js";
+/** @internal */
+export const OrPatchTypeId = /*#__PURE__*/Symbol.for("effect/DifferOrPatch");
+function variance(a) {
+  return a;
+}
+/** @internal */
+const PatchProto = {
+  ...Structural.prototype,
+  [OrPatchTypeId]: {
+    _Value: variance,
+    _Key: variance,
+    _Patch: variance
+  }
+};
+const EmptyProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "Empty"
+});
+const _empty = /*#__PURE__*/Object.create(EmptyProto);
+/** @internal */
+export const empty = () => _empty;
+const AndThenProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "AndThen"
+});
+/** @internal */
+export const makeAndThen = (first, second) => {
+  const o = Object.create(AndThenProto);
+  o.first = first;
+  o.second = second;
+  return o;
+};
+const SetLeftProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "SetLeft"
+});
+/** @internal */
+export const makeSetLeft = value => {
+  const o = Object.create(SetLeftProto);
+  o.value = value;
+  return o;
+};
+const SetRightProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "SetRight"
+});
+/** @internal */
+export const makeSetRight = value => {
+  const o = Object.create(SetRightProto);
+  o.value = value;
+  return o;
+};
+const UpdateLeftProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "UpdateLeft"
+});
+/** @internal */
+export const makeUpdateLeft = patch => {
+  const o = Object.create(UpdateLeftProto);
+  o.patch = patch;
+  return o;
+};
+const UpdateRightProto = /*#__PURE__*/Object.assign( /*#__PURE__*/Object.create(PatchProto), {
+  _tag: "UpdateRight"
+});
+/** @internal */
+export const makeUpdateRight = patch => {
+  const o = Object.create(UpdateRightProto);
+  o.patch = patch;
+  return o;
+};
+/** @internal */
+export const diff = options => {
+  switch (options.oldValue._tag) {
+    case "Left":
+      {
+        switch (options.newValue._tag) {
+          case "Left":
+            {
+              const valuePatch = options.left.diff(options.oldValue.left, options.newValue.left);
+              if (Equal.equals(valuePatch, options.left.empty)) {
+                return empty();
+              }
+              return makeUpdateLeft(valuePatch);
+            }
+          case "Right":
+            {
+              return makeSetRight(options.newValue.right);
+            }
+        }
+      }
+    case "Right":
+      {
+        switch (options.newValue._tag) {
+          case "Left":
+            {
+              return makeSetLeft(options.newValue.left);
+            }
+          case "Right":
+            {
+              const valuePatch = options.right.diff(options.oldValue.right, options.newValue.right);
+              if (Equal.equals(valuePatch, options.right.empty)) {
+                return empty();
+              }
+              return makeUpdateRight(valuePatch);
+            }
+        }
+      }
+  }
+};
+/** @internal */
+export const combine = /*#__PURE__*/Dual.dual(2, (self, that) => makeAndThen(self, that));
+/** @internal */
+export const patch = /*#__PURE__*/Dual.dual(2, (self, {
+  left,
+  oldValue,
+  right
+}) => {
+  if (self._tag === "Empty") {
+    return oldValue;
+  }
+  let patches = Chunk.of(self);
+  let result = oldValue;
+  while (Chunk.isNonEmpty(patches)) {
+    const head = Chunk.headNonEmpty(patches);
+    const tail = Chunk.tailNonEmpty(patches);
+    switch (head._tag) {
+      case "Empty":
+        {
+          patches = tail;
+          break;
+        }
+      case "AndThen":
+        {
+          patches = Chunk.prepend(head.first)(Chunk.prepend(head.second)(tail));
+          break;
+        }
+      case "UpdateLeft":
+        {
+          if (result._tag === "Left") {
+            result = E.left(left.patch(head.patch, result.left));
+          }
+          patches = tail;
+          break;
+        }
+      case "UpdateRight":
+        {
+          if (result._tag === "Right") {
+            result = E.right(right.patch(head.patch, result.right));
+          }
+          patches = tail;
+          break;
+        }
+      case "SetLeft":
+        {
+          result = E.left(head.value);
+          patches = tail;
+          break;
+        }
+      case "SetRight":
+        {
+          result = E.right(head.value);
+          patches = tail;
+          break;
+        }
+    }
+  }
+  return result;
+});
+//# sourceMappingURL=orPatch.js.map

package/dist/esm/internal/differ/orPatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orPatch.js","names":["Chunk","E","Equal","Dual","Structural","OrPatchTypeId","Symbol","for","variance","a","PatchProto","prototype","_Value","_Key","_Patch","EmptyProto","Object","assign","create","_tag","_empty","empty","AndThenProto","makeAndThen","first","second","o","SetLeftProto","makeSetLeft","value","SetRightProto","makeSetRight","UpdateLeftProto","makeUpdateLeft","patch","UpdateRightProto","makeUpdateRight","diff","options","oldValue","newValue","valuePatch","left","equals","right","combine","dual","self","that","patches","of","result","isNonEmpty","head","headNonEmpty","tail","tailNonEmpty","prepend"],"sources":["../../../../src/internal/differ/orPatch.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,gBAAgB;AAGvC,OAAO,KAAKC,CAAC,MAAM,iBAAiB;AACpC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,IAAI,MAAM,mBAAmB;AACzC,SAASC,UAAU,QAAQ,YAAY;AAEvC;AACA,OAAO,MAAMC,aAAa,gBAAqBC,MAAM,CAACC,GAAG,CAAC,sBAAsB,CAAqB;AAErG,SAASC,QAAQA,CAAOC,CAAI;EAC1B,OAAOA,CAAiB;AAC1B;AAEA;AACA,MAAMC,UAAU,GAAG;EACjB,GAAGN,UAAU,CAACO,SAAS;EACvB,CAACN,aAAa,GAAG;IACfO,MAAM,EAAEJ,QAAQ;IAChBK,IAAI,EAAEL,QAAQ;IACdM,MAAM,EAAEN;;CAEX;AASD,MAAMO,UAAU,gBAAGC,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC1DS,IAAI,EAAE;CACP,CAAC;AAEF,MAAMC,MAAM,gBAAGJ,MAAM,CAACE,MAAM,CAACH,UAAU,CAAC;AAExC;AACA,OAAO,MAAMM,KAAK,GAAGA,CAAA,KAKhBD,MAAM;AAWX,MAAME,YAAY,gBAAGN,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC5DS,IAAI,EAAE;CACP,CAAC;AAEF;AACA,OAAO,MAAMI,WAAW,GAAGA,CACzBC,KAAoD,EACpDC,MAAqD,KAMnD;EACF,MAAMC,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACI,YAAY,CAAC;EACrCI,CAAC,CAACF,KAAK,GAAGA,KAAK;EACfE,CAAC,CAACD,MAAM,GAAGA,MAAM;EACjB,OAAOC,CAAC;AACV,CAAC;AAUD,MAAMC,YAAY,gBAAGX,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC5DS,IAAI,EAAE;CACP,CAAC;AAEF;AACA,OAAO,MAAMS,WAAW,GACtBC,KAAY,IAMV;EACF,MAAMH,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACS,YAAY,CAAC;EACrCD,CAAC,CAACG,KAAK,GAAGA,KAAK;EACf,OAAOH,CAAC;AACV,CAAC;AAUD,MAAMI,aAAa,gBAAGd,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC7DS,IAAI,EAAE;CACP,CAAC;AAEF;AACA,OAAO,MAAMY,YAAY,GACvBF,KAAa,IAMX;EACF,MAAMH,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACY,aAAa,CAAC;EACtCJ,CAAC,CAACG,KAAK,GAAGA,KAAK;EACf,OAAOH,CAAC;AACV,CAAC;AAUD,MAAMM,eAAe,gBAAGhB,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAC/DS,IAAI,EAAE;CACP,CAAC;AAEF;AACA,OAAO,MAAMc,cAAc,GACzBC,KAAY,IAMV;EACF,MAAMR,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACc,eAAe,CAAC;EACxCN,CAAC,CAACQ,KAAK,GAAGA,KAAK;EACf,OAAOR,CAAC;AACV,CAAC;AAUD,MAAMS,gBAAgB,gBAAGnB,MAAM,CAACC,MAAM,eAACD,MAAM,CAACE,MAAM,CAACR,UAAU,CAAC,EAAE;EAChES,IAAI,EAAE;CACP,CAAC;AAEF;AACA,OAAO,MAAMiB,eAAe,GAC1BF,KAAa,IAMX;EACF,MAAMR,CAAC,GAAGV,MAAM,CAACE,MAAM,CAACiB,gBAAgB,CAAC;EACzCT,CAAC,CAACQ,KAAK,GAAGA,KAAK;EACf,OAAOR,CAAC;AACV,CAAC;AAUD;AACA,OAAO,MAAMW,IAAI,GACfC,OAKC,IACgD;EACjD,QAAQA,OAAO,CAACC,QAAQ,CAACpB,IAAI;IAC3B,KAAK,MAAM;MAAE;QACX,QAAQmB,OAAO,CAACE,QAAQ,CAACrB,IAAI;UAC3B,KAAK,MAAM;YAAE;cACX,MAAMsB,UAAU,GAAGH,OAAO,CAACI,IAAI,CAACL,IAAI,CAACC,OAAO,CAACC,QAAQ,CAACG,IAAI,EAAEJ,OAAO,CAACE,QAAQ,CAACE,IAAI,CAAC;cAClF,IAAIxC,KAAK,CAACyC,MAAM,CAACF,UAAU,EAAEH,OAAO,CAACI,IAAI,CAACrB,KAAK,CAAC,EAAE;gBAChD,OAAOA,KAAK,EAAE;cAChB;cACA,OAAOY,cAAc,CAACQ,UAAU,CAAC;YACnC;UACA,KAAK,OAAO;YAAE;cACZ,OAAOV,YAAY,CAACO,OAAO,CAACE,QAAQ,CAACI,KAAK,CAAC;YAC7C;QACF;MACF;IACA,KAAK,OAAO;MAAE;QACZ,QAAQN,OAAO,CAACE,QAAQ,CAACrB,IAAI;UAC3B,KAAK,MAAM;YAAE;cACX,OAAOS,WAAW,CAACU,OAAO,CAACE,QAAQ,CAACE,IAAI,CAAC;YAC3C;UACA,KAAK,OAAO;YAAE;cACZ,MAAMD,UAAU,GAAGH,OAAO,CAACM,KAAK,CAACP,IAAI,CAACC,OAAO,CAACC,QAAQ,CAACK,KAAK,EAAEN,OAAO,CAACE,QAAQ,CAACI,KAAK,CAAC;cACrF,IAAI1C,KAAK,CAACyC,MAAM,CAACF,UAAU,EAAEH,OAAO,CAACM,KAAK,CAACvB,KAAK,CAAC,EAAE;gBACjD,OAAOA,KAAK,EAAE;cAChB;cACA,OAAOe,eAAe,CAACK,UAAU,CAAC;YACpC;QACF;MACF;EACF;AACF,CAAC;AAED;AACA,OAAO,MAAMI,OAAO,gBAAG1C,IAAI,CAAC2C,IAAI,CAU9B,CAAC,EAAE,CAACC,IAAI,EAAEC,IAAI,KAAKzB,WAAW,CAACwB,IAAI,EAAEC,IAAI,CAAC,CAAC;AAE7C;AACA,OAAO,MAAMd,KAAK,gBAAG/B,IAAI,CAAC2C,IAAI,CAgB5B,CAAC,EAAE,CACHC,IAAmD,EACnD;EAAEL,IAAI;EAAEH,QAAQ;EAAEK;AAAK,CAItB,KACC;EACF,IAAKG,IAAoB,CAAC5B,IAAI,KAAK,OAAO,EAAE;IAC1C,OAAOoB,QAAQ;EACjB;EACA,IAAIU,OAAO,GAA+DjD,KAAK,CAACkD,EAAE,CAACH,IAAI,CAAC;EACxF,IAAII,MAAM,GAAGZ,QAAQ;EACrB,OAAOvC,KAAK,CAACoD,UAAU,CAACH,OAAO,CAAC,EAAE;IAChC,MAAMI,IAAI,GAAgBrD,KAAK,CAACsD,YAAY,CAACL,OAAO,CAAgB;IACpE,MAAMM,IAAI,GAAGvD,KAAK,CAACwD,YAAY,CAACP,OAAO,CAAC;IACxC,QAAQI,IAAI,CAAClC,IAAI;MACf,KAAK,OAAO;QAAE;UACZ8B,OAAO,GAAGM,IAAI;UACd;QACF;MACA,KAAK,SAAS;QAAE;UACdN,OAAO,GAAGjD,KAAK,CAACyD,OAAO,CAACJ,IAAI,CAAC7B,KAAK,CAAC,CAACxB,KAAK,CAACyD,OAAO,CAACJ,IAAI,CAAC5B,MAAM,CAAC,CAAC8B,IAAI,CAAC,CAAC;UACrE;QACF;MACA,KAAK,YAAY;QAAE;UACjB,IAAIJ,MAAM,CAAChC,IAAI,KAAK,MAAM,EAAE;YAC1BgC,MAAM,GAAGlD,CAAC,CAACyC,IAAI,CAACA,IAAI,CAACR,KAAK,CAACmB,IAAI,CAACnB,KAAK,EAAEiB,MAAM,CAACT,IAAI,CAAC,CAAC;UACtD;UACAO,OAAO,GAAGM,IAAI;UACd;QACF;MACA,KAAK,aAAa;QAAE;UAClB,IAAIJ,MAAM,CAAChC,IAAI,KAAK,OAAO,EAAE;YAC3BgC,MAAM,GAAGlD,CAAC,CAAC2C,KAAK,CAACA,KAAK,CAACV,KAAK,CAACmB,IAAI,CAACnB,KAAK,EAAEiB,MAAM,CAACP,KAAK,CAAC,CAAC;UACzD;UACAK,OAAO,GAAGM,IAAI;UACd;QACF;MACA,KAAK,SAAS;QAAE;UACdJ,MAAM,GAAGlD,CAAC,CAACyC,IAAI,CAACW,IAAI,CAACxB,KAAK,CAAC;UAC3BoB,OAAO,GAAGM,IAAI;UACd;QACF;MACA,KAAK,UAAU;QAAE;UACfJ,MAAM,GAAGlD,CAAC,CAAC2C,KAAK,CAACS,IAAI,CAACxB,KAAK,CAAC;UAC5BoB,OAAO,GAAGM,IAAI;UACd;QACF;IACF;EACF;EACA,OAAOJ,MAAM;AACf,CAAC,CAAC"}