@fncts/query 0.0.1

package/_mjs/internal/Parallel.mjs

@@ -0,0 +1,62 @@
+var _a;
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_2 from "@fncts/base/collection/immutable/HashMap/api";
+import * as tsplus_module_3 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_4 from "@fncts/base/collection/immutable/Conc/constructors";
+import { Sequential } from "@fncts/query/internal/Sequential";
+export const ParallelTypeId = /*#__PURE__*/Symbol.for("fncts.query.Parallel");
+export const ParallelVariance = /*#__PURE__*/Symbol.for("fncts.query.Parallel.Variance");
+/**
+ * @tsplus type fncts.query.Parallel
+ * @tsplus companion fncts.query.ParallelOps
+ */
+export class Parallel {
+  constructor(map) {
+    this.map = map;
+    this[_a] = ParallelTypeId;
+  }
+}
+_a = ParallelTypeId;
+/**
+ * @tsplus pipeable fncts.query.Parallel concat
+ */
+export function concat(that) {
+  return self => {
+    return new Parallel(tsplus_module_2.foldLeftWithIndex(self.map, (k, map, v) => tsplus_module_2.set(k, tsplus_module_3.match(() => v, requests => tsplus_module_1.concat(v)(requests))(tsplus_module_2.get(k)(map)))(map))(that.map));
+  };
+}
+/**
+ * @tsplus getter fncts.query.Parallel isEmpty
+ */
+export function isEmpty(self) {
+  return tsplus_module_2.isEmpty(self.map);
+}
+/**
+ * @tsplus getter fncts.query.Parallel keys
+ */
+export function keys(self) {
+  return tsplus_module_2.keys(self.map);
+}
+/**
+ * @tsplus getter fncts.query.Parallel toIterable
+ */
+export function toIterable(self) {
+  return self.map;
+}
+/**
+ * @tsplus getter fncts.query.Parallel sequential
+ */
+export function sequential(self) {
+  return new Sequential(tsplus_module_2.map(v => tsplus_module_4.make(v))(self.map));
+}
+/**
+ * @tsplus static fncts.query.ParallelOps __call
+ */
+export function makeParallel(dataSource, blockedRequest) {
+  return new Parallel(tsplus_module_2.make([dataSource, tsplus_module_4.make(blockedRequest)]));
+}
+/**
+ * @tsplus static fncts.query.ParallelOps empty
+ */
+export const empty = /*#__PURE__*/new Parallel( /*#__PURE__*/tsplus_module_2.empty());
+//# sourceMappingURL=Parallel.mjs.map

package/_mjs/internal/Parallel.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Parallel.mjs","mappings":";;;;;AAGA,SAASA,UAAU,QAAQ,kCAAkC;AAE7D,OAAO,MAAMC,cAAc,gBAAGC,MAAM,CAACC,GAAG,CAAC,sBAAsB,CAAC;AAGhE,OAAO,MAAMC,gBAAgB,gBAAGF,MAAM,CAACC,GAAG,CAAC,+BAA+B,CAAC;AAG3E;;;;AAIA,OAAM,MAAOE,QAAQ;EAMnBC,YAAqBC,GAA6D;IAA7D,QAAG,GAAHA,GAAG;IALf,QAAgB,GAAmBN,cAAc;EAK2B;;KAL3EA,cAAc;AAQ1B;;;AAGA,OAAM,SAAUO,MAAM,CAAKC,IAAkB;EAC3C,OAAWC,IAAiB,IAAsB;IAChD,OAAO,IAAIL,QAAQ,CACjBM,kCAA2BD,IAAI,CAACH,GAAG,EAAE,CAACK,CAAC,EAAEL,GAAG,EAAEM,CAAC,KAC7CF,oBACEC,CAAC,EACDE,sBACE,MAAMD,CAAC,EACNE,QAAQ,IAAKC,uBAAgBH,CAAC,EAAjBE,QAAQ,CAAU,EAFlCJ,oBAAQC,CAAC,EAATL,GAAG,CAAO,CAGT,EALHA,GAAG,CAMF,EAPHE,IAAI,CAACF,GAAG,CAQP,CACF;EACH,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUU,OAAO,CAAIP,IAAiB;EAC1C,+BAAOA,IAAI,CAACH,GAAG;AACjB;AAEA;;;AAGA,OAAM,SAAUW,IAAI,CAAIR,IAAiB;EACvC,4BAAOA,IAAI,CAACH,GAAG;AACjB;AAEA;;;AAGA,OAAM,SAAUY,UAAU,CAAIT,IAAiB;EAC7C,OAAOA,IAAI,CAACH,GAAG;AACjB;AAEA;;;AAGA,OAAM,SAAUa,UAAU,CAAIV,IAAiB;EAC7C,OAAO,IAAIV,UAAU,CAACW,oBAAcE,CAAC,IAAKQ,qBAAKR,CAAC,CAAC,EAA3BH,IAAI,CAACH,GAAG,CAAoB,CAAC;AACrD;AAEA;;;AAGA,OAAM,SAAUe,YAAY,CAAOC,UAA4B,EAAEC,cAAiC;EAChG,OAAO,IAAInB,QAAQ,CAACM,qBAAQ,CAACY,UAAU,EAAEF,qBAAKG,cAAc,CAAC,CAAC,CAAC,CAAC;AAClE;AAEA;;;AAGA,OAAO,MAAMC,KAAK,gBAAoB,IAAIpB,QAAQ,eAACM,uBAAe,CAAC","names":["Sequential","ParallelTypeId","Symbol","for","ParallelVariance","Parallel","constructor","map","concat","that","self","tsplus_module_2","k","v","tsplus_module_3","requests","tsplus_module_1","isEmpty","keys","toIterable","sequential","tsplus_module_4","makeParallel","dataSource","blockedRequest","empty"],"sourceRoot":"","sources":["../../_src/internal/Parallel.ts"],"sourcesContent":[null]}

