@fncts/base 0.0.1

package/_cjs/control/Z/definition.cjs

@@ -0,0 +1,227 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.ZTypeId = exports.ZErrorTypeId = exports.ZError = exports.Z = exports.Tell = exports.SucceedNow = exports.Succeed = exports.Provide = exports.Modify = exports.Match = exports.MapLog = exports.Fail = exports.Environment = exports.Defer = exports.Chain = void 0;
+exports.concrete = concrete;
+exports.isZ = isZ;
+exports.isZError = isZError;
+exports.unifyZ = unifyZ;
+
+var _predicates = /*#__PURE__*/require("../../util/predicates.js");
+
+const ZTypeId = /*#__PURE__*/Symbol.for("@principia/base/Z");
+/**
+ * `Z<W, S1, S2, R, E, A>` is a purely functional description of a synchronous computation
+ * that requires an environment `R` and an initial state `S1` and may either
+ * fail with an `E` or succeed with an updated state `S2` and an `A`. Because
+ * of its polymorphism `Z` can be used to model a variety of effects
+ * including context, state, failure, and logging.
+ *
+ * @note named `Z` in honor of `ZIO` and because it is, surely, the last synchronous effect type
+ * one will ever need
+ *
+ * @tsplus type fncts.control.Z
+ * @tsplus companion fncts.control.ZOps
+ */
+
+exports.ZTypeId = ZTypeId;
+
+class Z {
+  constructor() {
+    this._typeId = ZTypeId;
+  }
+
+}
+/**
+ * @tsplus unify fncts.control.Z
+ */
+
+
+exports.Z = Z;
+
+function unifyZ(_) {
+  return _;
+}
+/**
+ * @tsplus static fncts.control.ZOps isZ
+ */
+
+
+function isZ(u) {
+  return (0, _predicates.hasTypeId)(u, ZTypeId);
+}
+
+class SucceedNow extends Z {
+  constructor(value) {
+    super();
+    this.value = value;
+    this._tag = "SucceedNow"
+    /* ZTag.SucceedNow */
+    ;
+  }
+
+}
+
+exports.SucceedNow = SucceedNow;
+
+class Succeed extends Z {
+  constructor(effect) {
+    super();
+    this.effect = effect;
+    this._tag = "Succeed"
+    /* ZTag.Succeed */
+    ;
+  }
+
+}
+
+exports.Succeed = Succeed;
+
+class Defer extends Z {
+  constructor(make) {
+    super();
+    this.make = make;
+    this._tag = "Defer"
+    /* ZTag.Defer */
+    ;
+  }
+
+}
+
+exports.Defer = Defer;
+
+class Fail extends Z {
+  constructor(cause) {
+    super();
+    this.cause = cause;
+    this._tag = "Fail"
+    /* ZTag.Fail */
+    ;
+  }
+
+}
+
+exports.Fail = Fail;
+
+class Modify extends Z {
+  constructor(run) {
+    super();
+    this.run = run;
+    this._tag = "Modify"
+    /* ZTag.Modify */
+    ;
+  }
+
+}
+
+exports.Modify = Modify;
+
+class Chain extends Z {
+  constructor(ma, f) {
+    super();
+    this.ma = ma;
+    this.f = f;
+    this._tag = "Chain"
+    /* ZTag.Chain */
+    ;
+  }
+
+}
+
+exports.Chain = Chain;
+
+class Match extends Z {
+  constructor(z, onFailure, onSuccess) {
+    super();
+    this.z = z;
+    this.onFailure = onFailure;
+    this.onSuccess = onSuccess;
+    this._tag = "Match"
+    /* ZTag.Match */
+    ;
+  }
+
+}
+
+exports.Match = Match;
+
+class Environment extends Z {
+  constructor(asks) {
+    super();
+    this.asks = asks;
+    this._tag = "Environment"
+    /* ZTag.Environment */
+    ;
+  }
+
+}
+
+exports.Environment = Environment;
+
+class Provide extends Z {
+  constructor(ma, env) {
+    super();
+    this.ma = ma;
+    this.env = env;
+    this._tag = "Provide"
+    /* ZTag.Provide */
+    ;
+  }
+
+}
+
+exports.Provide = Provide;
+
+class Tell extends Z {
+  constructor(log) {
+    super();
+    this.log = log;
+    this._tag = "Tell"
+    /* ZTag.Tell */
+    ;
+  }
+
+}
+
+exports.Tell = Tell;
+
+class MapLog extends Z {
+  constructor(ma, modifyLog) {
+    super();
+    this.ma = ma;
+    this.modifyLog = modifyLog;
+    this._tag = "MapLog"
+    /* ZTag.MapLog */
+    ;
+  }
+
+}
+/**
+ * @tsplus static fncts.control.ZOps concrete
+ */
+
+
+exports.MapLog = MapLog;
+
+function concrete(_) {//
+}
+
+const ZErrorTypeId = /*#__PURE__*/Symbol.for("@principia/base/Z/ZError");
+exports.ZErrorTypeId = ZErrorTypeId;
+
+class ZError {
+  constructor(cause) {
+    this.cause = cause;
+    this._typeId = ZErrorTypeId;
+  }
+
+}
+
+exports.ZError = ZError;
+
+function isZError(u) {
+  return (0, _predicates.hasTypeId)(u, ZErrorTypeId);
+}
+//# sourceMappingURL=definition.cjs.map

