@fncts/io 0.0.1

package/_mjs/STM/internal/Journal.mjs

@@ -0,0 +1,377 @@
+const fileName_1 = "(@fncts/io) src/STM/internal/Journal.ts";
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/HashMap/api";
+import * as tsplus_module_2 from "@fncts/base/data/Exit/constructors";
+import * as tsplus_module_3 from "@fncts/io/STM/internal/CommitState";
+import * as tsplus_module_4 from "@fncts/io/IO/api";
+export const commitJournal = commitJournal_1;
+export const analyzeJournal = analyzeJournal_1;
+export const collectTodos = collectTodos_1;
+export const execTodos = execTodos_1;
+export const completeTodos = completeTodos_1;
+export const addTodo = addTodo_1;
+export const isValid = isValid_1;
+export const isInvalid = isInvalid_1;
+import { defaultScheduler } from "@fncts/io/internal/Scheduler";
+import { STMDriver } from "../driver.mjs";
+import { Done, Suspend } from "./TryCommit.mjs";
+export const Journal = {};
+/**
+ * Creates a function that can reset the journal.
+ *
+ * @tsplus fluent fncts.io.Journal prepareReset
+ */
+
+export function prepareResetJournal(journal) {
+  const saved = new Map();
+
+  for (const entry of journal) {
+    saved.set(entry[0], entry[1].use(_ => _.copy()));
+  }
+
+  return () => {
+    journal.clear();
+
+    for (const entry of saved) {
+      journal.set(entry[0], entry[1]);
+    }
+  };
+}
+/**
+ * Commits the journal.
+ *
+ * @tsplus fluent fncts.io.Journal commit
+ */
+
+function commitJournal_1(journal) {
+  for (const entry of journal.values()) {
+    entry.use(entry => entry.commit());
+  }
+}
+
+const Invalid = -1;
+const ReadOnly = 0;
+const ReadWrite = 1;
+/**
+ * Analyzes the journal, determining whether it is valid and whether it is
+ * read only in a single pass. Note that information on whether the
+ * journal is read only will only be accurate if the journal is valid, due
+ * to short-circuiting that occurs on an invalid journal.
+ *
+ * @tsplus fluent fncts.io.Journal analyze
+ */
+
+function analyzeJournal_1(journal) {
+  let result = ReadOnly;
+
+  for (const entry of journal) {
+    result = entry[1].use(entry => entry.isInvalid() ? Invalid : entry.isChanged() ? ReadWrite : result);
+
+    if (result === Invalid) {
+      return result;
+    }
+  }
+
+  return result;
+}
+/**
+ * @tsplus static fncts.io.JournalOps emptyTodoMap
+ */
+
+
+const emptyTodoMap_1 = /*#__PURE__*/tsplus_module_1.makeDefault();
+export const emptyTodoMap = emptyTodoMap_1;
+/**
+ * Atomically collects and clears all the todos from any `TRef` that
+ * participated in the transaction.
+ *
+ * @tsplus getter fncts.io.Journal collectTodos
+ */
+
+function collectTodos_1(journal) {
+  const allTodos = new Map();
+
+  for (const entry of journal) {
+    const tref = entry[1].use(entry => entry.tref);
+    const todos = tref.todo.get;
+
+    for (const todo of todos) {
+      allTodos.set(todo[0], todo[1]);
+    }
+
+    tref.todo.set(emptyTodoMap_1);
+  }
+
+  return allTodos;
+}
+/**
+ * Executes the todos in the current thread, sequentially.
+ *
+ * @tsplus fluent fncts.io.Journal execTodos
+ */
+
+
+function execTodos_1(todos) {
+  for (const todo of todos.values()) {
+    todo();
+  }
+}
+/**
+ * Runs all the todos.
+ *
+ * @tsplus fluent fncts.io.Journal completeTodos
+ */
+
+
+function completeTodos_1(journal, exit) {
+  const todos = collectTodos_1(journal);
+
+  if (todos.size > 0) {
+    defaultScheduler(() => execTodos_1(todos));
+  }
+
+  return new Done(exit);
+}
+/**
+ * For the given transaction id, adds the specified todo effect to all
+ * `TRef` values.
+ *
+ * @tsplus fluent fncts.io.Journal addTodo
+ */
+
+
+function addTodo_1(journal, txnId, todoEffect) {
+  let added = false;
+
+  for (const entry of journal.values()) {
+    const tref = entry.use(entry => entry.tref);
+    const oldTodo = tref.todo.get;
+
+    if (!tsplus_module_1.has_(oldTodo, txnId)) {
+      const newTodo = tsplus_module_1.set_(oldTodo, txnId, todoEffect);
+      tref.todo.set(newTodo);
+      added = true;
+    }
+  }
+
+  return added;
+}
+/**
+ * Finds all the new todo targets that are not already tracked in the `oldJournal`.
+ */
+
+
+export function untrackedTodoTargets(oldJournal, newJournal) {
+  const untracked = new Map();
+
+  for (const entry of newJournal) {
+    const key = entry[0];
+    const value = entry[1];
+
+    if ( // We already tracked this one
+    !oldJournal.has(key) && // This `TRef` was created in the current transaction, so no need to
+    // add any todos to it, because it cannot be modified from the outside
+    // until the transaction succeeds; so any todo added to it would never
+    // succeed.
+    !value.use(_ => _.isNew)) {
+      untracked.set(key, value);
+    }
+  }
+
+  return untracked;
+}
+export function tryCommitSync(fiberId, stm, r) {
+  const journal = new Map();
+  const value = new STMDriver(stm, journal, fiberId, r).run();
+  const analysis = analyzeJournal_1(journal);
+
+  if (analysis === ReadWrite) {
+    commitJournal_1(journal);
+  } else if (analysis === Invalid) {
+    throw new Error("Bug: invalid journal");
+  }
+
+  switch (value._tag) {
+    case "Retry"
+    /* TExitTag.Retry */
+    :
+      {
+        return new Suspend(journal);
+      }
+
+    case "Succeed"
+    /* TExitTag.Succeed */
+    :
+      {
+        return completeTodos_1(journal, tsplus_module_2.succeed(value.value));
+      }
+
+    case "Fail"
+    /* TExitTag.Fail */
+    :
+      {
+        return completeTodos_1(journal, tsplus_module_2.fail(value.value));
+      }
+
+    case "Halt"
+    /* TExitTag.Halt */
+    :
+      {
+        return completeTodos_1(journal, tsplus_module_2.halt(value.value));
+      }
+
+    case "Interrupt"
+    /* TExitTag.Interrupt */
+    :
+      {
+        return completeTodos_1(journal, tsplus_module_2.interrupt(value.fiberId));
+      }
+  }
+}
+
+function tryCommit(fiberId, stm, state, r) {
+  const journal = new Map();
+  const value = new STMDriver(stm, journal, fiberId, r).run();
+  const analysis = analyzeJournal_1(journal);
+
+  if (analysis === ReadWrite) {
+    commitJournal_1(journal);
+  } else if (analysis === Invalid) {
+    throw new Error("Bug: invalid journal");
+  }
+
+  state.set(tsplus_module_3.done(value));
+
+  switch (value._tag) {
+    case "Retry"
+    /* TExitTag.Retry */
+    :
+      {
+        return new Suspend(journal);
+      }
+
+    case "Succeed"
+    /* TExitTag.Succeed */
+    :
+      {
+        return completeTodos_1(journal, tsplus_module_2.succeed(value.value));
+      }
+
+    case "Fail"
+    /* TExitTag.Fail */
+    :
+      {
+        return completeTodos_1(journal, tsplus_module_2.fail(value.value));
+      }
+
+    case "Halt"
+    /* TExitTag.Halt */
+    :
+      {
+        return completeTodos_1(journal, tsplus_module_2.halt(value.value));
+      }
+
+    case "Interrupt"
+    /* TExitTag.Interrupt */
+    :
+      {
+        return completeTodos_1(journal, tsplus_module_2.interrupt(value.fiberId));
+      }
+  }
+}
+
+function completeTryCommit(exit, k) {
+  k(tsplus_module_4.fromExit(() => exit, fileName_1 + ":246:16"));
+}
+
+function suspendTryCommit(fiberId, stm, txnId, state, r, k, accum, journal) {
+  // eslint-disable-next-line no-constant-condition
+  while (1) {
+    addTodo_1(journal, txnId, () => tryCommitAsync(undefined, fiberId, stm, txnId, state, r)(k));
+
+    if (isInvalid_1(journal)) {
+      const result = tryCommit(fiberId, stm, state, r);
+
+      switch (result._tag) {
+        case "Done":
+          {
+            completeTryCommit(result.exit, k);
+            return;
+          }
+
+        case "Suspend":
+          {
+            const untracked = untrackedTodoTargets(accum, result.journal);
+
+            if (untracked.size > 0) {
+              for (const entry of untracked) {
+                accum.set(entry[0], entry[1]);
+              } // eslint-disable-next-line no-param-reassign
+
+
+              journal = untracked;
+            }
+
+            break;
+          }
+      }
+    } else {
+      return;
+    }
+  }
+}
+
+export function tryCommitAsync(journal, fiberId, stm, txnId, state, r) {
+  return k => {
+    if (tsplus_module_3.isRunning(state.get)) {
+      if (journal != null) {
+        suspendTryCommit(fiberId, stm, txnId, state, r, k, journal, journal);
+      } else {
+        const result = tryCommitSync(fiberId, stm, r);
+
+        switch (result._tag) {
+          case "Done":
+            {
+              completeTryCommit(result.exit, k);
+              break;
+            }
+
+          case "Suspend":
+            {
+              suspendTryCommit(fiberId, stm, txnId, state, r, k, result.journal, result.journal);
+              break;
+            }
+        }
+      }
+    }
+  };
+}
+/**
+ * Determines if the journal is valid.
+ *
+ * @tsplus getter fncts.io.Journal isValid
+ */
+
+function isValid_1(journal) {
+  let valid = true;
+
+  for (const entry of journal.values()) {
+    valid = entry.use(entry => entry.isValid());
+
+    if (!valid) {
+      return valid;
+    }
+  }
+
+  return valid;
+}
+/**
+ * Determines if the journal is invalid.
+ *
+ * @tsplus getter fncts.io.Journal isInvalid
+ */
+
+
+function isInvalid_1(journal) {
+  return !isValid_1(journal);
+}
+//# sourceMappingURL=Journal.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Journal.mjs","mappings":";;;;;aAqDgBA,aAAa;aAuBbC,cAAc;aAsBdC,YAAY;aAoBZC,SAAS;aAWTC,aAAa;aAcbC,OAAO;aAmLPC,OAAO;aAgBPC,SAAS;AA5UzB,SAASC,gBAAT,QAAiC,8BAAjC;AAGA,SAASC,SAAT,QAA0B,eAA1B;AAEA,SAASC,IAAT,EAAeC,OAAf,QAA8B,iBAA9B;AAYA,OAAO,MAAMC,OAAO,GAAe,EAA5B;AAIP;;;;;;AAKA,OAAM,SAAUC,mBAAV,CAA8BC,OAA9B,EAA8C;EAClD,MAAMC,KAAK,GAAY,IAAIC,GAAJ,EAAvB;;EACA,KAAK,MAAMC,KAAX,IAAoBH,OAApB,EAA6B;IAC3BC,KAAK,CAACG,GAAN,CACED,KAAK,CAAC,CAAD,CADP,EAEEA,KAAK,CAAC,CAAD,CAAL,CAASE,GAAT,CAAcC,CAAD,IAAOA,CAAC,CAACC,IAAF,EAApB,CAFF;EAID;;EACD,OAAO,MAAK;IACVP,OAAO,CAACQ,KAAR;;IACA,KAAK,MAAML,KAAX,IAAoBF,KAApB,EAA2B;MACzBD,OAAO,CAACI,GAAR,CAAYD,KAAK,CAAC,CAAD,CAAjB,EAAsBA,KAAK,CAAC,CAAD,CAA3B;IACD;EACF,CALD;AAMD;AAED;;;;;;AAKA,yBAA8BH,OAA9B,EAA8C;EAC5C,KAAK,MAAMG,KAAX,IAAoBH,OAAO,CAACS,MAAR,EAApB,EAAsC;IACpCN,KAAK,CAACE,GAAN,CAAWF,KAAD,IAAWA,KAAK,CAACO,MAAN,EAArB;EACD;AACF;;AAGD,MAAMC,OAAO,GAAG,CAAC,CAAjB;AAEA,MAAMC,QAAQ,GAAG,CAAjB;AAEA,MAAMC,SAAS,GAAG,CAAlB;AAIA;;;;;;;;;AAQA,0BAA+Bb,OAA/B,EAA+C;EAC7C,IAAIc,MAAM,GAAoBF,QAA9B;;EACA,KAAK,MAAMT,KAAX,IAAoBH,OAApB,EAA6B;IAC3Bc,MAAM,GAAGX,KAAK,CAAC,CAAD,CAAL,CAASE,GAAT,CAAcF,KAAD,IAAYA,KAAK,CAACV,SAAN,KAAoBkB,OAApB,GAA8BR,KAAK,CAACY,SAAN,KAAoBF,SAApB,GAAgCC,MAAvF,CAAT;;IACA,IAAIA,MAAM,KAAKH,OAAf,EAAwB;MACtB,OAAOG,MAAP;IACD;EACF;;EACD,OAAOA,MAAP;AACD;AAED;;;;;AAGO,MAAME,8BAAeC,6BAArB;aAAMC,YAAY;AAEzB;;;;;;;AAMA,wBAA6BlB,OAA7B,EAA6C;EAC3C,MAAMmB,QAAQ,GAAqB,IAAIjB,GAAJ,EAAnC;;EAEA,KAAK,MAAMC,KAAX,IAAoBH,OAApB,EAA6B;IAC3B,MAAMoB,IAAI,GAAoBjB,KAAK,CAAC,CAAD,CAAL,CAASE,GAAT,CAAcF,KAAD,IAAWA,KAAK,CAACiB,IAA9B,CAA9B;IACA,MAAMC,KAAK,GAAmBD,IAAI,CAACE,IAAL,CAAUC,GAAxC;;IACA,KAAK,MAAMD,IAAX,IAAmBD,KAAnB,EAA0B;MACxBF,QAAQ,CAACf,GAAT,CAAakB,IAAI,CAAC,CAAD,CAAjB,EAAsBA,IAAI,CAAC,CAAD,CAA1B;IACD;;IACDF,IAAI,CAACE,IAAL,CAAUlB,GAAV,CAAaY,cAAb;EACD;;EAED,OAAOG,QAAP;AACD;AAED;;;;;;;AAKA,qBAA0BE,KAA1B,EAAiD;EAC/C,KAAK,MAAMC,IAAX,IAAmBD,KAAK,CAACZ,MAAN,EAAnB,EAAmC;IACjCa,IAAI;EACL;AACF;AAED;;;;;;;AAKA,yBAAoCtB,OAApC,EAAsDwB,IAAtD,EAAsE;EACpE,MAAMH,KAAK,GAAGI,eAAazB,OAAb,CAAd;;EACA,IAAIqB,KAAK,CAACK,IAAN,GAAa,CAAjB,EAAoB;IAClBhC,gBAAgB,CAAC,MAAMiC,YAAUN,KAAV,CAAP,CAAhB;EACD;;EACD,OAAO,IAAIzB,IAAJ,CAAS4B,IAAT,CAAP;AACD;AAED;;;;;;;;AAMA,mBAAwBxB,OAAxB,EAA0C4B,KAA1C,EAAwDC,UAAxD,EAAwE;EACtE,IAAIC,KAAK,GAAG,KAAZ;;EAEA,KAAK,MAAM3B,KAAX,IAAoBH,OAAO,CAACS,MAAR,EAApB,EAAsC;IACpC,MAAMW,IAAI,GAAMjB,KAAK,CAACE,GAAN,CAAWF,KAAD,IAAWA,KAAK,CAACiB,IAA3B,CAAhB;IACA,MAAMW,OAAO,GAAGX,IAAI,CAACE,IAAL,CAAUC,GAA1B;;IACA,IAAI,CAACN,8BAAYW,KAAZ,CAAL,EAAyB;MACvB,MAAMI,OAAO,GAAGf,8BAAYW,KAAZ,EAAmBC,UAAnB,CAAhB;MACAT,IAAI,CAACE,IAAL,CAAUlB,GAAV,CAAc4B,OAAd;MACAF,KAAK,GAAG,IAAR;IACD;EACF;;EAED,OAAOA,KAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUG,oBAAV,CAA+BC,UAA/B,EAAoDC,UAApD,EAAuE;EAC3E,MAAMC,SAAS,GAAY,IAAIlC,GAAJ,EAA3B;;EACA,KAAK,MAAMC,KAAX,IAAoBgC,UAApB,EAAgC;IAC9B,MAAME,GAAG,GAAKlC,KAAK,CAAC,CAAD,CAAnB;IACA,MAAMmC,KAAK,GAAGnC,KAAK,CAAC,CAAD,CAAnB;;IACA,KACE;IACA,CAAC+B,UAAU,CAACK,GAAX,CAAeF,GAAf,CAAD,IACA;IACA;IACA;IACA;IACA,CAACC,KAAK,CAACjC,GAAN,CAAWC,CAAD,IAAOA,CAAC,CAACkC,KAAnB,CAPH,EAQE;MACAJ,SAAS,CAAChC,GAAV,CAAciC,GAAd,EAAmBC,KAAnB;IACD;EACF;;EACD,OAAOF,SAAP;AACD;AAED,OAAM,SAAUK,aAAV,CAAiCC,OAAjC,EAAmDC,GAAnD,EAAsEC,CAAtE,EAAuF;EAC3F,MAAM5C,OAAO,GAAY,IAAIE,GAAJ,EAAzB;EACA,MAAMoC,KAAK,GAAc,IAAI3C,SAAJ,CAAcgD,GAAd,EAAmB3C,OAAnB,EAA4B0C,OAA5B,EAAqCE,CAArC,EAAwCC,GAAxC,EAAzB;EACA,MAAMC,QAAQ,GAAWC,yBAAzB;;EACA,IAAID,QAAQ,KAAKjC,SAAjB,EAA4B;IAC1BmC;EACD,CAFD,MAEO,IAAIF,QAAQ,KAAKnC,OAAjB,EAA0B;IAC/B,MAAM,IAAIsC,KAAJ,CAAU,sBAAV,CAAN;EACD;;EACD,QAAQX,KAAK,CAACY,IAAd;IACE;IAAA;IAAA;MAAqB;QACnB,OAAO,IAAIrD,OAAJ,CAAYG,OAAZ,CAAP;MACD;;IACD;IAAA;IAAA;MAAuB;QACrB,OAAOmD,yBAAsBC,wBAAad,KAAK,CAACA,KAAnB,CAAtB,CAAP;MACD;;IACD;IAAA;IAAA;MAAoB;QAClB,OAAOa,yBAAsBC,qBAAUd,KAAK,CAACA,KAAhB,CAAtB,CAAP;MACD;;IACD;IAAA;IAAA;MAAoB;QAClB,OAAOa,yBAAsBC,qBAAUd,KAAK,CAACA,KAAhB,CAAtB,CAAP;MACD;;IACD;IAAA;IAAA;MAAyB;QACvB,OAAOa,yBAAsBC,0BAAed,KAAK,CAACI,OAArB,CAAtB,CAAP;MACD;EAfH;AAiBD;;AAED,SAASW,SAAT,CACEX,OADF,EAEEC,GAFF,EAGEW,KAHF,EAIEV,CAJF,EAImB;EAEjB,MAAM5C,OAAO,GAAY,IAAIE,GAAJ,EAAzB;EACA,MAAMoC,KAAK,GAAc,IAAI3C,SAAJ,CAAcgD,GAAd,EAAmB3C,OAAnB,EAA4B0C,OAA5B,EAAqCE,CAArC,EAAwCC,GAAxC,EAAzB;EACA,MAAMC,QAAQ,GAAWC,yBAAzB;;EACA,IAAID,QAAQ,KAAKjC,SAAjB,EAA4B;IAC1BmC;EACD,CAFD,MAEO,IAAIF,QAAQ,KAAKnC,OAAjB,EAA0B;IAC/B,MAAM,IAAIsC,KAAJ,CAAU,sBAAV,CAAN;EACD;;EACDK,KAAK,CAAClD,GAAN,CAAUmD,qBAAiBjB,KAAjB,CAAV;;EACA,QAAQA,KAAK,CAACY,IAAd;IACE;IAAA;IAAA;MAAqB;QACnB,OAAO,IAAIrD,OAAJ,CAAYG,OAAZ,CAAP;MACD;;IACD;IAAA;IAAA;MAAuB;QACrB,OAAOmD,yBAAsBC,wBAAad,KAAK,CAACA,KAAnB,CAAtB,CAAP;MACD;;IACD;IAAA;IAAA;MAAoB;QAClB,OAAOa,yBAAsBC,qBAAUd,KAAK,CAACA,KAAhB,CAAtB,CAAP;MACD;;IACD;IAAA;IAAA;MAAoB;QAClB,OAAOa,yBAAsBC,qBAAUd,KAAK,CAACA,KAAhB,CAAtB,CAAP;MACD;;IACD;IAAA;IAAA;MAAyB;QACvB,OAAOa,yBAAsBC,0BAAed,KAAK,CAACI,OAArB,CAAtB,CAAP;MACD;EAfH;AAiBD;;AAED,SAASc,iBAAT,CAAoChC,IAApC,EAAsDiC,CAAtD,EAAoF;EAClFA,CAAC,CAACC,+BAAYlC,IAAZ,EAAgBmC,sBAAhB,CAAD,CAAD;AACD;;AAED,SAASC,gBAAT,CACElB,OADF,EAEEC,GAFF,EAGEf,KAHF,EAIE0B,KAJF,EAKEV,CALF,EAMEa,CANF,EAOEI,KAPF,EAQE7D,OARF,EAQkB;EAEhB;EACA,OAAO,CAAP,EAAU;IACR8D,mBAAgBlC,KAAhB,EAAuB,MAAMmC,cAAc,CAACC,SAAD,EAAYtB,OAAZ,EAAqBC,GAArB,EAA0Bf,KAA1B,EAAiC0B,KAAjC,EAAwCV,CAAxC,CAAd,CAAyDa,CAAzD,CAA7B;;IACA,IAAIQ,YAAUjE,OAAV,CAAJ,EAAwB;MACtB,MAAMc,MAAM,GAAGuC,SAAS,CAACX,OAAD,EAAUC,GAAV,EAAeW,KAAf,EAAsBV,CAAtB,CAAxB;;MACA,QAAQ9B,MAAM,CAACoC,IAAf;QACE,KAAK,MAAL;UAAa;YACXM,iBAAiB,CAAC1C,MAAM,CAACU,IAAR,EAAciC,CAAd,CAAjB;YACA;UACD;;QACD,KAAK,SAAL;UAAgB;YACd,MAAMrB,SAAS,GAAGH,oBAAoB,CAAC4B,KAAD,EAAQ/C,MAAM,CAACd,OAAf,CAAtC;;YAEA,IAAIoC,SAAS,CAACV,IAAV,GAAiB,CAArB,EAAwB;cACtB,KAAK,MAAMvB,KAAX,IAAoBiC,SAApB,EAA+B;gBAC7ByB,KAAK,CAACzD,GAAN,CAAUD,KAAK,CAAC,CAAD,CAAf,EAAoBA,KAAK,CAAC,CAAD,CAAzB;cACD,CAHqB,CAItB;;;cACAH,OAAO,GAAGoC,SAAV;YACD;;YAED;UACD;MAjBH;IAmBD,CArBD,MAqBO;MACL;IACD;EACF;AACF;;AAED,OAAM,SAAU2B,cAAV,CACJ/D,OADI,EAEJ0C,OAFI,EAGJC,GAHI,EAIJf,KAJI,EAKJ0B,KALI,EAMJV,CANI,EAMa;EAEjB,OAAQa,CAAD,IAAM;IACX,8BAAIH,KAAK,CAAC/B,GAAV,GAAyB;MACvB,IAAIvB,OAAO,IAAI,IAAf,EAAqB;QACnB4D,gBAAgB,CAAClB,OAAD,EAAUC,GAAV,EAAef,KAAf,EAAsB0B,KAAtB,EAA6BV,CAA7B,EAAgCa,CAAhC,EAAmCzD,OAAnC,EAA4CA,OAA5C,CAAhB;MACD,CAFD,MAEO;QACL,MAAMc,MAAM,GAAG2B,aAAa,CAACC,OAAD,EAAUC,GAAV,EAAeC,CAAf,CAA5B;;QACA,QAAQ9B,MAAM,CAACoC,IAAf;UACE,KAAK,MAAL;YAAa;cACXM,iBAAiB,CAAC1C,MAAM,CAACU,IAAR,EAAciC,CAAd,CAAjB;cACA;YACD;;UACD,KAAK,SAAL;YAAgB;cACdG,gBAAgB,CAAClB,OAAD,EAAUC,GAAV,EAAef,KAAf,EAAsB0B,KAAtB,EAA6BV,CAA7B,EAAgCa,CAAhC,EAAmC3C,MAAM,CAACd,OAA1C,EAAmDc,MAAM,CAACd,OAA1D,CAAhB;cACA;YACD;QARH;MAUD;IACF;EACF,CAlBD;AAmBD;AAED;;;;;;AAKA,mBAAwBA,OAAxB,EAAwC;EACtC,IAAIkE,KAAK,GAAG,IAAZ;;EACA,KAAK,MAAM/D,KAAX,IAAoBH,OAAO,CAACS,MAAR,EAApB,EAAsC;IACpCyD,KAAK,GAAG/D,KAAK,CAACE,GAAN,CAAWF,KAAD,IAAWA,KAAK,CAACX,OAAN,EAArB,CAAR;;IACA,IAAI,CAAC0E,KAAL,EAAY;MACV,OAAOA,KAAP;IACD;EACF;;EACD,OAAOA,KAAP;AACD;AAED;;;;;;;AAKA,qBAA0BlE,OAA1B,EAA0C;EACxC,OAAO,WAACA,OAAD,CAAP;AACD","names":["commitJournal","analyzeJournal","collectTodos","execTodos","completeTodos","addTodo","isValid","isInvalid","defaultScheduler","STMDriver","Done","Suspend","Journal","prepareResetJournal","journal","saved","Map","entry","set","use","_","copy","clear","values","commit","Invalid","ReadOnly","ReadWrite","result","isChanged","emptyTodoMap_1","tsplus_module_1","emptyTodoMap","allTodos","tref","todos","todo","get","exit","collectTodos_1","size","execTodos_1","txnId","todoEffect","added","oldTodo","newTodo","untrackedTodoTargets","oldJournal","newJournal","untracked","key","value","has","isNew","tryCommitSync","fiberId","stm","r","run","analysis","analyzeJournal_1","commitJournal_1","Error","_tag","completeTodos_1","tsplus_module_2","tryCommit","state","tsplus_module_3","completeTryCommit","k","tsplus_module_4","fileName_1","suspendTryCommit","accum","addTodo_1","tryCommitAsync","undefined","isInvalid_1","valid"],"sourceRoot":"","sources":["../../../_src/STM/internal/Journal.ts"],"sourcesContent":[null]}

