@fncts/io 0.0.20 → 0.0.21

package/_mjs/STM/api.mjs

@@ -9,31 +9,32 @@ 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/data/Maybe/api";
-import * as tsplus_module_12 from "@fncts/base/data/Either/constructors";
-import * as tsplus_module_13 from "@fncts/base/data/Either/destructors";
-import * as tsplus_module_14 from "@fncts/base/data/Maybe/destructors";
-export const as_ = as_1;
+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";
+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 continueOrFailSTM = continueOrFailSTM_1;
+export const continueOrRetrySTM = continueOrRetrySTM_1;
 export const defer = defer_1;
 export const either = either_1;
 export const eventually = eventually_1;
-export const filterMapSTM_ = filterMapSTM_1;
-export const filterOrElse_ = filterOrElse_1;
+export const filterMapSTM = filterMapSTM_1;
+export const filterOrElse = filterOrElse_1;
 export const flatten = flatten_1;
 export const fromEitherNow = fromEitherNow_1;
-export const contramapEnvironment_ = contramapEnvironment_1;
+export const contramapEnvironment = contramapEnvironment_1;
 export const halt = halt_1;
-export const mapError_ = mapError_1;
-export const match_ = match_1;
-export const repeatUntil_ = repeatUntil_1;
-export const repeatWhile_ = repeatWhile_1;
+export const mapError = mapError_1;
+export const match = match_1;
+export const repeatUntil = repeatUntil_1;
+export const repeatWhile = repeatWhile_1;
 export const swap = swap_1;
-export const swapWith_ = swapWith_1;
-export const zipWith_ = zipWith_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";
@@ -41,11 +42,13 @@ import { tryCommitAsync, tryCommitSync } from "./internal/Journal.mjs";
 /**
  * Maps the success value of this effect to the specified constant value.
  *
- * @tsplus fluent fncts.io.STM as
+ * @tsplus pipeable fncts.io.STM as
  */
 
-function as_1(stm, b, __tsplusTrace) {
-  return tsplus_module_1.map_(stm, () => b(), __tsplusTrace);
+function as_1(b, __tsplusTrace) {
+  return stm => {
+    return tsplus_module_1.map(() => b(), __tsplusTrace)(stm);
+  };
 }
 /**
  * Maps the success value of this effect to an optional value.
@@ -55,7 +58,7 @@ function as_1(stm, b, __tsplusTrace) {
 
 
 export function asJust(stm, __tsplusTrace) {
-  return tsplus_module_1.map_(stm, tsplus_module_2.just, __tsplusTrace);
+  return tsplus_module_1.map(tsplus_module_2.just, __tsplusTrace)(stm);
 }
 /**
  * Maps the error value of this effect to an optional value.
@@ -64,7 +67,7 @@ export function asJust(stm, __tsplusTrace) {
  */
 
 export function asJustError(stm, __tsplusTrace) {
-  return mapError_1(stm, tsplus_module_2.just, __tsplusTrace);
+  return mapError_1(tsplus_module_2.just, __tsplusTrace)(stm);
 }
 /**
  * Submerges the error case of an `Either` into the `STM`. The inverse
@@ -74,7 +77,7 @@ export function asJustError(stm, __tsplusTrace) {
  */
 
 export function absolve(z, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(z, fromEitherNow_1, __tsplusTrace);
+  return tsplus_module_1.flatMap(fromEitherNow_1, __tsplusTrace)(z);
 }
 /**
  * @tsplus static fncts.io.STMOps Effect
@@ -100,7 +103,7 @@ function environment_1(__tsplusTrace) {
 
 
 export function environmentWith(f, __tsplusTrace) {
-  return tsplus_module_1.map_(environment_1(__tsplusTrace), f, __tsplusTrace);
+  return tsplus_module_1.map(f, __tsplusTrace)(environment_1(__tsplusTrace));
 }
 /**
  * Accesses the environment of the transaction to perform a transaction.
@@ -109,7 +112,7 @@ export function environmentWith(f, __tsplusTrace) {
  */
 
 export function environmentWithSTM(f, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(environment_1(__tsplusTrace), f, __tsplusTrace);
+  return tsplus_module_1.flatMap(f, __tsplusTrace)(environment_1(__tsplusTrace));
 }
 /**
  * @tsplus static fncts.io.STMOps atomically
@@ -117,7 +120,7 @@ export function environmentWithSTM(f, __tsplusTrace) {
  */
 
 function atomically_1(stm, __tsplusTrace) {
-  return tsplus_module_9.environmentWithIO(r => tsplus_module_8.getWith_(tsplus_module_7.currentScheduler, scheduler => tsplus_module_3.deferWith((_, fiberId) => {
+  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) {
@@ -137,7 +140,7 @@ function atomically_1(stm, __tsplusTrace) {
           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_(restore(async), cause => {
+          }) => tsplus_module_3.catchAllCause(cause => {
             state.compareAndSet(tsplus_module_5.Running, tsplus_module_5.Interrupted);
             const newState = state.get;
 
@@ -152,68 +155,78 @@ function atomically_1(stm, __tsplusTrace) {
                   return tsplus_module_3.failCauseNow(cause, __tsplusTrace);
                 }
             }
-          }, __tsplusTrace), __tsplusTrace);
+          }, __tsplusTrace)(restore(async)), __tsplusTrace);
         }
     }