package/_mjs/internal/Result.mjs

@@ -0,0 +1,208 @@
+var _a;
+const fileName_1 = "(@fncts/query) src/internal/Result.ts";
+import * as tsplus_module_1 from "@fncts/query/internal/Continue";
+import * as tsplus_module_2 from "@fncts/base/data/Cause/api";
+import * as tsplus_module_3 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_4 from "@fncts/query/internal/BlockedRequests";
+import * as tsplus_module_5 from "@fncts/base/collection/immutable/Conc/api/empty";
+import * as tsplus_module_6 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_7 from "@fncts/base/collection/Iterable/api";
+import * as tsplus_module_8 from "@fncts/base/collection/immutable/Conc/constructors";
+import * as tsplus_module_9 from "@fncts/base/data/Exit/api";
+export const blocked = blocked_1;
+export const done = done_1;
+export const fail = fail_1;
+export const matchType = matchType_1;
+export const ResultTypeId = /*#__PURE__*/Symbol.for("fncts.query.Result");
+export const ResultVariance = /*#__PURE__*/Symbol.for("fncts.query.Result.Variance");
+/**
+ * @tsplus type fncts.query.Result
+ * @tsplus companion fncts.query.ResultOps
+ */
+export class Result {
+  constructor() {
+    this[_a] = ResultTypeId;
+  }
+}
+_a = ResultTypeId;
+export class Blocked extends Result {
+  constructor(blockedRequests, cont) {
+    super();
+    this.blockedRequests = blockedRequests;
+    this.cont = cont;
+    this._tag = 0 /* ResultTag.Blocked */;
+  }
+}
+
+export class Done extends Result {
+  constructor(value) {
+    super();
+    this.value = value;
+    this._tag = 1 /* ResultTag.Done */;
+  }
+}
+
+export class Fail extends Result {
+  constructor(cause) {
+    super();
+    this.cause = cause;
+    this._tag = 2 /* ResultTag.Fail */;
+  }
+}
+
+function concrete(_) {
+  //
+}
+/**
+ * @tsplus static fncts.query.ResultOps blocked
+ */
+function blocked_1(blockedRequests, cont) {
+  return new Blocked(blockedRequests, cont);
+}
+/**
+ * @tsplus static fncts.query.ResultOps done
+ */
+function done_1(value) {
+  return new Done(value);
+}
+/**
+ * @tsplus static fncts.query.ResultOps fail
+ */
+function fail_1(cause) {
+  return new Fail(cause);
+}
+/**
+ * @tsplus pipeable fncts.query.Result matchType
+ */
+function matchType_1(cases) {
+  return self => {
+    concrete(self);
+    switch (self._tag) {
+      case 0 /* ResultTag.Blocked */:
+        {
+          return cases.Blocked(self.blockedRequests, self.cont);
+        }
+      case 1 /* ResultTag.Done */:
+        {
+          return cases.Done(self.value);
+        }
+      case 2 /* ResultTag.Fail */:
+        {
+          return cases.Fail(self.cause);
+        }
+    }
+  };
+}
+/**
+ * @tsplus pipeable fncts.query.Result match
+ */
+export function match(failure, success) {
+  return self => {
+    return matchType_1({
+      Blocked: (br, c) => blocked_1(br, tsplus_module_1.match(failure, success, fileName_1 + ":108:53")(c)),
+      Done: a => done_1(success(a)),
+      Fail: e => tsplus_module_3.match(e => done_1(failure(e)), fail_1)(tsplus_module_2.failureOrCause(e))
+    })(self);
+  };
+}
+/**
+ * @tsplus pipeable fncts.query.Result map
+ */
+export function map(f, __tsplusTrace) {
+  return self => {
+    return matchType_1({
+      Blocked: (br, c) => blocked_1(br, tsplus_module_1.map(f, __tsplusTrace)(c)),
+      Done: a => done_1(f(a)),
+      Fail: cause => fail_1(cause)
+    })(self);
+  };
+}
+/**
+ * @tsplus pipeable fncts.query.Result mapDataSources
+ */
+export function mapDataSources(f) {
+  return self => {
+    return matchType_1({
+      Blocked: (br, c) => blocked_1(tsplus_module_4.mapDataSources(f)(br), tsplus_module_1.mapDataSources(f, fileName_1 + ":134:80")(c)),
+      Done: a => done_1(a),
+      Fail: cause => fail_1(cause)
+    })(self);
+  };
+}
+/**
+ * @tsplus pipeable fncts.query.Result mapError
+ */
+export function mapError(f, __tsplusTrace) {
+  return self => {
+    return matchType_1({
+      Blocked: (br, c) => blocked_1(br, tsplus_module_1.mapError(f, __tsplusTrace)(c)),
+      Done: done_1,
+      Fail: cause => fail_1(tsplus_module_2.map(f)(cause))
+    })(self);
+  };
+}
+/**
+ * @tsplus pipeable fncts.query.Result mapErrorCause
+ */
+export function mapErrorCause(f, __tsplusTrace) {
+  return self => {
+    return matchType_1({
+      Blocked: (br, c) => blocked_1(br, tsplus_module_1.mapErrorCause(f, __tsplusTrace)(c)),
+      Done: done_1,
+      Fail: cause => fail_1(f(cause))
+    })(self);
+  };
+}
+/**
+ * @tsplus static fncts.query.ResultOps collectAllConcurrent
+ */
+export function collectAllConcurrent(self, __tsplusTrace) {
+  const [blocked, done, fails] = tsplus_module_7.foldLeft([tsplus_module_5.empty(), tsplus_module_5.empty(), tsplus_module_5.empty()], ([blocked, done, fails], [index, result]) => matchType_1({
+    Blocked: (br, c) => [tsplus_module_6.append([br, c, index])(blocked), done, fails],
+    Done: a => [blocked, tsplus_module_6.append([a, index])(done), fails],
+    Fail: e => [blocked, done, tsplus_module_6.append([e, index])(fails)]
+  })(result))(tsplus_module_7.zipWithIndex(self));
+  if (tsplus_module_6.isEmpty(blocked) && tsplus_module_6.isEmpty(fails)) {
+    return done_1(tsplus_module_6.map(([a]) => a)(done));
+  } else if (tsplus_module_6.isEmpty(fails)) {
+    const blockedRequests = tsplus_module_6.foldLeft(tsplus_module_4.empty(), (b, a) => tsplus_module_4.both(b, a))(tsplus_module_6.map(([br]) => br)(blocked));
+    const cont = tsplus_module_1.map(as => {
+      const array = Array(as.length);
+      tsplus_module_6.forEachWithIndex((i, a) => {
+        array[i] = a;
+      })(tsplus_module_6.zip(tsplus_module_6.map(([cont]) => cont)(blocked))(as));
+      tsplus_module_6.forEachWithIndex((i, a) => {
+        array[i] = a;
+      })(done);
+      return tsplus_module_8.from(array);
+    }, __tsplusTrace)(tsplus_module_1.collectAllConcurrent(tsplus_module_6.map(([_, cont]) => cont)(blocked)));
+    return blocked_1(blockedRequests, cont);
+  } else {
+    return fail_1(tsplus_module_6.foldLeft(tsplus_module_2.empty(), (b, a) => tsplus_module_2.both(b, a))(tsplus_module_6.map(([cause]) => cause)(fails)));
+  }
+}
+/**
+ * @tsplus pipeable fncts.query.Result contramapEnvironment
+ */
+export function contramapEnvironment(f, __tsplusTrace) {
+  return self => {
+    return matchType_1({
+      Blocked: (br, cont) => blocked_1(tsplus_module_4.contramapEnvironment(f, __tsplusTrace)(br), tsplus_module_1.contramapEnvironment(f, __tsplusTrace)(cont)),
+      Done: a => done_1(a),
+      Fail: e => fail_1(e)
+    })(self);
+  };
+}
+/**
+ * @tsplus static fncts.query.ResultOps fromEither
+ */
+export function fromEither(either) {
+  return tsplus_module_3.match(e => fail_1(tsplus_module_2.fail(e)), a => done_1(a))(either);
+}
+/**
+ * @tsplus static fncts.query.ResultOps fromExit
+ */
+export function fromExit(exit) {
+  return tsplus_module_9.match(fail_1, done_1)(exit);
+}
+//# sourceMappingURL=Result.mjs.map

