@fncts/io 0.0.1

package/_mjs/STM/api.mjs

@@ -0,0 +1,633 @@
+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/IO/api/environment";
+import * as tsplus_module_8 from "@fncts/io/STM/api/core-constructors";
+import * as tsplus_module_9 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_10 from "@fncts/base/data/Either/constructors";
+import * as tsplus_module_11 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_12 from "@fncts/base/data/Maybe/destructors";
+export const as_ = as_1;
+export const environment = environment_1;
+export const environmentWithSTM = environmentWithSTM_1;
+export const atomically = atomically_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 flatten = flatten_1;
+export const fromEitherNow = fromEitherNow_1;
+export const provideEnvironment_ = provideEnvironment_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 swap = swap_1;
+export const swapWith_ = swapWith_1;
+export const zipWith_ = zipWith_1;
+import { identity } from "@fncts/base/data/function";
+import { AtomicReference } from "@fncts/base/internal/AtomicReference";
+import { ContramapEnvironment, Effect, HaltException } from "./definition.mjs";
+import { tryCommitAsync, tryCommitSync } from "./internal/Journal.mjs";
+/**
+ * Maps the success value of this effect to the specified constant value.
+ *
+ * @tsplus fluent fncts.io.STM as
+ */
+
+function as_1(stm, b) {
+  return tsplus_module_1.map_(stm, () => b());
+}
+/**
+ * Maps the success value of this effect to an optional value.
+ *
+ * @tsplus getter fncts.io.STM asJust
+ */
+
+
+export function asJust(stm) {
+  return tsplus_module_1.map_(stm, tsplus_module_2.just);
+}
+/**
+ * Maps the error value of this effect to an optional value.
+ *
+ * @tsplus getter fncts.io.STM asJustError
+ */
+
+export function asJustError(stm) {
+  return mapError_1(stm, tsplus_module_2.just);
+}
+/**
+ * Submerges the error case of an `Either` into the `STM`. The inverse
+ * operation of `STM.either`.
+ *
+ * @tsplus getter fncts.io.STM absolve
+ */
+
+export function absolve(z) {
+  return tsplus_module_1.flatMap_(z, fromEitherNow_1);
+}
+/**
+ * Retrieves the environment inside an stm.
+ *
+ * @tsplus static fncts.io.STMOps environment
+ */
+
+function environment_1() {
+  return new Effect((_, __, r) => r);
+}
+/**
+ * Accesses the environment of the transaction.
+ *
+ * @tsplus static fncts.io.STMOps environmentWith
+ */
+
+
+export function environmentWith(f) {
+  return tsplus_module_1.map_(environment_1(), f);
+}
+/**
+ * Accesses the environment of the transaction to perform a transaction.
+ *
+ * @tsplus static fncts.io.STMOps environmentWithSTM
+ */
+
+function environmentWithSTM_1(f) {
+  return tsplus_module_1.flatMap_(environment_1(), f);
+}
+/**
+ * @tsplus static fncts.io.STMOps atomically
+ * @tsplus getter fncts.io.STM commit
+ */
+
+
+function atomically_1(stm) {
+  return tsplus_module_7.environmentWithIO(r => tsplus_module_3.deferWith((_, fiberId) => {
+    const result = tryCommitSync(fiberId, stm, r);
+
+    switch (result._tag) {
+      case "Done"
+      /* TryCommitTag.Done */
+      :
+        {
+          return tsplus_module_3.fromExitNow(result.exit, fileName_1 + ":84:32");
+        }
+
+      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));
+          return tsplus_module_6.uninterruptibleMask(({
+            restore
+          }) => tsplus_module_3.catchAllCause_(restore(async), 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, fileName_1 + ":96:40");
+                }
+
+              default:
+                {
+                  return tsplus_module_3.failCauseNow(cause, fileName_1 + ":99:41");
+                }
+            }
+          }, fileName_1 + ":91:41"));
+        }
+    }
+  }, fileName_1 + ":80:17"), fileName_1 + ":79:30");
+}
+/**
+ * Returns an `STM` effect whose failure and success channels have been mapped by
+ * the specified pair of functions, `f` and `g`.
+ */
+
+
+export function bimap_(stm, g, f) {
+  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_8.failNow(g(e)), a => tsplus_module_8.succeedNow(f(a)));
+}
+/**
+ * Recovers from specified error.
+ *
+ * @tsplus fluent fncts.io.STM catch
+ */
+
+export function catch_(stm, tag, k, f) {
+  return tsplus_module_1.catchAll_(stm, e => {
+    if (tag in e && e[tag] === k) {
+      return f(e);
+    }
+
+    return tsplus_module_8.failNow(e);
+  });
+}
+/**
+ * Recovers from some or all of the error cases.
+ *
+ * @tsplus fluent fncts.io.STM catchJust
+ */
+
+export function catchJust_(stm, f) {
+  return tsplus_module_1.catchAll_(stm, e => tsplus_module_9.getOrElse_(f(e), () => tsplus_module_8.failNow(e)));
+}
+/**
+ * Recovers from specified error.
+ *
+ * @tsplus fluent fncts.io.STM catchTag
+ */
+
+export function catchTag_(stm, k, f) {
+  return tsplus_module_1.catchAll_(stm, e => {
+    if ("_tag" in e && e["_tag"] === k) {
+      return f(e);
+    }
+
+    return tsplus_module_8.failNow(e);
+  });
+}
+/**
+ * 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
+ */
+
+export function chainError_(stm, f) {
+  return swapWith_1(stm, effect => tsplus_module_1.flatMap_(effect, f));
+}
+/**
+ * Checks the condition, and if it's true, returns unit, otherwise, retries.
+ *
+ * @tsplus static fncts.io.STMOps check
+ */
+
+export function check(predicate) {
+  return defer_1(() => predicate() ? unit_1 : tsplus_module_8.retry);
+}
+/**
+ * Commits this transaction atomically, regardless of whether the transaction
+ * is a success or a failure.
+ */
+
+export function commitEither(stm) {
+  return tsplus_module_3.absolve(atomically_1(either_1(stm)));
+}
+/**
+ * Fail with `e` if the supplied `PartialFunction` does not match, otherwise
+ * succeed with the returned value.
+ *
+ * @tsplus fluent fncts.io.STM continueOrFail
+ */
+
+export function continueOrFail_(fa, e, pf) {
+  return continueOrFailSTM_1(fa, e, a => tsplus_module_9.map_(pf(a), tsplus_module_8.succeedNow));
+}
+/**
+ * Fail with `e` if the supplied `PartialFunction` does not match, otherwise
+ * continue with the returned value.
+ *
+ * @tsplus fluent fncts.io.STM continueOrFailSTM
+ */
+
+function continueOrFailSTM_1(fa, e, pf) {
+  return tsplus_module_1.flatMap_(fa, a => tsplus_module_9.getOrElse_(pf(a), () => tsplus_module_8.fail(e)));
+}
+/**
+ * Fail with `e` if the supplied `PartialFunction` does not match, otherwise
+ * succeed with the returned value.
+ *
+ * @tsplus fluent fncts.io.STM continueOrRetry
+ */
+
+
+export function continueOrRetry_(fa, pf) {
+  return continueOrRetrySTM_1(fa, a => tsplus_module_9.map_(pf(a), tsplus_module_8.succeedNow));
+}
+/**
+ * Simultaneously filters and flatMaps the value produced by this effect.
+ * Continues on the effect returned from pf.
+ *
+ * @tsplus fluent fncts.io.STM continueOrRetrySTM
+ */
+
+function continueOrRetrySTM_1(fa, pf) {
+  return tsplus_module_1.flatMap_(fa, a => tsplus_module_9.getOrElse_(pf(a), () => tsplus_module_8.retry));
+}
+/**
+ * Suspends creation of the specified transaction lazily.
+ *
+ * @tsplus static fncts.io.STMOps defer
+ */
+
+
+function defer_1(make) {
+  return flatten_1(tsplus_module_8.succeed(make));
+}
+/**
+ * Converts the failure channel into an `Either`.
+ *
+ * @tsplus getter fncts.io.STM either
+ */
+
+
+function either_1(stm) {
+  return match_1(stm, tsplus_module_10.left, tsplus_module_10.right);
+}
+/**
+ * Returns an effect that ignores errors and runs repeatedly until it eventually succeeds.
+ *
+ * @tsplus getter fncts.io.STM eventually
+ */
+
+
+function eventually_1(stm) {
+  return tsplus_module_1.matchSTM_(stm, () => eventually_1(stm), tsplus_module_8.succeedNow);
+}
+/**
+ * Simultaneously filters and maps the value produced by this effect.
+ *
+ * @tsplus fluent fncts.io.STM filterMap
+ */
+
+
+export function filterMap_(stm, f) {
+  return filterMapSTM_1(stm, a => tsplus_module_9.map_(f(a), tsplus_module_8.succeedNow));
+}
+/**
+ * Simultaneously filters and chains the value produced by this effect.
+ * Continues on the effect returned from f.
+ *
+ * @tsplus fluent fncts.io.STM filterMapSTM
+ */
+
+function filterMapSTM_1(self, f) {
+  return tsplus_module_1.matchSTM_(self, tsplus_module_8.failNow, a => tsplus_module_9.getOrElse_(f(a), () => tsplus_module_8.retry));
+}
+
+function filterOrElse_1(fa, p, or) {
+  return tsplus_module_1.flatMap_(fa, a => p(a) ? tsplus_module_8.succeedNow(a) : defer_1(() => or(a)));
+}
+
+export function filterOrFail_(fa, p, failWith) {
+  return filterOrElse_1(fa, p, a => tsplus_module_8.fail(() => failWith(a)));
+}
+export function filterOrHalt_(fa, p, haltWith) {
+  return filterOrElse_1(fa, p, a => halt_1(() => haltWith(a)));
+}
+/**
+ * Flattens out a nested `STM` effect.
+ *
+ * @tsplus getter fncts.io.STM flatten
+ */
+
+function flatten_1(stm) {
+  return tsplus_module_1.flatMap_(stm, identity);
+}
+/**
+ * Unwraps the optional error, defaulting to the provided value.
+ *
+ * @tsplus fluent fncts.io.STM flattenErrorOption
+ */
+
+
+export function flattenErrorOption_(stm, def) {
+  return mapError_1(stm, me => tsplus_module_9.getOrElse_(me, def));
+}
+/**
+ * Applies the function `f` to each element of the `Iterable<A>` and
+ * returns a transactional effect that produces a new `ReadonlyArray<B>`.
+ *
+ * @tsplus static fncts.io.STMOps foreach
+ */
+
+export function foreach_(it, f) {
+  return defer_1(() => {
+    let stm = tsplus_module_8.succeedNow([]);
+
+    for (const a of it) {
+      stm = zipWith_1(stm, f(a), (acc, b) => {
+        acc.push(b);
+        return acc;
+      });
+    }
+
+    return stm;
+  });
+}
+/**
+ * Lifts an `Either` into a `STM`.
+ *
+ * @tsplus static fncts.io.STMOps fromEither
+ */
+
+export function fromEither(e) {
+  return defer_1(() => tsplus_module_11.match_(e(), tsplus_module_8.failNow, tsplus_module_8.succeedNow));
+}
+/**
+ * Lifts an `Either` into a `STM`.
+ *
+ * @tsplus static fncts.io.STMOps fromEitherNow
+ */
+
+function fromEitherNow_1(e) {
+  return tsplus_module_11.match_(e, tsplus_module_8.failNow, tsplus_module_8.succeedNow);
+}
+/**
+ * Unwraps the optional success of this effect, but can fail with an None value.
+ */
+
+
+export function get(stm) {
+  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_8.failNow(tsplus_module_2.just(e)), ma => tsplus_module_12.match_(ma, () => tsplus_module_8.failNow(tsplus_module_2.nothing()), tsplus_module_8.succeedNow));
+}
+/**
+ * Provides the transaction its required environment, which eliminates
+ * its dependency on `R`.
+ *
+ * @tsplus fluent fncts.io.STM provideEnvironment
+ */
+
+function provideEnvironment_1(stm, r) {
+  return contramapEnvironment_1(stm, () => r);
+}
+/**
+ * Provides some of the environment required to run this effect,
+ * leaving the remainder `R0`.
+ *
+ * @tsplus fluent fncts.io.STM contramapEnvironment
+ */
+
+
+function contramapEnvironment_1(self, f) {
+  return new ContramapEnvironment(self, f);
+}
+/**
+ * Halts the fiber running the effect.
+ *
+ * @tsplus static fncts.io.STMOps halt
+ */
+
+
+function halt_1(u) {
+  return new Effect(() => {
+    throw new HaltException(u());
+  });
+}
+/**
+ * Halts the fiber running the effect.
+ *
+ * @tsplus static fncts.io.STMOps haltNow
+ */
+
+
+export function haltNow(u) {
+  return new Effect(() => {
+    throw new HaltException(u);
+  });
+}
+/**
+ * Returns a successful effect with the head of the list if the list is
+ * non-empty or fails with the error `None` if the list is empty.
+ *
+ * @tsplus getter fncts.io.STM head
+ */
+
+export function head(stm) {
+  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_8.failNow(tsplus_module_2.just(e)), ia => {
+    const it = ia[Symbol.iterator]();
+    const next = it.next();
+    return next.done ? tsplus_module_8.failNow(tsplus_module_2.nothing()) : tsplus_module_8.succeedNow(next.value);
+  });
+}
+/**
+ * Interrupts the fiber running the effect.
+ *
+ * @tsplus static fncts.io.STMOps interrupt
+ */
+
+export const interrupt = /*#__PURE__*/tsplus_module_1.flatMap_(tsplus_module_8.fiberId, id => tsplus_module_8.interruptAs(id));
+/**
+ * Returns whether this effect is a failure.
+ *
+ * @tsplus getter fncts.io.STM isFailure
+ */
+
+export function isFailure(stm) {
+  return match_1(stm, () => true, () => false);
+}
+/**
+ * Returns whether this effect is a success.
+ *
+ * @tsplus getter fncts.io.STM isSuccess
+ */
+
+export function isSuccess(stm) {
+  return match_1(stm, () => false, () => true);
+}
+/**
+ * Depending on provided environment returns either this one or the other effect.
+ *
+ * @tsplus fluent fncts.io.STM join
+ */
+
+export function join_(stm, that) {
+  return environmentWithSTM_1(r => tsplus_module_11.match_(r, r => provideEnvironment_1(stm, r), r1 => provideEnvironment_1(that, r1)));
+}
+/**
+ * Depending on provided environment returns either this one or the other effect.
+ *
+ * @tsplus fluent fncts.io.STM joinEither
+ */
+
+export function joinEither_(stm, that) {
+  return environmentWithSTM_1(r => tsplus_module_11.match_(r, r => tsplus_module_1.map_(provideEnvironment_1(stm, r), tsplus_module_10.left), r1 => tsplus_module_1.map_(provideEnvironment_1(that, r1), tsplus_module_10.right)));
+}
+/**
+ * Returns a successful effect if the value is `Left`, or fails with the error `None`.
+ *
+ * @tsplus getter fncts.io.STM left
+ */
+
+export function left(stm) {
+  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_8.fail(() => tsplus_module_2.just(e)), bc => tsplus_module_11.match_(bc, tsplus_module_8.succeedNow, () => tsplus_module_8.failNow(tsplus_module_2.nothing())));
+}
+/**
+ * Returns a successful effect if the value is `Left`, or fails with the error e.
+ *
+ * @tsplus fluent fncts.io.STM leftOrFail
+ */
+
+export function leftOrFail_(stm, orFail) {
+  return tsplus_module_1.flatMap_(stm, bc => tsplus_module_11.match_(bc, tsplus_module_8.succeedNow, c => tsplus_module_8.fail(() => orFail(c))));
+}
+/**
+ * Maps from one error type to another.
+ *
+ * @tsplus fluent fncts.io.STM mapError
+ */
+
+function mapError_1(stm, f) {
+  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_8.failNow(f(e)), tsplus_module_8.succeedNow);
+}
+/**
+ * Folds over the `STM` effect, handling both failure and success, but not
+ * retry.
+ *
+ * @tsplus fluent fncts.io.STM match
+ */
+
+
+function match_1(stm, g, f) {
+  return tsplus_module_1.matchSTM_(stm, e => tsplus_module_8.succeedNow(g(e)), a => tsplus_module_8.succeedNow(f(a)));
+}
+/**
+ * Repeats this `STM` effect until its result satisfies the specified predicate.
+ *
+ * WARNING:
+ * `repeatUntil` uses a busy loop to repeat the effect and will consume a thread until
+ * it completes (it cannot yield). This is because STM describes a single atomic
+ * transaction which must either complete, retry or fail a transaction before
+ * yielding back to the Effect Runtime.
+ *
+ * - 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
+ */
+
+
+function repeatUntil_1(stm, f) {
+  return tsplus_module_1.flatMap_(stm, a => f(a) ? tsplus_module_8.succeedNow(a) : repeatUntil_1(stm, f));
+}
+/**
+ * Repeats this `STM` effect while its result satisfies the specified predicate.
+ *
+ * WARNING:
+ * `repeatWhile` uses a busy loop to repeat the effect and will consume a thread until
+ * it completes (it cannot yield). This is because STM describes a single atomic
+ * transaction which must either complete, retry or fail a transaction before
+ * yielding back to the Effect Runtime.
+ *
+ * - 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
+ */
+
+
+function repeatWhile_1(stm, f) {
+  return tsplus_module_1.flatMap_(stm, a => f(a) ? repeatWhile_1(stm, f) : tsplus_module_8.succeedNow(a));
+}
+/**
+ * Returns an effect that swaps the error/success cases. This allows you to
+ * use all methods on the error channel, possibly before flipping back.
+ *
+ * @tsplus getter fncts.io.STM swap
+ */
+
+
+function swap_1(stm) {
+  return tsplus_module_1.matchSTM_(stm, tsplus_module_8.succeedNow, tsplus_module_8.failNow);
+}
+/**
+ * Swaps the error/value parameters, applies the function `f` and flips the parameters back
+ *
+ * @tsplus fluent fncts.io.STM swapWith
+ */
+
+
+function swapWith_1(stm, f) {
+  return swap_1(f(swap_1(stm)));
+}
+/**
+ * "Peeks" at the success of transactional effect.
+ *
+ * @tsplus fluent fncts.io.STM tap
+ */
+
+
+export function tap_(stm, f) {
+  return tsplus_module_1.flatMap_(stm, a => as_1(f(a), () => a));
+}
+/**
+ * Returns an effect with the value on the left part.
+ *
+ * @tsplus static fncts.io.STMOps toLeft
+ */
+
+export function toLeft(a) {
+  return tsplus_module_1.flatMap_(tsplus_module_8.succeed(a), a => tsplus_module_8.succeedNow(tsplus_module_10.left(a)));
+}
+/**
+ * Returns an `STM` effect that succeeds with `Unit`.
+ *
+ * @tsplus static fncts.io.STMOps unit
+ */
+
+const unit_1 = /*#__PURE__*/tsplus_module_8.succeedNow(undefined);
+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
+ */
+
+function zipWith_1(self, that, f) {
+  return tsplus_module_1.flatMap_(self, a => tsplus_module_1.map_(that, b => f(a, b)));
+}
+//# sourceMappingURL=api.mjs.map

