@fncts/base 0.0.1

package/_mjs/typeclass/Semialign.mjs

@@ -0,0 +1,84 @@
+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 { 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);
+
+  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 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);
+}
+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)])));
+}
+export function padZipWithF(F) {
+  return (fb, f) => fa => padZipWithF_(F)(fa, fb, f);
+}
+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));
+}
+export function zipAllF(F) {
+  return (fb, a, b) => fa => zipAllF_(F)(fa, fb, a, b);
+}
+//# sourceMappingURL=Semialign.mjs.map

package/_mjs/typeclass/Semialign.mjs.map

@@ -0,0 +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]}

package/_mjs/typeclass/Semigroup/api.mjs

@@ -0,0 +1,22 @@
+import * as tsplus_module_1 from "@fncts/base/typeclass/Ord/api/min";
+import * as tsplus_module_2 from "@fncts/base/typeclass/Semigroup/definition";
+import * as tsplus_module_3 from "@fncts/base/typeclass/Ord/api/max";
+/**
+ * @tsplus static fncts.SemigroupOps min
+ */
+
+export function min(O) {
+  return tsplus_module_2.mkSemigroup({
+    combine_: tsplus_module_1.min_(O)
+  });
+}
+/**
+ * @tsplus static fncts.SemigroupOps max
+ */
+
+export function max(O) {
+  return tsplus_module_2.mkSemigroup({
+    combine_: tsplus_module_3.max_(O)
+  });
+}
+//# sourceMappingURL=api.mjs.map

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

@@ -0,0 +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]}

package/_mjs/typeclass/Semigroup/definition.mjs

@@ -0,0 +1,8 @@
+import { mkClosure } from "@fncts/base/typeclass/Closure";
+export const Semigroup = {};
+/**
+ * @tsplus static fncts.SemigroupOps __call
+ */
+
+export const mkSemigroup = mkClosure;
+//# sourceMappingURL=definition.mjs.map

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

@@ -0,0 +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]}

package/_mjs/typeclass/Semigroup.mjs

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

package/_mjs/typeclass/Semigroup.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Semigroup.mjs","mappings":"AAAA;AACA,cAAc,qBAAd;AACA,cAAc,4BAAd","names":[],"sourceRoot":"","sources":["../../_src/typeclass/Semigroup.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Semimonoidal.mjs

@@ -0,0 +1,9 @@
+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)
+  };
+}
+//# sourceMappingURL=Semimonoidal.mjs.map

package/_mjs/typeclass/Semimonoidal.mjs.map

@@ -0,0 +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]}

package/_mjs/typeclass/Showable/definition.mjs

@@ -0,0 +1,13 @@
+import * as tsplus_module_1 from "@fncts/base/util/predicates";
+export const showable = /*#__PURE__*/Symbol("fncts.Showable");
+/**
+ * @tsplus static fncts.builtin.SymbolOps showable
+ */
+
+const _showable_1 = showable;
+export const _showable = _showable_1;
+export function isShowable(value) {
+  return tsplus_module_1.isObject(value) && _showable_1 in value;
+}
+export const Showable = {};
+//# sourceMappingURL=definition.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","mappings":";AAEA,OAAO,MAAMA,QAAQ,gBAAGC,MAAM,CAAC,gBAAD,CAAvB;AAEP;;;;AAGO,MAAMC,cAA6BF,QAAnC;aAAMG,SAAS;AAMtB,OAAM,SAAUC,UAAV,CAAqBC,KAArB,EAAmC;EACvC,OAAOC,yBAASD,KAAT,KAAmBH,eAAmBG,KAA7C;AACD;AAOD,OAAO,MAAME,QAAQ,GAAgB,EAA9B","names":["showable","Symbol","_showable_1","_showable","isShowable","value","tsplus_module_1","Showable"],"sourceRoot":"","sources":["../../../_src/typeclass/Showable/definition.ts"],"sourcesContent":[null]}