package/_mjs/internal/Result.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Result.mjs","mappings":";;;;;;;;;;;aA2DgBA,OAAO;aAOPC,IAAI;aAOJC,IAAI;aAOJC,SAAS;AA5EzB,OAAO,MAAMC,YAAY,gBAAGC,MAAM,CAACC,GAAG,CAAC,oBAAoB,CAAC;AAG5D,OAAO,MAAMC,cAAc,gBAAGF,MAAM,CAACC,GAAG,CAAC,6BAA6B,CAAC;AAGvE;;;;AAIA,OAAM,MAAgBE,MAAM;EAA5BC;IACW,QAAc,GAAiBL,YAAY;EAMtD;;KANYA,YAAY;AAcxB,OAAM,MAAOM,OAAiB,SAAQF,MAAe;EAEnDC,YAAqBE,eAAmC,EAAWC,IAAuB;IACxF,KAAK,EAAE;IADY,oBAAe,GAAfD,eAAe;IAA+B,SAAI,GAAJC,IAAI;IAD9D,SAAI;EAGb;;;AAGF,OAAM,MAAOC,IAAQ,SAAQL,MAAuB;EAElDC,YAAqBK,KAAQ;IAC3B,KAAK,EAAE;IADY,UAAK,GAALA,KAAK;IADjB,SAAI;EAGb;;;AAGF,OAAM,MAAOC,IAAQ,SAAQP,MAAuB;EAElDC,YAAqBO,KAAe;IAClC,KAAK,EAAE;IADY,UAAK,GAALA,KAAK;IADjB,SAAI;EAGb;;;AAKF,SAASC,QAAQ,CAAUC,CAAkB;EAC3C;AAAA;AAGF;;;AAGA,mBAAiCP,eAAmC,EAAEC,IAAuB;EAC3F,OAAO,IAAIF,OAAO,CAACC,eAAe,EAAEC,IAAI,CAAC;AAC3C;AAEA;;;AAGA,gBAAwBE,KAAQ;EAC9B,OAAO,IAAID,IAAI,CAACC,KAAK,CAAC;AACxB;AAEA;;;AAGA,gBAAwBE,KAAe;EACrC,OAAO,IAAID,IAAI,CAACC,KAAK,CAAC;AACxB;AAEA;;;AAGA,qBAA4CG,KAI3C;EACC,OAAQC,IAAqB,IAAe;IAC1CH,QAAQ,CAACG,IAAI,CAAC;IACd,QAAQA,IAAI,CAACC,IAAI;MACf;QAAwB;UACtB,OAAOF,KAAK,CAACT,OAAO,CAACU,IAAI,CAACT,eAAe,EAAES,IAAI,CAACR,IAAI,CAAC;;MAEvD;QAAqB;UACnB,OAAOO,KAAK,CAACN,IAAI,CAACO,IAAI,CAACN,KAAK,CAAC;;MAE/B;QAAqB;UACnB,OAAOK,KAAK,CAACJ,IAAI,CAACK,IAAI,CAACJ,KAAK,CAAC;;IAC9B;EAEL,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUM,KAAK,CAAaC,OAAoB,EAAEC,OAAoB;EAC1E,OAAWJ,IAAqB,IAA6B;IAC3D,OAAOK,YAAe;MACpBf,OAAO,EAAE,CAACgB,EAAE,EAAEC,CAAC,KAAKC,UAAeF,EAAE,EAAEG,sBAAQN,OAAO,EAAEC,OAAO,0BAAxBG,CAAC,CAAwB,CAAC;MACjEd,IAAI,EAAGiB,CAAC,IAAKC,OAAYP,OAAO,CAACM,CAAC,CAAC,CAAC;MACpCf,IAAI,EAAGiB,CAAC,IAAKC,sBAAwBD,CAAC,IAAKD,OAAYR,OAAO,CAACS,CAAC,CAAC,CAAC,yCAArDA,CAAC;KACf,EAJMZ,IAAI,CAIT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUc,GAAG,CAAOC,CAAc,EAAEC,aAAsB;EAC9D,OAAchB,IAAqB,IAAqB;IACtD,OAAOK,YAAe;MACpBf,OAAO,EAAE,CAACgB,EAAE,EAAEC,CAAC,KAAKC,UAAeF,EAAE,EAAEG,oBAAMM,CAAC,EAHVC,eAGGT,CAAC,CAAO,CAAC;MAChDd,IAAI,EAAGiB,CAAC,IAAKC,OAAYI,CAAC,CAACL,CAAC,CAAC,CAAC;MAC9Bf,IAAI,EAAGC,KAAK,IAAKqB,OAAYrB,KAAK;KACnC,EAJMI,IAAI,CAIT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUkB,cAAc,CAAKH,CAAuB;EACxD,OAAiBf,IAAqB,IAA0B;IAC9D,OAAOK,YAAe;MACpBf,OAAO,EAAE,CAACgB,EAAE,EAAEC,CAAC,KAAKC,UAAeW,+BAAkBJ,CAAC,EAAnBT,EAAE,CAAkB,EAAEG,+BAAiBM,CAAC,0BAAlBR,CAAC,CAAkB,CAAC;MAC7Ed,IAAI,EAAGiB,CAAC,IAAKC,OAAYD,CAAC,CAAC;MAC3Bf,IAAI,EAAGC,KAAK,IAAKqB,OAAYrB,KAAK;KACnC,EAJMI,IAAI,CAIT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUoB,QAAQ,CAAQL,CAAe,EAAEC,aAAsB;EACrE,OAAchB,IAAqB,IAAsB;IACvD,OAAOK,YAAe;MACpBf,OAAO,EAAE,CAACgB,EAAE,EAAEC,CAAC,KAAKC,UAAeF,EAAE,EAAEG,yBAAWM,CAAC,EAHRC,eAGJT,CAAC,CAAY,CAAC;MACrDd,IAAI,QAAa;MACjBE,IAAI,EAAGC,KAAK,IAAKqB,OAAYI,oBAAUN,CAAC,EAAXnB,KAAK,CAAO;KAC1C,EAJMI,IAAI,CAIT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUsB,aAAa,CAAQP,CAAiC,EAAEC,aAAsB;EAC5F,OAAchB,IAAqB,IAAsB;IACvD,OAAOK,YAAe;MACpBf,OAAO,EAAE,CAACgB,EAAE,EAAEC,CAAC,KAAKC,UAAeF,EAAE,EAAEG,8BAAgBM,CAAC,EAHUC,eAG3BT,CAAC,CAAiB,CAAC;MAC1Dd,IAAI,QAAa;MACjBE,IAAI,EAAGC,KAAK,IAAKqB,OAAYF,CAAC,CAACnB,KAAK,CAAC;KACtC,EAJMI,IAAI,CAIT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUuB,oBAAoB,CAClCvB,IAA+B,EAC/BgB,aAAsB;EAEtB,MAAM,CAACpC,OAAO,EAAEC,IAAI,EAAE2C,KAAK,CAAC,GAAGC,yBAC7B,CACEC,uBAAsE,EACtEA,uBAAkC,EAClCA,uBAAyC,CACjC,EACV,CAAC,CAAC9C,OAAO,EAAEC,IAAI,EAAE2C,KAAK,CAAC,EAAE,CAACG,KAAK,EAAEC,MAAM,CAAC,KACtCvB,YAAiB;IACff,OAAO,EAAE,CAACgB,EAAE,EAAEC,CAAC,KAAK,CAACsB,uBAAe,CAACvB,EAAE,EAAEC,CAAC,EAAEoB,KAAK,CAAU,EAAtC/C,OAAO,CAAgC,EAAEC,IAAI,EAAE2C,KAAK,CAAU;IACnF/B,IAAI,EAAGiB,CAAC,IAAK,CAAC9B,OAAO,EAAEiD,uBAAY,CAACnB,CAAC,EAAEiB,KAAK,CAAU,EAA/B9C,IAAI,CAA4B,EAAE2C,KAAK,CAAU;IACxE7B,IAAI,EAAGiB,CAAC,IAAK,CAAChC,OAAO,EAAEC,IAAI,EAAEgD,uBAAa,CAACjB,CAAC,EAAEe,KAAK,CAAU,EAAhCH,KAAK,CAA4B;GAC/D,EAJDI,MAAM,CAIJ,+BAXyB5B,IAAI,EAYlC;EAED,IAAI6B,+BAAO,6BAAYL,KAAK,CAAQ,EAAE;IACpC,OAAOb,OAAYkB,oBAAS,CAAC,CAACnB,CAAC,CAAC,KAAKA,CAAC,EAAnB7B,IAAI,CAAgB,CAAC;GACzC,MAAM,4BAAI2C,KAAK,GAAU;IACxB,MAAMjC,eAAe,GAAGsC,yBAEZV,uBAA0B,EAAE,CAACW,CAAC,EAAEpB,CAAC,KAAKS,qBAAqBW,CAAC,EAAEpB,CAAC,CAAC,EAFpDmB,oBACjB,CAAC,CAACvB,EAAE,CAAC,KAAKA,EAAE,EADK1B,OAAO,CACX,CACyD;IAE7E,MAAMY,IAAI,GAAGiB,oBAAqEsB,EAAE,IAAI;MACtF,MAAMC,KAAK,GAAGC,KAAK,CAACF,EAAE,CAACG,MAAM,CAAC;MAC9BL,iCAAuD,CAACM,CAAC,EAAEzB,CAAC,KAAI;QAC9DsB,KAAK,CAACG,CAAC,CAAC,GAAGzB,CAAC;MACd,CAAC,EAFDmB,oBAAOA,oBAAY,CAAC,CAACrC,IAAI,CAAC,KAAKA,IAAI,EAA5BZ,OAAO,CAAsB,EAApCmD,EAAE,CAAmC,CAEnC;MACFF,iCAAsB,CAACM,CAAC,EAAEzB,CAAC,KAAI;QAC7BsB,KAAK,CAACG,CAAC,CAAC,GAAGzB,CAAC;MACd,CAAC,EAFD7B,IAAI,CAEF;MACF,OAAOuD,qBAAUJ,KAAK,CAAC;IACzB,CAAC,EAhCHhB,eAuBeP,qCAA8BoB,oBAAY,CAAC,CAAC/B,CAAC,EAAEN,IAAI,CAAC,KAAKA,IAAI,EAA/BZ,OAAO,CAAyB,CAAC,CAS1E;IACF,OAAO4B,UAA8BjB,eAAe,EAAEC,IAAI,CAAC;GAC5D,MAAM;IACL,OAAOyB,OAAYY,yBAAuCR,uBAAa,EAAE,CAACS,CAAC,EAAEpB,CAAC,KAAKW,qBAAWS,CAAC,EAAEpB,CAAC,CAAC,EAAhFmB,oBAAU,CAAC,CAACjC,KAAK,CAAC,KAAKA,KAAK,EAA5B4B,KAAK,CAAwB,CAAoD,CAAC;;AAEzG;AAEA;;;AAGA,OAAM,SAAUa,oBAAoB,CAClCtB,CAAoD,EACpDC,aAAsB;EAEtB,OAAchB,IAAqB,IAAsB;IACvD,OAAOK,YAAe;MACpBf,OAAO,EAAE,CAACgB,EAAE,EAAEd,IAAI,KAAKgB,UAAeW,qCAAwBJ,CAAC,EAJnEC,eAI0CV,EAAE,CAAwB,EAAEG,qCAA0BM,CAAC,EAJjGC,eAIsExB,IAAI,CAAwB,CAAC;MAC/FC,IAAI,EAAGiB,CAAC,IAAKC,OAAYD,CAAC,CAAC;MAC3Bf,IAAI,EAAGiB,CAAC,IAAKK,OAAYL,CAAC;KAC3B,EAJMZ,IAAI,CAIT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUsC,UAAU,CAAOC,MAAoB;EACnD,OAAO1B,sBACJD,CAAC,IAAKK,OAAYI,qBAAWT,CAAC,CAAC,CAAC,EAChCF,CAAC,IAAKC,OAAYD,CAAC,CAAC,EAFhB6B,MAAM,CAGZ;AACH;AAEA;;;AAGA,OAAM,SAAUC,QAAQ,CAAOC,IAAgB;EAC7C,OAAOC,0CAAI,CAAgC;AAC7C","names":["blocked","done","fail","matchType","ResultTypeId","Symbol","for","ResultVariance","Result","constructor","Blocked","blockedRequests","cont","Done","value","Fail","cause","concrete","_","cases","self","_tag","match","failure","success","matchType_1","br","c","blocked_1","tsplus_module_1","a","done_1","e","tsplus_module_3","map","f","__tsplusTrace","fail_1","mapDataSources","tsplus_module_4","mapError","tsplus_module_2","mapErrorCause","collectAllConcurrent","fails","tsplus_module_7","tsplus_module_5","index","result","tsplus_module_6","b","as","array","Array","length","i","tsplus_module_8","contramapEnvironment","fromEither","either","fromExit","exit","tsplus_module_9"],"sourceRoot":"","sources":["../../_src/internal/Result.ts"],"sourcesContent":[null]}