-  }, __tsplusTrace), __tsplusTrace), __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_(stm, g, f, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_10.failNow(g(e), __tsplusTrace), a => tsplus_module_10.succeedNow(f(a), __tsplusTrace), __tsplusTrace);
+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);
 }
 /**
  * Recovers from specified error.
  *
- * @tsplus fluent fncts.io.STM catch
+ * @tsplus pipeable fncts.io.STM catch
  */
 
-export function catch_(stm, tag, k, f, __tsplusTrace) {
-  return tsplus_module_1.catchAll_(stm, e => {
-    if (tag in e && e[tag] === k) {
-      return f(e);
-    }
+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) {
+        return f(e);
+      }
 
-    return tsplus_module_10.failNow(e, __tsplusTrace);
-  }, __tsplusTrace);
+      return tsplus_module_10.failNow(e, __tsplusTrace);
+    }, __tsplusTrace)(stm);
+  };
 }
 /**
  * Recovers from some or all of the error cases.
  *
- * @tsplus fluent fncts.io.STM catchJust
+ * @tsplus pipeable fncts.io.STM catchJust
  */
 
-export function catchJust_(stm, f, __tsplusTrace) {
-  return tsplus_module_1.catchAll_(stm, e => tsplus_module_11.getOrElse_(f(e), () => tsplus_module_10.failNow(e, __tsplusTrace)), __tsplusTrace);
+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);
+  };
 }
 /**
  * Recovers from specified error.
  *
- * @tsplus fluent fncts.io.STM catchTag
+ * @tsplus pipeable fncts.io.STM catchTag
  */
 
-export function catchTag_(stm, k, f, __tsplusTrace) {
-  return tsplus_module_1.catchAll_(stm, e => {
-    if ("_tag" in e && e["_tag"] === k) {
-      return f(e);
-    }
+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);
-  }, __tsplusTrace);
+      return tsplus_module_10.failNow(e, __tsplusTrace);
+    }, __tsplusTrace)(stm);
+  };
 }
 /**
  * Creates a composite effect that represents this effect followed by another
  * one that may depend on the error produced by this one.
  *
- * @tsplus fluent fncts.io.STM flatMapError
+ * @tsplus pipeable fncts.io.STM flatMapError
  */
 
-export function chainError_(stm, f, __tsplusTrace) {
-  return swapWith_1(stm, effect => tsplus_module_1.flatMap_(effect, f, __tsplusTrace), __tsplusTrace);
+export function chainError(f, __tsplusTrace) {
+  return stm => {
+    return swapWith_1(effect => tsplus_module_1.flatMap(f, __tsplusTrace)(effect), __tsplusTrace)(stm);
+  };
 }
 /**
  * Checks the condition, and if it's true, returns unit, otherwise, retries.
@@ -236,42 +249,50 @@ export function commitEither(stm, __tsplusTrace) {
  * Fail with `e` if the supplied `PartialFunction` does not match, otherwise
  * succeed with the returned value.
  *
- * @tsplus fluent fncts.io.STM continueOrFail
+ * @tsplus pipeable fncts.io.STM continueOrFail
  */
 
-export function continueOrFail_(fa, e, pf, __tsplusTrace) {
-  return continueOrFailSTM_1(fa, e, a => tsplus_module_11.map_(pf(a), tsplus_module_10.succeedNow), __tsplusTrace);
+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);
+  };
 }
 /**
  * Fail with `e` if the supplied `PartialFunction` does not match, otherwise
  * continue with the returned value.
  *
- * @tsplus fluent fncts.io.STM continueOrFailSTM
+ * @tsplus pipeable fncts.io.STM continueOrFailSTM
  */
 
