@fncts/base 0.0.3 → 0.0.6

package/_mjs/typeclass/Monoid.mjs

@@ -1,12 +1,61 @@
 import * as tsplus_module_1 from "@fncts/base/typeclass/Semigroup/definition";
+import * as tsplus_module_2 from "@fncts/base/typeclass/Semigroup/derivations";
+export const mkMonoid = mkMonoid_1;
 export const Monoid = {};
 /**
  * @tsplus static fncts.MonoidOps __call
  */
 
-export function mkMonoid(F) {
+function mkMonoid_1(F) {
   return { ...tsplus_module_1.mkSemigroup(F),
     nat: F.nat
   };
 }
+/**
+ * @tsplus derive fncts.Monoid lazy
+ */
+
+
+export 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
+ */
+
+export 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.mjs.map

package/_mjs/typeclass/Monoid.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Monoid.mjs","mappings":";AAgBA,OAAO,MAAMA,MAAM,GAAc,EAA1B;AAMP;;;;AAGA,OAAM,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.mjs","mappings":";;aA0BgBA,QAAQ;AATxB,OAAO,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;;;;;AAGA,OAAM,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;;;;AAGA,OAAM,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/_mjs/typeclass/Nil.mjs

@@ -1,2 +1,9 @@
-export {};
+/**
+ * @tsplus fluent fncts.Kind nil
+ */
+export function nil(
+/** @tsplus auto */
+F) {
+  return F.nil();
+}
 //# sourceMappingURL=Nil.mjs.map

package/_mjs/typeclass/Nil.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Nil.mjs","mappings":"","names":[],"sourceRoot":"","sources":[],"sourcesContent":[]}
+{"version":3,"file":"Nil.mjs","mappings":"AAgBA;;;AAGA,OAAM,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/_mjs/typeclass/Ord/api/contramap.mjs

@@ -3,10 +3,8 @@
  */
 export 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.mjs.map

package/_mjs/typeclass/Ord/api/contramap.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"contramap.mjs","mappings":"AAEA;;;AAGA,OAAM,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.mjs","mappings":"AAEA;;;AAGA,OAAM,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/_mjs/typeclass/Ord/api/max.mjs

@@ -3,6 +3,6 @@
  * @tsplus getter fncts.Ord max
  */
 export 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.mjs.map

package/_mjs/typeclass/Ord/api/max.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"max.mjs","mappings":"AAEA;;;;AAIA,OAAM,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.mjs","mappings":"AAEA;;;;AAIA,OAAM,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/_mjs/typeclass/Ord/api/min.mjs

@@ -3,6 +3,6 @@
  * @tsplus getter fncts.Ord min
  */
 export 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.mjs.map

package/_mjs/typeclass/Ord/api/min.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"min.mjs","mappings":"AAEA;;;;AAIA,OAAM,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.mjs","mappings":"AAEA;;;;AAIA,OAAM,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/_mjs/typeclass/Ord/definition.mjs

@@ -1,4 +1,4 @@
-import * as tsplus_module_1 from "@fncts/base/typeclass/Eq";
+import * as tsplus_module_1 from "@fncts/base/typeclass/Eq/definition";
 export const Ord = {};
 /**
  * @tsplus static fncts.OrdOps __call
@@ -6,8 +6,7 @@ export const Ord = {};
 
 export function mkOrd(O) {
   return { ...tsplus_module_1.mkEq(O),
-    compare_: O.compare_,
-    compare: y => x => O.compare_(x, y)
+    compare: O.compare
   };
 }
 //# sourceMappingURL=definition.mjs.map

package/_mjs/typeclass/Ord/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";AAkBA,OAAO,MAAMA,GAAG,GAAW,EAApB;AAOP;;;;AAGA,OAAM,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.mjs","mappings":";AAgBA,OAAO,MAAMA,GAAG,GAAW,EAApB;AAEP;;;;AAGA,OAAM,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/_mjs/typeclass/Ord/instances.mjs

@@ -9,12 +9,12 @@ export const getSemigroup = getSemigroup_1;
 
 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)
     })
   });
 }
@@ -26,8 +26,8 @@ function getSemigroup_1() {
 export 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/_mjs/typeclass/Ord/instances.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"instances.mjs","mappings":";;;;aAQgBA,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;;;;;AAGA,OAAM,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.mjs","mappings":";;;;aAQgBA,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;;;;;AAGA,OAAM,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/_mjs/typeclass/Pointed.mjs

@@ -1,10 +1,11 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
 export const Pointed = {};
 /**
- * @tsplus static fncts.PointedOps __call
+ * @tsplus static fncts.PointedOps pure
  */
 
-export function mkPointed(F) {
-  return F;
+export function pure(a,
+/** @tsplus auto */
+F) {
+  return F.pure(a);
 }
 //# sourceMappingURL=Pointed.mjs.map

package/_mjs/typeclass/Pointed.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Pointed.mjs","mappings":";AAaA,OAAO,MAAMA,OAAO,GAAe,EAA5B;AAEP;;;;AAGA,OAAM,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.mjs","mappings":"AAqBA,OAAO,MAAMA,OAAO,GAAe,EAA5B;AAEP;;;;AAGA,OAAM,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/_mjs/typeclass/Semialign.mjs

@@ -1,84 +1,77 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Functor";
-import * as tsplus_module_3 from "@fncts/base/data/These/destructors";
-import * as tsplus_module_4 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_1 from "@fncts/base/data/These/destructors";
+import * as tsplus_module_2 from "@fncts/base/data/Maybe/constructors";
+export const alignWith = alignWith_1;
+export const padZipWith = padZipWith_1;
 import { identity, tuple } from "@fncts/base/data/function";
 export const Semialign = {};
-export function mkSemialign(F) {
-  const alignCombine_ = alignCombineF_(F);
-  const padZip_ = padZipF_(F);
-  const padZipWith_ = padZipWithF_(F);
-  const zipAll_ = zipAllF_(F);
+/**
+ * @tsplus fluent fncts.Kind align
+ */
 
-  if ("alignWith_" in F) {
-    const align_ = (fa, fb) => F.alignWith_(fa, fb, 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)
-    };
-  }
-}
-export function alignWithF_(F) {
-  if ("alignWith_" in F) {
-    return F.alignWith_;
-  } else {
-    return (fa, fb, f) => F.map_(F.align_(fa, fb), f);
-  }
-}
-export function alignCombineF_(F) {
-  const alignWith_ = alignWithF_(F);
-  return S => (fa1, fa2) => alignWith_(fa1, fa2, th => tsplus_module_3.match_(th, identity, identity, S.combine_));
+export function align(fa, fb,
+/** @tsplus auto */
+F) {
+  return F.alignWith(fa, fb, identity);
 }
-export function alignCombineF(F) {
-  return S => fb => fa => alignCombineF_(F)(S)(fa, fb);
-}
-export function padZipF_(F) {
-  const padZipWith_ = padZipWithF_(F);
-  return (fa, fb) => padZipWith_(fa, fb, identity);
-}
-export function padZipF(F) {
-  return fb => fa => padZipF_(F)(fa, fb);
+/**
+ * @tsplus fluent fncts.Kind alignWith
+ */
+
+function alignWith_1(fa, fb, f,
+/** @tsplus auto */
+F) {
+  return alignWith_1(fa, fb, f, F);
 }
-export 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
+ */
+
+
+export 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, identity, identity, S.combine), F_1);
 }
-export function padZipWithF(F) {
-  return (fb, f) => fa => padZipWithF_(F)(fa, fb, f);
+/**
+ * @tsplus fluent fncts.Kind padZip
+ */
+
+export function padZip(fa, fb,
+/** @tsplus auto */
+F) {
+  const F_2 =
+  /** @tsplus auto */
+  F;
+  return padZipWith_1(fa, fb, identity, F_2);
 }
-export 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], 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);
 }