package/_mjs/internal/Sequential.mjs

@@ -0,0 +1,44 @@
+var _a;
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_2 from "@fncts/base/collection/immutable/HashMap/api";
+import * as tsplus_module_3 from "@fncts/base/data/Maybe/destructors";
+export const SequentialTypeId = /*#__PURE__*/Symbol.for("fncts.query.Sequential");
+export const SequentialVariance = /*#__PURE__*/Symbol.for("fncts.query.Sequential.Variance");
+/**
+ * @tsplus type fncts.query.Sequential
+ * @tsplus companion fncts.query.SequentialOps
+ */
+export class Sequential {
+  constructor(map) {
+    this.map = map;
+    this[_a] = SequentialTypeId;
+  }
+}
+_a = SequentialTypeId;
+/**
+ * @tsplus pipeable fncts.query.Sequential concat
+ */
+export function concat(that) {
+  return self => {
+    return new Sequential(tsplus_module_2.foldLeftWithIndex(self.map, (k, map, v) => tsplus_module_2.set(k, tsplus_module_3.match(() => v, requests => tsplus_module_1.concat(v)(requests))(tsplus_module_2.get(k)(map)))(map))(that.map));
+  };
+}
+/**
+ * @tsplus getter fncts.query.Sequential isEmpty
+ */
+export function isEmpty(self) {
+  return tsplus_module_2.isEmpty(self.map);
+}
+/**
+ * @tsplus getter fncts.query.Sequential keys
+ */
+export function keys(self) {
+  return tsplus_module_2.keys(self.map);
+}
+/**
+ * @tsplus getter fncts.query.Sequential toIterable
+ */
+export function toIterable(self) {
+  return self.map;
+}
+//# sourceMappingURL=Sequential.mjs.map