-function continueOrFailSTM_1(fa, e, pf, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(fa, a => tsplus_module_11.getOrElse_(pf(a), () => tsplus_module_10.fail(e, __tsplusTrace)), __tsplusTrace);
+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);
+  };
 }
 /**
  * Fail with `e` if the supplied `PartialFunction` does not match, otherwise
  * succeed with the returned value.
  *
- * @tsplus fluent fncts.io.STM continueOrRetry
+ * @tsplus pipeable fncts.io.STM continueOrRetry
  */
 
 
-export function continueOrRetry_(fa, pf, __tsplusTrace) {
-  return continueOrRetrySTM_1(fa, a => tsplus_module_11.map_(pf(a), tsplus_module_10.succeedNow), __tsplusTrace);
+export function continueOrRetry(pf, __tsplusTrace) {
+  return fa => {
+    return continueOrRetrySTM_1(a => tsplus_module_12.map(tsplus_module_10.succeedNow)(pf(a)), __tsplusTrace)(fa);
+  };
 }
 /**
  * Simultaneously filters and flatMaps the value produced by this effect.
  * Continues on the effect returned from pf.
  *
- * @tsplus fluent fncts.io.STM continueOrRetrySTM
+ * @tsplus pipeable fncts.io.STM continueOrRetrySTM
  */
 
-function continueOrRetrySTM_1(fa, pf, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(fa, a => tsplus_module_11.getOrElse_(pf(a), () => tsplus_module_10.retry), __tsplusTrace);
+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);
+  };
 }
 /**
  * Suspends creation of the specified transaction lazily.
@@ -291,7 +312,7 @@ function defer_1(make, __tsplusTrace) {
 
 
 function either_1(stm, __tsplusTrace) {
-  return match_1(stm, tsplus_module_12.left, tsplus_module_12.right, __tsplusTrace);
+  return match_1(tsplus_module_13.left, tsplus_module_13.right, __tsplusTrace)(stm);
 }
 /**
  * Returns an effect that ignores errors and runs repeatedly until it eventually succeeds.
@@ -301,38 +322,48 @@ function either_1(stm, __tsplusTrace) {
 
 
 function eventually_1(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(stm, () => eventually_1(stm, __tsplusTrace), tsplus_module_10.succeedNow, __tsplusTrace);
+  return tsplus_module_1.matchSTM(() => eventually_1(stm, __tsplusTrace), tsplus_module_10.succeedNow, __tsplusTrace)(stm);
 }
 /**
  * Simultaneously filters and maps the value produced by this effect.
  *
- * @tsplus fluent fncts.io.STM filterMap
+ * @tsplus pipeable fncts.io.STM filterMap
  */
 
 
-export function filterMap_(stm, f, __tsplusTrace) {
-  return filterMapSTM_1(stm, a => tsplus_module_11.map_(f(a), tsplus_module_10.succeedNow), __tsplusTrace);
+export function filterMap(f, __tsplusTrace) {
+  return stm => {
+    return filterMapSTM_1(a => tsplus_module_12.map(tsplus_module_10.succeedNow)(f(a)), __tsplusTrace)(stm);
+  };
 }
 /**
  * Simultaneously filters and chains the value produced by this effect.
  * Continues on the effect returned from f.
  *
- * @tsplus fluent fncts.io.STM filterMapSTM
+ * @tsplus pipeable fncts.io.STM filterMapSTM
  */
 
-function filterMapSTM_1(self, f, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(self, tsplus_module_10.failNow, a => tsplus_module_11.getOrElse_(f(a), () => tsplus_module_10.retry), __tsplusTrace);
+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);
+  };
 }
 
