@fncts/io 0.0.19 → 0.0.20

package/_mjs/IOEnv/services.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"services.mjs","mappings":";AAEA,SAASA,WAAT,QAA4B,4BAA5B;AAEA;;;;AAGA,OAAO,MAAMC,QAAQ,gBAAgEC,sCACnFF,WADmF,CAA9E","names":["environment","services","tsplus_module_1"],"sourceRoot":"","sources":["../../_src/IOEnv/services.ts"],"sourcesContent":[null]}
+{"version":3,"file":"services.mjs","mappings":";AAEA,SAASA,WAAT,QAA4B,4BAA5B;AAEA;;;;AAGA,OAAO,MAAMC,QAAQ,gBAGjBC,sCAA+BF,WAA/B,CAHG","names":["environment","services","tsplus_module_1"],"sourceRoot":"","sources":["../../_src/IOEnv/services.ts"],"sourcesContent":[null]}

package/_mjs/Supervisor/api.mjs

@@ -1,45 +1,52 @@
-const fileName_1 = "(@fncts/io) src/Supervisor/api.ts";
-import * as tsplus_module_1 from "@fncts/io/Supervisor/definition";
-import * as tsplus_module_2 from "@fncts/io/IO/api";
+import * as tsplus_module_1 from "@fncts/io/Supervisor/constructors";
+import * as tsplus_module_2 from "@fncts/base/collection/immutable/HashSet/api";
+export const zip_ = zip_1;
+export const toSet = toSet_1;
+export const removeSupervisor = removeSupervisor_1;
+import { concrete, Zip } from "@fncts/io/Supervisor/definition";
 /**
  * @tsplus fluent fncts.io.Supervisor zip
  */
 
