@fncts/base 0.0.1 → 0.0.4

package/_mjs/data/Maybe/api.mjs

@@ -1,7 +1,6 @@
 import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Apply";
-import * as tsplus_module_3 from "@fncts/base/data/Either/destructors";
-import * as tsplus_module_4 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_2 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_3 from "@fncts/base/data/Maybe/destructors";
 export const flatMap_ = flatMap_1;
 export const zipWith_ = zipWith_1;
 import { identity } from "../function.mjs";
@@ -10,21 +9,14 @@ import { identity } from "../function.mjs";
  */
 
 export function ap_(self, fa) {
+  void 0;
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   && fa._tag === "Just"
   /* MaybeTag.Just */
   ? tsplus_module_1.just(self.value(fa.value)) : tsplus_module_1.nothing();
 }
-/**
- * @tsplus static fncts.MaybeOps sequenceS
- */
-
-export const sequenceS = /*#__PURE__*/tsplus_module_2.sequenceSF({
-  map_,
-  ap_,
-  zipWith_
-});
 /**
  * Applies `f` to the value contained in `Maybe` if it is `Just` and returns the result,
  * otherwise returns `Nothing`.
@@ -33,26 +25,21 @@ export const sequenceS = /*#__PURE__*/tsplus_module_2.sequenceSF({
  */
 
 function flatMap_1(self, f) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? f(self.value) : self;
 }
 /**
- * @constrained
+ * @tsplus fluent fncts.Maybe elem
  */
 
 
-export function elem_(E) {
-  return (self, elem) => self._tag === "Just"
+export function elem_(self, elem, E) {
+  void 0;
+  return self._tag === "Just"
   /* MaybeTag.Just */
-  ? E.equals_(self.value, elem) : false;
-}
-/**
- * @tsplus fluent fncts.Maybe elem
- */
-
-export function elemSelf(self) {
-  return E => elem => elem_(E)(self, elem);
+  ? E.equals(self.value, elem) : false;
 }
 /**
  * @constrained
@@ -60,11 +47,13 @@ export function elemSelf(self) {
  */
 
 export function exists_(self, p) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? p(self.value) : false;
 }
 export function filter_(self, p) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   && p(self.value) ? self : tsplus_module_1.nothing();
@@ -84,6 +73,7 @@ export function flatten(self) {
   return flatMap_1(self, identity);
 }
 export function partition_(self, p) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   && p(self.value) ? [tsplus_module_1.nothing(), self] : [self, tsplus_module_1.nothing()];
@@ -93,10 +83,12 @@ export function partition_(self, p) {
  */
 
 export function partitionMap_(self, f) {
+  void 0;
+
   if (self._tag === "Just"
   /* MaybeTag.Just */
   ) {
-    return tsplus_module_3.match_(f(self.value), b => [tsplus_module_1.just(b), tsplus_module_1.nothing()], c => [tsplus_module_1.nothing(), tsplus_module_1.just(c)]);
+    return tsplus_module_2.match_(f(self.value), b => [tsplus_module_1.just(b), tsplus_module_1.nothing()], c => [tsplus_module_1.nothing(), tsplus_module_1.just(c)]);
   } else {
     return [tsplus_module_1.nothing(), tsplus_module_1.nothing()];
   }
@@ -106,6 +98,7 @@ export function partitionMap_(self, f) {
  */
 
 export function foldLeft_(self, b, f) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? f(b, self.value) : b;
@@ -115,26 +108,23 @@ export function foldLeft_(self, b, f) {
  */
 
 export function foldRight_(self, b, f) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? f(self.value, b) : b;
 }
 /**
- * @constrained
+ * @tsplus fluent fncts.Maybe foldMap
  */
 
-export function foldMap_(M) {
-  return (self, f) => self._tag === "Just"
+export function foldMap_(self, f,
+/** @tsplus auto */
+M) {
+  void 0;
+  return self._tag === "Just"
   /* MaybeTag.Just */
   ? f(self.value) : M.nat;
 }
-/**
- * @tsplus getter fncts.Maybe foldMap
- */
-
-export function foldMapSelf(self) {
-  return M => f => foldMap_(M)(self, f);
-}
 /**
  * Extracts the value from `Maybe` if it exists, or returns the result of `orElse`.
  *
@@ -142,6 +132,7 @@ export function foldMapSelf(self) {
  */
 
 export function getOrElse_(self, orElse) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? self.value : orElse();
@@ -153,6 +144,7 @@ export function getOrElse_(self, orElse) {
  */
 
 export function map_(self, f) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? tsplus_module_1.just(f(self.value)) : self;
@@ -171,6 +163,7 @@ export function mapNullable_(self, f) {
  */
 
 export function orElse_(self, fb) {
+  void 0;
   return self._tag === "Nothing"
   /* MaybeTag.Nothing */
   ? fb() : self;
@@ -182,13 +175,15 @@ export function orElse_(self, fb) {
  */
 
 export function toUndefined(self) {
-  return tsplus_module_4.match_(self, () => undefined, identity);
+  return tsplus_module_3.match_(self, () => undefined, identity);
 }
 /**
  * @tsplus fluent fncts.Maybe zipWith
  */
 
 function zipWith_1(self, fb, f) {
+  void 0;
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   && fb._tag === "Just"

package/_mjs/data/Maybe/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;aA2BgBA,QAAQ;aAsJRC,QAAQ;AA3KxB,SAASC,QAAT,QAAyB,iBAAzB;AAGA;;;;AAGA,OAAM,SAAUC,GAAV,CAAoBC,IAApB,EAA8CC,EAA9C,EAA0D;EAC9D,OAAOD,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+BD,EAAE,CAACC,IAAH,KAAO;EAAA;EAAtC,EAA2DC,qBAAKH,IAAI,CAACI,KAAL,CAAWH,EAAE,CAACG,KAAd,CAAL,CAA3D,GAAwFD,yBAA/F;AACD;AAED;;;;AAGA,OAAO,MAAME,SAAS,gBAAGC,2BAAyB;EAAEC,IAAF;EAAQR,GAAR;EAAaF;AAAb,CAAzB,CAAlB;AAEP;;;;;;;AAMA,mBAA+BG,IAA/B,EAA+CQ,CAA/C,EAAoE;EAClE,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BM,CAAC,CAACR,IAAI,CAACI,KAAN,CAA/B,GAA+CJ,IAAtD;AACD;AAED;;;;;AAGA,OAAM,SAAUS,KAAV,CAAmBC,CAAnB,EAA2B;EAC/B,OAAO,CAACV,IAAD,EAAiBW,IAAjB,KAAuCX,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BQ,CAAC,CAACE,OAAF,CAAUZ,IAAI,CAACI,KAAf,EAAsBO,IAAtB,CAA9B,GAA4D,KAA1G;AACD;AAED;;;;AAGA,OAAM,SAAUE,QAAV,CAAsBb,IAAtB,EAAoC;EACxC,OAAQU,CAAD,IACJC,IAAD,IACEF,KAAK,CAACC,CAAD,CAAL,CAASV,IAAT,EAAeW,IAAf,CAFJ;AAGD;AAED;;;;;AAIA,OAAM,SAAUG,OAAV,CAAqBd,IAArB,EAAqCe,CAArC,EAAoD;EACxD,OAAOf,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8Ba,CAAC,CAACf,IAAI,CAACI,KAAN,CAA/B,GAA8C,KAArD;AACD;AAOD,OAAM,SAAUY,OAAV,CAAwBhB,IAAxB,EAAwCe,CAAxC,EAAuD;EAC3D,OAAOf,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+Ba,CAAC,CAACf,IAAI,CAACI,KAAN,CAAhC,GAA+CJ,IAA/C,GAAsDG,yBAA7D;AACD;AAED;;;;AAGA,OAAM,SAAUc,UAAV,CAA2BjB,IAA3B,EAA2CQ,CAA3C,EAAgE;EACpE,OAAOU,gBAAaV,CAAb,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUW,OAAV,CAAqBnB,IAArB,EAA0C;EAC9C,OAAOkB,gBAAapB,QAAb,CAAP;AACD;AAOD,OAAM,SAAUsB,UAAV,CAAwBpB,IAAxB,EAAwCe,CAAxC,EAAuD;EAC3D,OAAOf,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+Ba,CAAC,CAACf,IAAI,CAACI,KAAN,CAAhC,GAA+C,CAACD,yBAAD,EAAYH,IAAZ,CAA/C,GAAmE,CAACA,IAAD,EAAOG,yBAAP,CAA1E;AACD;AAED;;;;AAGA,OAAM,SAAUkB,aAAV,CAAiCrB,IAAjC,EAAiDQ,CAAjD,EAA0E;EAC9E,IAAIR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAb,EAAiC;IAC/B,OAAOoB,wBAAC,CAACtB,IAAI,CAACI,KAAN,CAAD,EACJmB,CAAD,IAAO,CAACpB,qBAAKoB,CAAL,CAAD,EAAUpB,yBAAV,CADF,EAEJqB,CAAD,IAAO,CAACrB,yBAAD,EAAYA,qBAAKqB,CAAL,CAAZ,CAFF,CAAP;EAID,CALD,MAKO;IACL,OAAO,CAACrB,yBAAD,EAAYA,yBAAZ,CAAP;EACD;AACF;AAED;;;;AAGA,OAAM,SAAUsB,SAAV,CAA0BzB,IAA1B,EAA0CuB,CAA1C,EAAgDf,CAAhD,EAAoE;EACxE,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BM,CAAC,CAACe,CAAD,EAAIvB,IAAI,CAACI,KAAT,CAA/B,GAAiDmB,CAAxD;AACD;AAED;;;;AAGA,OAAM,SAAUG,UAAV,CAA2B1B,IAA3B,EAA2CuB,CAA3C,EAAiDf,CAAjD,EAAqE;EACzE,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BM,CAAC,CAACR,IAAI,CAACI,KAAN,EAAamB,CAAb,CAA/B,GAAiDA,CAAxD;AACD;AAED;;;;AAGA,OAAM,SAAUI,QAAV,CAAsBC,CAAtB,EAAkC;EACtC,OAAO,CAAI5B,IAAJ,EAAoBQ,CAApB,KAA2CR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BM,CAAC,CAACR,IAAI,CAACI,KAAN,CAA/B,GAA8CwB,CAAC,CAACC,GAAlG;AACD;AAED;;;;AAGA,OAAM,SAAUC,WAAV,CAAyB9B,IAAzB,EAAuC;EAC3C,OAAW4B,CAAJ,IACJpB,CAAD,IACEmB,QAAQ,CAACC,CAAD,CAAR,CAAY5B,IAAZ,EAAkBQ,CAAlB,CAFJ;AAGD;AAED;;;;;;AAKA,OAAM,SAAUuB,UAAV,CAA2B/B,IAA3B,EAA2CgC,MAA3C,EAA0D;EAC9D,OAAOhC,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BF,IAAI,CAACI,KAAnC,GAA2C4B,MAAM,EAAxD;AACD;AAED;;;;;;AAKA,OAAM,SAAUzB,IAAV,CAAqBP,IAArB,EAAqCQ,CAArC,EAAmD;EACvD,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BC,qBAAKK,CAAC,CAACR,IAAI,CAACI,KAAN,CAAN,CAA9B,GAAqDJ,IAA5D;AACD;AAED;;;;;;AAKA,OAAM,SAAUiC,YAAV,CAA6BjC,IAA7B,EAA6CQ,CAA7C,EAAqE;EACzE,OAAOU,gBAAaf,8BAAoBK,CAApB,CAAb,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAU0B,OAAV,CAAwBlC,IAAxB,EAAwCmC,EAAxC,EAA0D;EAC9D,OAAOnC,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAAiCiC,EAAE,EAAnC,GAAwCnC,IAA/C;AACD;AAED;;;;;;AAKA,OAAM,SAAUoC,WAAV,CAAyBpC,IAAzB,EAAuC;EAC3C,OAAOqC,6BAAW,MAAMC,SAAjB,EAA4BxC,QAA5B,CAAP;AACD;AAED;;;;AAGA,mBAAkCE,IAAlC,EAAkDmC,EAAlD,EAAgE3B,CAAhE,EAAoF;EAClF,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+BiC,EAAE,CAACjC,IAAH,KAAO;EAAA;EAAtC,EAA2DC,qBAAKK,CAAC,CAACR,IAAI,CAACI,KAAN,EAAa+B,EAAE,CAAC/B,KAAhB,CAAN,CAA3D,GAA2FD,yBAAlG;AACD;AAED;;;;;AAGA,OAAM,SAAUoC,IAAV,CAAqBvC,IAArB,EAAqCwC,IAArC,EAAmD;EACvD,OAAOC,gBAAaD,IAAb,EAAmB,CAACE,CAAD,EAAInB,CAAJ,KAAU,CAACmB,CAAD,EAAInB,CAAJ,CAA7B,CAAP;AACD","names":["flatMap_","zipWith_","identity","ap_","self","fa","_tag","tsplus_module_1","value","sequenceS","tsplus_module_2","map_","f","elem_","E","elem","equals_","elemSelf","exists_","p","filter_","filterMap_","flatMap_1","flatten","partition_","partitionMap_","tsplus_module_3","b","c","foldLeft_","foldRight_","foldMap_","M","nat","foldMapSelf","getOrElse_","orElse","mapNullable_","orElse_","fb","toUndefined","tsplus_module_4","undefined","zip_","that","zipWith_1","a"],"sourceRoot":"","sources":["../../../_src/data/Maybe/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;aAqBgBA,QAAQ;aAgJRC,QAAQ;AAlKxB,SAASC,QAAT,QAAyB,iBAAzB;AAGA;;;;AAGA,OAAM,SAAUC,GAAV,CAAoBC,IAApB,EAA8CC,EAA9C,EAA0D;EAC9D;EACA;EACA,OAAOD,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+BD,EAAE,CAACC,IAAH,KAAO;EAAA;EAAtC,EAA2DC,qBAAKH,IAAI,CAACI,KAAL,CAAWH,EAAE,CAACG,KAAd,CAAL,CAA3D,GAAwFD,yBAA/F;AACD;AAED;;;;;;;AAMA,mBAA+BH,IAA/B,EAA+CK,CAA/C,EAAoE;EAClE;EACA,OAAOL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BG,CAAC,CAACL,IAAI,CAACI,KAAN,CAA/B,GAA+CJ,IAAtD;AACD;AAED;;;;;AAGA,OAAM,SAAUM,KAAV,CAAmBN,IAAnB,EAAmCO,IAAnC,EAA4CC,CAA5C,EAAoD;EACxD;EACA,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BM,CAAC,CAACC,MAAF,CAAST,IAAI,CAACI,KAAd,EAAqBG,IAArB,CAA9B,GAA2D,KAAlE;AACD;AAED;;;;;AAIA,OAAM,SAAUG,OAAV,CAAqBV,IAArB,EAAqCW,CAArC,EAAoD;EACxD;EACA,OAAOX,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BS,CAAC,CAACX,IAAI,CAACI,KAAN,CAA/B,GAA8C,KAArD;AACD;AAOD,OAAM,SAAUQ,OAAV,CAAwBZ,IAAxB,EAAwCW,CAAxC,EAAuD;EAC3D;EACA,OAAOX,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+BS,CAAC,CAACX,IAAI,CAACI,KAAN,CAAhC,GAA+CJ,IAA/C,GAAsDG,yBAA7D;AACD;AAED;;;;AAGA,OAAM,SAAUU,UAAV,CAA2Bb,IAA3B,EAA2CK,CAA3C,EAAgE;EACpE,OAAOS,gBAAaT,CAAb,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUU,OAAV,CAAqBf,IAArB,EAA0C;EAC9C,OAAOc,gBAAahB,QAAb,CAAP;AACD;AAOD,OAAM,SAAUkB,UAAV,CAAwBhB,IAAxB,EAAwCW,CAAxC,EAAuD;EAC3D;EACA,OAAOX,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+BS,CAAC,CAACX,IAAI,CAACI,KAAN,CAAhC,GAA+C,CAACD,yBAAD,EAAYH,IAAZ,CAA/C,GAAmE,CAACA,IAAD,EAAOG,yBAAP,CAA1E;AACD;AAED;;;;AAGA,OAAM,SAAUc,aAAV,CAAiCjB,IAAjC,EAAiDK,CAAjD,EAA0E;EAC9E;;EACA,IAAIL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAb,EAAiC;IAC/B,OAAOgB,wBAAC,CAAClB,IAAI,CAACI,KAAN,CAAD,EACJe,CAAD,IAAO,CAAChB,qBAAKgB,CAAL,CAAD,EAAUhB,yBAAV,CADF,EAEJiB,CAAD,IAAO,CAACjB,yBAAD,EAAYA,qBAAKiB,CAAL,CAAZ,CAFF,CAAP;EAID,CALD,MAKO;IACL,OAAO,CAACjB,yBAAD,EAAYA,yBAAZ,CAAP;EACD;AACF;AAED;;;;AAGA,OAAM,SAAUkB,SAAV,CAA0BrB,IAA1B,EAA0CmB,CAA1C,EAAgDd,CAAhD,EAAoE;EACxE;EACA,OAAOL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BG,CAAC,CAACc,CAAD,EAAInB,IAAI,CAACI,KAAT,CAA/B,GAAiDe,CAAxD;AACD;AAED;;;;AAGA,OAAM,SAAUG,UAAV,CAA2BtB,IAA3B,EAA2CmB,CAA3C,EAAiDd,CAAjD,EAAqE;EACzE;EACA,OAAOL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BG,CAAC,CAACL,IAAI,CAACI,KAAN,EAAae,CAAb,CAA/B,GAAiDA,CAAxD;AACD;AAED;;;;AAGA,OAAM,SAAUI,QAAV,CAAyBvB,IAAzB,EAAyCK,CAAzC;AAAyD;AAAoBmB,CAA7E,EAAyF;EAC7F;EACA,OAAOxB,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BG,CAAC,CAACL,IAAI,CAACI,KAAN,CAA/B,GAA8CoB,CAAC,CAACC,GAAvD;AACD;AAED;;;;;;AAKA,OAAM,SAAUC,UAAV,CAA2B1B,IAA3B,EAA2C2B,MAA3C,EAA0D;EAC9D;EACA,OAAO3B,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BF,IAAI,CAACI,KAAnC,GAA2CuB,MAAM,EAAxD;AACD;AAED;;;;;;AAKA,OAAM,SAAUC,IAAV,CAAqB5B,IAArB,EAAqCK,CAArC,EAAmD;EACvD;EACA,OAAOL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BC,qBAAKE,CAAC,CAACL,IAAI,CAACI,KAAN,CAAN,CAA9B,GAAqDJ,IAA5D;AACD;AAED;;;;;;AAKA,OAAM,SAAU6B,YAAV,CAA6B7B,IAA7B,EAA6CK,CAA7C,EAAqE;EACzE,OAAOS,gBAAaX,8BAAoBE,CAApB,CAAb,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUyB,OAAV,CAAwB9B,IAAxB,EAAwC+B,EAAxC,EAA0D;EAC9D;EACA,OAAO/B,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAAiC6B,EAAE,EAAnC,GAAwC/B,IAA/C;AACD;AAED;;;;;;AAKA,OAAM,SAAUgC,WAAV,CAAyBhC,IAAzB,EAAuC;EAC3C,OAAOiC,6BAAW,MAAMC,SAAjB,EAA4BpC,QAA5B,CAAP;AACD;AAED;;;;AAGA,mBAAkCE,IAAlC,EAAkD+B,EAAlD,EAAgE1B,CAAhE,EAAoF;EAClF;EACA;EACA,OAAOL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+B6B,EAAE,CAAC7B,IAAH,KAAO;EAAA;EAAtC,EAA2DC,qBAAKE,CAAC,CAACL,IAAI,CAACI,KAAN,EAAa2B,EAAE,CAAC3B,KAAhB,CAAN,CAA3D,GAA2FD,yBAAlG;AACD;AAED;;;;;AAGA,OAAM,SAAUgC,IAAV,CAAqBnC,IAArB,EAAqCoC,IAArC,EAAmD;EACvD,OAAOC,gBAAaD,IAAb,EAAmB,CAACE,CAAD,EAAInB,CAAJ,KAAU,CAACmB,CAAD,EAAInB,CAAJ,CAA7B,CAAP;AACD","names":["flatMap_","zipWith_","identity","ap_","self","fa","_tag","tsplus_module_1","value","f","elem_","elem","E","equals","exists_","p","filter_","filterMap_","flatMap_1","flatten","partition_","partitionMap_","tsplus_module_2","b","c","foldLeft_","foldRight_","foldMap_","M","nat","getOrElse_","orElse","map_","mapNullable_","orElse_","fb","toUndefined","tsplus_module_3","undefined","zip_","that","zipWith_1","a"],"sourceRoot":"","sources":["../../../_src/data/Maybe/api.ts"],"sourcesContent":[null]}

package/_mjs/data/Maybe/definition.mjs

@@ -1,7 +1,8 @@
 import * as tsplus_module_1 from "@fncts/base/typeclass/Hashable/hash";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Equatable/definition";
-import * as tsplus_module_3 from "@fncts/base/typeclass/Equatable/api";
-import * as tsplus_module_4 from "@fncts/base/typeclass/Hashable/definition";
+import * as tsplus_module_2 from "@fncts/typelevel/HKT";
+import * as tsplus_module_3 from "@fncts/base/typeclass/Equatable/definition";
+import * as tsplus_module_4 from "@fncts/base/typeclass/Equatable/api";
+import * as tsplus_module_5 from "@fncts/base/typeclass/Hashable/definition";
 export const isMaybe = isMaybe_1;
 export const isJust = isJust_1;
 export const isNothing = isNothing_1;
@@ -11,26 +12,38 @@ export const MaybeTypeId = /*#__PURE__*/Symbol.for("fncts.Maybe");
 const _justHash = /*#__PURE__*/tsplus_module_1.hashString("fncts.Just");
 
 const _nothingHash = /*#__PURE__*/tsplus_module_1.hashString("fncts.Nothing");
+/**
+ * @tsplus type fncts.Maybe
+ * @tsplus companion fncts.MaybeOps
+ */
+
+
+export class Maybe {
+  constructor() {
+    this._typeId = MaybeTypeId;
+  }
+
+}
+tsplus_module_2.HKT.F, tsplus_module_2.HKT.A, tsplus_module_2.HKT.T;
 /**
  * @tsplus type fncts.Just
  * @tsplus companion fncts.JustOps
  */
 
-
-export class Just {
+export class Just extends Maybe {
   constructor(value) {
+    super();
     this.value = value;
-    this._typeId = MaybeTypeId;
     this._tag = "Just"
     /* MaybeTag.Just */
     ;
   }
 
-  [tsplus_module_2.equalsSymbol](that) {
-    return isMaybe_1(that) && isJust_1(that) && tsplus_module_3.strictEquals(this.value, that.value);
+  [tsplus_module_3.equalsSymbol](that) {
+    return isMaybe_1(that) && isJust_1(that) && tsplus_module_4.strictEquals(this.value, that.value);
   }
 
-  get [tsplus_module_4.hashSymbol]() {
+  get [tsplus_module_5.hashSymbol]() {
     return tsplus_module_1.combineHash(_justHash, tsplus_module_1.hashUnknown(this.value));
   }
 
@@ -40,24 +53,23 @@ export class Just {
  * @tsplus companion fncts.NothingOps
  */
 
-export class Nothing {
+export class Nothing extends Maybe {
   constructor() {
-    this._typeId = MaybeTypeId;
+    super(...arguments);
     this._tag = "Nothing"
     /* MaybeTag.Nothing */
     ;
   }
 
-  [tsplus_module_2.equalsSymbol](that) {
+  [tsplus_module_3.equalsSymbol](that) {
     return isMaybe_1(that) && isNothing_1(that);
   }
 
-  get [tsplus_module_4.hashSymbol]() {
+  get [tsplus_module_5.hashSymbol]() {
     return _nothingHash;
   }
 
 }
-export const Maybe = {};
 /**
  * @tsplus unify fncts.Maybe
  */
@@ -80,6 +92,7 @@ function isMaybe_1(u) {
 
 
 function isJust_1(self) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ;
@@ -92,8 +105,18 @@ function isJust_1(self) {
 
 
 function isNothing_1(self) {
+  void 0;
   return self._tag === "Nothing"
   /* MaybeTag.Nothing */
   ;
 }
+/**
+ * @tsplus fluent fncts.Maybe concrete
+ * @tsplus static fncts.MaybeOps concrete
+ * @tsplus macro remove
+ */
+
+
+export function concrete(self) {//
+}
 //# sourceMappingURL=definition.mjs.map

package/_mjs/data/Maybe/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";;;;aAkEgBA,OAAO;aAaPC,MAAM;aASNC,SAAS;AAxFzB,SAASC,QAAT,QAAyB,2BAAzB;AAOA,OAAO,MAAMC,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;;AAGP,MAAMC,SAAS,gBAAMC,2BAAgB,YAAhB,CAArB;;AACA,MAAMC,YAAY,gBAAGD,2BAAgB,eAAhB,CAArB;AAEA;;;;;;AAIA,OAAM,MAAOE,IAAP,CAAW;EAGfC,YAAqBC,KAArB,EAA6B;IAAR;IAFZ,eAAuBR,WAAvB;IACA,YAAI;IAAA;IAAJ;EACwB;;EACjC,+BAAgBS,IAAhB,EAA6B;IAC3B,OAAOC,UAAQD,IAAR,KAAiBE,cAAjB,IAAkCC,6BAAuB,KAAKJ,KAA5B,EAAmCC,IAAI,CAACD,KAAxC,CAAzC;EACD;;EACG,mCAAa;IACf,OAAOJ,4BAAiBD,SAAjB,EAA4BC,4BAAiB,KAAKI,KAAtB,CAA5B,CAAP;EACD;;AATc;AAYjB;;;;;AAIA,OAAM,MAAOK,OAAP,CAAc;EAApBN;IACW,eAAuBP,WAAvB;IACA,YAAI;IAAA;IAAJ;EAOV;;EANC,+BAAgBS,IAAhB,EAA6B;IAC3B,OAAOC,UAAQD,IAAR,KAAiBK,iBAAxB;EACD;;EACG,mCAAa;IACf,OAAOT,YAAP;EACD;;AARiB;AAqBpB,OAAO,MAAMU,KAAK,GAAa,EAAxB;AAEP;;;;AAGA,OAAM,SAAUC,UAAV,CAA2CC,IAA3C,EAAkD;EACtD,OAAOA,IAAP;AACD;AAED;;;;AAGA,mBAAwBC,CAAxB,EAAkC;EAChC,OACEnB,QAAQ,CAACmB,CAAD,CAAR,KACClB,WAAW,IAAIkB,CAAf,IACE,UAAUA,CAAV,IAAe,OAAOA,CAAC,CAAC,MAAD,CAAR,KAAqB,QAApC,KAAiDA,CAAC,CAAC,MAAD,CAAD,KAAc,SAAd,IAA2BA,CAAC,CAAC,MAAD,CAAD,KAAc,MAA1F,CAFH,CADF;AAKD;AAED;;;;;;;AAKA,kBAA0BD,IAA1B,EAAwC;EACtC,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;;;AAKA,qBAA6BF,IAA7B,EAA2C;EACzC,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAhB;AACD","names":["isMaybe","isJust","isNothing","isObject","MaybeTypeId","Symbol","for","_justHash","tsplus_module_1","_nothingHash","Just","constructor","value","that","isMaybe_1","isJust_1","tsplus_module_3","Nothing","isNothing_1","Maybe","unifyMaybe","self","u","_tag"],"sourceRoot":"","sources":["../../../_src/data/Maybe/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;;;;aAmEgBA,OAAO;aAaPC,MAAM;aAUNC,SAAS;AA1FzB,SAASC,QAAT,QAAyB,2BAAzB;AAOA,OAAO,MAAMC,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;;AAKP,MAAMC,SAAS,gBAAMC,2BAAgB,YAAhB,CAArB;;AACA,MAAMC,YAAY,gBAAGD,2BAAgB,eAAhB,CAArB;AAEA;;;;;;AAIA,OAAM,MAAOE,KAAP,CAAY;EAAlBC;IACW,eAAuBP,WAAvB;EAIV;;AALiB;AAENQ,oBAAIC,CAAJ,EACAD,oBAAIE,CADJ,EAEAF,oBAAIG,CAFJ;AAKZ;;;;;AAIA,OAAM,MAAOC,IAAP,SAAuBN,KAAvB,CAA+B;EAEnCC,YAAqBM,KAArB,EAA6B;IAC3B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;EACD,+BAAgBC,IAAhB,EAA6B;IAC3B,OAAOC,UAAQD,IAAR,KAAiBE,cAAjB,IAAkCC,6BAAuB,KAAKJ,KAA5B,EAAmCC,IAAI,CAACD,KAAxC,CAAzC;EACD;;EACG,mCAAa;IACf,OAAOT,4BAAiBD,SAAjB,EAA4BC,4BAAiB,KAAKS,KAAtB,CAA5B,CAAP;EACD;;AAVkC;AAarC;;;;;AAIA,OAAM,MAAOK,OAAP,SAAuBZ,KAAvB,CAAmC;EAAzCC;;IACW,YAAI;IAAA;IAAJ;EAOV;;EANC,+BAAgBO,IAAhB,EAA6B;IAC3B,OAAOC,UAAQD,IAAR,KAAiBK,iBAAxB;EACD;;EACG,mCAAa;IACf,OAAOd,YAAP;EACD;;AAPsC;AAUzC;;;;AAGA,OAAM,SAAUe,UAAV,CAA2CC,IAA3C,EAAkD;EACtD,OAAOA,IAAP;AACD;AAED;;;;AAGA,mBAAwBC,CAAxB,EAAkC;EAChC,OACEvB,QAAQ,CAACuB,CAAD,CAAR,KACCtB,WAAW,IAAIsB,CAAf,IACE,UAAUA,CAAV,IAAe,OAAOA,CAAC,CAAC,MAAD,CAAR,KAAqB,QAApC,KAAiDA,CAAC,CAAC,MAAD,CAAD,KAAc,SAAd,IAA2BA,CAAC,CAAC,MAAD,CAAD,KAAc,MAA1F,CAFH,CADF;AAKD;AAED;;;;;;;AAKA,kBAA0BD,IAA1B,EAAwC;EACtC;EACA,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;;;AAKA,qBAA6BF,IAA7B,EAA2C;EACzC;EACA,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;;;AAKA,OAAM,SAAUC,QAAV,CAAsBH,IAAtB,EAAoC,CACxC;AACD","names":["isMaybe","isJust","isNothing","isObject","MaybeTypeId","Symbol","for","_justHash","tsplus_module_1","_nothingHash","Maybe","constructor","tsplus_module_2","F","A","T","Just","value","that","isMaybe_1","isJust_1","tsplus_module_4","Nothing","isNothing_1","unifyMaybe","self","u","_tag","concrete"],"sourceRoot":"","sources":["../../../_src/data/Maybe/definition.ts"],"sourcesContent":[null]}

package/_mjs/data/Maybe/destructors.mjs

@@ -5,6 +5,7 @@
  * @tsplus fluent fncts.Maybe match
  */
 export function match_(self, nothing, just) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? just(self.value) : nothing();

package/_mjs/data/Maybe/destructors.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"destructors.mjs","mappings":"AAEA;;;;;;AAMA,OAAM,SAAUA,MAAV,CAA0BC,IAA1B,EAA0CC,OAA1C,EAA4DC,IAA5D,EAA6E;EACjF,OAAOF,IAAI,CAACG,IAAL,KAAS;EAAA;EAAT,EAA8BD,IAAI,CAACF,IAAI,CAACI,KAAN,CAAlC,GAAiDH,OAAO,EAA/D;AACD","names":["match_","self","nothing","just","_tag","value"],"sourceRoot":"","sources":["../../../_src/data/Maybe/destructors.ts"],"sourcesContent":[null]}
+{"version":3,"file":"destructors.mjs","mappings":"AAEA;;;;;;AAMA,OAAM,SAAUA,MAAV,CAA0BC,IAA1B,EAA0CC,OAA1C,EAA4DC,IAA5D,EAA6E;EACjF;EACA,OAAOF,IAAI,CAACG,IAAL,KAAS;EAAA;EAAT,EAA8BD,IAAI,CAACF,IAAI,CAACI,KAAN,CAAlC,GAAiDH,OAAO,EAA/D;AACD","names":["match_","self","nothing","just","_tag","value"],"sourceRoot":"","sources":["../../../_src/data/Maybe/destructors.ts"],"sourcesContent":[null]}

package/_mjs/data/Maybe/instances.mjs

@@ -1,42 +1,59 @@
-import * as tsplus_module_1 from "@fncts/base/typeclass/Functor";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Apply";
-import * as tsplus_module_3 from "@fncts/base/typeclass/Applicative";
-import * as tsplus_module_4 from "@fncts/base/typeclass/Monad";
-import * as tsplus_module_5 from "@fncts/base/typeclass/Foldable";
-import * as tsplus_module_6 from "@fncts/base/typeclass/Filterable";
-import * as P from "../../typeclass.mjs";
-import { ap_, filter_, filterMap_, flatMap_, foldLeft_, foldRight_, map_, partition_, partitionMap_, zipWith_ } from "./api.mjs";
+import * as tsplus_module_1 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_2 from "@fncts/base/typeclass/Guard/definition";
+import * as tsplus_module_3 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_4 from "@fncts/base/json/MaybeJson";
+import * as tsplus_module_5 from "@fncts/base/data/These/api";
+import * as tsplus_module_6 from "@fncts/base/data/Decoder/definition";
+import { filter_, filterMap_, flatMap_, foldLeft_, foldRight_, map_, partition_, partitionMap_, zip_, zipWith_ } from "./api.mjs";
 import { just } from "./constructors.mjs";
-export const Functor = /*#__PURE__*/tsplus_module_1.mkFunctor({
-  map_
-});
-export const Apply = /*#__PURE__*/tsplus_module_2.mkApply({
-  map_,
-  ap_,
-  zipWith_
-});
-export const Applicative = /*#__PURE__*/tsplus_module_3.mkApplicative({
-  map_,
-  ap_,
-  zipWith_,
+export const Functor = {
+  map: map_
+};
+export const Apply = { ...Functor,
+  zip: zip_,
+  zipWith: zipWith_
+};
+export const Applicative = { ...Apply,
   pure: just
-});
-export const Monad = /*#__PURE__*/tsplus_module_4.mkMonad({
-  map_,
-  ap_,
-  zipWith_,
-  pure: just,
-  flatMap_: flatMap_
-});
-export const Foldable = /*#__PURE__*/tsplus_module_5.mkFoldable({
-  foldLeft_,
-  foldRight_
-});
-export const Filterable = /*#__PURE__*/tsplus_module_6.mkFilterable({
-  map_,
-  filter_,
-  filterMap_,
-  partition_,
-  partitionMap_
-});
+};
+export const Monad = { ...Applicative,
+  flatMap: flatMap_
+};
+export const Foldable = {
+  foldLeft: foldLeft_,
+  foldRight: foldRight_
+};
+export const Filterable = { ...Functor,
+  filter: filter_,
+  filterMap: filterMap_,
+  partition: partition_,
+  partitionMap: partitionMap_
+};
+/**
+ * @tsplus derive fncts.Guard[fncts.Maybe]<_> 10
+ */
+
+export function deriveGuard(...[guard]) {
+  return tsplus_module_2.makeGuard(u => {
+    if (tsplus_module_1.isMaybe(u)) {
+      if (tsplus_module_1.isNothing(u)) {
+        return true;
+      }
+
+      if (tsplus_module_1.isJust(u)) {
+        return guard.is(u.value);
+      }
+    }
+
+    return false;
+  });
+}
+/**
+ * @tsplus derive fncts.Decoder[fncts.Maybe]<_> 10
+ */
+
+export function deriveDecoder(...[value]) {
+  const label = `Maybe<${value.label}>`;
+  return tsplus_module_6.makeDecoder(input => tsplus_module_5.map(tsplus_module_4.getDecoder(value).decode(input), decoded => decoded._tag === "Nothing" ? tsplus_module_3.nothing() : tsplus_module_3.just(decoded.value)), label);
+}
 //# sourceMappingURL=instances.mjs.map

package/_mjs/data/Maybe/instances.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"instances.mjs","mappings":";;;;;;AAAA,OAAO,KAAKA,CAAZ,MAAmB,qBAAnB;AACA,SACEC,GADF,EAEEC,OAFF,EAGEC,UAHF,EAIEC,QAJF,EAKEC,SALF,EAMEC,UANF,EAOEC,IAPF,EAQEC,UARF,EASEC,aATF,EAUEC,QAVF,QAWO,WAXP;AAYA,SAASC,IAAT,QAAqB,oBAArB;AASA,OAAO,MAAMC,OAAO,gBAAsBC,0BAAU;EAAEN;AAAF,CAAV,CAAnC;AAEP,OAAO,MAAMO,KAAK,gBAAoBC,wBAAQ;EAAER,IAAF;EAAQN,GAAR;EAAaS;AAAb,CAAR,CAA/B;AAEP,OAAO,MAAMM,WAAW,gBAA0BC,8BAAc;EAC9DV,IAD8D;EAE9DN,GAF8D;EAG9DS,QAH8D;EAI9DQ,IAAI,EAAEP;AAJwD,CAAd,CAA3C;AAOP,OAAO,MAAMQ,KAAK,gBAAoBC,wBAAQ;EAC5Cb,IAD4C;EAE5CN,GAF4C;EAG5CS,QAH4C;EAI5CQ,IAAI,EAAEP,IAJsC;EAK5CP,QAAQ,EAAEA;AALkC,CAAR,CAA/B;AAQP,OAAO,MAAMiB,QAAQ,gBAAuBC,2BAAW;EACrDjB,SADqD;EAErDC;AAFqD,CAAX,CAArC;AAKP,OAAO,MAAMiB,UAAU,gBAAyBC,6BAAa;EAC3DjB,IAD2D;EAE3DL,OAF2D;EAG3DC,UAH2D;EAI3DK,UAJ2D;EAK3DC;AAL2D,CAAb,CAAzC","names":["P","ap_","filter_","filterMap_","flatMap_","foldLeft_","foldRight_","map_","partition_","partitionMap_","zipWith_","just","Functor","tsplus_module_1","Apply","tsplus_module_2","Applicative","tsplus_module_3","pure","Monad","tsplus_module_4","Foldable","tsplus_module_5","Filterable","tsplus_module_6"],"sourceRoot":"","sources":["../../../_src/data/Maybe/instances.ts"],"sourcesContent":[null]}
+{"version":3,"file":"instances.mjs","mappings":";;;;;;AAKA,SACEA,OADF,EAEEC,UAFF,EAGEC,QAHF,EAIEC,SAJF,EAKEC,UALF,EAMEC,IANF,EAOEC,UAPF,EAQEC,aARF,EASEC,IATF,EAUEC,QAVF,QAWO,WAXP;AAYA,SAASC,IAAT,QAAqB,oBAArB;AAEA,OAAO,MAAMC,OAAO,GAAsB;EAAEC,GAAG,EAAEP;AAAP,CAAnC;AAEP,OAAO,MAAMQ,KAAK,GAAoB,EAAE,GAAGF,OAAL;EAAcG,GAAG,EAAEN,IAAnB;EAAyBO,OAAO,EAAEN;AAAlC,CAA/B;AAEP,OAAO,MAAMO,WAAW,GAA0B,EAChD,GAAGH,KAD6C;EAEhDI,IAAI,EAAEP;AAF0C,CAA3C;AAKP,OAAO,MAAMQ,KAAK,GAAoB,EACpC,GAAGF,WADiC;EAEpCG,OAAO,EAAEjB;AAF2B,CAA/B;AAKP,OAAO,MAAMkB,QAAQ,GAAuB;EAC1CC,QAAQ,EAAElB,SADgC;EAE1CmB,SAAS,EAAElB;AAF+B,CAArC;AAKP,OAAO,MAAMmB,UAAU,GAAyB,EAC9C,GAAGZ,OAD2C;EAE9Ca,MAAM,EAAExB,OAFsC;EAG9CyB,SAAS,EAAExB,UAHmC;EAI9CyB,SAAS,EAAEpB,UAJmC;EAK9CqB,YAAY,EAAEpB;AALgC,CAAzC;AAQP;;;;AAGA,OAAM,SAAUqB,WAAV,CACJ,GAAG,CAACC,KAAD,CADC,EACgE;EAEpE,OAAOC,0BAAOC,CAAD,IAAc;IACzB,IAAIC,wBAAcD,CAAd,CAAJ,EAAsB;MACpB,IAAIC,4BAAJ,EAAmB;QACjB,OAAO,IAAP;MACD;;MACD,IAAIA,yBAAJ,EAAgB;QACd,OAAOH,KAAK,CAACI,EAAN,CAASF,CAAC,CAACG,KAAX,CAAP;MACD;IACF;;IACD,OAAO,KAAP;EACD,CAVM,CAAP;AAWD;AAED;;;;AAGA,OAAM,SAAUC,aAAV,CACJ,GAAG,CAACD,KAAD,CADC,EACkE;EAEtE,MAAME,KAAK,GAAG,SAASF,KAAK,CAACE,KAAK,GAAlC;EACA,OAAOC,4BACJC,KAAD,IACEC,+CAAqBL,KAArB,EACGM,MADH,CACUF,KADV,GAEQG,OAAD,IAAcA,OAAO,CAACC,IAAR,KAAiB,SAAjB,GAA8BC,yBAA9B,GAAiDA,qBAAKF,OAAO,CAACP,KAAb,CAFtE,CAFG,EAKLE,KALK,CAAP;AAOD","names":["filter_","filterMap_","flatMap_","foldLeft_","foldRight_","map_","partition_","partitionMap_","zip_","zipWith_","just","Functor","map","Apply","zip","zipWith","Applicative","pure","Monad","flatMap","Foldable","foldLeft","foldRight","Filterable","filter","filterMap","partition","partitionMap","deriveGuard","guard","tsplus_module_2","u","tsplus_module_1","is","value","deriveDecoder","label","tsplus_module_6","input","tsplus_module_5","decode","decoded","_tag","tsplus_module_3"],"sourceRoot":"","sources":["../../../_src/data/Maybe/instances.ts"],"sourcesContent":[null]}

package/_mjs/data/Newtype.mjs

@@ -1,11 +1,12 @@
-import * as tsplus_module_1 from "@fncts/base/data/function/api";
+import * as tsplus_module_1 from "@fncts/typelevel/HKT";
+import * as tsplus_module_2 from "@fncts/base/data/function/api";
 export const Newtype = {};
 /**
  * @tsplus static fncts.NewtypeOps __call
  */
 
 export const newtype = () => ({
-  get: tsplus_module_1.unsafeCoerce,
-  reverseGet: tsplus_module_1.unsafeCoerce
+  get: tsplus_module_2.unsafeCoerce,
+  reverseGet: tsplus_module_2.unsafeCoerce
 });
 //# sourceMappingURL=Newtype.mjs.map

package/_mjs/data/Newtype.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Newtype.mjs","mappings":";AAkBA,OAAO,MAAMA,OAAO,GAAe,EAA5B;AAyCP;;;;AAGA,OAAO,MAAMC,OAAO,GAAG,OAA4C;EACjEC,GAAG,kBAAEC,YAD4D;EAEjEC,UAAU,kBAAED;AAFqD,CAA5C,CAAhB","names":["Newtype","newtype","get","unsafeCoerce","reverseGet"],"sourceRoot":"","sources":["../../_src/data/Newtype.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Newtype.mjs","mappings":";;AAiBA,OAAO,MAAMA,OAAO,GAAe,EAA5B;AAqBP;;;;AAGA,OAAO,MAAMC,OAAO,GAAG,OAA4C;EACjEC,GAAG,kBAAEC,YAD4D;EAEjEC,UAAU,kBAAED;AAFqD,CAA5C,CAAhB","names":["Newtype","newtype","get","unsafeCoerce","reverseGet"],"sourceRoot":"","sources":["../../_src/data/Newtype.ts"],"sourcesContent":[null]}

package/_mjs/data/Patch/api.mjs

@@ -91,7 +91,7 @@ const OrdEnvironmentMap = /*#__PURE__*/tsplus_module_5.contramap(tsplus_module_4
  */
 
 export function diff(oldValue, newValue) {
-  const sorted = tsplus_module_6.toArray(newValue.map).sort(OrdEnvironmentMap.compare_);
+  const sorted = tsplus_module_6.toArray(newValue.map).sort(OrdEnvironmentMap.compare);
   const [missingServices, patch] = tsplus_module_8.foldLeft(sorted, [tsplus_module_6.beginMutation(oldValue.map), empty_1()], ([map, patch], [tag, [newService, newIndex]]) => tsplus_module_7.match_(tsplus_module_6.get_(map, tag), () => [tsplus_module_6.remove_(map, tag), compose_1(patch, new AddService(newService, tag))], ([oldService, oldIndex]) => {
     if (oldService === newService && oldIndex === newIndex) {
       return [tsplus_module_6.remove_(map, tag), patch];

package/_mjs/data/Patch/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;;aAyCgBA,OAAO;aA+BPC,KAAK;AAvErB,SAASC,UAAT,EAAqBC,aAArB,EAAoCC,aAApC,QAAyD,wBAAzD;AAEA,SAASC,KAAT,QAAsB,mCAAtB;AACA,SAASC,OAAT,QAAwB,mCAAxB;AACA,SAASC,QAAT,QAAyB,mCAAzB;AAEA;;;;AAGA,SAASC,SAAT,CAAmBC,WAAnB,EAAkDC,OAAlD,EAAgF;sBAA7DD;MAAAE,YAA+BD;sBAA/BD;MAAAG,YAA+BF;;YAAkD;IAClG,IAAIG,kCAAJ,EAAuB;MACrB;IACD;;IACD,MAAMC,IAAI,GAAGH,UAAQG,IAArB;IACA,MAAMC,IAAI,GAAGJ,UAAQI,IAArB;IACA;;IACA,QAAQD,IAAI,CAACE,IAAb;MACE,KAAK,YAAL;wBACmBC,mCAAgBH,IAAI,CAACI,OAArB,EAA8BJ,IAAI,CAACK,GAAnC;oBAAyCJ;;;;;MAC5D,KAAK,SAAL;;oBACgCK,qBAAKN,IAAI,CAACO,KAAV,EAAiBD,qBAAKN,IAAI,CAACQ,MAAV,EAAkBP,IAAlB,CAAjB;;;;;MAChC,KAAK,OAAL;;oBACgCA;;;;;MAChC,KAAK,eAAL;;oBACgCA;;;;;MAChC,KAAK,eAAL;wBACmBE,sCAAmBH,IAAI,CAACS,MAAxB,EAAgCT,IAAI,CAACK,GAArC;oBAA2CJ;;;;IAVhE;EAYD;AAAA;AAED;;;;;AAGA,OAAM,SAAUS,KAAV,CAAyBC,KAAzB,EAAgDhB,WAAhD,EAA4E;EAChF,OAAOD,SAAS,CAACC,WAAD,EAAcW,qBAAKK,KAAL,CAAd,CAAhB;AACD;AAED;;;;AAGA,mBAAuCC,IAAvC,EAA6DC,IAA7D,EAAmF;EACjF,OAAO,IAAIrB,OAAJ,CAAYoB,IAAZ,EAAkBC,IAAlB,CAAP;AACD;;AAED,MAAMC,iBAAiB,gBAAGC,+CAAsBC,CAAD,IAA4DA,CAAC,CAAC,CAAD,CAAD,CAAK,CAAL,CAAjF,CAA1B;AAEA;;;;AAGA,OAAM,SAAUC,IAAV,CAAwBC,QAAxB,EAAmDC,QAAnD,EAA6E;EACjF,MAAMC,MAAM,GAAqBC,gCAAQ,CAACC,GAAT,EAAqBC,IAArB,CAA0BT,iBAAiB,CAACU,QAA5C,CAAjC;EACA,MAAM,CAACC,eAAD,EAAkBd,KAAlB,IAA2Be,iCAC/B,+BAACR,QAAQ,CAACI,GAAV,GAA6BK,SAA7B,CAD+B,EAE/B,CAAC,CAACL,GAAD,EAAMX,KAAN,CAAD,EAAe,CAACN,GAAD,EAAM,CAACuB,UAAD,EAAaC,QAAb,CAAN,CAAf,KACEC,iDAAQzB,GAAR,GACE,MAAM,CAACgB,6BAAWhB,GAAX,CAAD,EAAkB0B,iBAAc,IAAI3C,UAAJ,CAAewC,UAAf,EAA2BvB,GAA3B,CAAd,CAAlB,CADR,EAEE,CAAC,CAAC2B,UAAD,EAAaC,QAAb,CAAD,KAA2B;IACzB,IAAID,UAAU,KAAKJ,UAAf,IAA6BK,QAAQ,KAAKJ,QAA9C,EAAwD;MACtD,OAAO,CAACR,6BAAWhB,GAAX,CAAD,EAAkBM,KAAlB,CAAP;IACD,CAFD,MAEO;MACL,OAAO,CAACU,6BAAWhB,GAAX,CAAD,EAAkB0B,iBAAc,IAAIzC,aAAJ,CAAmB0B,CAAD,IAAYY,UAA9B,EAA0CvB,GAA1C,CAAd,CAAlB,CAAP;IACD;EACF,CARH,CAH6B,CAAjC;EAcA,OAAOgB,oDAAkCV,KAAlC,EAAyC,CAACN,GAAD,EAAMM,KAAN,KAAgBoB,iBAAc,IAAI1C,aAAJ,CAAkBgB,GAAlB,CAAd,CAAzD,CAAP;AACD;AAED;;;;AAGA;EACE,OAAO,IAAId,KAAJ,EAAP;AACD","names":["compose","empty","AddService","RemoveService","UpdateService","Empty","Compose","concrete","applyLoop","environment","patches","patches_1","patches_2","tsplus_module_1","head","tail","_tag","tsplus_module_2","service","tag","tsplus_module_3","first","second","update","apply","patch","self","that","OrdEnvironmentMap","tsplus_module_5","_","diff","oldValue","newValue","sorted","tsplus_module_6","map","sort","compare_","missingServices","tsplus_module_8","empty_1","newService","newIndex","tsplus_module_7","compose_1","oldService","oldIndex"],"sourceRoot":"","sources":["../../../_src/data/Patch/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;;;aAyCgBA,OAAO;aA+BPC,KAAK;AAvErB,SAASC,UAAT,EAAqBC,aAArB,EAAoCC,aAApC,QAAyD,wBAAzD;AAEA,SAASC,KAAT,QAAsB,mCAAtB;AACA,SAASC,OAAT,QAAwB,mCAAxB;AACA,SAASC,QAAT,QAAyB,mCAAzB;AAEA;;;;AAGA,SAASC,SAAT,CAAmBC,WAAnB,EAAkDC,OAAlD,EAAgF;sBAA7DD;MAAAE,YAA+BD;sBAA/BD;MAAAG,YAA+BF;;YAAkD;IAClG,IAAIG,kCAAJ,EAAuB;MACrB;IACD;;IACD,MAAMC,IAAI,GAAGH,UAAQG,IAArB;IACA,MAAMC,IAAI,GAAGJ,UAAQI,IAArB;IACA;;IACA,QAAQD,IAAI,CAACE,IAAb;MACE,KAAK,YAAL;wBACmBC,mCAAgBH,IAAI,CAACI,OAArB,EAA8BJ,IAAI,CAACK,GAAnC;oBAAyCJ;;;;;MAC5D,KAAK,SAAL;;oBACgCK,qBAAKN,IAAI,CAACO,KAAV,EAAiBD,qBAAKN,IAAI,CAACQ,MAAV,EAAkBP,IAAlB,CAAjB;;;;;MAChC,KAAK,OAAL;;oBACgCA;;;;;MAChC,KAAK,eAAL;;oBACgCA;;;;;MAChC,KAAK,eAAL;wBACmBE,sCAAmBH,IAAI,CAACS,MAAxB,EAAgCT,IAAI,CAACK,GAArC;oBAA2CJ;;;;IAVhE;EAYD;AAAA;AAED;;;;;AAGA,OAAM,SAAUS,KAAV,CAAyBC,KAAzB,EAAgDhB,WAAhD,EAA4E;EAChF,OAAOD,SAAS,CAACC,WAAD,EAAcW,qBAAKK,KAAL,CAAd,CAAhB;AACD;AAED;;;;AAGA,mBAAuCC,IAAvC,EAA6DC,IAA7D,EAAmF;EACjF,OAAO,IAAIrB,OAAJ,CAAYoB,IAAZ,EAAkBC,IAAlB,CAAP;AACD;;AAED,MAAMC,iBAAiB,gBAAGC,+CAAsBC,CAAD,IAA4DA,CAAC,CAAC,CAAD,CAAD,CAAK,CAAL,CAAjF,CAA1B;AAEA;;;;AAGA,OAAM,SAAUC,IAAV,CAAwBC,QAAxB,EAAmDC,QAAnD,EAA6E;EACjF,MAAMC,MAAM,GAAqBC,gCAAQ,CAACC,GAAT,EAAqBC,IAArB,CAA0BT,iBAAiB,CAACU,OAA5C,CAAjC;EACA,MAAM,CAACC,eAAD,EAAkBd,KAAlB,IAA2Be,iCAC/B,+BAACR,QAAQ,CAACI,GAAV,GAA6BK,SAA7B,CAD+B,EAE/B,CAAC,CAACL,GAAD,EAAMX,KAAN,CAAD,EAAe,CAACN,GAAD,EAAM,CAACuB,UAAD,EAAaC,QAAb,CAAN,CAAf,KACEC,iDAAQzB,GAAR,GACE,MAAM,CAACgB,6BAAWhB,GAAX,CAAD,EAAkB0B,iBAAc,IAAI3C,UAAJ,CAAewC,UAAf,EAA2BvB,GAA3B,CAAd,CAAlB,CADR,EAEE,CAAC,CAAC2B,UAAD,EAAaC,QAAb,CAAD,KAA2B;IACzB,IAAID,UAAU,KAAKJ,UAAf,IAA6BK,QAAQ,KAAKJ,QAA9C,EAAwD;MACtD,OAAO,CAACR,6BAAWhB,GAAX,CAAD,EAAkBM,KAAlB,CAAP;IACD,CAFD,MAEO;MACL,OAAO,CAACU,6BAAWhB,GAAX,CAAD,EAAkB0B,iBAAc,IAAIzC,aAAJ,CAAmB0B,CAAD,IAAYY,UAA9B,EAA0CvB,GAA1C,CAAd,CAAlB,CAAP;IACD;EACF,CARH,CAH6B,CAAjC;EAcA,OAAOgB,oDAAkCV,KAAlC,EAAyC,CAACN,GAAD,EAAMM,KAAN,KAAgBoB,iBAAc,IAAI1C,aAAJ,CAAkBgB,GAAlB,CAAd,CAAzD,CAAP;AACD;AAED;;;;AAGA;EACE,OAAO,IAAId,KAAJ,EAAP;AACD","names":["compose","empty","AddService","RemoveService","UpdateService","Empty","Compose","concrete","applyLoop","environment","patches","patches_1","patches_2","tsplus_module_1","head","tail","_tag","tsplus_module_2","service","tag","tsplus_module_3","first","second","update","apply","patch","self","that","OrdEnvironmentMap","tsplus_module_5","_","diff","oldValue","newValue","sorted","tsplus_module_6","map","sort","compare","missingServices","tsplus_module_8","empty_1","newService","newIndex","tsplus_module_7","compose_1","oldService","oldIndex"],"sourceRoot":"","sources":["../../../_src/data/Patch/api.ts"],"sourcesContent":[null]}

package/_mjs/data/Refinement/api.mjs

@@ -1,7 +1,3 @@
-/**
- * @tsplus fluent fncts.Refinement and
- * @tsplus operator fncts.Refinement &&
- */
 export function and(self, that) {
   return a => self(a) && that(a);
 }

package/_mjs/data/Refinement/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":"AAAA;;;;AAIA,OAAM,SAAUA,GAAV,CAA2CC,IAA3C,EAAmEC,IAAnE,EAAyF;EAC7F,OAAQC,CAAD,IAAeF,IAAI,CAACE,CAAD,CAAJ,IAAWD,IAAI,CAACC,CAAD,CAArC;AACD;AAED;;;;AAGA,OAAM,SAAUC,SAAV,CAAiDH,IAAjD,EAAyEI,CAAzE,EAAuF;EAC3F,OAAQC,CAAD,IAAeL,IAAI,CAACI,CAAC,CAACC,CAAD,CAAF,CAA1B;AACD;AAED;;;;;AAIA,OAAM,SAAUC,EAAV,CAA0CN,IAA1C,EAAkEC,IAAlE,EAAwF;EAC5F,OAAQC,CAAD,IAAmBF,IAAI,CAACE,CAAD,CAAJ,IAAWD,IAAI,CAACC,CAAD,CAAzC;AACD;AAED;;;;AAGA,OAAM,SAAUK,MAAV,CAAiCP,IAAjC,EAAuD;EAC3D,OAAQE,CAAD,IAA2B,CAACF,IAAI,CAACE,CAAD,CAAvC;AACD","names":["and","self","that","a","contramap","f","c","or","invert"],"sourceRoot":"","sources":["../../../_src/data/Refinement/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":"AAMA,OAAM,SAAUA,GAAV,CAA8BC,IAA9B,EAAsDC,IAAtD,EAAwE;EAC5E,OAAQC,CAAD,IAAeF,IAAI,CAACE,CAAD,CAAJ,IAAWD,IAAI,CAACC,CAAD,CAArC;AACD;AAED;;;;AAGA,OAAM,SAAUC,SAAV,CAAiDH,IAAjD,EAAyEI,CAAzE,EAAuF;EAC3F,OAAQC,CAAD,IAAeL,IAAI,CAACI,CAAC,CAACC,CAAD,CAAF,CAA1B;AACD;AAED;;;;;AAIA,OAAM,SAAUC,EAAV,CAA0CN,IAA1C,EAAkEC,IAAlE,EAAwF;EAC5F,OAAQC,CAAD,IAAmBF,IAAI,CAACE,CAAD,CAAJ,IAAWD,IAAI,CAACC,CAAD,CAAzC;AACD;AAED;;;;AAGA,OAAM,SAAUK,MAAV,CAAiCP,IAAjC,EAAuD;EAC3D,OAAQE,CAAD,IAA2B,CAACF,IAAI,CAACE,CAAD,CAAvC;AACD","names":["and","self","that","a","contramap","f","c","or","invert"],"sourceRoot":"","sources":["../../../_src/data/Refinement/api.ts"],"sourcesContent":[null]}

package/_mjs/data/Struct/definition.mjs

@@ -1,3 +1,4 @@
-import * as tsplus_module_1 from "@fncts/base/data/Newtype";
-export const Struct = /*#__PURE__*/tsplus_module_1.newtype();
+import * as tsplus_module_1 from "@fncts/typelevel/HKT";
+import * as tsplus_module_2 from "@fncts/base/data/Newtype";
+export const Struct = /*#__PURE__*/tsplus_module_2.newtype();
 //# sourceMappingURL=definition.mjs.map

package/_mjs/data/Struct/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";AAoBA,OAAO,MAAMA,MAAM,gBAAcC,yBAA1B","names":["Struct","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/data/Struct/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;AAoBA,OAAO,MAAMA,MAAM,gBAAcC,yBAA1B","names":["Struct","tsplus_module_2"],"sourceRoot":"","sources":["../../../_src/data/Struct/definition.ts"],"sourcesContent":[null]}