@fncts/base 0.0.1 → 0.0.4

package/_cjs/typeclass/Monoid.cjs

@@ -4,14 +4,20 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.Monoid = void 0;
-exports.mkMonoid = mkMonoid;
+exports.deriveLazy = deriveLazy;
+exports.deriveStruct = deriveStruct;
+exports.mkMonoid = void 0;
 
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Semigroup/definition"));
 
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Semigroup/derivations"));
+
 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 mkMonoid = mkMonoid_1;
+exports.mkMonoid = mkMonoid;
 const Monoid = {};
 /**
  * @tsplus static fncts.MonoidOps __call
@@ -19,9 +25,57 @@ const Monoid = {};
 
 exports.Monoid = Monoid;
 
-function mkMonoid(F) {
+function mkMonoid_1(F) {
   return { ...tsplus_module_1.mkSemigroup(F),
     nat: F.nat
   };
 }
+/**
+ * @tsplus derive fncts.Monoid lazy
+ */
+
+
+function deriveLazy(fn) {
+  let cached;
+  const M = mkMonoid_1({
+    combine: (x, y) => {
+      if (!cached) {
+        cached = fn(M);
+      }
+
+      return cached.combine(x, y);
+    },
+
+    get nat() {
+      if (!cached) {
+        cached = fn(M);
+      }
+
+      return cached.nat;
+    }
+
+  });
+  return M;
+}
+/**
+ * @tsplus derive fncts.Monoid<_> 20
+ */
+
+
+function deriveStruct(...args) {
+  const [requiredFields, optionalFields] = args;
+  const nat = {};
+
+  for (const field in requiredFields) {
+    nat[field] = requiredFields[field].nat;
+  }
+
+  for (const field in optionalFields) {
+    nat[field] = optionalFields[field].nat;
+  }
+
+  return mkMonoid_1({ ...tsplus_module_2.deriveStruct(...args),
+    nat: nat
+  });
+}
 //# sourceMappingURL=Monoid.cjs.map

