@fncts/io 0.0.1

package/_cjs/STM/api.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;AACA;;AAGA;;AAEA;;;;;;;MAQgBA,GAAG;;MAqCHC,WAAW;;MAkBXC,kBAAkB;;MAQlBC,UAAU;;MA2IVC,kBAAkB;;MAwBlBC,mBAAmB;;MAYnBC,KAAK;;MASLC,MAAM;;MASNC,UAAU;;MAmBVC,aAAa;;MAsBbC,aAAa;;MA+CbC,OAAO;;MAgDPC,aAAa;;MAoBbC,mBAAmB;;MAUnBC,qBAAqB;;MASrBC,IAAI;;MA+HJC,SAAS;;MAUTC,MAAM;;MAqBNC,YAAY;;MAkBZC,YAAY;;MAUZC,IAAI;;MASJC,SAAS;;MAsCTC,QAAQ;;;AA7pBxB;;;;;AAKA,cAAgCC,GAAhC,EAAmDC,CAAnD,EAA6D;EAC3D,OAAOC,0BAAQ,MAAMD,CAAC,EAAf,CAAP;AACD;AAED;;;;;;;AAKM,SAAUE,MAAV,CAA0BH,GAA1B,EAA2C;EAC/C,OAAOE,0BAAGE,oBAAH,CAAP;AACD;AAED;;;;;;;AAKM,SAAUC,WAAV,CAA+BL,GAA/B,EAAgD;EACpD,OAAOM,gBAAGF,oBAAH,CAAP;AACD;AAED;;;;;;;;AAMM,SAAUG,OAAV,CAA+BC,CAA/B,EAA0D;EAC9D,OAAON,4BAACO,eAAD,CAAP;AACD;AAED;;;;;;;AAKA;EACE,OAAO,IAAIC,kBAAJ,CAAW,CAACC,CAAD,EAAIC,EAAJ,EAAQC,CAAR,KAAiBA,CAA5B,CAAP;AACD;AAED;;;;;;;AAKM,SAAUC,eAAV,CAAgCC,CAAhC,EAA8C;EAClD,OAAOb,sCAAyBa,CAAzB,CAAP;AACD;AAED;;;;;;;AAKA,8BAAgDA,CAAhD,EAA0E;EACxE,OAAOb,0CAA8Ba,CAA9B,CAAP;AACD;AAED;;;;;;AAIA,sBAAoCf,GAApC,EAAqD;EACnD,OAAOgB,kCAAsBH,CAAD,IAC1BI,0BAAa,CAACN,CAAD,EAAIO,OAAJ,KAAe;IAC1B,MAAMC,MAAM,GAAG,4BAAcD,OAAd,EAAuBlB,GAAvB,EAA4Ba,CAA5B,CAAf;;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,IAAIC,gCAAJ,CAAmBC,uBAAnB,CAAd;UACA,MAAMC,KAAK,GAAGX,sBAAS,6BAAeE,MAAM,CAACU,OAAtB,EAA+BX,OAA/B,EAAwClB,GAAxC,EAA6CuB,EAA7C,EAAiDE,KAAjD,EAAwDZ,CAAxD,CAAT,CAAd;UACA,OAAOiB,oCAAuB,CAAC;YAAEC;UAAF,CAAD,KAC5Bd,sCAAO,CAACW,KAAD,CAAP,EAA8BI,KAAD,IAAU;YACrCP,KAAK,CAACQ,aAAN,CAAmBN,uBAAnB,EAAmBA,2BAAnB;YACA,MAAMO,QAAQ,GAAGT,KAAK,CAACU,GAAvB;;YACA,QAAQD,QAAQ,CAACd,IAAjB;cACE,KAAK,MAAL;gBAAa;kBACX,OAAOH,4BAAeiB,QAAQ,CAACb,IAAxB,EAA4BC,qBAA5B,CAAP;gBACD;;cACD;gBAAS;kBACP,OAAOL,6BAAgBe,KAAhB,EAAqBV,qBAArB,CAAP;gBACD;YANH;UAQD,CAXD,EAWCA,qBAXD,CADK,CAAP;QAcD;IAtBH;EAwBD,CA1BD,EA0BCA,qBA1BD,CADK,EA2BHA,qBA3BG,CAAP;AA6BD;AAED;;;;;;AAIM,SAAUc,MAAV,CAAiCpC,GAAjC,EAAoDqC,CAApD,EAAqEtB,CAArE,EAAmF;EACvF,OAAOb,+BACJoC,CAAD,IAAOC,wBAAYF,CAAC,CAACC,CAAD,CAAb,CADF,EAEJE,CAAD,IAAOD,2BAAexB,CAAC,CAACyB,CAAD,CAAhB,CAFF,CAAP;AAID;AAED;;;;;;;AAKM,SAAUC,MAAV,CACJzC,GADI,EAEJ0C,GAFI,EAGJC,CAHI,EAIJ5B,CAJI,EAIkD;EAEtD,OAAOb,+BAAcoC,CAAD,IAAM;IACxB,IAAII,GAAG,IAAIJ,CAAP,IAAYA,CAAC,CAACI,GAAD,CAAD,KAAWC,CAA3B,EAA8B;MAC5B,OAAO5B,CAAC,CAACuB,CAAD,CAAR;IACD;;IACD,OAAOC,wBAAYD,CAAZ,CAAP;EACD,CALM,CAAP;AAMD;AAED;;;;;;;AAKM,SAAUM,UAAV,CACJ5C,GADI,EAEJe,CAFI,EAE8B;EAElC,OAAOb,+BAAcoC,CAAD,IAA+BO,4BAAC,CAACP,CAAD,CAAD,EAAI,MAAWC,wBAAYD,CAAZ,CAAf,CAA5C,CAAP;AACD;AAED;;;;;;;AAKM,SAAUQ,SAAV,CACJ9C,GADI,EAEJ2C,CAFI,EAGJ5B,CAHI,EAG8C;EAElD,OAAOb,+BAAcoC,CAAD,IAAM;IACxB,IAAI,UAAUA,CAAV,IAAeA,CAAC,CAAC,MAAD,CAAD,KAAcK,CAAjC,EAAoC;MAClC,OAAO5B,CAAC,CAACuB,CAAD,CAAR;IACD;;IACD,OAAOC,wBAAYD,CAAZ,CAAP;EACD,CALM,CAAP;AAMD;AAED;;;;;;;;AAMM,SAAUS,WAAV,CAAuC/C,GAAvC,EAA0De,CAA1D,EAAyF;EAC7F,OAAOiC,gBAAcC,MAAD,IAAY/C,iCAAea,CAAf,CAAzB,CAAP;AACD;AAED;;;;;;;AAKM,SAAUmC,KAAV,CAAgBC,SAAhB,EAAwC;EAC5C,OAAOC,QAAU,MAAOD,SAAS,KAAIE,MAAJ,GAAed,qBAAzC,CAAP;AACD;AAED;;;;;;AAIM,SAAUe,YAAV,CAAgCtD,GAAhC,EAAiD;EACrD,qDAAOA,GAAP;AACD;AAED;;;;;;;;AAMM,SAAUuD,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,OAAOvD,6BAAYsC,CAAD,IAAOK,6BAAE,CAACL,CAAD,CAAF,EAAK,MAAWD,qBAASD,CAAT,CAAhB,CAAlB,CAAP;AACD;AAED;;;;;;;;AAMM,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,OAAOvD,6BAAYsC,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,kBAAgC7D,GAAhC,EAAiD;EAC/C,OAAO8D,aAAGC,qBAAH,EAAGA,sBAAH,CAAP;AACD;AAED;;;;;;;AAKA,sBAAoC/D,GAApC,EAAqD;EACnD,OAAOE,+BAAa,MAAK8D,aAAChE,GAAD,CAAlB,EAAiCuC,0BAAjC,CAAP;AACD;AAED;;;;;;;AAKM,SAAU0B,UAAV,CAAiCjE,GAAjC,EAAoDe,CAApD,EAAyE;EAC7E,OAAOmD,oBAAkB1B,CAAD,IAAOK,sBAAC,CAACL,CAAD,CAAD,EAAID,0BAAJ,CAAxB,CAAP;AACD;AAED;;;;;;;;AAMA,wBACE4B,IADF,EAEEpD,CAFF,EAEoC;EAElC,OAAOb,gCAAIqC,uBAAJ,EAA4BC,CAAD,IAAOK,4BAAC,CAACL,CAAD,CAAD,EAAI,2BAAJ,CAAlC,CAAP;AACD;;AAiBD,wBACEgB,EADF,EAEEY,CAFF,EAGEC,EAHF,EAGa;EAEX,OAAOnE,6BAAYsC,CAAD,IAAQ4B,CAAC,CAAC5B,CAAD,CAAD,GAAOD,2BAAeC,CAAf,CAAP,GAA2BY,cAAWiB,EAAgC,CAAC7B,CAAD,CAA3C,CAA9C,CAAP;AACD;;AAiBK,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;;AAaK,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,mBAAyCxC,GAAzC,EAAuE;EACrE,OAAOE,8BAAY0E,kBAAZ,CAAP;AACD;AAED;;;;;;;AAKM,SAAUC,mBAAV,CAA2C7E,GAA3C,EAAqE8E,GAArE,EAAkF;EACtF,OAAOxE,gBAAcyE,EAAD,IAAQlC,+BAAaiC,GAAb,CAArB,CAAP;AACD;AAED;;;;;;;;AAMM,SAAUE,QAAV,CAA+BC,EAA/B,EAAgDlE,CAAhD,EAAyE;EAC7E,OAAOqC,QAAU,MAAK;IACpB,IAAIpD,GAAG,GAAGuC,2BAAe,EAAf,CAAV;;IAEA,KAAK,MAAMC,CAAX,IAAgByC,EAAhB,EAAoB;MAClBjF,GAAG,GAAGkF,eAAYnE,CAAC,CAACyB,CAAD,CAAb,EAAkB,CAAC2C,GAAD,EAAMlF,CAAN,KAAW;QACjCkF,GAAG,CAACC,IAAJ,CAASnF,CAAT;QACA,OAAOkF,GAAP;MACD,CAHK,CAAN;IAID;;IAED,OAAOnF,GAAP;EACD,CAXM,CAAP;AAYD;AAED;;;;;;;AAKM,SAAUqF,UAAV,CAA2B/C,CAA3B,EAAgD;EACpD,OAAOc,cAAUkC,yBAAC,EAAD,EAAG/C,uBAAH,EAAGA,0BAAH,CAAV,CAAP;AACD;AAED;;;;;;;AAKA,yBAAoCD,CAApC,EAAmD;EACjD,OAAOgD,2BAAC/C,uBAAD,EAACA,0BAAD,CAAP;AACD;AAED;;;;;AAGM,SAAUJ,GAAV,CAAuBnC,GAAvB,EAA+C;EACnD,OAAOE,+BACJoC,CAAD,IAAOC,wBAAYnC,qBAAKkC,CAAL,CAAZ,CADF,EAEJiD,EAAD,IAAQC,4BAAS,MAAMjD,wBAAYnC,yBAAZ,CAAf,EAAqCmC,0BAArC,CAFH,CAAP;AAID;AAED;;;;;;;;AAMA,8BAA6CvC,GAA7C,EAAgEa,CAAhE,EAAoE;EAClE,OAAO4E,4BAAyB,MAAM5E,CAA/B,CAAP;AACD;AAED;;;;;;;;AAMA,gCAAmDsD,IAAnD,EAAuEpD,CAAvE,EAAsF;EACpF,OAAO,IAAI2E,gCAAJ,CAAyBvB,IAAzB,EAA+BpD,CAA/B,CAAP;AACD;AAED;;;;;;;AAKA,gBAAqB4E,CAArB,EAAqC;EACnC,OAAO,IAAIjF,kBAAJ,CAAW,MAAK;IACrB,MAAM,IAAIkF,yBAAJ,CAAkBD,CAAC,EAAnB,CAAN;EACD,CAFM,CAAP;AAGD;AAED;;;;;;;AAKM,SAAUE,OAAV,CAAkBF,CAAlB,EAA4B;EAChC,OAAO,IAAIjF,kBAAJ,CAAW,MAAK;IACrB,MAAM,IAAIkF,yBAAJ,CAAkBD,CAAlB,CAAN;EACD,CAFM,CAAP;AAGD;AAED;;;;;;;;AAMM,SAAUG,IAAV,CAAwB9F,GAAxB,EAAmD;EACvD,OAAOE,+BACJoC,CAAD,IAAOC,wBAAYnC,qBAAKkC,CAAL,CAAZ,CADF,EAEJyD,EAAD,IAAO;IACL,MAAMd,EAAE,GAAKc,EAAE,CAACC,MAAM,CAACC,QAAR,CAAF,EAAb;IACA,MAAMC,IAAI,GAAGjB,EAAE,CAACiB,IAAH,EAAb;IACA,OAAOA,IAAI,CAACC,IAAL,GAAY5D,wBAAYnC,yBAAZ,CAAZ,GAAqCmC,2BAAe2D,IAAI,CAACE,KAApB,CAA5C;EACD,CANI,CAAP;AAQD;AAED;;;;;;;AAKO,MAAMC,SAAS,gBAA+BnG,kDAAqBqB,EAAD,IAAQgB,4BAAgBhB,EAAhB,CAA5B,CAA9C;AAEP;;;;;;;;AAKM,SAAU+E,SAAV,CAA6BtG,GAA7B,EAA8C;EAClD,OAAO8D,aACL,MAAM,IADD,EAEL,MAAM,KAFD,CAAP;AAID;AAED;;;;;;;AAKM,SAAUyC,SAAV,CAA6BvG,GAA7B,EAA8C;EAClD,OAAO8D,aACL,MAAM,KADD,EAEL,MAAM,IAFD,CAAP;AAID;AAED;;;;;;;AAKM,SAAU0C,KAAV,CACJxG,GADI,EAEJyG,IAFI,EAEiB;EAErB,OAAOC,qBACJ7F,CAAD,IACEyE,2BACGzE,CAAD,IAAO8F,0BAAuB9F,CAAvB,CADT,EAEG+F,EAAD,IAAQD,2BAAwBC,EAAxB,CAFV,CAFG,CAAP;AAOD;AAED;;;;;;;AAKM,SAAUC,WAAV,CACJ7G,GADI,EAEJyG,IAFI,EAEiB;EAErB,OAAOC,qBACJ7F,CAAD,IACEyE,2BACGzE,CAAD,IAAOX,+CAAuBW,CAAvB,GAAyBkD,qBAAzB,CADT,EAEG6C,EAAD,IAAQ1G,gDAAwB0G,EAAxB,GAA2B7C,sBAA3B,CAFV,CAFG,CAAP;AAOD;AAED;;;;;;;AAKM,SAAU+C,IAAV,CAA2B9G,GAA3B,EAAuD;EAC3D,OAAOE,+BACJoC,CAAD,IAAOC,2BAASnC,qBAAKkC,CAAL,CAAT,CADF,EAEJyE,EAAD,IAAQzB,4BAAE/C,0BAAF,EAAyB,MAAMA,wBAAYnC,yBAAZ,CAA/B,CAFH,CAAP;AAID;AAED;;;;;;;AAKM,SAAU4G,WAAV,CAAsChH,GAAtC,EAAoEiH,MAApE,EAAwF;EAC5F,OAAO/G,8BAAa6G,EAAD,IAAQzB,4BAAE/C,0BAAF,EAA0B2E,CAAD,IAAO3E,2BAAS0E,MAAM,CAACC,CAAD,CAAf,CAAhC,CAApB,CAAP;AACD;AAED;;;;;;;AAKA,oBAAuClH,GAAvC,EAA0De,CAA1D,EAAyE;EACvE,OAAOb,+BAAcoC,CAAD,IAAOC,wBAAYxB,CAAC,CAACuB,CAAD,CAAb,CAApB,EAAqCC,0BAArC,CAAP;AACD;AAED;;;;;;;;AAMA,iBAAsCvC,GAAtC,EAAyDqC,CAAzD,EAAyEtB,CAAzE,EAAuF;EACrF,OAAOb,+BACJoC,CAAD,IAAOC,2BAAeF,CAAC,CAACC,CAAD,CAAhB,CADF,EAEJE,CAAD,IAAOD,2BAAexB,CAAC,CAACyB,CAAD,CAAhB,CAFF,CAAP;AAID;AAED;;;;;;;;;;;;;;;;AAcA,uBAAsCxC,GAAtC,EAAyDe,CAAzD,EAA6E;EAC3E,OAAOb,8BAAasC,CAAD,IAAQzB,CAAC,CAACyB,CAAD,CAAD,GAAOD,2BAAeC,CAAf,CAAP,GAA2B2E,mBAAgBpG,CAAhB,CAA/C,CAAP;AACD;AAED;;;;;;;;;;;;;;;;AAcA,uBAAsCf,GAAtC,EAAyDe,CAAzD,EAA6E;EAC3E,OAAOb,8BAAasC,CAAD,IAAQzB,CAAC,CAACyB,CAAD,CAAD,GAAO4E,mBAAgBrG,CAAhB,CAAP,GAA4BwB,2BAAeC,CAAf,CAAhD,CAAP;AACD;AAED;;;;;;;;AAMA,gBAA8BxC,GAA9B,EAA+C;EAC7C,OAAOE,+BAAGqC,0BAAH,EAAGA,uBAAH,CAAP;AACD;AAED;;;;;;;AAKA,oBACEvC,GADF,EAEEe,CAFF,EAE2C;EAEzC,cAAOA,CAAC,QAACf,GAAD,EAAR;AACD;AAED;;;;;;;AAKM,SAAUqH,IAAV,CAAmCrH,GAAnC,EAAsDe,CAAtD,EAAiF;EACrF,OAAOb,8BAAasC,CAAD,IAAO8E,MAAC,CAAC9E,CAAD,CAAD,EAAI,MAAIA,CAAR,CAAnB,CAAP;AACD;AAED;;;;;;;AAKM,SAAU+E,MAAV,CAAoB/E,CAApB,EAA8B;EAClC,OAAOtC,iDAAYsC,CAAZ,GAAwBA,CAAD,IAAOD,2BAAewB,sBAAYvB,CAAZ,CAAf,CAA9B,CAAP;AACD;AAED;;;;;;;AAKO,MAAMa,sBAAOd,2BAAqBiF,SAArB,CAAb;MAAMC,IAAI;AAEjB;;;;;;;;;AAMA,mBACEtD,IADF,EAEEsC,IAFF,EAGE1F,CAHF,EAGsB;EAEpB,OAAOb,+BAAcsC,CAAD,IAAOtC,2BAAUD,CAAD,IAAOc,CAAC,CAACyB,CAAD,EAAIvC,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_","stm","b","tsplus_module_1","asJust","tsplus_module_2","asJustError","mapError_1","absolve","z","fromEitherNow_1","Effect","_","__","r","environmentWith","f","tsplus_module_7","tsplus_module_3","fiberId","result","_tag","exit","fileName_1","id","tsplus_module_4","state","AtomicReference","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","identity","flattenErrorOption_","def","me","foreach_","it","zipWith_1","acc","push","fromEither","tsplus_module_11","ma","tsplus_module_12","contramapEnvironment_1","ContramapEnvironment","u","HaltException","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]}