package/_cjs/control/Z/definition.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;AAEA;;AAaO,MAAMA,OAAO,gBAAGC,MAAM,CAACC,GAAP,CAAW,mBAAX,CAAhB;AAGP;;;;;;;;;;;;;;;;AAaM,MAAgBC,CAAhB,CAAiB;EAAvBC;IACW,eAAmBJ,OAAnB;EAOV;;AARsB;AAUvB;;;;;;;AAGM,SAAUK,MAAV,CAA4DC,CAA5D,EAAgE;EACpE,OAAOA,CAAP;AACD;AAED;;;;;AAGM,SAAUC,GAAV,CAAcC,CAAd,EAAwB;EAC5B,OAAO,2BAAUA,CAAV,EAAaR,OAAb,CAAP;AACD;;AAiBK,MAAOS,UAAP,SAA6BN,CAA7B,CAAwE;EAE5EC,YAAqBM,KAArB,EAA6B;IAC3B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJ2E;;;;AAOxE,MAAOC,OAAP,SAA0BR,CAA1B,CAAqE;EAEzEC,YAAqBQ,MAArB,EAAoC;IAClC;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJwE;;;;AAOrE,MAAOC,KAAP,SAAyCV,CAAzC,CAA8D;EAElEC,YAAqBU,IAArB,EAAsD;IACpD;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJiE;;;;AAO9D,MAAOC,IAAP,SAAuBZ,CAAvB,CAAkE;EAEtEC,YAAqBY,KAArB,EAAoC;IAClC;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJqE;;;;AAOlE,MAAOC,MAAP,SAAiCd,CAAjC,CAAoE;EAExEC,YAAqBc,GAArB,EAAsD;IACpD;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJuE;;;;AAOpE,MAAOC,KAAP,SAA0DhB,CAA1D,CAA4F;EAEhGC,YAAqBgB,EAArB,EAAyDC,CAAzD,EAA4F;IAC1F;IADmB;IAAoC;IADhD,YAAI;IAAA;IAAJ;EAGR;;AAJ+F;;;;AAO5F,MAAOC,KAAP,SAAmFnB,CAAnF,CAOL;EAECC,YACWmB,CADX,EAEWC,SAFX,EAGWC,SAHX,EAGqE;IAEnE;IAJS;IACA;IACA;IAJF,YAAI;IAAA;IAAJ;EAOR;;AARF;;;;AAWK,MAAOC,WAAP,SAAmDvB,CAAnD,CAA6E;EAEjFC,YAAqBuB,IAArB,EAA2D;IACzD;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJgF;;;;AAO7E,MAAOC,OAAP,SAA2CzB,CAA3C,CAAsE;EAE1EC,YAAqBgB,EAArB,EAAyDS,GAAzD,EAA+D;IAC7D;IADmB;IAAoC;IADhD,YAAI;IAAA;IAAJ;EAGR;;AAJyE;;;;AAOtE,MAAOC,IAAP,SAAuB3B,CAAvB,CAAiE;EAErEC,YAAqB2B,GAArB,EAAiC;IAC/B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJoE;;;;AAOjE,MAAOC,MAAP,SAA8C7B,CAA9C,CAAoE;EAExEC,YAAqBgB,EAArB,EAAyDa,SAAzD,EAA6F;IAC3F;IADmB;IAAoC;IADhD,YAAI;IAAA;IAAJ;EAGR;;AAJuE;AAoB1E;;;;;;;AAGM,SAAUC,QAAV,CAAmB5B,CAAnB,EAAqD,CACzD;AACD;;AAEM,MAAM6B,YAAY,gBAAGlC,MAAM,CAACC,GAAP,CAAW,0BAAX,CAArB;;;AAGD,MAAOkC,MAAP,CAAa;EAEjBhC,YAAqBY,KAArB,EAAoC;IAAf;IADZ,eAAwBmB,YAAxB;EAC+B;;AAFvB;;;;AAKb,SAAUE,QAAV,CAAmB7B,CAAnB,EAA6B;EACjC,OAAO,2BAAUA,CAAV,EAAa2B,YAAb,CAAP;AACD","names":["ZTypeId","Symbol","for","Z","constructor","unifyZ","_","isZ","u","SucceedNow","value","Succeed","effect","Defer","make","Fail","cause","Modify","run","Chain","ma","f","Match","z","onFailure","onSuccess","Environment","asks","Provide","env","Tell","log","MapLog","modifyLog","concrete","ZErrorTypeId","ZError","isZError"],"sourceRoot":"","sources":["../../../_src/control/Z/definition.ts"],"sourcesContent":[null]}

