@fncts/io 0.0.21 → 0.0.23

package/_cjs/STM/api.cjs

@@ -7,7 +7,6 @@ exports.absolve = absolve;
 exports.as = void 0;
 exports.asJust = asJust;
 exports.asJustError = asJustError;
-exports.atomically = void 0;
 exports.bimap = bimap;
 exports.catchJust = catchJust;
 exports.catchTag = catchTag;
@@ -46,57 +45,29 @@ exports.provideEnvironment = provideEnvironment;
 exports.swapWith = exports.swap = exports.repeatWhile = exports.repeatUntil = void 0;
 exports.tap = tap;
 exports.toLeft = toLeft;
-exports.zipWith = exports.unit = void 0;
-
+exports.unit = void 0;
+exports.zipLeft = zipLeft;
+exports.zipRight = zipRight;
+exports.zipWith = void 0;
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/STM/api/core-api"));
-
 var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
-
-var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api"));
-
-var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/TxnId"));
-
-var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/STM/internal/CommitState"));
-
-var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api/interrupt"));
-
-var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/FiberRef/unsafe"));
-
-var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/FiberRef/api"));
-
-var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api/environment"));
-
-var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/STM/api/core-constructors"));
-
-var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/util/predicates"));
-
-var tsplus_module_12 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/api"));
-
-var tsplus_module_13 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/constructors"));
-
-var tsplus_module_14 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
-
-var tsplus_module_15 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
-
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/STM/api/core-constructors"));
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/util/predicates"));
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/api"));
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/STM/api/atomically"));
+var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api"));
+var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/constructors"));
+var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
+var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
 var _function = /*#__PURE__*/require("@fncts/base/data/function");
-
-var _AtomicReference = /*#__PURE__*/require("@fncts/base/internal/AtomicReference");
-
 var _definition = /*#__PURE__*/require("./definition.cjs");
-
-var _Journal = /*#__PURE__*/require("./internal/Journal.cjs");
-
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
-
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
-
 const fileName_1 = "(@fncts/io) src/STM/api.ts";
 const as = as_1;
 exports.as = as;
 const environment = environment_1;
 exports.environment = environment;
-const atomically = atomically_1;
-exports.atomically = atomically;
 const continueOrFailSTM = continueOrFailSTM_1;
 exports.continueOrFailSTM = continueOrFailSTM;
 const continueOrRetrySTM = continueOrRetrySTM_1;
@@ -133,7 +104,6 @@ const swapWith = swapWith_1;
 exports.swapWith = swapWith;
 const zipWith = zipWith_1;
 exports.zipWith = zipWith;
-
 /**
  * Maps the success value of this effect to the specified constant value.
  *
@@ -149,8 +119,6 @@ function as_1(b, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM asJust
  */
-
-
 function asJust(stm, __tsplusTrace) {
   return tsplus_module_1.map(tsplus_module_2.just, __tsplusTrace)(stm);
 }
@@ -159,8 +127,6 @@ function asJust(stm, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM asJustError
  */
-
-
 function asJustError(stm, __tsplusTrace) {
   return mapError_1(tsplus_module_2.just, __tsplusTrace)(stm);
 }
@@ -170,16 +136,12 @@ function asJustError(stm, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM absolve
  */
-
-
 function absolve(z, __tsplusTrace) {
   return tsplus_module_1.flatMap(fromEitherNow_1, __tsplusTrace)(z);
 }
 /**
  * @tsplus static fncts.io.STMOps Effect
  */
-
-
 function makeEffect(f, __tsplusTrace) {
   return new _definition.Effect(f);
 }
@@ -188,8 +150,6 @@ function makeEffect(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps environment
  */
-
-
 function environment_1(__tsplusTrace) {
   return new _definition.Effect((_, __, r) => r);
 }
@@ -198,8 +158,6 @@ function environment_1(__tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps environmentWith
  */
-
-
 function environmentWith(f, __tsplusTrace) {
   return tsplus_module_1.map(f, __tsplusTrace)(environment_1(__tsplusTrace));
 }
@@ -208,84 +166,30 @@ function environmentWith(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps environmentWithSTM
  */
-
-
 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 = (0, _Journal.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.AtomicReference(tsplus_module_5.Running);
-          const async = tsplus_module_3.async((0, _Journal.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
  */
-
-
 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
  */
-
-
 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);
   };
 }
@@ -294,11 +198,9 @@ function catchWith(tag, k, f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM catchJust
  */
-
-
 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);
   };
 }
 /**
@@ -306,16 +208,13 @@ function catchJust(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM catchTag
  */
-
-
 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);
   };
 }