package/_mjs/internal/Sequential.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Sequential.mjs","mappings":";;;;AAGA,OAAO,MAAMA,gBAAgB,gBAAGC,MAAM,CAACC,GAAG,CAAC,wBAAwB,CAAC;AAGpE,OAAO,MAAMC,kBAAkB,gBAAGF,MAAM,CAACC,GAAG,CAAC,iCAAiC,CAAC;AAG/E;;;;AAIA,OAAM,MAAOE,UAAU;EAMrBC,YAAqBC,GAAmE;IAAnE,QAAG,GAAHA,GAAG;IALf,QAAkB,GAAqBN,gBAAgB;EAK2B;;KALjFA,gBAAgB;AAQ5B;;;AAGA,OAAM,SAAUO,MAAM,CAAKC,IAAoB;EAC7C,OAAWC,IAAmB,IAAwB;IACpD,OAAO,IAAIL,UAAU,CACnBM,kCAA2BD,IAAI,CAACH,GAAG,EAAE,CAACK,CAAC,EAAEL,GAAG,EAAEM,CAAC,KAC7CF,oBACEC,CAAC,EACDE,sBACE,MAAMD,CAAC,EACNE,QAAQ,IAAKC,uBAAgBH,CAAC,EAAjBE,QAAQ,CAAU,EAFlCJ,oBAAQC,CAAC,EAATL,GAAG,CAAO,CAGT,EALHA,GAAG,CAMF,EAPHE,IAAI,CAACF,GAAG,CAQP,CACF;EACH,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUU,OAAO,CAAIP,IAAmB;EAC5C,+BAAOA,IAAI,CAACH,GAAG;AACjB;AAEA;;;AAGA,OAAM,SAAUW,IAAI,CAAIR,IAAmB;EACzC,4BAAOA,IAAI,CAACH,GAAG;AACjB;AAEA;;;AAGA,OAAM,SAAUY,UAAU,CACxBT,IAAmB;EAEnB,OAAOA,IAAI,CAACH,GAAG;AACjB","names":["SequentialTypeId","Symbol","for","SequentialVariance","Sequential","constructor","map","concat","that","self","tsplus_module_2","k","v","tsplus_module_3","requests","tsplus_module_1","isEmpty","keys","toIterable"],"sourceRoot":"","sources":["../../_src/internal/Sequential.ts"],"sourcesContent":[null]}