package/_cjs/control/Z/instances.cjs

@@ -0,0 +1,28 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.Applicative = void 0;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Applicative"));
+
+var P = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../../typeclass.js"));
+
+var _api = /*#__PURE__*/require("./api.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; }
+
+/**
+ * @tsplus static fncts.control.ZOps Applicative
+ */
+const Applicative = /*#__PURE__*/tsplus_module_1.mkApplicative({
+  map_: _api.map_,
+  ap_: _api.ap_,
+  zipWith_: _api.crossWith_,
+  pure: _api.succeedNow
+});
+exports.Applicative = Applicative;
+//# sourceMappingURL=instances.cjs.map

package/_cjs/control/Z/instances.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"instances.cjs","mappings":";;;;;;;;;AAEA;;AACA;;;;;;AAEA;;;AAGO,MAAMA,WAAW,gBAAsBC,8BAAc;EAC1DC,IAAI,EAAJA,SAD0D;EAE1DC,GAAG,EAAHA,QAF0D;EAG1DC,QAAQ,EAAEC,eAHgD;EAI1DC,IAAI,EAAEC;AAJoD,CAAd,CAAvC","names":["Applicative","tsplus_module_1","map_","ap_","zipWith_","crossWith_","pure","succeedNow"],"sourceRoot":"","sources":["../../../_src/control/Z/instances.ts"],"sourcesContent":[null]}

package/_cjs/control/Z/runtime.cjs

