@fncts/base 0.0.3 → 0.0.4

package/_cjs/data/Maybe/api.cjs

@@ -4,7 +4,6 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.ap_ = ap_;
-exports.elemSelf = elemSelf;
 exports.elem_ = elem_;
 exports.exists_ = exists_;
 exports.filterMap_ = filterMap_;
@@ -12,7 +11,6 @@ exports.filter_ = filter_;
 exports.flatMap_ = void 0;
 exports.flatten = flatten;
 exports.foldLeft_ = foldLeft_;
-exports.foldMapSelf = foldMapSelf;
 exports.foldMap_ = foldMap_;
 exports.foldRight_ = foldRight_;
 exports.getOrElse_ = getOrElse_;
@@ -21,18 +19,15 @@ exports.map_ = map_;
 exports.orElse_ = orElse_;
 exports.partitionMap_ = partitionMap_;
 exports.partition_ = partition_;
-exports.sequenceS = void 0;
 exports.toUndefined = toUndefined;
 exports.zipWith_ = void 0;
 exports.zip_ = zip_;
 
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
 
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Apply"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
 
-var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
-
-var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
 
 var _function = /*#__PURE__*/require("../function.cjs");
 
@@ -49,22 +44,14 @@ exports.zipWith_ = zipWith_;
  * @tsplus fluent fncts.Maybe ap
  */
 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