package/_cjs/STM/definition.cjs

@@ -0,0 +1,213 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.SucceedNow = exports.Succeed = exports.STMTypeId = exports.STM = exports.RetryExceptionTypeId = exports.RetryException = exports.OnSuccess = exports.OnRetry = exports.OnFailure = exports.InterruptExceptionTypeId = exports.InterruptException = exports.HaltExceptionTypeId = exports.HaltException = exports.FailExceptionTypeId = exports.FailException = exports.Effect = exports.ContramapEnvironment = void 0;
+exports.concrete = concrete;
+exports.isFailException = isFailException;
+exports.isHaltException = isHaltException;
+exports.isInterruptException = isInterruptException;
+exports.isRetryException = isRetryException;
+exports.unifySTM = unifySTM;
+
+var _predicates = /*#__PURE__*/require("@fncts/base/util/predicates");
+
+const STMTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM");
+/**
+ * @tsplus type fncts.io.STM
+ * @tsplus companion fncts.io.STMOps
+ */
+
+exports.STMTypeId = STMTypeId;
+
+class STM {
+  constructor() {
+    this._typeId = STMTypeId;
+  }
+
+}
+/**
+ * @tsplus unify fncts.io.STM
+ */
+
+
+exports.STM = STM;
+
+function unifySTM(self) {
+  return self;
+}
+
+class Effect extends STM {
+  constructor(f) {
+    super();
+    this.f = f;
+    this._tag = "Effect"
+    /* STMTag.Effect */
+    ;
+  }
+
+}
+
+exports.Effect = Effect;
+
+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);
+  }
+
+}
+
+exports.OnFailure = OnFailure;
+
+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);
+  }
+
+}
+
+exports.OnRetry = OnRetry;
+
+class OnSuccess extends STM {
+  constructor(stm, apply) {
+    super();
+    this.stm = stm;
+    this.apply = apply;
+    this._tag = "OnSuccess"
+    /* STMTag.OnSuccess */
+    ;
+  }
+
+}
+
+exports.OnSuccess = OnSuccess;
+
+class Succeed extends STM {
+  constructor(a) {
+    super();
+    this.a = a;
+    this._tag = "Succeed"
+    /* STMTag.Succeed */
+    ;
+  }
+
+}
+
+exports.Succeed = Succeed;
+
+class SucceedNow extends STM {
+  constructor(a) {
+    super();
+    this.a = a;
+    this._tag = "SucceedNow"
+    /* STMTag.SucceedNow */
+    ;
+  }
+
+}
+
+exports.SucceedNow = SucceedNow;
+
+class ContramapEnvironment extends STM {
+  constructor(stm, f) {
+    super();
+    this.stm = stm;
+    this.f = f;
+    this._tag = "ContramapEnvironment"
+    /* STMTag.ContramapEnvironment */
+    ;
+  }
+
+}
+
+exports.ContramapEnvironment = ContramapEnvironment;
+
+function concrete(_) {//
+}
+
+const FailExceptionTypeId = /*#__PURE__*/Symbol.for("fncta.control.STM.FailException");
+exports.FailExceptionTypeId = FailExceptionTypeId;
+
+class FailException {
+  constructor(e) {
+    this.e = e;
+    this._typeId = FailExceptionTypeId;
+  }
+
+}
+
+exports.FailException = FailException;
+
+function isFailException(u) {
+  return (0, _predicates.hasTypeId)(u, FailExceptionTypeId);
+}
+
+const HaltExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.HaltException");
+exports.HaltExceptionTypeId = HaltExceptionTypeId;
+
+class HaltException {
+  constructor(e) {
+    this.e = e;
+    this._typeId = HaltExceptionTypeId;
+  }
+
+}
+
+exports.HaltException = HaltException;
+
+function isHaltException(u) {
+  return (0, _predicates.hasTypeId)(u, HaltExceptionTypeId);
+}
+
+const InterruptExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.InterruptException");
+exports.InterruptExceptionTypeId = InterruptExceptionTypeId;
+
+class InterruptException {
+  constructor(fiberId) {
+    this.fiberId = fiberId;
+    this._typeId = InterruptExceptionTypeId;
+  }
+
+}
+
+exports.InterruptException = InterruptException;
+
+function isInterruptException(u) {
+  return (0, _predicates.hasTypeId)(u, InterruptExceptionTypeId);
+}
+
+const RetryExceptionTypeId = /*#__PURE__*/Symbol.for("fncts.io.STM.RetryException");
+exports.RetryExceptionTypeId = RetryExceptionTypeId;
+
+class RetryException {
+  constructor() {
+    this._typeId = RetryExceptionTypeId;
+  }
+
+}
+
+exports.RetryException = RetryException;
+
+function isRetryException(u) {
+  return (0, _predicates.hasTypeId)(u, RetryExceptionTypeId);
+}
+//# sourceMappingURL=definition.cjs.map

