@fncts/io 0.0.1

package/_mjs/STM/definition.mjs

@@ -0,0 +1,148 @@
+import { hasTypeId } from "@fncts/base/util/predicates";
+export const STMTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM");
+/**
+ * @tsplus type fncts.io.STM
+ * @tsplus companion fncts.io.STMOps
+ */
+
+export class STM {
+  constructor() {
+    this._typeId = STMTypeId;
+  }
+
+}
+/**
+ * @tsplus unify fncts.io.STM
+ */
+
+export function unifySTM(self) {
+  return self;
+}
+export class Effect extends STM {
+  constructor(f) {
+    super();
+    this.f = f;
+    this._tag = "Effect"
+    /* STMTag.Effect */
+    ;
+  }
+
+}
+export class OnFailure extends STM {
+  constructor(stm, onFailure) {
+    super();
+    this.stm = stm;
+    this.onFailure = onFailure;
+    this._tag = "OnFailure"
+    /* STMTag.OnFailure */
+    ;
+  }
+
+  apply(a) {
+    return new SucceedNow(a);
+  }
+
+}
+export class OnRetry extends STM {
+  constructor(stm, onRetry) {
+    super();
+    this.stm = stm;
+    this.onRetry = onRetry;
+    this._tag = "OnRetry"
+    /* STMTag.OnRetry */
+    ;
+  }
+
+  apply(a) {
+    return new SucceedNow(a);
+  }
+
+}
+export class OnSuccess extends STM {
+  constructor(stm, apply) {
+    super();
+    this.stm = stm;
+    this.apply = apply;
+    this._tag = "OnSuccess"
+    /* STMTag.OnSuccess */
+    ;
+  }
+
+}
+export class Succeed extends STM {
+  constructor(a) {
+    super();
+    this.a = a;
+    this._tag = "Succeed"
+    /* STMTag.Succeed */
+    ;
+  }
+
+}
+export class SucceedNow extends STM {
+  constructor(a) {
+    super();
+    this.a = a;
+    this._tag = "SucceedNow"
+    /* STMTag.SucceedNow */
+    ;
+  }
+
+}
+export class ContramapEnvironment extends STM {
+  constructor(stm, f) {
+    super();
+    this.stm = stm;
+    this.f = f;
+    this._tag = "ContramapEnvironment"
+    /* STMTag.ContramapEnvironment */
+    ;
+  }
+
+}
+export function concrete(_) {//
+}
+export const FailExceptionTypeId = /*#__PURE__*/Symbol.for("fncta.control.STM.FailException");
+export class FailException {
+  constructor(e) {
+    this.e = e;
+    this._typeId = FailExceptionTypeId;
+  }
+
+}
+export function isFailException(u) {
+  return hasTypeId(u, FailExceptionTypeId);
+}
+export const HaltExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.HaltException");
+export class HaltException {
+  constructor(e) {
+    this.e = e;
+    this._typeId = HaltExceptionTypeId;
+  }
+
+}
+export function isHaltException(u) {
+  return hasTypeId(u, HaltExceptionTypeId);
+}
+export const InterruptExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.InterruptException");
+export class InterruptException {
+  constructor(fiberId) {
+    this.fiberId = fiberId;
+    this._typeId = InterruptExceptionTypeId;
+  }
+
+}
+export function isInterruptException(u) {
+  return hasTypeId(u, InterruptExceptionTypeId);
+}
+export const RetryExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.RetryException");
+export class RetryException {
+  constructor() {
+    this._typeId = RetryExceptionTypeId;
+  }
+
+}
+export function isRetryException(u) {
+  return hasTypeId(u, RetryExceptionTypeId);
+}
+//# sourceMappingURL=definition.mjs.map

