@fncts/base 0.0.3 → 0.0.6

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]}

package/_cjs/typeclass/Semimonoidal.cjs

@@ -4,21 +4,17 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.Semimonoidal = void 0;
-exports.mkSemimonoidal = mkSemimonoidal;
-
-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.zip = zip;
 const Semimonoidal = {};
+/**
+ * @tsplus fluent fncts.Kind zip
+ */
+
 exports.Semimonoidal = Semimonoidal;
 
-function mkSemimonoidal(F) {
-  return {
-    zip_: F.zip_,
-    zip: fb => fa => F.zip_(fa, fb)
-  };
+function zip(fa, fb,
+/** @tsplus auto */
+F) {
+  return F.zip(fa, fb);
 }
 //# sourceMappingURL=Semimonoidal.cjs.map

package/_cjs/typeclass/Semimonoidal.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"Semimonoidal.cjs","mappings":";;;;;;;;;;;;;;AAcO,MAAMA,YAAY,GAAoB,EAAtC;;;AAMD,SAAUC,cAAV,CAA4BC,CAA5B,EAAwD;EAC5D,OAA4C;IAC1CC,IAAI,EAAED,CAAC,CAACC,IADkC;IAE1CC,GAAG,EAAGC,EAAD,IAASC,EAAD,IAAQJ,CAAC,CAACC,IAAF,CAAOG,EAAP,EAAWD,EAAX;EAFqB,CAA5C;AAID","names":["Semimonoidal","mkSemimonoidal","F","zip_","zip","fb","fa"],"sourceRoot":"","sources":["../../_src/typeclass/Semimonoidal.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Semimonoidal.cjs","mappings":";;;;;;;AAkCO,MAAMA,YAAY,GAAoB,EAAtC;AAEP;;;;;;AAGM,SAAUC,GAAV,CACJC,EADI,EAEJC,EAFI;AAcJ;AAAoBC,CAdhB,EAckC;EAatC,OAAOA,CAAC,CAACH,GAAF,CAAMC,EAAN,EAAUC,EAAV,CAAP;AACD","names":["Semimonoidal","zip","fa","fb","F"],"sourceRoot":"","sources":["../../_src/typeclass/Semimonoidal.ts"],"sourcesContent":[null]}

package/_cjs/typeclass/Showable/show.cjs

@@ -358,7 +358,7 @@ function showRaw(value, typedArray) {
           case "InspectionInfo":
             {
               base = tsplus_module_4.succeedNow(info.base, fileName_1 + ":401:36");
-              keys = tsplus_module_4.crossWith_(tsplus_module_9.traverseSelf(tsplus_module_12.from(info.keys))(tsplus_module_11.Applicative)(key => showProperty(value, key, info.extrasType)), tsplus_module_9.traverseSelf(info.protoProps)(tsplus_module_11.Applicative)(key => showProperty(value, key, _util.PROTO_TYPE)), (k1, k2) => tsplus_module_9.concat_(k1, k2));
+              keys = tsplus_module_4.crossWith_(tsplus_module_9.traverse(tsplus_module_12.from(info.keys), key => showProperty(value, key, info.extrasType), tsplus_module_11.Applicative), tsplus_module_9.traverse(info.protoProps, key => showProperty(value, key, _util.PROTO_TYPE), tsplus_module_11.Applicative), (k1, k2) => tsplus_module_9.concat_(k1, k2));
               indices = info.formatter(value);
               braces = info.braces;
               extrasType = info.extrasType;
@@ -480,7 +480,7 @@ function removeColors(str) {
 function showSet(value) {
   return tsplus_module_4.apFirst_(tsplus_module_4.apSecond_(tsplus_module_4.update(_ => _.copy({
     indentationLevel: _.indentationLevel + 2
-  })), tsplus_module_13.traverseToConc_(value)(tsplus_module_11.Applicative)(_show)), tsplus_module_4.update(_ => _.copy({
+  })), tsplus_module_13.traverseToConc_(value, _show, tsplus_module_11.Applicative)), tsplus_module_4.update(_ => _.copy({
     indentationLevel: _.indentationLevel - 2
   })));
 }
@@ -488,7 +488,7 @@ function showSet(value) {
 function showMap(value) {
   return tsplus_module_4.apFirst_(tsplus_module_4.apSecond_(tsplus_module_4.update(_ => _.copy({
     indentationLevel: _.indentationLevel + 2
-  })), tsplus_module_13.traverseToConc_(value)(tsplus_module_11.Applicative)(([k, v]) => tsplus_module_4.crossWith_(_show(k), _show(v), (k, v) => `${k} => ${v}`))), tsplus_module_4.update(_ => _.copy({
+  })), tsplus_module_13.traverseToConc_(value, ([k, v]) => tsplus_module_4.crossWith_(_show(k), _show(v), (k, v) => `${k} => ${v}`), tsplus_module_11.Applicative)), tsplus_module_4.update(_ => _.copy({
     indentationLevel: _.indentationLevel - 2
   })));
 }
@@ -511,11 +511,11 @@ function showTypedArray(value) {
     if (context.showHidden) {
       return tsplus_module_4.apFirst_(tsplus_module_4.apSecond_(tsplus_module_4.update(_ => _.copy({
         indentationLevel: _.indentationLevel + 2
-      })), tsplus_module_4.flatMap_(tsplus_module_4.succeedNow(output, fileName_1 + ":578:25"), output => tsplus_module_4.map_(tsplus_module_9.traverseSelf(tsplus_module_12.make("BYTES_PER_ELEMENT", "length", "byteLength", "byteOffset", "buffer"))(tsplus_module_11.Applicative)(key => tsplus_module_4.map_(_show(value[key]), shown => `[${key}]: ${shown}`)), shownKeys => tsplus_module_9.concat_(output, shownKeys)))), tsplus_module_4.update(_ => _.copy({
+      })), tsplus_module_4.flatMap_(tsplus_module_4.succeedNow(output, fileName_1 + ":578:25"), output => tsplus_module_4.map_(tsplus_module_9.traverse(tsplus_module_12.make("BYTES_PER_ELEMENT", "length", "byteLength", "byteOffset", "buffer"), key => tsplus_module_4.map_(_show(value[key]), shown => `[${key}]: ${shown}`), tsplus_module_11.Applicative), shownKeys => tsplus_module_9.concat_(output, shownKeys)))), tsplus_module_4.update(_ => _.copy({
         indentationLevel: _.indentationLevel - 2
       })));
     } else {
-      return tsplus_module_4.succeedNow(output, fileName_1 + ":588:28");
+      return tsplus_module_4.succeedNow(output, fileName_1 + ":586:28");
     }
   }, fileName_1 + ":562:12"));
 }
