@fncts/base 0.0.1

package/_mjs/control/Eval/definition.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","mappings":"AAAA,OAAO,MAAMA,UAAU,gBAAGC,MAAM,CAACC,GAAP,CAAW,0BAAX,CAAnB;AAgBP,OAAO,MAAMC,IAAI,GAAY,EAAtB;AAQP,OAAM,MAAOC,KAAP,CAAY;EAIhBC,YAAqBC,KAArB,EAA6B;IAAR;IAHZ,YAAI;IAAA;IAAJ;IACA,eAAsBN,UAAtB;EAEwB;;AAJjB;AAOlB,OAAM,MAAOO,KAAP,CAAY;EAIhBF,YAAqBG,IAArB,EAAwC;IAAnB;IAHZ,eAAsBR,UAAtB;IACA,YAAI;IAAA;IAAJ;EAEmC;;AAJ5B;AAOlB,OAAM,MAAOS,KAAP,CAAY;EAIhBJ,YAAqBK,IAArB,EAA6CC,CAA7C,EAAiE;IAA5C;IAAwB;IAHpC,eAAsBX,UAAtB;IACA,YAAI;IAAA;IAAJ;EAE4D;;AAJrD;AASlB;;;;AAGA,OAAM,SAAUY,QAAV,CAAmBC,CAAnB,EAA+B,CACnC;AACD;AAED;;;;AAGA,OAAM,SAAUC,SAAV,CAAyCJ,IAAzC,EAAgD;EACpD,OAAOA,IAAP;AACD","names":["EvalTypeId","Symbol","for","Eval","Value","constructor","value","Defer","make","Chain","self","f","concrete","_","unifyEval"],"sourceRoot":"","sources":["../../../_src/control/Eval/definition.ts"],"sourcesContent":[null]}

package/_mjs/control/Eval/instance.mjs

@@ -0,0 +1,33 @@
+import * as tsplus_module_1 from "@fncts/base/typeclass/Functor";
+import * as tsplus_module_2 from "@fncts/base/typeclass/Apply";
+import * as tsplus_module_3 from "@fncts/base/typeclass/Applicative";
+import { ap_, map_, zipWith_ } from "@fncts/base/control/Eval/api";
+import { now } from "@fncts/base/control/Eval/constructors";
+import * as P from "@fncts/base/typeclass";
+/**
+ * @tsplus static fncts.control.EvalOps Functor
+ */
+
+export const Functor = /*#__PURE__*/tsplus_module_1.mkFunctor({
+  map_
+});
+/**
+ * @tsplus static fncts.control.EvalOps Apply
+ */
+
+export const Apply = /*#__PURE__*/tsplus_module_2.mkApply({
+  map_,
+  ap_,
+  zipWith_
+});
+/**
+ * @tsplus static fncts.control.EvalOps Applicative
+ */
+
+export const Applicative = /*#__PURE__*/tsplus_module_3.mkApplicative({
+  map_,
+  ap_,
+  zipWith_,
+  pure: now
+});
+//# sourceMappingURL=instance.mjs.map

package/_mjs/control/Eval/instance.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"instance.mjs","mappings":";;;AAEA,SAASA,GAAT,EAAcC,IAAd,EAAoBC,QAApB,QAAoC,8BAApC;AACA,SAASC,GAAT,QAAoB,uCAApB;AACA,OAAO,KAAKC,CAAZ,MAAmB,uBAAnB;AAEA;;;;AAGA,OAAO,MAAMC,OAAO,gBAAqBC,0BAAU;EACjDL;AADiD,CAAV,CAAlC;AAIP;;;;AAGA,OAAO,MAAMM,KAAK,gBAAmBC,wBAAQ;EAC3CP,IAD2C;EAE3CD,GAF2C;EAG3CE;AAH2C,CAAR,CAA9B;AAMP;;;;AAGA,OAAO,MAAMO,WAAW,gBAAyBC,8BAAc;EAC7DT,IAD6D;EAE7DD,GAF6D;EAG7DE,QAH6D;EAI7DS,IAAI,EAAER;AAJuD,CAAd,CAA1C","names":["ap_","map_","zipWith_","now","P","Functor","tsplus_module_1","Apply","tsplus_module_2","Applicative","tsplus_module_3","pure"],"sourceRoot":"","sources":["../../../_src/control/Eval/instance.ts"],"sourcesContent":[null]}

