@fncts/io 0.0.25 → 0.0.27

package/_mjs/RefSubject/api.mjs

@@ -74,6 +74,9 @@ class Dimap extends RefSubjectInternal {
   failCause(cause) {
     return this.ref.failCause(cause);
   }
+  get unsafeGet() {
+    return this.g(this.ref.unsafeGet);
+  }
 }
 /**
  * Transforms both the `set` and `get` values of the `Ref` with the

package/_mjs/RefSubject/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;aAWgBA,UAAU;aAkFVC,KAAK;aAoCLC,MAAM;AAjItB,SAASC,KAAK,QAAQ,2BAA2B;AACjD,SAASC,OAAO,QAAQ,gBAAgB;AACxC,SAASC,gBAAgB,QAAQ,6BAA6B;AAG9D,SAASC,kBAAkB,QAAQ,kBAAiB;AACpD,SAASC,QAAQ,QAAQ,kBAAiB;AAE1C;;;AAGA,sBAA8BC,OAAU;EACtC,OAAO,IAAIH,gBAAgB,CAACG,OAAO,CAAC;AACtC;AAEA;;;;AAIA,OAAM,SAAUC,IAAI,CAAID,OAAgB;EACtC,OAAOE,8BAAGC,aAAsBH,OAAO,EAAE,CAAC,wBAAC;AAC7C;AAEA;;;;;AAKA,OAAM,SAAUI,GAAG,CAAaC,IAA4B,EAAEC,aAAsB;EAClF;EACA,OAAOD,IAAI,CAACD,GAAG;AACjB;AAEA;;;;;;AAMA,OAAM,SAAUG,GAAG,CAAIC,CAAI,EAAEF,aAAsB;EACjD,OAAiBD,IAA4B,IAAwB;IACnE;IACA,OAAOA,IAAI,CAACE,GAAG,CAACC,CAAC,CAAC;EACpB,CAAC;AACH;AAEA,MAAMC,KAAwB,SAAQX,kBAA8B;EAClEY,YAAqBC,GAAmC,EAAWC,CAAc,EAAWC,CAAc;IACxG,KAAK,EAAE;IADY,QAAG,GAAHF,GAAG;IAA2C,MAAC,GAADC,CAAC;IAAwB,MAAC,GAADC,CAAC;IAqC7F,QAAG,GAAuB,IAAI,CAACF,GAAG,CAACG,GAAG;EAnCtC;EAEA,IAAIV,GAAG;IACL,OAAOF,oBAAiB,IAAI,CAACW,CAAC,yBAAvB,IAAI,CAACF,GAAG,CAACP,GAAG,CAAY;EACjC;EAEAG,GAAG,CAACQ,KAAQ;IACV,OAAO,IAAI,CAACJ,GAAG,CAACJ,GAAG,CAAC,IAAI,CAACK,CAAC,CAACG,KAAK,CAAC,CAAC;EACpC;EAEArB,MAAM,CAAIkB,CAA4B,EAAEN,aAAkC;IACxE,OAAOJ,wBAAkBc,CAAC,IAAI;MAC5B,MAAMC,CAAC,GAAGL,CAAC,CAACI,CAAC,CAAC;MACd,gCAAwBd,2BAAce,CAAC,CAAC,CAAC,CAAC,wBAAC,yBAApC,IAAI,CAACV,GAAG,CAACU,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC,yBAHM,IAAI,CAACb,GAAG,CAGb;EACJ;EAEAc,GAAG,CAAKC,OAA0B;IAChC,OAAO,IAAI,CAACR,GAAG,CAACO,GAAG,CACjBE,4BACGL,KAAK,IAAKI,OAAO,CAACE,IAAI,CAAC,IAAI,CAACR,CAAC,CAACE,KAAK,CAAC,CAAC,EACrCO,KAAK,IAAKH,OAAO,CAACI,SAAS,CAACD,KAAK,CAAC,EACnCH,OAAO,CAACL,GAAG,CACZ,CACF;EACH;EAEAO,IAAI,CAACN,KAAQ;IACX,OAAO,IAAI,CAACJ,GAAG,CAACU,IAAI,CAAC,IAAI,CAACT,CAAC,CAACG,KAAK,CAAC,CAAC;EACrC;EAEAQ,SAAS,CAACD,KAAe;IACvB,OAAO,IAAI,CAACX,GAAG,CAACY,SAAS,CAACD,KAAK,CAAC;EAClC;;AAKF;;;;;;AAMA,iBAAkCV,CAAc,EAAEC,CAAc,EAAEP,aAAsB;EACtF,OAAcD,IAA4B,IAA4B;IACpE;IACA,OAAO,IAAII,KAAK,CAACJ,IAAI,EAAEO,CAAC,EAAEC,CAAC,CAAC;EAC9B,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAUW,SAAS,CAAOZ,CAAc,EAAEN,aAAsB;EACpE,OAAiBD,IAA4B,IAA4B;IACvE,OAAOoB,QAAWb,CAAC,4BAFyBN,eAErCD,IAAI,CAA4B;EACzC,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAUqB,GAAG,CAAOd,CAAc,EAAEN,aAAsB;EAC9D,OAAiBK,GAA2B,IAA4B;IACtE,OAAOc,kCAA6Bb,CAAC,EAFCN,eAE/BK,GAAG,CAA4B;EACxC,CAAC;AACH;AAEA;;;;;;;AAOA,kBAA6BC,CAA4B,EAAEN,aAAsB;EAC/E,OAAcD,IAA4B,IAAqB;IAC7D;IACA,OAAOA,IAAI,CAACX,MAAM,CAACkB,CAAC,EAHmCN,cAGlC;EACvB,CAAC;AACH;AAEA;;;;;;;;AAQA,OAAM,SAAUqB,UAAU,CAAOC,GAAM,EAAEhB,CAAmC,EAAEN,aAAsB;EAClG,OAAcD,IAA4B,IAAqB;IAC7D,OAAOwB,SAAarB,CAAC,IAAKsB,gCAAenC,KAAK,CAACiC,GAAG,EAAEpB,CAAC,CAAC,EAA5BI,CAAC,CAACJ,CAAC,CAAC,CAAyB,EAFmBF,eAEnED,IAAI,CAA6C;EAC1D,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAU0B,SAAS,CAAIvB,CAAI,EAAEF,aAAsB;EACvD,OAAcD,IAA4B,IAAqB;IAC7D,OAAOwB,SAAaG,EAAE,IAAKrC,KAAK,CAACqC,EAAE,EAAExB,CAAC,CAAC,EAFRF,eAExBD,IAAI,CAA6B;EAC1C,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAU4B,YAAY,CAAIrB,CAAc,EAAEN,aAAsB;EACpE,OAAcD,IAA4B,IAAiB;IACzD,OAAOwB,SAAaG,EAAE,IAAKrC,KAAK,CAACqC,EAAE,EAAEpB,CAAC,CAACoB,EAAE,CAAC,CAAC,EAFC1B,eAErCD,IAAI,CAAiC;EAC9C,CAAC;AACH;AAEA;;;;;;;AAOA,OAAM,SAAU6B,gBAAgB,CAAItB,CAAqB,EAAEN,aAAsB;EAC/E,OAAcD,IAA4B,IAAqB;IAC7D,OAAOwB,SAAaG,EAAE,IAAKrC,KAAK,CAACqC,EAAE,EAAEF,gCAAgBE,EAAE,EAAlBpB,CAAC,CAACoB,EAAE,CAAC,CAAc,CAAC,EAFF1B,eAEhDD,IAAI,CAA+C;EAC5D,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU8B,MAAM,CAAIvB,CAAc,EAAEN,aAAsB;EAC9D,OAAcD,IAA4B,IAAwB;IAChE,OAAOwB,SAAaG,EAAE,IAAKrC,KAAK,CAACyC,SAAS,EAAExB,CAAC,CAACoB,EAAE,CAAC,CAAC,EAFZ1B,eAE/BD,IAAI,CAAwC;EACrD,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAUgC,YAAY,CAAIzB,CAAc,EAAEN,aAAsB;EACpE,OAAcD,IAA4B,IAAI;IAC5C,OAAOwB,SAAaG,EAAE,IAAI;MACxB,MAAMM,CAAC,GAAG1B,CAAC,CAACoB,EAAE,CAAC;MACf,OAAOrC,KAAK,CAAC2C,CAAC,EAAEA,CAAC,CAAC;IACpB,CAAC,EAL2ChC,eAErCD,IAAI,CAGT;EACJ,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAUkC,UAAU,CAAI3B,CAAqB,EAAEN,aAAsB;EACzE,OAAcD,IAA4B,IAAwB;IAChE,OAAOwB,SAAaG,EAAE,IAAKrC,KAAK,CAACyC,SAAS,EAAEN,gCAAgBE,EAAE,EAAlBpB,CAAC,CAACoB,EAAE,CAAC,CAAc,CAAC,EAFf1B,eAE1CD,IAAI,CAAsD;EACnE,CAAC;AACH;AAEA;;;;;;;AAOA,OAAM,SAAUmC,gBAAgB,CAAI5B,CAAqB,EAAEN,aAAsB;EAC/E,OAAcD,IAA4B,IAAqB;IAC7D,OAAOwB,SAAaG,EAAE,IAAI;MACxB,MAAMM,CAAC,GAAGR,gCAAgBE,EAAE,EAAlBpB,CAAC,CAACoB,EAAE,CAAC,CAAc;MAC7B,OAAOrC,KAAK,CAAC2C,CAAC,EAAEA,CAAC,CAAC;IACpB,CAAC,EALsDhC,eAEhDD,IAAI,CAGT;EACJ,CAAC;AACH","names":["unsafeMake","dimap","modify","tuple","Emitter","AtomicRefSubject","RefSubjectInternal","concrete","initial","make","tsplus_module_1","unsafeMake_1","get","self","__tsplusTrace","set","a","Dimap","constructor","ref","f","g","end","value","c","o","run","emitter","tsplus_module_2","emit","cause","failCause","contramap","dimap_1","map","modifyJust","def","modify_1","tsplus_module_4","getAndSet","a0","getAndUpdate","getAndUpdateJust","update","undefined","updateAndGet","r","updateJust","updateJustAndGet"],"sourceRoot":"","sources":["../../_src/RefSubject/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;aAWgBA,UAAU;aAsFVC,KAAK;aAoCLC,MAAM;AArItB,SAASC,KAAK,QAAQ,2BAA2B;AACjD,SAASC,OAAO,QAAQ,gBAAgB;AACxC,SAASC,gBAAgB,QAAQ,6BAA6B;AAG9D,SAASC,kBAAkB,QAAQ,kBAAiB;AACpD,SAASC,QAAQ,QAAQ,kBAAiB;AAE1C;;;AAGA,sBAA8BC,OAAU;EACtC,OAAO,IAAIH,gBAAgB,CAACG,OAAO,CAAC;AACtC;AAEA;;;;AAIA,OAAM,SAAUC,IAAI,CAAID,OAAgB;EACtC,OAAOE,8BAAGC,aAAsBH,OAAO,EAAE,CAAC,wBAAC;AAC7C;AAEA;;;;;AAKA,OAAM,SAAUI,GAAG,CAAaC,IAA4B,EAAEC,aAAsB;EAClF;EACA,OAAOD,IAAI,CAACD,GAAG;AACjB;AAEA;;;;;;AAMA,OAAM,SAAUG,GAAG,CAAIC,CAAI,EAAEF,aAAsB;EACjD,OAAiBD,IAA4B,IAAwB;IACnE;IACA,OAAOA,IAAI,CAACE,GAAG,CAACC,CAAC,CAAC;EACpB,CAAC;AACH;AAEA,MAAMC,KAAwB,SAAQX,kBAA8B;EAClEY,YAAqBC,GAAmC,EAAWC,CAAc,EAAWC,CAAc;IACxG,KAAK,EAAE;IADY,QAAG,GAAHF,GAAG;IAA2C,MAAC,GAADC,CAAC;IAAwB,MAAC,GAADC,CAAC;IAqC7F,QAAG,GAAuB,IAAI,CAACF,GAAG,CAACG,GAAG;EAnCtC;EAEA,IAAIV,GAAG;IACL,OAAOF,oBAAiB,IAAI,CAACW,CAAC,yBAAvB,IAAI,CAACF,GAAG,CAACP,GAAG,CAAY;EACjC;EAEAG,GAAG,CAACQ,KAAQ;IACV,OAAO,IAAI,CAACJ,GAAG,CAACJ,GAAG,CAAC,IAAI,CAACK,CAAC,CAACG,KAAK,CAAC,CAAC;EACpC;EAEArB,MAAM,CAAIkB,CAA4B,EAAEN,aAAkC;IACxE,OAAOJ,wBAAkBc,CAAC,IAAI;MAC5B,MAAMC,CAAC,GAAGL,CAAC,CAACI,CAAC,CAAC;MACd,gCAAwBd,2BAAce,CAAC,CAAC,CAAC,CAAC,wBAAC,yBAApC,IAAI,CAACV,GAAG,CAACU,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC,yBAHM,IAAI,CAACb,GAAG,CAGb;EACJ;EAEAc,GAAG,CAAKC,OAA0B;IAChC,OAAO,IAAI,CAACR,GAAG,CAACO,GAAG,CACjBE,4BACGL,KAAK,IAAKI,OAAO,CAACE,IAAI,CAAC,IAAI,CAACR,CAAC,CAACE,KAAK,CAAC,CAAC,EACrCO,KAAK,IAAKH,OAAO,CAACI,SAAS,CAACD,KAAK,CAAC,EACnCH,OAAO,CAACL,GAAG,CACZ,CACF;EACH;EAEAO,IAAI,CAACN,KAAQ;IACX,OAAO,IAAI,CAACJ,GAAG,CAACU,IAAI,CAAC,IAAI,CAACT,CAAC,CAACG,KAAK,CAAC,CAAC;EACrC;EAEAQ,SAAS,CAACD,KAAe;IACvB,OAAO,IAAI,CAACX,GAAG,CAACY,SAAS,CAACD,KAAK,CAAC;EAClC;EAIA,IAAIE,SAAS;IACX,OAAO,IAAI,CAACX,CAAC,CAAC,IAAI,CAACF,GAAG,CAACa,SAAS,CAAC;EACnC;;AAGF;;;;;;AAMA,iBAAkCZ,CAAc,EAAEC,CAAc,EAAEP,aAAsB;EACtF,OAAcD,IAA4B,IAA4B;IACpE;IACA,OAAO,IAAII,KAAK,CAACJ,IAAI,EAAEO,CAAC,EAAEC,CAAC,CAAC;EAC9B,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAUY,SAAS,CAAOb,CAAc,EAAEN,aAAsB;EACpE,OAAiBD,IAA4B,IAA4B;IACvE,OAAOqB,QAAWd,CAAC,4BAFyBN,eAErCD,IAAI,CAA4B;EACzC,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAUsB,GAAG,CAAOf,CAAc,EAAEN,aAAsB;EAC9D,OAAiBK,GAA2B,IAA4B;IACtE,OAAOe,kCAA6Bd,CAAC,EAFCN,eAE/BK,GAAG,CAA4B;EACxC,CAAC;AACH;AAEA;;;;;;;AAOA,kBAA6BC,CAA4B,EAAEN,aAAsB;EAC/E,OAAcD,IAA4B,IAAqB;IAC7D;IACA,OAAOA,IAAI,CAACX,MAAM,CAACkB,CAAC,EAHmCN,cAGlC;EACvB,CAAC;AACH;AAEA;;;;;;;;AAQA,OAAM,SAAUsB,UAAU,CAAOC,GAAM,EAAEjB,CAAmC,EAAEN,aAAsB;EAClG,OAAcD,IAA4B,IAAqB;IAC7D,OAAOyB,SAAatB,CAAC,IAAKuB,gCAAepC,KAAK,CAACkC,GAAG,EAAErB,CAAC,CAAC,EAA5BI,CAAC,CAACJ,CAAC,CAAC,CAAyB,EAFmBF,eAEnED,IAAI,CAA6C;EAC1D,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAU2B,SAAS,CAAIxB,CAAI,EAAEF,aAAsB;EACvD,OAAcD,IAA4B,IAAqB;IAC7D,OAAOyB,SAAaG,EAAE,IAAKtC,KAAK,CAACsC,EAAE,EAAEzB,CAAC,CAAC,EAFRF,eAExBD,IAAI,CAA6B;EAC1C,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAU6B,YAAY,CAAItB,CAAc,EAAEN,aAAsB;EACpE,OAAcD,IAA4B,IAAiB;IACzD,OAAOyB,SAAaG,EAAE,IAAKtC,KAAK,CAACsC,EAAE,EAAErB,CAAC,CAACqB,EAAE,CAAC,CAAC,EAFC3B,eAErCD,IAAI,CAAiC;EAC9C,CAAC;AACH;AAEA;;;;;;;AAOA,OAAM,SAAU8B,gBAAgB,CAAIvB,CAAqB,EAAEN,aAAsB;EAC/E,OAAcD,IAA4B,IAAqB;IAC7D,OAAOyB,SAAaG,EAAE,IAAKtC,KAAK,CAACsC,EAAE,EAAEF,gCAAgBE,EAAE,EAAlBrB,CAAC,CAACqB,EAAE,CAAC,CAAc,CAAC,EAFF3B,eAEhDD,IAAI,CAA+C;EAC5D,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU+B,MAAM,CAAIxB,CAAc,EAAEN,aAAsB;EAC9D,OAAcD,IAA4B,IAAwB;IAChE,OAAOyB,SAAaG,EAAE,IAAKtC,KAAK,CAAC0C,SAAS,EAAEzB,CAAC,CAACqB,EAAE,CAAC,CAAC,EAFZ3B,eAE/BD,IAAI,CAAwC;EACrD,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAUiC,YAAY,CAAI1B,CAAc,EAAEN,aAAsB;EACpE,OAAcD,IAA4B,IAAI;IAC5C,OAAOyB,SAAaG,EAAE,IAAI;MACxB,MAAMM,CAAC,GAAG3B,CAAC,CAACqB,EAAE,CAAC;MACf,OAAOtC,KAAK,CAAC4C,CAAC,EAAEA,CAAC,CAAC;IACpB,CAAC,EAL2CjC,eAErCD,IAAI,CAGT;EACJ,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAUmC,UAAU,CAAI5B,CAAqB,EAAEN,aAAsB;EACzE,OAAcD,IAA4B,IAAwB;IAChE,OAAOyB,SAAaG,EAAE,IAAKtC,KAAK,CAAC0C,SAAS,EAAEN,gCAAgBE,EAAE,EAAlBrB,CAAC,CAACqB,EAAE,CAAC,CAAc,CAAC,EAFf3B,eAE1CD,IAAI,CAAsD;EACnE,CAAC;AACH;AAEA;;;;;;;AAOA,OAAM,SAAUoC,gBAAgB,CAAI7B,CAAqB,EAAEN,aAAsB;EAC/E,OAAcD,IAA4B,IAAqB;IAC7D,OAAOyB,SAAaG,EAAE,IAAI;MACxB,MAAMM,CAAC,GAAGR,gCAAgBE,EAAE,EAAlBrB,CAAC,CAACqB,EAAE,CAAC,CAAc;MAC7B,OAAOtC,KAAK,CAAC4C,CAAC,EAAEA,CAAC,CAAC;IACpB,CAAC,EALsDjC,eAEhDD,IAAI,CAGT;EACJ,CAAC;AACH","names":["unsafeMake","dimap","modify","tuple","Emitter","AtomicRefSubject","RefSubjectInternal","concrete","initial","make","tsplus_module_1","unsafeMake_1","get","self","__tsplusTrace","set","a","Dimap","constructor","ref","f","g","end","value","c","o","run","emitter","tsplus_module_2","emit","cause","failCause","unsafeGet","contramap","dimap_1","map","modifyJust","def","modify_1","tsplus_module_4","getAndSet","a0","getAndUpdate","getAndUpdateJust","update","undefined","updateAndGet","r","updateJust","updateJustAndGet"],"sourceRoot":"","sources":["../../_src/RefSubject/api.ts"],"sourcesContent":[null]}

package/_mjs/RefSubject/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";AAKA,SAASA,UAAU,QAAQ,aAAY;AACvC,SAASC,YAAY,QAAQ,aAAY;AACzC,SAASC,WAAW,QAAQ,YAAW;AAYvC,OAAO,MAAMC,UAAU,GAAkB,EAAE;AAM3C,OAAM,MAAgBC,kBAAkB;EAAxCC;IAQW,QAAY,GAAeL,UAAU;EA4BhD;;KA5BYA,UAAU;AA8BtB;;;AAGA,OAAM,SAAUM,QAAQ,CAAaC,CAAyB;EAC5D;AAAA","names":["PushTypeId","PushVariance","RefVariance","RefSubject","RefSubjectInternal","constructor","concrete","_"],"sourceRoot":"","sources":["../../_src/RefSubject/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";AAKA,SAASA,UAAU,QAAQ,aAAY;AACvC,SAASC,YAAY,QAAQ,aAAY;AACzC,SAASC,WAAW,QAAQ,YAAW;AAYvC,OAAO,MAAMC,UAAU,GAAkB,EAAE;AAM3C,OAAM,MAAgBC,kBAAkB;EAAxCC;IAQW,QAAY,GAAeL,UAAU;EA8BhD;;KA9BYA,UAAU;AAgCtB;;;AAGA,OAAM,SAAUM,QAAQ,CAAaC,CAAyB;EAC5D;AAAA","names":["PushTypeId","PushVariance","RefVariance","RefSubject","RefSubjectInternal","constructor","concrete","_"],"sourceRoot":"","sources":["../../_src/RefSubject/definition.ts"],"sourcesContent":[null]}

package/_src/IO/api/whenFiberRef.ts

@@ -0,0 +1,9 @@
+/**
+ * @tsplus pipeable fncts.io.IO whenFiberRef
+ * @tsplus static fncts.io.IOOps whenFiberRef
+ */
+export function whenFiberRef<S>(ref: FiberRef<S>, f: Predicate<S>, __tsplusTrace?: string) {
+  return <R, E, A>(self: IO<R, E, A>): IO<R, E, Maybe<A>> => {
+    return self.whenIO(ref.get.map(f));
+  };
+}