package/_cjs/STM/definition.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;AAGA;;AAYO,MAAMA,SAAS,gBAAGC,MAAM,CAACC,GAAP,CAAW,cAAX,CAAlB;AAGP;;;;;;;AAIM,MAAgBC,GAAhB,CAAmB;EAAzBC;IACW,eAAqBJ,SAArB;EAIV;;AALwB;AAOzB;;;;;;;AAGM,SAAUK,QAAV,CAAiDC,IAAjD,EAAwD;EAC5D,OAAOA,IAAP;AACD;;AAOK,MAAOC,MAAP,SAA+BJ,GAA/B,CAA2C;EAE/CC,YAAqBI,CAArB,EAAuE;IACrE;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJ8C;;;;AAO3C,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;;;;AAUnD,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;;;;AAU5C,MAAOI,SAAP,SAAqCd,GAArC,CAAiD;EAErDC,YAAqBM,GAArB,EAAiDE,KAAjD,EAA8E;IAC5E;IADmB;IAA4B;IADxC,YAAI;IAAA;IAAJ;EAGR;;AAJoD;;;;AAOjD,MAAOM,OAAP,SAA0Bf,GAA1B,CAAgD;EAEpDC,YAAqBS,CAArB,EAA+B;IAC7B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJmD;;;;AAOhD,MAAOC,UAAP,SAA6BX,GAA7B,CAAmD;EAEvDC,YAAqBS,CAArB,EAAyB;IACvB;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJsD;;;;AAOnD,MAAOM,oBAAP,SAAiDhB,GAAjD,CAA8D;EAElEC,YAAqBM,GAArB,EAAiDF,CAAjD,EAAgE;IAC9D;IADmB;IAA4B;IADxC,YAAI;IAAA;IAAJ;EAGR;;AAJiE;;;;AAO9D,SAAUY,QAAV,CACJC,CADI,EACW,CASf;AACD;;AAEM,MAAMC,mBAAmB,gBAAGrB,MAAM,CAACC,GAAP,CAAW,iCAAX,CAA5B;;;AAGD,MAAOqB,aAAP,CAAoB;EAExBnB,YAAqBoB,CAArB,EAAyB;IAAJ;IADZ,eAA+BF,mBAA/B;EACoB;;AAFL;;;;AAKpB,SAAUG,eAAV,CAA0BC,CAA1B,EAAoC;EACxC,OAAO,2BAAUA,CAAV,EAAaJ,mBAAb,CAAP;AACD;;AAEM,MAAMK,mBAAmB,gBAAG1B,MAAM,CAACC,GAAP,CAAW,4BAAX,CAA5B;;;AAGD,MAAO0B,aAAP,CAAoB;EAExBxB,YAAqBoB,CAArB,EAAyB;IAAJ;IADZ,eAA+BG,mBAA/B;EACoB;;AAFL;;;;AAKpB,SAAUE,eAAV,CAA0BH,CAA1B,EAAoC;EACxC,OAAO,2BAAUA,CAAV,EAAaC,mBAAb,CAAP;AACD;;AAEM,MAAMG,wBAAwB,gBAAG7B,MAAM,CAACC,GAAP,CAAW,iCAAX,CAAjC;;;AAGD,MAAO6B,kBAAP,CAAyB;EAE7B3B,YAAqB4B,OAArB,EAAqC;IAAhB;IADZ,eAAoCF,wBAApC;EACgC;;AAFZ;;;;AAKzB,SAAUG,oBAAV,CAA+BP,CAA/B,EAAyC;EAC7C,OAAO,2BAAUA,CAAV,EAAaI,wBAAb,CAAP;AACD;;AAEM,MAAMI,oBAAoB,gBAAGjC,MAAM,CAACC,GAAP,CAAW,6BAAX,CAA7B;;;AAGD,MAAOiC,cAAP,CAAqB;EAA3B/B;IACW,eAAgC8B,oBAAhC;EACV;;AAF0B;;;;AAIrB,SAAUE,gBAAV,CAA2BV,CAA3B,EAAqC;EACzC,OAAO,2BAAUA,CAAV,EAAaQ,oBAAb,CAAP;AACD","names":["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/_cjs/STM/driver.cjs

