@fncts/io 0.0.22 → 0.0.23

package/_mjs/Reloadable/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";;;;AAAA,SAASA,eAAe,QAAQ,6CAA6C;AAE7E;;;;AAIA,OAAM,MAAOC,UAAU;EAErBC,YAAqBC,SAA6B,EAAWC,MAAgC;IAAxE,cAAS,GAATD,SAAS;IAA+B,WAAM,GAANC,MAAM;EAA6B;EAEhG,IAAIC,GAAG;IACL,OAAO,IAAI,CAACF,SAAS,CAACE,GAAG;EAC3B;EAEA,IAAIC,UAAU;IACZ,yDAAO,IAAI,CAACF,MAAM;EACpB;;AAGF,MAAMG,MAAM,gBAAwC,IAAIP,eAAe,EAAE;AAEzE;;;AAGA,OAAM,SAAUQ,SAAS,CACvB,GAAG,CAACC,GAAG,CAAoE;EAE3E,IAAIF,MAAM,CAACG,GAAG,CAACD,GAAG,CAAC,EAAE;IACnB,OAAOF,MAAM,CAACF,GAAG,CAACI,GAAG,CAAuB;;EAE9C,MAAME,aAAa,GAAGC,wBAAmB,cAAcH,GAAG,CAACI,EAAE,GAAG,CAAC;EACjEN,MAAM,CAACO,GAAG,CAACL,GAAG,EAAEE,aAAa,CAAC;EAC9B,OAAOA,aAAa;AACtB","names":["IterableWeakMap","Reloadable","constructor","scopedRef","reload","get","reloadFork","tagMap","deriveTag","tag","has","reloadableTag","tsplus_module_3","id","set"],"sourceRoot":"","sources":["../../_src/Reloadable/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;;;AAAA,SAASA,eAAe,QAAQ,6CAA6C;AAE7E,OAAO,MAAMC,kBAAkB,gBAAGC,MAAM,CAACC,GAAG,CAAC,qBAAqB,CAAC;AAGnE;;;;AAIA,OAAM,MAAOC,UAAU;EAIrBC,YAAqBC,SAA6B,EAAWC,MAAgC;IAAxE,cAAS,GAATD,SAAS;IAA+B,WAAM,GAANC,MAAM;EAA6B;EAEhG,IAAIC,GAAG;IACL,OAAO,IAAI,CAACF,SAAS,CAACE,GAAG;EAC3B;EAEA,IAAIC,UAAU;IACZ,yDAAO,IAAI,CAACF,MAAM;EACpB;;AAGF,MAAMG,MAAM,gBAAwC,IAAIV,eAAe,EAAE;AAEzE;;;AAGA,OAAM,SAAUW,SAAS,CACvB,GAAG,CAACC,GAAG,CAAoE;EAE3E,IAAIF,MAAM,CAACG,GAAG,CAACD,GAAG,CAAC,EAAE;IACnB,OAAOF,MAAM,CAACF,GAAG,CAACI,GAAG,CAAuB;;EAE9C,MAAME,aAAa,GAAGC,wBAAmB,cAAcH,GAAG,CAACI,EAAE,GAAG,CAAC;EACjEN,MAAM,CAACO,GAAG,CAACL,GAAG,EAAEE,aAAa,CAAC;EAC9B,OAAOA,aAAa;AACtB","names":["IterableWeakMap","ReloadableVariance","Symbol","for","Reloadable","constructor","scopedRef","reload","get","reloadFork","tagMap","deriveTag","tag","has","reloadableTag","tsplus_module_3","id","set"],"sourceRoot":"","sources":["../../_src/Reloadable/definition.ts"],"sourcesContent":[null]}

package/_mjs/STM/api/atomically.mjs

@@ -0,0 +1,47 @@
+import * as tsplus_module_1 from "@fncts/io/IO/api";
+import * as tsplus_module_2 from "@fncts/io/TxnId";
+import * as tsplus_module_3 from "@fncts/io/STM/internal/CommitState";
+import * as tsplus_module_4 from "@fncts/io/IO/api/interrupt";
+import * as tsplus_module_5 from "@fncts/io/FiberRef/unsafe";
+import * as tsplus_module_6 from "@fncts/io/FiberRef/api";
+import * as tsplus_module_7 from "@fncts/io/IO/api/environment";
+import { AtomicReference } from "@fncts/base/internal/AtomicReference";
+import { tryCommitAsync, tryCommitSync } from "@fncts/io/STM/internal/Journal";
+/**
+ * @tsplus static fncts.io.STMOps atomically
+ * @tsplus getter fncts.io.STM commit
+ */
+export function atomically(stm, __tsplusTrace) {
+  return tsplus_module_7.environmentWithIO(r => tsplus_module_6.getWith(scheduler => tsplus_module_1.flatMap(fiberId => {
+    const result = tryCommitSync(fiberId, stm, r, scheduler);
+    switch (result._tag) {
+      case "Done" /* TryCommitTag.Done */:
+        {
+          return tsplus_module_1.fromExitNow(result.exit, __tsplusTrace);
+        }
+      case "Suspend" /* TryCommitTag.Suspend */:
+        {
+          const id = tsplus_module_2.make();
+          const state = new AtomicReference(tsplus_module_3.Running);
+          const async = tsplus_module_1.async(tryCommitAsync(result.journal, fiberId, stm, id, state, r, scheduler));
+          return tsplus_module_4.uninterruptibleMask(({
+            restore
+          }) => tsplus_module_1.catchAllCause(cause => {
+            state.compareAndSet(tsplus_module_3.Running, tsplus_module_3.Interrupted);
+            const newState = state.get;
+            switch (newState._tag) {
+              case "Done":
+                {
+                  return tsplus_module_1.fromExitNow(newState.exit, __tsplusTrace);
+                }
+              default:
+                {
+                  return tsplus_module_1.failCauseNow(cause, __tsplusTrace);
+                }
+            }
+          }, __tsplusTrace)(restore(async, __tsplusTrace)));
+        }
+    }
+  }, __tsplusTrace)(tsplus_module_1.fiberId), __tsplusTrace)(tsplus_module_5.currentScheduler), __tsplusTrace);
+}
+//# sourceMappingURL=atomically.mjs.map

package/_mjs/STM/api/atomically.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomically.mjs","mappings":";;;;;;;AAAA,SAASA,eAAe,QAAQ,sCAAsC;AAEtE,SAASC,cAAc,EAAEC,aAAa,QAAQ,gCAAgC;AAI9E;;;;AAIA,OAAM,SAAUC,UAAU,CAAUC,GAAiB,EAAEC,aAAsB;EAC3E,OAAOC,kCAAsBC,CAAiB,IAC5CC,wBAAmCC,SAAS,IAC1CC,wBAAoBC,OAAO,IAAI;IAC7B,MAAMC,MAAM,GAAGV,aAAa,CAACS,OAAO,EAAEP,GAAG,EAAEG,CAAC,EAAEE,SAAS,CAAC;IACxD,QAAQG,MAAM,CAACC,IAAI;MACjB;QAAwB;UACtB,OAAOH,4BAAeE,MAAM,CAACE,IAAI,EAPUT,cAOT;;MAEpC;QAA2B;UACzB,MAAMU,EAAE,GAAMC,sBAAY;UAC1B,MAAMC,KAAK,GAAG,IAAIjB,eAAe,yBAAwC;UACzE,MAAMkB,KAAK,GAAGR,sBAAST,cAAc,CAACW,MAAM,CAACO,OAAO,EAAER,OAAO,EAAEP,GAAG,EAAEW,EAAE,EAAEE,KAAK,EAAEV,CAAC,EAAEE,SAAS,CAAC,CAAC;UAC7F,OAAOW,oCAAuB,CAAC;YAAEC;UAAO,CAAE,KACxCX,8BAA8BY,KAAK,IAAI;YACrCL,KAAK,CAACM,aAAa,sDAA8C;YACjE,MAAMC,QAAQ,GAAGP,KAAK,CAACQ,GAAG;YAC1B,QAAQD,QAAQ,CAACX,IAAI;cACnB,KAAK,MAAM;gBAAE;kBACX,OAAOH,4BAAec,QAAQ,CAACV,IAAI,EAnBAT,cAmBC;;cAEtC;gBAAS;kBACP,OAAOK,6BAAgBY,KAAK,EAtBOjB,cAsBN;;YAC9B;UAEL,CAAC,EAzBwCA,eAczCgB,OAAO,CAACH,KAAK,EAd4Bb,cAc3B,CAWZ,CACH;;IACF;EAEL,CAAC,EA7BgDA,uCA6B/C,EA7B+CA,gDA8BlD,EA9BkDA,cA+BpD;AACH","names":["AtomicReference","tryCommitAsync","tryCommitSync","atomically","stm","__tsplusTrace","tsplus_module_7","r","tsplus_module_6","scheduler","tsplus_module_1","fiberId","result","_tag","exit","id","tsplus_module_2","state","async","journal","tsplus_module_4","restore","cause","compareAndSet","newState","get"],"sourceRoot":"","sources":["../../../_src/STM/api/atomically.ts"],"sourcesContent":[null]}

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,9 +30,7 @@ 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.
  *
