@fncts/io 0.0.47 → 0.0.49

package/_mjs/Semaphore/definition.mjs

@@ -0,0 +1,141 @@
+const fileName_1 = "(@fncts/io) src/Semaphore/definition.ts";
+import * as tsplus_module_1 from "@fncts/base/data/Either/constructors";
+import * as tsplus_module_2 from "@fncts/io/Ref/constructors";
+import * as tsplus_module_3 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_4 from "@fncts/io/IO/api";
+import * as tsplus_module_5 from "@fncts/io/Semaphore/Reservation";
+import * as tsplus_module_6 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_7 from "@fncts/io/Future/api";
+import * as tsplus_module_8 from "@fncts/base/collection/immutable/Queue/api";
+import * as tsplus_module_9 from "@fncts/base/collection/immutable/Queue/constructors";
+import * as tsplus_module_10 from "@fncts/io/Future/constructors";
+import * as tsplus_module_11 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_12 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_13 from "@fncts/base/data/Exit/constructors";
+import * as tsplus_module_14 from "@fncts/io/IO/api/bracket";
+import * as tsplus_module_15 from "@fncts/io/IO/api/acquireRelease";
+import { IllegalArgumentError } from "@fncts/base/data/exceptions";
+import { Reservation } from "@fncts/io/Semaphore/Reservation";
+/**
+ * @tsplus type fncts.io.Semaphore
+ * @tsplus companion fncts.io.SemaphoreOps
+ */
+export class Semaphore {
+  constructor(permits) {
+    this.permits = permits;
+    this.ref = tsplus_module_2.unsafeMake(tsplus_module_1.right(this.permits, fileName_1 + ":12:99"), fileName_1 + ":12:23");
+  }
+  available(__tsplusTrace) {
+    return tsplus_module_4.map(_ => tsplus_module_3.match(() => 0, permits => permits)(_), fileName_1 + ":15:28")(this.ref.get);
+  }
+  tryReserve(n, __tsplusTrace) {
+    if (n < 0) {
+      return tsplus_module_4.halt(() => new IllegalArgumentError(`Unexpected negative ${n} permits requested`, "Semaphore.tryReserve"), fileName_1 + ":25:21");
+    } else if (n === 0) {
+      return tsplus_module_4.succeedNow(tsplus_module_6.just(tsplus_module_5.zero, fileName_1 + ":27:32"), fileName_1 + ":27:27");
+    } else {
+      return this.ref.modify(state => tsplus_module_3.match(() => [tsplus_module_6.nothing(fileName_1 + ":31:25"), state], permits => {
+        if (permits >= n) {
+          return [tsplus_module_6.just(new Reservation(tsplus_module_4.unit, this.releaseN(n, fileName_1 + ":34:66")), fileName_1 + ":34:27"), tsplus_module_1.right(permits - n, fileName_1 + ":34:85")];
+        } else {
+          return [tsplus_module_6.nothing(fileName_1 + ":36:30"), state];
+        }
+      })(state), fileName_1 + ":29:29");
+    }
+  }
+  reserve(n, __tsplusTrace) {
+    if (n < 0) {
+      return tsplus_module_4.halt(() => new IllegalArgumentError(`Unexpected negative ${n} permits requested`, "Semaphore.reserve"), fileName_1 + ":46:21");
+    } else if (n === 0) {
+      return tsplus_module_4.succeedNow(tsplus_module_5.zero, fileName_1 + ":48:27");
+    } else {
+      return tsplus_module_4.flatMap(future => this.ref.modify(state => tsplus_module_3.match(queue => [new Reservation(tsplus_module_7.wait(future, fileName_1 + ":54:37"), this.restore(future, n, fileName_1 + ":54:57")), tsplus_module_1.left(tsplus_module_8.enqueue([future, n])(queue), fileName_1 + ":55:26")], permits => {
+        if (permits >= n) {
+          return [new Reservation(tsplus_module_4.unit, this.releaseN(n, fileName_1 + ":59:63")), tsplus_module_1.right(permits - n, fileName_1 + ":59:81")];
+        } else {
+          return [new Reservation(tsplus_module_7.wait(future, fileName_1 + ":62:41"), this.restore(future, n, fileName_1 + ":62:61")), tsplus_module_1.left(tsplus_module_9.single([future, n - permits]), fileName_1 + ":63:30")];
+        }
+      })(state), fileName_1 + ":51:24"), fileName_1 + ":50:48")(tsplus_module_10.make(fileName_1 + ":50:25"));
+    }
+  }
+  restore(future, n, __tsplusTrace) {
+    return tsplus_module_4.flatten(this.ref.modify(state => tsplus_module_3.match(queue => tsplus_module_11.match(() => [this.releaseN(n, fileName_1 + ":80:35"), tsplus_module_1.left(queue, fileName_1 + ":80:51")], ([_, permits]) => [this.releaseN(n - permits, fileName_1 + ":82:30"), tsplus_module_1.left(tsplus_module_8.filter(([waiter]) => waiter !== future)(queue), fileName_1 + ":83:28")])(tsplus_module_8.find(([waiter]) => waiter === future)(queue)), permits => [tsplus_module_4.unit, tsplus_module_1.right(permits + n, fileName_1 + ":86:44")])(state), fileName_1 + ":74:27"), fileName_1 + ":88:6");
+  }
+  releaseN(n, __tsplusTrace) {
+    const self = this;
+    /**
+     * @tsplus tailRec
+     */
+    function loop(n, state, acc) {
+      var n_1 = n,
+        state_1 = state,
+        acc_1 = acc;
+      var n_2 = n,
+        state_2 = state,
+        acc_2 = acc;
+      while (1) {
+        void 0;
+        switch (state_1._tag) {
+          case "Right" /* EitherTag.Right */:
+            {
+              return [acc_1, tsplus_module_1.right(state_1.right + n_1, fileName_1 + ":105:36")];
+            }
+          case "Left" /* EitherTag.Left */:
+            {
+              const waiter = tsplus_module_8.dequeue(state_1.left);
+              void 0;
+              switch (waiter._tag) {
+                case "Nothing" /* MaybeTag.Nothing */:
+                  {
+                    return [acc_1, tsplus_module_1.right(self.permits, fileName_1 + ":114:40")];
+                  }
+                case "Just" /* MaybeTag.Just */:
+                  {
+                    const [[future, permits], queue] = waiter.value;
+                    if (n_1 > permits) {
+                      n_2 = n_1 - permits;
+                      state_2 = tsplus_module_1.left(queue, fileName_1 + ":119:53");
+                      acc_2 = tsplus_module_4.zipLeft(tsplus_module_7.succeed_(undefined, fileName_1 + ":119:88")(future), fileName_1 + ":119:73")(acc_1);
+                      n_1 = n_2;
+                      state_1 = state_2;
+                      acc_1 = acc_2;
+                      continue;
+                    } else if (n_1 === permits) {
+                      return [tsplus_module_4.zipRight(tsplus_module_4.asUnit(tsplus_module_7.succeedVoid_()(future), fileName_1 + ":121:54"), fileName_1 + ":121:37")(acc_1), tsplus_module_1.left(queue, fileName_1 + ":121:75")];
+                    } else {
+                      return [acc_1, tsplus_module_1.left(tsplus_module_8.prepend([future, permits - n_1])(queue), fileName_1 + ":123:41")];
+                    }
+                  }
+              }
+            }
+        }
+      }
+    }
+    return tsplus_module_4.flatten(this.ref.modify(state => loop(n, state, tsplus_module_4.unit), fileName_1 + ":131:27"), fileName_1 + ":131:63");
+  }
+  tryWithPermits(permits) {
+    return (io, __tsPlusTrace) => {
+      return tsplus_module_14.bracket(() => this.tryReserve(permits, fileName_1 + ":136:29"), r => tsplus_module_11.match(() => tsplus_module_4.nothing, () => tsplus_module_4.asJust(io, fileName_1 + ":140:21"))(r), r => tsplus_module_11.match(() => tsplus_module_13.unit, reservation => reservation.release)(r), fileName_1 + ":136:46");
+    };
+  }
+  tryWithPermit(io) {
+    return this.tryWithPermits(1)(io);
+  }
+  withPermits(permits) {
+    return io => {
+      return tsplus_module_14.bracket(() => this.reserve(permits, fileName_1 + ":158:21"), reservation => tsplus_module_4.zipRight(io, fileName_1 + ":159:47")(reservation.acquire), reservation => reservation.release, fileName_1 + ":157:24");
+    };
+  }
+  withPermit(io) {
+    return this.withPermits(1)(io);
+  }
+  withPermitsScoped(permits) {
+    return io => {
+      return tsplus_module_4.flatMap(reservation => tsplus_module_4.zipRight(io, fileName_1 + ":172:47")(reservation.acquire), fileName_1 + ":171:100")(tsplus_module_15.acquireRelease(() => this.reserve(permits, fileName_1 + ":171:44"), reservation => reservation.release, fileName_1 + ":171:31"));
+    };
+  }
+  withPermitScoped(io) {
+    return this.withPermitsScoped(1)(io);
+  }
+}
+//# sourceMappingURL=definition.mjs.map