package/_src/IO/api/whenRef.ts

@@ -0,0 +1,9 @@
+/**
+ * @tsplus pipeable fncts.io.IO whenRef
+ * @tsplus static fncts.io.IOOps whenRef
+ */
+export function whenRef<S>(ref: Ref<S>, f: Predicate<S>) {
+  return <R, E, A>(self: IO<R, E, A>): IO<R, E, Maybe<A>> => {
+    return self.whenIO(ref.get.map(f));
+  };
+}

package/_src/IO/api/zipConcurrent.ts

@@ -1,4 +1,8 @@
+import type { InterruptibilityRestorer } from "./interrupt.js";
+import type { Grafter } from "./transplant.js";
+
 import { tuple } from "@fncts/base/data/function";
+import { AtomicBoolean } from "@fncts/base/internal/AtomicBoolean";
 import { AtomicReference } from "@fncts/base/internal/AtomicReference";
 
 /**
@@ -17,53 +21,47 @@ export function zipWithConcurrent<A, R1, E1, B, C>(that: IO<R1, E1, B>, f: (a: A
   return <R, E>(self: IO<R, E, A>): IO<R | R1, E | E1, C> => {
     return IO.fiberId.flatMap((fiberId) =>
       IO.uninterruptibleMask((restore) => {
-        const future = Future.unsafeMake<void, C>(FiberId.none);
-        const ref    = new AtomicReference<Maybe<Either<A, B>>>(Nothing());
-        return IO.transplant((graft) =>
-          graft(
-            restore(self).matchCauseIO(
-              (cause) => future.fail(undefined) > IO.failCauseNow(cause),
-              (a) =>
-                ref.getAndSet(Just(Either.left(a))).match(
-                  () => IO.unit,
-                  (value) =>
-                    value.match(
-                      () => IO.unit,
-                      (b) => future.succeed(f(a, b)).asUnit,
-                    ),
-                ),
-            ),
-          )
-            .forkDaemon.zip(
-              graft(
-                restore(that).matchCauseIO(
-                  (cause) => future.fail(undefined) > IO.failCauseNow(cause),
-                  (b) =>
-                    ref.getAndSet(Just(Either.right(b))).match(
-                      () => IO.unit,
-                      (value) =>
-                        value.match(
-                          (a) => future.succeed(f(a, b)).asUnit,
-                          () => IO.unit,
-                        ),
-                    ),
-                ),
-              ).forkDaemon,
-            )
+        return IO.transplant((graft) => {
+          const future = Future.unsafeMake<void, void>(FiberId.none);
+          const ref    = new AtomicBoolean(false);
+          return fork(self, restore, graft, future, ref)
+            .zip(fork(that, restore, graft, future, ref))
             .flatMap(([left, right]) =>
               restore(future.await).matchCauseIO(
                 (cause) =>
-                  left
-                    .interruptAs(fiberId)
-                    .zipConcurrent(right.interruptAs(fiberId))
-                    .flatMap(([left, right]) =>
-                      left.zipConcurrent(right).match(IO.failCauseNow, () => IO.failCauseNow(cause.stripFailures)),
-                    ),
-                (c) => left.inheritRefs.zip(right.inheritRefs).as(c),
+                  left.interruptFork >
+                  right.interruptFork >
+                  left.await.zip(right.await).flatMap(([left, right]) =>
+                    left
+                      .zipWithCause(right, f, (a, b) => Cause.both(a, b))
+                      .match(
+                        (causes) => IO.refailCause(Cause.both(cause.stripFailures, causes)),
+                        () => IO.refailCause(cause.stripFailures),
+                      ),
+                  ),
+                () => left.join.zipWith(right.join, f),
               ),
-            ),
-        );
+            );
+        });
       }),
     );
   };
 }
+
+function fork<R, E, A, C>(
+  io: Lazy<IO<R, E, A>>,
+  restore: InterruptibilityRestorer,
+  graft: Grafter,
+  future: Future<void, void>,
+  ref: AtomicBoolean,
+): IO<R, never, Fiber<E, A>> {
+  return graft(restore(io())).matchCauseIO(
+    (cause) => future.fail(undefined) > IO.refailCause(cause),
+    (a) => {
+      if (ref.getAndSet(true)) {
+        future.unsafeDone(IO.unit);
+      }
+      return IO.succeedNow(a);
+    },
+  ).forkDaemon;
+}

package/_src/IO/api.ts

@@ -1061,6 +1061,16 @@ export function left<A>(a: Lazy<A>, __tsplusTrace?: string): UIO<Either<A, never
   return IO.succeed(a).flatMap((a) => IO.succeedNow(Either.left(a)));
 }
 
+/**
+ * @tsplus getter fncts.io.IO just
+ */
+export function just<R, E, A>(self: IO<R, E, Maybe<A>>): IO<R, Maybe<E>, A> {
+  return self.matchIO(
+    (e) => IO.fail(Just(e)),
+    (a) => a.match(() => IO.fail(Nothing()), IO.succeedNow),
+  );
+}
+
 /**
  * @tsplus static fncts.io.IOOps log
  */