@@ -104,43 +96,6 @@ export function environmentWith(f, __tsplusTrace) {
 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.flatMap(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)(tsplus_module_3.fiberId), __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`.
@@ -148,7 +103,7 @@ function atomically_1(stm, __tsplusTrace) {
  * @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.
@@ -158,10 +113,10 @@ export function bimap(g, f, __tsplusTrace) {
 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);
   };
 }
@@ -172,7 +127,7 @@ export function catchWith(tag, k, f, __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);
+    return tsplus_module_1.catchAll(e => tsplus_module_5.getOrElse(() => tsplus_module_3.failNow(e, __tsplusTrace))(f(e)), __tsplusTrace)(stm);
   };
 }
 /**
@@ -186,7 +141,7 @@ export function catchTag(k, f, __tsplusTrace) {
       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);
   };
 }
@@ -207,14 +162,14 @@ 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
@@ -224,7 +179,7 @@ export function commitEither(stm, __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);
+    return continueOrFailSTM_1(e, a => tsplus_module_5.map(tsplus_module_3.succeedNow)(pf(a)), __tsplusTrace)(fa);
   };
 }
 /**
@@ -235,7 +190,7 @@ export function continueOrFail(e, pf, __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);
+    return tsplus_module_1.flatMap(a => tsplus_module_5.getOrElse(() => tsplus_module_3.fail(e, __tsplusTrace))(pf(a)), __tsplusTrace)(fa);
   };
 }
 /**
@@ -246,7 +201,7 @@ function continueOrFailSTM_1(e, pf, __tsplusTrace) {
  */
 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);
   };
 }
 /**
@@ -257,7 +212,7 @@ export function continueOrRetry(pf, __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);
+    return tsplus_module_1.flatMap(a => tsplus_module_5.getOrElse(() => tsplus_module_3.retry)(pf(a)), __tsplusTrace)(fa);
   };
 }
 /**
@@ -266,7 +221,7 @@ 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`.
@@ -274,7 +229,7 @@ function defer_1(make, __tsplusTrace) {
  * @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.
@@ -282,7 +237,7 @@ function either_1(stm, __tsplusTrace) {
  * @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.
@@ -291,7 +246,7 @@ function eventually_1(stm, __tsplusTrace) {
  */
 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);
   };
 }
 /**
@@ -302,17 +257,17 @@ export function filterMap(f, __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);
+    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) {
@@ -335,7 +290,7 @@ function flatten_1(stm, __tsplusTrace) {
  */
 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);
   };
 }
 /**
@@ -346,7 +301,7 @@ export function flattenErrorOption(def, __tsplusTrace) {
  */
 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);