@@ -0,0 +1,184 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.STMDriver = void 0;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/internal/Stack"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/TExit/constructors"));
+
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/STM/api/core-constructors"));
+
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/STM/api/core-api"));
+
+var _definition = /*#__PURE__*/require("./definition.js");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+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;
+      (0, _definition.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 ((0, _definition.isFailException)(e)) {
+                curr = this.unwindStack(e.e, false);
+
+                if (!curr) {
+                  exit = tsplus_module_2.fail(e.e);
+                }
+              } else if ((0, _definition.isRetryException)(e)) {
+                curr = this.unwindStack(undefined, true);
+
+                if (!curr) {
+                  exit = tsplus_module_2.retry;
+                }
+              } else if ((0, _definition.isHaltException)(e)) {
+                curr = this.unwindStack(e.e, false);
+
+                if (!curr) {
+                  exit = tsplus_module_2.halt(e.e);
+                }
+              } else if ((0, _definition.isInterruptException)(e)) {
+                exit = tsplus_module_2.interrupt(e.fiberId);
+              } else {
+                throw e;
+              }
+            }
+          }
+      }
+    }
+
+    return exit;
+  }
+
+}
+
+exports.STMDriver = STMDriver;
+//# sourceMappingURL=driver.cjs.map

package/_cjs/STM/driver.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.cjs","mappings":";;;;;;;;;;;;;;;AAMA;;;;;;AAQM,MAAOA,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;MACA,0BAASE,CAAT;;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,IAAI,iCAAgBA,CAAhB,CAAJ,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,IAAI,kCAAiBA,CAAjB,CAAJ,EAAyB;gBAC9BZ,IAAI,GAAG,KAAKZ,WAAL,CAAiBI,SAAjB,EAA4B,IAA5B,CAAP;;gBACA,IAAI,CAACQ,IAAL,EAAW;kBACTC,IAAI,wBAAJ;gBACD;cACF,CALM,MAKA,IAAI,iCAAgBW,CAAhB,CAAJ,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,IAAI,sCAAqBA,CAArB,CAAJ,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":["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/_cjs/STM/internal/CommitState.cjs