package/_mjs/Semaphore/definition.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","names":["IllegalArgumentError","Reservation","Semaphore","constructor","permits","ref","tsplus_module_2","unsafeMake","tsplus_module_1","right","fileName_1","available","__tsplusTrace","tsplus_module_4","map","_","tsplus_module_3","match","get","tryReserve","n","halt","succeedNow","tsplus_module_6","just","tsplus_module_5","zero","modify","state","nothing","unit","releaseN","reserve","flatMap","future","queue","tsplus_module_7","wait","restore","left","tsplus_module_8","enqueue","tsplus_module_9","single","tsplus_module_10","make","flatten","tsplus_module_11","filter","waiter","find","self","loop","acc","state_1","acc_1","state_2","acc_2","_tag","n_1","dequeue","value","zipLeft","succeed_","undefined","zipRight","asUnit","succeedVoid_","prepend","tryWithPermits","io","__tsPlusTrace","tsplus_module_14","bracket","r","asJust","tsplus_module_13","reservation","release","tryWithPermit","withPermits","acquire","withPermit","withPermitsScoped","tsplus_module_15","acquireRelease","withPermitScoped"],"sources":["../../_src/Semaphore/definition.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;AACA,SAASA,oBAAoB,QAAQ,6BAA6B;AAClE,SAASC,WAAW,QAAQ,iCAAiC;AAE7D;;;;AAIA,OAAM,MAAOC,SAAS;EACpBC,YAAqBC,OAAe;IAAf,KAAAA,OAAO,GAAPA,OAAO;IAE5B,KAAAC,GAAG,GAAGC,eAAA,CAAAC,UAAA,CAA8EC,eAAA,CAAAC,KAAA,CAAa,IAAI,CAACL,OAAO,EAAAM,UAAA,YAAC,EAAAA,UAAA,YAAC;EAFxE;EAIvCC,SAASA,CAACC,aAAsB;IAC9B,OAAOC,eAAA,CAAAC,GAAA,CAAkBC,CAAC,IACxBC,eAAA,CAAAC,KAAA,CACE,MAAM,CAAC,EACNb,OAAO,IAAKA,OAAO,EAFtBW,CAAC,CAGA,EAAAL,UAAA,aAJI,IAAI,CAACL,GAAG,CAACa,GAAG,CAKlB;EACH;EAEAC,UAAUA,CAACC,CAAS,EAAER,aAAsB;IAC1C,IAAIQ,CAAC,GAAG,CAAC,EAAE;MACT,OAAOP,eAAA,CAAAQ,IAAA,OAAQ,IAAIrB,oBAAoB,CAAC,uBAAuBoB,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,EAAAV,UAAA,YAAC;IAChH,CAAC,MAAM,IAAIU,CAAC,KAAK,CAAC,EAAE;MAClB,OAAOP,eAAA,CAAAS,UAAA,CAAcC,eAAA,CAAAC,IAAA,CAAAC,eAAA,CAAAC,IAAA,EAAAhB,UAAA,YAAsB,EAAAA,UAAA,YAAC;IAC9C,CAAC,MAAM;MACL,OAAO,IAAI,CAACL,GAAG,CAACsB,MAAM,CAAEC,KAAK,IAC3BZ,eAAA,CAAAC,KAAA,CACE,MAAM,CAACM,eAAA,CAAAM,OAAA,CAAAnB,UAAA,YAAS,EAAEkB,KAAK,CAAC,EACvBxB,OAAO,IAAI;QACV,IAAIA,OAAO,IAAIgB,CAAC,EAAE;UAChB,OAAO,CAACG,eAAA,CAAAC,IAAA,CAAK,IAAIvB,WAAW,CAAAY,eAAA,CAAAiB,IAAA,EAAU,IAAI,CAACC,QAAQ,CAACX,CAAC,EAAAV,UAAA,YAAC,CAAC,EAAAA,UAAA,YAAC,EAAEF,eAAA,CAAAC,KAAA,CAAaL,OAAO,GAAGgB,CAAC,EAAAV,UAAA,YAAC,CAAC;QACtF,CAAC,MAAM;UACL,OAAO,CAACa,eAAA,CAAAM,OAAA,CAAAnB,UAAA,YAAS,EAAEkB,KAAK,CAAC;QAC3B;MACF,CAAC,EARHA,KAAK,CASJ,EAAAlB,UAAA,YACF;IACH;EACF;EAEAsB,OAAOA,CAACZ,CAAS,EAAER,aAAsB;IACvC,IAAIQ,CAAC,GAAG,CAAC,EAAE;MACT,OAAOP,eAAA,CAAAQ,IAAA,OAAQ,IAAIrB,oBAAoB,CAAC,uBAAuBoB,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,EAAAV,UAAA,YAAC;IAC7G,CAAC,MAAM,IAAIU,CAAC,KAAK,CAAC,EAAE;MAClB,OAAOP,eAAA,CAAAS,UAAA,CAAAG,eAAA,CAAAC,IAAA,EAAAhB,UAAA,YAA+B;IACxC,CAAC,MAAM;MACL,OAAOG,eAAA,CAAAoB,OAAA,CAAoCC,MAAM,IAC/C,IAAI,CAAC7B,GAAG,CAACsB,MAAM,CAAEC,KAAK,IACpBZ,eAAA,CAAAC,KAAA,CACGkB,KAAK,IAAK,CACT,IAAIlC,WAAW,CAAAmC,eAAA,CAAAC,IAAA,CAACH,MAAM,EAAAxB,UAAA,cAAQ,IAAI,CAAC4B,OAAO,CAACJ,MAAM,EAAEd,CAAC,EAAAV,UAAA,YAAC,CAAC,EACtDF,eAAA,CAAA+B,IAAA,CAAYC,eAAA,CAAAC,OAAA,CAAc,CAACP,MAAM,EAAEd,CAAC,CAAC,EAAzBe,KAAK,CAAqB,EAAAzB,UAAA,YAAC,CACxC,EACAN,OAAO,IAAI;QACV,IAAIA,OAAO,IAAIgB,CAAC,EAAE;UAChB,OAAO,CAAC,IAAInB,WAAW,CAAAY,eAAA,CAAAiB,IAAA,EAAU,IAAI,CAACC,QAAQ,CAACX,CAAC,EAAAV,UAAA,YAAC,CAAC,EAAEF,eAAA,CAAAC,KAAA,CAAaL,OAAO,GAAGgB,CAAC,EAAAV,UAAA,YAAC,CAAC;QAChF,CAAC,MAAM;UACL,OAAO,CACL,IAAIT,WAAW,CAAAmC,eAAA,CAAAC,IAAA,CAACH,MAAM,EAAAxB,UAAA,cAAQ,IAAI,CAAC4B,OAAO,CAACJ,MAAM,EAAEd,CAAC,EAAAV,UAAA,YAAC,CAAC,EACtDF,eAAA,CAAA+B,IAAA,CAAYG,eAAA,CAAAC,MAAA,CAAsB,CAACT,MAAM,EAAEd,CAAC,GAAGhB,OAAO,CAAC,CAAC,EAAAM,UAAA,YAAC,CAC1D;QACH;MACF,CAAC,EAdHkB,KAAK,CAeJ,EAAAlB,UAAA,YACF,EAAAA,UAAA,aAlBIkC,gBAAA,CAAAC,IAAA,CAAAnC,UAAA,YAA0B,CAmBhC;IACH;EACF;EAEA4B,OAAOA,CAACJ,MAA2B,EAAEd,CAAS,EAAER,aAAsB;IACpE,OAAAC,eAAA,CAAAiC,OAAA,CAAO,IAAI,CAACzC,GAAG,CAACsB,MAAM,CAAEC,KAAK,IAC3BZ,eAAA,CAAAC,KAAA,CACGkB,KAAK,IACJY,gBAAA,CAAA9B,KAAA,CAGI,MAAM,CAAC,IAAI,CAACc,QAAQ,CAACX,CAAC,EAAAV,UAAA,YAAC,EAAEF,eAAA,CAAA+B,IAAA,CAAYJ,KAAK,EAAAzB,UAAA,YAAC,CAAC,EAC5C,CAAC,CAACK,CAAC,EAAEX,OAAO,CAAC,KAAK,CAChB,IAAI,CAAC2B,QAAQ,CAACX,CAAC,GAAGhB,OAAO,EAAAM,UAAA,YAAC,EAC1BF,eAAA,CAAA+B,IAAA,CAAYC,eAAA,CAAAQ,MAAA,CAAa,CAAC,CAACC,MAAM,CAAC,KAAKA,MAAM,KAAKf,MAAM,EAA5CC,KAAK,CAAwC,EAAAzB,UAAA,YAAC,CAC3D,EAPL8B,eAAA,CAAAU,IAAA,CACQ,CAAC,CAACD,MAAM,CAAC,KAAKA,MAAM,KAAKf,MAAM,EADvCC,KAAK,CACmC,CAOrC,EACJ/B,OAAO,IAAK,CAAAS,eAAA,CAAAiB,IAAA,EAAUtB,eAAA,CAAAC,KAAA,CAAaL,OAAO,GAAGgB,CAAC,EAAAV,UAAA,YAAC,CAAC,EAXnDkB,KAAK,CAYJ,EAAAlB,UAAA,YACF,EAAAA,UAAA;EACH;EAEAqB,QAAQA,CAACX,CAAS,EAAER,aAAsB;IACxC,MAAMuC,IAAI,GAAG,IAAI;IAEjB;;;IAGA,SAASC,IAAIA,CACXhC,CAAS,EACTQ,KAAmE,EACnEyB,GAAc;gBAFdjC,CAAA;QAAAkC,OAAA,GACA1B,KAAA;QAAA2B,KAAA,GACAF,GAAA;gBAFAjC,CAAA;QAAAoC,OAAA,GACA5B,KAAA;QAAA6B,KAAA,GACAJ,GAAA;gBAC2E;QAC3E;QACA,QAAQC,OAAA,CAAMI,IAAI;UAChB;YAAsB;cACpB,OAAO,CAAAH,KAAA,EAAM/C,eAAA,CAAAC,KAAA,CAAa6C,OAAA,CAAM7C,KAAK,GAAAkD,GAAI,EAAAjD,UAAA,aAAC,CAAC;YAC7C;UACA;YAAqB;cACnB,MAAMuC,MAAM,GAAAT,eAAA,CAAAoB,OAAA,CAAGN,OAAA,CAAMf,IAAI,CAAQ;cAEjC;cAEA,QAAQU,MAAM,CAACS,IAAI;gBACjB;kBAAuB;oBACrB,OAAO,CAAAH,KAAA,EAAM/C,eAAA,CAAAC,KAAA,CAAa0C,IAAI,CAAC/C,OAAO,EAAAM,UAAA,aAAC,CAAC;kBAC1C;gBACA;kBAAoB;oBAClB,MAAM,CAAC,CAACwB,MAAM,EAAE9B,OAAO,CAAC,EAAE+B,KAAK,CAAC,GAAGc,MAAM,CAACY,KAAK;oBAC/C,IAAIF,GAAA,GAAIvD,OAAO,EAAE;4BACHuD,GAAA,GAAIvD,OAAO;gCAAEI,eAAA,CAAA+B,IAAA,CAAYJ,KAAK,EAAAzB,UAAA,aAAC;8BAAEG,eAAA,CAAAiD,OAAA,CAAY1B,eAAA,CAAA2B,QAAA,CAAeC,SAAS,EAAAtD,UAAA,cAAxBwB,MAAM,CAAmB,EAAAxB,UAAA,cAAA6C,KAAA,CAAC;;;;;oBACrF,CAAC,MAAM,IAAII,GAAA,KAAMvD,OAAO,EAAE;sBACxB,OAAO,CAACS,eAAA,CAAAoD,QAAA,CAAApD,eAAA,CAAAqD,MAAA,CAAa9B,eAAA,CAAA+B,YAAA,GAAAjC,MAAM,CAAU,EAAAxB,UAAA,eAAAA,UAAA,cAAA6C,KAAA,CAAQ,EAAE/C,eAAA,CAAA+B,IAAA,CAAYJ,KAAK,EAAAzB,UAAA,aAAC,CAAC;oBACpE,CAAC,MAAM;sBACL,OAAO,CAAA6C,KAAA,EAAM/C,eAAA,CAAA+B,IAAA,CAAYC,eAAA,CAAA4B,OAAA,CAAc,CAAClC,MAAM,EAAE9B,OAAO,GAAAuD,GAAI,CAAC,EAAnCxB,KAAK,CAA+B,EAAAzB,UAAA,aAAC,CAAC;oBACjE;kBACF;cACF;YACF;QACF;MACF;;IAEA,OAAAG,eAAA,CAAAiC,OAAA,CAAO,IAAI,CAACzC,GAAG,CAACsB,MAAM,CAAEC,KAAK,IAAKwB,IAAI,CAAChC,CAAC,EAAEQ,KAAK,EAAAf,eAAA,CAAAiB,IAAA,CAAU,EAAApB,UAAA,aAAC,EAAAA,UAAA;EAC5D;EAEA2D,cAAcA,CAACjE,OAAe;IAC5B,OAAO,CAAUkE,EAAe,EAAEC,aAAsB,KAAwB;MAC9E,OAAOC,gBAAA,CAAAC,OAAA,WAAI,CAACtD,UAAU,CAACf,OAAO,EAAAM,UAAA,aAAC,EAC5BgE,CAAC,IACA3B,gBAAA,CAAA9B,KAAA,CACE,MAAKJ,eAAA,CAAAgB,OAAW,EAChB,MAAKhB,eAAA,CAAA8D,MAAA,CAACL,EAAE,EAAA5D,UAAA,aAAO,EAFjBgE,CAAC,CAGA,EACFA,CAAC,IACA3B,gBAAA,CAAA9B,KAAA,CACE,MAAK2D,gBAAA,CAAA9C,IAAU,EACd+C,WAAW,IAAKA,WAAW,CAACC,OAAO,EAFtCJ,CAAC,CAGA,EAAAhE,UAAA,aACJ;IACH,CAAC;EACH;EAEAqE,aAAaA,CAAUT,EAAe;IACpC,OAAO,IAAI,CAACD,cAAc,CAAC,CAAC,CAAC,CAACC,EAAE,CAAC;EACnC;EAEAU,WAAWA,CAAC5E,OAAe;IACzB,OAAiBkE,EAAe,IAAiB;MAC/C,OAAOE,gBAAA,CAAAC,OAAA,OACL,IAAI,CAACzC,OAAO,CAAC5B,OAAO,EAAAM,UAAA,aAAC,EACpBmE,WAAW,IAAIhE,eAAA,CAAAoD,QAAA,CAAuBK,EAAE,EAAA5D,UAAA,cAAxBmE,WAAW,CAACI,OAAO,CAAK,EACxCJ,WAAW,IAAKA,WAAW,CAACC,OAAO,EAAApE,UAAA,aACrC;IACH,CAAC;EACH;EAEAwE,UAAUA,CAAUZ,EAAe;IACjC,OAAO,IAAI,CAACU,WAAW,CAAC,CAAC,CAAC,CAACV,EAAE,CAAC;EAChC;EAEAa,iBAAiBA,CAAC/E,OAAe;IAC/B,OAAiBkE,EAAe,IAAyB;MACvD,OAAOzD,eAAA,CAAAoB,OAAA,CACJ4C,WAAW,IAAIhE,eAAA,CAAAoD,QAAA,CAAuBK,EAAE,EAAA5D,UAAA,cAAxBmE,WAAW,CAACI,OAAO,CAAK,EAAAvE,UAAA,eADpC0E,gBAAA,CAAAC,cAAA,OAAkB,IAAI,CAACrD,OAAO,CAAC5B,OAAO,EAAAM,UAAA,aAAC,EAAGmE,WAAW,IAAKA,WAAW,CAACC,OAAO,EAAApE,UAAA,aAAC,CAEpF;IACH,CAAC;EACH;EAEA4E,gBAAgBA,CAAUhB,EAAe;IACvC,OAAO,IAAI,CAACa,iBAAiB,CAAC,CAAC,CAAC,CAACb,EAAE,CAAC;EACtC","ignoreList":[]}