package/_mjs/STM/definition.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","mappings":"AAGA,SAASA,SAAT,QAA0B,6BAA1B;AAYA,OAAO,MAAMC,SAAS,gBAAGC,MAAM,CAACC,GAAP,CAAW,cAAX,CAAlB;AAGP;;;;;AAIA,OAAM,MAAgBC,GAAhB,CAAmB;EAAzBC;IACW,eAAqBJ,SAArB;EAIV;;AALwB;AAOzB;;;;AAGA,OAAM,SAAUK,QAAV,CAAiDC,IAAjD,EAAwD;EAC5D,OAAOA,IAAP;AACD;AAOD,OAAM,MAAOC,MAAP,SAA+BJ,GAA/B,CAA2C;EAE/CC,YAAqBI,CAArB,EAAuE;IACrE;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJ8C;AAOjD,OAAM,MAAOC,SAAP,SAAsCN,GAAtC,CAAmD;EAEvDC,YAAqBM,GAArB,EAAiDC,SAAjD,EAAmF;IACjF;IADmB;IAA4B;IADxC,YAAI;IAAA;IAAJ;EAGR;;EACDC,KAAK,CAACC,CAAD,EAAK;IACR,OAAO,IAAIC,UAAJ,CAAeD,CAAf,CAAP;EACD;;AAPsD;AAUzD,OAAM,MAAOE,OAAP,SAAgCZ,GAAhC,CAA4C;EAEhDC,YAAqBM,GAArB,EAAiDM,OAAjD,EAAsE;IACpE;IADmB;IAA4B;IADxC,YAAI;IAAA;IAAJ;EAGR;;EACDJ,KAAK,CAACC,CAAD,EAAK;IACR,OAAO,IAAIC,UAAJ,CAAeD,CAAf,CAAP;EACD;;AAP+C;AAUlD,OAAM,MAAOI,SAAP,SAAqCd,GAArC,CAAiD;EAErDC,YAAqBM,GAArB,EAAiDE,KAAjD,EAA8E;IAC5E;IADmB;IAA4B;IADxC,YAAI;IAAA;IAAJ;EAGR;;AAJoD;AAOvD,OAAM,MAAOM,OAAP,SAA0Bf,GAA1B,CAAgD;EAEpDC,YAAqBS,CAArB,EAA+B;IAC7B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJmD;AAOtD,OAAM,MAAOC,UAAP,SAA6BX,GAA7B,CAAmD;EAEvDC,YAAqBS,CAArB,EAAyB;IACvB;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJsD;AAOzD,OAAM,MAAOM,oBAAP,SAAiDhB,GAAjD,CAA8D;EAElEC,YAAqBM,GAArB,EAAiDF,CAAjD,EAAgE;IAC9D;IADmB;IAA4B;IADxC,YAAI;IAAA;IAAJ;EAGR;;AAJiE;AAOpE,OAAM,SAAUY,QAAV,CACJC,CADI,EACW,CASf;AACD;AAED,OAAO,MAAMC,mBAAmB,gBAAGrB,MAAM,CAACC,GAAP,CAAW,iCAAX,CAA5B;AAGP,OAAM,MAAOqB,aAAP,CAAoB;EAExBnB,YAAqBoB,CAArB,EAAyB;IAAJ;IADZ,eAA+BF,mBAA/B;EACoB;;AAFL;AAK1B,OAAM,SAAUG,eAAV,CAA0BC,CAA1B,EAAoC;EACxC,OAAO3B,SAAS,CAAC2B,CAAD,EAAIJ,mBAAJ,CAAhB;AACD;AAED,OAAO,MAAMK,mBAAmB,gBAAG1B,MAAM,CAACC,GAAP,CAAW,4BAAX,CAA5B;AAGP,OAAM,MAAO0B,aAAP,CAAoB;EAExBxB,YAAqBoB,CAArB,EAAyB;IAAJ;IADZ,eAA+BG,mBAA/B;EACoB;;AAFL;AAK1B,OAAM,SAAUE,eAAV,CAA0BH,CAA1B,EAAoC;EACxC,OAAO3B,SAAS,CAAC2B,CAAD,EAAIC,mBAAJ,CAAhB;AACD;AAED,OAAO,MAAMG,wBAAwB,gBAAG7B,MAAM,CAACC,GAAP,CAAW,iCAAX,CAAjC;AAGP,OAAM,MAAO6B,kBAAP,CAAyB;EAE7B3B,YAAqB4B,OAArB,EAAqC;IAAhB;IADZ,eAAoCF,wBAApC;EACgC;;AAFZ;AAK/B,OAAM,SAAUG,oBAAV,CAA+BP,CAA/B,EAAyC;EAC7C,OAAO3B,SAAS,CAAC2B,CAAD,EAAII,wBAAJ,CAAhB;AACD;AAED,OAAO,MAAMI,oBAAoB,gBAAGjC,MAAM,CAACC,GAAP,CAAW,6BAAX,CAA7B;AAGP,OAAM,MAAOiC,cAAP,CAAqB;EAA3B/B;IACW,eAAgC8B,oBAAhC;EACV;;AAF0B;AAI3B,OAAM,SAAUE,gBAAV,CAA2BV,CAA3B,EAAqC;EACzC,OAAO3B,SAAS,CAAC2B,CAAD,EAAIQ,oBAAJ,CAAhB;AACD","names":["hasTypeId","STMTypeId","Symbol","for","STM","constructor","unifySTM","self","Effect","f","OnFailure","stm","onFailure","apply","a","SucceedNow","OnRetry","onRetry","OnSuccess","Succeed","ContramapEnvironment","concrete","_","FailExceptionTypeId","FailException","e","isFailException","u","HaltExceptionTypeId","HaltException","isHaltException","InterruptExceptionTypeId","InterruptException","fiberId","isInterruptException","RetryExceptionTypeId","RetryException","isRetryException"],"sourceRoot":"","sources":["../../_src/STM/definition.ts"],"sourcesContent":[null]}