-export function zipAllF(F) {
-  return (fb, a, b) => fa => zipAllF_(F)(fa, fb, a, b);
+/**
+ * @tsplus fluent fncts.Kind zipAll
+ */
+
+
+export 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], tuple), F_4);
 }
 //# sourceMappingURL=Semialign.mjs.map

package/_mjs/typeclass/Semialign.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Semialign.mjs","mappings":";;;;AAGA,SAASA,QAAT,EAAmBC,KAAnB,QAAgC,2BAAhC;AA0BA,OAAO,MAAMC,SAAS,GAAiB,EAAhC;AAYP,OAAM,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,EAAqBf,QAArB,CAA7C;;IACA,OAAyC,EACvC,GAAGiB,0BAAQb,CAAR,CADoC;MAEvCY,UAAU,EAAEZ,CAAC,CAACY,UAFyB;MAGvCE,SAAS,EAAE,CAACH,EAAD,EAAKI,CAAL,KAAYL,EAAD,IAAQV,CAAC,CAACY,UAAF,CAAaF,EAAb,EAAiBC,EAAjB,EAAqBI,CAArB,CAHS;MAIvCN,MAJuC;MAKvCO,KAAK,EAAGL,EAAD,IAASD,EAAD,IAAQD,MAAM,CAACC,EAAD,EAAKC,EAAL,CALU;MAMvCV,aANuC;MAOvCgB,YAAY,EAAGC,CAAD,IAAQP,EAAD,IAASD,EAAD,IAAQT,aAAa,CAACiB,CAAD,CAAb,CAAiBR,EAAjB,EAAqBC,EAArB,CAPE;MAQvCR,OARuC;MASvCgB,MAAM,EAAGR,EAAD,IAASD,EAAD,IAAQP,OAAO,CAACO,EAAD,EAAKC,EAAL,CATQ;MAUvCN,WAVuC;MAWvCe,UAAU,EAAE,CAACT,EAAD,EAAKI,CAAL,KAAYL,EAAD,IAAQL,WAAW,CAACK,EAAD,EAAKC,EAAL,EAASI,CAAT,CAXH;MAYvCR,OAZuC;MAavCc,MAAM,EAAE,CAACV,EAAD,EAAKW,CAAL,EAAQC,CAAR,KAAeb,EAAD,IAAQH,OAAO,CAACG,EAAD,EAAKC,EAAL,EAASW,CAAT,EAAYC,CAAZ;IAbE,CAAzC;EAeD,CAjBD,MAiBO;IACL,MAAMX,UAAU,GAAsC,CAACF,EAAD,EAAKC,EAAL,EAASI,CAAT,KAAef,CAAC,CAACwB,IAAF,CAAOxB,CAAC,CAACS,MAAF,CAASC,EAAT,EAAaC,EAAb,CAAP,EAAyBI,CAAzB,CAArE;;IACA,OAAyC,EACvC,GAAGF,0BAAQb,CAAR,CADoC;MAEvCY,UAFuC;MAGvCE,SAAS,EAAE,CAACH,EAAD,EAAKI,CAAL,KAAYL,EAAD,IAAQE,UAAU,CAACF,EAAD,EAAKC,EAAL,EAASI,CAAT,CAHD;MAIvCN,MAAM,EAAET,CAAC,CAACS,MAJ6B;MAKvCO,KAAK,EAAGL,EAAD,IAASD,EAAD,IAAQV,CAAC,CAACS,MAAF,CAASC,EAAT,EAAaC,EAAb,CALgB;MAMvCV,aANuC;MAOvCgB,YAAY,EAAGC,CAAD,IAAQP,EAAD,IAASD,EAAD,IAAQT,aAAa,CAACiB,CAAD,CAAb,CAAiBR,EAAjB,EAAqBC,EAArB,CAPE;MAQvCR,OARuC;MASvCgB,MAAM,EAAGR,EAAD,IAASD,EAAD,IAAQP,OAAO,CAACO,EAAD,EAAKC,EAAL,CATQ;MAUvCN,WAVuC;MAWvCe,UAAU,EAAE,CAACT,EAAD,EAAKI,CAAL,KAAYL,EAAD,IAAQL,WAAW,CAACK,EAAD,EAAKC,EAAL,EAASI,CAAT,CAXH;MAYvCR,OAZuC;MAavCc,MAAM,EAAE,CAACV,EAAD,EAAKW,CAAL,EAAQC,CAAR,KAAeb,EAAD,IAAQH,OAAO,CAACG,EAAD,EAAKC,EAAL,EAASW,CAAT,EAAYC,CAAZ;IAbE,CAAzC;EAeD;AACF;AA0ID,OAAM,SAAUE,WAAV,CAAmDzB,CAAnD,EAAwE;EAC5E,IAAI,gBAAgBA,CAApB,EAAuB;IACrB,OAAOA,CAAC,CAACY,UAAT;EACD,CAFD,MAEO;IACL,OAAO,CAACF,EAAD,EAAKC,EAAL,EAASI,CAAT,KAAef,CAAC,CAACwB,IAAF,CAAOxB,CAAC,CAACS,MAAF,CAASC,EAAT,EAAaC,EAAb,CAAP,EAAyBI,CAAzB,CAAtB;EACD;AACF;AAiED,OAAM,SAAUb,cAAV,CAAsDF,CAAtD,EAA2E;EAC/E,MAAMY,UAAU,GAAGa,WAAW,CAACzB,CAAD,CAA9B;EACA,OAAQkB,CAAD,IAAO,CAACQ,GAAD,EAAMC,GAAN,KAAcf,UAAU,CAACc,GAAD,EAAMC,GAAN,EAAYC,EAAD,IAAQC,2BAASjC,QAAT,EAAmBA,QAAnB,EAA6BsB,CAAC,CAACY,QAA/B,CAAnB,CAAtC;AACD;AAGD,OAAM,SAAUC,aAAV,CAA2B/B,CAA3B,EAAoD;EACxD,OAAQkB,CAAD,IAAQP,EAAD,IAASD,EAAD,IAAQR,cAAc,CAACF,CAAD,CAAd,CAAkBkB,CAAlB,EAAqBR,EAArB,EAAyBC,EAAzB,CAA9B;AACD;AAyED,OAAM,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,EAASf,QAAT,CAA9B;AACD;AAGD,OAAM,SAAUoC,OAAV,CAAqBhC,CAArB,EAA8C;EAClD,OAAQW,EAAD,IAASD,EAAD,IAAQN,QAAQ,CAACJ,CAAD,CAAR,CAAYU,EAAZ,EAAgBC,EAAhB,CAAvB;AACD;AAmED,OAAM,SAAUL,YAAV,CAAoDN,CAApD,EAAyE;EAC7E,MAAMY,UAAU,GAAGa,WAAW,CAACzB,CAAD,CAA9B;EACA,OAAO,CAACU,EAAD,EAAKC,EAAL,EAASI,CAAT,KACLH,UAAU,CAACF,EAAD,EAAKC,EAAL,EAAUiB,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;AAGD,OAAM,SAAUW,WAAV,CAAyBlC,CAAzB,EAAkD;EACtD,OAAO,CAACW,EAAD,EAAKI,CAAL,KAAYL,EAAD,IAAQJ,YAAY,CAACN,CAAD,CAAZ,CAAgBU,EAAhB,EAAoBC,EAApB,EAAwBI,CAAxB,CAA1B;AACD;AA0ED,OAAM,SAAUP,QAAV,CAAgDR,CAAhD,EAAqE;EACzE,MAAMY,UAAU,GAAGa,WAAW,CAACzB,CAAD,CAA9B;EACA,OAAO,CAACU,EAAD,EAAKC,EAAL,EAASW,CAAT,EAAYC,CAAZ,KACLX,UAAU,CAACF,EAAD,EAAKC,EAAL,EAAUiB,EAAD,IACjBC,2BACGM,CAAD,IAAO,CAACA,CAAD,EAAIZ,CAAJ,CADT,EAEGY,CAAD,IAAO,CAACb,CAAD,EAAIa,CAAJ,CAFT,EAGEtC,KAHF,CADQ,CADZ;AAQD;AAGD,OAAM,SAAUuC,OAAV,CAAqBpC,CAArB,EAA8C;EAClD,OAAO,CAACW,EAAD,EAAKW,CAAL,EAAQC,CAAR,KAAeb,EAAD,IAAQF,QAAQ,CAACR,CAAD,CAAR,CAAYU,EAAZ,EAAgBC,EAAhB,EAAoBW,CAApB,EAAuBC,CAAvB,CAA7B;AACD","names":["identity","tuple","Semialign","mkSemialign","F","alignCombine_","alignCombineF_","padZip_","padZipF_","padZipWith_","padZipWithF_","zipAll_","zipAllF_","align_","fa","fb","alignWith_","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","zipAllF"],"sourceRoot":"","sources":["../../_src/typeclass/Semialign.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Semialign.mjs","mappings":";;aAkHgBA,SAAS;aA+LTC,UAAU;AA9S1B,SAASC,QAAT,EAAmBC,KAAnB,QAAgC,2BAAhC;AAcA,OAAO,MAAMC,SAAS,GAAiB,EAAhC;AA+BP;;;;AAGA,OAAM,SAAUC,KAAV,CACJC,EADI,EAEJC,EAFI;AAcJ;AAAoBC,CAdhB,EAc+B;EAanC,OAAOA,CAAC,CAACR,SAAF,CAAYM,EAAZ,EAAgBC,EAAhB,EAAoBL,QAApB,CAAP;AACD;AAgCD;;;;AAGA,qBACEI,EADF,EAEEC,EAFF,EAcEE,CAdF;AAeE;AAAoBD,CAftB,EAeqC;EAanC,OAAOE,gBAAaH,EAAb,EAAiBE,CAAjB,EAAoBD,CAApB,CAAP;AACD;AAgCD;;;;;AAGA,OAAM,SAAUG,YAAV,CACJC,IADI,EAEJC,IAFI;AAcJ;AAAoBL,CAdhB;AAeJ;AAAoBM,CAfhB,EAe+B;;EADnC;EAAoBN;EAepB,OAAOE,kBAAeG,IAAf,EAAsBE,EAAD,IAAQC,2BAASd,QAAT,EAAmBA,QAAnB,EAA6BY,CAAC,CAACG,OAA/B,CAA7B,EAAoEC,GAApE,CAAP;AACD;AA+BD;;;;AAGA,OAAM,SAAUC,MAAV,CACJb,EADI,EAEJC,EAFI;AAcJ;AAAoBC,CAdhB,EAc+B;;EAAnC;EAAoBA;EAapB,OAAOY,iBAAcb,EAAd,EAAkBL,QAAlB,EAA0BmB,GAA1B,CAAP;AACD;AAgCD;;;;AAGA,sBACEf,EADF,EAEEC,EAFF,EAcEE,CAdF;AAeE;AAAoBD,CAftB,EAeqC;;EAAnC;EAAoBA;EAapB,OAAOE,gBACLH,EADK,EAEJQ,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;;;;;AAGA,OAAM,SAAUC,MAAV,CACJpB,EADI,EAEJC,EAFI,EAcJe,CAdI,EAeJE,CAfI;AAgBJ;AAAoBhB,CAhBhB,EAgB+B;;EAAnC;EAAoBA;EAapB,OAAOE,gBAAaH,EAAb,EAAkBQ,EAAD,IACtBC,2BACGW,CAAD,IAAO,CAACA,CAAD,EAAIH,CAAJ,CADT,EAEGG,CAAD,IAAO,CAACL,CAAD,EAAIK,CAAJ,CAFT,EAGExB,KAHF,CADK,EAKJyB,GALI,CAAP;AAOD","names":["alignWith","padZipWith","identity","tuple","Semialign","align","fa","fb","F","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","F_4"],"sourceRoot":"","sources":["../../_src/typeclass/Semialign.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Semigroup/api.mjs