@@ -0,0 +1,89 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.Running = exports.Interrupted = exports.Done = exports.CommitState = void 0;
+exports.done = done;
+exports.isRunning = isRunning;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Exit/constructors"));
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+const Done = Done_1;
+/**
+ * @tsplus static fncts.io.CommitStateOps Done
+ */
+
+exports.Done = Done;
+
+function Done_1(exit) {
+  return {
+    _tag: "Done",
+    exit
+  };
+}
+/**
+ * @tsplus static fncts.io.CommitStateOps Interrupted
+ */
+
+
+const Interrupted = {
+  _tag: "Interrupted"
+};
+/**
+ * @tsplus static fncts.io.CommitStateOps Running
+ */
+
+exports.Interrupted = Interrupted;
+const Running = {
+  _tag: "Running"
+};
+exports.Running = Running;
+const CommitState = {};
+/**
+ * @tsplus getter fncts.io.CommitState isRunning
+ */
+
+exports.CommitState = CommitState;
+
+function isRunning(state) {
+  return state._tag === "Running";
+}
+/**
+ * @tsplus static fncts.io.CommitStateOps done
+ */
+
+
+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.cjs.map

package/_cjs/STM/internal/CommitState.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"CommitState.cjs","mappings":";;;;;;;;;;;;;;;MAUgBA,IAAI;AAHpB;;;;;;AAGA,gBAA2BC,IAA3B,EAA2C;EACzC,OAAO;IACLC,IAAI,EAAE,MADD;IAELD;EAFK,CAAP;AAID;AAMD;;;;;AAGO,MAAME,WAAW,GAA8B;EACpDD,IAAI,EAAE;AAD8C,CAA/C;AAQP;;;;;AAGO,MAAME,OAAO,GAA8B;EAChDF,IAAI,EAAE;AAD0C,CAA3C;;AAcA,MAAMG,WAAW,GAAmB,EAApC;AAEP;;;;;;AAGM,SAAUC,SAAV,CAA0BC,KAA1B,EAAkD;EACtD,OAAOA,KAAK,CAACL,IAAN,KAAe,SAAtB;AACD;AAED;;;;;AAGM,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/_cjs/STM/internal/Entry.cjs

