@fncts/io 0.0.8 → 0.0.11

package/_mjs/TReentrantLock/definition.mjs

@@ -0,0 +1,102 @@
+import * as tsplus_module_1 from "@fncts/base/typeclass/Equatable/api";
+import * as tsplus_module_2 from "@fncts/base/collection/immutable/HashMap/api";
+import * as tsplus_module_3 from "@fncts/base/collection/Iterable/api";
+import * as tsplus_module_4 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_5 from "@fncts/base/data/FiberId/api";
+/**
+ * A `TReentrantLock` is a reentrant read/write lock. Multiple readers may all
+ * concurrently acquire read locks. Only one writer is allowed to acquire a
+ * write lock at any given time. Read locks may be upgraded into write locks. A
+ * fiber that has a write lock may acquire other write locks or read locks.
+ *
+ * The two primary methods of this structure are `readLock`, which acquires a
+ * read lock in a scoped context, and `writeLock`, which acquires a write lock
+ * in a scoped context.
+ *
+ * Although located in the STM package, there is no need for locks within STM
+ * transactions. However, this lock can be quite useful in effectful code, to
+ * provide consistent read/write access to mutable state; and being in STM
+ * allows this structure to be composed into more complicated concurrent
+ * structures that are consumed from effectful code.
+ *
+ * @tsplus type fncts.io.TReentrantLock
+ * @tsplus companion fncts.io.TReentrantLockOps
+ */
+
+export class TReentrantLock {
+  constructor(data) {
+    this.data = data;
+  }
+
+}
+/**
+ * @tsplus type fncts.io.TReentrantLock.WriteLock
+ * @tsplus companion fncts.io.TReentrantLock.WriteLockOps
+ */
+
+export class WriteLock {
+  constructor(writeLocks, readLocks, fiberId) {
+    this.writeLocks = writeLocks;
+    this.readLocks = readLocks;
+    this.fiberId = fiberId;
+    this._tag = 0
+    /* LockTag.WriteLock */
+    ;
+  }
+
+  readLocksHeld(fiberId) {
+    return tsplus_module_1.strictEquals(this.fiberId, fiberId) ? this.readLocks : 0;
+  }
+
+  writeLocksHeld(fiberId) {
+    return tsplus_module_1.strictEquals(this.fiberId, fiberId) ? this.writeLocks : 0;
+  }
+
+}
+/**
+ * @tsplus type fncts.io.TReentrantLock.ReadLock
+ * @tsplus companion fncts.io.TReentrantLock.ReadLockOps
+ */
+
+export class ReadLock {
+  constructor(readers) {
+    this.readers = readers;
+    this._tag = 1
+    /* LockTag.ReadLock */
+    ;
+    this.writeLocks = 0;
+  }
+
+  get readLocks() {
+    return tsplus_module_3.sum(tsplus_module_2.values(this.readers));
+  }
+
+  readLocksHeld(fiberId) {
+    return tsplus_module_4.getOrElse_(tsplus_module_2.get_(this.readers, fiberId), () => 0);
+  }
+
+  writeLocksHeld(_fiberId) {
+    return 0;
+  }
+
+  noOtherHolder(fiberId) {
+    return tsplus_module_2.isEmpty(this.readers) || this.readers.size === 1 && tsplus_module_2.has_(this.readers, fiberId);
+  }
+
+  adjust(fiberId, adjust) {
+    const total = this.readLocksHeld(fiberId);
+    const newTotal = total + adjust;
+
+    if (newTotal < 0) {
+      throw new Error(`Defect: Fiber ${tsplus_module_5.threadName(fiberId)} releasing read lock it does not hold`);
+    }
+
+    if (newTotal === 0) {
+      return new ReadLock(tsplus_module_2.remove_(this.readers, fiberId));
+    }
+
+    return new ReadLock(tsplus_module_2.set_(this.readers, fiberId, newTotal));
+  }
+
+}
+//# sourceMappingURL=definition.mjs.map

package/_mjs/TReentrantLock/definition.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","mappings":";;;;;AAAA;;;;;;;;;;;;;;;;;;;;AAmBA,OAAM,MAAOA,cAAP,CAAqB;EACzBC,YAAqBC,IAArB,EAA2C;IAAtB;EAA0B;;AADtB;AAgB3B;;;;;AAIA,OAAM,MAAOC,SAAP,CAAgB;EAEpBF,YAAqBG,UAArB,EAAkDC,SAAlD,EAA8EC,OAA9E,EAA8F;IAAzE;IAA6B;IAA4B;IADrE,YAAI;IAAA;IAAJ;EACyF;;EAClGC,aAAa,CAACD,OAAD,EAAiB;IAC5B,OAAOE,kCAAKF,OAAL,EAAgBA,OAAhB,IAA0B,KAAKD,SAA/B,GAA2C,CAAlD;EACD;;EACDI,cAAc,CAACH,OAAD,EAAiB;IAC7B,OAAOE,kCAAKF,OAAL,EAAgBA,OAAhB,IAA0B,KAAKF,UAA/B,GAA4C,CAAnD;EACD;;AARmB;AAWtB;;;;;AAIA,OAAM,MAAOM,QAAP,CAAe;EAEnBT,YAAqBU,OAArB,EAAsD;IAAjC;IADZ,YAAI;IAAA;IAAJ;IAKT,kBAAa,CAAb;EAJ0D;;EAC7C,IAATN,SAAS;IACX,2BAAQO,4BAAKD,OAAL,CAAR;EACD;;EAGDJ,aAAa,CAACD,OAAD,EAAiB;IAC5B,OAAOO,qDAAKF,OAAL,EAAiBL,OAAjB,GAAyB,MAAW,CAApC,CAAP;EACD;;EACDG,cAAc,CAACK,QAAD,EAAkB;IAC9B,OAAO,CAAP;EACD;;EAEDC,aAAa,CAACT,OAAD,EAAiB;IAC5B,OAAOM,6BAAKD,OAAL,KAAyB,KAAKA,OAAL,CAAaK,IAAb,KAAsB,CAAtB,IAA2BJ,0BAAKD,OAAL,EAAiBL,OAAjB,CAA3D;EACD;;EACDW,MAAM,CAACX,OAAD,EAAmBW,MAAnB,EAAiC;IACrC,MAAMC,KAAK,GAAM,KAAKX,aAAL,CAAmBD,OAAnB,CAAjB;IACA,MAAMa,QAAQ,GAAGD,KAAK,GAAGD,MAAzB;;IACA,IAAIE,QAAQ,GAAG,CAAf,EAAkB;MAChB,MAAM,IAAIC,KAAJ,CAAU,iBAAiBC,mCAAkB,uCAA7C,CAAN;IACD;;IACD,IAAIF,QAAQ,KAAK,CAAjB,EAAoB;MAClB,OAAO,IAAIT,QAAJ,CAAaE,6BAAKD,OAAL,EAAoBL,OAApB,CAAb,CAAP;IACD;;IACD,OAAO,IAAII,QAAJ,CAAaE,0BAAKD,OAAL,EAAiBL,OAAjB,EAA0Ba,QAA1B,CAAb,CAAP;EACD;;AA5BkB","names":["TReentrantLock","constructor","data","WriteLock","writeLocks","readLocks","fiberId","readLocksHeld","tsplus_module_1","writeLocksHeld","ReadLock","readers","tsplus_module_2","tsplus_module_4","_fiberId","noOtherHolder","size","adjust","total","newTotal","Error","tsplus_module_5"],"sourceRoot":"","sources":["../../_src/TReentrantLock/definition.ts"],"sourcesContent":[null]}

package/_mjs/TReentrantLock.mjs

@@ -0,0 +1,4 @@
+// codegen:start { preset: barrel, include: TReentrantLock/*.ts }
+export * from "./TReentrantLock/api.mjs";
+export * from "./TReentrantLock/definition.mjs";
+//# sourceMappingURL=TReentrantLock.mjs.map