package/_src/Cache/api.ts

@@ -0,0 +1,49 @@
+import type { Either } from "@fncts/base/data/Either";
+import type { Maybe } from "@fncts/base/data/Maybe";
+import type { UIO } from "@fncts/io/IO";
+import type { Request } from "@fncts/query/Request";
+
+import { Ref } from "@fncts/io/Ref";
+import { Cache } from "@fncts/query/Cache/definition";
+
+/**
+ * @tsplus static fncts.query.CacheOps empty
+ */
+export function empty(__tsplusTrace?: string): UIO<Cache> {
+  return IO(Cache.unsafeMake());
+}
+
+export class Default extends Cache {
+  constructor(private readonly state: Ref<HashMap<any, any>>) {
+    super();
+  }
+  get<E, A>(request: Request<E, A>, __tsplusTrace?: string | undefined): FIO<void, Ref<Maybe<Either<E, A>>>> {
+    return this.state.get.map((map) => map.get(request)).just.orElseFail(undefined);
+  }
+  lookup<E, A extends Request<E, B>, B>(
+    request: A,
+    __tsplusTrace?: string | undefined,
+  ): UIO<Either<Ref<Maybe<Either<E, B>>>, Ref<Maybe<Either<E, B>>>>> {
+    return Ref.make(Nothing<Either<E, B>>()).flatMap((ref) => {
+      return this.state.modify((map) =>
+        map.get(request).match(
+          () => [Left(ref), map.set(request, ref)],
+          (ref) => [Right(ref), map],
+        ),
+      );
+    });
+  }
+  put<E, A>(request: Request<E, A>, result: Ref<Maybe<Either<E, A>>>, __tsplusTrace?: string | undefined): UIO<void> {
+    return this.state.update((map) => map.set(request, result));
+  }
+  remove<E, A>(request: Request<E, A>, __tsplusTrace?: string | undefined): UIO<void> {
+    return this.state.update((map) => map.remove(request));
+  }
+}
+
+/**
+ * @tsplus static fncts.query.CacheOps unsafeMake
+ */
+export function unsafeMake(): Cache {
+  return new Default(Ref.unsafeMake(HashMap.empty()));
+}

package/_src/Cache/definition.ts

@@ -0,0 +1,13 @@
+/**
+ * @tsplus type fncts.query.Cache
+ * @tsplus companion fncts.query.CacheOps
+ */
+export abstract class Cache {
+  abstract get<E, A>(request: Request<E, A>, __tsplusTrace?: string): FIO<void, Ref<Maybe<Either<E, A>>>>;
+  abstract lookup<E, A>(
+    request: Request<E, A>,
+    __tsplusTrace?: string,
+  ): UIO<Either<Ref<Maybe<Either<E, A>>>, Ref<Maybe<Either<E, A>>>>>;
+  abstract put<E, A>(request: Request<E, A>, result: Ref<Maybe<Either<E, A>>>, __tsplusTrace?: string): UIO<void>;
+  abstract remove<E, A>(request: Request<E, A>, __tsplusTrace?: string): UIO<void>;
+}