package/_mjs/STM/driver.mjs

@@ -0,0 +1,166 @@
+import * as tsplus_module_1 from "@fncts/base/internal/Stack";
+import * as tsplus_module_2 from "@fncts/io/TExit/constructors";
+import * as tsplus_module_3 from "@fncts/io/STM/api/core-constructors";
+import * as tsplus_module_4 from "@fncts/io/STM/api/core-api";
+import { concrete, isFailException, isHaltException, isInterruptException, isRetryException } from "./definition.mjs";
+export class STMDriver {
+  constructor(self, journal, fiberId, r0) {
+    this.self = self;
+    this.journal = journal;
+    this.fiberId = fiberId;
+    this.contStack = tsplus_module_1.mkStack();
+    this.envStack = tsplus_module_1.single(r0);
+  }
+
+  unwindStack(error, isRetry) {
+    let result = undefined;
+
+    while (this.contStack.hasNext && !result) {
+      const cont = this.contStack.pop();
+
+      if (cont._tag === "OnFailure"
+      /* STMTag.OnFailure */
+      ) {
+        if (!isRetry) {
+          result = cont.onFailure(error);
+        }
+      }
+
+      if (cont._tag === "OnRetry"
+      /* STMTag.OnRetry */
+      ) {
+        if (isRetry) {
+          result = cont.onRetry;
+        }
+      }
+    }
+
+    return result;
+  }
+
+  run() {
+    let curr = this.self;
+    let exit = undefined;
+
+    while (!exit && curr) {
+      const k = curr;
+      concrete(k);
+
+      switch (k._tag) {
+        case "Succeed"
+        /* STMTag.Succeed */
+        :
+          {
+            const a = k.a();
+
+            if (!this.contStack.hasNext) {
+              exit = tsplus_module_2.succeed(a);
+            } else {
+              const cont = this.contStack.pop();
+              curr = cont.apply(a);
+            }
+
+            break;
+          }
+
+        case "SucceedNow"
+        /* STMTag.SucceedNow */
+        :
+          {
+            const a = k.a;
+
+            if (!this.contStack.hasNext) {
+              exit = tsplus_module_2.succeed(a);
+            } else {
+              const cont = this.contStack.pop();
+              curr = cont.apply(a);
+            }
+
+            break;
+          }
+
+        case "ContramapEnvironment"
+        /* STMTag.ContramapEnvironment */
+        :
+          {
+            this.envStack.push(k.f(this.envStack.peek()));
+            curr = tsplus_module_4.ensuring_(k.stm, tsplus_module_3.succeed(() => {
+              this.envStack.pop();
+            }));
+            break;
+          }
+
+        case "OnRetry"
+        /* STMTag.OnRetry */
+        :
+          {
+            this.contStack.push(k);
+            curr = k.stm;
+            break;
+          }
+
+        case "OnFailure"
+        /* STMTag.OnFailure */
+        :
+          {
+            this.contStack.push(k);
+            curr = k.stm;
+            break;
+          }
+
+        case "OnSuccess"
+        /* STMTag.OnSuccess */
+        :
+          {
+            this.contStack.push(k);
+            curr = k.stm;
+            break;
+          }
+
+        case "Effect"
+        /* STMTag.Effect */
+        :
+          {
+            try {
+              const a = k.f(this.journal, this.fiberId, this.envStack.peek());
+
+              if (!this.contStack.hasNext) {
+                exit = tsplus_module_2.succeed(a);
+              } else {
+                const cont = this.contStack.pop();
+                curr = cont.apply(a);
+              }
+            } catch (e) {
+              if (isFailException(e)) {
+                curr = this.unwindStack(e.e, false);
+
+                if (!curr) {
+                  exit = tsplus_module_2.fail(e.e);
+                }
+              } else if (isRetryException(e)) {
+                curr = this.unwindStack(undefined, true);
+
+                if (!curr) {
+                  exit = tsplus_module_2.retry;
+                }
+              } else if (isHaltException(e)) {
+                curr = this.unwindStack(e.e, false);
+
+                if (!curr) {
+                  exit = tsplus_module_2.halt(e.e);
+                }
+              } else if (isInterruptException(e)) {
+                exit = tsplus_module_2.interrupt(e.fiberId);
+              } else {
+                throw e;
+              }
+            }
+          }
+      }
+    }
+
+    return exit;
+  }
+
+}
+//# sourceMappingURL=driver.mjs.map

