@fncts/io 0.0.21 → 0.0.23

package/_mjs/STM/api.mjs

@@ -1,22 +1,16 @@
 const fileName_1 = "(@fncts/io) src/STM/api.ts";
 import * as tsplus_module_1 from "@fncts/io/STM/api/core-api";
 import * as tsplus_module_2 from "@fncts/base/data/Maybe/constructors";
-import * as tsplus_module_3 from "@fncts/io/IO/api";
-import * as tsplus_module_4 from "@fncts/io/TxnId";
-import * as tsplus_module_5 from "@fncts/io/STM/internal/CommitState";
-import * as tsplus_module_6 from "@fncts/io/IO/api/interrupt";
-import * as tsplus_module_7 from "@fncts/io/FiberRef/unsafe";
-import * as tsplus_module_8 from "@fncts/io/FiberRef/api";
-import * as tsplus_module_9 from "@fncts/io/IO/api/environment";
-import * as tsplus_module_10 from "@fncts/io/STM/api/core-constructors";
-import * as tsplus_module_11 from "@fncts/base/util/predicates";
-import * as tsplus_module_12 from "@fncts/base/data/Maybe/api";
-import * as tsplus_module_13 from "@fncts/base/data/Either/constructors";
-import * as tsplus_module_14 from "@fncts/base/data/Either/destructors";
-import * as tsplus_module_15 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_3 from "@fncts/io/STM/api/core-constructors";
+import * as tsplus_module_4 from "@fncts/base/util/predicates";
+import * as tsplus_module_5 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_6 from "@fncts/io/STM/api/atomically";
+import * as tsplus_module_7 from "@fncts/io/IO/api";
+import * as tsplus_module_8 from "@fncts/base/data/Either/constructors";
+import * as tsplus_module_9 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_10 from "@fncts/base/data/Maybe/destructors";
 export const as = as_1;
 export const environment = environment_1;
-export const atomically = atomically_1;
 export const continueOrFailSTM = continueOrFailSTM_1;
 export const continueOrRetrySTM = continueOrRetrySTM_1;
 export const defer = defer_1;
@@ -36,15 +30,12 @@ export const swap = swap_1;
 export const swapWith = swapWith_1;
 export const zipWith = zipWith_1;
 import { identity } from "@fncts/base/data/function";
-import { AtomicReference } from "@fncts/base/internal/AtomicReference";
 import { ContramapEnvironment, Effect, HaltException } from "./definition.mjs";
-import { tryCommitAsync, tryCommitSync } from "./internal/Journal.mjs";
 /**
  * Maps the success value of this effect to the specified constant value.
  *
  * @tsplus pipeable fncts.io.STM as
  */