package/_mjs/TReentrantLock.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"TReentrantLock.mjs","mappings":"AAAA;AACA,cAAc,0BAAd;AACA,cAAc,iCAAd","names":[],"sourceRoot":"","sources":["../_src/TReentrantLock.ts"],"sourcesContent":[null]}

package/_mjs/TRef/api.mjs

@@ -2,8 +2,8 @@ import * as tsplus_module_1 from "@fncts/io/STM/internal/Entry";
 import * as tsplus_module_2 from "@fncts/io/STM/api/core-constructors";
 import * as tsplus_module_3 from "@fncts/base/data/Either/destructors";
 import * as tsplus_module_4 from "@fncts/io/STM/api/core-api";
-import * as tsplus_module_5 from "@fncts/io/STM/api";
-import * as tsplus_module_6 from "@fncts/base/data/Either/constructors";
+import * as tsplus_module_5 from "@fncts/base/data/Either/constructors";
+import * as tsplus_module_6 from "@fncts/io/STM/api";
 import * as tsplus_module_7 from "@fncts/base/data/Maybe/api";
 import * as tsplus_module_8 from "@fncts/base/data/Maybe/definition";
 import * as tsplus_module_9 from "@fncts/base/data/Maybe/destructors";
@@ -79,17 +79,17 @@ function modify_1(self, f) {
 
     case "Derived":
       {
-        return tsplus_module_5.absolve(self.use((getEither, setEither, value, _atomic) => modify_1(value, s => tsplus_module_3.match_(getEither(s), e => [tsplus_module_6.left(e), s], a1 => {
+        return tsplus_module_6.absolve(self.use((getEither, setEither, value, _atomic) => modify_1(value, s => tsplus_module_3.match_(getEither(s), e => [tsplus_module_5.left(e), s], a1 => {
           const [b, a2] = f(a1);
-          return tsplus_module_3.match_(setEither(a2), e => [tsplus_module_6.left(e), s], s => [tsplus_module_6.right(b), s]);
+          return tsplus_module_3.match_(setEither(a2), e => [tsplus_module_5.left(e), s], s => [tsplus_module_5.right(b), s]);
         }))));
       }
 
     case "DerivedAll":
       {
-        return tsplus_module_5.absolve(self.use((getEither, setEither, value, atomic) => modify_1(value, s => tsplus_module_3.match_(getEither(s), e => [tsplus_module_6.left(e), s], a1 => {
+        return tsplus_module_6.absolve(self.use((getEither, setEither, value, atomic) => modify_1(value, s => tsplus_module_3.match_(getEither(s), e => [tsplus_module_5.left(e), s], a1 => {
           const [b, a2] = f(a1);
-          return tsplus_module_3.match_(setEither(a2)(s), e => [tsplus_module_6.left(e), s], s => [tsplus_module_6.right(b), s]);
+          return tsplus_module_3.match_(setEither(a2)(s), e => [tsplus_module_5.left(e), s], s => [tsplus_module_5.right(b), s]);
         }))));
       }
   }
@@ -120,7 +120,7 @@ function set_1(self, a) {
 
     case "DerivedAll":
       {
-        return tsplus_module_5.absolve(self.use((_getEither, setEither, value, _atomic) => modify_1(value, s => tsplus_module_3.match_(setEither(a)(s), e => [tsplus_module_6.left(e), s], s => [tsplus_module_6.right(undefined), s]))));
+        return tsplus_module_6.absolve(self.use((_getEither, setEither, value, _atomic) => modify_1(value, s => tsplus_module_3.match_(setEither(a)(s), e => [tsplus_module_5.left(e), s], s => [tsplus_module_5.right(undefined), s]))));
       }
   }
 }

package/_mjs/TRef/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;;;aAqBgBA,GAAG;aA4BHC,OAAO;aAoDPC,IAAI;aA0IJC,OAAO;aA6BPC,aAAa;AAzQ7B,SAASC,MAAT,QAAuB,uBAAvB;AAEA,SAASC,QAAT,QAAyB,wBAAzB;;AAEA,SAASC,cAAT,CAA2BC,IAA3B,EAA4CC,OAA5C,EAA4D;EAC1D,IAAIA,OAAO,CAACC,GAAR,CAAYF,IAAZ,CAAJ,EAAuB;IACrB,OAAOC,OAAO,CAACT,GAAR,CAAYQ,IAAZ,CAAP;EACD;;EACD,MAAMG,KAAK,GAAGC,qBAAWJ,IAAX,EAAiB,KAAjB,CAAd;EACAC,OAAO,CAACI,GAAR,CAAYL,IAAZ,EAAkBG,KAAlB;EACA,OAAOA,KAAP;AACD;AAED;;;;;;;AAKA,eAAkCH,IAAlC,EAA0D;EACxD;;EACA,QAAQA,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAGJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA5B;UACA,OAAOE,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAAP;QACD,CAHM,CAAP;MAID;;IACD,KAAK,SAAL;MAAgB;QACd,OAAOT,IAAI,CAACO,GAAL,CAAS,CAACG,SAAD,EAAYC,UAAZ,EAAwBC,KAAxB,EAA+BC,OAA/B,KACdC,+BAAIF,KAAJ,GAAoBG,CAAD,IAAOC,gCAAS,CAACD,CAAD,CAAT,EAAYE,uBAAZ,EAAYA,0BAAZ,CAA1B,CADK,CAAP;MAGD;;IACD,KAAK,YAAL;MAAmB;QACjB,OAAOjB,IAAI,CAACO,GAAL,CAAS,CAACG,SAAD,EAAYC,UAAZ,EAAwBC,KAAxB,EAA+BC,OAA/B,KACdC,+BAAIF,KAAJ,GAAoBG,CAAD,IAAOC,gCAAS,CAACD,CAAD,CAAT,EAAYE,uBAAZ,EAAYA,0BAAZ,CAA1B,CADK,CAAP;MAGD;EAhBH;AAkBD;AAED;;;;;;;;AAMA,kBAAiCjB,IAAjC,EAAyDkB,CAAzD,EAAqF;EACnF;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAkBJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA3C;UACA,MAAMkB,QAAQ,GAAehB,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAA7B;UACA,MAAM,CAACW,QAAD,EAAWC,QAAX,IAAuBH,CAAC,CAACC,QAAD,CAA9B;UACAhB,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYD,QAAZ,CAAjB;UACA,OAAOD,QAAP;QACD,CANM,CAAP;MAOD;;IACD,KAAK,SAAL;MAAgB;QACd,+BAAOpB,IAAI,CAACO,GAAL,CAAS,CAACG,SAAD,EAAYa,SAAZ,EAAuBX,KAAvB,EAA8BC,OAA9B,KACdW,SAAQZ,KAAR,EAAgBG,CAAD,IACbC,gCAAS,CAACD,CAAD,CAAT,EACGU,CAAD,IAAO,CAACC,qBAAkBD,CAAlB,CAAD,EAAuBV,CAAvB,CADT,EAEGY,EAAD,IAAO;UACL,MAAM,CAACC,CAAD,EAAIC,EAAJ,IAAUX,CAAC,CAACS,EAAD,CAAjB;UACA,OAAOX,gCAAS,CAACa,EAAD,CAAT,EACJJ,CAAD,IAAO,CAACC,qBAAYD,CAAZ,CAAD,EAAiBV,CAAjB,CADF,EAEJA,CAAD,IAAO,CAACW,sBAAaE,CAAb,CAAD,EAAkBb,CAAlB,CAFF,CAAP;QAID,CARH,CADF,CADK,CAAP;MAcD;;IACD,KAAK,YAAL;MAAmB;QACjB,+BAAOf,IAAI,CAACO,GAAL,CAAS,CAACG,SAAD,EAAYa,SAAZ,EAAuBX,KAAvB,EAA8BkB,MAA9B,KACdN,SAAQZ,KAAR,EAAgBG,CAAD,IACbC,gCAAS,CAACD,CAAD,CAAT,EACGU,CAAD,IAAO,CAACC,qBAAkBD,CAAlB,CAAD,EAAuBV,CAAvB,CADT,EAEGY,EAAD,IAAO;UACL,MAAM,CAACC,CAAD,EAAIC,EAAJ,IAAUX,CAAC,CAACS,EAAD,CAAjB;UACA,OAAOX,gCAAS,CAACa,EAAD,CAAT,CAAcd,CAAd,GACJU,CAAD,IAAO,CAACC,qBAAYD,CAAZ,CAAD,EAAiBV,CAAjB,CADF,EAEJA,CAAD,IAAO,CAACW,sBAAaE,CAAb,CAAD,EAAkBb,CAAlB,CAFF,CAAP;QAID,CARH,CADF,CADK,CAAP;MAcD;EAzCH;AA2CD;AAED;;;;;;;AAKA,eAAmCf,IAAnC,EAA6D+B,CAA7D,EAAiE;EAC/D;;EACA,QAAQ/B,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAGJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA5B;UACA,OAAOE,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYS,CAAZ,CAAjB,CAAP;QACD,CAHM,CAAP;MAID;;IACD,KAAK,SAAL;MAAgB;QACd,OAAO/B,IAAI,CAACO,GAAL,CAAS,CAACyB,UAAD,EAAaT,SAAb,EAAwBX,KAAxB,EAA+BC,OAA/B,KACdG,gCAAS,CAACe,CAAD,CAAT,EAAYd,uBAAZ,EAAiCF,CAAD,IAAOkB,MAAKrB,KAAL,EAAYG,CAAZ,CAAvC,CADK,CAAP;MAGD;;IACD,KAAK,YAAL;MAAmB;QACjB,+BAAOf,IAAI,CAACO,GAAL,CAAS,CAACyB,UAAD,EAAaT,SAAb,EAAwBX,KAAxB,EAA+BC,OAA/B,KACdW,SAAQZ,KAAR,EAAgBG,CAAD,IACbC,gCAAS,CAACe,CAAD,CAAT,CAAahB,CAAb,GACGU,CAAD,IAAO,CAACC,qBAAYD,CAAZ,CAAD,EAAiBV,CAAjB,CADT,EAEGA,CAAD,IAAO,CAACW,sBAAaQ,SAAb,CAAD,EAA0BnB,CAA1B,CAFT,CADF,CADK,CAAP;MAQD;EArBH;AAuBD;AAED;;;;;;;AAKA,OAAM,SAAUoB,UAAV,CAAmCnC,IAAnC,EAA6DC,OAA7D,EAA6E;EACjF;;EACA,QAAQD,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MACE,OAAOP,cAAc,CAACC,IAAI,CAAC8B,MAAN,EAAc7B,OAAd,CAAd,CAAqCM,GAArC,CAA0CJ,KAAD,IAAWA,KAAK,CAACM,SAAN,EAApD,CAAP;;IACF;MACE,OAAOT,IAAI,CACRO,GADI,CACA,CAACyB,UAAD,EAAarB,UAAb,EAAyByB,MAAzB,EAAiCN,MAAjC,KAA4C/B,cAAc,CAAC+B,MAAD,EAAS7B,OAAT,CAD1D,EAEJM,GAFI,CAECJ,KAAD,IAAWA,KAAK,CAACM,SAAN,EAFX,CAAP;EAJJ;AAQD;AAED;;;;;;;AAMA,OAAM,SAAU4B,WAAV,CACJrC,IADI,EAEJ4B,CAFI,EAGJV,CAHI,EAG+B;EAEnC,OAAOM,eAAaO,CAAD,IAAOO,4BAAC,CAACP,CAAD,CAAD,EAAI,MAAW,CAACH,CAAD,EAAIG,CAAJ,CAAf,CAAnB,CAAP;AACD;AAED;;;;;;AAKA,OAAM,SAAUQ,UAAV,CAA2BvC,IAA3B,EAAmD+B,CAAnD,EAAuD;EAC3D;;EACA,QAAQ/B,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMkB,QAAQ,GAAGhB,KAAK,CAACI,GAAN,CAAWJ,KAAD,IAAWA,KAAK,CAACM,SAAN,EAArB,CAAjB;UACAN,KAAK,CAACI,GAAN,CAAWJ,KAAD,IAAWA,KAAK,CAACmB,SAAN,CAAgBS,CAAhB,CAArB;UACA,OAAOZ,QAAP;QACD,CALM,CAAP;MAMD;;IACD;MAAS;QACP,OAAOK,SAAQxB,IAAR,EAAewC,IAAD,IAAU,CAACA,IAAD,EAAOT,CAAP,CAAxB,CAAP;MACD;EAXH;AAaD;AAED;;;;;;AAKA,OAAM,SAAUU,aAAV,CAA8BzC,IAA9B,EAAsDkB,CAAtD,EAAoE;EACxE;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMkB,QAAQ,GAAGhB,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAAjB;UACAN,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYJ,CAAC,CAACC,QAAD,CAAb,CAAjB;UACA,OAAOA,QAAP;QACD,CALM,CAAP;MAMD;;IACD;MAAS;QACP,OAAOK,SAAQxB,IAAR,EAAeQ,CAAD,IAAO,CAACA,CAAD,EAAIU,CAAC,CAACV,CAAD,CAAL,CAArB,CAAP;MACD;EAXH;AAaD;AAED;;;;;;;AAMA,OAAM,SAAUkC,iBAAV,CAAkC1C,IAAlC,EAA0DkB,CAA1D,EAA+E;EACnF;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMkB,QAAQ,GAAGhB,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAAjB;UACA,MAAMkC,CAAC,GAAUzB,CAAC,CAACC,QAAD,CAAlB;;UACA,IAAIyB,yBAAJ,EAAgB;YACdzC,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYqB,CAAC,CAAC/B,KAAd,CAAjB;UACD;;UACD,OAAOO,QAAP;QACD,CARM,CAAP;MASD;;IACD;MAAS;QACP,OAAOK,SAAQxB,IAAR,EAAe+B,CAAD,IACnBc,wBAAC,CAACd,CAAD,CAAD,EACE,MAAM,CAACA,CAAD,EAAIA,CAAJ,CADR,EAEGY,CAAD,IAAO,CAACZ,CAAD,EAAIY,CAAJ,CAFT,CADK,CAAP;MAMD;EAnBH;AAqBD;AAED;;;;;;AAKA,kBAA8B3C,IAA9B,EAAsDkB,CAAtD,EAAoE;EAClE;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMoB,QAAQ,GAAGH,CAAC,CAACf,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAAD,CAAlB;UACAN,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYD,QAAZ,CAAjB;QACD,CAJM,CAAP;MAKD;;IACD;MACE,OAAOG,SAAQxB,IAAR,EAAe+B,CAAD,IAAO,CAACG,SAAD,EAAYhB,CAAC,CAACa,CAAD,CAAb,CAArB,CAAP;EATJ;AAWD;AAED;;;;;;;AAKA,OAAM,SAAUe,WAAV,CAA4B9C,IAA5B,EAAoDkB,CAApD,EAAyE;EAC7E,OAAO6B,eAAahB,CAAD,IAAOO,4BAAC,CAACP,CAAD,CAAD,EAAI,MAAWA,CAAf,CAAnB,CAAP;AACD;AAED;;;;;;AAKA,wBAAoC/B,IAApC,EAA4DkB,CAA5D,EAA0E;EACxE;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMkB,QAAQ,GAAGhB,KAAK,CAACI,GAAN,CAAWkB,CAAD,IAAOA,CAAC,CAAChB,SAAF,EAAjB,CAAjB;UACA,MAAMY,QAAQ,GAAGH,CAAC,CAACC,QAAD,CAAlB;UACAhB,KAAK,CAACI,GAAN,CAAWkB,CAAD,IAAOA,CAAC,CAACH,SAAF,CAAYD,QAAZ,CAAjB;UACA,OAAOA,QAAP;QACD,CANM,CAAP;MAOD;;IACD;MAAS;QACP,OAAOG,SAAQxB,IAAR,EAAe+B,CAAD,IAAM;UACzB,MAAMV,QAAQ,GAAGH,CAAC,CAACa,CAAD,CAAlB;UACA,OAAO,CAACV,QAAD,EAAWA,QAAX,CAAP;QACD,CAHM,CAAP;MAID;EAfH;AAiBD;AAED;;;;;;;AAKA,OAAM,SAAU2B,iBAAV,CAAkChD,IAAlC,EAA0DkB,CAA1D,EAA+E;EACnF,OAAO+B,qBAAmBlB,CAAD,IAAOO,4BAAC,CAACP,CAAD,CAAD,EAAI,MAAWA,CAAf,CAAzB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUmB,UAAV,CAAmClD,IAAnC,EAA6DC,OAA7D,EAA+E8B,CAA/E,EAAmF;EACvF;;EACA,QAAQ/B,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MACE,OAAOP,cAAc,CAACC,IAAI,CAAC8B,MAAN,EAAc7B,OAAd,CAAd,CAAqCM,GAArC,CAA0CJ,KAAD,IAAWA,KAAK,CAACmB,SAAN,CAAgBS,CAAhB,CAApD,CAAP;;IACF;MACE,OAAO/B,IAAI,CACRO,GADI,CACA,CAACyB,UAAD,EAAarB,UAAb,EAAyByB,MAAzB,EAAiCN,MAAjC,KAA4C/B,cAAc,CAAC+B,MAAD,EAAS7B,OAAT,CAD1D,EAEJM,GAFI,CAECJ,KAAD,IAAWA,KAAK,CAACmB,SAAN,CAAgBS,CAAhB,CAFX,CAAP;EAJJ;AAQD","names":["get","modify_","set_","update_","updateAndGet_","Effect","concrete","getOrMakeEntry","self","journal","has","entry","tsplus_module_1","set","_tag","use","_","unsafeGet","getEither","_setEither","value","_atomic","tsplus_module_4","s","tsplus_module_3","tsplus_module_2","f","oldValue","retValue","newValue","unsafeSet","setEither","modify_1","e","tsplus_module_6","a1","b","a2","atomic","a","_getEither","set_1","undefined","unsafeGet_","_value","modifyJust_","tsplus_module_7","getAndSet_","oldA","getAndUpdate_","getAndUpdateJust_","v","tsplus_module_8","tsplus_module_9","updateJust_","update_1","updateJustAndGet_","updateAndGet_1","unsafeSet_"],"sourceRoot":"","sources":["../../_src/TRef/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;;;;aAqBgBA,GAAG;aA4BHC,OAAO;aAoDPC,IAAI;aA0IJC,OAAO;aA6BPC,aAAa;AAzQ7B,SAASC,MAAT,QAAuB,uBAAvB;AAEA,SAASC,QAAT,QAAyB,wBAAzB;;AAEA,SAASC,cAAT,CAA2BC,IAA3B,EAA4CC,OAA5C,EAA4D;EAC1D,IAAIA,OAAO,CAACC,GAAR,CAAYF,IAAZ,CAAJ,EAAuB;IACrB,OAAOC,OAAO,CAACT,GAAR,CAAYQ,IAAZ,CAAP;EACD;;EACD,MAAMG,KAAK,GAAGC,qBAAWJ,IAAX,EAAiB,KAAjB,CAAd;EACAC,OAAO,CAACI,GAAR,CAAYL,IAAZ,EAAkBG,KAAlB;EACA,OAAOA,KAAP;AACD;AAED;;;;;;;AAKA,eAAkCH,IAAlC,EAA0D;EACxD;;EACA,QAAQA,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAGJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA5B;UACA,OAAOE,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAAP;QACD,CAHM,CAAP;MAID;;IACD,KAAK,SAAL;MAAgB;QACd,OAAOT,IAAI,CAACO,GAAL,CAAS,CAACG,SAAD,EAAYC,UAAZ,EAAwBC,KAAxB,EAA+BC,OAA/B,KACdC,+BAAIF,KAAJ,GAAoBG,CAAD,IAAOC,gCAAS,CAACD,CAAD,CAAT,EAAYE,uBAAZ,EAAYA,0BAAZ,CAA1B,CADK,CAAP;MAGD;;IACD,KAAK,YAAL;MAAmB;QACjB,OAAOjB,IAAI,CAACO,GAAL,CAAS,CAACG,SAAD,EAAYC,UAAZ,EAAwBC,KAAxB,EAA+BC,OAA/B,KACdC,+BAAIF,KAAJ,GAAoBG,CAAD,IAAOC,gCAAS,CAACD,CAAD,CAAT,EAAYE,uBAAZ,EAAYA,0BAAZ,CAA1B,CADK,CAAP;MAGD;EAhBH;AAkBD;AAED;;;;;;;;AAMA,kBAAiCjB,IAAjC,EAAyDkB,CAAzD,EAAqF;EACnF;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAkBJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA3C;UACA,MAAMkB,QAAQ,GAAehB,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAA7B;UACA,MAAM,CAACW,QAAD,EAAWC,QAAX,IAAuBH,CAAC,CAACC,QAAD,CAA9B;UACAhB,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYD,QAAZ,CAAjB;UACA,OAAOD,QAAP;QACD,CANM,CAAP;MAOD;;IACD,KAAK,SAAL;MAAgB;QACd,+BAAOpB,IAAI,CAACO,GAAL,CAAS,CAACG,SAAD,EAAYa,SAAZ,EAAuBX,KAAvB,EAA8BC,OAA9B,KACdW,SAAQZ,KAAR,EAAgBG,CAAD,IACbC,gCAAS,CAACD,CAAD,CAAT,EACGU,CAAD,IAAO,CAACC,qBAAkBD,CAAlB,CAAD,EAAuBV,CAAvB,CADT,EAEGY,EAAD,IAAO;UACL,MAAM,CAACC,CAAD,EAAIC,EAAJ,IAAUX,CAAC,CAACS,EAAD,CAAjB;UACA,OAAOX,gCAAS,CAACa,EAAD,CAAT,EACJJ,CAAD,IAAO,CAACC,qBAAYD,CAAZ,CAAD,EAAiBV,CAAjB,CADF,EAEJA,CAAD,IAAO,CAACW,sBAAaE,CAAb,CAAD,EAAkBb,CAAlB,CAFF,CAAP;QAID,CARH,CADF,CADK,CAAP;MAcD;;IACD,KAAK,YAAL;MAAmB;QACjB,+BAAOf,IAAI,CAACO,GAAL,CAAS,CAACG,SAAD,EAAYa,SAAZ,EAAuBX,KAAvB,EAA8BkB,MAA9B,KACdN,SAAQZ,KAAR,EAAgBG,CAAD,IACbC,gCAAS,CAACD,CAAD,CAAT,EACGU,CAAD,IAAO,CAACC,qBAAkBD,CAAlB,CAAD,EAAuBV,CAAvB,CADT,EAEGY,EAAD,IAAO;UACL,MAAM,CAACC,CAAD,EAAIC,EAAJ,IAAUX,CAAC,CAACS,EAAD,CAAjB;UACA,OAAOX,gCAAS,CAACa,EAAD,CAAT,CAAcd,CAAd,GACJU,CAAD,IAAO,CAACC,qBAAYD,CAAZ,CAAD,EAAiBV,CAAjB,CADF,EAEJA,CAAD,IAAO,CAACW,sBAAaE,CAAb,CAAD,EAAkBb,CAAlB,CAFF,CAAP;QAID,CARH,CADF,CADK,CAAP;MAcD;EAzCH;AA2CD;AAED;;;;;;;AAKA,eAAmCf,IAAnC,EAA6D+B,CAA7D,EAAiE;EAC/D;;EACA,QAAQ/B,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAGJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA5B;UACA,OAAOE,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYS,CAAZ,CAAjB,CAAP;QACD,CAHM,CAAP;MAID;;IACD,KAAK,SAAL;MAAgB;QACd,OAAO/B,IAAI,CAACO,GAAL,CAAS,CAACyB,UAAD,EAAaT,SAAb,EAAwBX,KAAxB,EAA+BC,OAA/B,KACdG,gCAAS,CAACe,CAAD,CAAT,EAAYd,uBAAZ,EAAiCF,CAAD,IAAOkB,MAAKrB,KAAL,EAAYG,CAAZ,CAAvC,CADK,CAAP;MAGD;;IACD,KAAK,YAAL;MAAmB;QACjB,+BAAOf,IAAI,CAACO,GAAL,CAAS,CAACyB,UAAD,EAAaT,SAAb,EAAwBX,KAAxB,EAA+BC,OAA/B,KACdW,SAAQZ,KAAR,EAAgBG,CAAD,IACbC,gCAAS,CAACe,CAAD,CAAT,CAAahB,CAAb,GACGU,CAAD,IAAO,CAACC,qBAAYD,CAAZ,CAAD,EAAiBV,CAAjB,CADT,EAEGA,CAAD,IAAO,CAACW,sBAAaQ,SAAb,CAAD,EAA0BnB,CAA1B,CAFT,CADF,CADK,CAAP;MAQD;EArBH;AAuBD;AAED;;;;;;;AAKA,OAAM,SAAUoB,UAAV,CAAmCnC,IAAnC,EAA6DC,OAA7D,EAA6E;EACjF;;EACA,QAAQD,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MACE,OAAOP,cAAc,CAACC,IAAI,CAAC8B,MAAN,EAAc7B,OAAd,CAAd,CAAqCM,GAArC,CAA0CJ,KAAD,IAAWA,KAAK,CAACM,SAAN,EAApD,CAAP;;IACF;MACE,OAAOT,IAAI,CACRO,GADI,CACA,CAACyB,UAAD,EAAarB,UAAb,EAAyByB,MAAzB,EAAiCN,MAAjC,KAA4C/B,cAAc,CAAC+B,MAAD,EAAS7B,OAAT,CAD1D,EAEJM,GAFI,CAECJ,KAAD,IAAWA,KAAK,CAACM,SAAN,EAFX,CAAP;EAJJ;AAQD;AAED;;;;;;;AAMA,OAAM,SAAU4B,WAAV,CACJrC,IADI,EAEJ4B,CAFI,EAGJV,CAHI,EAG+B;EAEnC,OAAOM,eAAaO,CAAD,IAAOO,4BAAC,CAACP,CAAD,CAAD,EAAI,MAAW,CAACH,CAAD,EAAIG,CAAJ,CAAf,CAAnB,CAAP;AACD;AAED;;;;;;AAKA,OAAM,SAAUQ,UAAV,CAA2BvC,IAA3B,EAAmD+B,CAAnD,EAAuD;EAC3D;;EACA,QAAQ/B,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMkB,QAAQ,GAAGhB,KAAK,CAACI,GAAN,CAAWJ,KAAD,IAAWA,KAAK,CAACM,SAAN,EAArB,CAAjB;UACAN,KAAK,CAACI,GAAN,CAAWJ,KAAD,IAAWA,KAAK,CAACmB,SAAN,CAAgBS,CAAhB,CAArB;UACA,OAAOZ,QAAP;QACD,CALM,CAAP;MAMD;;IACD;MAAS;QACP,OAAOK,SAAQxB,IAAR,EAAewC,IAAD,IAAU,CAACA,IAAD,EAAOT,CAAP,CAAxB,CAAP;MACD;EAXH;AAaD;AAED;;;;;;AAKA,OAAM,SAAUU,aAAV,CAA8BzC,IAA9B,EAAsDkB,CAAtD,EAAoE;EACxE;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMkB,QAAQ,GAAGhB,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAAjB;UACAN,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYJ,CAAC,CAACC,QAAD,CAAb,CAAjB;UACA,OAAOA,QAAP;QACD,CALM,CAAP;MAMD;;IACD;MAAS;QACP,OAAOK,SAAQxB,IAAR,EAAeQ,CAAD,IAAO,CAACA,CAAD,EAAIU,CAAC,CAACV,CAAD,CAAL,CAArB,CAAP;MACD;EAXH;AAaD;AAED;;;;;;;AAMA,OAAM,SAAUkC,iBAAV,CAAkC1C,IAAlC,EAA0DkB,CAA1D,EAA+E;EACnF;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMkB,QAAQ,GAAGhB,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAAjB;UACA,MAAMkC,CAAC,GAAUzB,CAAC,CAACC,QAAD,CAAlB;;UACA,IAAIyB,yBAAJ,EAAgB;YACdzC,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYqB,CAAC,CAAC/B,KAAd,CAAjB;UACD;;UACD,OAAOO,QAAP;QACD,CARM,CAAP;MASD;;IACD;MAAS;QACP,OAAOK,SAAQxB,IAAR,EAAe+B,CAAD,IACnBc,wBAAC,CAACd,CAAD,CAAD,EACE,MAAM,CAACA,CAAD,EAAIA,CAAJ,CADR,EAEGY,CAAD,IAAO,CAACZ,CAAD,EAAIY,CAAJ,CAFT,CADK,CAAP;MAMD;EAnBH;AAqBD;AAED;;;;;;AAKA,kBAA8B3C,IAA9B,EAAsDkB,CAAtD,EAAoE;EAClE;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMoB,QAAQ,GAAGH,CAAC,CAACf,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACC,SAAF,EAAjB,CAAD,CAAlB;UACAN,KAAK,CAACI,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACc,SAAF,CAAYD,QAAZ,CAAjB;QACD,CAJM,CAAP;MAKD;;IACD;MACE,OAAOG,SAAQxB,IAAR,EAAe+B,CAAD,IAAO,CAACG,SAAD,EAAYhB,CAAC,CAACa,CAAD,CAAb,CAArB,CAAP;EATJ;AAWD;AAED;;;;;;;AAKA,OAAM,SAAUe,WAAV,CAA4B9C,IAA5B,EAAoDkB,CAApD,EAAyE;EAC7E,OAAO6B,eAAahB,CAAD,IAAOO,4BAAC,CAACP,CAAD,CAAD,EAAI,MAAWA,CAAf,CAAnB,CAAP;AACD;AAED;;;;;;AAKA,wBAAoC/B,IAApC,EAA4DkB,CAA5D,EAA0E;EACxE;;EACA,QAAQlB,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MAAe;QACb,OAAO,IAAIT,MAAJ,CAAYI,OAAD,IAAY;UAC5B,MAAME,KAAK,GAAMJ,cAAc,CAACC,IAAD,EAAOC,OAAP,CAA/B;UACA,MAAMkB,QAAQ,GAAGhB,KAAK,CAACI,GAAN,CAAWkB,CAAD,IAAOA,CAAC,CAAChB,SAAF,EAAjB,CAAjB;UACA,MAAMY,QAAQ,GAAGH,CAAC,CAACC,QAAD,CAAlB;UACAhB,KAAK,CAACI,GAAN,CAAWkB,CAAD,IAAOA,CAAC,CAACH,SAAF,CAAYD,QAAZ,CAAjB;UACA,OAAOA,QAAP;QACD,CANM,CAAP;MAOD;;IACD;MAAS;QACP,OAAOG,SAAQxB,IAAR,EAAe+B,CAAD,IAAM;UACzB,MAAMV,QAAQ,GAAGH,CAAC,CAACa,CAAD,CAAlB;UACA,OAAO,CAACV,QAAD,EAAWA,QAAX,CAAP;QACD,CAHM,CAAP;MAID;EAfH;AAiBD;AAED;;;;;;;AAKA,OAAM,SAAU2B,iBAAV,CAAkChD,IAAlC,EAA0DkB,CAA1D,EAA+E;EACnF,OAAO+B,qBAAmBlB,CAAD,IAAOO,4BAAC,CAACP,CAAD,CAAD,EAAI,MAAWA,CAAf,CAAzB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUmB,UAAV,CAAmClD,IAAnC,EAA6DC,OAA7D,EAA+E8B,CAA/E,EAAmF;EACvF;;EACA,QAAQ/B,IAAI,CAACM,IAAb;IACE,KAAK,QAAL;MACE,OAAOP,cAAc,CAACC,IAAI,CAAC8B,MAAN,EAAc7B,OAAd,CAAd,CAAqCM,GAArC,CAA0CJ,KAAD,IAAWA,KAAK,CAACmB,SAAN,CAAgBS,CAAhB,CAApD,CAAP;;IACF;MACE,OAAO/B,IAAI,CACRO,GADI,CACA,CAACyB,UAAD,EAAarB,UAAb,EAAyByB,MAAzB,EAAiCN,MAAjC,KAA4C/B,cAAc,CAAC+B,MAAD,EAAS7B,OAAT,CAD1D,EAEJM,GAFI,CAECJ,KAAD,IAAWA,KAAK,CAACmB,SAAN,CAAgBS,CAAhB,CAFX,CAAP;EAJJ;AAQD","names":["get","modify_","set_","update_","updateAndGet_","Effect","concrete","getOrMakeEntry","self","journal","has","entry","tsplus_module_1","set","_tag","use","_","unsafeGet","getEither","_setEither","value","_atomic","tsplus_module_4","s","tsplus_module_3","tsplus_module_2","f","oldValue","retValue","newValue","unsafeSet","setEither","modify_1","e","tsplus_module_5","a1","b","a2","atomic","a","_getEither","set_1","undefined","unsafeGet_","_value","modifyJust_","tsplus_module_7","getAndSet_","oldA","getAndUpdate_","getAndUpdateJust_","v","tsplus_module_8","tsplus_module_9","updateJust_","update_1","updateJustAndGet_","updateAndGet_1","unsafeSet_"],"sourceRoot":"","sources":["../../_src/TRef/api.ts"],"sourcesContent":[null]}

package/_mjs/collection/immutable/Conc/dropUntilIO.mjs

@@ -0,0 +1,26 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Conc";
+import * as tsplus_module_2 from "@fncts/io/IO/api";
+/**
+ * @tsplus fluent fncts.Conc dropUntilIO
+ */
+
+export function dropUntilIO(self, p, __tsplusTrace) {
+  return tsplus_module_2.defer(() => {
+    const builder = new tsplus_module_1.ConcBuilder();
+    let dropping = tsplus_module_2.succeedNow(false, __tsplusTrace);
+
+    for (const elem of self) {
+      dropping = tsplus_module_2.flatMap_(dropping, b => {
+        if (b) {
+          builder.append(elem);
+          return tsplus_module_2.succeedNow(true, __tsplusTrace);
+        } else {
+          return p(elem);
+        }
+      }, __tsplusTrace);
+    }
+
+    return tsplus_module_2.as_(dropping, () => builder.result());
+  }, __tsplusTrace);
+}
+//# sourceMappingURL=dropUntilIO.mjs.map

package/_mjs/collection/immutable/Conc/dropUntilIO.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"dropUntilIO.mjs","mappings":";;AAAA;;;;AAGA,OAAM,SAAUA,WAAV,CACJC,IADI,EAEJC,CAFI,EAGJC,aAHI,EAGkB;EAEtB,OAAOC,sBAAS,MAAK;IACnB,MAAMC,OAAO,GAAqB,oBAAIC,WAAJ,EAAlC;IACA,IAAIC,QAAQ,GAAsBH,2BAAc,KAAd,EAJpCD,aAIoC,CAAlC;;IACA,KAAK,MAAMK,IAAX,IAAmBP,IAAnB,EAAyB;MACvBM,QAAQ,GAAGH,mCAAkBK,CAAD,IAAM;QAChC,IAAIA,CAAJ,EAAO;UACLJ,OAAO,CAACK,MAAR,CAAeF,IAAf;UACA,OAAOJ,2BAAc,IAAd,EATfD,aASe,CAAP;QACD,CAHD,MAGO;UACL,OAAOD,CAAC,CAACM,IAAD,CAAR;QACD;MACF,CAPU,EANfL,aAMe,CAAX;IAQD;;IACD,OAAOC,8BAAQ,MAAIC,OAAO,CAACM,MAAR,EAAZ,CAAP;EACD,CAdM,EAFPR,aAEO,CAAP;AAeD","names":["dropUntilIO","self","p","__tsplusTrace","tsplus_module_2","builder","ConcBuilder","dropping","elem","b","append","result"],"sourceRoot":"","sources":["../../../../_src/collection/immutable/Conc/dropUntilIO.ts"],"sourcesContent":[null]}

package/_mjs/collection/immutable/Conc/dropWhileIO.mjs

@@ -0,0 +1,26 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Conc";
+import * as tsplus_module_2 from "@fncts/io/IO/api";
+/**
+ * @tsplus fluent fncts.Conc dropWhileIO
+ */
+
+export function dropWhileIO(self, p, __tsplusTrace) {
+  return tsplus_module_2.defer(() => {
+    const builder = new tsplus_module_1.ConcBuilder();
+    let dropping = tsplus_module_2.succeedNow(true, __tsplusTrace);
+
+    for (const elem of self) {
+      dropping = tsplus_module_2.flatMap_(dropping, d => tsplus_module_2.map_(d ? p(elem) : tsplus_module_2.succeedNow(false, __tsplusTrace), b => {
+        if (b) {
+          return true;
+        } else {
+          builder.append(elem);
+          return false;
+        }
+      }, __tsplusTrace), __tsplusTrace);
+    }
+
+    return tsplus_module_2.as_(dropping, () => builder.result());
+  }, __tsplusTrace);
+}
+//# sourceMappingURL=dropWhileIO.mjs.map

package/_mjs/collection/immutable/Conc/dropWhileIO.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"dropWhileIO.mjs","mappings":";;AAAA;;;;AAGA,OAAM,SAAUA,WAAV,CACJC,IADI,EAEJC,CAFI,EAGJC,aAHI,EAGkB;EAEtB,OAAOC,sBAAS,MAAK;IACnB,MAAMC,OAAO,GAAqB,oBAAIC,WAAJ,EAAlC;IACA,IAAIC,QAAQ,GAAsBH,2BAAc,IAAd,EAJpCD,aAIoC,CAAlC;;IACA,KAAK,MAAMK,IAAX,IAAmBP,IAAnB,EAAyB;MACvBM,QAAQ,GAAGH,mCAAkBK,CAAD,IAC1BL,qBAACK,CAAC,GAAGP,CAAC,CAACM,IAAD,CAAJ,GAAaJ,2BAAc,KAAd,EAPrBD,aAOqB,CAAf,EAA0CO,CAAD,IAAM;QAC7C,IAAIA,CAAJ,EAAO;UACL,OAAO,IAAP;QACD,CAFD,MAEO;UACLL,OAAO,CAACM,MAAR,CAAeH,IAAf;UACA,OAAO,KAAP;QACD;MACF,CAPD,EAPNL,aAOM,CADS,EANfA,aAMe,CAAX;IAUD;;IACD,OAAOC,8BAAQ,MAAIC,OAAO,CAACO,MAAR,EAAZ,CAAP;EACD,CAhBM,EAFPT,aAEO,CAAP;AAiBD","names":["dropWhileIO","self","p","__tsplusTrace","tsplus_module_2","builder","ConcBuilder","dropping","elem","d","b","append","result"],"sourceRoot":"","sources":["../../../../_src/collection/immutable/Conc/dropWhileIO.ts"],"sourcesContent":[null]}

package/_mjs/collection/immutable/Conc/filterIO.mjs

@@ -0,0 +1,22 @@
+const fileName_1 = "(@fncts/io) src/collection/immutable/Conc/filterIO.ts";
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Conc";
+import * as tsplus_module_2 from "@fncts/io/IO/api";
+/**
+ * @tsplus fluent fncts.Conc filterIO
+ */
+
+export function filterIO(self, p) {
+  return tsplus_module_2.defer(() => {
+    const builder = new tsplus_module_1.ConcBuilder();
+    let dest = tsplus_module_2.succeedNow(builder, fileName_1 + ":7:55");
+
+    for (const a of self) {
+      dest = tsplus_module_2.zipWith_(dest, p(a), (builder, res) => {
+        if (res) return builder.append(a);else return builder;
+      });
+    }
+
+    return tsplus_module_2.map_(dest, builder => builder.result(), fileName_1 + ":14:20");
+  }, fileName_1 + ":5:18");
+}
+//# sourceMappingURL=filterIO.mjs.map

package/_mjs/collection/immutable/Conc/filterIO.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"filterIO.mjs","mappings":";;;AAAA;;;;AAGA,OAAM,SAAUA,QAAV,CAA4BC,IAA5B,EAA2CC,CAA3C,EAAyE;EAC7E,OAAOC,sBAAS,MAAK;IACnB,MAAMC,OAAO,GAAG,oBAAIC,WAAJ,EAAhB;IACA,IAAIC,IAAI,GAA6BH,2BAAcC,OAAd,EAAqBG,oBAArB,CAArC;;IACA,KAAK,MAAMC,CAAX,IAAgBP,IAAhB,EAAsB;MACpBK,IAAI,GAAGH,+BAAaD,CAAC,CAACM,CAAD,CAAd,EAAmB,CAACJ,OAAD,EAAUK,GAAV,KAAiB;QACzC,IAAIA,GAAJ,EAAS,OAAOL,OAAO,CAACM,MAAR,CAAeF,CAAf,CAAP,CAAT,KACK,OAAOJ,OAAP;MACN,CAHM,CAAP;IAID;;IACD,OAAOD,2BAAUC,OAAD,IAAaA,OAAO,CAACO,MAAR,EAAtB,EAAsCJ,qBAAtC,CAAP;EACD,CAVM,EAUNA,oBAVM,CAAP;AAWD","names":["filterIO","self","p","tsplus_module_2","builder","ConcBuilder","dest","fileName_1","a","res","append","result"],"sourceRoot":"","sources":["../../../../_src/collection/immutable/Conc/filterIO.ts"],"sourcesContent":[null]}

package/_mjs/collection/immutable/Conc.mjs

@@ -1,4 +1,5 @@
 // codegen:start { preset: barrel, include: ./Conc/*.ts }
+export * from "./Conc/filterIO.mjs";
 export * from "./Conc/findIO.mjs";
 export * from "./Conc/mapIO.mjs";
 export * from "./Conc/takeWhileIO.mjs";

package/_mjs/collection/immutable/Conc.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Conc.mjs","mappings":"AAAA;AACA,cAAc,mBAAd;AACA,cAAc,kBAAd;AACA,cAAc,wBAAd","names":[],"sourceRoot":"","sources":["../../../_src/collection/immutable/Conc.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Conc.mjs","mappings":"AAAA;AACA,cAAc,qBAAd;AACA,cAAc,mBAAd;AACA,cAAc,kBAAd;AACA,cAAc,wBAAd","names":[],"sourceRoot":"","sources":["../../../_src/collection/immutable/Conc.ts"],"sourcesContent":[null]}

package/_mjs/data/Exit/foreachIO.mjs

@@ -10,6 +10,6 @@ import * as tsplus_module_3 from "@fncts/base/data/Exit/api";
  */
 
 export function foreachIO_(exit, f) {
-  return tsplus_module_3.match_(exit, c => tsplus_module_2.succeedNow(tsplus_module_1.failCause(c), fileName_1 + ":12:51"), a => tsplus_module_2.result(f(a)));
+  return tsplus_module_3.match_(exit, c => tsplus_module_2.succeedNow(tsplus_module_1.failCause(c), fileName_1 + ":12:51"), a => tsplus_module_2.result(f(a), fileName_1 + ":13:16"));
 }
 //# sourceMappingURL=foreachIO.mjs.map

package/_mjs/data/Exit/foreachIO.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"foreachIO.mjs","mappings":";;;;AAAA;;;;;;;AAMA,OAAM,SAAUA,UAAV,CACJC,IADI,EAEJC,CAFI,EAEqB;EAEzB,OAAOC,6BACJC,CAAD,IAAiCC,2BAAcC,0BAAeF,CAAf,CAAd,EAA+BG,qBAA/B,CAD5B,EAEJC,CAAD,IAAMH,uBAACH,CAAC,CAACM,CAAD,CAAF,CAFD,CAAP;AAID","names":["foreachIO_","exit","f","tsplus_module_3","c","tsplus_module_2","tsplus_module_1","fileName_1","a"],"sourceRoot":"","sources":["../../../_src/data/Exit/foreachIO.ts"],"sourcesContent":[null]}
+{"version":3,"file":"foreachIO.mjs","mappings":";;;;AAAA;;;;;;;AAMA,OAAM,SAAUA,UAAV,CACJC,IADI,EAEJC,CAFI,EAEqB;EAEzB,OAAOC,6BACJC,CAAD,IAAiCC,2BAAcC,0BAAeF,CAAf,CAAd,EAA+BG,qBAA/B,CAD5B,EAEJC,CAAD,IAAMH,uBAACH,CAAC,CAACM,CAAD,CAAF,EAAKD,qBAAL,CAFD,CAAP;AAID","names":["foreachIO_","exit","f","tsplus_module_3","c","tsplus_module_2","tsplus_module_1","fileName_1","a"],"sourceRoot":"","sources":["../../../_src/data/Exit/foreachIO.ts"],"sourcesContent":[null]}

package/_src/Channel/api.ts

@@ -231,6 +231,23 @@ export function catchAllCause_<
   >(self, new ContinuationK((_) => Channel.endNow(_), f));
 }
 
+/**
+ * @tsplus getter fncts.io.Channel collectElements
+ */
+export function collectElements<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(
+  self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>,
+): Channel<Env, InErr, InElem, InDone, OutErr, never, readonly [Conc<OutElem>, OutDone]> {
+  return Channel.defer(() => {
+    const builder = new ConcBuilder<OutElem>(Conc.empty());
+    const reader: Channel<Env, OutErr, OutElem, OutDone, OutErr, never, OutDone> = Channel.readWith(
+      (out) => Channel.succeed(builder.append(out)) > reader,
+      Channel.failNow,
+      Channel.succeedNow,
+    );
+    return self.pipeTo(reader).flatMap((z) => Channel.succeedNow([builder.result(), z]));
+  });
+}
+
 /**
  * @tsplus getter fncts.io.Channel concatAll
  */
@@ -735,9 +752,9 @@ export function fromQueue<Err, Elem, Done>(
  */
 export function provideEnvironment_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(
   self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>,
-  env: Environment<Env>,
+  env: Lazy<Environment<Env>>,
 ): Channel<unknown, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
-  return new Provide(env, self);
+  return Channel.defer(new Provide(env(), self));
 }
 
 /**
@@ -945,6 +962,49 @@ export function matchCauseChannel_<
   );
 }
 
+/**
+ * Fold the channel exposing success and full error cause
+ *
+ * @tsplus fluent fncts.io.Channel matchChannel
+ */
+export function matchChannel_<
+  Env,
+  Env1,
+  Env2,
+  InErr,
+  InErr1,
+  InErr2,
+  InElem,
+  InElem1,
+  InElem2,
+  InDone,
+  InDone1,
+  InDone2,
+  OutErr,
+  OutErr2,
+  OutErr3,
+  OutElem,
+  OutElem1,
+  OutElem2,
+  OutDone,
+  OutDone2,
+  OutDone3,
+>(
+  channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>,
+  onError: (e: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>,
+  onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>,
+): Channel<
+  Env & Env1 & Env2,
+  InErr & InErr1 & InErr2,
+  InElem & InElem1 & InElem2,
+  InDone & InDone1 & InDone2,
+  OutErr2 | OutErr3,
+  OutElem | OutElem1 | OutElem2,
+  OutDone2 | OutDone3
+> {
+  return channel.matchCauseChannel((cause) => cause.failureOrCause.match(onError, Channel.failCauseNow), onSuccess);
+}
+
 export const never: Channel<unknown, unknown, unknown, unknown, never, never, never> = Channel.fromIO(IO.never);
 
 /**
@@ -1007,6 +1067,7 @@ export function orHaltWith_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone
  * Pipe the output of a channel into the input of another
  *
  * @tsplus fluent fncts.io.Channel pipeTo
+ * @tsplus operator fncts.io.Channel >>>
  */
 export function pipeTo_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(
   left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>,
@@ -1174,16 +1235,24 @@ export function repeated<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(
 }
 
 /**
- * @tsplus static fncts.io.Channel toQueue
+ * @tsplus static fncts.io.ChannelOps toQueue
  */
 export function toQueue<Err, Done, Elem>(
-  queue: Queue.Enqueue<Either<Exit<Err, Done>, Elem>>,
-): Channel<unknown, Err, Elem, Done, never, never, any> {
-  return readWithCause(
-    (in_: Elem) => Channel.fromIO(queue.offer(Either.right(in_))).apSecond(toQueue(queue)),
-    (cause: Cause<Err>) => Channel.fromIO(queue.offer(Either.left(Exit.failCause(cause)))),
-    (done: Done) => Channel.fromIO(queue.offer(Either.left(Exit.succeed(done)))),
-  );
+  queue: Lazy<Queue.Enqueue<Either<Exit<Err, Done>, Elem>>>,
+): Channel<unknown, Err, Elem, Done, never, never, unknown> {
+  return Channel.defer(() => {
+    function toQueue<Err, Done, Elem>(
+      queue: Queue.Enqueue<Either<Exit<Err, Done>, Elem>>,
+    ): Channel<unknown, Err, Elem, Done, never, never, unknown> {
+      return Channel.readWithCause(
+        (inp) => Channel.fromIO(queue.offer(Either.right(inp))) > toQueue(queue),
+        (cause) => Channel.fromIO(queue.offer(Either.left(Exit.failCause(cause)))),
+        (done) => Channel.fromIO(queue.offer(Either.left(Exit.succeed(done)))),
+      );
+    }
+
+    return toQueue(queue());
+  });
 }
 
 /**
@@ -1249,10 +1318,28 @@ export function unwrap<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDon
  * @tsplus static fncts.io.ChannelOps unwrapScoped
  */
 export function unwrapScoped<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(
-  self: IO<R & Has<Scope>, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>,
+  self: Lazy<IO<R & Has<Scope>, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>,
 ): Channel<R & Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone> {
   return Channel.scoped(self).concatAllWith(
     (d, _) => d,
     (d, _) => d,
   );
 }
+
+/**
+ * @tsplus static fncts.io.ChannelOps fromHubScoped
+ */
+export function fromHubScoped<Err, Done, Elem>(
+  hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>,
+): IO<Has<Scope>, never, Channel<unknown, unknown, unknown, unknown, Err, Elem, Done>> {
+  return IO.defer(hub().subscribe.map(Channel.fromQueue));
+}
+
+/**
+ * @tsplus static fncts.io.ChannelOps toHub
+ */
+export function toHub<Err, Done, Elem>(
+  hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>,
+): Channel<unknown, Err, Elem, Done, never, never, unknown> {
+  return Channel.toQueue(hub);
+}

package/_src/Channel/internal/MergeDecision.ts

@@ -19,6 +19,21 @@ export abstract class MergeDecision<R, E0, Z0, E, Z> {
   readonly _Z!: () => Z;
 }
 
+/**
+ * @tsplus unify fncts.io.Channel.MergeDecision
+ */
+export function unifyMergeDecision<X extends MergeDecision<any, any, any, any, any>>(
+  _: X,
+): MergeDecision<
+  [X] extends [MergeDecision<infer R, any, any, any, any>] ? R : never,
+  [X] extends [MergeDecision<any, infer E0, any, any, any>] ? E0 : never,
+  [X] extends [MergeDecision<any, any, infer Z0, any, any>] ? Z0 : never,
+  [X] extends [MergeDecision<any, any, any, infer E, any>] ? E : never,
+  [X] extends [MergeDecision<any, any, any, any, infer Z>] ? Z : never
+> {
+  return _;
+}
+
 /**
  * @tsplus fluent fncts.io.Channel.MergeDecision concrete
  * @tsplus macro remove

package/_src/IO/api/onTermination.ts

@@ -0,0 +1,17 @@
+/**
+ * @tsplus fluent fncts.io.IO onTermination
+ */
+export function onTermination<R, E, A, R1>(
+  self: Lazy<IO<R, E, A>>,
+  cleanup: (cause: Cause<never>) => URIO<R1, any>,
+  __tsPlusTrace?: string,
+): IO<R & R1, E, A> {
+  return IO.unit.bracketExit(
+    () => self(),
+    (_, exit: Exit<E, A>) =>
+      exit.match(
+        (cause) => cause.failureOrCause.match(() => IO.unit, cleanup),
+        () => IO.unit,
+      ),
+  );
+}

package/_src/IO/api.ts

@@ -99,7 +99,7 @@ export function asyncInterrupt<R, E, A>(
  * @tsplus fluent fncts.io.IO absorbWith
  */
 export function absorbWith_<R, E, A>(ma: IO<R, E, A>, f: (e: E) => unknown, __tsplusTrace?: string) {
-  return ma.sandbox.matchIO((cause) => IO.failNow(cause.squashWith(f)), IO.succeedNow)
+  return ma.sandbox.matchIO((cause) => IO.failNow(cause.squashWith(f)), IO.succeedNow);
 }
 
 /**

package/_src/IO.ts

@@ -31,6 +31,7 @@ export * from "./IO/api/interrupt.js";
 export * from "./IO/api/memoize.js";
 export * from "./IO/api/once.js";
 export * from "./IO/api/onExit.js";
+export * from "./IO/api/onTermination.js";
 export * from "./IO/api/provideLayer.js";
 export * from "./IO/api/provideSomeLayer.js";
 export * from "./IO/api/race.js";

package/_src/STM/api.ts

@@ -1,3 +1,5 @@
+import type { Journal} from "./internal/Journal.js";
+
 import { identity } from "@fncts/base/data/function";
 import { AtomicReference } from "@fncts/base/internal/AtomicReference";
 import { TxnId } from "@fncts/io/TxnId";
@@ -44,6 +46,13 @@ export function absolve<R, E, E1, A>(z: STM<R, E, Either<E1, A>>): STM<R, E | E1
   return z.flatMap(STM.fromEitherNow);
 }
 
+/**
+ * @tsplus static fncts.io.STMOps Effect
+ */
+export function makeEffect<R, E, A>(f: (journal: Journal, fiberId: FiberId, r: R) => A): STM<R, E, A> {
+  return new Effect(f);
+}
+
 /**
  * Retrieves the environment inside an stm.
  *