package/_mjs/STM/driver.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.mjs","mappings":";;;;AAMA,SAASA,QAAT,EAAmBC,eAAnB,EAAoCC,eAApC,EAAqDC,oBAArD,EAA2EC,gBAA3E,QAAmG,kBAAnG;AAQA,OAAM,MAAOC,SAAP,CAAgB;EAIpBC,YAAqBC,IAArB,EAAkDC,OAAlD,EAA6EC,OAA7E,EAA+FC,EAA/F,EAAiH;IAA5F;IAA6B;IAA2B;IAC3E,KAAKC,SAAL,GAAiBC,yBAAjB;IACA,KAAKC,QAAL,GAAiBD,uBAAaF,EAAb,CAAjB;EACD;;EAEOI,WAAW,CAACC,KAAD,EAAiBC,OAAjB,EAAiC;IAClD,IAAIC,MAAM,GAAuBC,SAAjC;;IACA,OAAO,KAAKP,SAAL,CAAeQ,OAAf,IAA0B,CAACF,MAAlC,EAA0C;MACxC,MAAMG,IAAI,GAAG,KAAKT,SAAL,CAAeU,GAAf,EAAb;;MACA,IAAID,IAAI,CAACE,IAAL,KAAS;MAAA;MAAb,EAAoC;QAClC,IAAI,CAACN,OAAL,EAAc;UACZC,MAAM,GAAGG,IAAI,CAACG,SAAL,CAAeR,KAAf,CAAT;QACD;MACF;;MACD,IAAIK,IAAI,CAACE,IAAL,KAAS;MAAA;MAAb,EAAkC;QAChC,IAAIN,OAAJ,EAAa;UACXC,MAAM,GAAGG,IAAI,CAACI,OAAd;QACD;MACF;IACF;;IACD,OAAOP,MAAP;EACD;;EAEDQ,GAAG;IACD,IAAIC,IAAI,GAAG,KAAKnB,IAAhB;IACA,IAAIoB,IAAI,GAAwCT,SAAhD;;IAEA,OAAO,CAACS,IAAD,IAASD,IAAhB,EAAsB;MACpB,MAAME,CAAC,GAAGF,IAAV;MACA1B,QAAQ,CAAC4B,CAAD,CAAR;;MACA,QAAQA,CAAC,CAACN,IAAV;QACE;QAAA;QAAA;UAAqB;YACnB,MAAMO,CAAC,GAAGD,CAAC,CAACC,CAAF,EAAV;;YACA,IAAI,CAAC,KAAKlB,SAAL,CAAeQ,OAApB,EAA6B;cAC3BQ,IAAI,GAAGG,wBAAcD,CAAd,CAAP;YACD,CAFD,MAEO;cACL,MAAMT,IAAI,GAAG,KAAKT,SAAL,CAAeU,GAAf,EAAb;cACAK,IAAI,GAASN,IAAI,CAACW,KAAL,CAAWF,CAAX,CAAb;YACD;;YACD;UACD;;QACD;QAAA;QAAA;UAAwB;YACtB,MAAMA,CAAC,GAAGD,CAAC,CAACC,CAAZ;;YACA,IAAI,CAAC,KAAKlB,SAAL,CAAeQ,OAApB,EAA6B;cAC3BQ,IAAI,GAAGG,wBAAcD,CAAd,CAAP;YACD,CAFD,MAEO;cACL,MAAMT,IAAI,GAAG,KAAKT,SAAL,CAAeU,GAAf,EAAb;cACAK,IAAI,GAASN,IAAI,CAACW,KAAL,CAAWF,CAAX,CAAb;YACD;;YACD;UACD;;QACD;QAAA;QAAA;UAAkC;YAChC,KAAKhB,QAAL,CAAcmB,IAAd,CAAmBJ,CAAC,CAACK,CAAF,CAAI,KAAKpB,QAAL,CAAcqB,IAAd,EAAJ,CAAnB;YACAR,IAAI,GAAGS,2BAAC,CAACC,GAAF,EACLC,wBAAY,MAAK;cACf,KAAKxB,QAAL,CAAcQ,GAAd;YACD,CAFD,CADK,CAAP;YAKA;UACD;;QACD;QAAA;QAAA;UAAqB;YACnB,KAAKV,SAAL,CAAeqB,IAAf,CAAoBJ,CAApB;YACAF,IAAI,GAAGE,CAAC,CAACQ,GAAT;YACA;UACD;;QACD;QAAA;QAAA;UAAuB;YACrB,KAAKzB,SAAL,CAAeqB,IAAf,CAAoBJ,CAApB;YACAF,IAAI,GAAGE,CAAC,CAACQ,GAAT;YACA;UACD;;QACD;QAAA;QAAA;UAAuB;YACrB,KAAKzB,SAAL,CAAeqB,IAAf,CAAoBJ,CAApB;YACAF,IAAI,GAAGE,CAAC,CAACQ,GAAT;YACA;UACD;;QACD;QAAA;QAAA;UAAoB;YAClB,IAAI;cACF,MAAMP,CAAC,GAAGD,CAAC,CAACK,CAAF,CAAI,KAAKzB,OAAT,EAAkB,KAAKC,OAAvB,EAAgC,KAAKI,QAAL,CAAcqB,IAAd,EAAhC,CAAV;;cACA,IAAI,CAAC,KAAKvB,SAAL,CAAeQ,OAApB,EAA6B;gBAC3BQ,IAAI,GAAGG,wBAAcD,CAAd,CAAP;cACD,CAFD,MAEO;gBACL,MAAMT,IAAI,GAAG,KAAKT,SAAL,CAAeU,GAAf,EAAb;gBACAK,IAAI,GAASN,IAAI,CAACW,KAAL,CAAWF,CAAX,CAAb;cACD;YACF,CARD,CAQE,OAAOS,CAAP,EAAU;cACV,IAAIrC,eAAe,CAACqC,CAAD,CAAnB,EAAwB;gBACtBZ,IAAI,GAAG,KAAKZ,WAAL,CAAiBwB,CAAC,CAACA,CAAnB,EAAsB,KAAtB,CAAP;;gBACA,IAAI,CAACZ,IAAL,EAAW;kBACTC,IAAI,GAAGG,qBAAWQ,CAAC,CAACA,CAAb,CAAP;gBACD;cACF,CALD,MAKO,IAAIlC,gBAAgB,CAACkC,CAAD,CAApB,EAAyB;gBAC9BZ,IAAI,GAAG,KAAKZ,WAAL,CAAiBI,SAAjB,EAA4B,IAA5B,CAAP;;gBACA,IAAI,CAACQ,IAAL,EAAW;kBACTC,IAAI,wBAAJ;gBACD;cACF,CALM,MAKA,IAAIzB,eAAe,CAACoC,CAAD,CAAnB,EAAwB;gBAC7BZ,IAAI,GAAG,KAAKZ,WAAL,CAAiBwB,CAAC,CAACA,CAAnB,EAAsB,KAAtB,CAAP;;gBACA,IAAI,CAACZ,IAAL,EAAW;kBACTC,IAAI,GAAGG,qBAAWQ,CAAC,CAACA,CAAb,CAAP;gBACD;cACF,CALM,MAKA,IAAInC,oBAAoB,CAACmC,CAAD,CAAxB,EAA6B;gBAClCX,IAAI,GAAGG,0BAAgBQ,CAAC,CAAC7B,OAAlB,CAAP;cACD,CAFM,MAEA;gBACL,MAAM6B,CAAN;cACD;YACF;UACF;MA5EH;IA8ED;;IAED,OAAOX,IAAP;EACD;;AAnHmB","names":["concrete","isFailException","isHaltException","isInterruptException","isRetryException","STMDriver","constructor","self","journal","fiberId","r0","contStack","tsplus_module_1","envStack","unwindStack","error","isRetry","result","undefined","hasNext","cont","pop","_tag","onFailure","onRetry","run","curr","exit","k","a","tsplus_module_2","apply","push","f","peek","tsplus_module_4","stm","tsplus_module_3","e"],"sourceRoot":"","sources":["../../_src/STM/driver.ts"],"sourcesContent":[null]}