package/_mjs/Semaphore.mjs

@@ -1,134 +1,5 @@
-const fileName_1 = "(@fncts/io) src/Semaphore.ts";
-import * as tsplus_module_1 from "@fncts/base/data/Either/constructors";
-import * as tsplus_module_2 from "@fncts/io/Ref/constructors";
-import * as tsplus_module_3 from "@fncts/base/data/Either/destructors";
-import * as tsplus_module_4 from "@fncts/io/IO/api";
-import * as tsplus_module_5 from "@fncts/io/Future/api";
-import * as tsplus_module_6 from "@fncts/base/collection/immutable/Queue/api";
-import * as tsplus_module_7 from "@fncts/base/collection/immutable/Queue/constructors";
-import * as tsplus_module_8 from "@fncts/io/Future/constructors";
-import * as tsplus_module_9 from "@fncts/base/data/Maybe/destructors";
-import * as tsplus_module_10 from "@fncts/base/data/Maybe/definition";
-import * as tsplus_module_11 from "@fncts/io/IO/api/bracket";
-import * as tsplus_module_12 from "@fncts/io/IO/api/acquireRelease";
-export const unsafeMakeSemaphore = unsafeMakeSemaphore_1;
-import { IllegalArgumentError } from "@fncts/base/data/exceptions";
-/**
- * @tsplus type fncts.io.Semaphore
- * @tsplus companion fncts.io.SemaphoreOps
- */
-export class Semaphore {
-  constructor(permits) {
-    this.permits = permits;
-    this.ref = tsplus_module_2.unsafeMake(tsplus_module_1.right(this.permits, fileName_1 + ":11:99"), fileName_1 + ":11:23");
-  }
-  available(__tsplusTrace) {
-    return tsplus_module_4.map(_ => tsplus_module_3.match(() => 0, permits => permits)(_), fileName_1 + ":14:28")(this.ref.get);
-  }
-  reserve(n, __tsplusTrace) {
-    if (n < 0) {
-      return tsplus_module_4.halt(() => new IllegalArgumentError(`Unexpected negative ${n} permits requested`, "Semaphore.reserve"), fileName_1 + ":24:21");
-    } else if (n === 0) {
-      return tsplus_module_4.succeedNow(new Reservation(tsplus_module_4.unit, tsplus_module_4.unit), fileName_1 + ":26:27");
-    } else {
-      return tsplus_module_4.flatMap(future => this.ref.modify(state => tsplus_module_3.match(queue => [new Reservation(tsplus_module_5.wait(future, fileName_1 + ":32:37"), this.restore(future, n, fileName_1 + ":32:57")), tsplus_module_1.left(tsplus_module_6.enqueue([future, n])(queue), fileName_1 + ":33:26")], permits => {
-        if (permits >= n) {
-          return [new Reservation(tsplus_module_4.unit, this.releaseN(n, fileName_1 + ":37:63")), tsplus_module_1.right(permits - n, fileName_1 + ":37:81")];
-        } else {
-          return [new Reservation(tsplus_module_5.wait(future, fileName_1 + ":40:41"), this.restore(future, n, fileName_1 + ":40:61")), tsplus_module_1.left(tsplus_module_7.single([future, n - permits]), fileName_1 + ":41:30")];
-        }
-      })(state), fileName_1 + ":29:24"), fileName_1 + ":28:48")(tsplus_module_8.make(fileName_1 + ":28:25"));
-    }
-  }
-  restore(future, n, __tsplusTrace) {
-    return tsplus_module_4.flatten(this.ref.modify(state => tsplus_module_3.match(queue => tsplus_module_9.match(() => [this.releaseN(n, fileName_1 + ":58:35"), tsplus_module_1.left(queue, fileName_1 + ":58:51")], ([_, permits]) => [this.releaseN(n - permits, fileName_1 + ":60:30"), tsplus_module_1.left(tsplus_module_6.filter(([waiter]) => waiter !== future)(queue), fileName_1 + ":61:28")])(tsplus_module_6.find(([waiter]) => waiter === future)(queue)), permits => [tsplus_module_4.unit, tsplus_module_1.right(permits + n, fileName_1 + ":64:44")])(state), fileName_1 + ":52:27"), fileName_1 + ":66:6");
-  }
-  releaseN(n, __tsplusTrace) {
-    const self = this;
-    /**
-     * @tsplus tailRec
-     */
-    function loop(n, state, acc) {
-      var n_1 = n,
-        state_1 = state,
-        acc_1 = acc;
-      var n_2 = n,
-        state_2 = state,
-        acc_2 = acc;
-      while (1) {
-        void 0;
-        switch (state_1._tag) {
-          case "Right" /* EitherTag.Right */:
-            {
-              return [acc_1, tsplus_module_1.right(state_1.right + n_1, fileName_1 + ":83:36")];
-            }
-          case "Left" /* EitherTag.Left */:
-            {
-              const waiter = tsplus_module_6.dequeue(state_1.left);
-              void 0;
-              switch (waiter._tag) {
-                case "Nothing" /* MaybeTag.Nothing */:
-                  {
-                    return [acc_1, tsplus_module_1.right(self.permits, fileName_1 + ":92:40")];
-                  }
-                case "Just" /* MaybeTag.Just */:
-                  {
-                    const [[future, permits], queue] = waiter.value;
-                    if (n_1 > permits) {
-                      n_2 = n_1 - permits;
-                      state_2 = tsplus_module_1.left(queue, fileName_1 + ":97:53");
-                      acc_2 = tsplus_module_4.zipLeft(tsplus_module_5.succeed_(undefined, fileName_1 + ":97:88")(future), fileName_1 + ":97:73")(acc_1);
-                      n_1 = n_2;
-                      state_1 = state_2;
-                      acc_1 = acc_2;
-                      continue;
-                    } else if (n_1 === permits) {
-                      return [tsplus_module_4.zipRight(tsplus_module_4.asUnit(tsplus_module_5.succeedVoid_()(future), fileName_1 + ":99:54"), fileName_1 + ":99:37")(acc_1), tsplus_module_1.left(queue, fileName_1 + ":99:75")];
-                    } else {
-                      return [acc_1, tsplus_module_1.left(tsplus_module_6.prepend([future, permits - n_1])(queue), fileName_1 + ":101:41")];
-                    }
-                  }
-              }
-            }
-        }
-      }
-    }
-    return tsplus_module_4.flatten(this.ref.modify(state => loop(n, state, tsplus_module_4.unit), fileName_1 + ":109:27"), fileName_1 + ":109:63");
-  }
-  withPermits(permits) {
-    return io => {
-      return tsplus_module_11.bracket(() => this.reserve(permits, fileName_1 + ":115:21"), reservation => tsplus_module_4.zipRight(io, fileName_1 + ":116:47")(reservation.acquire), reservation => reservation.release, fileName_1 + ":114:24");
-    };
-  }
-  withPermit(io) {
-    return this.withPermits(1)(io);
-  }
-  withPermitsScoped(permits) {
-    return io => {
-      return tsplus_module_4.flatMap(reservation => tsplus_module_4.zipRight(io, fileName_1 + ":129:47")(reservation.acquire), fileName_1 + ":128:100")(tsplus_module_12.acquireRelease(() => this.reserve(permits, fileName_1 + ":128:44"), reservation => reservation.release, fileName_1 + ":128:31"));
-    };
-  }
-  withPermitScoped(io) {
-    return this.withPermitsScoped(1)(io);
-  }
-}
-export class Reservation {
-  constructor(acquire, release) {
-    this.acquire = acquire;
-    this.release = release;
-  }
-}
-/**
- * @tsplus static fncts.io.SemaphoreOps unsafeMake
- */
-function unsafeMakeSemaphore_1(permits) {
-  return new Semaphore(permits);
-}
-/**
- * @tsplus static fncts.io.SemaphoreOps make
- * @tsplus static fncts.io.SemaphoreOps __call
- */
-export function makeSemaphore(permits, __tsplusTrace) {
-  return tsplus_module_4.succeed(() => unsafeMakeSemaphore_1(permits), __tsplusTrace);
-}
+// codegen:start { preset: barrel, include: ./Semaphore/*.ts }
+export * from "./Semaphore/constructors.mjs";
+export * from "./Semaphore/definition.mjs";
+export * from "./Semaphore/Reservation.mjs";
 //# sourceMappingURL=Semaphore.mjs.map