@@ -325,8 +224,6 @@ function catchTag(k, f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM flatMapError
  */
-
-
 function chainError(f, __tsplusTrace) {
   return stm => {
     return swapWith_1(effect => tsplus_module_1.flatMap(f, __tsplusTrace)(effect), __tsplusTrace)(stm);
@@ -337,19 +234,15 @@ function chainError(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps check
  */
-
-
 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.
  */
-
-
 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
@@ -357,11 +250,9 @@ function commitEither(stm, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM continueOrFail
  */
-
-
 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);
   };
 }
 /**
@@ -370,11 +261,9 @@ 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);
   };
 }
 /**
@@ -383,11 +272,9 @@ function continueOrFailSTM_1(e, pf, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM continueOrRetry
  */
-
-
 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);
   };
 }
 /**
@@ -396,11 +283,9 @@ 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);
   };
 }
 /**
@@ -408,41 +293,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
  */
-
-
 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);
   };
 }
 /**
@@ -451,26 +328,21 @@ 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);
   };
 }
-
 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);
   };
 }
-
 function filterOrHalt(p, haltWith, __tsplusTrace) {
   return fa => {
     return filterOrElse_1(p, a => halt_1(() => haltWith(a), __tsplusTrace))(fa);
@@ -481,8 +353,6 @@ function filterOrHalt(p, haltWith, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM flatten
  */
-
-
 function flatten_1(stm, __tsplusTrace) {
   return tsplus_module_1.flatMap(_function.identity, __tsplusTrace)(stm);
 }
@@ -491,11 +361,9 @@ function flatten_1(stm, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM flattenErrorOption
  */
-
-
 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);
   };
 }
 /**
@@ -504,19 +372,15 @@ function flattenErrorOption(def, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps foreach
  */
-
-
 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);
 }
@@ -525,28 +389,22 @@ function foreach(it, f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps fromEither
  */
-
-
 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.
  */
-
-
 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
@@ -554,8 +412,6 @@ function get(stm, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM provideEnvironment
  */
-
-
 function provideEnvironment(r, __tsplusTrace) {
   return stm => {
     return contramapEnvironment_1(() => r, __tsplusTrace)(stm);
@@ -567,8 +423,6 @@ function provideEnvironment(r, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM contramapEnvironment
  */
-
-
 function contramapEnvironment_1(f, __tsplusTrace) {
   return self => {
     return new _definition.ContramapEnvironment(self, f);
@@ -579,8 +433,6 @@ function contramapEnvironment_1(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps halt
  */
-
-
 function halt_1(u, __tsplusTrace) {
   return new _definition.Effect(() => {
     throw new _definition.HaltException(u());
@@ -591,8 +443,6 @@ function halt_1(u, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps haltNow
  */
-
-
 function haltNow(u, __tsplusTrace) {
   return new _definition.Effect(() => {
     throw new _definition.HaltException(u);
@@ -604,13 +454,11 @@ function haltNow(u, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM head
  */
-
-
 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);
 }
 /**
@@ -618,17 +466,13 @@ function head(stm, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps interrupt
  */
-
-
-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);
+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
  */
-
 exports.interrupt = interrupt;
-
 function isFailure(stm, __tsplusTrace) {
   return match_1(() => true, () => false, __tsplusTrace)(stm);
 }
@@ -637,8 +481,6 @@ function isFailure(stm, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM isSuccess
  */
-
-
 function isSuccess(stm, __tsplusTrace) {
   return match_1(() => false, () => true, __tsplusTrace)(stm);
 }
@@ -647,21 +489,17 @@ function isSuccess(stm, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.STM left
  */
-
-
 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
  */
-
-
 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);
   };
 }
 /**
@@ -669,11 +507,9 @@ 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);
   };
 }
 /**
@@ -682,11 +518,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);
   };
 }
 /**
@@ -703,11 +537,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);
   };
 }
 /**
@@ -724,11 +556,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);
   };
 }
 /**
@@ -737,18 +567,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);
@@ -759,8 +585,6 @@ function swapWith_1(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.STM tap
  */
-
-
 function tap(f, __tsplusTrace) {
   return stm => {
     return tsplus_module_1.flatMap(a => as_1(() => a, __tsplusTrace)(f(a)), __tsplusTrace)(stm);
@@ -771,19 +595,15 @@ function tap(f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.STMOps toLeft
  */
-
-
 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");
 const unit = unit_1;
 /**
  * Sequentially zips this value with the specified one, combining the values
@@ -791,12 +611,28 @@ const unit = unit_1;
  *
  * @tsplus pipeable fncts.io.STM zipWith
  */
-
 exports.unit = unit;
-
 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 <
+ */
+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 >
+ */
+function zipRight(that, __tsplusTrace) {
+  return self => {
+    return tsplus_module_1.flatMap(() => that, __tsplusTrace)(self);
+  };
+}
 //# sourceMappingURL=api.cjs.map