- */
-
-
-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`.
@@ -72,30 +59,23 @@ const sequenceS = /*#__PURE__*/tsplus_module_2.sequenceSF({
  * @tsplus fluent fncts.Maybe flatMap
  */
 
-exports.sequenceS = sequenceS;
 
 function flatMap_1(self, f) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? f(self.value) : self;
 }
-/**
- * @constrained
- */
-
-
-function elem_(E) {
-  return (self, elem) => self._tag === "Just"
-  /* MaybeTag.Just */
-  ? E.equals_(self.value, elem) : false;
-}
 /**
  * @tsplus fluent fncts.Maybe elem
  */
 
 
-function elemSelf(self) {
-  return E => elem => elem_(E)(self, elem);
+function elem_(self, elem, E) {
+  void 0;
+  return self._tag === "Just"
+  /* MaybeTag.Just */
+  ? E.equals(self.value, elem) : false;
 }
 /**
  * @constrained
@@ -104,12 +84,14 @@ function elemSelf(self) {
 
 
 function exists_(self, p) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? p(self.value) : false;
 }
 
 function filter_(self, p) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   && p(self.value) ? self : tsplus_module_1.nothing();
@@ -132,6 +114,7 @@ function flatten(self) {
 }
 
 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()];
@@ -142,10 +125,12 @@ function partition_(self, p) {
 
 
 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()];
   }
@@ -156,6 +141,7 @@ function partitionMap_(self, f) {
 
 
 function foldLeft_(self, b, f) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? f(b, self.value) : b;
@@ -166,28 +152,24 @@ function foldLeft_(self, b, f) {
 
 
 function foldRight_(self, b, f) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? f(self.value, b) : b;
 }
 /**
- * @constrained
+ * @tsplus fluent fncts.Maybe foldMap
  */
 
 
-function foldMap_(M) {
-  return (self, f) => self._tag === "Just"
+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
- */
-
-
-function foldMapSelf(self) {
-  return M => f => foldMap_(M)(self, f);
-}
 /**
  * Extracts the value from `Maybe` if it exists, or returns the result of `orElse`.
  *
@@ -196,6 +178,7 @@ function foldMapSelf(self) {
 
 
 function getOrElse_(self, orElse) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? self.value : orElse();
@@ -208,6 +191,7 @@ function getOrElse_(self, orElse) {
 
 
 function map_(self, f) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ? tsplus_module_1.just(f(self.value)) : self;
@@ -228,6 +212,7 @@ function mapNullable_(self, f) {
 
 
 function orElse_(self, fb) {
+  void 0;
   return self._tag === "Nothing"
   /* MaybeTag.Nothing */
   ? fb() : self;
@@ -240,7 +225,7 @@ function orElse_(self, fb) {
 
 
 function toUndefined(self) {
-  return tsplus_module_4.match_(self, () => undefined, _function.identity);
+  return tsplus_module_3.match_(self, () => undefined, _function.identity);
 }
 /**
  * @tsplus fluent fncts.Maybe zipWith
@@ -248,6 +233,8 @@ function toUndefined(self) {
 
 
 function zipWith_1(self, fb, f) {
+  void 0;
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   && fb._tag === "Just"

package/_cjs/data/Maybe/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAMA;;;;;;MAqBgBA,QAAQ;;MAsJRC,QAAQ;;;AAxKxB;;;AAGM,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;;;;;AAGO,MAAME,SAAS,gBAAGC,2BAAyB;EAAEC,IAAF;EAAQR,GAAR;EAAaD;AAAb,CAAzB,CAAlB;AAEP;;;;;;;;;AAMA,mBAA+BE,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;;;;;AAGM,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;;;;;AAGM,SAAUE,QAAV,CAAsBb,IAAtB,EAAoC;EACxC,OAAQU,CAAD,IACJC,IAAD,IACEF,KAAK,CAACC,CAAD,CAAL,CAASV,IAAT,EAAeW,IAAf,CAFJ;AAGD;AAED;;;;;;AAIM,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;;AAOK,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;;;;;AAGM,SAAUc,UAAV,CAA2BjB,IAA3B,EAA2CQ,CAA3C,EAAgE;EACpE,OAAOU,gBAAaV,CAAb,CAAP;AACD;AAED;;;;;AAGM,SAAUW,OAAV,CAAqBnB,IAArB,EAA0C;EAC9C,OAAOkB,gBAAaE,kBAAb,CAAP;AACD;;AAOK,SAAUC,UAAV,CAAwBrB,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;;;;;AAGM,SAAUmB,aAAV,CAAiCtB,IAAjC,EAAiDQ,CAAjD,EAA0E;EAC9E,IAAIR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAb,EAAiC;IAC/B,OAAOqB,wBAAC,CAACvB,IAAI,CAACI,KAAN,CAAD,EACJoB,CAAD,IAAO,CAACrB,qBAAKqB,CAAL,CAAD,EAAUrB,yBAAV,CADF,EAEJsB,CAAD,IAAO,CAACtB,yBAAD,EAAYA,qBAAKsB,CAAL,CAAZ,CAFF,CAAP;EAID,CALD,MAKO;IACL,OAAO,CAACtB,yBAAD,EAAYA,yBAAZ,CAAP;EACD;AACF;AAED;;;;;AAGM,SAAUuB,SAAV,CAA0B1B,IAA1B,EAA0CwB,CAA1C,EAAgDhB,CAAhD,EAAoE;EACxE,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BM,CAAC,CAACgB,CAAD,EAAIxB,IAAI,CAACI,KAAT,CAA/B,GAAiDoB,CAAxD;AACD;AAED;;;;;AAGM,SAAUG,UAAV,CAA2B3B,IAA3B,EAA2CwB,CAA3C,EAAiDhB,CAAjD,EAAqE;EACzE,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BM,CAAC,CAACR,IAAI,CAACI,KAAN,EAAaoB,CAAb,CAA/B,GAAiDA,CAAxD;AACD;AAED;;;;;AAGM,SAAUI,QAAV,CAAsBC,CAAtB,EAAkC;EACtC,OAAO,CAAI7B,IAAJ,EAAoBQ,CAApB,KAA2CR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BM,CAAC,CAACR,IAAI,CAACI,KAAN,CAA/B,GAA8CyB,CAAC,CAACC,GAAlG;AACD;AAED;;;;;AAGM,SAAUC,WAAV,CAAyB/B,IAAzB,EAAuC;EAC3C,OAAW6B,CAAJ,IACJrB,CAAD,IACEoB,QAAQ,CAACC,CAAD,CAAR,CAAY7B,IAAZ,EAAkBQ,CAAlB,CAFJ;AAGD;AAED;;;;;;;AAKM,SAAUwB,UAAV,CAA2BhC,IAA3B,EAA2CiC,MAA3C,EAA0D;EAC9D,OAAOjC,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BF,IAAI,CAACI,KAAnC,GAA2C6B,MAAM,EAAxD;AACD;AAED;;;;;;;AAKM,SAAU1B,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;;;;;;;AAKM,SAAUkC,YAAV,CAA6BlC,IAA7B,EAA6CQ,CAA7C,EAAqE;EACzE,OAAOU,gBAAaf,8BAAoBK,CAApB,CAAb,CAAP;AACD;AAED;;;;;AAGM,SAAU2B,OAAV,CAAwBnC,IAAxB,EAAwCoC,EAAxC,EAA0D;EAC9D,OAAOpC,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAAiCkC,EAAE,EAAnC,GAAwCpC,IAA/C;AACD;AAED;;;;;;;AAKM,SAAUqC,WAAV,CAAyBrC,IAAzB,EAAuC;EAC3C,OAAOsC,6BAAW,MAAMC,SAAjB,EAA4BnB,kBAA5B,CAAP;AACD;AAED;;;;;AAGA,mBAAkCpB,IAAlC,EAAkDoC,EAAlD,EAAgE5B,CAAhE,EAAoF;EAClF,OAAOR,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+BkC,EAAE,CAAClC,IAAH,KAAO;EAAA;EAAtC,EAA2DC,qBAAKK,CAAC,CAACR,IAAI,CAACI,KAAN,EAAagC,EAAE,CAAChC,KAAhB,CAAN,CAA3D,GAA2FD,yBAAlG;AACD;AAED;;;;;AAGM,SAAUqC,IAAV,CAAqBxC,IAArB,EAAqCyC,IAArC,EAAmD;EACvD,OAAOC,gBAAaD,IAAb,EAAmB,CAACE,CAAD,EAAInB,CAAJ,KAAU,CAACmB,CAAD,EAAInB,CAAJ,CAA7B,CAAP;AACD","names":["flatMap_","zipWith_","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","identity","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.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGA;;;;;;MAkBgBA,QAAQ;;MAgJRC,QAAQ;;;AA/JxB;;;AAGM,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;;;;;AAGM,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;;;;;;AAIM,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;;AAOK,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;;;;;AAGM,SAAUU,UAAV,CAA2Bb,IAA3B,EAA2CK,CAA3C,EAAgE;EACpE,OAAOS,gBAAaT,CAAb,CAAP;AACD;AAED;;;;;AAGM,SAAUU,OAAV,CAAqBf,IAArB,EAA0C;EAC9C,OAAOc,gBAAaE,kBAAb,CAAP;AACD;;AAOK,SAAUC,UAAV,CAAwBjB,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;;;;;AAGM,SAAUe,aAAV,CAAiClB,IAAjC,EAAiDK,CAAjD,EAA0E;EAC9E;;EACA,IAAIL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAb,EAAiC;IAC/B,OAAOiB,wBAAC,CAACnB,IAAI,CAACI,KAAN,CAAD,EACJgB,CAAD,IAAO,CAACjB,qBAAKiB,CAAL,CAAD,EAAUjB,yBAAV,CADF,EAEJkB,CAAD,IAAO,CAAClB,yBAAD,EAAYA,qBAAKkB,CAAL,CAAZ,CAFF,CAAP;EAID,CALD,MAKO;IACL,OAAO,CAAClB,yBAAD,EAAYA,yBAAZ,CAAP;EACD;AACF;AAED;;;;;AAGM,SAAUmB,SAAV,CAA0BtB,IAA1B,EAA0CoB,CAA1C,EAAgDf,CAAhD,EAAoE;EACxE;EACA,OAAOL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BG,CAAC,CAACe,CAAD,EAAIpB,IAAI,CAACI,KAAT,CAA/B,GAAiDgB,CAAxD;AACD;AAED;;;;;AAGM,SAAUG,UAAV,CAA2BvB,IAA3B,EAA2CoB,CAA3C,EAAiDf,CAAjD,EAAqE;EACzE;EACA,OAAOL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BG,CAAC,CAACL,IAAI,CAACI,KAAN,EAAagB,CAAb,CAA/B,GAAiDA,CAAxD;AACD;AAED;;;;;AAGM,SAAUI,QAAV,CAAyBxB,IAAzB,EAAyCK,CAAzC;AAAyD;AAAoBoB,CAA7E,EAAyF;EAC7F;EACA,OAAOzB,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BG,CAAC,CAACL,IAAI,CAACI,KAAN,CAA/B,GAA8CqB,CAAC,CAACC,GAAvD;AACD;AAED;;;;;;;AAKM,SAAUC,UAAV,CAA2B3B,IAA3B,EAA2C4B,MAA3C,EAA0D;EAC9D;EACA,OAAO5B,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA8BF,IAAI,CAACI,KAAnC,GAA2CwB,MAAM,EAAxD;AACD;AAED;;;;;;;AAKM,SAAUC,IAAV,CAAqB7B,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;;;;;;;AAKM,SAAU8B,YAAV,CAA6B9B,IAA7B,EAA6CK,CAA7C,EAAqE;EACzE,OAAOS,gBAAaX,8BAAoBE,CAApB,CAAb,CAAP;AACD;AAED;;;;;AAGM,SAAU0B,OAAV,CAAwB/B,IAAxB,EAAwCgC,EAAxC,EAA0D;EAC9D;EACA,OAAOhC,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAAiC8B,EAAE,EAAnC,GAAwChC,IAA/C;AACD;AAED;;;;;;;AAKM,SAAUiC,WAAV,CAAyBjC,IAAzB,EAAuC;EAC3C,OAAOkC,6BAAW,MAAMC,SAAjB,EAA4BnB,kBAA5B,CAAP;AACD;AAED;;;;;AAGA,mBAAkChB,IAAlC,EAAkDgC,EAAlD,EAAgE3B,CAAhE,EAAoF;EAClF;EACA;EACA,OAAOL,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,GAA+B8B,EAAE,CAAC9B,IAAH,KAAO;EAAA;EAAtC,EAA2DC,qBAAKE,CAAC,CAACL,IAAI,CAACI,KAAN,EAAa4B,EAAE,CAAC5B,KAAhB,CAAN,CAA3D,GAA2FD,yBAAlG;AACD;AAED;;;;;AAGM,SAAUiC,IAAV,CAAqBpC,IAArB,EAAqCqC,IAArC,EAAmD;EACvD,OAAOC,gBAAaD,IAAb,EAAmB,CAACE,CAAD,EAAInB,CAAJ,KAAU,CAACmB,CAAD,EAAInB,CAAJ,CAA7B,CAAP;AACD","names":["flatMap_","zipWith_","ap_","self","fa","_tag","tsplus_module_1","value","f","elem_","elem","E","equals","exists_","p","filter_","filterMap_","flatMap_1","flatten","identity","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/_cjs/data/Maybe/definition.cjs

@@ -3,16 +3,20 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports.isNothing = exports.isMaybe = exports.isJust = exports.Nothing = exports.MaybeTypeId = exports.Maybe = exports.Just = void 0;
+exports.Nothing = exports.MaybeTypeId = exports.Maybe = exports.Just = void 0;
+exports.concrete = concrete;
+exports.isNothing = exports.isMaybe = exports.isJust = void 0;
 exports.unifyMaybe = unifyMaybe;
 
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Hashable/hash"));
 
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Equatable/definition"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/typelevel/HKT"));
 
-var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Equatable/api"));
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Equatable/definition"));
 
-var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Hashable/definition"));
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Equatable/api"));
+
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Hashable/definition"));
 
 var _predicates = /*#__PURE__*/require("../../util/predicates.cjs");
 
@@ -32,26 +36,40 @@ exports.MaybeTypeId = MaybeTypeId;
 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
+ */
+
+
+class Maybe {
+  constructor() {
+    this._typeId = MaybeTypeId;
+  }
+
+}
+
+exports.Maybe = Maybe;
+tsplus_module_2.HKT.F, tsplus_module_2.HKT.A, tsplus_module_2.HKT.T;
 /**
  * @tsplus type fncts.Just
  * @tsplus companion fncts.JustOps
  */
 
-
-class Just {
+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));
   }
 
@@ -64,31 +82,29 @@ class Just {
 
 exports.Just = Just;
 
-class Nothing {
+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;
   }
 
 }
-
-exports.Nothing = Nothing;
-const Maybe = {};
 /**
  * @tsplus unify fncts.Maybe
  */
 
-exports.Maybe = Maybe;
+
+exports.Nothing = Nothing;
 
 function unifyMaybe(self) {
   return self;
@@ -109,6 +125,7 @@ function isMaybe_1(u) {
 
 
 function isJust_1(self) {
+  void 0;
   return self._tag === "Just"
   /* MaybeTag.Just */
   ;
@@ -121,8 +138,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
+ */
+
+
+function concrete(self) {//
+}
 //# sourceMappingURL=definition.cjs.map

package/_cjs/data/Maybe/definition.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;;;AAAA;;;;;;MAkEgBA,OAAO;;MAaPC,MAAM;;MASNC,SAAS;;AAjFlB,MAAMC,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;;;AAGP,MAAMC,SAAS,gBAAMC,2BAAgB,YAAhB,CAArB;;AACA,MAAMC,YAAY,gBAAGD,2BAAgB,eAAhB,CAArB;AAEA;;;;;;AAIM,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;;;;;;;;AAIM,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;;;AAqBb,MAAMU,KAAK,GAAa,EAAxB;AAEP;;;;;;AAGM,SAAUC,UAAV,CAA2CC,IAA3C,EAAkD;EACtD,OAAOA,IAAP;AACD;AAED;;;;;AAGA,mBAAwBC,CAAxB,EAAkC;EAChC,OACE,0BAASA,CAAT,MACClB,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","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.cjs","mappings":";;;;;;;;;;;;;;;;;;;;AAAA;;;;;;MAmEgBA,OAAO;;MAaPC,MAAM;;MAUNC,SAAS;;AAnFlB,MAAMC,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;;;AAKP,MAAMC,SAAS,gBAAMC,2BAAgB,YAAhB,CAArB;;AACA,MAAMC,YAAY,gBAAGD,2BAAgB,eAAhB,CAArB;AAEA;;;;;;AAIM,MAAOE,KAAP,CAAY;EAAlBC;IACW,eAAuBP,WAAvB;EAIV;;AALiB;;;AAENQ,oBAAIC,CAAJ,EACAD,oBAAIE,CADJ,EAEAF,oBAAIG,CAFJ;AAKZ;;;;;AAIM,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;;;;;;;;AAIM,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;;;;;;;AAGM,SAAUe,UAAV,CAA2CC,IAA3C,EAAkD;EACtD,OAAOA,IAAP;AACD;AAED;;;;;AAGA,mBAAwBC,CAAxB,EAAkC;EAChC,OACE,0BAASA,CAAT,MACCtB,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;;;;;;;AAKM,SAAUC,QAAV,CAAsBH,IAAtB,EAAoC,CACxC;AACD","names":["isMaybe","isJust","isNothing","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/_cjs/data/Maybe/destructors.cjs

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

package/_cjs/data/Maybe/destructors.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"destructors.cjs","mappings":";;;;;;;AAEA;;;;;;AAMM,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.cjs","mappings":";;;;;;;AAEA;;;;;;AAMM,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/_cjs/data/Maybe/instances.cjs

@@ -4,65 +4,85 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.Monad = exports.Functor = exports.Foldable = exports.Filterable = exports.Apply = exports.Applicative = void 0;
+exports.deriveDecoder = deriveDecoder;
+exports.deriveGuard = deriveGuard;
 
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Functor"));
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/definition"));
 
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Apply"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Guard/definition"));
 
-var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Applicative"));
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
 
-var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Monad"));
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/json/MaybeJson"));
 
-var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Foldable"));
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/These/api"));
 
-var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Filterable"));
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Decoder/definition"));
 
-var P = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../../typeclass.cjs"));
+var _api2 = /*#__PURE__*/require("./api.cjs");
 
-var _api = /*#__PURE__*/require("./api.cjs");
-
-var _constructors = /*#__PURE__*/require("./constructors.cjs");
+var _constructors2 = /*#__PURE__*/require("./constructors.cjs");
 
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
 
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
 
-const Functor = /*#__PURE__*/tsplus_module_1.mkFunctor({
-  map_: _api.map_
-});
+const Functor = {
+  map: _api2.map_
+};
 exports.Functor = Functor;
-const Apply = /*#__PURE__*/tsplus_module_2.mkApply({
-  map_: _api.map_,
-  ap_: _api.ap_,
-  zipWith_: _api.zipWith_
-});
+const Apply = { ...Functor,
+  zip: _api2.zip_,
+  zipWith: _api2.zipWith_
+};
 exports.Apply = Apply;
-const Applicative = /*#__PURE__*/tsplus_module_3.mkApplicative({
-  map_: _api.map_,
-  ap_: _api.ap_,
-  zipWith_: _api.zipWith_,
-  pure: _constructors.just
-});
+const Applicative = { ...Apply,
+  pure: _constructors2.just
+};
 exports.Applicative = Applicative;
-const Monad = /*#__PURE__*/tsplus_module_4.mkMonad({
-  map_: _api.map_,
-  ap_: _api.ap_,
-  zipWith_: _api.zipWith_,
-  pure: _constructors.just,
-  flatMap_: _api.flatMap_
-});
+const Monad = { ...Applicative,
+  flatMap: _api2.flatMap_
+};
 exports.Monad = Monad;
-const Foldable = /*#__PURE__*/tsplus_module_5.mkFoldable({
-  foldLeft_: _api.foldLeft_,
-  foldRight_: _api.foldRight_
-});
+const Foldable = {
+  foldLeft: _api2.foldLeft_,
+  foldRight: _api2.foldRight_
+};
 exports.Foldable = Foldable;
-const Filterable = /*#__PURE__*/tsplus_module_6.mkFilterable({
-  map_: _api.map_,
-  filter_: _api.filter_,
-  filterMap_: _api.filterMap_,
-  partition_: _api.partition_,
-  partitionMap_: _api.partitionMap_
-});
+const Filterable = { ...Functor,
+  filter: _api2.filter_,
+  filterMap: _api2.filterMap_,
+  partition: _api2.partition_,
+  partitionMap: _api2.partitionMap_
+};
+/**
+ * @tsplus derive fncts.Guard[fncts.Maybe]<_> 10
+ */
+
 exports.Filterable = Filterable;
+
+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
+ */
+
+
+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.cjs.map

package/_cjs/data/Maybe/instances.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"instances.cjs","mappings":";;;;;;;;;;;;;;;;;;;AAAA;;AACA;;AAYA;;;;;;AASO,MAAMA,OAAO,gBAAsBC,0BAAU;EAAEC,IAAI,EAAJA;AAAF,CAAV,CAAnC;;AAEA,MAAMC,KAAK,gBAAoBC,wBAAQ;EAAEF,IAAI,EAAJA,SAAF;EAAQG,GAAG,EAAHA,QAAR;EAAaC,QAAQ,EAARA;AAAb,CAAR,CAA/B;;AAEA,MAAMC,WAAW,gBAA0BC,8BAAc;EAC9DN,IAAI,EAAJA,SAD8D;EAE9DG,GAAG,EAAHA,QAF8D;EAG9DC,QAAQ,EAARA,aAH8D;EAI9DG,IAAI,EAAEC;AAJwD,CAAd,CAA3C;;AAOA,MAAMC,KAAK,gBAAoBC,wBAAQ;EAC5CV,IAAI,EAAJA,SAD4C;EAE5CG,GAAG,EAAHA,QAF4C;EAG5CC,QAAQ,EAARA,aAH4C;EAI5CG,IAAI,EAAEC,kBAJsC;EAK5CG,QAAQ,EAAEA;AALkC,CAAR,CAA/B;;AAQA,MAAMC,QAAQ,gBAAuBC,2BAAW;EACrDC,SAAS,EAATA,cADqD;EAErDC,UAAU,EAAVA;AAFqD,CAAX,CAArC;;AAKA,MAAMC,UAAU,gBAAyBC,6BAAa;EAC3DjB,IAAI,EAAJA,SAD2D;EAE3DkB,OAAO,EAAPA,YAF2D;EAG3DC,UAAU,EAAVA,eAH2D;EAI3DC,UAAU,EAAVA,eAJ2D;EAK3DC,aAAa,EAAbA;AAL2D,CAAb,CAAzC","names":["Functor","tsplus_module_1","map_","Apply","tsplus_module_2","ap_","zipWith_","Applicative","tsplus_module_3","pure","just","Monad","tsplus_module_4","flatMap_","Foldable","tsplus_module_5","foldLeft_","foldRight_","Filterable","tsplus_module_6","filter_","filterMap_","partition_","partitionMap_"],"sourceRoot":"","sources":["../../../_src/data/Maybe/instances.ts"],"sourcesContent":[null]}
+{"version":3,"file":"instances.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;AAKA;;AAYA;;;;;;AAEO,MAAMA,OAAO,GAAsB;EAAEC,GAAG,EAAEC;AAAP,CAAnC;;AAEA,MAAMC,KAAK,GAAoB,EAAE,GAAGH,OAAL;EAAcI,GAAG,EAAEC,UAAnB;EAAyBC,OAAO,EAAEC;AAAlC,CAA/B;;AAEA,MAAMC,WAAW,GAA0B,EAChD,GAAGL,KAD6C;EAEhDM,IAAI,EAAEC;AAF0C,CAA3C;;AAKA,MAAMC,KAAK,GAAoB,EACpC,GAAGH,WADiC;EAEpCI,OAAO,EAAEC;AAF2B,CAA/B;;AAKA,MAAMC,QAAQ,GAAuB;EAC1CC,QAAQ,EAAEC,eADgC;EAE1CC,SAAS,EAAEC;AAF+B,CAArC;;AAKA,MAAMC,UAAU,GAAyB,EAC9C,GAAGnB,OAD2C;EAE9CoB,MAAM,EAAEC,aAFsC;EAG9CC,SAAS,EAAEC,gBAHmC;EAI9CC,SAAS,EAAEC,gBAJmC;EAK9CC,YAAY,EAAEC;AALgC,CAAzC;AAQP;;;;;;AAGM,SAAUC,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;;;;;AAGM,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":["Functor","map","map_","Apply","zip","zip_","zipWith","zipWith_","Applicative","pure","just","Monad","flatMap","flatMap_","Foldable","foldLeft","foldLeft_","foldRight","foldRight_","Filterable","filter","filter_","filterMap","filterMap_","partition","partition_","partitionMap","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/_cjs/data/Newtype.cjs

@@ -5,7 +5,9 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.newtype = exports.Newtype = void 0;
 
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/function/api"));
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/typelevel/HKT"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/function/api"));
 
 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); }
 
@@ -19,8 +21,8 @@ const Newtype = {};
 exports.Newtype = Newtype;
 
 const newtype = () => ({
-  get: tsplus_module_1.unsafeCoerce,
-  reverseGet: tsplus_module_1.unsafeCoerce
+  get: tsplus_module_2.unsafeCoerce,
+  reverseGet: tsplus_module_2.unsafeCoerce
 });
 
 exports.newtype = newtype;

package/_cjs/data/Newtype.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"Newtype.cjs","mappings":";;;;;;;;;;;;;AAkBO,MAAMA,OAAO,GAAe,EAA5B;AAyCP;;;;;;AAGO,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.cjs","mappings":";;;;;;;;;;;;;;;AAiBO,MAAMA,OAAO,GAAe,EAA5B;AAqBP;;;;;;AAGO,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/_cjs/data/Patch/api.cjs

@@ -116,7 +116,7 @@ const OrdEnvironmentMap = /*#__PURE__*/tsplus_module_5.contramap(tsplus_module_4
  */
 
 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 _Patch.AddService(newService, tag))], ([oldService, oldIndex]) => {
     if (oldService === newService && oldIndex === newIndex) {
       return [tsplus_module_6.remove_(map, tag), patch];

package/_cjs/data/Patch/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AACA;;AAEA;;;;;;MAsCgBA,OAAO;;MA+BPC,KAAK;;;AAjErB;;;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;;;;;AAGM,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,IAAIC,oBAAJ,CAAYF,IAAZ,EAAkBC,IAAlB,CAAP;AACD;;AAED,MAAME,iBAAiB,gBAAGC,+CAAsBC,CAAD,IAA4DA,CAAC,CAAC,CAAD,CAAD,CAAK,CAAL,CAAjF,CAA1B;AAEA;;;;AAGM,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,EAAkBf,KAAlB,IAA2BgB,iCAC/B,+BAACR,QAAQ,CAACI,GAAV,GAA6BK,SAA7B,CAD+B,EAE/B,CAAC,CAACL,GAAD,EAAMZ,KAAN,CAAD,EAAe,CAACN,GAAD,EAAM,CAACwB,UAAD,EAAaC,QAAb,CAAN,CAAf,KACEC,iDAAQ1B,GAAR,GACE,MAAM,CAACiB,6BAAWjB,GAAX,CAAD,EAAkB2B,iBAAc,IAAIC,iBAAJ,CAAeJ,UAAf,EAA2BxB,GAA3B,CAAd,CAAlB,CADR,EAEE,CAAC,CAAC6B,UAAD,EAAaC,QAAb,CAAD,KAA2B;IACzB,IAAID,UAAU,KAAKL,UAAf,IAA6BM,QAAQ,KAAKL,QAA9C,EAAwD;MACtD,OAAO,CAACR,6BAAWjB,GAAX,CAAD,EAAkBM,KAAlB,CAAP;IACD,CAFD,MAEO;MACL,OAAO,CAACW,6BAAWjB,GAAX,CAAD,EAAkB2B,iBAAc,IAAII,oBAAJ,CAAmBnB,CAAD,IAAYY,UAA9B,EAA0CxB,GAA1C,CAAd,CAAlB,CAAP;IACD;EACF,CARH,CAH6B,CAAjC;EAcA,OAAOiB,oDAAkCX,KAAlC,EAAyC,CAACN,GAAD,EAAMM,KAAN,KAAgBqB,iBAAc,IAAIK,oBAAJ,CAAkBhC,GAAlB,CAAd,CAAzD,CAAP;AACD;AAED;;;;;AAGA;EACE,OAAO,IAAIiC,kBAAJ,EAAP;AACD","names":["compose","empty","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","Compose","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","AddService","oldService","oldIndex","UpdateService","RemoveService","Empty"],"sourceRoot":"","sources":["../../../_src/data/Patch/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AACA;;AAEA;;;;;;MAsCgBA,OAAO;;MA+BPC,KAAK;;;AAjErB;;;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;;;;;AAGM,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,IAAIC,oBAAJ,CAAYF,IAAZ,EAAkBC,IAAlB,CAAP;AACD;;AAED,MAAME,iBAAiB,gBAAGC,+CAAsBC,CAAD,IAA4DA,CAAC,CAAC,CAAD,CAAD,CAAK,CAAL,CAAjF,CAA1B;AAEA;;;;AAGM,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,EAAkBf,KAAlB,IAA2BgB,iCAC/B,+BAACR,QAAQ,CAACI,GAAV,GAA6BK,SAA7B,CAD+B,EAE/B,CAAC,CAACL,GAAD,EAAMZ,KAAN,CAAD,EAAe,CAACN,GAAD,EAAM,CAACwB,UAAD,EAAaC,QAAb,CAAN,CAAf,KACEC,iDAAQ1B,GAAR,GACE,MAAM,CAACiB,6BAAWjB,GAAX,CAAD,EAAkB2B,iBAAc,IAAIC,iBAAJ,CAAeJ,UAAf,EAA2BxB,GAA3B,CAAd,CAAlB,CADR,EAEE,CAAC,CAAC6B,UAAD,EAAaC,QAAb,CAAD,KAA2B;IACzB,IAAID,UAAU,KAAKL,UAAf,IAA6BM,QAAQ,KAAKL,QAA9C,EAAwD;MACtD,OAAO,CAACR,6BAAWjB,GAAX,CAAD,EAAkBM,KAAlB,CAAP;IACD,CAFD,MAEO;MACL,OAAO,CAACW,6BAAWjB,GAAX,CAAD,EAAkB2B,iBAAc,IAAII,oBAAJ,CAAmBnB,CAAD,IAAYY,UAA9B,EAA0CxB,GAA1C,CAAd,CAAlB,CAAP;IACD;EACF,CARH,CAH6B,CAAjC;EAcA,OAAOiB,oDAAkCX,KAAlC,EAAyC,CAACN,GAAD,EAAMM,KAAN,KAAgBqB,iBAAc,IAAIK,oBAAJ,CAAkBhC,GAAlB,CAAd,CAAzD,CAAP;AACD;AAED;;;;;AAGA;EACE,OAAO,IAAIiC,kBAAJ,EAAP;AACD","names":["compose","empty","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","Compose","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","AddService","oldService","oldIndex","UpdateService","RemoveService","Empty"],"sourceRoot":"","sources":["../../../_src/data/Patch/api.ts"],"sourcesContent":[null]}

package/_cjs/data/Refinement/api.cjs

@@ -8,10 +8,6 @@ exports.contramap = contramap;
 exports.invert = invert;
 exports.or = or;
 
-/**
- * @tsplus fluent fncts.Refinement and
- * @tsplus operator fncts.Refinement &&
- */
 function and(self, that) {
   return a => self(a) && that(a);
 }

package/_cjs/data/Refinement/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;AAAA;;;;AAIM,SAAUA,GAAV,CAA2CC,IAA3C,EAAmEC,IAAnE,EAAyF;EAC7F,OAAQC,CAAD,IAAeF,IAAI,CAACE,CAAD,CAAJ,IAAWD,IAAI,CAACC,CAAD,CAArC;AACD;AAED;;;;;AAGM,SAAUC,SAAV,CAAiDH,IAAjD,EAAyEI,CAAzE,EAAuF;EAC3F,OAAQC,CAAD,IAAeL,IAAI,CAACI,CAAC,CAACC,CAAD,CAAF,CAA1B;AACD;AAED;;;;;;AAIM,SAAUC,EAAV,CAA0CN,IAA1C,EAAkEC,IAAlE,EAAwF;EAC5F,OAAQC,CAAD,IAAmBF,IAAI,CAACE,CAAD,CAAJ,IAAWD,IAAI,CAACC,CAAD,CAAzC;AACD;AAED;;;;;AAGM,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.cjs","mappings":";;;;;;;;;;AAMM,SAAUA,GAAV,CAA8BC,IAA9B,EAAsDC,IAAtD,EAAwE;EAC5E,OAAQC,CAAD,IAAeF,IAAI,CAACE,CAAD,CAAJ,IAAWD,IAAI,CAACC,CAAD,CAArC;AACD;AAED;;;;;AAGM,SAAUC,SAAV,CAAiDH,IAAjD,EAAyEI,CAAzE,EAAuF;EAC3F,OAAQC,CAAD,IAAeL,IAAI,CAACI,CAAC,CAACC,CAAD,CAAF,CAA1B;AACD;AAED;;;;;;AAIM,SAAUC,EAAV,CAA0CN,IAA1C,EAAkEC,IAAlE,EAAwF;EAC5F,OAAQC,CAAD,IAAmBF,IAAI,CAACE,CAAD,CAAJ,IAAWD,IAAI,CAACC,CAAD,CAAzC;AACD;AAED;;;;;AAGM,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/_cjs/data/Struct/definition.cjs

@@ -5,12 +5,14 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.Struct = void 0;
 
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Newtype"));
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/typelevel/HKT"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Newtype"));
 
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
 
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
 
-const Struct = /*#__PURE__*/tsplus_module_1.newtype();
+const Struct = /*#__PURE__*/tsplus_module_2.newtype();
 exports.Struct = Struct;
 //# sourceMappingURL=definition.cjs.map