@@ -7,7 +7,7 @@ import * as tsplus_module_3 from "@fncts/base/typeclass/Ord/api/max";
 
 export function min(O) {
   return tsplus_module_2.mkSemigroup({
-    combine_: tsplus_module_1.min_(O)
+    combine: tsplus_module_1.min_(O)
   });
 }
 /**
@@ -16,7 +16,7 @@ export function min(O) {
 
 export function max(O) {
   return tsplus_module_2.mkSemigroup({
-    combine_: tsplus_module_3.max_(O)
+    combine: tsplus_module_3.max_(O)
   });
 }
 //# sourceMappingURL=api.mjs.map

package/_mjs/typeclass/Semigroup/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;AAIA;;;;AAGA,OAAM,SAAUA,GAAV,CAAiBC,CAAjB,EAA0B;EAC9B,OAAOC,4BAAU;IACfC,QAAQ,uBAAEF,CAAF;EADO,CAAV,CAAP;AAGD;AAED;;;;AAGA,OAAM,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.mjs","mappings":";;;AAIA;;;;AAGA,OAAM,SAAUA,GAAV,CAAiBC,CAAjB,EAA0B;EAC9B,OAAOC,4BAAU;IACfC,OAAO,uBAAEF,CAAF;EADQ,CAAV,CAAP;AAGD;AAED;;;;AAGA,OAAM,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/_mjs/typeclass/Semigroup/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":"AAEA,SAASA,SAAT,QAA0B,+BAA1B;AAYA,OAAO,MAAMC,SAAS,GAAiB,EAAhC;AAMP;;;;AAGA,OAAO,MAAMC,WAAW,GAA4CF,SAA7D","names":["mkClosure","Semigroup","mkSemigroup"],"sourceRoot":"","sources":["../../../_src/typeclass/Semigroup/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":"AAEA,SAASA,SAAT,QAA0B,+BAA1B;AAYA,OAAO,MAAMC,SAAS,GAAiB,EAAhC;AAEP;;;;AAGA,OAAO,MAAMC,WAAW,GAAGF,SAApB","names":["mkClosure","Semigroup","mkSemigroup"],"sourceRoot":"","sources":["../../../_src/typeclass/Semigroup/definition.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Semigroup/derivations.mjs

@@ -0,0 +1,50 @@
+import * as tsplus_module_1 from "@fncts/base/typeclass/Semigroup/definition";
+/**
+ * @tsplus derive fncts.Semigroup lazy
+ */
+
+export 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
+ */
+
+export 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.mjs.map