@@ -0,0 +1,387 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.unsafeRunAll_ = void 0;
+exports.unsafeRunExit = unsafeRunExit;
+exports.unsafeRunReader_ = unsafeRunReader_;
+exports.unsafeRunResult = void 0;
+exports.unsafeRunStateResult_ = unsafeRunStateResult_;
+exports.unsafeRunState_ = unsafeRunState_;
+exports.unsafeRunWriter = unsafeRunWriter;
+exports.unsafeRun_ = void 0;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/internal/Stack"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/api/empty"));
+
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Z/api"));
+
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Cause/api"));
+
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Exit/constructors"));
+
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Exit/api"));
+
+var _function = /*#__PURE__*/require("../../data/function.js");
+
+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; }
+
+const fileName_1 = "(@fncts/base) src/control/Z/runtime.ts";
+const unsafeRunAll_ = unsafeRunAll_1;
+exports.unsafeRunAll_ = unsafeRunAll_;
+const unsafeRun_ = unsafeRun_1;
+exports.unsafeRun_ = unsafeRun_;
+const unsafeRunResult = unsafeRunResult_1;
+exports.unsafeRunResult = unsafeRunResult;
+
+class MatchFrame {
+  constructor(failure, apply) {
+    this.failure = failure;
+    this.apply = apply;
+    this._zTag = "MatchFrame";
+  }
+
+}
+
+class ApplyFrame {
+  constructor(apply) {
+    this.apply = apply;
+    this._zTag = "ApplyFrame";
+  }
+
+}
+/**
+ * Runs this computation with the specified initial state, returning either a
+ * failure or the updated state and the result
+ *
+ * @tsplus fluent fncts.control.Z unsafeRunAll
+ */
+
+
+function unsafeRunAll_1(ma, s) {
+  const stack = tsplus_module_1.mkStack();
+  let s0 = s;
+  let result = null;
+  const environment = tsplus_module_1.mkStack();
+  let failed = false;
+  let current = ma;
+  let log = tsplus_module_2.empty();
+
+  function unsafeUnwindStack() {
+    let unwinding = true;
+
+    while (unwinding) {
+      const next = stack.pop();
+
+      if (next == null) {
+        unwinding = false;
+      } else {
+        if (next._zTag === "MatchFrame") {
+          unwinding = false;
+          stack.push(new ApplyFrame(next.failure));
+        }
+      }
+    }
+  }
+
+  while (current != null) {
+    try {
+      while (current != null) {
+        const currZ = current;
+        (0, _definition.concrete)(currZ);
+
+        switch (currZ._tag) {
+          case "Chain"
+          /* ZTag.Chain */
+          :
+            {
+              const nested = currZ.ma;
+              const continuation = currZ.f;
+              (0, _definition.concrete)(nested);
+
+              switch (nested._tag) {
+                case "SucceedNow"
+                /* ZTag.SucceedNow */
+                :
+                  {
+                    current = continuation(nested.value);
+                    break;
+                  }
+
+                case "Succeed"
+                /* ZTag.Succeed */
+                :
+                  {
+                    current = continuation(nested.effect());
+                    break;
+                  }
+
+                case "Modify"
+                /* ZTag.Modify */
+                :
+                  {
+                    const updated = nested.run(s0);
+                    result = updated[0];
+                    s0 = updated[1];
+                    current = continuation(result);
+                    break;
+                  }
+
+                default:
+                  {
+                    current = nested;
+                    stack.push(new ApplyFrame(continuation));
+                    break;
+                  }
+              }
+
+              break;
+            }
+
+          case "Succeed"
+          /* ZTag.Succeed */
+          :
+            {
+              result = currZ.effect();
+              const nextInstruction = stack.pop();
+
+              if (nextInstruction) {
+                current = nextInstruction.apply(result);
+              } else {
+                current = undefined;
+              }
+
+              break;
+            }
+
+          case "Defer"
+          /* ZTag.Defer */
+          :
+            {
+              current = currZ.make();
+              break;
+            }
+
+          case "SucceedNow"
+          /* ZTag.SucceedNow */
+          :
+            {
+              result = currZ.value;
+              const nextInstr = stack.pop();
+
+              if (nextInstr) {
+                current = nextInstr.apply(result);
+              } else {
+                current = undefined;
+              }
+
+              break;
+            }
+
+          case "Fail"
+          /* ZTag.Fail */
+          :
+            {
+              unsafeUnwindStack();
+              const nextInst = stack.pop();
+
+              if (nextInst) {
+                current = nextInst.apply(currZ.cause);
+              } else {
+                failed = true;
+                result = currZ.cause;
+                current = undefined;
+              }
+
+              break;
+            }
+
+          case "Match"
+          /* ZTag.Match */
+          :
+            {
+              current = currZ.z;
+              const state = s0;
+              stack.push(new MatchFrame(cause => {
+                const m = tsplus_module_3.flatMap_(tsplus_module_3.put(state), () => currZ.onFailure(log, cause));
+                log = tsplus_module_2.empty();
+                return m;
+              }, a => {
+                const m = currZ.onSuccess(log, a);
+                log = tsplus_module_2.empty();
+                return m;
+              }));
+              break;
+            }
+
+          case "Environment"
+          /* ZTag.Environment */
+          :
+            {
+              current = currZ.asks(environment.peek() ?? {});
+              break;
+            }
+
+          case "Provide"
+          /* ZTag.Provide */
+          :
+            {
+              environment.push(currZ.env);
+              current = tsplus_module_3.match_(currZ.ma, e => tsplus_module_3.flatMap_(tsplus_module_3.succeedNow(environment.pop(), fileName_1 + ":151:34"), () => tsplus_module_3.failNow(e, fileName_1 + ":151:77")), a => tsplus_module_3.flatMap_(tsplus_module_3.succeedNow(environment.pop(), fileName_1 + ":152:34"), () => tsplus_module_3.succeedNow(a, fileName_1 + ":152:80")));
+              break;
+            }
+
+          case "Modify"
+          /* ZTag.Modify */
+          :
+            {
+              const updated = currZ.run(s0);
+              s0 = updated[1];
+              result = updated[0];
+              const nextInst = stack.pop();
+
+              if (nextInst) {
+                current = nextInst.apply(result);
+              } else {
+                current = undefined;
+              }
+
+              break;
+            }
+
+          case "Tell"
+          /* ZTag.Tell */
+          :
+            {
+              log = currZ.log;
+              const nextInst = stack.pop();
+
+              if (nextInst) {
+                current = nextInst.apply(result);
+              } else {
+                current = undefined;
+              }
+
+              break;
+            }
+
+          case "MapLog"
+          /* ZTag.MapLog */
+          :
+            {
+              current = currZ.ma;
+              stack.push(new MatchFrame(cause => {
+                log = currZ.modifyLog(log);
+                return tsplus_module_3.failCauseNow(cause, fileName_1 + ":184:40");
+              }, a => {
+                log = currZ.modifyLog(log);
+                return tsplus_module_3.succeedNow(a, fileName_1 + ":188:38");
+              }));
+            }
+        }
+      }
+    } catch (e) {
+      if ((0, _definition.isZError)(e)) {
+        current = tsplus_module_3.failCauseNow(e.cause, fileName_1 + ":197:33");
+      } else {
+        failed = true;
+        result = tsplus_module_4.halt(e);
+      }
+    }
+  }
+
+  if (failed) {
+    return [log, tsplus_module_5.failCause(result)];
+  }
+
+  return [log, tsplus_module_5.succeed([s0, result])];
+}
+/**
+ * Runs this computation with the specified initial state, returning both
+ * the updated state and the result.
+ *
+ * @tsplus fluent fncts.control.Z unsafeRun
+ */
+
+
+function unsafeRun_1(ma, s) {
+  return tsplus_module_6.match_(unsafeRunAll_1(ma, s)[1], cause => {
+    // throw cause.squash
+    throw new Error();
+  }, _function.identity);
+}
+/**
+ * Runs this computation, returning the result.
+ *
+ * @tsplus getter fncts.control.Z unsafeRunResult
+ */
+
+
+function unsafeRunResult_1(ma) {
+  return unsafeRun_1(ma, {})[1];
+}
+/**
+ * Runs this computation with the given environment, returning the result.
+ *
+ * @tsplus fluent fncts.control.Z unsafeRunReader
+ */
+
+
+function unsafeRunReader_(ma, r) {
+  return unsafeRunResult_1(tsplus_module_3.provideEnvironment_(ma, r));
+}
+/**
+ * Runs this computation with the specified initial state, returning the
+ * updated state and discarding the result.
+ *
+ * @tsplus fluent fncts.control.Z unsafeRunState
+ */
+
+
+function unsafeRunState_(ma, s) {
+  return unsafeRun_1(ma, s)[0];
+}
+/**
+ * Runs this computation with the specified initial state, returning the
+ * result and discarding the updated state.
+ *
+ * @tsplus fluent fncts.control.Z unsafeRunStateResult
+ */
+
+
+function unsafeRunStateResult_(ma, s) {
+  return tsplus_module_6.match_(unsafeRunAll_1(ma, s)[1], cause => {
+    // throw cause.squash
+    throw new Error();
+  }, ([_, a]) => a);
+}
+/**
+ * Runs this computation returning either the result or error
+ *
+ * @tsplus getter fncts.control.Z unsafeRunExit
+ */
+
+
+function unsafeRunExit(ma) {
+  return tsplus_module_6.map_(unsafeRunAll_1(ma, {})[1], ([_, a]) => a);
+}
+/**
+ *
+ * @tsplus getter fncts.control.Z unsafeRunWriter
+ */
+
+
+function unsafeRunWriter(ma) {
+  const [w, exit] = unsafeRunAll_1(ma, {});
+  return tsplus_module_6.match_(exit, () => {
+    // throw cause.squash
+    throw new Error();
+  }, ([_, a]) => [w, a]);
+}
+//# sourceMappingURL=runtime.cjs.map