package/_mjs/control/Eval/run.mjs

@@ -0,0 +1,60 @@
+import * as tsplus_module_1 from "@fncts/base/internal/Stack";
+import { concrete } from "@fncts/base/control/Eval/definition";
+/**
+ * @tsplus getter fncts.control.Eval run
+ * @tsplus static fncts.control.EvalOps run
+ */
+
+export function run(computation) {
+  const frames = tsplus_module_1.mkStack();
+  let out = undefined;
+  let cur = computation;
+
+  while (cur !== null) {
+    concrete(cur);
+
+    switch (cur._tag) {
+      case 2
+      /* EvalTag.Chain */
+      :
+        concrete(cur.self);
+
+        switch (cur.self._tag) {
+          case 0
+          /* EvalTag.Value */
+          :
+            cur = cur.f(cur.self.value);
+            break;
+
+          default:
+            frames.push(cur.f);
+            cur = cur.self;
+            break;
+        }
+
+        break;
+
+      case 1
+      /* EvalTag.Defer */
+      :
+        cur = cur.make();
+        break;
+
+      case 0
+      /* EvalTag.Value */
+      :
+        out = cur.value;
+
+        if (frames.hasNext) {
+          cur = frames.pop()(out);
+        } else {
+          cur = null;
+        }
+
+        break;
+    }
+  }
+
+  return out;
+}
+//# sourceMappingURL=run.mjs.map

package/_mjs/control/Eval/run.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.mjs","mappings":";AAAA,SAASA,QAAT,QAAkC,qCAAlC;AAGA;;;;;AAIA,OAAM,SAAUC,GAAV,CAAiBC,WAAjB,EAAqC;EACzC,MAAMC,MAAM,GAAGC,yBAAf;EACA,IAAIC,GAAG,GAAQC,SAAf;EACA,IAAIC,GAAG,GAAQL,WAAf;;EACA,OAAOK,GAAG,KAAK,IAAf,EAAqB;IACnBP,QAAQ,CAACO,GAAD,CAAR;;IACA,QAAQA,GAAG,CAACC,IAAZ;MACE;MAAA;MAAA;QACER,QAAQ,CAACO,GAAG,CAACE,IAAL,CAAR;;QACA,QAAQF,GAAG,CAACE,IAAJ,CAASD,IAAjB;UACE;UAAA;UAAA;YACED,GAAG,GAAGA,GAAG,CAACG,CAAJ,CAAMH,GAAG,CAACE,IAAJ,CAASE,KAAf,CAAN;YACA;;UACF;YACER,MAAM,CAACS,IAAP,CAAYL,GAAG,CAACG,CAAhB;YACAH,GAAG,GAAGA,GAAG,CAACE,IAAV;YACA;QAPJ;;QASA;;MACF;MAAA;MAAA;QACEF,GAAG,GAAGA,GAAG,CAACM,IAAJ,EAAN;QACA;;MACF;MAAA;MAAA;QACER,GAAG,GAAGE,GAAG,CAACI,KAAV;;QACA,IAAIR,MAAM,CAACW,OAAX,EAAoB;UAClBP,GAAG,GAAGJ,MAAM,CAACY,GAAP,GAAcV,GAAd,CAAN;QACD,CAFD,MAEO;UACLE,GAAG,GAAG,IAAN;QACD;;QACD;IAvBJ;EAyBD;;EACD,OAAOF,GAAP;AACD","names":["concrete","run","computation","frames","tsplus_module_1","out","undefined","cur","_tag","self","f","value","push","make","hasNext","pop"],"sourceRoot":"","sources":["../../../_src/control/Eval/run.ts"],"sourcesContent":[null]}