package/_mjs/typeclass/Semigroup/derivations.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivations.mjs","mappings":";AAKA;;;;AAGA,OAAM,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;;;;;AAIA,OAAM,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/_mjs/typeclass/Semigroup.mjs

@@ -1,4 +1,4 @@
-// codegen:start { preset: barrel, include: Semigroup/*.ts }
+// codegen:start { preset: barrel, include: Semigroup/*.ts, exclude: Semigroup/derivations.ts }
 export * from "./Semigroup/api.mjs";
 export * from "./Semigroup/definition.mjs";
 //# sourceMappingURL=Semigroup.mjs.map

package/_mjs/typeclass/Semimonoidal.mjs

@@ -1,9 +1,11 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
 export const Semimonoidal = {};
-export function mkSemimonoidal(F) {
-  return {
-    zip_: F.zip_,
-    zip: fb => fa => F.zip_(fa, fb)
-  };
+/**
+ * @tsplus fluent fncts.Kind zip
+ */
+
+export function zip(fa, fb,
+/** @tsplus auto */
+F) {
+  return F.zip(fa, fb);
 }
 //# sourceMappingURL=Semimonoidal.mjs.map

package/_mjs/typeclass/Semimonoidal.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Semimonoidal.mjs","mappings":";AAcA,OAAO,MAAMA,YAAY,GAAoB,EAAtC;AAMP,OAAM,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.mjs","mappings":"AAkCA,OAAO,MAAMA,YAAY,GAAoB,EAAtC;AAEP;;;;AAGA,OAAM,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/_mjs/typeclass/Showable/show.mjs

@@ -318,7 +318,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, 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, PROTO_TYPE), tsplus_module_11.Applicative), (k1, k2) => tsplus_module_9.concat_(k1, k2));
               indices = info.formatter(value);
               braces = info.braces;
               extrasType = info.extrasType;