@@ -0,0 +1,89 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.EntryTypeId = exports.Entry = exports.ConcreteEntryTypeId = exports.ConcreteEntry = void 0;
+exports.make = make;
+
+var _Versioned = /*#__PURE__*/require("./Versioned.js");
+
+const EntryTypeId = /*#__PURE__*/Symbol.for("fncts.io.Entry");
+/**
+ * @tsplus type fncts.io.Entry
+ * @tsplus companion fncts.io.EntryOps
+ */
+
+exports.EntryTypeId = EntryTypeId;
+
+class Entry {
+  constructor(use) {
+    this.use = use;
+    this._typeId = EntryTypeId;
+  }
+
+}
+/**
+ * @tsplus static fncts.io.EntryOps make
+ */
+
+
+exports.Entry = Entry;
+
+function make(tref0, isNew0) {
+  const versioned = tref0.versioned;
+  const ops = new ConcreteEntry(tref0, versioned, versioned.value, isNew0, false);
+  return new Entry(f => f(ops));
+}
+
+const ConcreteEntryTypeId = /*#__PURE__*/Symbol.for("fncts.io.ConcreteEntry");
+exports.ConcreteEntryTypeId = ConcreteEntryTypeId;
+
+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.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()})`;
+  }
+
+}
+
+exports.ConcreteEntry = ConcreteEntry;
+//# sourceMappingURL=Entry.cjs.map

package/_cjs/STM/internal/Entry.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Entry.cjs","mappings":";;;;;;;;AAEA;;AAEO,MAAMA,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,gBAAX,CAApB;AAGP;;;;;;;AAIM,MAAOC,KAAP,CAAY;EAGhBC,YAAqBC,GAArB,EAAwE;IAAnD;IAFZ,eAAuBL,WAAvB;EAEmE;;AAH5D;AAMlB;;;;;;;AAGM,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;;AAEM,MAAMI,mBAAmB,gBAAGb,MAAM,CAACC,GAAP,CAAW,wBAAX,CAA5B;;;AAGD,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,IAAIc,oBAAJ,CAAc,KAAKN,QAAnB,CAAtB;EACD;;EAEDO,IAAI;IACF,MAAMd,GAAG,GAAG,IAAIC,aAAJ,CAAqB,KAAKI,IAA1B,EAAgC,KAAKC,QAArC,EAA+C,KAAKC,QAApD,EAA8D,KAAKC,KAAnE,EAA0E,KAAKO,SAAL,EAA1E,CAAZ;IACA,OAAO,IAAItB,KAAJ,CAAWU,CAAD,IAAOA,CAAC,CAACH,GAAD,CAAlB,CAAP;EACD;;EAEDgB,SAAS;IACP,OAAO,CAAC,KAAKC,OAAL,EAAR;EACD;;EAEDA,OAAO;IACL,OAAO,KAAKZ,IAAL,CAAUN,SAAV,KAAwB,KAAKO,QAApC;EACD;;EAEDS,SAAS;IACP,OAAO,KAAKN,UAAZ;EACD;;EAEDS,QAAQ;IACN,OAAO,0BAA0B,KAAKZ,QAAL,CAAcJ,KAAK,gBAAgB,KAAKK,QAAQ,YAC/E,KAAKF,IACP,iBAAiB,KAAKU,SAAL,EAAgB,GAFjC;EAGD;;AA7CuB","names":["EntryTypeId","Symbol","for","Entry","constructor","use","make","tref0","isNew0","versioned","ops","ConcreteEntry","value","f","ConcreteEntryTypeId","tref","expected","newValue","isNew","_isChanged","unsafeSet","unsafeGet","commit","Versioned","copy","isChanged","isInvalid","isValid","toString"],"sourceRoot":"","sources":["../../../_src/STM/internal/Entry.ts"],"sourcesContent":[null]}