package/_mjs/STM/internal/TryCommit.mjs

@@ -0,0 +1,22 @@
+export const TryCommitTypeId = /*#__PURE__*/Symbol.for("fncts.io.TryCommit");
+export class Done {
+  constructor(exit) {
+    this.exit = exit;
+    this._typeId = TryCommitTypeId;
+    this._tag = "Done"
+    /* TryCommitTag.Done */
+    ;
+  }
+
+}
+export class Suspend {
+  constructor(journal) {
+    this.journal = journal;
+    this._typeId = TryCommitTypeId;
+    this._tag = "Suspend"
+    /* TryCommitTag.Suspend */
+    ;
+  }
+
+}
+//# sourceMappingURL=TryCommit.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TryCommit.mjs","mappings":"AAEA,OAAO,MAAMA,eAAe,gBAAGC,MAAM,CAACC,GAAP,CAAW,oBAAX,CAAxB;AAUP,OAAM,MAAOC,IAAP,CAAW;EAGfC,YAAqBC,IAArB,EAAqC;IAAhB;IAFZ,eAA2BL,eAA3B;IACA,YAAI;IAAA;IAAJ;EACgC;;AAH1B;AAMjB,OAAM,MAAOM,OAAP,CAAc;EAGlBF,YAAqBG,OAArB,EAAqC;IAAhB;IAFZ,eAA2BP,eAA3B;IACA,YAAI;IAAA;IAAJ;EACgC;;AAHvB","names":["TryCommitTypeId","Symbol","for","Done","constructor","exit","Suspend","journal"],"sourceRoot":"","sources":["../../../_src/STM/internal/TryCommit.ts"],"sourcesContent":[null]}

