@fncts/base 0.0.29 → 0.0.30

package/_cjs/control/{Z → Pure}/api.cjs

@@ -15,29 +15,31 @@ exports.defer = exports.crossWith = void 0;
 exports.either = either;
 exports.environment = environment;
 exports.environmentWith = environmentWith;
-exports.environmentWithZ = void 0;
+exports.environmentWithPure = void 0;
 exports.erase = erase;
 exports.fail = fail;
 exports.flatMap = exports.failNow = exports.failCauseNow = exports.failCause = void 0;
 exports.flatten = flatten;
 exports.get = void 0;
 exports.gets = gets;
-exports.getsZ = getsZ;
+exports.getsPure = getsPure;
 exports.halt = halt;
 exports.haltNow = haltNow;
 exports.listen = void 0;
 exports.listens = listens;
 exports.map = void 0;
 exports.mapError = mapError;
-exports.matchLogCauseZ = exports.matchCauseZ = exports.match = exports.mapState = exports.mapLog = void 0;
-exports.matchLogZ = matchLogZ;
-exports.modify = exports.matchZ = void 0;
+exports.matchLogCausePure = exports.matchCausePure = exports.match = exports.mapState = exports.mapLog = void 0;
+exports.matchLogPure = matchLogPure;
+exports.modify = exports.matchPure = void 0;
 exports.modifyEither = modifyEither;
 exports.orElse = orElse;
 exports.orElseEither = orElseEither;
 exports.provideEnvironment = void 0;
 exports.put = put;
-exports.succeedNow = exports.succeed = exports.repeatUntil = exports.repeatN = void 0;
+exports.repeatUntil = exports.repeatN = void 0;
+exports.succeed = succeed;
+exports.succeedNow = void 0;
 exports.tap = tap;
 exports.tell = tell;
 exports.update = exports.unit = exports.transform = exports.tellAll = void 0;
@@ -57,11 +59,11 @@ var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
 var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/api"));
 var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/constructors"));
 var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Zipped"));
+var _definition = /*#__PURE__*/require("@fncts/base/control/Pure/definition");
 var _function = /*#__PURE__*/require("../../data/function.cjs");
-var _definition = /*#__PURE__*/require("./definition.cjs");
 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/api.ts";
+const fileName_1 = "(@fncts/base) src/control/Pure/api.ts";
 const catchAll = catchAll_1;
 exports.catchAll = catchAll;
 const flatMap = flatMap_1;
@@ -70,8 +72,8 @@ const crossWith = crossWith_1;
 exports.crossWith = crossWith;
 const defer = defer_1;
 exports.defer = defer;
-const environmentWithZ = environmentWithZ_1;
-exports.environmentWithZ = environmentWithZ;
+const environmentWithPure = environmentWithPure_1;
+exports.environmentWithPure = environmentWithPure;
 const failNow = failNow_1;
 exports.failNow = failNow;
 const failCause = failCause_1;
@@ -90,12 +92,12 @@ const mapState = mapState_1;
 exports.mapState = mapState;
 const match = match_1;
 exports.match = match;
-const matchZ = matchZ_1;
-exports.matchZ = matchZ;
-const matchCauseZ = matchCauseZ_1;
-exports.matchCauseZ = matchCauseZ;
-const matchLogCauseZ = matchLogCauseZ_1;
-exports.matchLogCauseZ = matchLogCauseZ;
+const matchPure = matchPure_1;
+exports.matchPure = matchPure;
+const matchCausePure = matchCausePure_1;
+exports.matchCausePure = matchCausePure;
+const matchLogCausePure = matchLogCausePure_1;
+exports.matchLogCausePure = matchLogCausePure;
 const modify = modify_1;
 exports.modify = modify;
 const provideEnvironment = provideEnvironment_1;
@@ -104,8 +106,6 @@ const repeatN = repeatN_1;
 exports.repeatN = repeatN;
 const repeatUntil = repeatUntil_1;
 exports.repeatUntil = repeatUntil;
-const succeed = succeed_1;
-exports.succeed = succeed;
 const succeedNow = succeedNow_1;
 exports.succeedNow = succeedNow;
 const tellAll = tellAll_1;