package/_mjs/control/Eval.mjs

@@ -0,0 +1,7 @@
+// codegen:start { preset: barrel, include: Eval/*.ts }
+export * from "./Eval/api.mjs";
+export * from "./Eval/constructors.mjs";
+export * from "./Eval/definition.mjs";
+export * from "./Eval/instance.mjs";
+export * from "./Eval/run.mjs";
+//# sourceMappingURL=Eval.mjs.map

package/_mjs/control/Eval.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Eval.mjs","mappings":"AAAA;AACA,cAAc,gBAAd;AACA,cAAc,yBAAd;AACA,cAAc,uBAAd;AACA,cAAc,qBAAd;AACA,cAAc,gBAAd","names":[],"sourceRoot":"","sources":["../../_src/control/Eval.ts"],"sourcesContent":[null]}

package/_mjs/control/LazyValue.mjs

@@ -0,0 +1,27 @@
+/**
+ * @tsplus type fncts.control.LazyValue
+ * @tsplus companion fncts.control.LazyValueOps
+ */
+export class LazyValue {
+  constructor(getValue) {
+    this.getValue = getValue;
+  }
+
+  get value() {
+    const computed = this.getValue();
+    Object.defineProperty(this, "value", {
+      value: computed
+    });
+    this.getValue = null;
+    return computed;
+  }
+
+}
+/**
+ * @tsplus static fncts.control.LazyValueOps __call
+ */
+
+export function lazy(get) {
+  return new LazyValue(get);
+}
+//# sourceMappingURL=LazyValue.mjs.map

package/_mjs/control/LazyValue.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"LazyValue.mjs","mappings":"AAEA;;;;AAIA,OAAM,MAAOA,SAAP,CAAgB;EACpBC,YAAoBC,QAApB,EAAqC;IAAjB;EAAqB;;EAChC,IAALC,KAAK;IACP,MAAMC,QAAQ,GAAG,KAAKF,QAAL,EAAjB;IACAG,MAAM,CAACC,cAAP,CAAsB,IAAtB,EAA4B,OAA5B,EAAqC;MACnCH,KAAK,EAAEC;IAD4B,CAArC;IAGA,KAAKF,QAAL,GAAgB,IAAhB;IACA,OAAOE,QAAP;EACD;;AATmB;AAYtB;;;;AAGA,OAAM,SAAUG,IAAV,CAAkBC,GAAlB,EAA8B;EAClC,OAAO,IAAIR,SAAJ,CAAcQ,GAAd,CAAP;AACD","names":["LazyValue","constructor","getValue","value","computed","Object","defineProperty","lazy","get"],"sourceRoot":"","sources":["../../_src/control/LazyValue.ts"],"sourcesContent":[null]}

package/_mjs/control/Z/api.mjs