package/_mjs/STM/internal/CommitState.mjs

@@ -0,0 +1,68 @@
+import * as tsplus_module_1 from "@fncts/base/data/Exit/constructors";
+export const Done = Done_1;
+/**
+ * @tsplus static fncts.io.CommitStateOps Done
+ */
+
+function Done_1(exit) {
+  return {
+    _tag: "Done",
+    exit
+  };
+}
+/**
+ * @tsplus static fncts.io.CommitStateOps Interrupted
+ */
+
+
+export const Interrupted = {
+  _tag: "Interrupted"
+};
+/**
+ * @tsplus static fncts.io.CommitStateOps Running
+ */
+
+export const Running = {
+  _tag: "Running"
+};
+export const CommitState = {};
+/**
+ * @tsplus getter fncts.io.CommitState isRunning
+ */
+
+export function isRunning(state) {
+  return state._tag === "Running";
+}
+/**
+ * @tsplus static fncts.io.CommitStateOps done
+ */
+
+export function done(texit) {
+  switch (texit._tag) {
+    case "Succeed"
+    /* TExitTag.Succeed */
+    :
+      return Done_1(tsplus_module_1.succeed(texit.value));
+
+    case "Halt"
+    /* TExitTag.Halt */
+    :
+      return Done_1(tsplus_module_1.halt(texit.value));
+
+    case "Fail"
+    /* TExitTag.Fail */
+    :
+      return Done_1(tsplus_module_1.fail(texit.value));
+
+    case "Interrupt"
+    /* TExitTag.Interrupt */
+    :
+      return Done_1(tsplus_module_1.interrupt(texit.fiberId));
+
+    case "Retry"
+    /* TExitTag.Retry */
+    :
+      throw new Error("Defect: done being called on TExit.Retry");
+  }
+}
+//# sourceMappingURL=CommitState.mjs.map