-function filterOrElse_1(fa, p, or, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(fa, a => p(a) ? tsplus_module_10.succeedNow(a, __tsplusTrace) : defer_1(() => or(a), __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 
-export function filterOrFail_(fa, p, failWith, __tsplusTrace) {
-  return filterOrElse_1(fa, p, a => tsplus_module_10.fail(() => failWith(a), __tsplusTrace));
+export function filterOrFail(p, failWith, __tsplusTrace) {
+  return fa => {
+    return filterOrElse_1(p, a => tsplus_module_10.fail(() => failWith(a), __tsplusTrace))(fa);
+  };
 }
-export function filterOrHalt_(fa, p, haltWith, __tsplusTrace) {
-  return filterOrElse_1(fa, p, a => halt_1(() => haltWith(a), __tsplusTrace));
+export function filterOrHalt(p, haltWith, __tsplusTrace) {
+  return fa => {
+    return filterOrElse_1(p, a => halt_1(() => haltWith(a), __tsplusTrace))(fa);
+  };
 }
 /**
  * Flattens out a nested `STM` effect.
@@ -341,17 +372,19 @@ export function filterOrHalt_(fa, p, haltWith, __tsplusTrace) {
  */
 
 function flatten_1(stm, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(stm, identity, __tsplusTrace);
+  return tsplus_module_1.flatMap(identity, __tsplusTrace)(stm);
 }
 /**
  * Unwraps the optional error, defaulting to the provided value.
  *
- * @tsplus fluent fncts.io.STM flattenErrorOption
+ * @tsplus pipeable fncts.io.STM flattenErrorOption
  */
 
 
-export function flattenErrorOption_(stm, def, __tsplusTrace) {
-  return mapError_1(stm, me => tsplus_module_11.getOrElse_(me, def), __tsplusTrace);
+export function flattenErrorOption(def, __tsplusTrace) {
+  return stm => {
+    return mapError_1(me => tsplus_module_12.getOrElse(def)(me), __tsplusTrace)(stm);
+  };
 }
 /**
  * Applies the function `f` to each element of the `Iterable<A>` and
@@ -360,15 +393,15 @@ export function flattenErrorOption_(stm, def, __tsplusTrace) {
  * @tsplus static fncts.io.STMOps foreach
  */
 
-export function foreach_(it, f, __tsplusTrace) {
+export function foreach(it, f, __tsplusTrace) {
   return defer_1(() => {
     let stm = tsplus_module_10.succeedNow([], __tsplusTrace);
 
     for (const a of it) {
-      stm = zipWith_1(stm, f(a), (acc, b) => {
+      stm = zipWith_1(f(a), (acc, b) => {
         acc.push(b);
         return acc;
-      }, __tsplusTrace);
+      }, __tsplusTrace)(stm);
     }
 
     return stm;
@@ -381,7 +414,7 @@ export function foreach_(it, f, __tsplusTrace) {
  */
 
 export function fromEither(e, __tsplusTrace) {
-  return defer_1(() => tsplus_module_13.match_(e(), tsplus_module_10.failNow, tsplus_module_10.succeedNow), __tsplusTrace);
+  return defer_1(() => tsplus_module_14.match(tsplus_module_10.failNow, tsplus_module_10.succeedNow)(e()), __tsplusTrace);
 }
 /**
  * Lifts an `Either` into a `STM`.
@@ -390,7 +423,7 @@ export function fromEither(e, __tsplusTrace) {
  */
 
 function fromEitherNow_1(e, __tsplusTrace) {
-  return tsplus_module_13.match_(e, tsplus_module_10.failNow, tsplus_module_10.succeedNow);
+  return tsplus_module_14.match(tsplus_module_10.failNow, tsplus_module_10.succeedNow)(e);
 }
 /**
  * Unwraps the optional success of this effect, but can fail with an None value.
@@ -398,27 +431,31 @@ function fromEitherNow_1(e, __tsplusTrace) {
 
 
 export function get(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_10.failNow(tsplus_module_2.just(e), __tsplusTrace), ma => tsplus_module_14.match_(ma, () => tsplus_module_10.failNow(tsplus_module_2.nothing(), __tsplusTrace), tsplus_module_10.succeedNow), __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);
 }
 /**
  * Provides the transaction its required environment, which eliminates
  * its dependency on `R`.
  *
- * @tsplus fluent fncts.io.STM provideEnvironment
+ * @tsplus pipeable fncts.io.STM provideEnvironment
  */
 
-export function provideEnvironment_(stm, r, __tsplusTrace) {
-  return contramapEnvironment_1(stm, () => r, __tsplusTrace);
+export function provideEnvironment(r, __tsplusTrace) {
+  return stm => {
+    return contramapEnvironment_1(() => r, __tsplusTrace)(stm);
+  };
 }
 /**
  * Provides some of the environment required to run this effect,
  * leaving the remainder `R0`.
  *
- * @tsplus fluent fncts.io.STM contramapEnvironment
+ * @tsplus pipeable fncts.io.STM contramapEnvironment
  */
 
-function contramapEnvironment_1(self, f, __tsplusTrace) {
-  return new ContramapEnvironment(self, f);
+function contramapEnvironment_1(f, __tsplusTrace) {
+  return self => {
+    return new ContramapEnvironment(self, f);
+  };
 }
 /**
  * Halts the fiber running the effect.
@@ -452,11 +489,11 @@ export function haltNow(u, __tsplusTrace) {
  */
 
 export function head(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_10.failNow(tsplus_module_2.just(e), __tsplusTrace), ia => {
+  return tsplus_module_1.matchSTM(e => tsplus_module_10.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);
-  }, __tsplusTrace);
+  }, __tsplusTrace)(stm);
 }
 /**
  * Interrupts the fiber running the effect.
@@ -464,7 +501,7 @@ export function head(stm, __tsplusTrace) {
  * @tsplus static fncts.io.STMOps interrupt
  */
 
-export const interrupt = /*#__PURE__*/tsplus_module_1.flatMap_(tsplus_module_10.fiberId, id => tsplus_module_10.interruptAs(id, fileName_1 + ":549:95"), fileName_1 + ":549:71");
+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);
 /**
  * Returns whether this effect is a failure.
  *
@@ -472,7 +509,7 @@ export const interrupt = /*#__PURE__*/tsplus_module_1.flatMap_(tsplus_module_10.
  */
 
 export function isFailure(stm, __tsplusTrace) {
-  return match_1(stm, () => true, () => false, __tsplusTrace);
+  return match_1(() => true, () => false, __tsplusTrace)(stm);
 }
 /**
  * Returns whether this effect is a success.
@@ -481,7 +518,7 @@ export function isFailure(stm, __tsplusTrace) {
  */
 
 export function isSuccess(stm, __tsplusTrace) {
-  return match_1(stm, () => false, () => true, __tsplusTrace);
+  return match_1(() => false, () => true, __tsplusTrace)(stm);
 }
 /**
  * Returns a successful effect if the value is `Left`, or fails with the error `None`.
@@ -490,36 +527,42 @@ export function isSuccess(stm, __tsplusTrace) {
  */
 
 export function left(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_10.fail(() => tsplus_module_2.just(e), __tsplusTrace), bc => tsplus_module_13.match_(bc, tsplus_module_10.succeedNow, () => tsplus_module_10.failNow(tsplus_module_2.nothing(), __tsplusTrace)), __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);
 }
 /**
  * Returns a successful effect if the value is `Left`, or fails with the error e.
  *
- * @tsplus fluent fncts.io.STM leftOrFail
+ * @tsplus pipeable fncts.io.STM leftOrFail
  */
 
-export function leftOrFail_(stm, orFail, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(stm, bc => tsplus_module_13.match_(bc, tsplus_module_10.succeedNow, c => tsplus_module_10.fail(() => orFail(c), __tsplusTrace)), __tsplusTrace);
+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);
+  };
 }
 /**
  * Maps from one error type to another.
  *
- * @tsplus fluent fncts.io.STM mapError
+ * @tsplus pipeable fncts.io.STM mapError
  */
 
-function mapError_1(stm, f, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_10.failNow(f(e), __tsplusTrace), tsplus_module_10.succeedNow, __tsplusTrace);
+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);
+  };
 }
 /**
  * Folds over the `STM` effect, handling both failure and success, but not
  * retry.
  *
- * @tsplus fluent fncts.io.STM match
+ * @tsplus pipeable fncts.io.STM match
  */
 
 
-function match_1(stm, g, f, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_10.succeedNow(g(e), __tsplusTrace), a => tsplus_module_10.succeedNow(f(a), __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 /**
  * Repeats this `STM` effect until its result satisfies the specified predicate.
@@ -533,12 +576,14 @@ function match_1(stm, g, f, __tsplusTrace) {
  * - Use `retryUntil` instead if you don't need to maintain transaction state for repeats.
  * - Ensure repeating the STM effect will eventually satisfy the predicate.
  *
- * @tsplus fluent fncts.io.STM repeatUntil
+ * @tsplus pipeable fncts.io.STM repeatUntil
  */
 
 
-function repeatUntil_1(stm, f, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(stm, a => f(a) ? tsplus_module_10.succeedNow(a, __tsplusTrace) : repeatUntil_1(stm, f, __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 /**
  * Repeats this `STM` effect while its result satisfies the specified predicate.
@@ -552,12 +597,14 @@ function repeatUntil_1(stm, f, __tsplusTrace) {
  * - Use `retryWhile` instead if you don't need to maintain transaction state for repeats.
  * - Ensure repeating the STM effect will eventually not satisfy the predicate.
  *
- * @tsplus fluent fncts.io.STM repeatWhile
+ * @tsplus pipeable fncts.io.STM repeatWhile
  */
 
 
-function repeatWhile_1(stm, f, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(stm, a => f(a) ? repeatWhile_1(stm, f, __tsplusTrace) : tsplus_module_10.succeedNow(a, __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 /**
  * Returns an effect that swaps the error/success cases. This allows you to
@@ -568,27 +615,31 @@ function repeatWhile_1(stm, f, __tsplusTrace) {
 
 
 function swap_1(stm, __tsplusTrace) {
-  return tsplus_module_1.matchSTM_(stm, tsplus_module_10.succeedNow, tsplus_module_10.failNow, __tsplusTrace);
+  return tsplus_module_1.matchSTM(tsplus_module_10.succeedNow, tsplus_module_10.failNow, __tsplusTrace)(stm);
 }
 /**
  * Swaps the error/value parameters, applies the function `f` and flips the parameters back
  *
- * @tsplus fluent fncts.io.STM swapWith
+ * @tsplus pipeable fncts.io.STM swapWith
  */
 
 
-function swapWith_1(stm, f, __tsplusTrace) {
-  return swap_1(f(swap_1(stm, __tsplusTrace)), __tsplusTrace);
+function swapWith_1(f, __tsplusTrace) {
+  return stm => {
+    return swap_1(f(swap_1(stm, __tsplusTrace)), __tsplusTrace);
+  };
 }
 /**
  * "Peeks" at the success of transactional effect.
  *
- * @tsplus fluent fncts.io.STM tap
+ * @tsplus pipeable fncts.io.STM tap
  */
 
 
-export function tap_(stm, f, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(stm, a => as_1(f(a), () => a, __tsplusTrace), __tsplusTrace);
+export function tap(f, __tsplusTrace) {
+  return stm => {
+    return tsplus_module_1.flatMap(a => as_1(() => a, __tsplusTrace)(f(a)), __tsplusTrace)(stm);
+  };
 }
 /**
  * Returns an effect with the value on the left part.
@@ -597,7 +648,7 @@ export function tap_(stm, f, __tsplusTrace) {
  */
 
 export function toLeft(a, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(tsplus_module_10.succeed(a, __tsplusTrace), a => tsplus_module_10.succeedNow(tsplus_module_12.left(a), __tsplusTrace), __tsplusTrace);
+  return tsplus_module_1.flatMap(a => tsplus_module_10.succeedNow(tsplus_module_13.left(a), __tsplusTrace), __tsplusTrace)(tsplus_module_10.succeed(a, __tsplusTrace));
 }
 /**
  * Returns an `STM` effect that succeeds with `Unit`.
@@ -605,16 +656,18 @@ export function toLeft(a, __tsplusTrace) {
  * @tsplus static fncts.io.STMOps unit
  */
 
-const unit_1 = /*#__PURE__*/tsplus_module_10.succeedNow(undefined, fileName_1 + ":713:35");
+const unit_1 = /*#__PURE__*/tsplus_module_10.succeedNow(undefined, fileName_1 + ":726:35");
 export const unit = unit_1;
 /**
  * Sequentially zips this value with the specified one, combining the values
  * using the specified combiner function.
  *
- * @tsplus fluent fncts.io.STM zipWith
+ * @tsplus pipeable fncts.io.STM zipWith
  */
 
-function zipWith_1(self, that, f, __tsplusTrace) {
-  return tsplus_module_1.flatMap_(self, a => tsplus_module_1.map_(that, b => f(a, b), __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 //# sourceMappingURL=api.mjs.map