package/_mjs/STM/api.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;;;aAcgBA,GAAG;aAqCHC,WAAW;aAkBXC,kBAAkB;aAQlBC,UAAU;aA2IVC,kBAAkB;aAwBlBC,mBAAmB;aAYnBC,KAAK;aASLC,MAAM;aASNC,UAAU;aAmBVC,aAAa;aAsBbC,aAAa;aA+CbC,OAAO;aAgDPC,aAAa;aAoBbC,mBAAmB;aAUnBC,qBAAqB;aASrBC,IAAI;aA+HJC,SAAS;aAUTC,MAAM;aAqBNC,YAAY;aAkBZC,YAAY;aAUZC,IAAI;aASJC,SAAS;aAsCTC,QAAQ;AAtqBxB,SAASC,QAAT,QAAyB,2BAAzB;AACA,SAASC,eAAT,QAAgC,sCAAhC;AAGA,SAASC,oBAAT,EAA+BC,MAA/B,EAAuCC,aAAvC,QAAiE,kBAAjE;AAEA,SAASC,cAAT,EAAyBC,aAAzB,QAA8C,wBAA9C;AAGA;;;;;;AAKA,cAAgCC,GAAhC,EAAmDC,CAAnD,EAA6D;EAC3D,OAAOC,0BAAQ,MAAMD,CAAC,EAAf,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAUE,MAAV,CAA0BH,GAA1B,EAA2C;EAC/C,OAAOE,0BAAGE,oBAAH,CAAP;AACD;AAED;;;;;;AAKA,OAAM,SAAUC,WAAV,CAA+BL,GAA/B,EAAgD;EACpD,OAAOM,gBAAGF,oBAAH,CAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUG,OAAV,CAA+BC,CAA/B,EAA0D;EAC9D,OAAON,4BAACO,eAAD,CAAP;AACD;AAED;;;;;;AAKA;EACE,OAAO,IAAIb,MAAJ,CAAW,CAACc,CAAD,EAAIC,EAAJ,EAAQC,CAAR,KAAiBA,CAA5B,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAUC,eAAV,CAAgCC,CAAhC,EAA8C;EAClD,OAAOZ,sCAAyBY,CAAzB,CAAP;AACD;AAED;;;;;;AAKA,8BAAgDA,CAAhD,EAA0E;EACxE,OAAOZ,0CAA8BY,CAA9B,CAAP;AACD;AAED;;;;;;AAIA,sBAAoCd,GAApC,EAAqD;EACnD,OAAOe,kCAAsBH,CAAD,IAC1BI,0BAAa,CAACN,CAAD,EAAIO,OAAJ,KAAe;IAC1B,MAAMC,MAAM,GAAGnB,aAAa,CAACkB,OAAD,EAAUjB,GAAV,EAAeY,CAAf,CAA5B;;IACA,QAAQM,MAAM,CAACC,IAAf;MACE;MAAA;MAAA;QAAwB;UACtB,OAAOH,4BAAeE,MAAM,CAACE,IAAtB,EAA0BC,qBAA1B,CAAP;QACD;;MACD;MAAA;MAAA;QAA2B;UACzB,MAAMC,EAAE,GAAMC,sBAAd;UACA,MAAMC,KAAK,GAAG,IAAI9B,eAAJ,CAAmB+B,uBAAnB,CAAd;UACA,MAAMC,KAAK,GAAGV,sBAASlB,cAAc,CAACoB,MAAM,CAACS,OAAR,EAAiBV,OAAjB,EAA0BjB,GAA1B,EAA+BsB,EAA/B,EAAmCE,KAAnC,EAA0CZ,CAA1C,CAAvB,CAAd;UACA,OAAOgB,oCAAuB,CAAC;YAAEC;UAAF,CAAD,KAC5Bb,sCAAO,CAACU,KAAD,CAAP,EAA8BI,KAAD,IAAU;YACrCN,KAAK,CAACO,aAAN,CAAmBN,uBAAnB,EAAmBA,2BAAnB;YACA,MAAMO,QAAQ,GAAGR,KAAK,CAACS,GAAvB;;YACA,QAAQD,QAAQ,CAACb,IAAjB;cACE,KAAK,MAAL;gBAAa;kBACX,OAAOH,4BAAegB,QAAQ,CAACZ,IAAxB,EAA4BC,qBAA5B,CAAP;gBACD;;cACD;gBAAS;kBACP,OAAOL,6BAAgBc,KAAhB,EAAqBT,qBAArB,CAAP;gBACD;YANH;UAQD,CAXD,EAWCA,qBAXD,CADK,CAAP;QAcD;IAtBH;EAwBD,CA1BD,EA0BCA,qBA1BD,CADK,EA2BHA,qBA3BG,CAAP;AA6BD;AAED;;;;;;AAIA,OAAM,SAAUa,MAAV,CAAiClC,GAAjC,EAAoDmC,CAApD,EAAqErB,CAArE,EAAmF;EACvF,OAAOZ,+BACJkC,CAAD,IAAOC,wBAAYF,CAAC,CAACC,CAAD,CAAb,CADF,EAEJE,CAAD,IAAOD,2BAAevB,CAAC,CAACwB,CAAD,CAAhB,CAFF,CAAP;AAID;AAED;;;;;;AAKA,OAAM,SAAUC,MAAV,CACJvC,GADI,EAEJwC,GAFI,EAGJC,CAHI,EAIJ3B,CAJI,EAIkD;EAEtD,OAAOZ,+BAAckC,CAAD,IAAM;IACxB,IAAII,GAAG,IAAIJ,CAAP,IAAYA,CAAC,CAACI,GAAD,CAAD,KAAWC,CAA3B,EAA8B;MAC5B,OAAO3B,CAAC,CAACsB,CAAD,CAAR;IACD;;IACD,OAAOC,wBAAYD,CAAZ,CAAP;EACD,CALM,CAAP;AAMD;AAED;;;;;;AAKA,OAAM,SAAUM,UAAV,CACJ1C,GADI,EAEJc,CAFI,EAE8B;EAElC,OAAOZ,+BAAckC,CAAD,IAA+BO,4BAAC,CAACP,CAAD,CAAD,EAAI,MAAWC,wBAAYD,CAAZ,CAAf,CAA5C,CAAP;AACD;AAED;;;;;;AAKA,OAAM,SAAUQ,SAAV,CACJ5C,GADI,EAEJyC,CAFI,EAGJ3B,CAHI,EAG8C;EAElD,OAAOZ,+BAAckC,CAAD,IAAM;IACxB,IAAI,UAAUA,CAAV,IAAeA,CAAC,CAAC,MAAD,CAAD,KAAcK,CAAjC,EAAoC;MAClC,OAAO3B,CAAC,CAACsB,CAAD,CAAR;IACD;;IACD,OAAOC,wBAAYD,CAAZ,CAAP;EACD,CALM,CAAP;AAMD;AAED;;;;;;;AAMA,OAAM,SAAUS,WAAV,CAAuC7C,GAAvC,EAA0Dc,CAA1D,EAAyF;EAC7F,OAAOgC,gBAAcC,MAAD,IAAY7C,iCAAeY,CAAf,CAAzB,CAAP;AACD;AAED;;;;;;AAKA,OAAM,SAAUkC,KAAV,CAAgBC,SAAhB,EAAwC;EAC5C,OAAOC,QAAU,MAAOD,SAAS,KAAIE,MAAJ,GAAed,qBAAzC,CAAP;AACD;AAED;;;;;AAIA,OAAM,SAAUe,YAAV,CAAgCpD,GAAhC,EAAiD;EACrD,qDAAOA,GAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUqD,eAAV,CACJC,EADI,EAEJlB,CAFI,EAGJmB,EAHI,EAGmB;EAEvB,OAAOC,wBAAqBpB,CAArB,EAAyBE,CAAD,IAAOK,uBAAE,CAACL,CAAD,CAAF,EAAKD,0BAAL,CAA/B,CAAP;AACD;AAED;;;;;;;AAMA,6BACEiB,EADF,EAEElB,CAFF,EAGEmB,EAHF,EAGsC;EAEpC,OAAOrD,6BAAYoC,CAAD,IAAOK,6BAAE,CAACL,CAAD,CAAF,EAAK,MAAWD,qBAASD,CAAT,CAAhB,CAAlB,CAAP;AACD;AAED;;;;;;;;AAMA,OAAM,SAAUqB,gBAAV,CAAwCH,EAAxC,EAA0DC,EAA1D,EAAiF;EACrF,OAAOG,yBAAuBpB,CAAD,IAAOK,uBAAE,CAACL,CAAD,CAAF,EAAKD,0BAAL,CAA7B,CAAP;AACD;AAED;;;;;;;AAMA,8BACEiB,EADF,EAEEC,EAFF,EAEsC;EAEpC,OAAOrD,6BAAYoC,CAAD,IAAOK,6BAAE,CAACL,CAAD,CAAF,EAAK,2BAAL,CAAlB,CAAP;AACD;AAED;;;;;;;AAKA,iBAA+BqB,IAA/B,EAAuD;EACrD,iBAAOtB,wBAAYsB,IAAZ,CAAP;AACD;AAED;;;;;;;AAKA,kBAAgC3D,GAAhC,EAAiD;EAC/C,OAAO4D,aAAGC,qBAAH,EAAGA,sBAAH,CAAP;AACD;AAED;;;;;;;AAKA,sBAAoC7D,GAApC,EAAqD;EACnD,OAAOE,+BAAa,MAAK4D,aAAC9D,GAAD,CAAlB,EAAiCqC,0BAAjC,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAU0B,UAAV,CAAiC/D,GAAjC,EAAoDc,CAApD,EAAyE;EAC7E,OAAOkD,oBAAkB1B,CAAD,IAAOK,sBAAC,CAACL,CAAD,CAAD,EAAID,0BAAJ,CAAxB,CAAP;AACD;AAED;;;;;;;AAMA,wBACE4B,IADF,EAEEnD,CAFF,EAEoC;EAElC,OAAOZ,gCAAImC,uBAAJ,EAA4BC,CAAD,IAAOK,4BAAC,CAACL,CAAD,CAAD,EAAI,2BAAJ,CAAlC,CAAP;AACD;;AAiBD,wBACEgB,EADF,EAEEY,CAFF,EAGEC,EAHF,EAGa;EAEX,OAAOjE,6BAAYoC,CAAD,IAAQ4B,CAAC,CAAC5B,CAAD,CAAD,GAAOD,2BAAeC,CAAf,CAAP,GAA2BY,cAAWiB,EAAgC,CAAC7B,CAAD,CAA3C,CAA9C,CAAP;AACD;;AAiBD,OAAM,SAAU8B,aAAV,CAAqCd,EAArC,EAAuDY,CAAvD,EAAwEG,QAAxE,EAAyF;EAC7F,OAAOC,mBAAgBJ,CAAhB,EAAoB5B,CAAD,IAAOD,2BAAUgC,QAAyB,CAAC/B,CAAD,CAAnC,CAA1B,CAAP;AACD;AAaD,OAAM,SAAUiC,aAAV,CAAiCjB,EAAjC,EAAmDY,CAAnD,EAAoEM,QAApE,EAAqF;EACzF,OAAOF,mBAAgBJ,CAAhB,EAAoB5B,CAAD,IAAOmC,aAAUD,QAA8B,CAAClC,CAAD,CAAxC,CAA1B,CAAP;AACD;AAED;;;;;;AAKA,mBAAyCtC,GAAzC,EAAuE;EACrE,OAAOE,8BAAYT,QAAZ,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAUiF,mBAAV,CAA2C1E,GAA3C,EAAqE2E,GAArE,EAAkF;EACtF,OAAOrE,gBAAcsE,EAAD,IAAQjC,+BAAagC,GAAb,CAArB,CAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUE,QAAV,CAA+BC,EAA/B,EAAgDhE,CAAhD,EAAyE;EAC7E,OAAOoC,QAAU,MAAK;IACpB,IAAIlD,GAAG,GAAGqC,2BAAe,EAAf,CAAV;;IAEA,KAAK,MAAMC,CAAX,IAAgBwC,EAAhB,EAAoB;MAClB9E,GAAG,GAAG+E,eAAYjE,CAAC,CAACwB,CAAD,CAAb,EAAkB,CAAC0C,GAAD,EAAM/E,CAAN,KAAW;QACjC+E,GAAG,CAACC,IAAJ,CAAShF,CAAT;QACA,OAAO+E,GAAP;MACD,CAHK,CAAN;IAID;;IAED,OAAOhF,GAAP;EACD,CAXM,CAAP;AAYD;AAED;;;;;;AAKA,OAAM,SAAUkF,UAAV,CAA2B9C,CAA3B,EAAgD;EACpD,OAAOc,cAAUiC,yBAAC,EAAD,EAAG9C,uBAAH,EAAGA,0BAAH,CAAV,CAAP;AACD;AAED;;;;;;AAKA,yBAAoCD,CAApC,EAAmD;EACjD,OAAO+C,2BAAC9C,uBAAD,EAACA,0BAAD,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUJ,GAAV,CAAuBjC,GAAvB,EAA+C;EACnD,OAAOE,+BACJkC,CAAD,IAAOC,wBAAYjC,qBAAKgC,CAAL,CAAZ,CADF,EAEJgD,EAAD,IAAQC,4BAAS,MAAMhD,wBAAYjC,yBAAZ,CAAf,EAAqCiC,0BAArC,CAFH,CAAP;AAID;AAED;;;;;;;AAMA,8BAA6CrC,GAA7C,EAAgEY,CAAhE,EAAoE;EAClE,OAAO0E,4BAAyB,MAAM1E,CAA/B,CAAP;AACD;AAED;;;;;;;;AAMA,gCAAmDqD,IAAnD,EAAuEnD,CAAvE,EAAsF;EACpF,OAAO,IAAInB,oBAAJ,CAAyBsE,IAAzB,EAA+BnD,CAA/B,CAAP;AACD;AAED;;;;;;;AAKA,gBAAqByE,CAArB,EAAqC;EACnC,OAAO,IAAI3F,MAAJ,CAAW,MAAK;IACrB,MAAM,IAAIC,aAAJ,CAAkB0F,CAAC,EAAnB,CAAN;EACD,CAFM,CAAP;AAGD;AAED;;;;;;;AAKA,OAAM,SAAUC,OAAV,CAAkBD,CAAlB,EAA4B;EAChC,OAAO,IAAI3F,MAAJ,CAAW,MAAK;IACrB,MAAM,IAAIC,aAAJ,CAAkB0F,CAAlB,CAAN;EACD,CAFM,CAAP;AAGD;AAED;;;;;;;AAMA,OAAM,SAAUE,IAAV,CAAwBzF,GAAxB,EAAmD;EACvD,OAAOE,+BACJkC,CAAD,IAAOC,wBAAYjC,qBAAKgC,CAAL,CAAZ,CADF,EAEJsD,EAAD,IAAO;IACL,MAAMZ,EAAE,GAAKY,EAAE,CAACC,MAAM,CAACC,QAAR,CAAF,EAAb;IACA,MAAMC,IAAI,GAAGf,EAAE,CAACe,IAAH,EAAb;IACA,OAAOA,IAAI,CAACC,IAAL,GAAYzD,wBAAYjC,yBAAZ,CAAZ,GAAqCiC,2BAAewD,IAAI,CAACE,KAApB,CAA5C;EACD,CANI,CAAP;AAQD;AAED;;;;;;AAKA,OAAO,MAAMC,SAAS,gBAA+B9F,kDAAqBoB,EAAD,IAAQe,4BAAgBf,EAAhB,CAA5B,CAA9C;AAEP;;;;;;AAKA,OAAM,SAAU2E,SAAV,CAA6BjG,GAA7B,EAA8C;EAClD,OAAO4D,aACL,MAAM,IADD,EAEL,MAAM,KAFD,CAAP;AAID;AAED;;;;;;AAKA,OAAM,SAAUsC,SAAV,CAA6BlG,GAA7B,EAA8C;EAClD,OAAO4D,aACL,MAAM,KADD,EAEL,MAAM,IAFD,CAAP;AAID;AAED;;;;;;AAKA,OAAM,SAAUuC,KAAV,CACJnG,GADI,EAEJoG,IAFI,EAEiB;EAErB,OAAOC,qBACJzF,CAAD,IACEuE,2BACGvE,CAAD,IAAO0F,0BAAuB1F,CAAvB,CADT,EAEG2F,EAAD,IAAQD,2BAAwBC,EAAxB,CAFV,CAFG,CAAP;AAOD;AAED;;;;;;AAKA,OAAM,SAAUC,WAAV,CACJxG,GADI,EAEJoG,IAFI,EAEiB;EAErB,OAAOC,qBACJzF,CAAD,IACEuE,2BACGvE,CAAD,IAAOV,+CAAuBU,CAAvB,GAAyBiD,qBAAzB,CADT,EAEG0C,EAAD,IAAQrG,gDAAwBqG,EAAxB,GAA2B1C,sBAA3B,CAFV,CAFG,CAAP;AAOD;AAED;;;;;;AAKA,OAAM,SAAU4C,IAAV,CAA2BzG,GAA3B,EAAuD;EAC3D,OAAOE,+BACJkC,CAAD,IAAOC,2BAASjC,qBAAKgC,CAAL,CAAT,CADF,EAEJsE,EAAD,IAAQvB,4BAAE9C,0BAAF,EAAyB,MAAMA,wBAAYjC,yBAAZ,CAA/B,CAFH,CAAP;AAID;AAED;;;;;;AAKA,OAAM,SAAUuG,WAAV,CAAsC3G,GAAtC,EAAoE4G,MAApE,EAAwF;EAC5F,OAAO1G,8BAAawG,EAAD,IAAQvB,4BAAE9C,0BAAF,EAA0BwE,CAAD,IAAOxE,2BAASuE,MAAM,CAACC,CAAD,CAAf,CAAhC,CAApB,CAAP;AACD;AAED;;;;;;AAKA,oBAAuC7G,GAAvC,EAA0Dc,CAA1D,EAAyE;EACvE,OAAOZ,+BAAckC,CAAD,IAAOC,wBAAYvB,CAAC,CAACsB,CAAD,CAAb,CAApB,EAAqCC,0BAArC,CAAP;AACD;AAED;;;;;;;;AAMA,iBAAsCrC,GAAtC,EAAyDmC,CAAzD,EAAyErB,CAAzE,EAAuF;EACrF,OAAOZ,+BACJkC,CAAD,IAAOC,2BAAeF,CAAC,CAACC,CAAD,CAAhB,CADF,EAEJE,CAAD,IAAOD,2BAAevB,CAAC,CAACwB,CAAD,CAAhB,CAFF,CAAP;AAID;AAED;;;;;;;;;;;;;;;;AAcA,uBAAsCtC,GAAtC,EAAyDc,CAAzD,EAA6E;EAC3E,OAAOZ,8BAAaoC,CAAD,IAAQxB,CAAC,CAACwB,CAAD,CAAD,GAAOD,2BAAeC,CAAf,CAAP,GAA2BwE,mBAAgBhG,CAAhB,CAA/C,CAAP;AACD;AAED;;;;;;;;;;;;;;;;AAcA,uBAAsCd,GAAtC,EAAyDc,CAAzD,EAA6E;EAC3E,OAAOZ,8BAAaoC,CAAD,IAAQxB,CAAC,CAACwB,CAAD,CAAD,GAAOyE,mBAAgBjG,CAAhB,CAAP,GAA4BuB,2BAAeC,CAAf,CAAhD,CAAP;AACD;AAED;;;;;;;;AAMA,gBAA8BtC,GAA9B,EAA+C;EAC7C,OAAOE,+BAAGmC,0BAAH,EAAGA,uBAAH,CAAP;AACD;AAED;;;;;;;AAKA,oBACErC,GADF,EAEEc,CAFF,EAE2C;EAEzC,cAAOA,CAAC,QAACd,GAAD,EAAR;AACD;AAED;;;;;;;AAKA,OAAM,SAAUgH,IAAV,CAAmChH,GAAnC,EAAsDc,CAAtD,EAAiF;EACrF,OAAOZ,8BAAaoC,CAAD,IAAO2E,MAAC,CAAC3E,CAAD,CAAD,EAAI,MAAIA,CAAR,CAAnB,CAAP;AACD;AAED;;;;;;AAKA,OAAM,SAAU4E,MAAV,CAAoB5E,CAApB,EAA8B;EAClC,OAAOpC,iDAAYoC,CAAZ,GAAwBA,CAAD,IAAOD,2BAAewB,sBAAYvB,CAAZ,CAAf,CAA9B,CAAP;AACD;AAED;;;;;;AAKO,MAAMa,sBAAOd,2BAAqB8E,SAArB,CAAb;aAAMC,IAAI;AAEjB;;;;;;;AAMA,mBACEnD,IADF,EAEEmC,IAFF,EAGEtF,CAHF,EAGsB;EAEpB,OAAOZ,+BAAcoC,CAAD,IAAOpC,2BAAUD,CAAD,IAAOa,CAAC,CAACwB,CAAD,EAAIrC,CAAJ,CAAjB,CAApB,CAAP;AACD","names":["as_","environment","environmentWithSTM","atomically","continueOrFailSTM_","continueOrRetrySTM_","defer","either","eventually","filterMapSTM_","filterOrElse_","flatten","fromEitherNow","provideEnvironment_","contramapEnvironment_","halt","mapError_","match_","repeatUntil_","repeatWhile_","swap","swapWith_","zipWith_","identity","AtomicReference","ContramapEnvironment","Effect","HaltException","tryCommitAsync","tryCommitSync","stm","b","tsplus_module_1","asJust","tsplus_module_2","asJustError","mapError_1","absolve","z","fromEitherNow_1","_","__","r","environmentWith","f","tsplus_module_7","tsplus_module_3","fiberId","result","_tag","exit","fileName_1","id","tsplus_module_4","state","tsplus_module_5","async","journal","tsplus_module_6","restore","cause","compareAndSet","newState","get","bimap_","g","e","tsplus_module_8","a","catch_","tag","k","catchJust_","tsplus_module_9","catchTag_","chainError_","swapWith_1","effect","check","predicate","defer_1","unit_1","commitEither","continueOrFail_","fa","pf","continueOrFailSTM_1","continueOrRetry_","continueOrRetrySTM_1","make","match_1","tsplus_module_10","eventually_1","filterMap_","filterMapSTM_1","self","p","or","filterOrFail_","failWith","filterOrElse_1","filterOrHalt_","haltWith","halt_1","flattenErrorOption_","def","me","foreach_","it","zipWith_1","acc","push","fromEither","tsplus_module_11","ma","tsplus_module_12","contramapEnvironment_1","u","haltNow","head","ia","Symbol","iterator","next","done","value","interrupt","isFailure","isSuccess","join_","that","environmentWithSTM_1","provideEnvironment_1","r1","joinEither_","left","bc","leftOrFail_","orFail","c","repeatUntil_1","repeatWhile_1","tap_","as_1","toLeft","undefined","unit"],"sourceRoot":"","sources":["../../_src/STM/api.ts"],"sourcesContent":[null]}