package/_cjs/typeclass/Monoid.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"Monoid.cjs","mappings":";;;;;;;;;;;;;;AAgBO,MAAMA,MAAM,GAAc,EAA1B;AAMP;;;;;;AAGM,SAAUC,QAAV,CAAsBC,CAAtB,EAAqC;EACzC,OAAO,EACL,GAAGC,4BAAUD,CAAV,CADE;IAELE,GAAG,EAAEF,CAAC,CAACE;EAFF,CAAP;AAID","names":["Monoid","mkMonoid","F","tsplus_module_1","nat"],"sourceRoot":"","sources":["../../_src/typeclass/Monoid.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Monoid.cjs","mappings":";;;;;;;;;;;;;;;;;;MA0BgBA,QAAQ;;AATjB,MAAMC,MAAM,GAAc,EAA1B;AAMP;;;;;;AAGA,oBAA4BC,CAA5B,EAA2C;EACzC,OAAO,EACL,GAAGC,4BAAUD,CAAV,CADE;IAELE,GAAG,EAAEF,CAAC,CAACE;EAFF,CAAP;AAID;AAED;;;;;AAGM,SAAUC,UAAV,CAAwBC,EAAxB,EAAuD;EAC3D,IAAIC,MAAJ;EACA,MAAMC,CAAC,GAAcC,WAAO;IAC1BC,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAS;MAChB,IAAI,CAACL,MAAL,EAAa;QACXA,MAAM,GAAGD,EAAE,CAACE,CAAD,CAAX;MACD;;MACD,OAAOD,MAAM,CAACG,OAAP,CAAeC,CAAf,EAAkBC,CAAlB,CAAP;IACD,CANyB;;IAO1B,IAAIR,GAAJ,GAAO;MACL,IAAI,CAACG,MAAL,EAAa;QACXA,MAAM,GAAGD,EAAE,CAACE,CAAD,CAAX;MACD;;MACD,OAAOD,MAAM,CAACH,GAAd;IACD;;EAZyB,CAAP,CAArB;EAcA,OAAOI,CAAP;AACD;AAED;;;;;AAGM,SAAUK,YAAV,CACJ,GAAGC,IADC,EAgBK;EAET,MAAM,CAAEC,cAAF,EAAkBC,cAAlB,IAAqCF,IAA3C;EACA,MAAMV,GAAG,GAAkC,EAA3C;;EACA,KAAK,MAAMa,KAAX,IAAoBF,cAApB,EAAoC;IAClCX,GAAG,CAACa,KAAD,CAAH,GAAcF,cAAc,CAACE,KAAD,CAAd,CAAsCb,GAApD;EACD;;EACD,KAAK,MAAMa,KAAX,IAAoBD,cAApB,EAAoC;IAClCZ,GAAG,CAACa,KAAD,CAAH,GAAcD,cAAc,CAACC,KAAD,CAAd,CAAsCb,GAApD;EACD;;EACD,OAAOK,WAAO,EACZ,GAAGS,6BAA0B,GAAGJ,IAA7B,CADS;IAEZV,GAAG,EAAEA;EAFO,CAAP,CAAP;AAID","names":["mkMonoid","Monoid","F","tsplus_module_1","nat","deriveLazy","fn","cached","M","mkMonoid_1","combine","x","y","deriveStruct","args","requiredFields","optionalFields","field","tsplus_module_2"],"sourceRoot":"","sources":["../../_src/typeclass/Monoid.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Nil.cjs

@@ -3,4 +3,14 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
+exports.nil = nil;
+
+/**
+ * @tsplus fluent fncts.Kind nil
+ */
+function nil(
+/** @tsplus auto */
+F) {
+  return F.nil();
+}
 //# sourceMappingURL=Nil.cjs.map

package/_cjs/typeclass/Nil.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"Nil.cjs","mappings":"","names":[],"sourceRoot":"","sources":[],"sourcesContent":[]}
+{"version":3,"file":"Nil.cjs","mappings":";;;;;;;AAgBA;;;AAGM,SAAUA,GAAV;AAUJ;AAAoBC,CAVhB,EAUyB;EAC7B,OAAOA,CAAC,CAACD,GAAF,EAAP;AACD","names":["nil","F"],"sourceRoot":"","sources":["../../_src/typeclass/Nil.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Ord/api/contramap.cjs

@@ -10,10 +10,8 @@ exports.contramap = contramap;
  */
 function contramap(self, f) {
   return {
-    compare_: (x, y) => self.compare_(f(x), f(y)),
-    compare: y => x => self.compare_(f(x), f(y)),
-    equals_: (x, y) => self.equals_(f(x), f(y)),
-    equals: y => x => self.equals_(f(x), f(y))
+    compare: (x, y) => self.compare(f(x), f(y)),
+    equals: (x, y) => self.equals(f(x), f(y))
   };
 }
 //# sourceMappingURL=contramap.cjs.map

package/_cjs/typeclass/Ord/api/contramap.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"contramap.cjs","mappings":";;;;;;;AAEA;;;AAGM,SAAUA,SAAV,CAA0BC,IAA1B,EAAwCC,CAAxC,EAAsD;EAC1D,OAAO;IACLC,QAAQ,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUJ,IAAI,CAACE,QAAL,CAAcD,CAAC,CAACE,CAAD,CAAf,EAAoBF,CAAC,CAACG,CAAD,CAArB,CADf;IAELC,OAAO,EAAGD,CAAD,IAAQD,CAAD,IAAOH,IAAI,CAACE,QAAL,CAAcD,CAAC,CAACE,CAAD,CAAf,EAAoBF,CAAC,CAACG,CAAD,CAArB,CAFlB;IAGLE,OAAO,EAAE,CAACH,CAAD,EAAIC,CAAJ,KAAUJ,IAAI,CAACM,OAAL,CAAaL,CAAC,CAACE,CAAD,CAAd,EAAmBF,CAAC,CAACG,CAAD,CAApB,CAHd;IAILG,MAAM,EAAGH,CAAD,IAAQD,CAAD,IAAOH,IAAI,CAACM,OAAL,CAAaL,CAAC,CAACE,CAAD,CAAd,EAAmBF,CAAC,CAACG,CAAD,CAApB;EAJjB,CAAP;AAMD","names":["contramap","self","f","compare_","x","y","compare","equals_","equals"],"sourceRoot":"","sources":["../../../../_src/typeclass/Ord/api/contramap.ts"],"sourcesContent":[null]}
+{"version":3,"file":"contramap.cjs","mappings":";;;;;;;AAEA;;;AAGM,SAAUA,SAAV,CAA0BC,IAA1B,EAAwCC,CAAxC,EAAsD;EAC1D,OAAO;IACLC,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUJ,IAAI,CAACE,OAAL,CAAaD,CAAC,CAACE,CAAD,CAAd,EAAmBF,CAAC,CAACG,CAAD,CAApB,CADd;IAELC,MAAM,EAAE,CAACF,CAAD,EAAIC,CAAJ,KAAUJ,IAAI,CAACK,MAAL,CAAYJ,CAAC,CAACE,CAAD,CAAb,EAAkBF,CAAC,CAACG,CAAD,CAAnB;EAFb,CAAP;AAID","names":["contramap","self","f","compare","x","y","equals"],"sourceRoot":"","sources":["../../../../_src/typeclass/Ord/api/contramap.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Ord/api/max.cjs

@@ -10,6 +10,6 @@ exports.max_ = max_;
  * @tsplus getter fncts.Ord max
  */
 function max_(O) {
-  return (x, y) => x === y || O.compare_(x, y) > -1 ? x : y;
+  return (x, y) => x === y || O.compare(x, y) > -1 ? x : y;
 }
 //# sourceMappingURL=max.cjs.map

package/_cjs/typeclass/Ord/api/max.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"max.cjs","mappings":";;;;;;;AAEA;;;;AAIM,SAAUA,IAAV,CAAkBC,CAAlB,EAA2B;EAC/B,OAAO,CAACC,CAAD,EAAIC,CAAJ,KAAWD,CAAC,KAAKC,CAAN,IAAWF,CAAC,CAACG,QAAF,CAAWF,CAAX,EAAcC,CAAd,IAAmB,CAAC,CAA/B,GAAmCD,CAAnC,GAAuCC,CAAzD;AACD","names":["max_","O","x","y","compare_"],"sourceRoot":"","sources":["../../../../_src/typeclass/Ord/api/max.ts"],"sourcesContent":[null]}
+{"version":3,"file":"max.cjs","mappings":";;;;;;;AAEA;;;;AAIM,SAAUA,IAAV,CAAkBC,CAAlB,EAA2B;EAC/B,OAAO,CAACC,CAAD,EAAIC,CAAJ,KAAWD,CAAC,KAAKC,CAAN,IAAWF,CAAC,CAACG,OAAF,CAAUF,CAAV,EAAaC,CAAb,IAAkB,CAAC,CAA9B,GAAkCD,CAAlC,GAAsCC,CAAxD;AACD","names":["max_","O","x","y","compare"],"sourceRoot":"","sources":["../../../../_src/typeclass/Ord/api/max.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Ord/api/min.cjs

@@ -10,6 +10,6 @@ exports.min_ = min_;
  * @tsplus getter fncts.Ord min
  */
 function min_(O) {
-  return (x, y) => x === y || O.compare_(x, y) < 1 ? x : y;
+  return (x, y) => x === y || O.compare(x, y) < 1 ? x : y;
 }
 //# sourceMappingURL=min.cjs.map

package/_cjs/typeclass/Ord/api/min.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"min.cjs","mappings":";;;;;;;AAEA;;;;AAIM,SAAUA,IAAV,CAAkBC,CAAlB,EAA2B;EAC/B,OAAO,CAACC,CAAD,EAAIC,CAAJ,KAAWD,CAAC,KAAKC,CAAN,IAAWF,CAAC,CAACG,QAAF,CAAWF,CAAX,EAAcC,CAAd,IAAmB,CAA9B,GAAkCD,CAAlC,GAAsCC,CAAxD;AACD","names":["min_","O","x","y","compare_"],"sourceRoot":"","sources":["../../../../_src/typeclass/Ord/api/min.ts"],"sourcesContent":[null]}
+{"version":3,"file":"min.cjs","mappings":";;;;;;;AAEA;;;;AAIM,SAAUA,IAAV,CAAkBC,CAAlB,EAA2B;EAC/B,OAAO,CAACC,CAAD,EAAIC,CAAJ,KAAWD,CAAC,KAAKC,CAAN,IAAWF,CAAC,CAACG,OAAF,CAAUF,CAAV,EAAaC,CAAb,IAAkB,CAA7B,GAAiCD,CAAjC,GAAqCC,CAAvD;AACD","names":["min_","O","x","y","compare"],"sourceRoot":"","sources":["../../../../_src/typeclass/Ord/api/min.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Ord/api.cjs

@@ -4,7 +4,7 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 
-var _contramap = /*#__PURE__*/require("./api/contramap.js");
+var _contramap = /*#__PURE__*/require("./api/contramap.cjs");
 
 Object.keys(_contramap).forEach(function (key) {
   if (key === "default" || key === "__esModule") return;
@@ -17,7 +17,7 @@ Object.keys(_contramap).forEach(function (key) {
   });
 });
 
-var _max = /*#__PURE__*/require("./api/max.js");
+var _max = /*#__PURE__*/require("./api/max.cjs");
 
 Object.keys(_max).forEach(function (key) {
   if (key === "default" || key === "__esModule") return;
@@ -30,7 +30,7 @@ Object.keys(_max).forEach(function (key) {
   });
 });
 
-var _min = /*#__PURE__*/require("./api/min.js");
+var _min = /*#__PURE__*/require("./api/min.cjs");
 
 Object.keys(_min).forEach(function (key) {
   if (key === "default" || key === "__esModule") return;

package/_cjs/typeclass/Ord/definition.cjs

@@ -6,7 +6,7 @@ Object.defineProperty(exports, "__esModule", {
 exports.Ord = void 0;
 exports.mkOrd = mkOrd;
 
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Eq"));
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Eq/definition"));
 
 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); }
 
@@ -21,8 +21,7 @@ exports.Ord = Ord;
 
 function mkOrd(O) {
   return { ...tsplus_module_1.mkEq(O),
-    compare_: O.compare_,
-    compare: y => x => O.compare_(x, y)
+    compare: O.compare
   };
 }
 //# sourceMappingURL=definition.cjs.map

package/_cjs/typeclass/Ord/definition.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;AAkBO,MAAMA,GAAG,GAAW,EAApB;AAOP;;;;;;AAGM,SAAUC,KAAV,CAAmBC,CAAnB,EAA+B;EACnC,OAAO,EACL,GAAGC,qBAAGD,CAAH,CADE;IAELE,QAAQ,EAAEF,CAAC,CAACE,QAFP;IAGLC,OAAO,EAAGC,CAAD,IAAQC,CAAD,IAAOL,CAAC,CAACE,QAAF,CAAWG,CAAX,EAAcD,CAAd;EAHlB,CAAP;AAKD","names":["Ord","mkOrd","O","tsplus_module_1","compare_","compare","y","x"],"sourceRoot":"","sources":["../../../_src/typeclass/Ord/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;AAgBO,MAAMA,GAAG,GAAW,EAApB;AAEP;;;;;;AAGM,SAAUC,KAAV,CAAmBC,CAAnB,EAA4B;EAChC,OAAO,EACL,GAAGC,qBAAGD,CAAH,CADE;IAELE,OAAO,EAAEF,CAAC,CAACE;EAFN,CAAP;AAID","names":["Ord","mkOrd","O","tsplus_module_1","compare"],"sourceRoot":"","sources":["../../../_src/typeclass/Ord/definition.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Ord/instances.cjs

@@ -27,12 +27,12 @@ exports.getSemigroup = getSemigroup;
 
 function getSemigroup_1() {
   return tsplus_module_2.mkSemigroup({
-    combine_: (x, y) => tsplus_module_1.mkOrd({
-      compare_: (a1, a2) => {
-        const ox = x.compare_(a1, a2);
-        return ox !== 0 ? ox : y.compare_(a1, a2);
+    combine: (x, y) => tsplus_module_1.mkOrd({
+      compare: (a1, a2) => {
+        const ox = x.compare(a1, a2);
+        return ox !== 0 ? ox : y.compare(a1, a2);
       },
-      equals_: (a1, a2) => x.equals_(a1, a2) && y.equals_(a1, a2)
+      equals: (a1, a2) => x.equals(a1, a2) && y.equals(a1, a2)
     })
   });
 }
@@ -44,8 +44,8 @@ function getSemigroup_1() {
 function getMonoid() {
   return tsplus_module_4.mkMonoid({ ...getSemigroup_1(),
     nat: tsplus_module_1.mkOrd({
-      compare_: () => tsplus_module_3.EQ,
-      equals_: () => true
+      compare: () => tsplus_module_3.EQ,
+      equals: () => true
     })
   });
 }

package/_cjs/typeclass/Ord/instances.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"instances.cjs","mappings":";;;;;;;;;;;;;;;;;;;;MAQgBA,YAAY;AAH5B;;;;;;AAGA;EACE,OAAOC,4BAAU;IACfC,QAAQ,EAAE,CAACC,CAAD,EAAIC,CAAJ,KACRC,sBAAI;MACFC,QAAQ,EAAE,CAACC,EAAD,EAAKC,EAAL,KAAW;QACnB,MAAMC,EAAE,GAAGN,CAAC,CAACG,QAAF,CAAWC,EAAX,EAAeC,EAAf,CAAX;QACA,OAAOC,EAAE,KAAK,CAAP,GAAWA,EAAX,GAAgBL,CAAC,CAACE,QAAF,CAAWC,EAAX,EAAeC,EAAf,CAAvB;MACD,CAJC;MAKFE,OAAO,EAAE,CAACH,EAAD,EAAKC,EAAL,KAAYL,CAAC,CAACO,OAAF,CAAUH,EAAV,EAAcC,EAAd,KAAqBJ,CAAC,CAACM,OAAF,CAAUH,EAAV,EAAcC,EAAd;IALxC,CAAJ;EAFa,CAAV,CAAP;AAUD;AAED;;;;;AAGM,SAAUG,SAAV,GAAmB;EACvB,OAAOC,yBAAO,EACZ,GAAGC,gBADS;IAEZC,GAAG,EAAET,sBAAI;MAAEC,QAAQ,EAAE,MAAKS,kBAAjB;MAA+BL,OAAO,EAAE,MAAM;IAA9C,CAAJ;EAFO,CAAP,CAAP;AAID","names":["getSemigroup","tsplus_module_2","combine_","x","y","tsplus_module_1","compare_","a1","a2","ox","equals_","getMonoid","tsplus_module_4","getSemigroup_1","nat","tsplus_module_3"],"sourceRoot":"","sources":["../../../_src/typeclass/Ord/instances.ts"],"sourcesContent":[null]}
+{"version":3,"file":"instances.cjs","mappings":";;;;;;;;;;;;;;;;;;;;MAQgBA,YAAY;AAH5B;;;;;;AAGA;EACE,OAAOC,4BAAU;IACfC,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KACPC,sBAAI;MACFC,OAAO,EAAE,CAACC,EAAD,EAAKC,EAAL,KAAW;QAClB,MAAMC,EAAE,GAAGN,CAAC,CAACG,OAAF,CAAUC,EAAV,EAAcC,EAAd,CAAX;QACA,OAAOC,EAAE,KAAK,CAAP,GAAWA,EAAX,GAAgBL,CAAC,CAACE,OAAF,CAAUC,EAAV,EAAcC,EAAd,CAAvB;MACD,CAJC;MAKFE,MAAM,EAAE,CAACH,EAAD,EAAKC,EAAL,KAAYL,CAAC,CAACO,MAAF,CAASH,EAAT,EAAaC,EAAb,KAAoBJ,CAAC,CAACM,MAAF,CAASH,EAAT,EAAaC,EAAb;IALtC,CAAJ;EAFa,CAAV,CAAP;AAUD;AAED;;;;;AAGM,SAAUG,SAAV,GAAmB;EACvB,OAAOC,yBAAO,EACZ,GAAGC,gBADS;IAEZC,GAAG,EAAET,sBAAI;MAAEC,OAAO,EAAE,MAAKS,kBAAhB;MAA8BL,MAAM,EAAE,MAAM;IAA5C,CAAJ;EAFO,CAAP,CAAP;AAID","names":["getSemigroup","tsplus_module_2","combine","x","y","tsplus_module_1","compare","a1","a2","ox","equals","getMonoid","tsplus_module_4","getSemigroup_1","nat","tsplus_module_3"],"sourceRoot":"","sources":["../../../_src/typeclass/Ord/instances.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Ord.cjs

@@ -4,7 +4,7 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 
-var _api = /*#__PURE__*/require("./Ord/api.js");
+var _api = /*#__PURE__*/require("./Ord/api.cjs");
 
 Object.keys(_api).forEach(function (key) {
   if (key === "default" || key === "__esModule") return;
@@ -17,7 +17,7 @@ Object.keys(_api).forEach(function (key) {
   });
 });
 
-var _definition = /*#__PURE__*/require("./Ord/definition.js");
+var _definition = /*#__PURE__*/require("./Ord/definition.cjs");
 
 Object.keys(_definition).forEach(function (key) {
   if (key === "default" || key === "__esModule") return;
@@ -30,7 +30,7 @@ Object.keys(_definition).forEach(function (key) {
   });
 });
 
-var _instances = /*#__PURE__*/require("./Ord/instances.js");
+var _instances = /*#__PURE__*/require("./Ord/instances.cjs");
 
 Object.keys(_instances).forEach(function (key) {
   if (key === "default" || key === "__esModule") return;

package/_cjs/typeclass/Pointed.cjs

@@ -4,22 +4,17 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.Pointed = void 0;
-exports.mkPointed = mkPointed;
-
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/typelevel/HKT"));
-
-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; }
-
+exports.pure = pure;
 const Pointed = {};
 /**
- * @tsplus static fncts.PointedOps __call
+ * @tsplus static fncts.PointedOps pure
  */
 
 exports.Pointed = Pointed;
 
-function mkPointed(F) {
-  return F;
+function pure(a,
+/** @tsplus auto */
+F) {
+  return F.pure(a);
 }
 //# sourceMappingURL=Pointed.cjs.map

package/_cjs/typeclass/Pointed.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"Pointed.cjs","mappings":";;;;;;;;;;;;;;AAaO,MAAMA,OAAO,GAAe,EAA5B;AAEP;;;;;;AAGM,SAAUC,SAAV,CAAkDC,CAAlD,EAAsE;EAC1E,OAAoCA,CAApC;AACD","names":["Pointed","mkPointed","F"],"sourceRoot":"","sources":["../../_src/typeclass/Pointed.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Pointed.cjs","mappings":";;;;;;;AAqBO,MAAMA,OAAO,GAAe,EAA5B;AAEP;;;;;;AAGM,SAAUC,IAAV,CAYJC,CAZI;AAYE;AAAoBC,CAZtB,EAYmC;EACvC,OAAOA,CAAC,CAACF,IAAF,CAAOC,CAAP,CAAP;AACD","names":["Pointed","pure","a","F"],"sourceRoot":"","sources":["../../_src/typeclass/Pointed.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Semialign.cjs

@@ -4,24 +4,16 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.Semialign = void 0;
-exports.alignCombineF = alignCombineF;
-exports.alignCombineF_ = alignCombineF_;
-exports.alignWithF_ = alignWithF_;
-exports.mkSemialign = mkSemialign;
-exports.padZipF = padZipF;
-exports.padZipF_ = padZipF_;
-exports.padZipWithF = padZipWithF;
-exports.padZipWithF_ = padZipWithF_;
-exports.zipAllF = zipAllF;
-exports.zipAllF_ = zipAllF_;
+exports.align = align;
+exports.alignCombine = alignCombine;
+exports.alignWith = void 0;
+exports.padZip = padZip;
+exports.padZipWith = void 0;
+exports.zipAll = zipAll;
 
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/typelevel/HKT"));
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/These/destructors"));
 
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Functor"));
-
-var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/These/destructors"));
-
-var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
 
 var _function = /*#__PURE__*/require("@fncts/base/data/function");
 
@@ -29,93 +21,84 @@ function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "functio
 
 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 alignWith = alignWith_1;
+exports.alignWith = alignWith;
+const padZipWith = padZipWith_1;
+exports.padZipWith = padZipWith;
 const Semialign = {};
-exports.Semialign = Semialign;
-
-function mkSemialign(F) {
-  const alignCombine_ = alignCombineF_(F);
-  const padZip_ = padZipF_(F);
-  const padZipWith_ = padZipWithF_(F);
-  const zipAll_ = zipAllF_(F);
-
-  if ("alignWith_" in F) {
-    const align_ = (fa, fb) => F.alignWith_(fa, fb, _function.identity);
-
-    return { ...tsplus_module_2.mkFunctor(F),
-      alignWith_: F.alignWith_,
-      alignWith: (fb, f) => fa => F.alignWith_(fa, fb, f),
-      align_,
-      align: fb => fa => align_(fa, fb),
-      alignCombine_,
-      alignCombine: S => fb => fa => alignCombine_(S)(fa, fb),
-      padZip_,
-      padZip: fb => fa => padZip_(fa, fb),
-      padZipWith_,
-      padZipWith: (fb, f) => fa => padZipWith_(fa, fb, f),
-      zipAll_,
-      zipAll: (fb, a, b) => fa => zipAll_(fa, fb, a, b)
-    };
-  } else {
-    const alignWith_ = (fa, fb, f) => F.map_(F.align_(fa, fb), f);
-
-    return { ...tsplus_module_2.mkFunctor(F),
-      alignWith_,
-      alignWith: (fb, f) => fa => alignWith_(fa, fb, f),
-      align_: F.align_,
-      align: fb => fa => F.align_(fa, fb),
-      alignCombine_,
-      alignCombine: S => fb => fa => alignCombine_(S)(fa, fb),
-      padZip_,
-      padZip: fb => fa => padZip_(fa, fb),
-      padZipWith_,
-      padZipWith: (fb, f) => fa => padZipWith_(fa, fb, f),
-      zipAll_,
-      zipAll: (fb, a, b) => fa => zipAll_(fa, fb, a, b)
-    };
-  }
-}
-
-function alignWithF_(F) {
-  if ("alignWith_" in F) {
-    return F.alignWith_;
-  } else {
-    return (fa, fb, f) => F.map_(F.align_(fa, fb), f);
-  }
-}
+/**
+ * @tsplus fluent fncts.Kind align
+ */
 
-function alignCombineF_(F) {
-  const alignWith_ = alignWithF_(F);
-  return S => (fa1, fa2) => alignWith_(fa1, fa2, th => tsplus_module_3.match_(th, _function.identity, _function.identity, S.combine_));
-}
+exports.Semialign = Semialign;
 
-function alignCombineF(F) {
-  return S => fb => fa => alignCombineF_(F)(S)(fa, fb);
+function align(fa, fb,
+/** @tsplus auto */
+F) {
+  return F.alignWith(fa, fb, _function.identity);
 }
+/**
+ * @tsplus fluent fncts.Kind alignWith
+ */
 
-function padZipF_(F) {
-  const padZipWith_ = padZipWithF_(F);
-  return (fa, fb) => padZipWith_(fa, fb, _function.identity);
-}
 
-function padZipF(F) {
-  return fb => fa => padZipF_(F)(fa, fb);
+function alignWith_1(fa, fb, f,
+/** @tsplus auto */
+F) {
+  return alignWith_1(fa, fb, f, F);
 }
-
-function padZipWithF_(F) {
-  const alignWith_ = alignWithF_(F);
-  return (fa, fb, f) => alignWith_(fa, fb, th => tsplus_module_3.match_(th, a => f([tsplus_module_4.just(a), tsplus_module_4.nothing()]), b => f([tsplus_module_4.nothing(), tsplus_module_4.just(b)]), (a, b) => f([tsplus_module_4.just(a), tsplus_module_4.just(b)])));
+/**
+ * @tsplus fluent fncts.Kind alignCombine
+ */
+
+
+function alignCombine(self, that,
+/** @tsplus auto */
+F,
+/** @tsplus auto */
+S) {
+  const F_1 =
+  /** @tsplus auto */
+  F;
+  return alignWith_1(self, that, th => tsplus_module_1.match_(th, _function.identity, _function.identity, S.combine), F_1);
 }
-
-function padZipWithF(F) {
-  return (fb, f) => fa => padZipWithF_(F)(fa, fb, f);
+/**
+ * @tsplus fluent fncts.Kind padZip
+ */
+
+
+function padZip(fa, fb,
+/** @tsplus auto */
+F) {
+  const F_2 =
+  /** @tsplus auto */
+  F;
+  return padZipWith_1(fa, fb, _function.identity, F_2);
 }
-
-function zipAllF_(F) {
-  const alignWith_ = alignWithF_(F);
-  return (fa, fb, a, b) => alignWith_(fa, fb, th => tsplus_module_3.match_(th, x => [x, b], x => [a, x], _function.tuple));
+/**
+ * @tsplus fluent fncts.Kind padZipWith
+ */
+
+
+function padZipWith_1(fa, fb, f,
+/** @tsplus auto */
+F) {
+  const F_3 =
+  /** @tsplus auto */
+  F;
+  return alignWith_1(fa, fb, th => tsplus_module_1.match_(th, a => f([tsplus_module_2.just(a), tsplus_module_2.nothing()]), b => f([tsplus_module_2.nothing(), tsplus_module_2.just(b)]), (a, b) => f([tsplus_module_2.just(a), tsplus_module_2.just(b)])), F_3);
 }
-
-function zipAllF(F) {
-  return (fb, a, b) => fa => zipAllF_(F)(fa, fb, a, b);
+/**
+ * @tsplus fluent fncts.Kind zipAll
+ */
+
+
+function zipAll(fa, fb, a, b,
+/** @tsplus auto */
+F) {
+  const F_4 =
+  /** @tsplus auto */
+  F;
+  return alignWith_1(fa, fb, th => tsplus_module_1.match_(th, x => [x, b], x => [a, x], _function.tuple), F_4);
 }
 //# sourceMappingURL=Semialign.cjs.map

package/_cjs/typeclass/Semialign.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"Semialign.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AAGA;;;;;;AA0BO,MAAMA,SAAS,GAAiB,EAAhC;;;AAYD,SAAUC,WAAV,CAAyBC,CAAzB,EAAkD;EACtD,MAAMC,aAAa,GAAGC,cAAc,CAACF,CAAD,CAApC;EACA,MAAMG,OAAO,GAASC,QAAQ,CAACJ,CAAD,CAA9B;EACA,MAAMK,WAAW,GAAKC,YAAY,CAACN,CAAD,CAAlC;EACA,MAAMO,OAAO,GAASC,QAAQ,CAACR,CAAD,CAA9B;;EACA,IAAI,gBAAgBA,CAApB,EAAuB;IACrB,MAAMS,MAAM,GAAqB,CAACC,EAAD,EAAKC,EAAL,KAAYX,CAAC,CAACY,UAAF,CAAaF,EAAb,EAAiBC,EAAjB,EAAqBE,kBAArB,CAA7C;;IACA,OAAyC,EACvC,GAAGC,0BAAQd,CAAR,CADoC;MAEvCY,UAAU,EAAEZ,CAAC,CAACY,UAFyB;MAGvCG,SAAS,EAAE,CAACJ,EAAD,EAAKK,CAAL,KAAYN,EAAD,IAAQV,CAAC,CAACY,UAAF,CAAaF,EAAb,EAAiBC,EAAjB,EAAqBK,CAArB,CAHS;MAIvCP,MAJuC;MAKvCQ,KAAK,EAAGN,EAAD,IAASD,EAAD,IAAQD,MAAM,CAACC,EAAD,EAAKC,EAAL,CALU;MAMvCV,aANuC;MAOvCiB,YAAY,EAAGC,CAAD,IAAQR,EAAD,IAASD,EAAD,IAAQT,aAAa,CAACkB,CAAD,CAAb,CAAiBT,EAAjB,EAAqBC,EAArB,CAPE;MAQvCR,OARuC;MASvCiB,MAAM,EAAGT,EAAD,IAASD,EAAD,IAAQP,OAAO,CAACO,EAAD,EAAKC,EAAL,CATQ;MAUvCN,WAVuC;MAWvCgB,UAAU,EAAE,CAACV,EAAD,EAAKK,CAAL,KAAYN,EAAD,IAAQL,WAAW,CAACK,EAAD,EAAKC,EAAL,EAASK,CAAT,CAXH;MAYvCT,OAZuC;MAavCe,MAAM,EAAE,CAACX,EAAD,EAAKY,CAAL,EAAQC,CAAR,KAAed,EAAD,IAAQH,OAAO,CAACG,EAAD,EAAKC,EAAL,EAASY,CAAT,EAAYC,CAAZ;IAbE,CAAzC;EAeD,CAjBD,MAiBO;IACL,MAAMZ,UAAU,GAAsC,CAACF,EAAD,EAAKC,EAAL,EAASK,CAAT,KAAehB,CAAC,CAACyB,IAAF,CAAOzB,CAAC,CAACS,MAAF,CAASC,EAAT,EAAaC,EAAb,CAAP,EAAyBK,CAAzB,CAArE;;IACA,OAAyC,EACvC,GAAGF,0BAAQd,CAAR,CADoC;MAEvCY,UAFuC;MAGvCG,SAAS,EAAE,CAACJ,EAAD,EAAKK,CAAL,KAAYN,EAAD,IAAQE,UAAU,CAACF,EAAD,EAAKC,EAAL,EAASK,CAAT,CAHD;MAIvCP,MAAM,EAAET,CAAC,CAACS,MAJ6B;MAKvCQ,KAAK,EAAGN,EAAD,IAASD,EAAD,IAAQV,CAAC,CAACS,MAAF,CAASC,EAAT,EAAaC,EAAb,CALgB;MAMvCV,aANuC;MAOvCiB,YAAY,EAAGC,CAAD,IAAQR,EAAD,IAASD,EAAD,IAAQT,aAAa,CAACkB,CAAD,CAAb,CAAiBT,EAAjB,EAAqBC,EAArB,CAPE;MAQvCR,OARuC;MASvCiB,MAAM,EAAGT,EAAD,IAASD,EAAD,IAAQP,OAAO,CAACO,EAAD,EAAKC,EAAL,CATQ;MAUvCN,WAVuC;MAWvCgB,UAAU,EAAE,CAACV,EAAD,EAAKK,CAAL,KAAYN,EAAD,IAAQL,WAAW,CAACK,EAAD,EAAKC,EAAL,EAASK,CAAT,CAXH;MAYvCT,OAZuC;MAavCe,MAAM,EAAE,CAACX,EAAD,EAAKY,CAAL,EAAQC,CAAR,KAAed,EAAD,IAAQH,OAAO,CAACG,EAAD,EAAKC,EAAL,EAASY,CAAT,EAAYC,CAAZ;IAbE,CAAzC;EAeD;AACF;;AA0IK,SAAUE,WAAV,CAAmD1B,CAAnD,EAAwE;EAC5E,IAAI,gBAAgBA,CAApB,EAAuB;IACrB,OAAOA,CAAC,CAACY,UAAT;EACD,CAFD,MAEO;IACL,OAAO,CAACF,EAAD,EAAKC,EAAL,EAASK,CAAT,KAAehB,CAAC,CAACyB,IAAF,CAAOzB,CAAC,CAACS,MAAF,CAASC,EAAT,EAAaC,EAAb,CAAP,EAAyBK,CAAzB,CAAtB;EACD;AACF;;AAiEK,SAAUd,cAAV,CAAsDF,CAAtD,EAA2E;EAC/E,MAAMY,UAAU,GAAGc,WAAW,CAAC1B,CAAD,CAA9B;EACA,OAAQmB,CAAD,IAAO,CAACQ,GAAD,EAAMC,GAAN,KAAchB,UAAU,CAACe,GAAD,EAAMC,GAAN,EAAYC,EAAD,IAAQC,2BAASjB,kBAAT,EAAmBA,kBAAnB,EAA6BM,CAAC,CAACY,QAA/B,CAAnB,CAAtC;AACD;;AAGK,SAAUC,aAAV,CAA2BhC,CAA3B,EAAoD;EACxD,OAAQmB,CAAD,IAAQR,EAAD,IAASD,EAAD,IAAQR,cAAc,CAACF,CAAD,CAAd,CAAkBmB,CAAlB,EAAqBT,EAArB,EAAyBC,EAAzB,CAA9B;AACD;;AAyEK,SAAUP,QAAV,CAAgDJ,CAAhD,EAAqE;EACzE,MAAMK,WAAW,GAAGC,YAAY,CAACN,CAAD,CAAhC;EACA,OAAO,CAACU,EAAD,EAAKC,EAAL,KAAYN,WAAW,CAACK,EAAD,EAAKC,EAAL,EAASE,kBAAT,CAA9B;AACD;;AAGK,SAAUoB,OAAV,CAAqBjC,CAArB,EAA8C;EAClD,OAAQW,EAAD,IAASD,EAAD,IAAQN,QAAQ,CAACJ,CAAD,CAAR,CAAYU,EAAZ,EAAgBC,EAAhB,CAAvB;AACD;;AAmEK,SAAUL,YAAV,CAAoDN,CAApD,EAAyE;EAC7E,MAAMY,UAAU,GAAGc,WAAW,CAAC1B,CAAD,CAA9B;EACA,OAAO,CAACU,EAAD,EAAKC,EAAL,EAASK,CAAT,KACLJ,UAAU,CAACF,EAAD,EAAKC,EAAL,EAAUkB,EAAD,IACjBC,2BACGP,CAAD,IAAOP,CAAC,CAAC,CAACkB,qBAAKX,CAAL,CAAD,EAAUW,yBAAV,CAAD,CADV,EAEGV,CAAD,IAAOR,CAAC,CAAC,CAACkB,yBAAD,EAAYA,qBAAKV,CAAL,CAAZ,CAAD,CAFV,EAGE,CAACD,CAAD,EAAIC,CAAJ,KAAUR,CAAC,CAAC,CAACkB,qBAAKX,CAAL,CAAD,EAAUW,qBAAKV,CAAL,CAAV,CAAD,CAHb,CADQ,CADZ;AAQD;;AAGK,SAAUW,WAAV,CAAyBnC,CAAzB,EAAkD;EACtD,OAAO,CAACW,EAAD,EAAKK,CAAL,KAAYN,EAAD,IAAQJ,YAAY,CAACN,CAAD,CAAZ,CAAgBU,EAAhB,EAAoBC,EAApB,EAAwBK,CAAxB,CAA1B;AACD;;AA0EK,SAAUR,QAAV,CAAgDR,CAAhD,EAAqE;EACzE,MAAMY,UAAU,GAAGc,WAAW,CAAC1B,CAAD,CAA9B;EACA,OAAO,CAACU,EAAD,EAAKC,EAAL,EAASY,CAAT,EAAYC,CAAZ,KACLZ,UAAU,CAACF,EAAD,EAAKC,EAAL,EAAUkB,EAAD,IACjBC,2BACGM,CAAD,IAAO,CAACA,CAAD,EAAIZ,CAAJ,CADT,EAEGY,CAAD,IAAO,CAACb,CAAD,EAAIa,CAAJ,CAFT,EAGEC,eAHF,CADQ,CADZ;AAQD;;AAGK,SAAUC,OAAV,CAAqBtC,CAArB,EAA8C;EAClD,OAAO,CAACW,EAAD,EAAKY,CAAL,EAAQC,CAAR,KAAed,EAAD,IAAQF,QAAQ,CAACR,CAAD,CAAR,CAAYU,EAAZ,EAAgBC,EAAhB,EAAoBY,CAApB,EAAuBC,CAAvB,CAA7B;AACD","names":["Semialign","mkSemialign","F","alignCombine_","alignCombineF_","padZip_","padZipF_","padZipWith_","padZipWithF_","zipAll_","zipAllF_","align_","fa","fb","alignWith_","identity","tsplus_module_2","alignWith","f","align","alignCombine","S","padZip","padZipWith","zipAll","a","b","map_","alignWithF_","fa1","fa2","th","tsplus_module_3","combine_","alignCombineF","padZipF","tsplus_module_4","padZipWithF","x","tuple","zipAllF"],"sourceRoot":"","sources":["../../_src/typeclass/Semialign.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Semialign.cjs","mappings":";;;;;;;;;;;;;;;;;AAGA;;;;;;MA+GgBA,SAAS;;MA+LTC,UAAU;;AAhSnB,MAAMC,SAAS,GAAiB,EAAhC;AA+BP;;;;;;AAGM,SAAUC,KAAV,CACJC,EADI,EAEJC,EAFI;AAcJ;AAAoBC,CAdhB,EAc+B;EAanC,OAAOA,CAAC,CAACN,SAAF,CAAYI,EAAZ,EAAgBC,EAAhB,EAAoBE,kBAApB,CAAP;AACD;AAgCD;;;;;AAGA,qBACEH,EADF,EAEEC,EAFF,EAcEG,CAdF;AAeE;AAAoBF,CAftB,EAeqC;EAanC,OAAOG,gBAAaJ,EAAb,EAAiBG,CAAjB,EAAoBF,CAApB,CAAP;AACD;AAgCD;;;;;AAGM,SAAUI,YAAV,CACJC,IADI,EAEJC,IAFI;AAcJ;AAAoBN,CAdhB;AAeJ;AAAoBO,CAfhB,EAe+B;;EADnC;EAAoBP;EAepB,OAAOG,kBAAeG,IAAf,EAAsBE,EAAD,IAAQC,2BAASR,kBAAT,EAAmBA,kBAAnB,EAA6BM,CAAC,CAACG,OAA/B,CAA7B,EAAoEC,GAApE,CAAP;AACD;AA+BD;;;;;AAGM,SAAUC,MAAV,CACJd,EADI,EAEJC,EAFI;AAcJ;AAAoBC,CAdhB,EAc+B;;EAAnC;EAAoBA;EAapB,OAAOa,iBAAcd,EAAd,EAAkBE,kBAAlB,EAA0Ba,GAA1B,CAAP;AACD;AAgCD;;;;;AAGA,sBACEhB,EADF,EAEEC,EAFF,EAcEG,CAdF;AAeE;AAAoBF,CAftB,EAeqC;;EAAnC;EAAoBA;EAapB,OAAOG,gBACLJ,EADK,EAEJS,EAAD,IACEC,2BACGM,CAAD,IAAOb,CAAC,CAAC,CAACc,qBAAKD,CAAL,CAAD,EAAUC,yBAAV,CAAD,CADV,EAEGC,CAAD,IAAOf,CAAC,CAAC,CAACc,yBAAD,EAAYA,qBAAKC,CAAL,CAAZ,CAAD,CAFV,EAGE,CAACF,CAAD,EAAIE,CAAJ,KAAUf,CAAC,CAAC,CAACc,qBAAKD,CAAL,CAAD,EAAUC,qBAAKC,CAAL,CAAV,CAAD,CAHb,CAHG,EAOFC,GAPE,CAAP;AASD;AAiCD;;;;;AAGM,SAAUC,MAAV,CACJrB,EADI,EAEJC,EAFI,EAcJgB,CAdI,EAeJE,CAfI;AAgBJ;AAAoBjB,CAhBhB,EAgB+B;;EAAnC;EAAoBA;EAapB,OAAOG,gBAAaJ,EAAb,EAAkBS,EAAD,IACtBC,2BACGW,CAAD,IAAO,CAACA,CAAD,EAAIH,CAAJ,CADT,EAEGG,CAAD,IAAO,CAACL,CAAD,EAAIK,CAAJ,CAFT,EAGEC,eAHF,CADK,EAKJC,GALI,CAAP;AAOD","names":["alignWith","padZipWith","Semialign","align","fa","fb","F","identity","f","alignWith_1","alignCombine","self","that","S","th","tsplus_module_1","combine","F_1","padZip","padZipWith_1","F_2","a","tsplus_module_2","b","F_3","zipAll","x","tuple","F_4"],"sourceRoot":"","sources":["../../_src/typeclass/Semialign.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Semigroup/api.cjs

@@ -21,7 +21,7 @@ function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj &&
  */
 function min(O) {
   return tsplus_module_2.mkSemigroup({
-    combine_: tsplus_module_1.min_(O)
+    combine: tsplus_module_1.min_(O)
   });
 }
 /**
@@ -31,7 +31,7 @@ function min(O) {
 
 function max(O) {
   return tsplus_module_2.mkSemigroup({
-    combine_: tsplus_module_3.max_(O)
+    combine: tsplus_module_3.max_(O)
   });
 }
 //# sourceMappingURL=api.cjs.map

package/_cjs/typeclass/Semigroup/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;AAIA;;;AAGM,SAAUA,GAAV,CAAiBC,CAAjB,EAA0B;EAC9B,OAAOC,4BAAU;IACfC,QAAQ,uBAAEF,CAAF;EADO,CAAV,CAAP;AAGD;AAED;;;;;AAGM,SAAUG,GAAV,CAAiBH,CAAjB,EAA0B;EAC9B,OAAOC,4BAAU;IACfC,QAAQ,uBAAEF,CAAF;EADO,CAAV,CAAP;AAGD","names":["min","O","tsplus_module_2","combine_","max"],"sourceRoot":"","sources":["../../../_src/typeclass/Semigroup/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;AAIA;;;AAGM,SAAUA,GAAV,CAAiBC,CAAjB,EAA0B;EAC9B,OAAOC,4BAAU;IACfC,OAAO,uBAAEF,CAAF;EADQ,CAAV,CAAP;AAGD;AAED;;;;;AAGM,SAAUG,GAAV,CAAiBH,CAAjB,EAA0B;EAC9B,OAAOC,4BAAU;IACfC,OAAO,uBAAEF,CAAF;EADQ,CAAV,CAAP;AAGD","names":["min","O","tsplus_module_2","combine","max"],"sourceRoot":"","sources":["../../../_src/typeclass/Semigroup/api.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Semigroup/definition.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAEA;;AAYO,MAAMA,SAAS,GAAiB,EAAhC;AAMP;;;;;AAGO,MAAMC,WAAW,GAA4CC,kBAA7D","names":["Semigroup","mkSemigroup","mkClosure"],"sourceRoot":"","sources":["../../../_src/typeclass/Semigroup/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAEA;;AAYO,MAAMA,SAAS,GAAiB,EAAhC;AAEP;;;;;AAGO,MAAMC,WAAW,GAAGC,kBAApB","names":["Semigroup","mkSemigroup","mkClosure"],"sourceRoot":"","sources":["../../../_src/typeclass/Semigroup/definition.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Semigroup/derivations.cjs

@@ -0,0 +1,63 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.deriveLazy = deriveLazy;
+exports.deriveStruct = deriveStruct;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Semigroup/definition"));
+
+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 derive fncts.Semigroup lazy
+ */
+function deriveLazy(fn) {
+  let cached;
+  const eq = tsplus_module_1.mkSemigroup({
+    combine: (x, y) => {
+      if (!cached) {
+        cached = fn(eq);
+      }
+
+      return cached.combine(x, y);
+    }
+  });
+  return eq;
+}
+/**
+ * @tsplus derive fncts.Semigroup<_> 20
+ * @tsplus static fncts.SemigroupOps deriveStruct
+ */
+
+
+function deriveStruct(...[requiredFields, optionalFields]) {
+  return tsplus_module_1.mkSemigroup({
+    combine: (x, y) => {
+      const out = {};
+
+      for (const field in requiredFields) {
+        out[field] = requiredFields[field].combine(x[field], y[field]);
+      }
+
+      for (const field in optionalFields) {
+        const xf = x[field];
+        const yf = y[field];
+
+        if (!(field in x)) {
+          out[field] = yf;
+        } else if (!(field in y)) {
+          out[field] = xf;
+        } else {
+          out[field] = optionalFields[field].combine(xf, yf);
+        }
+      }
+
+      return out;
+    }
+  });
+}
+//# sourceMappingURL=derivations.cjs.map

package/_cjs/typeclass/Semigroup/derivations.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivations.cjs","mappings":";;;;;;;;;;;;;;AAKA;;;AAGM,SAAUA,UAAV,CAAwBC,EAAxB,EAA6D;EACjE,IAAIC,MAAJ;EACA,MAAMC,EAAE,GAAiBC,4BAAU;IACjCC,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAS;MAChB,IAAI,CAACL,MAAL,EAAa;QACXA,MAAM,GAAGD,EAAE,CAACE,EAAD,CAAX;MACD;;MACD,OAAOD,MAAM,CAACG,OAAP,CAAeC,CAAf,EAAkBC,CAAlB,CAAP;IACD;EANgC,CAAV,CAAzB;EAQA,OAAOJ,EAAP;AACD;AAED;;;;;;AAIM,SAAUK,YAAV,CACJ,GAAG,CAACC,cAAD,EAAiBC,cAAjB,CADC,EAgBK;EAET,OAAON,4BAAU;IACfC,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAS;MAChB,MAAMI,GAAG,GAA4B,EAArC;;MACA,KAAK,MAAMC,KAAX,IAAoBH,cAApB,EAAoC;QAClCE,GAAG,CAACC,KAAD,CAAH,GAAcH,cAAc,CAACG,KAAD,CAAd,CAA0CP,OAA1C,CAAkDC,CAAC,CAACM,KAAD,CAAnD,EAA4DL,CAAC,CAACK,KAAD,CAA7D,CAAd;MACD;;MACD,KAAK,MAAMA,KAAX,IAAoBF,cAApB,EAAoC;QAClC,MAAMG,EAAE,GAAGP,CAAC,CAACM,KAAD,CAAZ;QACA,MAAME,EAAE,GAAGP,CAAC,CAACK,KAAD,CAAZ;;QACA,IAAI,EAAEA,KAAK,IAAIN,CAAX,CAAJ,EAAmB;UACjBK,GAAG,CAACC,KAAD,CAAH,GAAaE,EAAb;QACD,CAFD,MAEO,IAAI,EAAEF,KAAK,IAAIL,CAAX,CAAJ,EAAmB;UACxBI,GAAG,CAACC,KAAD,CAAH,GAAaC,EAAb;QACD,CAFM,MAEA;UACLF,GAAG,CAACC,KAAD,CAAH,GAAaF,cAAc,CAACE,KAAD,CAAd,CAAsBP,OAAtB,CAA8BQ,EAA9B,EAAkCC,EAAlC,CAAb;QACD;MACF;;MACD,OAAOH,GAAP;IACD;EAlBc,CAAV,CAAP;AAoBD","names":["deriveLazy","fn","cached","eq","tsplus_module_1","combine","x","y","deriveStruct","requiredFields","optionalFields","out","field","xf","yf"],"sourceRoot":"","sources":["../../../_src/typeclass/Semigroup/derivations.ts"],"sourcesContent":[null]}