package/_mjs/STM/internal/Versioned.mjs

@@ -0,0 +1,9 @@
+export const VersionedTypeId = /*#__PURE__*/Symbol.for("fncts.io.Versioned");
+export class Versioned {
+  constructor(value) {
+    this.value = value;
+    this._typeId = VersionedTypeId;
+  }
+
+}
+//# sourceMappingURL=Versioned.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Versioned.mjs","mappings":"AAAA,OAAO,MAAMA,eAAe,gBAAGC,MAAM,CAACC,GAAP,CAAW,oBAAX,CAAxB;AAGP,OAAM,MAAOC,SAAP,CAAgB;EAEpBC,YAAqBC,KAArB,EAA6B;IAAR;IADZ,eAA2BL,eAA3B;EACwB;;AAFb","names":["VersionedTypeId","Symbol","for","Versioned","constructor","value"],"sourceRoot":"","sources":["../../../_src/STM/internal/Versioned.ts"],"sourcesContent":[null]}

package/_mjs/STM.mjs

@@ -0,0 +1,9 @@
+// codegen:start { preset: barrel, include: STM/*.ts }
+export * from "./STM/api.mjs";
+export * from "./STM/definition.mjs";
+export * from "./STM/driver.mjs"; // codegen:end
+// codegen:start { preset: barrel, include: STM/api/*.ts }
+
+export * from "./STM/api/core-api.mjs";
+export * from "./STM/api/core-constructors.mjs";
+//# sourceMappingURL=STM.mjs.map