@@ -603,7 +603,7 @@ function showArray(value) {
     chunk = tsplus_module_9.take_(chunk, len);
     return (0, _function.tuple)(remaining, chunk);
   }), ([remaining, chunk]) => {
-    let computation = tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":677:35");
+    let computation = tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":675:35");
 
     for (let i = 0; i < chunk.length; i++) {
       if (!Object.prototype.hasOwnProperty.call(value, i)) {
@@ -628,7 +628,7 @@ function showChunk(value) {
     const remaining = valLen - len;
     const chunk = tsplus_module_9.take_(value, len);
     return (0, _function.tuple)(remaining, chunk);
-  }), ([remaining, chunk]) => tsplus_module_4.map_(tsplus_module_9.traverseSelf(chunk)(tsplus_module_11.Applicative)(_show), chunk => remaining > 0 ? tsplus_module_9.append_(chunk, `... ${remaining} more item${(0, _util.pluralize)(remaining)}`) : chunk));
+  }), ([remaining, chunk]) => tsplus_module_4.map_(tsplus_module_9.traverse(chunk, _show, tsplus_module_11.Applicative), chunk => remaining > 0 ? tsplus_module_9.append_(chunk, `... ${remaining} more item${(0, _util.pluralize)(remaining)}`) : chunk));
 }
 
 function showProperty(value, key, type, desc) {
@@ -646,13 +646,13 @@ function showProperty(value, key, type, desc) {
         indentationLevel: _.indentationLevel - diff
       })));
     } else if ((0, _predicates.isDefined)(descriptor.get)) {
-      return tsplus_module_4.succeedNow((0, _function.tuple)(descriptor, " ", `[${descriptor.set ? "Getter/Settter" : "Getter"}]`), fileName_1 + ":732:28");
+      return tsplus_module_4.succeedNow((0, _function.tuple)(descriptor, " ", `[${descriptor.set ? "Getter/Settter" : "Getter"}]`), fileName_1 + ":730:28");
     } else if ((0, _predicates.isDefined)(descriptor.set)) {
-      return tsplus_module_4.succeedNow((0, _function.tuple)(descriptor, " ", "Setter"), fileName_1 + ":734:28");
+      return tsplus_module_4.succeedNow((0, _function.tuple)(descriptor, " ", "Setter"), fileName_1 + ":732:28");
     } else {
-      return tsplus_module_4.succeedNow((0, _function.tuple)(descriptor, " ", "undefined"), fileName_1 + ":736:28");
+      return tsplus_module_4.succeedNow((0, _function.tuple)(descriptor, " ", "undefined"), fileName_1 + ":734:28");
     }
-  }, fileName_1 + ":712:12"), ([descriptor, extra, shown]) => {
+  }, fileName_1 + ":710:12"), ([descriptor, extra, shown]) => {
     if (type === _util.ARRAY_TYPE) {
       return shown;
     }