-
 function as_1(b, __tsplusTrace) {
   return stm => {
     return tsplus_module_1.map(() => b(), __tsplusTrace)(stm);
@@ -55,8 +46,6 @@ function as_1(b, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM asJust
  */
-
-
 export function asJust(stm, __tsplusTrace) {
   return tsplus_module_1.map(tsplus_module_2.just, __tsplusTrace)(stm);
 }
@@ -65,7 +54,6 @@ export function asJust(stm, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM asJustError
  */
-
 export function asJustError(stm, __tsplusTrace) {
   return mapError_1(tsplus_module_2.just, __tsplusTrace)(stm);
 }
@@ -75,14 +63,12 @@ export function asJustError(stm, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM absolve
  */
-
 export function absolve(z, __tsplusTrace) {
   return tsplus_module_1.flatMap(fromEitherNow_1, __tsplusTrace)(z);
 }
 /**
  * @tsplus static fncts.io.STMOps Effect
  */
-
 export function makeEffect(f, __tsplusTrace) {
   return new Effect(f);
 }
@@ -91,7 +77,6 @@ export function makeEffect(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps environment
  */
-
 function environment_1(__tsplusTrace) {
   return new Effect((_, __, r) => r);
 }
@@ -100,8 +85,6 @@ function environment_1(__tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps environmentWith
  */
-
-
 export function environmentWith(f, __tsplusTrace) {
   return tsplus_module_1.map(f, __tsplusTrace)(environment_1(__tsplusTrace));
 }
@@ -110,81 +93,30 @@ export function environmentWith(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps environmentWithSTM
  */
-
 export function environmentWithSTM(f, __tsplusTrace) {
   return tsplus_module_1.flatMap(f, __tsplusTrace)(environment_1(__tsplusTrace));
 }
-/**
- * @tsplus static fncts.io.STMOps atomically
- * @tsplus getter fncts.io.STM commit
- */
-
-function atomically_1(stm, __tsplusTrace) {
-  return tsplus_module_9.environmentWithIO(r => tsplus_module_8.getWith(scheduler => tsplus_module_3.deferWith((_, fiberId) => {
-    const result = tryCommitSync(fiberId, stm, r, scheduler);
-
-    switch (result._tag) {
-      case "Done"
-      /* TryCommitTag.Done */
-      :
-        {
-          return tsplus_module_3.fromExitNow(result.exit, __tsplusTrace);
-        }
-
-      case "Suspend"
-      /* TryCommitTag.Suspend */
-      :
-        {
-          const id = tsplus_module_4.make();
-          const state = new AtomicReference(tsplus_module_5.Running);
-          const async = tsplus_module_3.async(tryCommitAsync(result.journal, fiberId, stm, id, state, r, scheduler));
-          return tsplus_module_6.uninterruptibleMask(({
-            restore
-          }) => tsplus_module_3.catchAllCause(cause => {
-            state.compareAndSet(tsplus_module_5.Running, tsplus_module_5.Interrupted);
-            const newState = state.get;
-
-            switch (newState._tag) {
-              case "Done":
-                {
-                  return tsplus_module_3.fromExitNow(newState.exit, __tsplusTrace);
-                }
-
-              default:
-                {
-                  return tsplus_module_3.failCauseNow(cause, __tsplusTrace);
-                }
-            }
-          }, __tsplusTrace)(restore(async)), __tsplusTrace);
-        }
-    }
-  }, __tsplusTrace), __tsplusTrace)(tsplus_module_7.currentScheduler), __tsplusTrace);
-}
 /**
  * Returns an `STM` effect whose failure and success channels have been mapped by
  * the specified pair of functions, `f` and `g`.
  *
  * @tsplus pipeable fncts.io.STM bimap
  */
-
-
 export function bimap(g, f, __tsplusTrace) {
-  return self => tsplus_module_1.matchSTM(e => tsplus_module_10.failNow(g(e), __tsplusTrace), a => tsplus_module_10.succeedNow(f(a), __tsplusTrace), __tsplusTrace)(self);
+  return self => tsplus_module_1.matchSTM(e => tsplus_module_3.failNow(g(e), __tsplusTrace), a => tsplus_module_3.succeedNow(f(a), __tsplusTrace), __tsplusTrace)(self);
 }
 /**
  * Recovers from specified error.
  *
  * @tsplus pipeable fncts.io.STM catch
  */
-
 export function catchWith(tag, k, f, __tsplusTrace) {
   return stm => {
     return tsplus_module_1.catchAll(e => {
-      if (tsplus_module_11.isObject(e) && tag in e && e[tag] === k) {
+      if (tsplus_module_4.isObject(e) && tag in e && e[tag] === k) {
         return f(e);
       }
-
-      return tsplus_module_10.failNow(e, __tsplusTrace);
+      return tsplus_module_3.failNow(e, __tsplusTrace);
     }, __tsplusTrace)(stm);
   };
 }
@@ -193,10 +125,9 @@ export function catchWith(tag, k, f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM catchJust
  */
-
 export function catchJust(f, __tsplusTrace) {
   return stm => {
-    return tsplus_module_1.catchAll(e => tsplus_module_12.getOrElse(() => tsplus_module_10.failNow(e, __tsplusTrace))(f(e)), __tsplusTrace)(stm);
+    return tsplus_module_1.catchAll(e => tsplus_module_5.getOrElse(() => tsplus_module_3.failNow(e, __tsplusTrace))(f(e)), __tsplusTrace)(stm);
   };
 }
 /**
@@ -204,15 +135,13 @@ export function catchJust(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM catchTag
  */
-
 export function catchTag(k, f, __tsplusTrace) {
   return stm => {
     return tsplus_module_1.catchAll(e => {
       if ("_tag" in e && e["_tag"] === k) {
         return f(e);
       }
-
-      return tsplus_module_10.failNow(e, __tsplusTrace);
+      return tsplus_module_3.failNow(e, __tsplusTrace);
     }, __tsplusTrace)(stm);
   };
 }
@@ -222,7 +151,6 @@ export function catchTag(k, f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM flatMapError
  */
-
 export function chainError(f, __tsplusTrace) {
   return stm => {
     return swapWith_1(effect => tsplus_module_1.flatMap(f, __tsplusTrace)(effect), __tsplusTrace)(stm);
@@ -233,17 +161,15 @@ export function chainError(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps check
  */
-
 export function check(predicate, __tsplusTrace) {
-  return defer_1(() => predicate() ? unit_1 : tsplus_module_10.retry, __tsplusTrace);
+  return defer_1(() => predicate() ? unit_1 : tsplus_module_3.retry, __tsplusTrace);
 }
 /**
  * Commits this transaction atomically, regardless of whether the transaction
  * is a success or a failure.
  */
-
 export function commitEither(stm, __tsplusTrace) {
-  return tsplus_module_3.absolve(atomically_1(either_1(stm, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+  return tsplus_module_7.absolve(tsplus_module_6.atomically(either_1(stm, __tsplusTrace), __tsplusTrace), __tsplusTrace);
 }
 /**
  * Fail with `e` if the supplied `PartialFunction` does not match, otherwise
@@ -251,10 +177,9 @@ export function commitEither(stm, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM continueOrFail
  */
-
 export function continueOrFail(e, pf, __tsplusTrace) {
   return fa => {
-    return continueOrFailSTM_1(e, a => tsplus_module_12.map(tsplus_module_10.succeedNow)(pf(a)), __tsplusTrace)(fa);
+    return continueOrFailSTM_1(e, a => tsplus_module_5.map(tsplus_module_3.succeedNow)(pf(a)), __tsplusTrace)(fa);
   };
 }
 /**
@@ -263,10 +188,9 @@ export function continueOrFail(e, pf, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM continueOrFailSTM
  */
-
 function continueOrFailSTM_1(e, pf, __tsplusTrace) {
   return fa => {
-    return tsplus_module_1.flatMap(a => tsplus_module_12.getOrElse(() => tsplus_module_10.fail(e, __tsplusTrace))(pf(a)), __tsplusTrace)(fa);
+    return tsplus_module_1.flatMap(a => tsplus_module_5.getOrElse(() => tsplus_module_3.fail(e, __tsplusTrace))(pf(a)), __tsplusTrace)(fa);
   };
 }
 /**
@@ -275,11 +199,9 @@ function continueOrFailSTM_1(e, pf, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM continueOrRetry
  */
-
-
 export function continueOrRetry(pf, __tsplusTrace) {
   return fa => {
-    return continueOrRetrySTM_1(a => tsplus_module_12.map(tsplus_module_10.succeedNow)(pf(a)), __tsplusTrace)(fa);
+    return continueOrRetrySTM_1(a => tsplus_module_5.map(tsplus_module_3.succeedNow)(pf(a)), __tsplusTrace)(fa);
   };
 }
 /**
@@ -288,10 +210,9 @@ export function continueOrRetry(pf, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM continueOrRetrySTM
  */
-
 function continueOrRetrySTM_1(pf, __tsplusTrace) {
   return fa => {
-    return tsplus_module_1.flatMap(a => tsplus_module_12.getOrElse(() => tsplus_module_10.retry)(pf(a)), __tsplusTrace)(fa);
+    return tsplus_module_1.flatMap(a => tsplus_module_5.getOrElse(() => tsplus_module_3.retry)(pf(a)), __tsplusTrace)(fa);
   };
 }
 /**
@@ -299,41 +220,33 @@ function continueOrRetrySTM_1(pf, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps defer
  */
-
-
 function defer_1(make, __tsplusTrace) {
-  return flatten_1(tsplus_module_10.succeed(make, __tsplusTrace), __tsplusTrace);
+  return flatten_1(tsplus_module_3.succeed(make, __tsplusTrace), __tsplusTrace);
 }
 /**
  * Converts the failure channel into an `Either`.
  *
  * @tsplus getter fncts.io.STM either
  */
-
-
 function either_1(stm, __tsplusTrace) {
-  return match_1(tsplus_module_13.left, tsplus_module_13.right, __tsplusTrace)(stm);
+  return match_1(tsplus_module_8.left, tsplus_module_8.right, __tsplusTrace)(stm);
 }
 /**
  * Returns an effect that ignores errors and runs repeatedly until it eventually succeeds.
  *
  * @tsplus getter fncts.io.STM eventually
  */
-
-
 function eventually_1(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM(() => eventually_1(stm, __tsplusTrace), tsplus_module_10.succeedNow, __tsplusTrace)(stm);
+  return tsplus_module_1.matchSTM(() => eventually_1(stm, __tsplusTrace), tsplus_module_3.succeedNow, __tsplusTrace)(stm);
 }
 /**
  * Simultaneously filters and maps the value produced by this effect.
  *
  * @tsplus pipeable fncts.io.STM filterMap
  */
-
-
 export function filterMap(f, __tsplusTrace) {
   return stm => {
-    return filterMapSTM_1(a => tsplus_module_12.map(tsplus_module_10.succeedNow)(f(a)), __tsplusTrace)(stm);
+    return filterMapSTM_1(a => tsplus_module_5.map(tsplus_module_3.succeedNow)(f(a)), __tsplusTrace)(stm);
   };
 }
 /**
@@ -342,22 +255,19 @@ export function filterMap(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM filterMapSTM
  */
-
 function filterMapSTM_1(f, __tsplusTrace) {
   return self => {
-    return tsplus_module_1.matchSTM(tsplus_module_10.failNow, a => tsplus_module_12.getOrElse(() => tsplus_module_10.retry)(f(a)), __tsplusTrace)(self);
+    return tsplus_module_1.matchSTM(tsplus_module_3.failNow, a => tsplus_module_5.getOrElse(() => tsplus_module_3.retry)(f(a)), __tsplusTrace)(self);
   };
 }
-
 function filterOrElse_1(p, or, __tsplusTrace) {
   return fa => {
-    return tsplus_module_1.flatMap(a => p(a) ? tsplus_module_10.succeedNow(a, __tsplusTrace) : defer_1(() => or(a), __tsplusTrace), __tsplusTrace)(fa);
+    return tsplus_module_1.flatMap(a => p(a) ? tsplus_module_3.succeedNow(a, __tsplusTrace) : defer_1(() => or(a), __tsplusTrace), __tsplusTrace)(fa);
   };
 }
-
 export function filterOrFail(p, failWith, __tsplusTrace) {
   return fa => {
-    return filterOrElse_1(p, a => tsplus_module_10.fail(() => failWith(a), __tsplusTrace))(fa);
+    return filterOrElse_1(p, a => tsplus_module_3.fail(() => failWith(a), __tsplusTrace))(fa);
   };
 }
 export function filterOrHalt(p, haltWith, __tsplusTrace) {
@@ -370,7 +280,6 @@ export function filterOrHalt(p, haltWith, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM flatten
  */
-
 function flatten_1(stm, __tsplusTrace) {
   return tsplus_module_1.flatMap(identity, __tsplusTrace)(stm);
 }
@@ -379,11 +288,9 @@ function flatten_1(stm, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM flattenErrorOption
  */
-
-
 export function flattenErrorOption(def, __tsplusTrace) {
   return stm => {
-    return mapError_1(me => tsplus_module_12.getOrElse(def)(me), __tsplusTrace)(stm);
+    return mapError_1(me => tsplus_module_5.getOrElse(def)(me), __tsplusTrace)(stm);
   };
 }
 /**
@@ -392,18 +299,15 @@ export function flattenErrorOption(def, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps foreach
  */
-
 export function foreach(it, f, __tsplusTrace) {
   return defer_1(() => {
-    let stm = tsplus_module_10.succeedNow([], __tsplusTrace);
-
+    let stm = tsplus_module_3.succeedNow([], __tsplusTrace);
     for (const a of it) {
       stm = zipWith_1(f(a), (acc, b) => {
         acc.push(b);
         return acc;
       }, __tsplusTrace)(stm);
     }
-
     return stm;
   }, __tsplusTrace);
 }
@@ -412,26 +316,22 @@ export function foreach(it, f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps fromEither
  */
-
 export function fromEither(e, __tsplusTrace) {
-  return defer_1(() => tsplus_module_14.match(tsplus_module_10.failNow, tsplus_module_10.succeedNow)(e()), __tsplusTrace);
+  return defer_1(() => tsplus_module_9.match(tsplus_module_3.failNow, tsplus_module_3.succeedNow)(e()), __tsplusTrace);
 }
 /**
  * Lifts an `Either` into a `STM`.
  *
  * @tsplus static fncts.io.STMOps fromEitherNow
  */
-
 function fromEitherNow_1(e, __tsplusTrace) {
-  return tsplus_module_14.match(tsplus_module_10.failNow, tsplus_module_10.succeedNow)(e);
+  return tsplus_module_9.match(tsplus_module_3.failNow, tsplus_module_3.succeedNow)(e);
 }
 /**
  * Unwraps the optional success of this effect, but can fail with an None value.
  */
-
-
 export function get(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM(e => tsplus_module_10.failNow(tsplus_module_2.just(e), __tsplusTrace), ma => tsplus_module_15.match(() => tsplus_module_10.failNow(tsplus_module_2.nothing(), __tsplusTrace), tsplus_module_10.succeedNow)(ma), __tsplusTrace)(stm);
+  return tsplus_module_1.matchSTM(e => tsplus_module_3.failNow(tsplus_module_2.just(e), __tsplusTrace), ma => tsplus_module_10.match(() => tsplus_module_3.failNow(tsplus_module_2.nothing(), __tsplusTrace), tsplus_module_3.succeedNow)(ma), __tsplusTrace)(stm);
 }
 /**
  * Provides the transaction its required environment, which eliminates
@@ -439,7 +339,6 @@ export function get(stm, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM provideEnvironment
  */
-
 export function provideEnvironment(r, __tsplusTrace) {
   return stm => {
     return contramapEnvironment_1(() => r, __tsplusTrace)(stm);
@@ -451,7 +350,6 @@ export function provideEnvironment(r, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM contramapEnvironment
  */
-
 function contramapEnvironment_1(f, __tsplusTrace) {
   return self => {
     return new ContramapEnvironment(self, f);
@@ -462,8 +360,6 @@ function contramapEnvironment_1(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps halt
  */
-
-
 function halt_1(u, __tsplusTrace) {
   return new Effect(() => {
     throw new HaltException(u());
@@ -474,8 +370,6 @@ function halt_1(u, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps haltNow
  */
-
-
 export function haltNow(u, __tsplusTrace) {
   return new Effect(() => {
     throw new HaltException(u);
@@ -487,12 +381,11 @@ export function haltNow(u, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM head
  */
-
 export function head(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM(e => tsplus_module_10.failNow(tsplus_module_2.just(e), __tsplusTrace), ia => {
+  return tsplus_module_1.matchSTM(e => tsplus_module_3.failNow(tsplus_module_2.just(e), __tsplusTrace), ia => {
     const it = ia[Symbol.iterator]();
     const next = it.next();
-    return next.done ? tsplus_module_10.failNow(tsplus_module_2.nothing(), __tsplusTrace) : tsplus_module_10.succeedNow(next.value, __tsplusTrace);
+    return next.done ? tsplus_module_3.failNow(tsplus_module_2.nothing(), __tsplusTrace) : tsplus_module_3.succeedNow(next.value, __tsplusTrace);
   }, __tsplusTrace)(stm);
 }
 /**
@@ -500,14 +393,12 @@ export function head(stm, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps interrupt
  */
-
-export const interrupt = /*#__PURE__*/tsplus_module_1.flatMap(id => tsplus_module_10.interruptAs(id, fileName_1 + ":565:95"), fileName_1 + ":565:71")(tsplus_module_10.fiberId);
+export const interrupt = /*#__PURE__*/tsplus_module_1.flatMap(id => tsplus_module_3.interruptAs(id, fileName_1 + ":527:95"), fileName_1 + ":527:71")(tsplus_module_3.fiberId);
 /**
  * Returns whether this effect is a failure.
  *
  * @tsplus getter fncts.io.STM isFailure
  */
-
 export function isFailure(stm, __tsplusTrace) {
   return match_1(() => true, () => false, __tsplusTrace)(stm);
 }
@@ -516,7 +407,6 @@ export function isFailure(stm, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM isSuccess
  */
-
 export function isSuccess(stm, __tsplusTrace) {
   return match_1(() => false, () => true, __tsplusTrace)(stm);
 }
@@ -525,19 +415,17 @@ export function isSuccess(stm, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM left
  */
-
 export function left(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM(e => tsplus_module_10.fail(() => tsplus_module_2.just(e), __tsplusTrace), bc => tsplus_module_14.match(tsplus_module_10.succeedNow, () => tsplus_module_10.failNow(tsplus_module_2.nothing(), __tsplusTrace))(bc), __tsplusTrace)(stm);
+  return tsplus_module_1.matchSTM(e => tsplus_module_3.fail(() => tsplus_module_2.just(e), __tsplusTrace), bc => tsplus_module_9.match(tsplus_module_3.succeedNow, () => tsplus_module_3.failNow(tsplus_module_2.nothing(), __tsplusTrace))(bc), __tsplusTrace)(stm);
 }
 /**
  * Returns a successful effect if the value is `Left`, or fails with the error e.
  *
  * @tsplus pipeable fncts.io.STM leftOrFail
  */
-
 export function leftOrFail(orFail, __tsplusTrace) {
   return stm => {
-    return tsplus_module_1.flatMap(bc => tsplus_module_14.match(tsplus_module_10.succeedNow, c => tsplus_module_10.fail(() => orFail(c), __tsplusTrace))(bc), __tsplusTrace)(stm);
+    return tsplus_module_1.flatMap(bc => tsplus_module_9.match(tsplus_module_3.succeedNow, c => tsplus_module_3.fail(() => orFail(c), __tsplusTrace))(bc), __tsplusTrace)(stm);
   };
 }
 /**
@@ -545,10 +433,9 @@ export function leftOrFail(orFail, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM mapError
  */
-
 function mapError_1(f, __tsplusTrace) {
   return stm => {
-    return tsplus_module_1.matchSTM(e => tsplus_module_10.failNow(f(e), __tsplusTrace), tsplus_module_10.succeedNow, __tsplusTrace)(stm);
+    return tsplus_module_1.matchSTM(e => tsplus_module_3.failNow(f(e), __tsplusTrace), tsplus_module_3.succeedNow, __tsplusTrace)(stm);
   };
 }
 /**
@@ -557,11 +444,9 @@ function mapError_1(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM match
  */
-
-
 function match_1(g, f, __tsplusTrace) {
   return stm => {
-    return tsplus_module_1.matchSTM(e => tsplus_module_10.succeedNow(g(e), __tsplusTrace), a => tsplus_module_10.succeedNow(f(a), __tsplusTrace), __tsplusTrace)(stm);
+    return tsplus_module_1.matchSTM(e => tsplus_module_3.succeedNow(g(e), __tsplusTrace), a => tsplus_module_3.succeedNow(f(a), __tsplusTrace), __tsplusTrace)(stm);
   };
 }
 /**
@@ -578,11 +463,9 @@ function match_1(g, f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM repeatUntil
  */
-
-
 function repeatUntil_1(f, __tsplusTrace) {
   return stm => {
-    return tsplus_module_1.flatMap(a => f(a) ? tsplus_module_10.succeedNow(a, __tsplusTrace) : repeatUntil_1(f, __tsplusTrace)(stm), __tsplusTrace)(stm);
+    return tsplus_module_1.flatMap(a => f(a) ? tsplus_module_3.succeedNow(a, __tsplusTrace) : repeatUntil_1(f, __tsplusTrace)(stm), __tsplusTrace)(stm);
   };
 }
 /**
@@ -599,11 +482,9 @@ function repeatUntil_1(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM repeatWhile
  */
-
-
 function repeatWhile_1(f, __tsplusTrace) {
   return stm => {
-    return tsplus_module_1.flatMap(a => f(a) ? repeatWhile_1(f, __tsplusTrace)(stm) : tsplus_module_10.succeedNow(a, __tsplusTrace), __tsplusTrace)(stm);
+    return tsplus_module_1.flatMap(a => f(a) ? repeatWhile_1(f, __tsplusTrace)(stm) : tsplus_module_3.succeedNow(a, __tsplusTrace), __tsplusTrace)(stm);
   };
 }
 /**
@@ -612,18 +493,14 @@ function repeatWhile_1(f, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM swap
  */
-
-
 function swap_1(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM(tsplus_module_10.succeedNow, tsplus_module_10.failNow, __tsplusTrace)(stm);
+  return tsplus_module_1.matchSTM(tsplus_module_3.succeedNow, tsplus_module_3.failNow, __tsplusTrace)(stm);
 }
 /**
  * Swaps the error/value parameters, applies the function `f` and flips the parameters back
  *
  * @tsplus pipeable fncts.io.STM swapWith
  */
-
-
 function swapWith_1(f, __tsplusTrace) {
   return stm => {
     return swap_1(f(swap_1(stm, __tsplusTrace)), __tsplusTrace);
@@ -634,8 +511,6 @@ function swapWith_1(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM tap
  */
-
-
 export function tap(f, __tsplusTrace) {
   return stm => {
     return tsplus_module_1.flatMap(a => as_1(() => a, __tsplusTrace)(f(a)), __tsplusTrace)(stm);
@@ -646,17 +521,15 @@ export function tap(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps toLeft
  */
-
 export function toLeft(a, __tsplusTrace) {
-  return tsplus_module_1.flatMap(a => tsplus_module_10.succeedNow(tsplus_module_13.left(a), __tsplusTrace), __tsplusTrace)(tsplus_module_10.succeed(a, __tsplusTrace));
+  return tsplus_module_1.flatMap(a => tsplus_module_3.succeedNow(tsplus_module_8.left(a), __tsplusTrace), __tsplusTrace)(tsplus_module_3.succeed(a, __tsplusTrace));
 }
 /**
  * Returns an `STM` effect that succeeds with `Unit`.
  *
  * @tsplus static fncts.io.STMOps unit
  */
-
-const unit_1 = /*#__PURE__*/tsplus_module_10.succeedNow(undefined, fileName_1 + ":726:35");
+const unit_1 = /*#__PURE__*/tsplus_module_3.succeedNow(undefined, fileName_1 + ":688:35");
 export const unit = unit_1;
 /**
  * Sequentially zips this value with the specified one, combining the values
@@ -664,10 +537,27 @@ export const unit = unit_1;
  *
  * @tsplus pipeable fncts.io.STM zipWith
  */
-
 function zipWith_1(that, f, __tsplusTrace) {
   return self => {
     return tsplus_module_1.flatMap(a => tsplus_module_1.map(b => f(a, b), __tsplusTrace)(that), __tsplusTrace)(self);
   };
 }
+/**
+ * @tsplus pipeable fncts.io.STM zipLeft
+ * @tsplus opipeable-operator fncts.io.STM <
+ */
+export function zipLeft(that, __tsplusTrace) {
+  return self => {
+    return tsplus_module_1.flatMap(a => as_1(() => a, __tsplusTrace)(that), __tsplusTrace)(self);
+  };
+}
+/**
+ * @tsplus pipeable fncts.io.STM zipRight
+ * @tsplus pipeable-operator fncts.io.STM >
+ */
+export function zipRight(that, __tsplusTrace) {
+  return self => {
+    return tsplus_module_1.flatMap(() => that, __tsplusTrace)(self);
+  };
+}
 //# sourceMappingURL=api.mjs.map