package/_src/Cache.ts

@@ -0,0 +1,4 @@
+// codegen:start { preset: barrel, include: ./Cache/*.ts }
+export * from "./Cache/api.js";
+export * from "./Cache/definition.js";
+// codegen:end

package/_src/CompletedRequestMap.ts

@@ -0,0 +1,38 @@
+export class CompletedRequestMap {
+  constructor(private map: HashMap<any, Either<any, any>>) {}
+
+  static empty(): CompletedRequestMap {
+    return new CompletedRequestMap(HashMap.empty());
+  }
+
+  concat(that: CompletedRequestMap) {
+    return new CompletedRequestMap(this.map.union(that.map));
+  }
+
+  insert<E, A>(request: Request<E, A>, result: Either<E, A>): CompletedRequestMap {
+    return new CompletedRequestMap(this.map.set(request, result));
+  }
+
+  insertMaybe<E, A>(request: Request<E, A>, result: Either<E, Maybe<A>>): CompletedRequestMap {
+    return result.match(
+      (e) => this.insert(request, Left(e)),
+      (r) =>
+        r.match(
+          () => this,
+          (a) => this.insert(request, Right(a)),
+        ),
+    );
+  }
+
+  lookup<E, A>(request: Request<E, A>): Maybe<Either<E, A>> {
+    return this.map.get(request);
+  }
+
+  requests(): HashSet<Request<any, any>> {
+    return this.map.keySet;
+  }
+
+  contains(request: any): boolean {
+    return this.map.has(request);
+  }
+}

package/_src/DataSource/api.ts

@@ -0,0 +1,97 @@
+import type { Conc } from "@fncts/base/collection/immutable/Conc";
+import type { Described } from "@fncts/query/Described";
+
+import { IO } from "@fncts/io/IO";
+import { CompletedRequestMap } from "@fncts/query/CompletedRequestMap";
+import { Batched, DataSource } from "@fncts/query/DataSource/definition";
+
+/**
+ * @tsplus pipeable fncts.query.DataSource contramap
+ */
+export function contamap<A, B>(f: Described<(b: B) => A>) {
+  return <R>(self: DataSource<R, A>): DataSource<R, B> => {
+    return new (class extends DataSource<R, B> {
+      identifier = `${self.identifier}.contramap(${f.description})`;
+      runAll(requests: Conc<Conc<B>>, __tsplusTrace?: string | undefined): IO<R, never, CompletedRequestMap> {
+        return self.runAll(requests.map((_) => _.map(f.value)));
+      }
+    })();
+  };
+}
+
+/**
+ * @tsplus pipeable fncts.query.DataSource contramapEnvironment
+ */
+export function contramapEnvironment<R0, R>(
+  f: Described<(_: Environment<R0>) => Environment<R>>,
+  __tsplusTrace?: string,
+) {
+  return <A>(self: DataSource<R, A>): DataSource<R0, A> => {
+    return new (class extends DataSource<R0, A> {
+      identifier = `${self.identifier}.contramapEnvironment(${f.description})`;
+      runAll(requests: Conc<Conc<A>>, __tsplusTrace?: string | undefined): IO<R0, never, CompletedRequestMap> {
+        return self.runAll(requests).contramapEnvironment(f.value);
+      }
+    })();
+  };
+}
+
+/**
+ * @tsplus static fncts.query.BatchedOps make
+ * @tsplus static fncts.query.DataSourceOps makeBatched
+ */
+export function makeBatched<R, A>(
+  name: string,
+  f: (requests: Conc<A>) => IO<R, never, CompletedRequestMap>,
+): DataSource<R, A> {
+  return new (class extends Batched<R, A> {
+    identifier: string = name;
+    run(requests: Conc<A>, __tsplusTrace?: string): IO<R, never, CompletedRequestMap> {
+      return f(requests);
+    }
+  })();
+}
+
+/**
+ * @tsplus static fncts.query.DataSourceOps make
+ */
+export function make<R, A>(
+  name: string,
+  f: (requests: Conc<Conc<A>>) => IO<R, never, CompletedRequestMap>,
+): DataSource<R, A> {
+  return new (class extends DataSource<R, A> {
+    identifier: string = name;
+    runAll(requests: Conc<Conc<A>>, __tsplusTrace?: string | undefined): IO<R, never, CompletedRequestMap> {
+      return f(requests);
+    }
+  })();
+}
+
+/**
+ * @tsplus static fncts.query.DataSourceOps fromFunction
+ */
+export function fromFunction<A extends Request<never, B>, B>(name: string, f: (a: A) => B): DataSource<never, A> {
+  return new (class extends Batched<never, A> {
+    run(requests: Conc<A>, __tsplusTrace?: string | undefined): IO<never, never, CompletedRequestMap> {
+      return IO.succeedNow(requests.foldLeft(CompletedRequestMap.empty(), (map, k) => map.insert(k, Right(f(k)))));
+    }
+    identifier: string = name;
+  })();
+}
+
+/**
+ * @tsplus static fncts.query.DataSourceOps fromFunctionIO
+ */
+export function fromFunctionIO<R, E, A extends Request<E, B>, B>(
+  name: string,
+  f: (a: A) => IO<R, E, B>,
+): DataSource<R, A> {
+  return new (class extends Batched<R, A> {
+    identifier: string = name;
+    run(requests: Conc<A>, __tsplusTrace?: string | undefined): IO<R, never, CompletedRequestMap> {
+      return IO.foreachConcurrent(requests, (a) => f(a).either.map((r) => [a, r] as const)).map((results) =>
+        results.foldLeft(CompletedRequestMap.empty(), (map, [k, v]) => map.insert(k, v)),
+      );
+    }
+  })();
+}