package/_mjs/STM.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"STM.mjs","mappings":"AAAA;AACA,cAAc,eAAd;AACA,cAAc,sBAAd;AACA,cAAc,kBAAd,C,CACA;AAEA;;AACA,cAAc,wBAAd;AACA,cAAc,iCAAd","names":[],"sourceRoot":"","sources":["../_src/STM.ts"],"sourcesContent":[null]}

package/_mjs/Schedule/Decision.mjs

@@ -0,0 +1,48 @@
+export class Continue {
+  constructor(interval) {
+    this.interval = interval;
+    this._tag = "Continue"
+    /* DecisionTag.Continue */
+    ;
+  }
+
+}
+export class Done {
+  constructor() {
+    this._tag = "Done"
+    /* DecisionTag.Done */
+    ;
+  }
+
+}
+export const Decision = {};
+/**
+ * @tsplus static fncts.io.Schedule.DecisionOps Done
+ */
+
+export const done = /*#__PURE__*/new Done();
+/**
+ * @tsplus static fncts.io.Schedule.DecisionOps Continue
+ */
+
+export function continue_(interval) {
+  return new Continue(interval);
+}
+/**
+ * @tsplus fluent fncts.io.Schedule.Decision match
+ */
+
+export function match_(self, onDone, onContinue) {
+  switch (self._tag) {
+    case "Continue"
+    /* DecisionTag.Continue */
+    :
+      return onContinue(self.interval);
+
+    case "Done"
+    /* DecisionTag.Done */
+    :
+      return onDone();
+  }
+}
+//# sourceMappingURL=Decision.mjs.map