@@ -440,7 +440,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
   })));
 }
@@ -448,7 +448,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
   })));
 }
@@ -471,11 +471,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"));
 }
@@ -563,7 +563,7 @@ function showArray(value) {
     chunk = tsplus_module_9.take_(chunk, len);
     return 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)) {
@@ -588,7 +588,7 @@ function showChunk(value) {
     const remaining = valLen - len;
     const chunk = tsplus_module_9.take_(value, len);
     return 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${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${pluralize(remaining)}`) : chunk));
 }
 
 export function showProperty(value, key, type, desc) {
@@ -606,13 +606,13 @@ export function showProperty(value, key, type, desc) {
         indentationLevel: _.indentationLevel - diff
       })));
     } else if (isDefined(descriptor.get)) {
-      return tsplus_module_4.succeedNow(tuple(descriptor, " ", `[${descriptor.set ? "Getter/Settter" : "Getter"}]`), fileName_1 + ":732:28");
+      return tsplus_module_4.succeedNow(tuple(descriptor, " ", `[${descriptor.set ? "Getter/Settter" : "Getter"}]`), fileName_1 + ":730:28");
     } else if (isDefined(descriptor.set)) {
-      return tsplus_module_4.succeedNow(tuple(descriptor, " ", "Setter"), fileName_1 + ":734:28");
+      return tsplus_module_4.succeedNow(tuple(descriptor, " ", "Setter"), fileName_1 + ":732:28");
     } else {
-      return tsplus_module_4.succeedNow(tuple(descriptor, " ", "undefined"), fileName_1 + ":736:28");
+      return tsplus_module_4.succeedNow(tuple(descriptor, " ", "undefined"), fileName_1 + ":734:28");
     }
-  }, fileName_1 + ":712:12"), ([descriptor, extra, shown]) => {
+  }, fileName_1 + ":710:12"), ([descriptor, extra, shown]) => {
     if (type === ARRAY_TYPE) {
       return shown;
     }