package/_cjs/control/Z/runtime.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;AAEA;;;;;;;MAuBgBA,aAAa;;MAgMbC,UAAU;;MAYVC,eAAe;;;AAjO/B,MAAMC,UAAN,CAAgB;EAEdC,YACWC,OADX,EAEWC,KAFX,EAE6D;IADlD;IACA;IAHF,aAAQ,YAAR;EAIL;;AALU;;AAQhB,MAAMC,UAAN,CAAgB;EAEdH,YAAqBE,KAArB,EAAuE;IAAlD;IADZ,aAAQ,YAAR;EACkE;;AAF7D;AAOhB;;;;;;;;AAMA,wBACEE,EADF,EAEEC,CAFF,EAEO;EAEL,MAAMC,KAAK,GAAiBC,yBAA5B;EACA,IAAIC,EAAE,GAAsBH,CAA5B;EACA,IAAII,MAAM,GAAkB,IAA5B;EACA,MAAMC,WAAW,GAAWH,yBAA5B;EACA,IAAII,MAAM,GAAkB,KAA5B;EACA,IAAIC,OAAO,GAAiBR,EAA5B;EACA,IAAIS,GAAG,GAAqBC,uBAA5B;;EAEA,SAASC,iBAAT,GAA0B;IACxB,IAAIC,SAAS,GAAG,IAAhB;;IACA,OAAOA,SAAP,EAAkB;MAChB,MAAMC,IAAI,GAAGX,KAAK,CAACY,GAAN,EAAb;;MAEA,IAAID,IAAI,IAAI,IAAZ,EAAkB;QAChBD,SAAS,GAAG,KAAZ;MACD,CAFD,MAEO;QACL,IAAIC,IAAI,CAACE,KAAL,KAAe,YAAnB,EAAiC;UAC/BH,SAAS,GAAG,KAAZ;UACAV,KAAK,CAACc,IAAN,CAAW,IAAIjB,UAAJ,CAAec,IAAI,CAAChB,OAApB,CAAX;QACD;MACF;IACF;EACF;;EAED,OAAOW,OAAO,IAAI,IAAlB,EAAwB;IACtB,IAAI;MACF,OAAOA,OAAO,IAAI,IAAlB,EAAwB;QACtB,MAAMS,KAAK,GAAoCT,OAA/C;QACA,0BAASS,KAAT;;QAEA,QAAQA,KAAK,CAACC,IAAd;UACE;UAAA;UAAA;YAAiB;cACf,MAAMC,MAAM,GAASF,KAAK,CAACjB,EAA3B;cACA,MAAMoB,YAAY,GAAGH,KAAK,CAACI,CAA3B;cACA,0BAASF,MAAT;;cACA,QAAQA,MAAM,CAACD,IAAf;gBACE;gBAAA;gBAAA;kBAAsB;oBACpBV,OAAO,GAAGY,YAAY,CAACD,MAAM,CAACG,KAAR,CAAtB;oBACA;kBACD;;gBACD;gBAAA;gBAAA;kBAAmB;oBACjBd,OAAO,GAAGY,YAAY,CAACD,MAAM,CAACI,MAAP,EAAD,CAAtB;oBACA;kBACD;;gBACD;gBAAA;gBAAA;kBAAkB;oBAChB,MAAMC,OAAO,GAAGL,MAAM,CAACM,GAAP,CAAWrB,EAAX,CAAhB;oBACAC,MAAM,GAAUmB,OAAO,CAAC,CAAD,CAAvB;oBACApB,EAAE,GAAcoB,OAAO,CAAC,CAAD,CAAvB;oBACAhB,OAAO,GAASY,YAAY,CAACf,MAAD,CAA5B;oBACA;kBACD;;gBACD;kBAAS;oBACPG,OAAO,GAAGW,MAAV;oBACAjB,KAAK,CAACc,IAAN,CAAW,IAAIjB,UAAJ,CAAeqB,YAAf,CAAX;oBACA;kBACD;cApBH;;cAsBA;YACD;;UACD;UAAA;UAAA;YAAmB;cACjBf,MAAM,GAAkBY,KAAK,CAACM,MAAN,EAAxB;cACA,MAAMG,eAAe,GAAGxB,KAAK,CAACY,GAAN,EAAxB;;cACA,IAAIY,eAAJ,EAAqB;gBACnBlB,OAAO,GAAGkB,eAAe,CAAC5B,KAAhB,CAAsBO,MAAtB,CAAV;cACD,CAFD,MAEO;gBACLG,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAiB;cACfnB,OAAO,GAAGS,KAAK,CAACW,IAAN,EAAV;cACA;YACD;;UACD;UAAA;UAAA;YAAsB;cACpBvB,MAAM,GAAYY,KAAK,CAACK,KAAxB;cACA,MAAMO,SAAS,GAAG3B,KAAK,CAACY,GAAN,EAAlB;;cACA,IAAIe,SAAJ,EAAe;gBACbrB,OAAO,GAAGqB,SAAS,CAAC/B,KAAV,CAAgBO,MAAhB,CAAV;cACD,CAFD,MAEO;gBACLG,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAgB;cACdhB,iBAAiB;cACjB,MAAMmB,QAAQ,GAAG5B,KAAK,CAACY,GAAN,EAAjB;;cACA,IAAIgB,QAAJ,EAAc;gBACZtB,OAAO,GAAGsB,QAAQ,CAAChC,KAAT,CAAemB,KAAK,CAACc,KAArB,CAAV;cACD,CAFD,MAEO;gBACLxB,MAAM,GAAI,IAAV;gBACAF,MAAM,GAAIY,KAAK,CAACc,KAAhB;gBACAvB,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAiB;cACfnB,OAAO,GAAOS,KAAK,CAACe,CAApB;cACA,MAAMC,KAAK,GAAG7B,EAAd;cACAF,KAAK,CAACc,IAAN,CACE,IAAIrB,UAAJ,CACGoC,KAAD,IAAsB;gBACpB,MAAMG,CAAC,GAAGC,6CAAMF,KAAN,GAAqB,MAAMhB,KAAK,CAACmB,SAAN,CAAgB3B,GAAhB,EAAqBsB,KAArB,CAA3B,CAAV;gBACAtB,GAAG,GAAOC,uBAAV;gBACA,OAAOwB,CAAP;cACD,CALH,EAMGG,CAAD,IAAM;gBACJ,MAAMH,CAAC,GAAGjB,KAAK,CAACqB,SAAN,CAAgB7B,GAAhB,EAAqB4B,CAArB,CAAV;gBACA5B,GAAG,GAAOC,uBAAV;gBACA,OAAOwB,CAAP;cACD,CAVH,CADF;cAcA;YACD;;UACD;UAAA;UAAA;YAAuB;cACrB1B,OAAO,GAAGS,KAAK,CAACsB,IAAN,CAAWjC,WAAW,CAACkC,IAAZ,MAAsB,EAAjC,CAAV;cACA;YACD;;UACD;UAAA;UAAA;YAAmB;cACjBlC,WAAW,CAACU,IAAZ,CAAiBC,KAAK,CAACwB,GAAvB;cACAjC,OAAO,GAAG2B,4BAAK,CAACnC,EAAN,EACP0C,CAAD,IAAOP,oDAAa7B,WAAW,CAACQ,GAAZ,EAAb,EAA8B6B,sBAA9B,GAAwC,MAAMR,wBAAUO,CAAV,EAAWC,sBAAX,CAA9C,CADC,EAEPN,CAAD,IAAOF,oDAAa7B,WAAW,CAACQ,GAAZ,EAAb,EAA8B6B,sBAA9B,GAAwC,MAAMR,2BAAaE,CAAb,EAAcM,sBAAd,CAA9C,CAFC,CAAV;cAIA;YACD;;UACD;UAAA;UAAA;YAAkB;cAChB,MAAMnB,OAAO,GAAIP,KAAK,CAACQ,GAAN,CAAUrB,EAAV,CAAjB;cACAA,EAAE,GAAeoB,OAAO,CAAC,CAAD,CAAxB;cACAnB,MAAM,GAAWmB,OAAO,CAAC,CAAD,CAAxB;cACA,MAAMM,QAAQ,GAAG5B,KAAK,CAACY,GAAN,EAAjB;;cACA,IAAIgB,QAAJ,EAAc;gBACZtB,OAAO,GAAGsB,QAAQ,CAAChC,KAAT,CAAeO,MAAf,CAAV;cACD,CAFD,MAEO;gBACLG,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAgB;cACdlB,GAAG,GAAcQ,KAAK,CAACR,GAAvB;cACA,MAAMqB,QAAQ,GAAG5B,KAAK,CAACY,GAAN,EAAjB;;cACA,IAAIgB,QAAJ,EAAc;gBACZtB,OAAO,GAAGsB,QAAQ,CAAChC,KAAT,CAAeO,MAAf,CAAV;cACD,CAFD,MAEO;gBACLG,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAkB;cAChBnB,OAAO,GAAGS,KAAK,CAACjB,EAAhB;cACAE,KAAK,CAACc,IAAN,CACE,IAAIrB,UAAJ,CACGoC,KAAD,IAAsB;gBACpBtB,GAAG,GAAGQ,KAAK,CAAC2B,SAAN,CAAgBnC,GAAhB,CAAN;gBACA,OAAO0B,6BAAeJ,KAAf,EAAoBY,sBAApB,CAAP;cACD,CAJH,EAKGN,CAAD,IAAM;gBACJ5B,GAAG,GAAGQ,KAAK,CAAC2B,SAAN,CAAgBnC,GAAhB,CAAN;gBACA,OAAO0B,2BAAaE,CAAb,EAAcM,sBAAd,CAAP;cACD,CARH,CADF;YAYD;QApIH;MAsID;IACF,CA5ID,CA4IE,OAAOD,CAAP,EAAU;MACV,IAAI,0BAASA,CAAT,CAAJ,EAAiB;QACflC,OAAO,GAAG2B,6BAAeO,CAAC,CAACX,KAAjB,EAAsBY,sBAAtB,CAAV;MACD,CAFD,MAEO;QACLpC,MAAM,GAAG,IAAT;QACAF,MAAM,GAAGwC,qBAAWH,CAAX,CAAT;MACD;IACF;EACF;;EAED,IAAInC,MAAJ,EAAY;IACV,OAAO,CAACE,GAAD,EAAMqC,0BAAezC,MAAf,CAAN,CAAP;EACD;;EAED,OAAO,CAACI,GAAD,EAAMqC,wBAAa,CAAC1C,EAAD,EAAKC,MAAL,CAAb,CAAN,CAAP;AACD;AAED;;;;;;;;AAMA,qBAAyCL,EAAzC,EAA8EC,CAA9E,EAAmF;EACjF,OAAO8C,0CAAgB9C,CAAhB,EAAmB,CAAnB,GAA6B8B,KAAD,IAAU;IAC3C;IACA,MAAM,IAAIiB,KAAJ,EAAN;EACD,CAHM,EAGJC,kBAHI,CAAP;AAID;AAED;;;;;;;AAKA,2BAAsCjD,EAAtC,EAAmF;EACjF,OAAOkD,YAAWlD,EAAX,EAAe,EAAf,EAAmB,CAAnB,CAAP;AACD;AAED;;;;;;;AAKM,SAAUmD,gBAAV,CAAoCnD,EAApC,EAA2EoD,CAA3E,EAA+E;EACnF,OAAOC,kBAAgBlB,wCAAsBiB,CAAtB,CAAhB,CAAP;AACD;AAED;;;;;;;;AAMM,SAAUE,eAAV,CAAwCtD,EAAxC,EAA6EC,CAA7E,EAAkF;EACtF,OAAOiD,gBAAajD,CAAb,EAAgB,CAAhB,CAAP;AACD;AAED;;;;;;;;AAMM,SAAUsD,qBAAV,CAA8CvD,EAA9C,EAAmFC,CAAnF,EAAwF;EAC5F,OAAO8C,0CAAgB9C,CAAhB,EAAmB,CAAnB,GACJ8B,KAAD,IAAU;IACR;IACA,MAAM,IAAIiB,KAAJ,EAAN;EACD,CAJI,EAKL,CAAC,CAACQ,CAAD,EAAInB,CAAJ,CAAD,KAAYA,CALP,CAAP;AAOD;AAED;;;;;;;AAKM,SAAUoB,aAAV,CAA8BzD,EAA9B,EAA2E;EAC/E,OAAO+C,wCAAgB,EAAhB,EAA6B,CAA7B,GAAoC,CAAC,CAACS,CAAD,EAAInB,CAAJ,CAAD,KAAYA,CAAhD,CAAP;AACD;AAED;;;;;;AAIM,SAAUqB,eAAV,CAAgC1D,EAAhC,EAA6E;EACjF,MAAM,CAAC2D,CAAD,EAAIC,IAAJ,IAAYC,mBAAgB,EAAhB,CAAlB;EACA,OAAOd,6BACL,MAAK;IACH;IACA,MAAM,IAAIC,KAAJ,EAAN;EACD,CAJI,EAKL,CAAC,CAACQ,CAAD,EAAInB,CAAJ,CAAD,KAAY,CAACsB,CAAD,EAAItB,CAAJ,CALP,CAAP;AAOD","names":["unsafeRunAll_","unsafeRun_","unsafeRunResult","MatchFrame","constructor","failure","apply","ApplyFrame","ma","s","stack","tsplus_module_1","s0","result","environment","failed","current","log","tsplus_module_2","unsafeUnwindStack","unwinding","next","pop","_zTag","push","currZ","_tag","nested","continuation","f","value","effect","updated","run","nextInstruction","undefined","make","nextInstr","nextInst","cause","z","state","m","tsplus_module_3","onFailure","a","onSuccess","asks","peek","env","e","fileName_1","modifyLog","tsplus_module_4","tsplus_module_5","tsplus_module_6","Error","identity","unsafeRun_1","unsafeRunReader_","r","unsafeRunResult_1","unsafeRunState_","unsafeRunStateResult_","_","unsafeRunExit","unsafeRunWriter","w","exit","unsafeRunAll_1"],"sourceRoot":"","sources":["../../../_src/control/Z/runtime.ts"],"sourcesContent":[null]}