package/_mjs/STM/internal/CommitState.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"CommitState.mjs","mappings":";aAUgBA,IAAI;AAHpB;;;;AAGA,gBAA2BC,IAA3B,EAA2C;EACzC,OAAO;IACLC,IAAI,EAAE,MADD;IAELD;EAFK,CAAP;AAID;AAMD;;;;;AAGA,OAAO,MAAME,WAAW,GAA8B;EACpDD,IAAI,EAAE;AAD8C,CAA/C;AAQP;;;;AAGA,OAAO,MAAME,OAAO,GAA8B;EAChDF,IAAI,EAAE;AAD0C,CAA3C;AAcP,OAAO,MAAMG,WAAW,GAAmB,EAApC;AAEP;;;;AAGA,OAAM,SAAUC,SAAV,CAA0BC,KAA1B,EAAkD;EACtD,OAAOA,KAAK,CAACL,IAAN,KAAe,SAAtB;AACD;AAED;;;;AAGA,OAAM,SAAUM,IAAV,CAAqBC,KAArB,EAAuC;EAC3C,QAAQA,KAAK,CAACP,IAAd;IACE;IAAA;IAAA;MACE,OAAOQ,OAAKC,wBAAaF,KAAK,CAACG,KAAnB,CAAL,CAAP;;IACF;IAAA;IAAA;MACE,OAAOF,OAAKC,qBAAUF,KAAK,CAACG,KAAhB,CAAL,CAAP;;IACF;IAAA;IAAA;MACE,OAAOF,OAAKC,qBAAUF,KAAK,CAACG,KAAhB,CAAL,CAAP;;IACF;IAAA;IAAA;MACE,OAAOF,OAAKC,0BAAeF,KAAK,CAACI,OAArB,CAAL,CAAP;;IACF;IAAA;IAAA;MACE,MAAM,IAAIC,KAAJ,CAAU,0CAAV,CAAN;EAVJ;AAYD","names":["Done","exit","_tag","Interrupted","Running","CommitState","isRunning","state","done","texit","Done_1","tsplus_module_1","value","fiberId","Error"],"sourceRoot":"","sources":["../../../_src/STM/internal/CommitState.ts"],"sourcesContent":[null]}