package/_mjs/Schedule/Decision.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Decision.mjs","mappings":"AAOA,OAAM,MAAOA,QAAP,CAAe;EAEnBC,YAAqBC,QAArB,EAAuC;IAAlB;IADZ,YAAI;IAAA;IAAJ;EACkC;;AAFxB;AAKrB,OAAM,MAAOC,IAAP,CAAW;EAAjBF;IACW,YAAI;IAAA;IAAJ;EACV;;AAFgB;AAcjB,OAAO,MAAMG,QAAQ,GAAgB,EAA9B;AAEP;;;;AAGA,OAAO,MAAMC,IAAI,gBAAa,IAAIF,IAAJ,EAAvB;AAEP;;;;AAGA,OAAM,SAAUG,SAAV,CAAoBJ,QAApB,EAAsC;EAC1C,OAAO,IAAIF,QAAJ,CAAaE,QAAb,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUK,MAAV,CAAuBC,IAAvB,EAAuCC,MAAvC,EAAwDC,UAAxD,EAA6F;EACjG,QAAQF,IAAI,CAACG,IAAb;IACE;IAAA;IAAA;MACE,OAAOD,UAAU,CAACF,IAAI,CAACN,QAAN,CAAjB;;IACF;IAAA;IAAA;MACE,OAAOO,MAAM,EAAb;EAJJ;AAMD","names":["Continue","constructor","interval","Done","Decision","done","continue_","match_","self","onDone","onContinue","_tag"],"sourceRoot":"","sources":["../../_src/Schedule/Decision.ts"],"sourcesContent":[null]}