@@ -362,7 +317,7 @@ 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`.
@@ -370,13 +325,13 @@ export function fromEither(e, __tsplusTrace) {
  * @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
@@ -427,10 +382,10 @@ 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);
 }
 /**
@@ -438,7 +393,7 @@ 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.
  *
@@ -461,7 +416,7 @@ 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.
@@ -470,7 +425,7 @@ export function left(stm, __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);
+    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);
   };
 }
 /**
@@ -480,7 +435,7 @@ export function leftOrFail(orFail, __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);
+    return tsplus_module_1.matchSTM(e => tsplus_module_3.failNow(f(e), __tsplusTrace), tsplus_module_3.succeedNow, __tsplusTrace)(stm);
   };
 }
 /**
@@ -491,7 +446,7 @@ function mapError_1(f, __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);
+    return tsplus_module_1.matchSTM(e => tsplus_module_3.succeedNow(g(e), __tsplusTrace), a => tsplus_module_3.succeedNow(f(a), __tsplusTrace), __tsplusTrace)(stm);
   };
 }
 /**
@@ -510,7 +465,7 @@ function match_1(g, f, __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);
+    return tsplus_module_1.flatMap(a => f(a) ? tsplus_module_3.succeedNow(a, __tsplusTrace) : repeatUntil_1(f, __tsplusTrace)(stm), __tsplusTrace)(stm);
   };
 }
 /**
@@ -529,7 +484,7 @@ function repeatUntil_1(f, __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);
+    return tsplus_module_1.flatMap(a => f(a) ? repeatWhile_1(f, __tsplusTrace)(stm) : tsplus_module_3.succeedNow(a, __tsplusTrace), __tsplusTrace)(stm);
   };
 }
 /**
@@ -539,7 +494,7 @@ 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
@@ -567,14 +522,14 @@ 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
@@ -587,4 +542,22 @@ function zipWith_1(that, f, __tsplusTrace) {
     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

package/_mjs/STM/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;;;;;;aAgBgBA,EAAE;aAiDFC,WAAW;aA0BXC,UAAU;aAiMVC,iBAAiB;aA4BjBC,kBAAkB;aAWlBC,KAAK;aASLC,MAAM;aASNC,UAAU;aAqBVC,YAAY;aAmBZC,YAAY;aA8CZC,OAAO;aAuDPC,aAAa;aAgCbC,oBAAoB;aAWpBC,IAAI;aA6FJC,QAAQ;aAYRC,KAAK;aAuBLC,WAAW;aAoBXC,WAAW;aAYXC,IAAI;aASJC,QAAQ;aAuCRC,OAAO;AA3tBvB,SAASC,QAAQ,QAAQ,2BAA2B;AACpD,SAASC,eAAe,QAAQ,sCAAsC;AAGtE,SAASC,oBAAoB,EAAEC,MAAM,EAAEC,aAAa,QAAa,kBAAiB;AAElF,SAASC,cAAc,EAAEC,aAAa,QAAQ,wBAAuB;AAGrE;;;;;AAKA,cAAsBC,CAAU,EAAEC,aAAsB;EACtD,OAAiBC,GAAiB,IAAkB;IAClD,OAAOC,oBAAQ,MAAMH,CAAC,EAAE,EAFMC,eAEvBC,GAAG,CAAe;EAC3B,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAUE,MAAM,CAAUF,GAAiB,EAAED,aAAsB;EACvE,OAAOE,0CAD0CF,eAC1CC,GAAG,CAAgB;AAC5B;AAEA;;;;;AAKA,OAAM,SAAUG,WAAW,CAAUH,GAAiB,EAAED,aAAsB;EAC5E,OAAOK,iCAD+CL,eAC/CC,GAAG,CAAqB;AACjC;AAEA;;;;;;AAMA,OAAM,SAAUK,OAAO,CAAcC,CAA2B,EAAEP,aAAsB;EACtF,OAAOE,yCADyDF,eACzDO,CAAC,CAA2B;AACrC;AAEA;;;AAGA,OAAM,SAAUC,UAAU,CACxBC,CAA+D,EAC/DT,aAAsB;EAEtB,OAAO,IAAIL,MAAM,CAACc,CAAC,CAAC;AACtB;AAEA;;;;;AAKA,uBAA+BT,aAAsB;EACnD,OAAO,IAAIL,MAAM,CAAC,CAACe,CAAC,EAAEC,EAAE,EAAEC,CAAC,KAAKA,CAAC,CAAC;AACpC;AAEA;;;;;AAKA,OAAM,SAAUC,eAAe,CAAOJ,CAA2B,EAAET,aAAsB;EACvF,OAAOE,oBAAyBO,CAAC,EADgCT,eAC1Dc,cAD0Dd,cACtC,CAAO;AACpC;AAEA;;;;;AAKA,OAAM,SAAUe,kBAAkB,CAAcN,CAAuC,EAAET,aAAsB;EAC7G,OAAOE,wBAA8BO,CAAC,EADiDT,eAChFc,cADgFd,cAC3D,CAAW;AACzC;AAEA;;;;AAIA,sBAAoCC,GAAiB,EAAED,aAAsB;EAC3E,OAAOgB,kCAAsBJ,CAAiB,IAC5CK,wBAAmCC,SAAS,IAC1CC,wBAAoBC,OAAO,IAAI;IAC7B,MAAMC,MAAM,GAAGvB,aAAa,CAACsB,OAAO,EAAEnB,GAAG,EAAEW,CAAC,EAAEM,SAAS,CAAC;IACxD,QAAQG,MAAM,CAACC,IAAI;MACjB;QAAwB;UACtB,OAAOH,4BAAeE,MAAM,CAACE,IAAI,EAPUvB,cAOT;;MAEpC;QAA2B;UACzB,MAAMwB,EAAE,GAAMC,sBAAY;UAC1B,MAAMC,KAAK,GAAG,IAAIjC,eAAe,yBAAwC;UACzE,MAAMkC,KAAK,GAAGR,sBAAStB,cAAc,CAACwB,MAAM,CAACO,OAAO,EAAER,OAAO,EAAEnB,GAAG,EAAEuB,EAAE,EAAEE,KAAK,EAAEd,CAAC,EAAEM,SAAS,CAAC,CAAC;UAC7F,OAAOW,oCAAuB,CAAC;YAAEC;UAAO,CAAE,KACxCX,8BAA8BY,KAAK,IAAI;YACrCL,KAAK,CAACM,aAAa,sDAA8C;YACjE,MAAMC,QAAQ,GAAGP,KAAK,CAACQ,GAAG;YAC1B,QAAQD,QAAQ,CAACX,IAAI;cACnB,KAAK,MAAM;gBAAE;kBACX,OAAOH,4BAAec,QAAQ,CAACV,IAAI,EAnBAvB,cAmBC;;cAEtC;gBAAS;kBACP,OAAOmB,6BAAgBY,KAAK,EAtBO/B,cAsBN;;YAC9B;UAEL,CAAC,EAzBwCA,eAczC8B,OAAO,CAACH,KAAK,CAAC,CAWZ,CACH;;IACF;EAEL,CAAC,EA7BgD3B,uCA6B/C,EA7B+CA,gDA8BlD,EA9BkDA,cA+BpD;AACH;AAEA;;;;;;AAMA,OAAM,SAAUmC,KAAK,CAAcC,CAAe,EAAE3B,CAAc,EAAET,aAAsB;EACxF,OAAWqC,IAAkB,IAC3BnC,yBACGoC,CAAC,IAAKC,yBAAYH,CAAC,CAACE,CAAC,CAAC,EAHuCtC,cAGtC,EACvBwC,CAAC,IAAKD,4BAAe9B,CAAC,CAAC+B,CAAC,CAAC,EAJoCxC,cAInC,EAJmCA,eAEhEqC,IAAI,CAGH;AACL;AAEA;;;;;AAKA,OAAM,SAAUI,SAAS,CACvBC,GAAM,EACNC,CAAI,EACJlC,CAOoB,EACpBT,aAAsB;EAEtB,OACEC,GAAiB,IAWf;IACF,OAAOC,yBAAcoC,CAAC,IAAI;MACxB,IAAIM,yBAAQ,CAACN,CAAC,CAAC,IAAII,GAAG,IAAIJ,CAAC,IAAIA,CAAC,CAACI,GAAG,CAAC,KAAKC,CAAC,EAAE;QAC3C,OAAOlC,CAAC,CAAC6B,CAAQ,CAAC;;MAEpB,OAAOC,yBAAYD,CAAQ,EAnB/BtC,cAmBgC;IAC9B,CAAC,EApBHA,eAeSC,GAAG,CAKR;EACJ,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU4C,SAAS,CAAepC,CAAkC,EAAET,aAAsB;EAChG,OAAcC,GAAiB,IAAgC;IAC7D,OAAOC,yBAAcoC,CAAC,IAA6BQ,iCAAeP,yBAAYD,CAAC,EAFPtC,cAEQ,EAA7BS,CAAC,CAAC6B,CAAC,CAAC,CAA0B,EAFTtC,eAEjEC,GAAG,CAAwE;EACpF,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU8C,QAAQ,CAStBJ,CAAI,EACJlC,CAOoB,EACpBT,aAAsB;EAEtB,OACEC,GAAiB,IAWf;IACF,OAAOC,yBAAcoC,CAAC,IAAI;MACxB,IAAI,MAAM,IAAIA,CAAC,IAAIA,CAAC,CAAC,MAAM,CAAC,KAAKK,CAAC,EAAE;QAClC,OAAOlC,CAAC,CAAC6B,CAAQ,CAAC;;MAEpB,OAAOC,yBAAYD,CAAQ,EAnB/BtC,cAmBgC;IAC9B,CAAC,EApBHA,eAeSC,GAAG,CAKR;EACJ,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAU+C,UAAU,CAAYvC,CAA+B,EAAET,aAAsB;EAC3F,OAAcC,GAAiB,IAAwB;IACrD,OAAOgD,WAAcC,MAAM,IAAKhD,wBAAeO,CAAC,EAFmBT,eAEnCkD,MAAM,CAAW,EAFkBlD,eAE5DC,GAAG,CAAwC;EACpD,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAUkD,KAAK,CAACC,SAAwB,EAAEpD,aAAsB;EACpE,OAAOqD,QAAU,MAAOD,SAAS,EAAE,GAAEE,SAAWf,sBAAW,EADbvC,cACc;AAC9D;AAEA;;;;AAIA,OAAM,SAAUuD,YAAY,CAAUtD,GAAiB,EAAED,aAAsB;EAC7E,qDAAOC,GAAG,EAD6CD;AAEzD;AAEA;;;;;;AAMA,OAAM,SAAUwD,cAAc,CAAYlB,CAAW,EAAEmB,EAAuB,EAAEzD,aAAsB;EACpG,OAAc0D,EAAgB,IAAwB;IACpD,OAAOC,oBAAqBrB,CAAC,EAAGE,CAAC,IAAKM,oDAAE,CAACN,CAAC,CAAC,CAAoB,EAFaxC,eAErE0D,EAAE,CAAuD;EAClE,CAAC;AACH;AAEA;;;;;;AAMA,6BACEpB,CAAW,EACXmB,EAAoC,EACpCzD,aAAsB;EAEtB,OAAc0D,EAAgB,IAAkC;IAC9D,OAAOxD,wBAAYsC,CAAC,IAAKM,iCAAgBP,sBAASD,CAAC,EAHrDtC,cAGsD,EAA3ByD,EAAE,CAACjB,CAAC,CAAC,CAAuB,EAHvDxC,eAGS0D,EAAE,CAA6C;EACxD,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAUE,eAAe,CAAQH,EAAuB,EAAEzD,aAAsB;EACpF,OAAc0D,EAAgB,IAAmB;IAC/C,OAAOG,qBAAuBrB,CAAC,IAAKM,oDAAE,CAACN,CAAC,CAAC,CAAoB,EAFDxC,eAErD0D,EAAE,CAAqD;EAChE,CAAC;AACH;AAEA;;;;;;AAMA,8BAAkDD,EAAoC,EAAEzD,aAAsB;EAC5G,OAAc0D,EAAgB,IAA6B;IACzD,OAAOxD,wBAAYsC,CAAC,IAAKM,2DAAE,CAACN,CAAC,CAAC,CAAqB,EAFiCxC,eAE7E0D,EAAE,CAA2C;EACtD,CAAC;AACH;AAEA;;;;;AAKA,iBAA+BI,IAAwB,EAAE9D,aAAsB;EAC7E,iBAAOuC,yBAAYuB,IAAI,EADgC9D,cAC/B,EAD+BA;AAEzD;AAEA;;;;;AAKA,kBAAgCC,GAAiB,EAAED,aAAsB;EACvE,OAAO+D,uDAD0C/D,eAC1CC,GAAG,CAAiC;AAC7C;AAEA;;;;;AAKA,sBAAoCA,GAAiB,EAAED,aAAsB;EAC3E,OAAOE,yBAAa,MAAK8D,aAAC/D,GAAG,EADwBD,cACb,+BADaA,eAC9CC,GAAG,CAA+C;AAC3D;AAEA;;;;;AAKA,OAAM,SAAUgE,SAAS,CAAOxD,CAAqB,EAAET,aAAsB;EAC3E,OAAcC,GAAiB,IAAkB;IAC/C,OAAOiE,eAAkB1B,CAAC,IAAKM,mDAAC,CAACN,CAAC,CAAC,CAAoB,EAFJxC,eAE5CC,GAAG,CAA8C;EAC1D,CAAC;AACH;AAEA;;;;;;AAMA,wBAA2CQ,CAAkC,EAAET,aAAsB;EACnG,OAAcqC,IAAkB,IAA4B;IAC1D,OAAOnC,mDAA4BsC,CAAC,IAAKM,0DAAC,CAACN,CAAC,CAAC,CAAqB,EAFSxC,eAEpEqC,IAAI,CAAwD;EACrE,CAAC;AACH;AAeA,wBAAgC8B,CAAe,EAAEC,EAAW,EAAEpE,aAAsB;EAClF,OAA0B0D,EAAgB,IAAiC;IACzE,OAAOxD,wBAAYsC,CAAC,IAAM2B,CAAC,CAAC3B,CAAC,CAAC,GAAGD,4BAAeC,CAAC,EAFSxC,cAER,GAAGqD,cAAWe,EAAgC,CAAC5B,CAAC,CAAC,EAFzCxC,cAE2C,EAF3CA,eAEnD0D,EAAE,CAA6F;EACxG,CAAC;AACH;AAeA,OAAM,SAAUW,YAAY,CAAIF,CAAe,EAAEG,QAAiB,EAAEtE,aAAsB;EACxF,OAAkB0D,EAAgB,IAAuB;IACvD,OAAOa,eAAgBJ,CAAC,EAAG3B,CAAC,IAAKD,4BAAU+B,QAAyB,CAAC9B,CAAC,CAAC,EAFPxC,cAEQ,EAAjE0D,EAAE,CAAgE;EAC3E,CAAC;AACH;AAYA,OAAM,SAAUc,YAAY,CAAIL,CAAe,EAAEM,QAAiB,EAAEzE,aAAsB;EACxF,OAAc0D,EAAgB,IAAkB;IAC9C,OAAOa,eAAgBJ,CAAC,EAAG3B,CAAC,IAAKkC,aAAUD,QAA8B,CAACjC,CAAC,CAAC,EAFZxC,cAEa,EAAtE0D,EAAE,CAAqE;EAChF,CAAC;AACH;AAEA;;;;;AAKA,mBACEzD,GAA8B,EAC9BD,aAAsB;EAEtB,OAAOE,wBAAYV,QAAQ,EAF3BQ,eAEOC,GAAG,CAAkB;AAC9B;AAEA;;;;;AAKA,OAAM,SAAU0E,kBAAkB,CAAKC,GAAa,EAAE5E,aAAsB;EAC1E,OAAiBC,GAAwB,IAAuB;IAC9D,OAAOI,WAAcwE,EAAE,IAAK/B,2BAAa8B,GAAG,EAAhBC,EAAE,CAAe,EAFK7E,eAE3CC,GAAG,CAAoC;EAChD,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAU6E,OAAO,CACrBC,EAAe,EACftE,CAAyB,EACzBT,aAAsB;EAEtB,OAAOqD,QAAU,MAAK;IACpB,IAAIpD,GAAG,GAAGsC,4BAAe,EAAE,EAH7BvC,cAGgD;IAC9C,KAAK,MAAMwC,CAAC,IAAIuC,EAAE,EAAE;MAClB9E,GAAG,GAAG+E,UAAYvE,CAAC,CAAC+B,CAAC,CAAC,EAAE,CAACyC,GAAG,EAAElF,CAAC,KAAI;QACjCkF,GAAG,CAACC,IAAI,CAACnF,CAAC,CAAC;QACX,OAAOkF,GAAG;MACZ,CAAC,EARLjF,eAKUC,GAAG,CAGP;;IAEJ,OAAOA,GAAG;EACZ,CAAC,EAXDD,cAWE;AACJ;AAEA;;;;;AAKA,OAAM,SAAUmF,UAAU,CAAO7C,CAAqB,EAAEtC,aAAsB;EAC5E,OAAOqD,cAAU+B,+EAAC,EAAE,CAAmC,EADDpF,cACE;AAC1D;AAEA;;;;;AAKA,yBAAoCsC,CAAe,EAAEtC,aAAsB;EACzE,OAAOoF,+EAAC,CAAmC;AAC7C;AAEA;;;AAGA,OAAM,SAAUlD,GAAG,CAAUjC,GAAwB,EAAED,aAAsB;EAC3E,OAAOE,yBACJoC,CAAC,IAAKC,yBAAY8C,qBAAK/C,CAAC,CAAC,EAFyBtC,cAExB,EAC1BsF,EAAE,IAAKC,uBAAS,MAAMhD,yBAAY8C,yBAAS,EAHOrF,cAGN,+BAArCsF,EAAE,CAAoD,EAHXtF,eAC9CC,GAAG,CAGT;AACH;AAEA;;;;;;AAMA,OAAM,SAAUuF,kBAAkB,CAAI5E,CAAiB,EAAEZ,aAAsB;EAC7E,OAAcC,GAAiB,IAAsB;IACnD,OAAOwF,uBAAyB,MAAM7E,CAAC,EAFcZ,eAE9CC,GAAG,CAA8B;EAC1C,CAAC;AACH;AAEA;;;;;;AAMA,gCAA4CQ,CAAyC,EAAET,aAAsB;EAC3G,OAAcqC,IAAkB,IAAmB;IACjD,OAAO,IAAI3C,oBAAoB,CAAC2C,IAAI,EAAE5B,CAAC,CAAC;EAC1C,CAAC;AACH;AAEA;;;;;AAKA,gBAAqBiF,CAAgB,EAAE1F,aAAsB;EAC3D,OAAO,IAAIL,MAAM,CAAC,MAAK;IACrB,MAAM,IAAIC,aAAa,CAAC8F,CAAC,EAAE,CAAC;EAC9B,CAAC,CAAC;AACJ;AAEA;;;;;AAKA,OAAM,SAAUC,OAAO,CAACD,CAAU,EAAE1F,aAAsB;EACxD,OAAO,IAAIL,MAAM,CAAC,MAAK;IACrB,MAAM,IAAIC,aAAa,CAAC8F,CAAC,CAAC;EAC5B,CAAC,CAAC;AACJ;AAEA;;;;;;AAMA,OAAM,SAAUE,IAAI,CAAU3F,GAA2B,EAAED,aAAsB;EAC/E,OAAOE,yBACJoC,CAAC,IAAKC,yBAAY8C,qBAAK/C,CAAC,CAAC,EAF6BtC,cAE5B,EAC1B6F,EAAE,IAAI;IACL,MAAMd,EAAE,GAAKc,EAAE,CAACC,MAAM,CAACC,QAAQ,CAAC,EAAE;IAClC,MAAMC,IAAI,GAAGjB,EAAE,CAACiB,IAAI,EAAE;IACtB,OAAOA,IAAI,CAACC,IAAI,GAAG1D,yBAAY8C,yBAAS,EANarF,cAMZ,GAAGuC,4BAAeyD,IAAI,CAACE,KAAK,EANhBlG,cAMiB;EACxE,CAAC,EAPsDA,eAClDC,GAAG,CAOT;AACH;AAEA;;;;;AAKA,OAAO,MAAMkG,SAAS,gBAA6BjG,wBAAqBsB,EAAE,IAAKe,6BAAgBf,EAAE,yBAAC,mDAAC;AAEnG;;;;;AAKA,OAAM,SAAU4E,SAAS,CAAUnG,GAAiB,EAAED,aAAsB;EAC1E,OAAO+D,QACL,MAAM,IAAI,EACV,MAAM,KAAK,EAHuC/D,eAC7CC,GAAG,CAGT;AACH;AAEA;;;;;AAKA,OAAM,SAAUoG,SAAS,CAAUpG,GAAiB,EAAED,aAAsB;EAC1E,OAAO+D,QACL,MAAM,KAAK,EACX,MAAM,IAAI,EAHwC/D,eAC7CC,GAAG,CAGT;AACH;AAEA;;;;;AAKA,OAAM,SAAUqG,IAAI,CAAarG,GAA4B,EAAED,aAAsB;EACnF,OAAOE,yBACJoC,CAAC,IAAKC,4BAAS8C,qBAAK/C,CAAC,CAAC,EAFoCtC,cAEnC,EACvBuG,EAAE,IAAKnB,oDAAyB,MAAM7C,yBAAY8C,yBAAS,EAHDrF,cAGE,EAArDuG,EAAE,CAAoD,EAHHvG,eACtDC,GAAG,CAGT;AACH;AAEA;;;;;AAKA,OAAM,SAAUuG,UAAU,CAAQC,MAAoB,EAAEzG,aAAsB;EAC5E,OAAiBC,GAA4B,IAAuB;IAClE,OAAOC,wBAAaqG,EAAE,IAAKnB,oDAA0BsB,CAAC,IAAKnE,4BAASkE,MAAM,CAACC,CAAC,CAAC,EAFzB1G,cAE0B,EAAnDuG,EAAE,CAAkD,EAF3BvG,eAE7CC,GAAG,CAAsE;EAClF,CAAC;AACH;AAEA;;;;;AAKA,oBAAgCQ,CAAe,EAAET,aAAsB;EACrE,OAAcC,GAAiB,IAAmB;IAChD,OAAOC,yBAAcoC,CAAC,IAAKC,yBAAY9B,CAAC,CAAC6B,CAAC,CAAC,EAFEtC,cAED,+BAFCA,eAEtCC,GAAG,CAAmD;EAC/D,CAAC;AACH;AAEA;;;;;;AAMA,iBAAkCmC,CAAc,EAAE3B,CAAc,EAAET,aAAsB;EACtF,OAAWC,GAAiB,IAA0B;IACpD,OAAOC,yBACJoC,CAAC,IAAKC,4BAAeH,CAAC,CAACE,CAAC,CAAC,EAHkCtC,cAGjC,EAC1BwC,CAAC,IAAKD,4BAAe9B,CAAC,CAAC+B,CAAC,CAAC,EAJkCxC,cAIjC,EAJiCA,eAEvDC,GAAG,CAGT;EACH,CAAC;AACH;AAEA;;;;;;;;;;;;;;AAcA,uBAA+BQ,CAAoB,EAAET,aAAsB;EACzE,OAAcC,GAAiB,IAAkB;IAC/C,OAAOC,wBAAasC,CAAC,IAAM/B,CAAC,CAAC+B,CAAC,CAAC,GAAGD,4BAAeC,CAAC,EAFDxC,cAEE,GAAG2G,cAAgBlG,CAAC,EAFtBT,eAEKC,GAAG,CAAgB,EAFxBD,eAE1CC,GAAG,CAAgE;EAC5E,CAAC;AACH;AAEA;;;;;;;;;;;;;;AAcA,uBAA+BQ,CAAoB,EAAET,aAAsB;EACzE,OAAcC,GAAiB,IAAkB;IAC/C,OAAOC,wBAAasC,CAAC,IAAM/B,CAAC,CAAC+B,CAAC,CAAC,GAAGoE,cAAgBnG,CAAC,EAFFT,eAEfC,GAAG,CAAe,GAAGsC,4BAAeC,CAAC,EAFtBxC,cAEwB,EAFxBA,eAE1CC,GAAG,CAAgE;EAC5E,CAAC;AACH;AAEA;;;;;;AAMA,gBAA8BA,GAAiB,EAAED,aAAsB;EACrE,OAAOE,gFADwCF,eACxCC,GAAG,CAAsC;AAClD;AAEA;;;;;AAKA,oBAA8CQ,CAAyC,EAAET,aAAsB;EAC7G,OAAQC,GAAiB,IAAqB;IAC5C,cAAOQ,CAAC,QAACR,GAAG,EAFyED,eAEnE,EAFmEA;EAGvF,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU6G,GAAG,CAAepG,CAA2B,EAAET,aAAsB;EACnF,OAAcC,GAAiB,IAA4B;IACzD,OAAOC,wBAAasC,CAAC,IAAKsE,WAAQtE,CAAC,EAFwBxC,eAEjCS,CAAC,CAAC+B,CAAC,CAAC,CAAM,EAFuBxC,eAEpDC,GAAG,CAA2B;EACvC,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU8G,MAAM,CAAIvE,CAAU,EAAExC,aAAsB;EAC1D,OAAOE,wBAAwBsC,CAAC,IAAKD,4BAAeyE,sBAAYxE,CAAC,CAAC,EAD9BxC,cAC+B,EAD/BA,eAC7BuC,yBAAYC,CAAC,EADgBxC,cACf,CAA+C;AACtE;AAEA;;;;;AAKO,MAAMsD,sBAAOf,4BAAqB0E,SAAS,yBAAC;aAAtCC,IAAI;AAEjB;;;;;;AAMA,mBAAyCC,IAAoB,EAAE1G,CAAoB,EAAET,aAAsB;EACzG,OAAcqC,IAAkB,IAA4B;IAC1D,OAAOnC,wBAAcsC,CAAC,IAAKtC,oBAAUH,CAAC,IAAKU,CAAC,CAAC+B,CAAC,EAAEzC,CAAC,CAAC,EAF+BC,eAEtDmH,IAAI,CAAoB,EAF8BnH,eAE1EqC,IAAI,CAAyC;EACtD,CAAC;AACH","names":["as","environment","atomically","continueOrFailSTM","continueOrRetrySTM","defer","either","eventually","filterMapSTM","filterOrElse","flatten","fromEitherNow","contramapEnvironment","halt","mapError","match","repeatUntil","repeatWhile","swap","swapWith","zipWith","identity","AtomicReference","ContramapEnvironment","Effect","HaltException","tryCommitAsync","tryCommitSync","b","__tsplusTrace","stm","tsplus_module_1","asJust","asJustError","mapError_1","absolve","z","makeEffect","f","_","__","r","environmentWith","environment_1","environmentWithSTM","tsplus_module_9","tsplus_module_8","scheduler","tsplus_module_3","fiberId","result","_tag","exit","id","tsplus_module_4","state","async","journal","tsplus_module_6","restore","cause","compareAndSet","newState","get","bimap","g","self","e","tsplus_module_10","a","catchWith","tag","k","tsplus_module_11","catchJust","tsplus_module_12","catchTag","chainError","swapWith_1","effect","check","predicate","defer_1","unit_1","commitEither","continueOrFail","pf","fa","continueOrFailSTM_1","continueOrRetry","continueOrRetrySTM_1","make","match_1","eventually_1","filterMap","filterMapSTM_1","p","or","filterOrFail","failWith","filterOrElse_1","filterOrHalt","haltWith","halt_1","flattenErrorOption","def","me","foreach","it","zipWith_1","acc","push","fromEither","tsplus_module_14","tsplus_module_2","ma","tsplus_module_15","provideEnvironment","contramapEnvironment_1","u","haltNow","head","ia","Symbol","iterator","next","done","value","interrupt","isFailure","isSuccess","left","bc","leftOrFail","orFail","c","repeatUntil_1","repeatWhile_1","tap","as_1","toLeft","tsplus_module_13","undefined","unit","that"],"sourceRoot":"","sources":["../../_src/STM/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;aAgBgBA,EAAE;aAiDFC,WAAW;aAqLXC,iBAAiB;aA4BjBC,kBAAkB;aAWlBC,KAAK;aASLC,MAAM;aASNC,UAAU;aAqBVC,YAAY;aAmBZC,YAAY;aA8CZC,OAAO;aAuDPC,aAAa;aAgCbC,oBAAoB;aAWpBC,IAAI;aA6FJC,QAAQ;aAYRC,KAAK;aAuBLC,WAAW;aAoBXC,WAAW;aAYXC,IAAI;aASJC,QAAQ;aAuCRC,OAAO;AArrBvB,SAASC,QAAQ,QAAQ,2BAA2B;AAIpD,SAASC,oBAAoB,EAAEC,MAAM,EAAEC,aAAa,QAAa,kBAAiB;AAKlF;;;;;AAKA,cAAsBC,CAAU,EAAEC,aAAsB;EACtD,OAAiBC,GAAiB,IAAkB;IAClD,OAAOC,oBAAQ,MAAMH,CAAC,EAAE,EAFMC,eAEvBC,GAAG,CAAe;EAC3B,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAUE,MAAM,CAAUF,GAAiB,EAAED,aAAsB;EACvE,OAAOE,0CAD0CF,eAC1CC,GAAG,CAAgB;AAC5B;AAEA;;;;;AAKA,OAAM,SAAUG,WAAW,CAAUH,GAAiB,EAAED,aAAsB;EAC5E,OAAOK,iCAD+CL,eAC/CC,GAAG,CAAqB;AACjC;AAEA;;;;;;AAMA,OAAM,SAAUK,OAAO,CAAcC,CAA2B,EAAEP,aAAsB;EACtF,OAAOE,yCADyDF,eACzDO,CAAC,CAA2B;AACrC;AAEA;;;AAGA,OAAM,SAAUC,UAAU,CACxBC,CAA+D,EAC/DT,aAAsB;EAEtB,OAAO,IAAIH,MAAM,CAACY,CAAC,CAAC;AACtB;AAEA;;;;;AAKA,uBAA+BT,aAAsB;EACnD,OAAO,IAAIH,MAAM,CAAC,CAACa,CAAC,EAAEC,EAAE,EAAEC,CAAC,KAAKA,CAAC,CAAC;AACpC;AAEA;;;;;AAKA,OAAM,SAAUC,eAAe,CAAOJ,CAA2B,EAAET,aAAsB;EACvF,OAAOE,oBAAyBO,CAAC,EADgCT,eAC1Dc,cAD0Dd,cACtC,CAAO;AACpC;AAEA;;;;;AAKA,OAAM,SAAUe,kBAAkB,CAAcN,CAAuC,EAAET,aAAsB;EAC7G,OAAOE,wBAA8BO,CAAC,EADiDT,eAChFc,cADgFd,cAC3D,CAAW;AACzC;AAEA;;;;;;AAMA,OAAM,SAAUgB,KAAK,CAAcC,CAAe,EAAER,CAAc,EAAET,aAAsB;EACxF,OAAWkB,IAAkB,IAC3BhB,yBACGiB,CAAC,IAAKC,wBAAYH,CAAC,CAACE,CAAC,CAAC,EAHuCnB,cAGtC,EACvBqB,CAAC,IAAKD,2BAAeX,CAAC,CAACY,CAAC,CAAC,EAJoCrB,cAInC,EAJmCA,eAEhEkB,IAAI,CAGH;AACL;AAEA;;;;;AAKA,OAAM,SAAUI,SAAS,CACvBC,GAAM,EACNC,CAAI,EACJf,CAOoB,EACpBT,aAAsB;EAEtB,OACEC,GAAiB,IAWf;IACF,OAAOC,yBAAciB,CAAC,IAAI;MACxB,IAAIM,wBAAQ,CAACN,CAAC,CAAC,IAAII,GAAG,IAAIJ,CAAC,IAAIA,CAAC,CAACI,GAAG,CAAC,KAAKC,CAAC,EAAE;QAC3C,OAAOf,CAAC,CAACU,CAAQ,CAAC;;MAEpB,OAAOC,wBAAYD,CAAQ,EAnB/BnB,cAmBgC;IAC9B,CAAC,EApBHA,eAeSC,GAAG,CAKR;EACJ,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAUyB,SAAS,CAAejB,CAAkC,EAAET,aAAsB;EAChG,OAAcC,GAAiB,IAAgC;IAC7D,OAAOC,yBAAciB,CAAC,IAA6BQ,gCAAeP,wBAAYD,CAAC,EAFPnB,cAEQ,EAA7BS,CAAC,CAACU,CAAC,CAAC,CAA0B,EAFTnB,eAEjEC,GAAG,CAAwE;EACpF,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU2B,QAAQ,CAStBJ,CAAI,EACJf,CAOoB,EACpBT,aAAsB;EAEtB,OACEC,GAAiB,IAWf;IACF,OAAOC,yBAAciB,CAAC,IAAI;MACxB,IAAI,MAAM,IAAIA,CAAC,IAAIA,CAAC,CAAC,MAAM,CAAC,KAAKK,CAAC,EAAE;QAClC,OAAOf,CAAC,CAACU,CAAQ,CAAC;;MAEpB,OAAOC,wBAAYD,CAAQ,EAnB/BnB,cAmBgC;IAC9B,CAAC,EApBHA,eAeSC,GAAG,CAKR;EACJ,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAU4B,UAAU,CAAYpB,CAA+B,EAAET,aAAsB;EAC3F,OAAcC,GAAiB,IAAwB;IACrD,OAAO6B,WAAcC,MAAM,IAAK7B,wBAAeO,CAAC,EAFmBT,eAEnC+B,MAAM,CAAW,EAFkB/B,eAE5DC,GAAG,CAAwC;EACpD,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU+B,KAAK,CAACC,SAAwB,EAAEjC,aAAsB;EACpE,OAAOkC,QAAU,MAAOD,SAAS,EAAE,GAAEE,SAAWf,qBAAW,EADbpB,cACc;AAC9D;AAEA;;;;AAIA,OAAM,SAAUoC,YAAY,CAAUnC,GAAiB,EAAED,aAAsB;EAC7E,mEAAOC,GAAG,EAD6CD;AAEzD;AAEA;;;;;;AAMA,OAAM,SAAUqC,cAAc,CAAYlB,CAAW,EAAEmB,EAAuB,EAAEtC,aAAsB;EACpG,OAAcuC,EAAgB,IAAwB;IACpD,OAAOC,oBAAqBrB,CAAC,EAAGE,CAAC,IAAKM,kDAAE,CAACN,CAAC,CAAC,CAAoB,EAFarB,eAErEuC,EAAE,CAAuD;EAClE,CAAC;AACH;AAEA;;;;;;AAMA,6BACEpB,CAAW,EACXmB,EAAoC,EACpCtC,aAAsB;EAEtB,OAAcuC,EAAgB,IAAkC;IAC9D,OAAOrC,wBAAYmB,CAAC,IAAKM,gCAAgBP,qBAASD,CAAC,EAHrDnB,cAGsD,EAA3BsC,EAAE,CAACjB,CAAC,CAAC,CAAuB,EAHvDrB,eAGSuC,EAAE,CAA6C;EACxD,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAUE,eAAe,CAAQH,EAAuB,EAAEtC,aAAsB;EACpF,OAAcuC,EAAgB,IAAmB;IAC/C,OAAOG,qBAAuBrB,CAAC,IAAKM,kDAAE,CAACN,CAAC,CAAC,CAAoB,EAFDrB,eAErDuC,EAAE,CAAqD;EAChE,CAAC;AACH;AAEA;;;;;;AAMA,8BAAkDD,EAAoC,EAAEtC,aAAsB;EAC5G,OAAcuC,EAAgB,IAA6B;IACzD,OAAOrC,wBAAYmB,CAAC,IAAKM,yDAAE,CAACN,CAAC,CAAC,CAAqB,EAFiCrB,eAE7EuC,EAAE,CAA2C;EACtD,CAAC;AACH;AAEA;;;;;AAKA,iBAA+BI,IAAwB,EAAE3C,aAAsB;EAC7E,iBAAOoB,wBAAYuB,IAAI,EADgC3C,cAC/B,EAD+BA;AAEzD;AAEA;;;;;AAKA,kBAAgCC,GAAiB,EAAED,aAAsB;EACvE,OAAO4C,qDAD0C5C,eAC1CC,GAAG,CAAiC;AAC7C;AAEA;;;;;AAKA,sBAAoCA,GAAiB,EAAED,aAAsB;EAC3E,OAAOE,yBAAa,MAAK2C,aAAC5C,GAAG,EADwBD,cACb,8BADaA,eAC9CC,GAAG,CAA+C;AAC3D;AAEA;;;;;AAKA,OAAM,SAAU6C,SAAS,CAAOrC,CAAqB,EAAET,aAAsB;EAC3E,OAAcC,GAAiB,IAAkB;IAC/C,OAAO8C,eAAkB1B,CAAC,IAAKM,iDAAC,CAACN,CAAC,CAAC,CAAoB,EAFJrB,eAE5CC,GAAG,CAA8C;EAC1D,CAAC;AACH;AAEA;;;;;;AAMA,wBAA2CQ,CAAkC,EAAET,aAAsB;EACnG,OAAckB,IAAkB,IAA4B;IAC1D,OAAOhB,kDAA4BmB,CAAC,IAAKM,wDAAC,CAACN,CAAC,CAAC,CAAqB,EAFSrB,eAEpEkB,IAAI,CAAwD;EACrE,CAAC;AACH;AAeA,wBAAgC8B,CAAe,EAAEC,EAAW,EAAEjD,aAAsB;EAClF,OAA0BuC,EAAgB,IAAiC;IACzE,OAAOrC,wBAAYmB,CAAC,IAAM2B,CAAC,CAAC3B,CAAC,CAAC,GAAGD,2BAAeC,CAAC,EAFSrB,cAER,GAAGkC,cAAWe,EAAgC,CAAC5B,CAAC,CAAC,EAFzCrB,cAE2C,EAF3CA,eAEnDuC,EAAE,CAA6F;EACxG,CAAC;AACH;AAeA,OAAM,SAAUW,YAAY,CAAIF,CAAe,EAAEG,QAAiB,EAAEnD,aAAsB;EACxF,OAAkBuC,EAAgB,IAAuB;IACvD,OAAOa,eAAgBJ,CAAC,EAAG3B,CAAC,IAAKD,2BAAU+B,QAAyB,CAAC9B,CAAC,CAAC,EAFPrB,cAEQ,EAAjEuC,EAAE,CAAgE;EAC3E,CAAC;AACH;AAYA,OAAM,SAAUc,YAAY,CAAIL,CAAe,EAAEM,QAAiB,EAAEtD,aAAsB;EACxF,OAAcuC,EAAgB,IAAkB;IAC9C,OAAOa,eAAgBJ,CAAC,EAAG3B,CAAC,IAAKkC,aAAUD,QAA8B,CAACjC,CAAC,CAAC,EAFZrB,cAEa,EAAtEuC,EAAE,CAAqE;EAChF,CAAC;AACH;AAEA;;;;;AAKA,mBACEtC,GAA8B,EAC9BD,aAAsB;EAEtB,OAAOE,wBAAYP,QAAQ,EAF3BK,eAEOC,GAAG,CAAkB;AAC9B;AAEA;;;;;AAKA,OAAM,SAAUuD,kBAAkB,CAAKC,GAAa,EAAEzD,aAAsB;EAC1E,OAAiBC,GAAwB,IAAuB;IAC9D,OAAOI,WAAcqD,EAAE,IAAK/B,0BAAa8B,GAAG,EAAhBC,EAAE,CAAe,EAFK1D,eAE3CC,GAAG,CAAoC;EAChD,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAU0D,OAAO,CACrBC,EAAe,EACfnD,CAAyB,EACzBT,aAAsB;EAEtB,OAAOkC,QAAU,MAAK;IACpB,IAAIjC,GAAG,GAAGmB,2BAAe,EAAE,EAH7BpB,cAGgD;IAC9C,KAAK,MAAMqB,CAAC,IAAIuC,EAAE,EAAE;MAClB3D,GAAG,GAAG4D,UAAYpD,CAAC,CAACY,CAAC,CAAC,EAAE,CAACyC,GAAG,EAAE/D,CAAC,KAAI;QACjC+D,GAAG,CAACC,IAAI,CAAChE,CAAC,CAAC;QACX,OAAO+D,GAAG;MACZ,CAAC,EARL9D,eAKUC,GAAG,CAGP;;IAEJ,OAAOA,GAAG;EACZ,CAAC,EAXDD,cAWE;AACJ;AAEA;;;;;AAKA,OAAM,SAAUgE,UAAU,CAAO7C,CAAqB,EAAEnB,aAAsB;EAC5E,OAAOkC,cAAU+B,4EAAC,EAAE,CAAmC,EADDjE,cACE;AAC1D;AAEA;;;;;AAKA,yBAAoCmB,CAAe,EAAEnB,aAAsB;EACzE,OAAOiE,4EAAC,CAAmC;AAC7C;AAEA;;;AAGA,OAAM,SAAUC,GAAG,CAAUjE,GAAwB,EAAED,aAAsB;EAC3E,OAAOE,yBACJiB,CAAC,IAAKC,wBAAY+C,qBAAKhD,CAAC,CAAC,EAFyBnB,cAExB,EAC1BoE,EAAE,IAAKC,uBAAS,MAAMjD,wBAAY+C,yBAAS,EAHOnE,cAGN,8BAArCoE,EAAE,CAAoD,EAHXpE,eAC9CC,GAAG,CAGT;AACH;AAEA;;;;;;AAMA,OAAM,SAAUqE,kBAAkB,CAAI1D,CAAiB,EAAEZ,aAAsB;EAC7E,OAAcC,GAAiB,IAAsB;IACnD,OAAOsE,uBAAyB,MAAM3D,CAAC,EAFcZ,eAE9CC,GAAG,CAA8B;EAC1C,CAAC;AACH;AAEA;;;;;;AAMA,gCAA4CQ,CAAyC,EAAET,aAAsB;EAC3G,OAAckB,IAAkB,IAAmB;IACjD,OAAO,IAAItB,oBAAoB,CAACsB,IAAI,EAAET,CAAC,CAAC;EAC1C,CAAC;AACH;AAEA;;;;;AAKA,gBAAqB+D,CAAgB,EAAExE,aAAsB;EAC3D,OAAO,IAAIH,MAAM,CAAC,MAAK;IACrB,MAAM,IAAIC,aAAa,CAAC0E,CAAC,EAAE,CAAC;EAC9B,CAAC,CAAC;AACJ;AAEA;;;;;AAKA,OAAM,SAAUC,OAAO,CAACD,CAAU,EAAExE,aAAsB;EACxD,OAAO,IAAIH,MAAM,CAAC,MAAK;IACrB,MAAM,IAAIC,aAAa,CAAC0E,CAAC,CAAC;EAC5B,CAAC,CAAC;AACJ;AAEA;;;;;;AAMA,OAAM,SAAUE,IAAI,CAAUzE,GAA2B,EAAED,aAAsB;EAC/E,OAAOE,yBACJiB,CAAC,IAAKC,wBAAY+C,qBAAKhD,CAAC,CAAC,EAF6BnB,cAE5B,EAC1B2E,EAAE,IAAI;IACL,MAAMf,EAAE,GAAKe,EAAE,CAACC,MAAM,CAACC,QAAQ,CAAC,EAAE;IAClC,MAAMC,IAAI,GAAGlB,EAAE,CAACkB,IAAI,EAAE;IACtB,OAAOA,IAAI,CAACC,IAAI,GAAG3D,wBAAY+C,yBAAS,EANanE,cAMZ,GAAGoB,2BAAe0D,IAAI,CAACE,KAAK,EANhBhF,cAMiB;EACxE,CAAC,EAPsDA,eAClDC,GAAG,CAOT;AACH;AAEA;;;;;AAKA,OAAO,MAAMgF,SAAS,gBAA6B/E,wBAAqBgF,EAAE,IAAK9D,4BAAgB8D,EAAE,yBAAC,kDAAC;AAEnG;;;;;AAKA,OAAM,SAAUC,SAAS,CAAUlF,GAAiB,EAAED,aAAsB;EAC1E,OAAO4C,QACL,MAAM,IAAI,EACV,MAAM,KAAK,EAHuC5C,eAC7CC,GAAG,CAGT;AACH;AAEA;;;;;AAKA,OAAM,SAAUmF,SAAS,CAAUnF,GAAiB,EAAED,aAAsB;EAC1E,OAAO4C,QACL,MAAM,KAAK,EACX,MAAM,IAAI,EAHwC5C,eAC7CC,GAAG,CAGT;AACH;AAEA;;;;;AAKA,OAAM,SAAUoF,IAAI,CAAapF,GAA4B,EAAED,aAAsB;EACnF,OAAOE,yBACJiB,CAAC,IAAKC,2BAAS+C,qBAAKhD,CAAC,CAAC,EAFoCnB,cAEnC,EACvBsF,EAAE,IAAKrB,kDAAyB,MAAM7C,wBAAY+C,yBAAS,EAHDnE,cAGE,EAArDsF,EAAE,CAAoD,EAHHtF,eACtDC,GAAG,CAGT;AACH;AAEA;;;;;AAKA,OAAM,SAAUsF,UAAU,CAAQC,MAAoB,EAAExF,aAAsB;EAC5E,OAAiBC,GAA4B,IAAuB;IAClE,OAAOC,wBAAaoF,EAAE,IAAKrB,kDAA0BwB,CAAC,IAAKrE,2BAASoE,MAAM,CAACC,CAAC,CAAC,EAFzBzF,cAE0B,EAAnDsF,EAAE,CAAkD,EAF3BtF,eAE7CC,GAAG,CAAsE;EAClF,CAAC;AACH;AAEA;;;;;AAKA,oBAAgCQ,CAAe,EAAET,aAAsB;EACrE,OAAcC,GAAiB,IAAmB;IAChD,OAAOC,yBAAciB,CAAC,IAAKC,wBAAYX,CAAC,CAACU,CAAC,CAAC,EAFEnB,cAED,8BAFCA,eAEtCC,GAAG,CAAmD;EAC/D,CAAC;AACH;AAEA;;;;;;AAMA,iBAAkCgB,CAAc,EAAER,CAAc,EAAET,aAAsB;EACtF,OAAWC,GAAiB,IAA0B;IACpD,OAAOC,yBACJiB,CAAC,IAAKC,2BAAeH,CAAC,CAACE,CAAC,CAAC,EAHkCnB,cAGjC,EAC1BqB,CAAC,IAAKD,2BAAeX,CAAC,CAACY,CAAC,CAAC,EAJkCrB,cAIjC,EAJiCA,eAEvDC,GAAG,CAGT;EACH,CAAC;AACH;AAEA;;;;;;;;;;;;;;AAcA,uBAA+BQ,CAAoB,EAAET,aAAsB;EACzE,OAAcC,GAAiB,IAAkB;IAC/C,OAAOC,wBAAamB,CAAC,IAAMZ,CAAC,CAACY,CAAC,CAAC,GAAGD,2BAAeC,CAAC,EAFDrB,cAEE,GAAG0F,cAAgBjF,CAAC,EAFtBT,eAEKC,GAAG,CAAgB,EAFxBD,eAE1CC,GAAG,CAAgE;EAC5E,CAAC;AACH;AAEA;;;;;;;;;;;;;;AAcA,uBAA+BQ,CAAoB,EAAET,aAAsB;EACzE,OAAcC,GAAiB,IAAkB;IAC/C,OAAOC,wBAAamB,CAAC,IAAMZ,CAAC,CAACY,CAAC,CAAC,GAAGsE,cAAgBlF,CAAC,EAFFT,eAEfC,GAAG,CAAe,GAAGmB,2BAAeC,CAAC,EAFtBrB,cAEwB,EAFxBA,eAE1CC,GAAG,CAAgE;EAC5E,CAAC;AACH;AAEA;;;;;;AAMA,gBAA8BA,GAAiB,EAAED,aAAsB;EACrE,OAAOE,8EADwCF,eACxCC,GAAG,CAAsC;AAClD;AAEA;;;;;AAKA,oBAA8CQ,CAAyC,EAAET,aAAsB;EAC7G,OAAQC,GAAiB,IAAqB;IAC5C,cAAOQ,CAAC,QAACR,GAAG,EAFyED,eAEnE,EAFmEA;EAGvF,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU4F,GAAG,CAAenF,CAA2B,EAAET,aAAsB;EACnF,OAAcC,GAAiB,IAA4B;IACzD,OAAOC,wBAAamB,CAAC,IAAKwE,WAAQxE,CAAC,EAFwBrB,eAEjCS,CAAC,CAACY,CAAC,CAAC,CAAM,EAFuBrB,eAEpDC,GAAG,CAA2B;EACvC,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU6F,MAAM,CAAIzE,CAAU,EAAErB,aAAsB;EAC1D,OAAOE,wBAAwBmB,CAAC,IAAKD,2BAAe2E,qBAAY1E,CAAC,CAAC,EAD9BrB,cAC+B,EAD/BA,eAC7BoB,wBAAYC,CAAC,EADgBrB,cACf,CAA+C;AACtE;AAEA;;;;;AAKO,MAAMmC,sBAAOf,2BAAqB4E,SAAS,yBAAC;aAAtCC,IAAI;AAEjB;;;;;;AAMA,mBAAyCC,IAAoB,EAAEzF,CAAoB,EAAET,aAAsB;EACzG,OAAckB,IAAkB,IAA4B;IAC1D,OAAOhB,wBAAcmB,CAAC,IAAKnB,oBAAUH,CAAC,IAAKU,CAAC,CAACY,CAAC,EAAEtB,CAAC,CAAC,EAF+BC,eAEtDkG,IAAI,CAAoB,EAF8BlG,eAE1EkB,IAAI,CAAyC;EACtD,CAAC;AACH;AAEA;;;;AAIA,OAAM,SAAUiF,OAAO,CAAYD,IAAoB,EAAElG,aAAsB;EAC7E,OAAiBkB,IAAkB,IAA4B;IAC7D,OAAOhB,wBAAcmB,CAAC,IAAKwE,WAAQxE,CAAC,EAFiBrB,eAE1BkG,IAAI,CAAM,EAFgBlG,eAE9CkB,IAAI,CAA2B;EACxC,CAAC;AACH;AAEA;;;;AAIA,OAAM,SAAUkF,QAAQ,CAAYF,IAAoB,EAAElG,aAAsB;EAC9E,OAAiBkB,IAAkB,IAA4B;IAC7D,OAAOhB,wBAAa,MAAMgG,IAAI,EAFwBlG,eAE/CkB,IAAI,CAAoB;EACjC,CAAC;AACH","names":["as","environment","continueOrFailSTM","continueOrRetrySTM","defer","either","eventually","filterMapSTM","filterOrElse","flatten","fromEitherNow","contramapEnvironment","halt","mapError","match","repeatUntil","repeatWhile","swap","swapWith","zipWith","identity","ContramapEnvironment","Effect","HaltException","b","__tsplusTrace","stm","tsplus_module_1","asJust","asJustError","mapError_1","absolve","z","makeEffect","f","_","__","r","environmentWith","environment_1","environmentWithSTM","bimap","g","self","e","tsplus_module_3","a","catchWith","tag","k","tsplus_module_4","catchJust","tsplus_module_5","catchTag","chainError","swapWith_1","effect","check","predicate","defer_1","unit_1","commitEither","continueOrFail","pf","fa","continueOrFailSTM_1","continueOrRetry","continueOrRetrySTM_1","make","match_1","eventually_1","filterMap","filterMapSTM_1","p","or","filterOrFail","failWith","filterOrElse_1","filterOrHalt","haltWith","halt_1","flattenErrorOption","def","me","foreach","it","zipWith_1","acc","push","fromEither","tsplus_module_9","get","tsplus_module_2","ma","tsplus_module_10","provideEnvironment","contramapEnvironment_1","u","haltNow","head","ia","Symbol","iterator","next","done","value","interrupt","id","isFailure","isSuccess","left","bc","leftOrFail","orFail","c","repeatUntil_1","repeatWhile_1","tap","as_1","toLeft","tsplus_module_8","undefined","unit","that","zipLeft","zipRight"],"sourceRoot":"","sources":["../../_src/STM/api.ts"],"sourcesContent":[null]}

package/_mjs/STM/definition.mjs

@@ -1,4 +1,7 @@
-import { hasTypeId } from "@fncts/base/util/predicates";
+var _a, _b, _c, _d, _e, _f;
+import * as tsplus_module_1 from "@fncts/base/util/predicates";
+import { IOTypeId, IOVariance } from "@fncts/io/IO/definition";
+export const STMVariance = /*#__PURE__*/Symbol.for("fncts.io.STM.Variance");
 export const STMTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM");
 /**
  * @tsplus type fncts.io.STM
@@ -6,9 +9,12 @@ export const STMTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM");
  */
 export class STM {
   constructor() {
-    this._typeId = STMTypeId;
+    this[_a] = IOTypeId;
+    this.ioOpCode = 13 /* IOOpCode.Commit */;
+    this[_b] = STMTypeId;
   }
 }
+_a = IOTypeId, _b = STMTypeId;
 /**
  * @tsplus unify fncts.io.STM
  */
@@ -19,7 +25,7 @@ export class Effect extends STM {
   constructor(f) {
     super();
     this.f = f;
-    this._tag = "Effect" /* STMTag.Effect */;
+    this.stmOpCode = "Effect" /* STMTag.Effect */;
   }
 }
 
@@ -28,7 +34,7 @@ export class OnFailure extends STM {
     super();
     this.stm = stm;
     this.onFailure = onFailure;
-    this._tag = "OnFailure" /* STMTag.OnFailure */;
+    this.stmOpCode = "OnFailure" /* STMTag.OnFailure */;
   }
 
   apply(a) {
@@ -40,7 +46,7 @@ export class OnRetry extends STM {
     super();
     this.stm = stm;
     this.onRetry = onRetry;
-    this._tag = "OnRetry" /* STMTag.OnRetry */;
+    this.stmOpCode = "OnRetry" /* STMTag.OnRetry */;
   }
 
   apply(a) {
@@ -52,7 +58,7 @@ export class OnSuccess extends STM {
     super();
     this.stm = stm;
     this.apply = apply;
-    this._tag = "OnSuccess" /* STMTag.OnSuccess */;
+    this.stmOpCode = "OnSuccess" /* STMTag.OnSuccess */;
   }
 }
 
@@ -60,7 +66,7 @@ export class Succeed extends STM {
   constructor(a) {
     super();
     this.a = a;
-    this._tag = "Succeed" /* STMTag.Succeed */;
+    this.stmOpCode = "Succeed" /* STMTag.Succeed */;
   }
 }
 
@@ -68,7 +74,7 @@ export class SucceedNow extends STM {
   constructor(a) {
     super();
     this.a = a;
-    this._tag = "SucceedNow" /* STMTag.SucceedNow */;
+    this.stmOpCode = "SucceedNow" /* STMTag.SucceedNow */;
   }
 }
 
@@ -77,7 +83,7 @@ export class ContramapEnvironment extends STM {
     super();
     this.stm = stm;
     this.f = f;
-    this._tag = "ContramapEnvironment" /* STMTag.ContramapEnvironment */;
+    this.stmOpCode = "ContramapEnvironment" /* STMTag.ContramapEnvironment */;
   }
 }
 
@@ -88,39 +94,43 @@ export const FailExceptionTypeId = /*#__PURE__*/Symbol.for("fncta.control.STM.Fa
 export class FailException {
   constructor(e) {
     this.e = e;
-    this._typeId = FailExceptionTypeId;
+    this[_c] = FailExceptionTypeId;
   }
 }
+_c = FailExceptionTypeId;
 export function isFailException(u) {
-  return hasTypeId(u, FailExceptionTypeId);
+  return tsplus_module_1.isObject(u) && FailExceptionTypeId in u;
 }
 export const HaltExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.HaltException");
 export class HaltException {
   constructor(e) {
     this.e = e;
-    this._typeId = HaltExceptionTypeId;
+    this[_d] = HaltExceptionTypeId;
   }
 }
+_d = HaltExceptionTypeId;
 export function isHaltException(u) {
-  return hasTypeId(u, HaltExceptionTypeId);
+  return tsplus_module_1.isObject(u) && HaltExceptionTypeId in u;
 }
 export const InterruptExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.InterruptException");
 export class InterruptException {
   constructor(fiberId) {
     this.fiberId = fiberId;
-    this._typeId = InterruptExceptionTypeId;
+    this[_e] = InterruptExceptionTypeId;
   }
 }
+_e = InterruptExceptionTypeId;
 export function isInterruptException(u) {
-  return hasTypeId(u, InterruptExceptionTypeId);
+  return tsplus_module_1.isObject(u) && InterruptExceptionTypeId in u;
 }
 export const RetryExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.RetryException");
 export class RetryException {
   constructor() {
-    this._typeId = RetryExceptionTypeId;
+    this[_f] = RetryExceptionTypeId;
   }
 }
+_f = RetryExceptionTypeId;
 export function isRetryException(u) {
-  return hasTypeId(u, RetryExceptionTypeId);
+  return tsplus_module_1.isObject(u) && RetryExceptionTypeId in u;
 }
 //# sourceMappingURL=definition.mjs.map