package/_mjs/STM/internal/Entry.mjs

@@ -0,0 +1,70 @@
+import { Versioned } from "./Versioned.mjs";
+export const EntryTypeId = /*#__PURE__*/Symbol.for("fncts.io.Entry");
+/**
+ * @tsplus type fncts.io.Entry
+ * @tsplus companion fncts.io.EntryOps
+ */
+
+export class Entry {
+  constructor(use) {
+    this.use = use;
+    this._typeId = EntryTypeId;
+  }
+
+}
+/**
+ * @tsplus static fncts.io.EntryOps make
+ */
+
+export function make(tref0, isNew0) {
+  const versioned = tref0.versioned;
+  const ops = new ConcreteEntry(tref0, versioned, versioned.value, isNew0, false);
+  return new Entry(f => f(ops));
+}
+export const ConcreteEntryTypeId = /*#__PURE__*/Symbol.for("fncts.io.ConcreteEntry");
+export class ConcreteEntry {
+  constructor(tref, expected, newValue, isNew, _isChanged) {
+    this.tref = tref;
+    this.expected = expected;
+    this.newValue = newValue;
+    this.isNew = isNew;
+    this._isChanged = _isChanged;
+    this._typeId = ConcreteEntryTypeId;
+  }
+
+  unsafeSet(value) {
+    this._isChanged = true;
+    this.newValue = value;
+  }
+
+  unsafeGet() {
+    return this.newValue;
+  }
+
+  commit() {
+    this.tref.versioned = new Versioned(this.newValue);
+  }
+
+  copy() {
+    const ops = new ConcreteEntry(this.tref, this.expected, this.newValue, this.isNew, this.isChanged());
+    return new Entry(f => f(ops));
+  }
+
+  isInvalid() {
+    return !this.isValid();
+  }
+
+  isValid() {
+    return this.tref.versioned === this.expected;
+  }
+
+  isChanged() {
+    return this._isChanged;
+  }
+
+  toString() {
+    return `Entry(expected.value = ${this.expected.value}, newValue = ${this.newValue}, tref = ${this.tref}, isChanged = ${this.isChanged()})`;
+  }
+
+}
+//# sourceMappingURL=Entry.mjs.map