package/_mjs/Semaphore.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Semaphore.mjs","names":["unsafeMakeSemaphore","unsafeMakeSemaphore_1","IllegalArgumentError","Semaphore","constructor","permits","ref","tsplus_module_2","unsafeMake","tsplus_module_1","right","fileName_1","available","__tsplusTrace","tsplus_module_4","map","_","tsplus_module_3","match","get","reserve","n","halt","succeedNow","Reservation","unit","flatMap","future","modify","state","queue","tsplus_module_5","wait","restore","left","tsplus_module_6","enqueue","releaseN","tsplus_module_7","single","tsplus_module_8","make","flatten","tsplus_module_9","filter","waiter","find","self","loop","acc","state_1","acc_1","state_2","acc_2","_tag","n_1","dequeue","value","zipLeft","succeed_","undefined","zipRight","asUnit","succeedVoid_","prepend","withPermits","io","tsplus_module_11","bracket","reservation","acquire","release","withPermit","withPermitsScoped","tsplus_module_12","acquireRelease","withPermitScoped","makeSemaphore","succeed"],"sources":["../_src/Semaphore.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;aAoJgBA,mBAAmB,GAAAC,qBAAA;AAnJnC,SAASC,oBAAoB,QAAQ,6BAA6B;AAElE;;;;AAIA,OAAM,MAAOC,SAAS;EACpBC,YAAqBC,OAAe;IAAf,KAAAA,OAAO,GAAPA,OAAO;IAE5B,KAAAC,GAAG,GAAGC,eAAA,CAAAC,UAAA,CAA8EC,eAAA,CAAAC,KAAA,CAAa,IAAI,CAACL,OAAO,EAAAM,UAAA,YAAC,EAAAA,UAAA,YAAC;EAFxE;EAIvCC,SAASA,CAACC,aAAsB;IAC9B,OAAOC,eAAA,CAAAC,GAAA,CAAkBC,CAAC,IACxBC,eAAA,CAAAC,KAAA,CACE,MAAM,CAAC,EACNb,OAAO,IAAKA,OAAO,EAFtBW,CAAC,CAGA,EAAAL,UAAA,aAJI,IAAI,CAACL,GAAG,CAACa,GAAG,CAKlB;EACH;EAEAC,OAAOA,CAACC,CAAS,EAAER,aAAsB;IACvC,IAAIQ,CAAC,GAAG,CAAC,EAAE;MACT,OAAOP,eAAA,CAAAQ,IAAA,OAAQ,IAAIpB,oBAAoB,CAAC,uBAAuBmB,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,EAAAV,UAAA,YAAC;IAC7G,CAAC,MAAM,IAAIU,CAAC,KAAK,CAAC,EAAE;MAClB,OAAOP,eAAA,CAAAS,UAAA,CAAc,IAAIC,WAAW,CAAAV,eAAA,CAAAW,IAAA,EAAAX,eAAA,CAAAW,IAAA,CAAkB,EAAAd,UAAA,YAAC;IACzD,CAAC,MAAM;MACL,OAAOG,eAAA,CAAAY,OAAA,CAAoCC,MAAM,IAC/C,IAAI,CAACrB,GAAG,CAACsB,MAAM,CAAEC,KAAK,IACpBZ,eAAA,CAAAC,KAAA,CACGY,KAAK,IAAK,CACT,IAAIN,WAAW,CAAAO,eAAA,CAAAC,IAAA,CAACL,MAAM,EAAAhB,UAAA,cAAQ,IAAI,CAACsB,OAAO,CAACN,MAAM,EAAEN,CAAC,EAAAV,UAAA,YAAC,CAAC,EACtDF,eAAA,CAAAyB,IAAA,CAAYC,eAAA,CAAAC,OAAA,CAAc,CAACT,MAAM,EAAEN,CAAC,CAAC,EAAzBS,KAAK,CAAqB,EAAAnB,UAAA,YAAC,CACxC,EACAN,OAAO,IAAI;QACV,IAAIA,OAAO,IAAIgB,CAAC,EAAE;UAChB,OAAO,CAAC,IAAIG,WAAW,CAAAV,eAAA,CAAAW,IAAA,EAAU,IAAI,CAACY,QAAQ,CAAChB,CAAC,EAAAV,UAAA,YAAC,CAAC,EAAEF,eAAA,CAAAC,KAAA,CAAaL,OAAO,GAAGgB,CAAC,EAAAV,UAAA,YAAC,CAAC;QAChF,CAAC,MAAM;UACL,OAAO,CACL,IAAIa,WAAW,CAAAO,eAAA,CAAAC,IAAA,CAACL,MAAM,EAAAhB,UAAA,cAAQ,IAAI,CAACsB,OAAO,CAACN,MAAM,EAAEN,CAAC,EAAAV,UAAA,YAAC,CAAC,EACtDF,eAAA,CAAAyB,IAAA,CAAYI,eAAA,CAAAC,MAAA,CAAsB,CAACZ,MAAM,EAAEN,CAAC,GAAGhB,OAAO,CAAC,CAAC,EAAAM,UAAA,YAAC,CAC1D;QACH;MACF,CAAC,EAdHkB,KAAK,CAeJ,EAAAlB,UAAA,YACF,EAAAA,UAAA,aAlBI6B,eAAA,CAAAC,IAAA,CAAA9B,UAAA,YAA0B,CAmBhC;IACH;EACF;EAEAsB,OAAOA,CAACN,MAA2B,EAAEN,CAAS,EAAER,aAAsB;IACpE,OAAAC,eAAA,CAAA4B,OAAA,CAAO,IAAI,CAACpC,GAAG,CAACsB,MAAM,CAAEC,KAAK,IAC3BZ,eAAA,CAAAC,KAAA,CACGY,KAAK,IACJa,eAAA,CAAAzB,KAAA,CAGI,MAAM,CAAC,IAAI,CAACmB,QAAQ,CAAChB,CAAC,EAAAV,UAAA,YAAC,EAAEF,eAAA,CAAAyB,IAAA,CAAYJ,KAAK,EAAAnB,UAAA,YAAC,CAAC,EAC5C,CAAC,CAACK,CAAC,EAAEX,OAAO,CAAC,KAAK,CAChB,IAAI,CAACgC,QAAQ,CAAChB,CAAC,GAAGhB,OAAO,EAAAM,UAAA,YAAC,EAC1BF,eAAA,CAAAyB,IAAA,CAAYC,eAAA,CAAAS,MAAA,CAAa,CAAC,CAACC,MAAM,CAAC,KAAKA,MAAM,KAAKlB,MAAM,EAA5CG,KAAK,CAAwC,EAAAnB,UAAA,YAAC,CAC3D,EAPLwB,eAAA,CAAAW,IAAA,CACQ,CAAC,CAACD,MAAM,CAAC,KAAKA,MAAM,KAAKlB,MAAM,EADvCG,KAAK,CACmC,CAOrC,EACJzB,OAAO,IAAK,CAAAS,eAAA,CAAAW,IAAA,EAAUhB,eAAA,CAAAC,KAAA,CAAaL,OAAO,GAAGgB,CAAC,EAAAV,UAAA,YAAC,CAAC,EAXnDkB,KAAK,CAYJ,EAAAlB,UAAA,YACF,EAAAA,UAAA;EACH;EAEA0B,QAAQA,CAAChB,CAAS,EAAER,aAAsB;IACxC,MAAMkC,IAAI,GAAG,IAAI;IAEjB;;;IAGA,SAASC,IAAIA,CACX3B,CAAS,EACTQ,KAAmE,EACnEoB,GAAc;gBAFd5B,CAAA;QAAA6B,OAAA,GACArB,KAAA;QAAAsB,KAAA,GACAF,GAAA;gBAFA5B,CAAA;QAAA+B,OAAA,GACAvB,KAAA;QAAAwB,KAAA,GACAJ,GAAA;gBAC2E;QAC3E;QACA,QAAQC,OAAA,CAAMI,IAAI;UAChB;YAAsB;cACpB,OAAO,CAAAH,KAAA,EAAM1C,eAAA,CAAAC,KAAA,CAAawC,OAAA,CAAMxC,KAAK,GAAA6C,GAAI,EAAA5C,UAAA,YAAC,CAAC;YAC7C;UACA;YAAqB;cACnB,MAAMkC,MAAM,GAAAV,eAAA,CAAAqB,OAAA,CAAGN,OAAA,CAAMhB,IAAI,CAAQ;cAEjC;cAEA,QAAQW,MAAM,CAACS,IAAI;gBACjB;kBAAuB;oBACrB,OAAO,CAAAH,KAAA,EAAM1C,eAAA,CAAAC,KAAA,CAAaqC,IAAI,CAAC1C,OAAO,EAAAM,UAAA,YAAC,CAAC;kBAC1C;gBACA;kBAAoB;oBAClB,MAAM,CAAC,CAACgB,MAAM,EAAEtB,OAAO,CAAC,EAAEyB,KAAK,CAAC,GAAGe,MAAM,CAACY,KAAK;oBAC/C,IAAIF,GAAA,GAAIlD,OAAO,EAAE;4BACHkD,GAAA,GAAIlD,OAAO;gCAAEI,eAAA,CAAAyB,IAAA,CAAYJ,KAAK,EAAAnB,UAAA,YAAC;8BAAEG,eAAA,CAAA4C,OAAA,CAAY3B,eAAA,CAAA4B,QAAA,CAAeC,SAAS,EAAAjD,UAAA,aAAxBgB,MAAM,CAAmB,EAAAhB,UAAA,aAAAwC,KAAA,CAAC;;;;;oBACrF,CAAC,MAAM,IAAII,GAAA,KAAMlD,OAAO,EAAE;sBACxB,OAAO,CAACS,eAAA,CAAA+C,QAAA,CAAA/C,eAAA,CAAAgD,MAAA,CAAa/B,eAAA,CAAAgC,YAAA,GAAApC,MAAM,CAAU,EAAAhB,UAAA,cAAAA,UAAA,aAAAwC,KAAA,CAAQ,EAAE1C,eAAA,CAAAyB,IAAA,CAAYJ,KAAK,EAAAnB,UAAA,YAAC,CAAC;oBACpE,CAAC,MAAM;sBACL,OAAO,CAAAwC,KAAA,EAAM1C,eAAA,CAAAyB,IAAA,CAAYC,eAAA,CAAA6B,OAAA,CAAc,CAACrC,MAAM,EAAEtB,OAAO,GAAAkD,GAAI,CAAC,EAAnCzB,KAAK,CAA+B,EAAAnB,UAAA,aAAC,CAAC;oBACjE;kBACF;cACF;YACF;QACF;MACF;;IAEA,OAAAG,eAAA,CAAA4B,OAAA,CAAO,IAAI,CAACpC,GAAG,CAACsB,MAAM,CAAEC,KAAK,IAAKmB,IAAI,CAAC3B,CAAC,EAAEQ,KAAK,EAAAf,eAAA,CAAAW,IAAA,CAAU,EAAAd,UAAA,aAAC,EAAAA,UAAA;EAC5D;EAEAsD,WAAWA,CAAC5D,OAAe;IACzB,OAAiB6D,EAAe,IAAiB;MAC/C,OAAOC,gBAAA,CAAAC,OAAA,OACL,IAAI,CAAChD,OAAO,CAACf,OAAO,EAAAM,UAAA,aAAC,EACpB0D,WAAW,IAAIvD,eAAA,CAAA+C,QAAA,CAAuBK,EAAE,EAAAvD,UAAA,cAAxB0D,WAAW,CAACC,OAAO,CAAK,EACxCD,WAAW,IAAKA,WAAW,CAACE,OAAO,EAAA5D,UAAA,aACrC;IACH,CAAC;EACH;EAEA6D,UAAUA,CAAUN,EAAe;IACjC,OAAO,IAAI,CAACD,WAAW,CAAC,CAAC,CAAC,CAACC,EAAE,CAAC;EAChC;EAEAO,iBAAiBA,CAACpE,OAAe;IAC/B,OAAiB6D,EAAe,IAAyB;MACvD,OAAOpD,eAAA,CAAAY,OAAA,CACJ2C,WAAW,IAAIvD,eAAA,CAAA+C,QAAA,CAAuBK,EAAE,EAAAvD,UAAA,cAAxB0D,WAAW,CAACC,OAAO,CAAK,EAAA3D,UAAA,eADpC+D,gBAAA,CAAAC,cAAA,OAAkB,IAAI,CAACvD,OAAO,CAACf,OAAO,EAAAM,UAAA,aAAC,EAAG0D,WAAW,IAAKA,WAAW,CAACE,OAAO,EAAA5D,UAAA,aAAC,CAEpF;IACH,CAAC;EACH;EAEAiE,gBAAgBA,CAAUV,EAAe;IACvC,OAAO,IAAI,CAACO,iBAAiB,CAAC,CAAC,CAAC,CAACP,EAAE,CAAC;EACtC;;AAGF,OAAM,MAAO1C,WAAW;EACtBpB,YACWkE,OAAkB,EAClBC,OAAkB;IADlB,KAAAD,OAAO,GAAPA,OAAO;IACP,KAAAC,OAAO,GAAPA,OAAO;EACf;;AAGL;;;AAGA,SAAAtE,sBAAoCI,OAAe;EACjD,OAAO,IAAIF,SAAS,CAACE,OAAO,CAAC;AAC/B;AAEA;;;;AAIA,OAAM,SAAUwE,aAAaA,CAACxE,OAAe,EAAEQ,aAAsB;EACnE,OAAOC,eAAA,CAAAgE,OAAA,OAAG7E,qBAAA,CAAqBI,OAAO,CAAC,EADMQ,aAAA,CACL;AAC1C","ignoreList":[]}
+{"version":3,"file":"Semaphore.mjs","names":[],"sources":["../_src/Semaphore.ts"],"sourcesContent":[null],"mappings":"AAAA;AACA,cAAc,8BAA6B;AAC3C,cAAc,4BAA2B;AACzC,cAAc,6BAA4B","ignoreList":[]}