package/_mjs/Schedule/Driver.mjs

@@ -0,0 +1,21 @@
+/**
+ * @tsplus type fncts.io.Schedule.Driver
+ * @tsplus companion fncts.io.Schedule.DriverOps
+ */
+export class Driver {
+  constructor(next, last, reset, state) {
+    this.next = next;
+    this.last = last;
+    this.reset = reset;
+    this.state = state;
+  }
+
+}
+/**
+ * @tsplus static fncts.io.Schedule.DriverOps __call
+ */
+
+export function makeDriver(next, last, reset, state) {
+  return new Driver(next, last, reset, state);
+}
+//# sourceMappingURL=Driver.mjs.map

package/_mjs/Schedule/Driver.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Driver.mjs","mappings":"AAAA;;;;AAIA,OAAM,MAAOA,MAAP,CAAa;EACjBC,YACWC,IADX,EAEWC,IAFX,EAGWC,KAHX,EAIWC,KAJX,EAI4B;IAHjB;IACA;IACA;IACA;EACP;;AANa;AASnB;;;;AAGA,OAAM,SAAUC,UAAV,CACJJ,IADI,EAEJC,IAFI,EAGJC,KAHI,EAIJC,KAJI,EAIa;EAEjB,OAAO,IAAIL,MAAJ,CAAWE,IAAX,EAAiBC,IAAjB,EAAuBC,KAAvB,EAA8BC,KAA9B,CAAP;AACD","names":["Driver","constructor","next","last","reset","state","makeDriver"],"sourceRoot":"","sources":["../../_src/Schedule/Driver.ts"],"sourcesContent":[null]}

package/_mjs/Schedule/Interval.mjs