@@ -1291,6 +1301,11 @@ export function mergeAll<R, E, A, B>(
   return fas.foldLeft(IO.succeed(b) as IO<R, E, B>, (b, a) => b.zipWith(a, f));
 }
 
+/**
+ * @tsplus static fncts.io.IOOps nothing
+ */
+export const nothing = IO.succeedNow(Nothing());
+
 /**
  * Converts an option on errors into an option on values.
  *
@@ -1871,10 +1886,11 @@ export function when(b: Lazy<boolean>, __tsplusTrace?: string) {
  * The moral equivalent of `if (p) exp` when `p` has side-effects
  *
  * @tsplus pipeable fncts.io.IO whenIO
+ * @tsplus static fncts.io.IOOps whenIO
  */
 export function whenIO<R1, E1>(mb: IO<R1, E1, boolean>, __tsplusTrace?: string) {
-  return <R, E, A>(ma: IO<R, E, A>): IO<R1 | R, E | E1, void> => {
-    return mb.flatMap((b) => (b ? ma.asUnit : IO.unit));
+  return <R, E, A>(ma: IO<R, E, A>): IO<R1 | R, E | E1, Maybe<A>> => {
+    return mb.flatMap((b) => (b ? ma.asJust : IO.nothing));
   };
 }
 

package/_src/IO.ts

@@ -55,6 +55,8 @@ export * from "./IO/api/stateful.js";
 export * from "./IO/api/supervised.js";
 export * from "./IO/api/timeout.js";
 export * from "./IO/api/transplant.js";
+export * from "./IO/api/whenFiberRef.js";
+export * from "./IO/api/whenRef.js";
 export * from "./IO/api/withChildren.js";
 export * from "./IO/api/withEarlyRelease.js";
 export * from "./IO/api/withFinalizer.js";

package/_src/RefSubject/Atomic.ts

@@ -63,6 +63,10 @@ export class AtomicRefSubject<E, A> extends RefSubjectInternal<never, E, A, A> {
   unsafeEnd(): void {
     return this.stream.end.unsafeRunAsync();
   }
+
+  get unsafeGet(): A {
+    return this.ref.unsafeGet;
+  }
 }
 
 class AtomicDimapRef<A, B> extends Atomic<B> {

package/_src/RefSubject/Synchronized/definition.ts

@@ -69,4 +69,8 @@ export class SynchronizedRefSubjectInternal<R, E, A, B>
   withPermit<R, E, A>(io: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A> {
     return this.semaphore.withPermit(io);
   }
+
+  get unsafeGet(): B {
+    return this.ref.unsafeGet;
+  }
 }

package/_src/RefSubject/api.ts

@@ -83,6 +83,10 @@ class Dimap<R, E, A, B, C, D> extends RefSubjectInternal<R, E, C, D> {
   }
 
   end: IO<R, never, void> = this.ref.end;
+
+  get unsafeGet(): D {
+    return this.g(this.ref.unsafeGet);
+  }
 }
 
 /**

package/_src/RefSubject/definition.ts

@@ -59,6 +59,8 @@ export abstract class RefSubjectInternal<R, E, A, B>
   abstract emit(value: A): IO<R, never, void>;
 
   abstract end: IO<R, never, void>;
+
+  abstract get unsafeGet(): B;
 }
 
 /**

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "@fncts/io",
-  "version": "0.0.25",
+  "version": "0.0.27",
   "dependencies": {
-    "@fncts/base": "0.0.23",
+    "@fncts/base": "0.0.24",
     "@fncts/transformers": "0.0.4",
     "@fncts/typelevel": "0.0.15"
   },