-export function zip_(fa, fb) {
-  return new class extends tsplus_module_1.Supervisor {
-    constructor() {
-      super(...arguments);
-      this.value = tsplus_module_2.zip_(fa.value, fb.value, fileName_1 + ":6:25");
-    }
+function zip_1(fa, fb) {
+  return new Zip(fa, fb);
+}
+/**
+ * @tsplus getter fncts.io.Supervisor toSet
+ */
 
-    unsafeOnStart(environment, effect, parent, fiber) {
-      try {
-        fa.unsafeOnStart(environment, effect, parent, fiber);
-      } finally {
-        fb.unsafeOnStart(environment, effect, parent, fiber);
-      }
-    }
 
-    unsafeOnEnd(value, fiber) {
-      fa.unsafeOnEnd(value, fiber);
-      fb.unsafeOnEnd(value, fiber);
-    }
+function toSet_1(self) {
+  void 0;
+  if (self === tsplus_module_1.none) return tsplus_module_2.makeDefault();else {
+    switch (self._tag) {
+      case 2
+      /* SupervisorTag.Zip */
+      :
+        return tsplus_module_2.union_(toSet_1(self.first), toSet_1(self.second));
 
-    unsafeOnEffect(fiber, effect) {
-      fa.unsafeOnEffect(fiber, effect);
-      fb.unsafeOnEffect(fiber, effect);
+      default:
+        return tsplus_module_2.add_(tsplus_module_2.makeDefault(), self);
     }
+  }
+}
+/**
+ * @tsplus fluent fncts.io.Supervisor removeSupervisor
+ */
 
-    unsafeOnSuspend(fiber) {
-      fa.unsafeOnSuspend(fiber);
-      fb.unsafeOnSuspend(fiber);
-    }
 
-    unsafeOnResume(fiber) {
-      fa.unsafeOnResume(fiber);
-      fb.unsafeOnResume(fiber);
-    }
+function removeSupervisor_1(self, that) {
+  void 0;
+  if (self === that) return tsplus_module_1.none;else {
+    switch (self._tag) {
+      case 2
+      /* SupervisorTag.Zip */
+      :
+        return zip_1(removeSupervisor_1(self.first, that), removeSupervisor_1(self.second, that));
 
-  }();
+      default:
+        return self;
+    }
+  }
 }
 //# sourceMappingURL=api.mjs.map

package/_mjs/Supervisor/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;AAAA;;;;AAGA,OAAM,SAAUA,IAAV,CAAqBC,EAArB,EAAwCC,EAAxC,EAAyD;EAC7D,OAAO,IAAK,cAAcC,0BAAd,CAAyC;IAAzCC;;MACV,aAAQC,uBAAE,CAACC,KAAH,EAAaJ,EAAE,CAACI,KAAhB,EAAqBC,oBAArB,CAAR;IA6BD;;IA5BCC,aAAa,CACXC,WADW,EAEXC,MAFW,EAGXC,MAHW,EAIXC,KAJW,EAIe;MAE1B,IAAI;QACFX,EAAE,CAACO,aAAH,CAAiBC,WAAjB,EAA8BC,MAA9B,EAAsCC,MAAtC,EAA8CC,KAA9C;MACD,CAFD,SAEU;QACRV,EAAE,CAACM,aAAH,CAAiBC,WAAjB,EAA8BC,MAA9B,EAAsCC,MAAtC,EAA8CC,KAA9C;MACD;IACF;;IACDC,WAAW,CAAOP,KAAP,EAA0BM,KAA1B,EAAoD;MAC7DX,EAAE,CAACY,WAAH,CAAeP,KAAf,EAAsBM,KAAtB;MACAV,EAAE,CAACW,WAAH,CAAeP,KAAf,EAAsBM,KAAtB;IACD;;IACDE,cAAc,CAAOF,KAAP,EAAmCF,MAAnC,EAA4D;MACxET,EAAE,CAACa,cAAH,CAAkBF,KAAlB,EAAyBF,MAAzB;MACAR,EAAE,CAACY,cAAH,CAAkBF,KAAlB,EAAyBF,MAAzB;IACD;;IACDK,eAAe,CAAOH,KAAP,EAAiC;MAC9CX,EAAE,CAACc,eAAH,CAAmBH,KAAnB;MACAV,EAAE,CAACa,eAAH,CAAmBH,KAAnB;IACD;;IACDI,cAAc,CAAOJ,KAAP,EAAiC;MAC7CX,EAAE,CAACe,cAAH,CAAkBJ,KAAlB;MACAV,EAAE,CAACc,cAAH,CAAkBJ,KAAlB;IACD;;EA7BkD,CAA9C,EAAP;AA+BD","names":["zip_","fa","fb","tsplus_module_1","constructor","tsplus_module_2","value","fileName_1","unsafeOnStart","environment","effect","parent","fiber","unsafeOnEnd","unsafeOnEffect","unsafeOnSuspend","unsafeOnResume"],"sourceRoot":"","sources":["../../_src/Supervisor/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;aAKgBA,IAAI;aAOJC,KAAK;aAgBLC,gBAAgB;AA5BhC,SAASC,QAAT,EAAkCC,GAAlC,QAA6C,iCAA7C;AAEA;;;;AAGA,eAA2BC,EAA3B,EAA8CC,EAA9C,EAA+D;EAC7D,OAAO,IAAIF,GAAJ,CAAQC,EAAR,EAAYC,EAAZ,CAAP;AACD;AAED;;;;;AAGA,iBAAsBC,IAAtB,EAA2C;EACzC;EACA,IAAIA,IAAI,yBAAR,EAA8B,OAAOC,6BAAP,CAA9B,KACK;IACH,QAAQD,IAAI,CAACE,IAAb;MACE;MAAA;MAAA;QACE,OAAOD,mCAAI,CAACE,KAAL,GAAUC,QAAaJ,IAAI,CAACK,MAAlB,CAAV,CAAP;;MACF;QACE,OAAOJ,oDAA2CD,IAA3C,CAAP;IAJJ;EAMD;AACF;AAED;;;;;AAGA,4BAAiCA,IAAjC,EAAwDM,IAAxD,EAA6E;EAC3E;EACA,IAAIN,IAAI,KAAKM,IAAb,EAAmB,4BAAnB,KACK;IACH,QAAQN,IAAI,CAACE,IAAb;MACE;MAAA;MAAA;QACE,OAAOK,6BAAI,CAACJ,KAAL,EAA4BG,IAA5B,GAAsCE,uBAAI,CAACH,MAAL,EAA6BC,IAA7B,CAAtC,CAAP;;MACF;QACE,OAAON,IAAP;IAJJ;EAMD;AACF","names":["zip_","toSet","removeSupervisor","concrete","Zip","fa","fb","self","tsplus_module_2","_tag","first","toSet_1","second","that","zip_1","removeSupervisor_1"],"sourceRoot":"","sources":["../../_src/Supervisor/api.ts"],"sourcesContent":[null]}

package/_mjs/Supervisor/definition.mjs

@@ -1,7 +1,10 @@
+const fileName_1 = "(@fncts/io) src/Supervisor/definition.ts";
+import * as tsplus_module_1 from "@fncts/io/IO/api";
 /**
  * @tsplus type fncts.io.Supervisor
  * @tsplus companion fncts.io.SupervisorOps
  */
+
 export class Supervisor {
   unsafeOnEffect(_fiber, _effect) {
     return;
@@ -20,6 +23,9 @@ export class ConstSupervisor extends Supervisor {
   constructor(value) {
     super();
     this.value = value;
+    this._tag = 0
+    /* SupervisorTag.Const */
+    ;
   }
 
   unsafeOnStart() {
@@ -48,6 +54,9 @@ export class ProxySupervisor extends Supervisor {
     super();
     this.value = value;
     this.underlying = underlying;
+    this._tag = 1
+    /* SupervisorTag.Proxy */
+    ;
   }
 
   unsafeOnStart(environment, effect, parent, fiber) {
@@ -70,5 +79,51 @@ export class ProxySupervisor extends Supervisor {
     this.underlying.unsafeOnResume(fiber);
   }
 
+}
+export class Zip extends Supervisor {
+  constructor(first, second) {
+    super();
+    this.first = first;
+    this.second = second;
+    this._tag = 2
+    /* SupervisorTag.Zip */
+    ;
+    this.value = tsplus_module_1.zip_(this.first.value, this.second.value, fileName_1 + ":91:31");
+  }
+
+  unsafeOnStart(environment, effect, parent, fiber) {
+    try {
+      this.first.unsafeOnStart(environment, effect, parent, fiber);
+    } finally {
+      this.second.unsafeOnStart(environment, effect, parent, fiber);
+    }
+  }
+
+  unsafeOnEnd(value, fiber) {
+    this.first.unsafeOnEnd(value, fiber);
+    this.second.unsafeOnEnd(value, fiber);
+  }
+
+  unsafeOnEffect(fiber, effect) {
+    this.first.unsafeOnEffect(fiber, effect);
+    this.second.unsafeOnEffect(fiber, effect);
+  }
+
+  unsafeOnSuspend(fiber) {
+    this.first.unsafeOnSuspend(fiber);
+    this.second.unsafeOnSuspend(fiber);
+  }
+
+  unsafeOnResume(fiber) {
+    this.first.unsafeOnResume(fiber);
+    this.second.unsafeOnResume(fiber);
+  }
+
+}
+/**
+ * @tsplus macro remove
+ */
+
+export function concrete(_) {//
 }
 //# sourceMappingURL=definition.mjs.map

package/_mjs/Supervisor/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":"AAAA;;;;AAIA,OAAM,MAAgBA,UAAhB,CAA0B;EAS9BC,cAAc,CAAOC,MAAP,EAAoCC,OAApC,EAA8D;IAC1E;EACD;;EACDC,eAAe,CAAOF,MAAP,EAAkC;IAC/C;EACD;;EACDG,cAAc,CAAOH,MAAP,EAAkC;IAC9C;EACD;;AAjB6B;AAoBhC,OAAM,MAAOI,eAAP,SAAkCN,UAAlC,CAA+C;EACnDO,YAAqBC,KAArB,EAAkC;IAChC;IADmB;EAEpB;;EACDC,aAAa;IACX;EACD;;EACDC,WAAW;IACT;EACD;;EACDT,cAAc;IACZ;EACD;;EACDG,eAAe;IACb;EACD;;EACDC,cAAc;IACZ;EACD;;AAlBkD;AAqBrD,OAAM,MAAOM,eAAP,SAAkCX,UAAlC,CAA+C;EACnDO,YAAqBC,KAArB,EAA6CI,UAA7C,EAAwE;IACtE;IADmB;IAAwB;EAE5C;;EACDH,aAAa,CACXI,WADW,EAEXC,MAFW,EAGXC,MAHW,EAIXC,KAJW,EAIe;IAE1B,KAAKJ,UAAL,CAAgBH,aAAhB,CAA8BI,WAA9B,EAA2CC,MAA3C,EAAmDC,MAAnD,EAA2DC,KAA3D;EACD;;EACDN,WAAW,CAAOF,KAAP,EAA0BQ,KAA1B,EAAoD;IAC7D,KAAKJ,UAAL,CAAgBF,WAAhB,CAA4BF,KAA5B,EAAmCQ,KAAnC;EACD;;EACDf,cAAc,CAAOe,KAAP,EAAmCF,MAAnC,EAA4D;IACxE,KAAKF,UAAL,CAAgBX,cAAhB,CAA+Be,KAA/B,EAAsCF,MAAtC;EACD;;EACDV,eAAe,CAAOY,KAAP,EAAiC;IAC9C,KAAKJ,UAAL,CAAgBR,eAAhB,CAAgCY,KAAhC;EACD;;EACDX,cAAc,CAAOW,KAAP,EAAiC;IAC7C,KAAKJ,UAAL,CAAgBP,cAAhB,CAA+BW,KAA/B;EACD;;AAvBkD","names":["Supervisor","unsafeOnEffect","_fiber","_effect","unsafeOnSuspend","unsafeOnResume","ConstSupervisor","constructor","value","unsafeOnStart","unsafeOnEnd","ProxySupervisor","underlying","environment","effect","parent","fiber"],"sourceRoot":"","sources":["../../_src/Supervisor/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;AAQA;;;;;AAIA,OAAM,MAAgBA,UAAhB,CAA0B;EAS9BC,cAAc,CAAOC,MAAP,EAAoCC,OAApC,EAA8D;IAC1E;EACD;;EACDC,eAAe,CAAOF,MAAP,EAAkC;IAC/C;EACD;;EACDG,cAAc,CAAOH,MAAP,EAAkC;IAC9C;EACD;;AAjB6B;AAwBhC,OAAM,MAAOI,eAAP,SAAkCN,UAAlC,CAA+C;EAEnDO,YAAqBC,KAArB,EAAkC;IAChC;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;EACDC,aAAa;IACX;EACD;;EACDC,WAAW;IACT;EACD;;EACDT,cAAc;IACZ;EACD;;EACDG,eAAe;IACb;EACD;;EACDC,cAAc;IACZ;EACD;;AAnBkD;AAsBrD,OAAM,MAAOM,eAAP,SAAkCX,UAAlC,CAA+C;EAEnDO,YAAqBC,KAArB,EAA6CI,UAA7C,EAAwE;IACtE;IADmB;IAAwB;IADpC,YAAI;IAAA;IAAJ;EAGR;;EACDH,aAAa,CACXI,WADW,EAEXC,MAFW,EAGXC,MAHW,EAIXC,KAJW,EAIe;IAE1B,KAAKJ,UAAL,CAAgBH,aAAhB,CAA8BI,WAA9B,EAA2CC,MAA3C,EAAmDC,MAAnD,EAA2DC,KAA3D;EACD;;EACDN,WAAW,CAAOF,KAAP,EAA0BQ,KAA1B,EAAoD;IAC7D,KAAKJ,UAAL,CAAgBF,WAAhB,CAA4BF,KAA5B,EAAmCQ,KAAnC;EACD;;EACDf,cAAc,CAAOe,KAAP,EAAmCF,MAAnC,EAA4D;IACxE,KAAKF,UAAL,CAAgBX,cAAhB,CAA+Be,KAA/B,EAAsCF,MAAtC;EACD;;EACDV,eAAe,CAAOY,KAAP,EAAiC;IAC9C,KAAKJ,UAAL,CAAgBR,eAAhB,CAAgCY,KAAhC;EACD;;EACDX,cAAc,CAAOW,KAAP,EAAiC;IAC7C,KAAKJ,UAAL,CAAgBP,cAAhB,CAA+BW,KAA/B;EACD;;AAxBkD;AA2BrD,OAAM,MAAOC,GAAP,SAAyBjB,UAAzB,CAAoD;EAExDO,YAAqBW,KAArB,EAAoDC,MAApD,EAAyE;IACvE;IADmB;IAA+B;IAD3C,YAAI;IAAA;IAAJ;IAIT,aAAQC,0BAAKF,KAAL,CAAWV,KAAX,EAAqB,KAAKW,MAAL,CAAYX,KAAjC,EAAsCa,qBAAtC,CAAR;EADC;;EAEDZ,aAAa,CACXI,WADW,EAEXC,MAFW,EAGXC,MAHW,EAIXC,KAJW,EAIe;IAE1B,IAAI;MACF,KAAKE,KAAL,CAAWT,aAAX,CAAyBI,WAAzB,EAAsCC,MAAtC,EAA8CC,MAA9C,EAAsDC,KAAtD;IACD,CAFD,SAEU;MACR,KAAKG,MAAL,CAAYV,aAAZ,CAA0BI,WAA1B,EAAuCC,MAAvC,EAA+CC,MAA/C,EAAuDC,KAAvD;IACD;EACF;;EACDN,WAAW,CAAOF,KAAP,EAA0BQ,KAA1B,EAAoD;IAC7D,KAAKE,KAAL,CAAWR,WAAX,CAAuBF,KAAvB,EAA8BQ,KAA9B;IACA,KAAKG,MAAL,CAAYT,WAAZ,CAAwBF,KAAxB,EAA+BQ,KAA/B;EACD;;EACDf,cAAc,CAAOe,KAAP,EAAmCF,MAAnC,EAA4D;IACxE,KAAKI,KAAL,CAAWjB,cAAX,CAA0Be,KAA1B,EAAiCF,MAAjC;IACA,KAAKK,MAAL,CAAYlB,cAAZ,CAA2Be,KAA3B,EAAkCF,MAAlC;EACD;;EACDV,eAAe,CAAOY,KAAP,EAAiC;IAC9C,KAAKE,KAAL,CAAWd,eAAX,CAA2BY,KAA3B;IACA,KAAKG,MAAL,CAAYf,eAAZ,CAA4BY,KAA5B;EACD;;EACDX,cAAc,CAAOW,KAAP,EAAiC;IAC7C,KAAKE,KAAL,CAAWb,cAAX,CAA0BW,KAA1B;IACA,KAAKG,MAAL,CAAYd,cAAZ,CAA2BW,KAA3B;EACD;;AAjCuD;AAsC1D;;;;AAGA,OAAM,SAAUM,QAAV,CAAmBC,CAAnB,EAAqC,CACzC;AACD","names":["Supervisor","unsafeOnEffect","_fiber","_effect","unsafeOnSuspend","unsafeOnResume","ConstSupervisor","constructor","value","unsafeOnStart","unsafeOnEnd","ProxySupervisor","underlying","environment","effect","parent","fiber","Zip","first","second","tsplus_module_1","fileName_1","concrete","_"],"sourceRoot":"","sources":["../../_src/Supervisor/definition.ts"],"sourcesContent":[null]}

package/_mjs/SupervisorPatch.mjs

@@ -0,0 +1,131 @@
+import * as tsplus_module_1 from "@fncts/io/Supervisor/api";
+import * as tsplus_module_2 from "@fncts/base/collection/immutable/HashSet/api";
+import * as tsplus_module_3 from "@fncts/base/collection/immutable/List/definition";
+import * as tsplus_module_4 from "@fncts/base/collection/immutable/List/constructors";
+export const combine = combine_1;
+export const SupervisorPatchTypeId = /*#__PURE__*/Symbol.for("fncts.io.Supervisor.Patch");
+/**
+ * @tsplus type fncts.io.SupervisorPatch
+ * @tsplus companion fncts.io.SupervisorPatchOps
+ */
+
+export class SupervisorPatch {
+  constructor() {
+    this._typeId = SupervisorPatchTypeId;
+  }
+
+}
+export class AddSupervisor extends SupervisorPatch {
+  constructor(supervisor) {
+    super();
+    this.supervisor = supervisor;
+    this._tag = 0
+    /* SupervisorPatchTag.AddSupervisor */
+    ;
+  }
+
+}
+export class Combine extends SupervisorPatch {
+  constructor(first, second) {
+    super();
+    this.first = first;
+    this.second = second;
+    this._tag = 1
+    /* SupervisorPatchTag.Combine */
+    ;
+  }
+
+}
+export class Empty extends SupervisorPatch {
+  constructor() {
+    super(...arguments);
+    this._tag = 2
+    /* SupervisorPatchTag.Empty */
+    ;
+  }
+
+}
+export class RemoveSupervisor extends SupervisorPatch {
+  constructor(supervisor) {
+    super();
+    this.supervisor = supervisor;
+    this._tag = 3
+    /* SupervisorPatchTag.RemoveSupervisor */
+    ;
+  }
+
+}
+/**
+ * @tsplus macro remove
+ */
+
+export function concrete(_) {//
+}
+/**
+ * @tsplus static fncts.io.SupervisorPatchOps empty
+ */
+
+const empty_1 = /*#__PURE__*/new Empty();
+export const empty = empty_1;
+/**
+ * @tsplus fluent fncts.io.SupervisorPatch combine
+ */
+
+function combine_1(first, second) {
+  return new Combine(first, second);
+}
+/**
+ * @tsplus static fncts.io.SupervisorPatchOps diff
+ */
+
+
+export function diff(oldValue, newValue) {
+  if (oldValue === newValue) return new Empty();else {
+    const oldSupervisors = tsplus_module_1.toSet(oldValue);
+    const newSupervisors = tsplus_module_1.toSet(newValue);
+    const added = tsplus_module_2.foldLeft_(tsplus_module_2.difference_(newSupervisors, oldSupervisors), empty_1, (patch, supervisor) => combine_1(patch, new AddSupervisor(supervisor)));
+    const removed = tsplus_module_2.foldLeft_(tsplus_module_2.difference_(oldSupervisors, newSupervisors), empty_1, (patch, supervisor) => combine_1(patch, new RemoveSupervisor(supervisor)));
+    return combine_1(added, removed);
+  }
+}
+
+function applyLoop(supervisor, patches) {
+  if (tsplus_module_3.isEmpty(patches)) {
+    return supervisor;
+  }
+
+  const head = patches.head;
+  const tail = patches.tail;
+  void 0;
+
+  switch (head._tag) {
+    case 0
+    /* SupervisorPatchTag.AddSupervisor */
+    :
+      return applyLoop(tsplus_module_1.zip_(supervisor, head.supervisor), tail);
+
+    case 1
+    /* SupervisorPatchTag.Combine */
+    :
+      return applyLoop(supervisor, tsplus_module_4.cons(head.first, tsplus_module_4.cons(head.second, patches)));
+
+    case 2
+    /* SupervisorPatchTag.Empty */
+    :
+      return applyLoop(supervisor, tail);
+
+    case 3
+    /* SupervisorPatchTag.RemoveSupervisor */
+    :
+      return applyLoop(tsplus_module_1.removeSupervisor(supervisor, head.supervisor), tail);
+  }
+}
+/**
+ * @tsplus fluent fncts.io.SupervisorPatch __call
+ */
+
+
+export function apply(self, supervisor) {
+  return applyLoop(supervisor, tsplus_module_4.cons(self));
+}
+//# sourceMappingURL=SupervisorPatch.mjs.map

package/_mjs/SupervisorPatch.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"SupervisorPatch.mjs","mappings":";;;;aA4DgBA,OAAO;AA5DvB,OAAO,MAAMC,qBAAqB,gBAAGC,MAAM,CAACC,GAAP,CAAW,2BAAX,CAA9B;AAUP;;;;;AAIA,OAAM,MAAgBC,eAAhB,CAA+B;EAArCC;IACW,eAAiCJ,qBAAjC;EACV;;AAFoC;AAIrC,OAAM,MAAOK,aAAP,SAA6BF,eAA7B,CAA4C;EAEhDC,YAAqBE,UAArB,EAAgD;IAC9C;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJ+C;AAOlD,OAAM,MAAOC,OAAP,SAAuBJ,eAAvB,CAAsC;EAE1CC,YAAqBI,KAArB,EAAsDC,MAAtD,EAA6E;IAC3E;IADmB;IAAiC;IAD7C,YAAI;IAAA;IAAJ;EAGR;;AAJyC;AAO5C,OAAM,MAAOC,KAAP,SAAqBP,eAArB,CAAoC;EAA1CC;;IACW,YAAI;IAAA;IAAJ;EACV;;AAFyC;AAI1C,OAAM,MAAOO,gBAAP,SAAgCR,eAAhC,CAA+C;EAEnDC,YAAqBE,UAArB,EAAgD;IAC9C;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJkD;AASrD;;;;AAGA,OAAM,SAAUM,QAAV,CAAmBC,CAAnB,EAAqC,CACzC;AACD;AAED;;;;AAGO,MAAMC,uBAAyB,IAAIJ,KAAJ,EAA/B;aAAMK,KAAK;AAElB;;;;AAGA,mBAAwBP,KAAxB,EAAgDC,MAAhD,EAAuE;EACrE,OAAO,IAAIF,OAAJ,CAAYC,KAAZ,EAAmBC,MAAnB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUO,IAAV,CAAeC,QAAf,EAA0CC,QAA1C,EAAmE;EACvE,IAAID,QAAQ,KAAKC,QAAjB,EAA2B,OAAO,IAAIR,KAAJ,EAAP,CAA3B,KACK;IACH,MAAMS,cAAc,yBAAGF,QAAH,CAApB;IACA,MAAMG,cAAc,yBAAGF,QAAH,CAApB;IACA,MAAMG,KAAK,GAAYC,sEACTH,cADS,GACML,OADN,EAEY,CAACS,KAAD,EAAQjB,UAAR,KAAuBkB,iBAAc,IAAInB,aAAJ,CAAkBC,UAAlB,CAAd,CAFnC,CAAvB;IAGA,MAAMmB,OAAO,GAAGH,sEACFF,cADE,GACaN,OADb,EAEmB,CAACS,KAAD,EAAQjB,UAAR,KAAuBkB,iBAAc,IAAIb,gBAAJ,CAAqBL,UAArB,CAAd,CAF1C,CAAhB;IAGA,OAAOkB,iBAAcC,OAAd,CAAP;EACD;AACF;;AAED,SAASC,SAAT,CAAmBpB,UAAnB,EAAgDqB,OAAhD,EAA8E;EAC5E,IAAIC,gCAAJ,EAAuB;IACrB,OAAOtB,UAAP;EACD;;EACD,MAAMuB,IAAI,GAAGF,OAAO,CAACE,IAArB;EACA,MAAMC,IAAI,GAAGH,OAAO,CAACG,IAArB;EACA;;EACA,QAAQD,IAAI,CAACE,IAAb;IACE;IAAA;IAAA;MACE,OAAOL,SAAS,CAACM,iCAAeH,IAAI,CAACvB,UAApB,CAAD,EAAkCwB,IAAlC,CAAhB;;IACF;IAAA;IAAA;MACE,OAAOJ,SAAS,CAACpB,UAAD,EAAa2B,qBAAKJ,IAAI,CAACrB,KAAV,EAAiByB,qBAAKJ,IAAI,CAACpB,MAAV,EAAkBkB,OAAlB,CAAjB,CAAb,CAAhB;;IACF;IAAA;IAAA;MACE,OAAOD,SAAS,CAACpB,UAAD,EAAawB,IAAb,CAAhB;;IACF;IAAA;IAAA;MACE,OAAOJ,SAAS,CAACM,6CAA4BH,IAAI,CAACvB,UAAjC,CAAD,EAA+CwB,IAA/C,CAAhB;EARJ;AAUD;AAED;;;;;AAGA,OAAM,SAAUI,KAAV,CAAgBC,IAAhB,EAAuC7B,UAAvC,EAAkE;EACtE,OAAOoB,SAAS,CAACpB,UAAD,EAAa2B,qBAAKE,IAAL,CAAb,CAAhB;AACD","names":["combine","SupervisorPatchTypeId","Symbol","for","SupervisorPatch","constructor","AddSupervisor","supervisor","Combine","first","second","Empty","RemoveSupervisor","concrete","_","empty_1","empty","diff","oldValue","newValue","oldSupervisors","newSupervisors","added","tsplus_module_2","patch","combine_1","removed","applyLoop","patches","tsplus_module_3","head","tail","_tag","tsplus_module_1","tsplus_module_4","apply","self"],"sourceRoot":"","sources":["../_src/SupervisorPatch.ts"],"sourcesContent":[null]}

package/_src/Differ/api.ts

@@ -0,0 +1,72 @@
+import type { Environment } from "@fncts/base/data/Environment";
+import type { Supervisor } from "@fncts/io/Supervisor";
+
+import { SupervisorPatch } from "@fncts/io/SupervisorPatch";
+
+import { Differ } from "./definition.js";
+
+/**
+ * Constructs a differ that just diffs two values by returning a function that
+ * sets the value to the new value. This differ does not support combining
+ * multiple updates to the value compositionally and should only be used when
+ * there is no compositional way to update them.
+ *
+ * @tsplus static fncts.io.DifferOps update
+ */
+export function update<A>(): Differ<A, (_: A) => A> {
+  return new (class extends Differ<A, (_: A) => A> {
+    combine(first: (_: A) => A, second: (_: A) => A): (_: A) => A {
+      if (first === this.empty) return second;
+      else if (second === this.empty) return first;
+      return first.compose(second);
+    }
+    diff(oldValue: A, newValue: A): (_: A) => A {
+      if (oldValue === newValue) return this.empty;
+      else return () => newValue;
+    }
+    empty = Function.identity;
+    patch(patch: (_: A) => A): (oldValue: A) => A {
+      return patch;
+    }
+  })();
+}
+
+/**
+ * Constructs a differ that knows how to diff `Environment` values.
+ *
+ * @tsplus static fncts.io.DifferOps environment
+ */
+export function environment<A>(): Differ<Environment<A>, Environment.Patch<A, A>> {
+  return new (class extends Differ<Environment<A>, Environment.Patch<A, A>> {
+    combine(first: Environment.Patch<A, A>, second: Environment.Patch<A, A>): Environment.Patch<A, A> {
+      return first.combine(second);
+    }
+    diff(oldValue: Environment<A>, newValue: Environment<A>): Environment.Patch<A, A> {
+      return EnvironmentPatch.diff(oldValue, newValue);
+    }
+    empty = EnvironmentPatch.empty<A>();
+    patch(patch: Environment.Patch<A, A>): (oldValue: Environment<A>) => Environment<A> {
+      return (oldValue) => patch(oldValue);
+    }
+  })();
+}
+
+/**
+ * Constructs a differ that knows how to diff `Supervisor` values.
+ *
+ * @tsplus static fncts.io.DifferOps supervisor
+ */
+export function supervisor(): Differ<Supervisor<any>, Supervisor.Patch> {
+  return new (class extends Differ<Supervisor<any>, Supervisor.Patch> {
+    combine(first: SupervisorPatch, second: SupervisorPatch): SupervisorPatch {
+      return first.combine(second);
+    }
+    diff(oldValue: Supervisor<any>, newValue: Supervisor<any>): SupervisorPatch {
+      return SupervisorPatch.diff(oldValue, newValue);
+    }
+    empty: SupervisorPatch = SupervisorPatch.empty;
+    patch(patch: SupervisorPatch): (oldValue: Supervisor<any>) => Supervisor<any> {
+      return (oldValue) => patch(oldValue);
+    }
+  })();
+}

package/_src/Differ/definition.ts

@@ -0,0 +1,16 @@
+export const DifferTypeId = Symbol.for("fncts.io.Differ");
+export type DifferTypeId = typeof DifferTypeId;
+
+/**
+ * @tsplus type fncts.io.Differ
+ * @tsplus companion fncts.io.DifferOps
+ */
+export abstract class Differ<Value, Patch> {
+  readonly _typeId: DifferTypeId = DifferTypeId;
+  declare _Value: Value;
+  declare _Patch: Patch;
+  abstract readonly empty: Patch;
+  abstract combine(first: Patch, second: Patch): Patch;
+  abstract diff(oldValue: Value, newValue: Value): Patch;
+  abstract patch(patch: Patch): (oldValue: Value) => Value;
+}

package/_src/FiberRef/unsafe.ts

@@ -1,8 +1,9 @@
 import type { LogSpan } from "../LogSpan.js";
 import type { Scheduler } from "@fncts/io/internal/Scheduler.js";
 
+import { EnvironmentPatch } from "@fncts/base/data/EnvironmentPatch";
 import { identity } from "@fncts/base/data/function";
-import { Patch } from "@fncts/base/data/Patch";
+import { Differ } from "@fncts/io/Differ/definition";
 import { defaultScheduler } from "@fncts/io/internal/Scheduler";
 
 import { IsFatal } from "../internal/IsFatal.js";
@@ -13,26 +14,34 @@ import { FiberRefInternal } from "./definition.js";
  */
 export function unsafeMakePatch<Value, Patch>(
   initial: Value,
-  diff: (oldValue: Value, newValue: Value) => Patch,
-  combine: (first: Patch, second: Patch) => Patch,
-  patch: (patch: Patch) => (oldValue: Value) => Value,
+  differ: Differ<Value, Patch>,
   fork: Patch,
   join: (oldValue: Value, newValue: Value) => Value = (_, newValue) => newValue,
 ): FiberRef.WithPatch<Value, Patch> {
-  return new FiberRefInternal(initial, diff, combine, patch, fork, join);
+  return new FiberRefInternal(
+    initial,
+    (oldValue, newValue) => differ.diff(oldValue, newValue),
+    (first, second) => differ.combine(first, second),
+    (patch) => (oldValue) => differ.patch(patch)(oldValue),
+    fork,
+    join,
+  );
 }
 
 /**
  * @tsplus static fncts.io.FiberRefOps unsafeMakeEnvironment
  */
-export function unsafeMakeEnvironment<A>(initial: Environment<A>): FiberRef.WithPatch<Environment<A>, Patch<A, A>> {
-  return FiberRef.unsafeMakePatch(
-    initial,
-    Patch.diff,
-    (first, second) => first.compose(second),
-    (patch) => (value) => patch(value),
-    Patch.empty(),
-  );
+export function unsafeMakeEnvironment<A>(
+  initial: Environment<A>,
+): FiberRef.WithPatch<Environment<A>, Environment.Patch<A, A>> {
+  return FiberRef.unsafeMakePatch(initial, Differ.environment(), EnvironmentPatch.empty());
+}
+
+/**
+ * @tsplus static fncts.io.FiberRefOps unsafeMakeSupervisor
+ */
+export function unsafeMakeSupervisor(initial: Supervisor<any>): FiberRef.WithPatch<Supervisor<any>, SupervisorPatch> {
+  return FiberRef.unsafeMakePatch(initial, Differ.supervisor(), SupervisorPatch.empty);
 }
 
 /**
@@ -43,14 +52,7 @@ export function unsafeMake<A>(
   fork: (a: A) => A = identity,
   join: (a0: A, a1: A) => A = (_, a) => a,
 ): FiberRef.WithPatch<A, (_: A) => A> {
-  return FiberRef.unsafeMakePatch(
-    initial,
-    (_, newValue) => () => newValue,
-    (first, second) => (value) => second(first(value)),
-    (patch) => (value) => patch(value),
-    fork,
-    join,
-  );
+  return FiberRef.unsafeMakePatch(initial, Differ.update(), fork, join);
 }
 
 /**
@@ -95,7 +97,7 @@ export const currentScheduler = FiberRef.unsafeMake<Scheduler>(defaultScheduler)
 /**
  * @tsplus static fncts.io.FiberRefOps currentSupervisor
  */
-export const currentSupervisor = FiberRef.unsafeMake<Supervisor<any>>(Supervisor.none);
+export const currentSupervisor = FiberRef.unsafeMakeSupervisor(Supervisor.none);
 
 /**
  * @tsplus static fncts.io.FiberRefOps currentIsFatal

package/_src/IOEnv/definition.ts

@@ -1,5 +1,3 @@
-import type { Patch } from "@fncts/base/data/Patch";
-
 import { Console } from "@fncts/io/Console";
 
 export type IOEnv = Clock | Console | Random;

package/_src/IOEnv/services.ts

@@ -1,10 +1,11 @@
-import type { Patch } from "@fncts/base/data/Patch";
+import type { EnvironmentPatch } from "@fncts/base/data/EnvironmentPatch";
 
 import { environment } from "@fncts/io/IOEnv/definition";
 
 /**
  * @tsplus static fncts.io.IOEnvOps services
  */
-export const services: FiberRef.WithPatch<Environment<IOEnv>, Patch<IOEnv, IOEnv>> = FiberRef.unsafeMakeEnvironment(
-  environment,
-);
+export const services: FiberRef.WithPatch<
+  Environment<IOEnv>,
+  EnvironmentPatch<IOEnv, IOEnv>
+> = FiberRef.unsafeMakeEnvironment(environment);

package/_src/Supervisor/api.ts

@@ -1,36 +1,40 @@
+import { concrete, SupervisorTag, Zip } from "@fncts/io/Supervisor/definition";
+
 /**
  * @tsplus fluent fncts.io.Supervisor zip
  */
 export function zip_<A, B>(fa: Supervisor<A>, fb: Supervisor<B>): Supervisor<readonly [A, B]> {
-  return new (class extends Supervisor<readonly [A, B]> {
-    value = fa.value.zip(fb.value);
-    unsafeOnStart<R, E, A>(
-      environment: Environment<R>,
-      effect: IO<R, E, A>,
-      parent: Maybe<Fiber.Runtime<any, any>>,
-      fiber: Fiber.Runtime<E, A>,
-    ) {
-      try {
-        fa.unsafeOnStart(environment, effect, parent, fiber);
-      } finally {
-        fb.unsafeOnStart(environment, effect, parent, fiber);
-      }
-    }
-    unsafeOnEnd<E, A>(value: Exit<E, A>, fiber: Fiber.Runtime<E, A>) {
-      fa.unsafeOnEnd(value, fiber);
-      fb.unsafeOnEnd(value, fiber);
-    }
-    unsafeOnEffect<E, A>(fiber: Fiber.Runtime<E, A>, effect: IO<any, any, any>) {
-      fa.unsafeOnEffect(fiber, effect);
-      fb.unsafeOnEffect(fiber, effect);
-    }
-    unsafeOnSuspend<E, A>(fiber: Fiber.Runtime<E, A>) {
-      fa.unsafeOnSuspend(fiber);
-      fb.unsafeOnSuspend(fiber);
+  return new Zip(fa, fb);
+}
+
+/**
+ * @tsplus getter fncts.io.Supervisor toSet
+ */
+export function toSet(self: Supervisor<any>): HashSet<Supervisor<any>> {
+  concrete(self);
+  if (self === Supervisor.none) return HashSet.makeDefault();
+  else {
+    switch (self._tag) {
+      case SupervisorTag.Zip:
+        return self.first.toSet.union(self.second.toSet);
+      default:
+        return HashSet.makeDefault<Supervisor<any>>().add(self);
     }
-    unsafeOnResume<E, A>(fiber: Fiber.Runtime<E, A>) {
-      fa.unsafeOnResume(fiber);
-      fb.unsafeOnResume(fiber);
+  }
+}
+
+/**
+ * @tsplus fluent fncts.io.Supervisor removeSupervisor
+ */
+export function removeSupervisor(self: Supervisor<any>, that: Supervisor<any>): Supervisor<any> {
+  concrete(self);
+  if (self === that) return Supervisor.none;
+  else {
+    switch (self._tag) {
+      case SupervisorTag.Zip:
+        return self.first.removeSupervisor(that).zip(self.second.removeSupervisor(that));
+      default:
+        return self;
     }
-  })();
+  }
 }