@@ -0,0 +1,114 @@
+import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
+export const isEmpty = isEmpty_1;
+export const makeInterval = makeInterval_1;
+export const min_ = min_1;
+/**
+ * @tsplus type fncts.io.Schedule.Interval
+ * @tsplus companion fncts.io.Schedule.IntervalOps
+ */
+
+export class Interval {
+  constructor(startMilliseconds, endMilliseconds) {
+    this.startMilliseconds = startMilliseconds;
+    this.endMilliseconds = endMilliseconds;
+  }
+
+}
+/**
+ * @tsplus static fncts.io.Schedule.IntervalOps after
+ */
+
+export function after(start) {
+  return makeInterval_1(start, Number.MAX_SAFE_INTEGER);
+}
+/**
+ * @tsplus static fncts.io.Schedule.IntervalOps before
+ */
+
+export function before(end) {
+  return makeInterval_1(Number.MIN_SAFE_INTEGER, end);
+}
+/**
+ * @tsplus static fncts.io.Schedule.IntervalOps empty
+ */
+
+const empty_1 = /*#__PURE__*/new Interval(Number.MIN_SAFE_INTEGER, Number.MIN_SAFE_INTEGER);
+export const empty = empty_1;
+/**
+ * @tsplus getter fncts.io.Schedule.Interval isEmpty
+ */
+
+function isEmpty_1(self) {
+  return self.startMilliseconds >= self.endMilliseconds;
+}
+/**
+ * @tsplus fluent fncts.io.Schedule.Interval intersect
+ */
+
+
+export function intersect_(self, that) {
+  const start = Math.max(self.startMilliseconds, that.startMilliseconds);
+  const end = Math.min(self.endMilliseconds, that.endMilliseconds);
+  return makeInterval_1(start, end);
+}
+/**
+ * @tsplus fluent fncts.io.Schedule.Interval lt
+ * @tsplus operator fncts.io.Schedule.Interval <
+ */
+
+export function lt_(self, that) {
+  return min_1(self, that) === self;
+}
+/**
+ * @tsplus static fncts.io.Schedule.IntervalOps __call
+ */
+
+function makeInterval_1(start, end) {
+  if (start <= end) return makeInterval_1(start, end);else return empty_1;
+}
+/**
+ * @tsplus fluent fncts.io.Schedule.Interval max
+ */
+
+
+export function max_(self, that) {
+  const m = min_1(self, that);
+  if (m === self) return that;else return self;
+}
+/**
+ * @tsplus fluent fncts.io.Schedule.Interval min
+ */
+
+function min_1(self, that) {
+  if (self.endMilliseconds <= that.startMilliseconds) return self;
+  if (that.endMilliseconds <= self.startMilliseconds) return that;
+  if (self.startMilliseconds < that.startMilliseconds) return self;
+  if (that.startMilliseconds < self.startMilliseconds) return that;
+  if (self.endMilliseconds <= that.endMilliseconds) return self;
+  return that;
+}
+/**
+ * @tsplus getter fncts.io.Schedule.Interval isNonEmpty
+ */
+
+
+export function isNonEmpty(self) {
+  return !isEmpty_1(self);
+}
+/**
+ * @tsplus getter fncts.io.Schedule.Interval size
+ */
+
+export function size(self) {
+  return self.endMilliseconds - self.startMilliseconds;
+}
+/**
+ * @tsplus fluent fncts.io.Schedule.Interval union
+ */
+
+export function union_(self, that) {
+  const istart = Math.max(self.startMilliseconds, that.startMilliseconds);
+  const iend = Math.min(self.endMilliseconds, that.endMilliseconds);
+  if (istart <= iend) return tsplus_module_1.nothing();else return tsplus_module_1.just(makeInterval_1(istart, iend));
+}
+//# sourceMappingURL=Interval.mjs.map