@@ -119,13 +119,13 @@ exports.writeAll = writeAll;
 const zipWith = zipWith_1;
 exports.zipWith = zipWith;
 /**
- * @tsplus getter fncts.control.Z absolve
+ * @tsplus getter fncts.control.Pure absolve
  */
 function absolve(fa) {
   return flatMap_1(ea => tsplus_module_1.match(failNow_1, succeedNow_1)(ea))(fa);
 }
 /**
- * @tsplus pipeable fncts.control.Z ap
+ * @tsplus pipeable fncts.control.Pure ap
  */
 function ap(fb) {
   return self => {
@@ -133,7 +133,7 @@ function ap(fb) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z zipLeft
+ * @tsplus pipeable fncts.control.Pure zipLeft
  */
 function zipLeft(fb) {
   return fa => {
@@ -141,7 +141,7 @@ function zipLeft(fb) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z zipRight
+ * @tsplus pipeable fncts.control.Pure zipRight
  */
 function zipRight(fb) {
   return fa => {
@@ -149,25 +149,25 @@ function zipRight(fb) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z bimap
+ * @tsplus pipeable fncts.control.Pure bimap
  */
 function bimap(f, g) {
   return pab => {
-    return matchZ_1(e => failNow_1(f(e), fileName_1 + ":44:23"), a => succeedNow_1(g(a), fileName_1 + ":45:26"))(pab);
+    return matchPure_1(e => failNow_1(f(e), fileName_1 + ":47:26"), a => succeedNow_1(g(a), fileName_1 + ":48:29"))(pab);
   };
 }
 /**
  * Recovers from all errors.
  *
- * @tsplus pipeable fncts.control.Z catchAll
+ * @tsplus pipeable fncts.control.Pure catchAll
  */
 function catchAll_1(onFailure) {
   return fa => {
-    return matchZ_1(onFailure, succeedNow_1)(fa);
+    return matchPure_1(onFailure, succeedNow_1)(fa);
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z catchJust
+ * @tsplus pipeable fncts.control.Pure catchJust
  */
 function catchJust(f) {
   return fa => {
@@ -175,26 +175,29 @@ function catchJust(f) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z flatMap
+ * @tsplus pipeable fncts.control.Pure flatMap
  */
 function flatMap_1(f) {
   return ma => {
-    return new _definition.Chain(ma, f);
+    const z = new _definition.PurePrimitive(5 /* PureTag.Chain */);
+    z.i0 = ma;
+    z.i1 = f;
+    return z;
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z contramapEnvironment
+ * @tsplus pipeable fncts.control.Pure contramapEnvironment
  */
 function contramapEnvironment(f) {
   return ma => {
-    return environmentWithZ_1(r => provideEnvironment_1(f(r))(ma));
+    return environmentWithPure_1(r => provideEnvironment_1(f(r))(ma));
   };
 }
 /**
  * Transforms the initial state of this computation` with the specified
  * function.
  *
- * @tsplus pipeable fncts.control.Z contramapState
+ * @tsplus pipeable fncts.control.Pure contramapState
  */
 function contramapState(f) {
   return fa => {
@@ -202,7 +205,7 @@ function contramapState(f) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z cross
+ * @tsplus pipeable fncts.control.Pure cross
  */
 function cross(fb) {
   return fa => {
@@ -210,7 +213,7 @@ function cross(fb) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z crossWith
+ * @tsplus pipeable fncts.control.Pure crossWith
  */
 function crossWith_1(fb, f) {
   return fa => {
@@ -218,73 +221,83 @@ function crossWith_1(fb, f) {
   };
 }
 /**
- * @tsplus static fncts.control.ZOps defer
+ * @tsplus static fncts.control.PureOps defer
  */
 function defer_1(ma, __tsplusTrace) {
-  return new _definition.Defer(ma);
+  const z = new _definition.PurePrimitive(2 /* PureTag.Defer */);
+  z.i0 = ma;
+  return z;
 }
 /**
  * Returns a computation whose failure and success have been lifted into an
  * `Either`. The resulting computation cannot fail, because the failure case
  * has been exposed as part of the `Either` success case.
  *
- * @tsplus getter fncts.control.Z either
+ * @tsplus getter fncts.control.Pure either
  */
 function either(fa) {
   return match_1(tsplus_module_3.left, tsplus_module_3.right)(fa);
 }
 /**
- * @tsplus static fncts.control.ZOps environment
+ * @tsplus static fncts.control.PureOps environment
  */
 function environment() {
-  return new _definition.Access(r => succeedNow_1(r, fileName_1 + ":143:40"));
+  const z = new _definition.PurePrimitive(7 /* PureTag.Access */);
+  z.i0 = r => succeedNow_1(r, fileName_1 + ":152:40");
+  return z;
 }
 /**
- * @tsplus static fncts.control.ZOps environmentWith
+ * @tsplus static fncts.control.PureOps environmentWith
  */
 function environmentWith(f) {
-  return new _definition.Access(r => succeed_1(() => f(r), fileName_1 + ":150:35"));
+  const z = new _definition.PurePrimitive(7 /* PureTag.Access */);
+  z.i0 = r => succeedNow_1(f(r), fileName_1 + ":161:40");
+  return z;
 }
 /**
- * @tsplus static fncts.control.ZOps environmentWithZ
+ * @tsplus static fncts.control.PureOps environmentWithPure
  */
-function environmentWithZ_1(f) {
-  return new _definition.Access(f);
+function environmentWithPure_1(f) {
+  const z = new _definition.PurePrimitive(7 /* PureTag.Access */);
+  z.i0 = f;
+  return z;
 }
 /**
  * Erases the current log
  *
- * @tsplus getter fncts.control.Z erase
+ * @tsplus getter fncts.control.Pure erase
  */
 function erase(wa) {
   return mapLog_1(() => tsplus_module_4.empty())(wa);
 }
 /**
- * @tsplus static fncts.control.ZOps fail
+ * @tsplus static fncts.control.PureOps fail
  */
 function fail(e, __tsplusTrace) {
   return failCause_1(() => tsplus_module_5.fail(e()), __tsplusTrace);
 }
 /**
- * @tsplus static fncts.control.ZOps failNow
+ * @tsplus static fncts.control.PureOps failNow
  */
 function failNow_1(e, __tsplusTrace) {
   return failCauseNow_1(tsplus_module_5.fail(e), __tsplusTrace);
 }
 /**
- * @tsplus static fncts.control.ZOps failCause
+ * @tsplus static fncts.control.PureOps failCause
  */
 function failCause_1(cause, __tsplusTrace) {
   return defer_1(() => failCauseNow_1(cause(), __tsplusTrace), __tsplusTrace);
 }
 /**
- * @tsplus static fncts.control.ZOps failCauseNow
+ * @tsplus static fncts.control.PureOps failCauseNow
  */
 function failCauseNow_1(cause, __tsplusTrace) {
-  return new _definition.Fail(cause);
+  const z = new _definition.PurePrimitive(3 /* PureTag.Fail */);
+  z.i0 = cause;
+  return z;
 }
 /**
- * @tsplus getter fncts.control.Z flatten
+ * @tsplus getter fncts.control.Pure flatten
  */
 function flatten(mma) {
   return flatMap_1(_function.identity)(mma);
@@ -292,43 +305,43 @@ function flatten(mma) {
 /**
  * Constructs a computation that returns the initial state unchanged.
  *
- * @tsplus static fncts.control.ZOps get
+ * @tsplus static fncts.control.PureOps get
  */
 function get_1() {
   return modify_1(s => [s, s]);
 }
 /**
- * @tsplus static fncts.control.ZOps gets
+ * @tsplus static fncts.control.PureOps gets
  */
 function gets(f) {
   return modify_1(s => [f(s), s]);
 }
 /**
- * @tsplus static fncts.control.ZOps getsZ
+ * @tsplus static fncts.control.PureOps getsPure
  */
-function getsZ(f) {
+function getsPure(f) {
   return flatMap_1(f)(get_1());
 }
 /**
- * @tsplus static fncts.control.ZOps halt
+ * @tsplus static fncts.control.PureOps halt
  */
 function halt(defect, __tsplusTrace) {
   return failCause_1(() => tsplus_module_5.halt(defect()), __tsplusTrace);
 }
 /**
- * @tsplus static fncts.control.ZOps haltNow
+ * @tsplus static fncts.control.PureOps haltNow
  */
 function haltNow(defect, __tsplusTrace) {
   return failCauseNow_1(tsplus_module_5.halt(defect), __tsplusTrace);
 }
 /**
- * @tsplus getter fncts.control.Z listen
+ * @tsplus getter fncts.control.Pure listen
  */
 function listen_1(wa) {
-  return matchLogCauseZ_1((_, e) => failCauseNow_1(e, fileName_1 + ":250:29"), (ws, a) => succeedNow_1([a, ws], fileName_1 + ":251:28"))(wa);
+  return matchLogCausePure_1((_, e) => failCauseNow_1(e, fileName_1 + ":269:32"), (ws, a) => succeedNow_1([a, ws], fileName_1 + ":270:31"))(wa);
 }
 /**
- * @tsplus pipeable fncts.control.Z listens
+ * @tsplus pipeable fncts.control.Pure listens
  */
 function listens(f) {
   return wa => {
@@ -336,35 +349,38 @@ function listens(f) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z map
+ * @tsplus pipeable fncts.control.Pure map
  */
 function map_1(f) {
   return fa => {
-    return flatMap_1(a => succeedNow_1(f(a), fileName_1 + ":269:42"))(fa);
+    return flatMap_1(a => succeedNow_1(f(a), fileName_1 + ":288:45"))(fa);
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z mapError
+ * @tsplus pipeable fncts.control.Pure mapError
  */
 function mapError(f) {
   return pab => {
-    return matchZ_1(e => failNow_1(f(e), fileName_1 + ":278:39"), succeedNow_1)(pab);
+    return matchPure_1(e => failNow_1(f(e), fileName_1 + ":297:45"), succeedNow_1)(pab);
   };
 }
 /**
  * Modifies the current log with the specified function
  *
- * @tsplus pipeable fncts.control.Z mapLog
+ * @tsplus pipeable fncts.control.Pure mapLog
  */
 function mapLog_1(f) {
   return wa => {
-    return new _definition.MapLog(wa, f);
+    const z = new _definition.PurePrimitive(11 /* PureTag.MapLog */);
+    z.i0 = wa;
+    z.i1 = f;
+    return z;
   };
 }
 /**
  * Modifies the current state with the specified function
  *
- * @tsplus pipeable fncts.control.Z mapState
+ * @tsplus pipeable fncts.control.Pure mapState
  */
 function mapState_1(f) {
   return ma => {
@@ -376,38 +392,38 @@ function mapState_1(f) {
  * a computation that does not fail, but succeeds with the value of the left
  * or right function passed to `match`.
  *
- * @tsplus pipeable fncts.control.Z match
+ * @tsplus pipeable fncts.control.Pure match
  */
 function match_1(onFailure, onSuccess) {
   return fa => {
-    return matchZ_1(e => succeedNow_1(onFailure(e), fileName_1 + ":314:26"), a => succeedNow_1(onSuccess(a), fileName_1 + ":315:26"))(fa);
+    return matchPure_1(e => succeedNow_1(onFailure(e), fileName_1 + ":336:29"), a => succeedNow_1(onSuccess(a), fileName_1 + ":337:29"))(fa);
   };
 }
 /**
  * Recovers from errors by accepting one computation to execute for the case
  * of an error, and one computation to execute for the case of success.
  *
- * @tsplus pipeable fncts.control.Z matchZ
+ * @tsplus pipeable fncts.control.Pure matchPure
  */
-function matchZ_1(onFailure, onSuccess) {
+function matchPure_1(onFailure, onSuccess) {
   return fa => {
-    return matchCauseZ_1(cause => tsplus_module_1.match(onFailure, failCauseNow_1)(tsplus_module_5.failureOrCause(cause)), onSuccess)(fa);
+    return matchCausePure_1(cause => tsplus_module_1.match(onFailure, failCauseNow_1)(tsplus_module_5.failureOrCause(cause)), onSuccess)(fa);
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z matchCauseZ
+ * @tsplus pipeable fncts.control.Pure matchCausePure
  */
-function matchCauseZ_1(onFailure, onSuccess) {
+function matchCausePure_1(onFailure, onSuccess) {
   return fa => {
-    return matchLogCauseZ_1((ws, e) => mapLog_1(w1s => tsplus_module_6.concat(w1s)(ws))(onFailure(e)), (ws, a) => mapLog_1(w2s => tsplus_module_6.concat(w2s)(ws))(onSuccess(a)))(fa);
+    return matchLogCausePure_1((ws, e) => mapLog_1(w1s => tsplus_module_6.concat(w1s)(ws))(onFailure(e)), (ws, a) => mapLog_1(w2s => tsplus_module_6.concat(w2s)(ws))(onSuccess(a)))(fa);
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z matchLogZ
+ * @tsplus pipeable fncts.control.Pure matchLogPure
  */
-function matchLogZ(onFailure, onSuccess) {
+function matchLogPure(onFailure, onSuccess) {
   return fa => {
-    return matchLogCauseZ_1((ws, cause) => tsplus_module_1.match(e => onFailure(ws, e), failCauseNow_1)(tsplus_module_5.failureOrCause(cause)), onSuccess)(fa);
+    return matchLogCausePure_1((ws, cause) => tsplus_module_1.match(e => onFailure(ws, e), failCauseNow_1)(tsplus_module_5.failureOrCause(cause)), onSuccess)(fa);
   };
 }
 /**
@@ -418,60 +434,69 @@ function matchLogZ(onFailure, onSuccess) {
  *
  * @note the log is cleared after being provided
  *
- * @tsplus pipeable fncts.control.Z matchLogCauseZ
+ * @tsplus pipeable fncts.control.Pure matchLogCausePure
  */
-function matchLogCauseZ_1(onFailure, onSuccess) {
+function matchLogCausePure_1(onFailure, onSuccess) {
   return fa => {
-    return new _definition.Match(fa, onFailure, onSuccess);
+    const z = new _definition.PurePrimitive(6 /* PureTag.Match */);
+    z.i0 = fa;
+    z.i1 = onFailure;
+    z.i2 = onSuccess;
+    return z;
   };
 }
 /**
  * Constructs a computation from the specified modify function
  *
- * @tsplus static fncts.control.ZOps modify
+ * @tsplus static fncts.control.PureOps modify
  */
 function modify_1(f) {
-  return new _definition.Modify(f);
+  const z = new _definition.PurePrimitive(4 /* PureTag.Modify */);
+  z.i0 = f;
+  return z;
 }
 /**
  * Constructs a computation that may fail from the specified modify function.
  *
- * @tsplus static fncts.control.ZOps modifyEither
+ * @tsplus static fncts.control.PureOps modifyEither
  */
 function modifyEither(f) {
-  return flatMap_1(r => tsplus_module_1.match(failNow_1, ([a, s2]) => mapState_1(() => s2)(succeedNow_1(a, fileName_1 + ":401:65")))(r))(map_1(f)(get_1()));
+  return flatMap_1(r => tsplus_module_1.match(failNow_1, ([a, s2]) => mapState_1(() => s2)(succeedNow_1(a, fileName_1 + ":431:71")))(r))(map_1(f)(get_1()));
 }
 /**
- * @tsplus pipeable fncts.control.Z orElse
+ * @tsplus pipeable fncts.control.Pure orElse
  */
 function orElse(fb) {
   return fa => {
-    return matchZ_1(() => fb(), succeedNow_1)(fa);
+    return matchPure_1(() => fb(), succeedNow_1)(fa);
   };
 }
 /**
  * Executes this computation and returns its value, if it succeeds, but
  * otherwise executes the specified computation.
  *
- * @tsplus pipeable fncts.control.Z orElseEither
+ * @tsplus pipeable fncts.control.Pure orElseEither
  */
 function orElseEither(that) {
   return fa => {
-    return matchZ_1(() => map_1(tsplus_module_3.right)(that()), a => succeedNow_1(tsplus_module_3.left(a, fileName_1 + ":423:38"), fileName_1 + ":423:26"))(fa);
+    return matchPure_1(() => map_1(tsplus_module_3.right)(that()), a => succeedNow_1(tsplus_module_3.left(a, fileName_1 + ":453:41"), fileName_1 + ":453:29"))(fa);
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z provideEnvironment
+ * @tsplus pipeable fncts.control.Pure provideEnvironment
  */
 function provideEnvironment_1(r) {
   return fa => {
-    return new _definition.Provide(fa, r);
+    const z = new _definition.PurePrimitive(8 /* PureTag.Provide */);
+    z.i0 = fa;
+    z.i1 = r;
+    return z;
   };
 }
 /**
  * Constructs a computation that sets the state to the specified value.
  *
- * @tsplus static fncts.control.ZOps put
+ * @tsplus static fncts.control.PureOps put
  */
 function put(s) {
   return modify_1(() => [undefined, s]);
@@ -480,38 +505,42 @@ function put(s) {
  * Repeats this computation the specified number of times (or until the first failure)
  * passing the updated state to each successive repetition.
  *
- * @tsplus pipeable fncts.control.Z repeatN
+ * @tsplus pipeable fncts.control.Pure repeatN
  */
 function repeatN_1(n) {
   return ma => {
-    return flatMap_1(a => n <= 0 ? succeedNow_1(a, fileName_1 + ":454:52") : repeatN_1(n - 1)(ma))(ma);
+    return flatMap_1(a => n <= 0 ? succeedNow_1(a, fileName_1 + ":487:55") : repeatN_1(n - 1)(ma))(ma);
   };
 }
 /**
  * Repeats this computation until its value satisfies the specified predicate
  * (or until the first failure) passing the updated state to each successive repetition.
  *
- * @tsplus pipeable fncts.control.Z repeatUntil
+ * @tsplus pipeable fncts.control.Pure repeatUntil
  */
 function repeatUntil_1(p) {
   return ma => {
-    return flatMap_1(a => p(a) ? succeedNow_1(a, fileName_1 + ":466:50") : repeatUntil_1(p)(ma))(ma);
+    return flatMap_1(a => p(a) ? succeedNow_1(a, fileName_1 + ":499:53") : repeatUntil_1(p)(ma))(ma);
   };
 }
 /**
- * @tsplus static fncts.control.ZOps succeed
+ * @tsplus static fncts.control.PureOps succeed
  */
-function succeed_1(effect, __tsplusTrace) {
-  return new _definition.Succeed(effect);
+function succeed(effect, __tsplusTrace) {
+  const z = new _definition.PurePrimitive(1 /* PureTag.Succeed */);
+  z.i0 = effect;
+  return z;
 }
 /**
- * @tsplus static fncts.control.ZOps succeedNow
+ * @tsplus static fncts.control.PureOps succeedNow
  */
 function succeedNow_1(a, __tsplusTrace) {
-  return new _definition.SucceedNow(a);
+  const z = new _definition.PurePrimitive(0 /* PureTag.SucceedNow */);
+  z.i0 = a;
+  return z;
 }
 /**
- * @tsplus pipeable fncts.control.Z tap
+ * @tsplus pipeable fncts.control.Pure tap
  */
 function tap(f) {
   return ma => {
@@ -519,21 +548,23 @@ function tap(f) {
   };
 }
 /**
- * @tsplus static fncts.control.ZOps tell
+ * @tsplus static fncts.control.PureOps tell
  */
 function tell(w) {
   return tellAll_1(tsplus_module_7.single(w));
 }
 /**
- * @tsplus static fncts.control.ZOps tellAll
+ * @tsplus static fncts.control.PureOps tellAll
  */
 function tellAll_1(ws) {
-  return new _definition.Tell(ws);
+  const z = new _definition.PurePrimitive(9 /* PureTag.Tell */);
+  z.i0 = ws;
+  return z;
 }
 /**
  * Like `map`, but also allows the state to be modified.
  *
- * @tsplus pipeable fncts.control.Z transform
+ * @tsplus pipeable fncts.control.Pure transform
  */
 function transform_1(f) {
   return ma => {
@@ -541,20 +572,20 @@ function transform_1(f) {
   };
 }
 /**
- * @tsplus static fncts.control.ZOps unit
+ * @tsplus static fncts.control.PureOps unit
  */
-const unit = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":527:79");
+const unit = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":566:85");
 /**
  * Constructs a computation from the specified update function.
  *
- * @tsplus static fncts.control.ZOps update
+ * @tsplus static fncts.control.PureOps update
  */
 exports.unit = unit;
 function update_1(f) {
   return modify_1(s => [undefined, f(s)]);
 }
 /**
- * @tsplus pipeable fncts.control.Z write
+ * @tsplus pipeable fncts.control.Pure write
  */
 function write(w) {
   return ma => {
@@ -562,7 +593,7 @@ function write(w) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z writeAll
+ * @tsplus pipeable fncts.control.Pure writeAll
  */
 function writeAll_1(log) {
   return ma => {
@@ -570,7 +601,7 @@ function writeAll_1(log) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z zip
+ * @tsplus pipeable fncts.control.Pure zip
  */
 function zip(fb) {
   return fa => {
@@ -578,7 +609,7 @@ function zip(fb) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z zipFirst
+ * @tsplus pipeable fncts.control.Pure zipFirst
  */
 function zipFirst(fb) {
   return fa => {
@@ -586,7 +617,7 @@ function zipFirst(fb) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z zipSecond
+ * @tsplus pipeable fncts.control.Pure zipSecond
  */
 function zipSecond(fb) {
   return fa => {
@@ -594,7 +625,7 @@ function zipSecond(fb) {
   };
 }
 /**
- * @tsplus pipeable fncts.control.Z zipWith
+ * @tsplus pipeable fncts.control.Pure zipWith
  */
 function zipWith_1(fb, f) {
   return fa => {