@@ -0,0 +1,541 @@
+const fileName_1 = "(@fncts/base) src/control/Z/api.ts";
+import * as tsplus_module_1 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_2 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_3 from "@fncts/base/data/Either/constructors";
+import * as tsplus_module_4 from "@fncts/base/collection/immutable/Conc/api/empty";
+import * as tsplus_module_5 from "@fncts/base/data/Cause/api";
+import * as tsplus_module_6 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_7 from "@fncts/base/collection/immutable/Conc/constructors";
+export const catchAll_ = catchAll_1;
+export const flatMap_ = flatMap_1;
+export const crossWith_ = crossWith_1;
+export const defer = defer_1;
+export const environmentWithZ = environmentWithZ_1;
+export const failNow = failNow_1;
+export const failCause = failCause_1;
+export const failCauseNow = failCauseNow_1;
+export const get = get_1;
+export const listen = listen_1;
+export const map_ = map_1;
+export const mapLog_ = mapLog_1;
+export const mapState_ = mapState_1;
+export const match_ = match_1;
+export const matchZ_ = matchZ_1;
+export const matchCauseZ_ = matchCauseZ_1;
+export const matchLogCauseZ_ = matchLogCauseZ_1;
+export const modify = modify_1;
+export const provideEnvironment_ = provideEnvironment_1;
+export const repeatN_ = repeatN_1;
+export const repeatUntil_ = repeatUntil_1;
+export const succeed = succeed_1;
+export const succeedNow = succeedNow_1;
+export const tellAll = tellAll_1;
+export const transform_ = transform_1;
+export const update = update_1;
+export const writeAll_ = writeAll_1;
+export const zipWith_ = zipWith_1;
+import { identity, tuple } from "../../data/function.mjs";
+import { Chain, Defer, Environment, Fail, MapLog, Match, Modify, Provide, Succeed, SucceedNow, Tell } from "./definition.mjs";
+/**
+ * @tsplus getter fncts.control.Z absolve
+ */
+
+export function absolve(fa) {
+  return flatMap_1(fa, ea => tsplus_module_1.match_(ea, failNow_1, succeedNow_1));
+}
+/**
+ * @tsplus fluent fncts.control.Z ap
+ */
+
+export function ap_(self, fb) {
+  return crossWith_1(self, fb, (f, a) => f(a));
+}
+/**
+ * @tsplus fluent fncts.control.Z apFirst
+ */
+
+export function apFirst_(fa, fb) {
+  return crossWith_1(fa, fb, (a, _) => a);
+}
+/**
+ * @tsplus fluent fncts.control.Z apSecond
+ */
+
+export function apSecond_(fa, fb) {
+  return crossWith_1(fa, fb, (_, b) => b);
+}
+/**
+ * @tsplus fluent fncts.control.Z bimap
+ */
+
+export function bimap_(pab, f, g) {
+  return matchZ_1(pab, e => failNow_1(f(e), fileName_1 + ":62:21"), a => succeedNow_1(g(a), fileName_1 + ":63:24"));
+}
+/**
+ * Recovers from all errors.
+ *
+ * @tsplus fluent fncts.control.Z catchAll
+ */
+
+function catchAll_1(fa, onFailure) {
+  return matchZ_1(fa, onFailure, succeedNow_1);
+}
+/**
+ * @tsplus fluent fncts.control.Z catchJust
+ */
+
+
+export function catchJust_(fa, f) {
+  return catchAll_1(fa, e => tsplus_module_2.getOrElse_(f(e), () => fa));
+}
+/**
+ * @tsplus fluent fncts.control.Z flatMap
+ */
+
+function flatMap_1(ma, f) {
+  return new Chain(ma, f);
+}
+/**
+ * @tsplus fluent fncts.control.Z contramapEnvironment
+ */
+
+
+export function contramapEnvironment_(ma, f) {
+  return environmentWithZ_1(r => provideEnvironment_1(ma, f(r)));
+}
+/**
+ * Transforms the initial state of this computation` with the specified
+ * function.
+ *
+ * @tsplus fluent fncts.control.Z contramapState
+ */
+
+export function contramapState_(fa, f) {
+  return flatMap_1(update_1(f), () => fa);
+}
+/**
+ * @tsplus fluent fncts.control.Z cross
+ */
+
+export function cross_(fa, fb) {
+  return crossWith_1(fa, fb, tuple);
+}
+/**
+ * @tsplus fluent fncts.control.Z crossWith
+ */
+
+function crossWith_1(fa, fb, f) {
+  return flatMap_1(fa, a => map_1(fb, b => f(a, b)));
+}
+/**
+ * @tsplus static fncts.control.ZOps defer
+ */
+
+
+function defer_1(ma, __tsplusTrace) {
+  return new Defer(ma);
+}
+/**
+ * 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
+ */
+
+
+export function either(fa) {
+  return match_1(fa, tsplus_module_3.left, tsplus_module_3.right);
+}
+/**
+ * @tsplus static fncts.control.ZOps environment
+ */
+
+export function environment() {
+  return new Environment(r => succeedNow_1(r, fileName_1 + ":168:48"));
+}
+/**
+ * @tsplus static fncts.control.ZOps environmentWith
+ */
+
+export function environmentWith(f) {
+  return new Environment(r => succeed_1(() => f(r), fileName_1 + ":175:44"));
+}
+/**
+ * @tsplus static fncts.control.ZOps environmentWithZ
+ */
+
+function environmentWithZ_1(f) {
+  return new Environment(f);
+}
+/**
+ * Erases the current log
+ *
+ * @tsplus getter fncts.control.Z erase
+ */
+
+
+export function erase(wa) {
+  return mapLog_1(wa, () => tsplus_module_4.empty());
+}
+/**
+ * @tsplus static fncts.control.ZOps fail
+ */
+
+export function fail(e, __tsplusTrace) {
+  return failCause_1(() => tsplus_module_5.fail(e()), __tsplusTrace);
+}
+/**
+ * @tsplus static fncts.control.ZOps failNow
+ */
+
+function failNow_1(e, __tsplusTrace) {
+  return failCauseNow_1(tsplus_module_5.fail(e), __tsplusTrace);
+}
+/**
+ * @tsplus static fncts.control.ZOps failCause
+ */
+
+
+function failCause_1(cause, __tsplusTrace) {
+  return defer_1(() => failCauseNow_1(cause(), __tsplusTrace), __tsplusTrace);
+}
+/**
+ * @tsplus static fncts.control.ZOps failCauseNow
+ */
+
+
+function failCauseNow_1(cause, __tsplusTrace) {
+  return new Fail(cause);
+}
+/**
+ * @tsplus getter fncts.control.Z flatten
+ */
+
+
+export function flatten(mma) {
+  return flatMap_1(mma, identity);
+}
+/**
+ * Constructs a computation that returns the initial state unchanged.
+ *
+ * @tsplus static fncts.control.ZOps get
+ */
+
+function get_1() {
+  return modify_1(s => [s, s]);
+}
+/**
+ * @tsplus static fncts.control.ZOps gets
+ */
+
+
+export function gets(f) {
+  return modify_1(s => [f(s), s]);
+}
+/**
+ * @tsplus static fncts.control.ZOps getsZ
+ */
+
+export function getsZ(f) {
+  return flatMap_1(get_1(), f);
+}
+/**
+ * @tsplus static fncts.control.ZOps halt
+ */
+
+export function halt(defect, __tsplusTrace) {
+  return failCause_1(() => tsplus_module_5.halt(defect()), __tsplusTrace);
+}
+/**
+ * @tsplus static fncts.control.ZOps haltNow
+ */
+
+export function haltNow(defect, __tsplusTrace) {
+  return failCauseNow_1(tsplus_module_5.halt(defect), __tsplusTrace);
+}
+/**
+ * @tsplus getter fncts.control.Z listen
+ */
+
+function listen_1(wa) {
+  return matchLogCauseZ_1(wa, (_, e) => failCauseNow_1(e, fileName_1 + ":278:29"), (ws, a) => succeedNow_1([a, ws], fileName_1 + ":279:28"));
+}
+/**
+ * @tsplus fluent fncts.control.Z listens
+ */
+
+
+export function listens_(wa, f) {
+  return map_1(listen_1(wa), ([a, ws]) => [a, f(ws)]);
+}
+/**
+ * @tsplus fluent fncts.control.Z map
+ */
+
+function map_1(fa, f) {
+  return flatMap_1(fa, a => succeedNow_1(f(a), fileName_1 + ":297:40"));
+}
+/**
+ * @tsplus fluent fncts.control.Z mapError
+ */
+
+
+export function mapError_(pab, f) {
+  return matchZ_1(pab, e => failNow_1(f(e), fileName_1 + ":304:37"), succeedNow_1);
+}
+/**
+ * Modifies the current log with the specified function
+ *
+ * @tsplus fluent fncts.control.Z mapLog
+ */
+
+function mapLog_1(wa, f) {
+  return new MapLog(wa, f);
+}
+/**
+ * Modifies the current state with the specified function
+ *
+ * @tsplus fluent fncts.control.Z mapState
+ */
+
+
+function mapState_1(ma, f) {
+  return transform_1(ma, (s, a) => [a, f(s)]);
+}
+/**
+ * Folds over the failed or successful results of this computation to yield
+ * a computation that does not fail, but succeeds with the value of the left
+ * or right function passed to `match`.
+ *
+ * @tsplus fluent fncts.control.Z match
+ */
+
+
+function match_1(fa, onFailure, onSuccess) {
+  return matchZ_1(fa, e => succeedNow_1(onFailure(e), fileName_1 + ":341:24"), a => succeedNow_1(onSuccess(a), fileName_1 + ":342:24"));
+}
+/**
+ * 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 fluent fncts.control.Z matchZ
+ */
+
+
+function matchZ_1(fa, onFailure, onSuccess) {
+  return matchCauseZ_1(fa, cause => tsplus_module_1.match_(tsplus_module_5.failureOrCause(cause), onFailure, failCauseNow_1), onSuccess);
+}
+/**
+ * @tsplus fluent fncts.control.Z matchCauseZ
+ */
+
+
+function matchCauseZ_1(fa, onFailure, onSuccess) {
+  return matchLogCauseZ_1(fa, (ws, e) => mapLog_1(onFailure(e), w1s => tsplus_module_6.concat_(ws, w1s)), (ws, a) => mapLog_1(onSuccess(a), w2s => tsplus_module_6.concat_(ws, w2s)));
+}
+/**
+ * @tsplus fluent fncts.control.Z matchLogZ
+ */
+
+
+export function matchLogZ_(fa, onFailure, onSuccess) {
+  return matchLogCauseZ_1(fa, (ws, cause) => tsplus_module_1.match_(tsplus_module_5.failureOrCause(cause), e => onFailure(ws, e), failCauseNow_1), onSuccess);
+}
+/**
+ * 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. More powerful
+ * than `matchCauseM` by providing the current state of the log as an argument in
+ * each case
+ *
+ * @note the log is cleared after being provided
+ *
+ * @tsplus fluent fncts.control.Z matchLogCauseZ
+ */
+
+function matchLogCauseZ_1(fa, onFailure, onSuccess) {
+  return new Match(fa, onFailure, onSuccess);
+}
+/**
+ * Constructs a computation from the specified modify function
+ *
+ * @tsplus static fncts.control.ZOps modify
+ */
+
+
+function modify_1(f) {
+  return new Modify(f);
+}
+/**
+ * Constructs a computation that may fail from the specified modify function.
+ *
+ * @tsplus static fncts.control.ZOps modifyEither
+ */
+
+
+export function modifyEither(f) {
+  return flatMap_1(map_1(get_1(), f), r => tsplus_module_1.match_(r, failNow_1, ([a, s2]) => mapState_1(succeedNow_1(a, fileName_1 + ":425:65"), () => s2)));
+}
+/**
+ * @tsplus fluent fncts.control.Z orElse
+ */
+
+export function orElse_(fa, fb) {
+  return matchZ_1(fa, () => fb(), succeedNow_1);
+}
+/**
+ * Executes this computation and returns its value, if it succeeds, but
+ * otherwise executes the specified computation.
+ *
+ * @tsplus fluent fncts.control.Z orElseEither
+ */
+
+export function orElseEither_(fa, that) {
+  return matchZ_1(fa, () => map_1(that(), tsplus_module_3.right), a => succeedNow_1(tsplus_module_3.left(a), fileName_1 + ":450:24"));
+}
+/**
+ * @tsplus fluent fncts.control.Z provideEnvironment
+ */
+
+function provideEnvironment_1(fa, r) {
+  return new Provide(fa, r);
+}
+/**
+ * Constructs a computation that sets the state to the specified value.
+ *
+ * @tsplus static fncts.control.ZOps put
+ */
+
+
+export function put(s) {
+  return modify_1(() => [undefined, s]);
+}
+/**
+ * Repeats this computation the specified number of times (or until the first failure)
+ * passing the updated state to each successive repetition.
+ *
+ * @tsplus fluent fncts.control.Z repeatN
+ */
+
+function repeatN_1(ma, n) {
+  return flatMap_1(ma, a => n <= 0 ? succeedNow_1(a, fileName_1 + ":477:50") : repeatN_1(ma, n - 1));
+}
+/**
+ * Repeats this computation until its value satisfies the specified predicate
+ * (or until the first failure) passing the updated state to each successive repetition.
+ *
+ * @tsplus fluent fncts.control.Z repeatUntil
+ */
+
+
+function repeatUntil_1(ma, p) {
+  return flatMap_1(ma, a => p(a) ? succeedNow_1(a, fileName_1 + ":490:48") : repeatUntil_1(ma, p));
+}
+/**
+ * @tsplus static fncts.control.ZOps succeed
+ */
+
+
+function succeed_1(effect, __tsplusTrace) {
+  return new Succeed(effect);
+}
+/**
+ * @tsplus static fncts.control.ZOps succeedNow
+ */
+
+
+function succeedNow_1(a, __tsplusTrace) {
+  return new SucceedNow(a);
+}
+/**
+ * @tsplus fluent fncts.control.Z tap
+ */
+
+
+export function tap_(ma, f) {
+  return flatMap_1(ma, a => map_1(f(a), () => a));
+}
+/**
+ * @tsplus static fncts.control.ZOps tell
+ */
+
+export function tell(w) {
+  return tellAll_1(tsplus_module_7.single(w));
+}
+/**
+ * @tsplus static fncts.control.ZOps tellAll
+ */
+
+function tellAll_1(ws) {
+  return new Tell(ws);
+}
+/**
+ * Like `map`, but also allows the state to be modified.
+ *
+ * @tsplus fluent fncts.control.Z transform
+ */
+
+
+function transform_1(ma, f) {
+  return flatMap_1(ma, a => modify_1(s => f(s, a)));
+}
+/**
+ * @tsplus static fncts.control.ZOps unit
+ */
+
+
+export const unit = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":552:81");
+/**
+ * Constructs a computation from the specified update function.
+ *
+ * @tsplus static fncts.control.ZOps update
+ */
+
+function update_1(f) {
+  return modify_1(s => [undefined, f(s)]);
+}
+/**
+ * @tsplus fluent fncts.control.Z write
+ */
+
+
+export function write_(ma, w) {
+  return writeAll_1(ma, tsplus_module_7.single(w));
+}
+/**
+ * @tsplus fluent fncts.control.Z writeAll
+ */
+
+function writeAll_1(ma, log) {
+  return mapLog_1(ma, ws => tsplus_module_6.concat_(ws, log));
+}
+/**
+ * @tsplus fluent fncts.control.Z zip
+ */
+
+
+export function zip_(fa, fb) {
+  return zipWith_1(fa, fb, tuple);
+}
+/**
+ * @tsplus fluent fncts.control.Z zipFirst
+ */
+
+export function zipFirst_(fa, fb) {
+  return zipWith_1(fa, fb, (a, _) => a);
+}
+/**
+ * @tsplus fluent fncts.control.Z zipSecond
+ */
+
+export function zipSecond_(fa, fb) {
+  return zipWith_1(fa, fb, (_, b) => b);
+}
+/**
+ * @tsplus fluent fncts.control.Z zipWith
+ */
+
+function zipWith_1(fa, fb, f) {
+  return flatMap_1(fa, a => map_1(fb, b => f(a, b)));
+}
+//# sourceMappingURL=api.mjs.map