package/_mjs/Schedule/Interval.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Interval.mjs","mappings":";aA8BgBA,OAAO;aAwBPC,YAAY;aAiBZC,IAAI;AAvEpB;;;;;AAIA,OAAM,MAAOC,QAAP,CAAe;EACnBC,YAAqBC,iBAArB,EAAyDC,eAAzD,EAAgF;IAA3D;IAAoC;EAA2B;;AADjE;AAIrB;;;;AAGA,OAAM,SAAUC,KAAV,CAAgBC,KAAhB,EAA6B;EACjC,OAAOC,eAASD,KAAT,EAAgBE,MAAM,CAACC,gBAAvB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,MAAV,CAAiBC,GAAjB,EAA4B;EAChC,OAAOJ,eAASC,MAAM,CAACI,gBAAhB,EAAkCD,GAAlC,CAAP;AACD;AAED;;;;AAGO,MAAME,uBAAkB,IAAIZ,QAAJ,CAAaO,MAAM,CAACI,gBAApB,EAAsCJ,MAAM,CAACI,gBAA7C,CAAxB;aAAME,KAAK;AAElB;;;;AAGA,mBAAwBC,IAAxB,EAAsC;EACpC,OAAOA,IAAI,CAACZ,iBAAL,IAA0BY,IAAI,CAACX,eAAtC;AACD;AAED;;;;;AAGA,OAAM,SAAUY,UAAV,CAAqBD,IAArB,EAAqCE,IAArC,EAAmD;EACvD,MAAMX,KAAK,GAAGY,IAAI,CAACC,GAAL,CAASJ,IAAI,CAACZ,iBAAd,EAAiCc,IAAI,CAACd,iBAAtC,CAAd;EACA,MAAMQ,GAAG,GAAKO,IAAI,CAACE,GAAL,CAASL,IAAI,CAACX,eAAd,EAA+Ba,IAAI,CAACb,eAApC,CAAd;EACA,OAAOG,eAASD,KAAT,EAAgBK,GAAhB,CAAP;AACD;AAED;;;;;AAIA,OAAM,SAAUU,GAAV,CAAcN,IAAd,EAA8BE,IAA9B,EAA4C;EAChD,OAAOK,YAASL,IAAT,MAAmBF,IAA1B;AACD;AAED;;;;AAGA,wBAA6BT,KAA7B,EAA4CK,GAA5C,EAAuD;EACrD,IAAIL,KAAK,IAAIK,GAAb,EAAkB,OAAOJ,eAASD,KAAT,EAAgBK,GAAhB,CAAP,CAAlB,KACK;AACN;AAED;;;;;AAGA,OAAM,SAAUY,IAAV,CAAeR,IAAf,EAA+BE,IAA/B,EAA6C;EACjD,MAAMO,CAAC,GAAGF,YAASL,IAAT,CAAV;EACA,IAAIO,CAAC,KAAKT,IAAV,EAAgB,OAAOE,IAAP,CAAhB,KACK,OAAOF,IAAP;AACN;AAED;;;;AAGA,eAAqBA,IAArB,EAAqCE,IAArC,EAAmD;EACjD,IAAIF,IAAI,CAACX,eAAL,IAAwBa,IAAI,CAACd,iBAAjC,EAAoD,OAAOY,IAAP;EACpD,IAAIE,IAAI,CAACb,eAAL,IAAwBW,IAAI,CAACZ,iBAAjC,EAAoD,OAAOc,IAAP;EACpD,IAAIF,IAAI,CAACZ,iBAAL,GAAyBc,IAAI,CAACd,iBAAlC,EAAqD,OAAOY,IAAP;EACrD,IAAIE,IAAI,CAACd,iBAAL,GAAyBY,IAAI,CAACZ,iBAAlC,EAAqD,OAAOc,IAAP;EACrD,IAAIF,IAAI,CAACX,eAAL,IAAwBa,IAAI,CAACb,eAAjC,EAAkD,OAAOW,IAAP;EAClD,OAAOE,IAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUQ,UAAV,CAAqBV,IAArB,EAAmC;EACvC,OAAO,WAACA,IAAD,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUW,IAAV,CAAeX,IAAf,EAA6B;EACjC,OAAOA,IAAI,CAACX,eAAL,GAAuBW,IAAI,CAACZ,iBAAnC;AACD;AAED;;;;AAGA,OAAM,SAAUwB,MAAV,CAAiBZ,IAAjB,EAAiCE,IAAjC,EAA+C;EACnD,MAAMW,MAAM,GAAGV,IAAI,CAACC,GAAL,CAASJ,IAAI,CAACZ,iBAAd,EAAiCc,IAAI,CAACd,iBAAtC,CAAf;EACA,MAAM0B,IAAI,GAAKX,IAAI,CAACE,GAAL,CAASL,IAAI,CAACX,eAAd,EAA+Ba,IAAI,CAACb,eAApC,CAAf;EACA,IAAIwB,MAAM,IAAIC,IAAd,EAAoB,OAAOC,yBAAP,CAApB,KACK,OAAOA,qBAAKvB,eAASqB,MAAT,EAAiBC,IAAjB,CAAL,CAAP;AACN","names":["isEmpty","makeInterval","min_","Interval","constructor","startMilliseconds","endMilliseconds","after","start","makeInterval_1","Number","MAX_SAFE_INTEGER","before","end","MIN_SAFE_INTEGER","empty_1","empty","self","intersect_","that","Math","max","min","lt_","min_1","max_","m","isNonEmpty","size","union_","istart","iend","tsplus_module_1"],"sourceRoot":"","sources":["../../_src/Schedule/Interval.ts"],"sourcesContent":[null]}

package/_mjs/Schedule/api/driver.mjs

@@ -0,0 +1,30 @@
+import * as tsplus_module_1 from "@fncts/io/Ref/api/get";
+import * as tsplus_module_2 from "@fncts/io/IO/api";
+import * as tsplus_module_3 from "@fncts/io/Clock/api";
+import * as tsplus_module_4 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_5 from "@fncts/io/Ref/api/set";
+import * as tsplus_module_6 from "@fncts/io/Schedule/Decision";
+import * as tsplus_module_7 from "@fncts/base/data/exceptions";
+import * as tsplus_module_8 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_9 from "@fncts/io/Schedule/Driver";
+import * as tsplus_module_10 from "@fncts/io/Ref/constructors";
+/**
+ * @tsplus getter fncts.io.Schedule driver
+ */
+
+export function driver(schedule, __tsplusTrace) {
+  return tsplus_module_2.map_(tsplus_module_10.make(() => [tsplus_module_4.nothing(), schedule.initial]), ref => {
+    const next = (inp, __tsplusTrace) => tsplus_module_2.gen(function* (_) {
+      const state = yield* _(tsplus_module_2.map_(tsplus_module_1.get(ref), ([_, s]) => s, __tsplusTrace), __tsplusTrace);
+      const now = yield* _(tsplus_module_3.currentTime, __tsplusTrace);
+      const [state1, out, decision] = yield* _(schedule.step(now, inp, state, __tsplusTrace), __tsplusTrace);
+      return yield* _(tsplus_module_6.match_(decision, () => tsplus_module_2.apSecond_(tsplus_module_5.set_(ref, [tsplus_module_4.just(out), state1]), tsplus_module_2.failNow(tsplus_module_4.nothing(), __tsplusTrace), __tsplusTrace), interval => tsplus_module_2.as_(tsplus_module_2.apSecond_(tsplus_module_5.set_(ref, [tsplus_module_4.just(out), state1]), tsplus_module_3.sleep(interval.startMilliseconds - now, __tsplusTrace), __tsplusTrace), () => out)), __tsplusTrace);
+    });
+
+    const last = tsplus_module_2.flatMap_(tsplus_module_1.get(ref), ([mOut, _]) => tsplus_module_8.match_(mOut, () => tsplus_module_2.failNow(new tsplus_module_7.NoSuchElementError("There is no value left"), __tsplusTrace), tsplus_module_2.succeedNow), __tsplusTrace);
+    const reset = tsplus_module_5.set_(ref, [tsplus_module_4.nothing(), schedule.initial]);
+    const state = tsplus_module_2.map_(tsplus_module_1.get(ref), ([_, state]) => state, __tsplusTrace);
+    return tsplus_module_9.makeDriver(next, last, reset, state);
+  }, __tsplusTrace);
+}
+//# sourceMappingURL=driver.mjs.map