package/_mjs/STM/internal/Entry.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Entry.mjs","mappings":"AAEA,SAASA,SAAT,QAA0B,iBAA1B;AAEA,OAAO,MAAMC,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,gBAAX,CAApB;AAGP;;;;;AAIA,OAAM,MAAOC,KAAP,CAAY;EAGhBC,YAAqBC,GAArB,EAAwE;IAAnD;IAFZ,eAAuBL,WAAvB;EAEmE;;AAH5D;AAMlB;;;;AAGA,OAAM,SAAUM,IAAV,CAAmBC,KAAnB,EAAsCC,MAAtC,EAAqD;EACzD,MAAMC,SAAS,GAAGF,KAAK,CAACE,SAAxB;EACA,MAAMC,GAAG,GAAS,IAAIC,aAAJ,CAAsBJ,KAAtB,EAA6BE,SAA7B,EAAwCA,SAAS,CAACG,KAAlD,EAAyDJ,MAAzD,EAAiE,KAAjE,CAAlB;EACA,OAAO,IAAIL,KAAJ,CAAWU,CAAD,IAAOA,CAAC,CAACH,GAAD,CAAlB,CAAP;AACD;AAED,OAAO,MAAMI,mBAAmB,gBAAGb,MAAM,CAACC,GAAP,CAAW,wBAAX,CAA5B;AAGP,OAAM,MAAOS,aAAP,CAAoB;EAGxBP,YACWW,IADX,EAEWC,QAFX,EAGYC,QAHZ,EAIWC,KAJX,EAKUC,UALV,EAK6B;IAJlB;IACA;IACC;IACD;IACD;IAPD,eAA+BL,mBAA/B;EAQL;;EAEJM,SAAS,CAACR,KAAD,EAAe;IACtB,KAAKO,UAAL,GAAkB,IAAlB;IACA,KAAKF,QAAL,GAAkBL,KAAlB;EACD;;EAEDS,SAAS;IACP,OAAO,KAAKJ,QAAZ;EACD;;EAEDK,MAAM;IACJ,KAAKP,IAAL,CAAUN,SAAV,GAAsB,IAAIV,SAAJ,CAAc,KAAKkB,QAAnB,CAAtB;EACD;;EAEDM,IAAI;IACF,MAAMb,GAAG,GAAG,IAAIC,aAAJ,CAAqB,KAAKI,IAA1B,EAAgC,KAAKC,QAArC,EAA+C,KAAKC,QAApD,EAA8D,KAAKC,KAAnE,EAA0E,KAAKM,SAAL,EAA1E,CAAZ;IACA,OAAO,IAAIrB,KAAJ,CAAWU,CAAD,IAAOA,CAAC,CAACH,GAAD,CAAlB,CAAP;EACD;;EAEDe,SAAS;IACP,OAAO,CAAC,KAAKC,OAAL,EAAR;EACD;;EAEDA,OAAO;IACL,OAAO,KAAKX,IAAL,CAAUN,SAAV,KAAwB,KAAKO,QAApC;EACD;;EAEDQ,SAAS;IACP,OAAO,KAAKL,UAAZ;EACD;;EAEDQ,QAAQ;IACN,OAAO,0BAA0B,KAAKX,QAAL,CAAcJ,KAAK,gBAAgB,KAAKK,QAAQ,YAC/E,KAAKF,IACP,iBAAiB,KAAKS,SAAL,EAAgB,GAFjC;EAGD;;AA7CuB","names":["Versioned","EntryTypeId","Symbol","for","Entry","constructor","use","make","tref0","isNew0","versioned","ops","ConcreteEntry","value","f","ConcreteEntryTypeId","tref","expected","newValue","isNew","_isChanged","unsafeSet","unsafeGet","commit","copy","isChanged","isInvalid","isValid","toString"],"sourceRoot":"","sources":["../../../_src/STM/internal/Entry.ts"],"sourcesContent":[null]}