package/_src/DataSource/definition.ts

@@ -0,0 +1,77 @@
+/* eslint-disable @typescript-eslint/no-inferrable-types */
+import { Conc } from "@fncts/base/collection/immutable/Conc";
+import { IO } from "@fncts/io/IO";
+import { CompletedRequestMap } from "@fncts/query/CompletedRequestMap";
+
+export const DataSourceTypeId = Symbol.for("fncts.query.DataSource");
+export type DataSourceTypeId = typeof DataSourceTypeId;
+
+export const DataSourceVariance = Symbol.for("fncts.query.DataSource.Variance");
+export type DataSourceVariance = typeof DataSourceVariance;
+
+/**
+ * @tsplus type fncts.query.DataSource
+ * @tsplus companion fncts.query.DataSourceOps
+ */
+export abstract class DataSource<out R, in A> implements Hashable, Equatable {
+  readonly [DataSourceTypeId]: DataSourceTypeId = DataSourceTypeId;
+  declare [DataSourceVariance]: {
+    readonly _R: (_: never) => R;
+    readonly _A: (_: A) => void;
+  };
+
+  /**
+   * The data source's identifier.
+   */
+  abstract readonly identifier: string;
+  /**
+   * Execute a collection of requests. The outer `Chunk` represents batches of
+   * requests that must be performed sequentially. The inner `Chunk` represents
+   * a batch of requests that can be performed in parallel.
+   */
+  abstract runAll(requests: Conc<Conc<A>>, __tsplusTrace?: string): IO<R, never, CompletedRequestMap>;
+
+  /**
+   * Returns a data source that executes at most `n` requests in parallel.
+   */
+  batchN(n: number): DataSource<R, A> {
+    const self = this;
+    return new (class extends DataSource<R, A> {
+      identifier: string = `${this.identifier}.batchN(${n})`;
+      runAll(requests: Conc<Conc<A>>, __tsplusTrace?: string): IO<R, never, CompletedRequestMap> {
+        if (n < 1) {
+          return IO.halt(new IllegalArgumentError("n must be at least 1", "DataSource.batchN"));
+        } else {
+          return self.runAll(requests.foldLeft(Conc.empty(), (b, a) => b.concat(a.chunksOf(n))));
+        }
+      }
+    })();
+  }
+
+  get [Symbol.hash]() {
+    return Hashable.string(this.identifier);
+  }
+
+  [Symbol.equals](that: unknown): boolean {
+    return isDataSource(that) && this.identifier === that.identifier;
+  }
+}
+
+/**
+ * @tsplus type fncts.query.Batched
+ * @tsplus companion fncts.query.BatchedOps
+ */
+export abstract class Batched<R, A> extends DataSource<R, A> {
+  abstract run(requests: Conc<A>, __tsplusTrace?: string): IO<R, never, CompletedRequestMap>;
+  runAll(requests: Conc<Conc<A>>, __tsplusTrace?: string | undefined): IO<R, never, CompletedRequestMap> {
+    return IO.foldLeft(requests, CompletedRequestMap.empty(), (completedRequestMap, requests) => {
+      const newRequests: Conc<A> = requests.filter((a) => !completedRequestMap.contains(a));
+      if (newRequests.isEmpty) return IO.succeedNow(completedRequestMap);
+      else return this.run(newRequests).map((_) => completedRequestMap.concat(_));
+    });
+  }
+}
+
+export function isDataSource(u: unknown): u is DataSource<unknown, unknown> {
+  return hasTypeId(u, DataSourceTypeId);
+}

package/_src/DataSource.ts

@@ -0,0 +1,4 @@
+// codegen:start { preset: barrel, include: ./DataSource/*.ts }
+export * from "./DataSource/api.js";
+export * from "./DataSource/definition.js";
+// codegen:end

package/_src/DataSourceAspect.ts

@@ -0,0 +1,7 @@
+export const DataSourceAspectTypeId = Symbol.for("fncts.query.DataSourceAspect")
+  export type DataSourceAspectTypeId = typeof DataSourceAspectTypeId
+
+export abstract class DataSourceAspect<R> {
+  readonly [DataSourceAspectTypeId]: DataSourceAspectTypeId = DataSourceAspectTypeId
+  abstract apply<R1, A>(dataSource: DataSource<R1, A>): DataSource<R | R1, A>
+}

package/_src/Described.ts

@@ -0,0 +1,21 @@
+/**
+ * A `Described<A>` is a value of type `A` along with a string description of
+ * that value. The description may be used to generate a hash associated with
+ * the value, so values that are equal should have the same description and
+ * values that are not equal should have different descriptions.
+ *
+ * @tsplus type fncts.query.Described
+ * @tsplus companion fncts.query.DescribedOps
+ */
+export class Described<A> {
+  constructor(readonly value: A, readonly description: string) {}
+}
+
+/**
+ * @tsplus pipeable global described
+ */
+export function described(description: string) {
+  return <A>(value: A): Described<A> => {
+    return new Described(value, description);
+  };
+}

package/_src/Query/api/bimap.ts

@@ -0,0 +1,11 @@
+/**
+ * @tsplus pipeable fncts.query.Query bimap
+ */
+export function bimap<E, A, E1, B>(failure: (e: E) => E1, success: (a: A) => B, __tsplusTrace?: string) {
+  return <R>(self: Query<R, E, A>): Query<R, E1, B> => {
+    return self.matchQuery(
+      (e) => Query.failNow(failure(e)),
+      (a) => Query.succeedNow(success(a)),
+    );
+  };
+}