@fncts/base 0.0.3 → 0.0.4

package/_cjs/data/Either/api.cjs

@@ -13,7 +13,6 @@ var _exportNames = {
   foldLeft_: true,
   foldRight_: true,
   foldMap_: true,
-  foldMapSelf: true,
   getLeft: true,
   getRight: true,
   getOrElse_: true,
@@ -24,22 +23,23 @@ var _exportNames = {
   mapLeft_: true,
   merge: true,
   orElse_: true,
-  sequence: true,
-  sequenceSelf: true,
   swap: true,
   traverse_: true,
-  traverse: true,
-  traverseSelf: true,
-  zipWith_: true
+  zipWith_: true,
+  filterMap: true,
+  filter: true,
+  partitionMap: true,
+  partition: true
 };
 exports.ap_ = ap_;
 exports.bimap_ = bimap_;
 exports.catchAll_ = void 0;
 exports.catchJust_ = catchJust_;
 exports.catchMap_ = catchMap_;
+exports.filter = filter;
+exports.filterMap = filterMap;
 exports.flatMap_ = flatMap_;
 exports.foldLeft_ = foldLeft_;
-exports.foldMapSelf = foldMapSelf;
 exports.foldMap_ = foldMap_;
 exports.foldRight_ = foldRight_;
 exports.getLeft = getLeft;
@@ -52,9 +52,10 @@ exports.mapLeft_ = mapLeft_;
 exports.map_ = map_;
 exports.merge = merge;
 exports.orElse_ = orElse_;
-exports.sequenceSelf = exports.sequence = void 0;
+exports.partition = partition;
+exports.partitionMap = partitionMap;
 exports.swap = swap;
-exports.traverse_ = exports.traverseSelf = exports.traverse = void 0;
+exports.traverse_ = void 0;
 exports.zipWith_ = zipWith_;
 
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/constructors"));
@@ -65,7 +66,9 @@ var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
 
 var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
 
-var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/function/api"));
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Functor"));
+
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
 
 var _predicates = /*#__PURE__*/require("../../util/predicates.cjs");
 
@@ -112,6 +115,8 @@ exports.catchAll_ = catchAll_;
  * @tsplus fluent fncts.Either ap
  */
 function ap_(self, fa) {
+  void 0;
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? self : fa._tag === "Left"
@@ -124,6 +129,7 @@ function ap_(self, fa) {
 
 
 function bimap_(self, f, g) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? tsplus_module_1.left(f(self.left)) : tsplus_module_1.right(g(self.right));
@@ -134,6 +140,7 @@ function bimap_(self, f, g) {
 
 
 function catchAll_1(self, f) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? f(self.left) : self;
@@ -160,6 +167,7 @@ function catchMap_(self, f) {
 
 
 function flatMap_(self, f) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? self : f(self.right);
@@ -170,6 +178,7 @@ function flatMap_(self, f) {
 
 
 function foldLeft_(self, b, f) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? b : f(b, self.right);
@@ -180,28 +189,24 @@ function foldLeft_(self, b, f) {
 
 
 function foldRight_(self, b, f) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? b : f(self.right, b);
 }
 /**
- * @constrained
+ * @tsplus fluent fncts.Either foldMap
  */
 
 
-function foldMap_(M) {
-  return (self, f) => self._tag === "Left"
+function foldMap_(self, f,
+/** @tsplus auto */
+M) {
+  void 0;
+  return self._tag === "Left"
   /* EitherTag.Left */
   ? M.nat : f(self.right);
 }
-/**
- * @tsplus getter fncts.Either foldMap
- */
-
-
-function foldMapSelf(self) {
-  return M => f => foldMap_(M)(self, f);
-}
 /**
  * @tsplus getter fncts.Either getLeft
  */
@@ -241,6 +246,7 @@ function isEither(u) {
 
 
 function isLeft(self) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ;
@@ -252,6 +258,7 @@ function isLeft(self) {
 
 
 function isRight(self) {
+  void 0;
   return self._tag === "Right"
   /* EitherTag.Right */
   ;
@@ -262,6 +269,7 @@ function isRight(self) {
 
 
 function map_(self, f) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? self : tsplus_module_1.right(f(self.right));
@@ -272,6 +280,7 @@ function map_(self, f) {
 
 
 function mapLeft_(self, f) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? tsplus_module_1.left(f(self.left)) : self;
@@ -290,54 +299,108 @@ function merge(self) {
 
 
 function orElse_(self, that) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
   ? that() : self;
 }
-
-const sequence = A => self => traverse_(A)(self, _function.identity);
 /**
- * @tsplus getter fncts.Either sequence
+ * @tsplus getter fncts.Either swap
  */
 
 
-exports.sequence = sequence;
-
-const sequenceSelf = self => A => traverse_(A)(self, _function.identity);
+function swap(self) {
+  void 0;
+  return self._tag === "Left"
+  /* EitherTag.Left */
+  ? tsplus_module_1.right(self.left) : tsplus_module_1.left(self.right);
+}
 /**
- * @tsplus getter fncts.Either swap
+ * @tsplus fluent fncts.Either traverse
  */
 
 
-exports.sequenceSelf = sequenceSelf;
+const traverse_ = (self, f, A) => tsplus_module_4.match_(self, e => A.pure(tsplus_module_1.left(e)), a => tsplus_module_5.map(f(a), b => tsplus_module_1.right(b), A));
 
-function swap(self) {
+exports.traverse_ = traverse_;
+
+function zipWith_(self, fb, f) {
+  void 0;
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
-  ? tsplus_module_1.right(self.left) : tsplus_module_1.left(self.right);
+  ? self : fb._tag === "Left"
+  /* EitherTag.Left */
+  ? fb : tsplus_module_1.right(f(self.right, fb.right));
 }
+/**
+ * @tsplus fluent fncts.Either filterMap
+ */
 
-const traverse_ = A => (self, f) => tsplus_module_4.match_(self, e => A.pure(tsplus_module_1.left(e)), a => A.map(b => tsplus_module_1.right(b))(f(a)));
 
-exports.traverse_ = traverse_;
+function filterMap(self, f,
+/** @tsplus auto */
+M) {
+  void 0;
+  return self._tag === "Left"
+  /* EitherTag.Left */
+  ? self : tsplus_module_6.match_(f(self.right), () => tsplus_module_1.left(M.nat), b => tsplus_module_1.right(b));
+}
+/**
+ * @tsplus fluent fncts.Either filter
+ */
+
 
-const traverse = A => f => self => traverse_(A)(self, f);
+function filter(self, f,
+/** @tsplus auto */
+M) {
+  void 0;
+  return self._tag === "Left"
+  /* EitherTag.Left */
+  ? self : f(self.right) ? self : tsplus_module_1.left(M.nat);
+}
 /**
- * @tsplus getter fncts.Either traverse
+ * @tsplus fluent fncts.Either partitionMap
  */
 
 
-exports.traverse = traverse;
+function partitionMap(self, f,
+/** @tsplus auto */
+M) {
+  void 0;
 
-const traverseSelf = self => A => f => traverse_(A)(self, f);
+  if (self._tag === "Left"
+  /* EitherTag.Left */
+  ) {
+    return [self, self];
+  }
+
+  const fb = f(self.right);
+  void 0;
+
+  switch (fb._tag) {
+    case "Left"
+    /* EitherTag.Left */
+    :
+      return [tsplus_module_1.right(fb.left), tsplus_module_1.left(M.nat)];
+
+    case "Right"
+    /* EitherTag.Right */
+    :
+      return [tsplus_module_1.left(M.nat), fb];
+  }
+}
+/**
+ * @tsplus fluent fncts.Either partition
+ */
 
-exports.traverseSelf = traverseSelf;
 
-function zipWith_(self, fb, f) {
+function partition(self, p,
+/** @tsplus auto */
+M) {
+  void 0;
   return self._tag === "Left"
   /* EitherTag.Left */
-  ? self : fb._tag === "Left"
-  /* EitherTag.Left */
-  ? fb : tsplus_module_1.right(f(self.right, fb.right));
+  ? [self, self] : p(self.right) ? [tsplus_module_1.left(M.nat), self] : [self, tsplus_module_1.left(M.nat)];
 } // codegen:start { preset: barrel, include: api/*.ts }
 //# sourceMappingURL=api.cjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGA;;AACA;;AACA;;AAgMA;;AAAA;EAAA;EAAA;EAAA;EAAA;IAAA;IAAA;MAAA;IAAA;EAAA;AAAA;;AACA;;AAAA;EAAA;EAAA;EAAA;EAAA;IAAA;IAAA;MAAA;IAAA;EAAA;AAAA;;;;;;MA9KgBA,SAAS;;;AAjBzB;;;AAGM,SAAUC,GAAV,CAA4BC,IAA5B,EAA2DC,EAA3D,EAA4E;EAChF,OAAOD,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsCC,EAAE,CAACC,IAAH,KAAO;EAAA;EAAP,EAA6BD,EAA7B,GAAkCE,sBAAMH,IAAI,CAACI,KAAL,CAAWH,EAAE,CAACG,KAAd,CAAN,CAA/E;AACD;AAED;;;;;AAGM,SAAUC,MAAV,CAA+BL,IAA/B,EAAoDM,CAApD,EAAsEC,CAAtE,EAAoF;EACxF,OAAOP,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BC,qBAAKG,CAAC,CAACN,IAAI,CAACQ,IAAN,CAAN,CAA/B,GAAoDL,sBAAMI,CAAC,CAACP,IAAI,CAACI,KAAN,CAAP,CAA3D;AACD;AAED;;;;;AAGA,oBAAwCJ,IAAxC,EAA6DM,CAA7D,EAAwF;EACtF,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BI,CAAC,CAACN,IAAI,CAACQ,IAAN,CAAhC,GAA8CR,IAArD;AACD;AAED;;;;;AAGM,SAAUS,UAAV,CACJT,IADI,EAEJM,CAFI,EAE8B;EAElC,OAAOI,iBAAeC,CAAD,IAA+BC,4BAAC,CAACD,CAAD,CAAD,EAAI,MAAWX,IAAf,CAA7C,CAAP;AACD;AAED;;;;;AAGM,SAAUa,SAAV,CAA6Bb,IAA7B,EAAiDM,CAAjD,EAA+D;EACnE,OAAOI,iBAAeC,CAAD,IAAOR,sBAAMG,CAAC,CAACK,CAAD,CAAP,CAArB,CAAP;AACD;AAED;;;;;AAGM,SAAUG,QAAV,CAAiCd,IAAjC,EAAsDM,CAAtD,EAAgF;EACpF,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsCM,CAAC,CAACN,IAAI,CAACI,KAAN,CAA9C;AACD;AAED;;;;;AAGM,SAAUW,SAAV,CAA6Bf,IAA7B,EAAiDgB,CAAjD,EAAuDV,CAAvD,EAA2E;EAC/E,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+Bc,CAA/B,GAAmCV,CAAC,CAACU,CAAD,EAAIhB,IAAI,CAACI,KAAT,CAA3C;AACD;AAED;;;;;AAGM,SAAUa,UAAV,CAA8BjB,IAA9B,EAAkDgB,CAAlD,EAAwDV,CAAxD,EAA4E;EAChF,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+Bc,CAA/B,GAAmCV,CAAC,CAACN,IAAI,CAACI,KAAN,EAAaY,CAAb,CAA3C;AACD;AAED;;;;;AAGM,SAAUE,QAAV,CAAsBC,CAAtB,EAAoC;EACxC,OAAO,CAAOnB,IAAP,EAA2BM,CAA3B,KAAkDN,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BiB,CAAC,CAACC,GAAjC,GAAuCd,CAAC,CAACN,IAAI,CAACI,KAAN,CAAjG;AACD;AAED;;;;;AAGM,SAAUiB,WAAV,CAA4BrB,IAA5B,EAA8C;EAClD,OAAWmB,CAAJ,IACJb,CAAD,IACEY,QAAQ,CAACC,CAAD,CAAR,CAAYnB,IAAZ,EAAkBM,CAAlB,CAFJ;AAGD;AAED;;;;;AAGM,SAAUgB,OAAV,CAAwBtB,IAAxB,EAA0C;EAC9C,OAAOuB,6BACJZ,CAAD,IAAOa,qBAAKb,CAAL,CADF,EAEJc,EAAD,IAAQD,yBAFH,CAAP;AAID;AAED;;;;;AAGM,SAAUE,QAAV,CAAyB1B,IAAzB,EAA2C;EAC/C,OAAOuB,6BACJI,EAAD,IAAQH,yBADH,EAEJI,CAAD,IAAOJ,qBAAKI,CAAL,CAFF,CAAP;AAID;AAED;;;;;AAGM,SAAUC,UAAV,CAA8B7B,IAA9B,EAAkD8B,MAAlD,EAAqE;EACzE,OAAOP,6BAAWO,MAAX,EAAmBC,kBAAnB,CAAP;AACD;AAED;;;;;AAGM,SAAUC,QAAV,CAAmBC,CAAnB,EAA6B;EACjC,OAAO,2BAAUA,CAAV,EAAaC,wBAAb,CAAP;AACD;AAED;;;;;;AAIM,SAAUC,MAAV,CAAuBnC,IAAvB,EAAyC;EAC7C,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;;AAIM,SAAUkC,OAAV,CAAwBpC,IAAxB,EAA0C;EAC9C,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;AAGM,SAAUmC,IAAV,CAAwBrC,IAAxB,EAA4CM,CAA5C,EAA0D;EAC9D,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsCG,sBAAMG,CAAC,CAACN,IAAI,CAACI,KAAN,CAAP,CAA7C;AACD;AAED;;;;;AAGM,SAAUkC,QAAV,CAA8BtC,IAA9B,EAAmDM,CAAnD,EAAmE;EACvE,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BC,qBAAKG,CAAC,CAACN,IAAI,CAACQ,IAAN,CAAN,CAA/B,GAAoDR,IAA3D;AACD;AAED;;;;;AAGM,SAAUuC,KAAV,CAAsBvC,IAAtB,EAAwC;EAC5C,OAAOuB,6BAAWQ,kBAAX,EAAqBA,kBAArB,CAAP;AACD;AAED;;;;;AAGM,SAAUS,OAAV,CAAgCxC,IAAhC,EAAqDyC,IAArD,EAA8E;EAClF,OAAOzC,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BuC,IAAI,EAAnC,GAAwCzC,IAA/C;AACD;;AAEM,MAAM0C,QAAQ,GAAyBC,CAAD,IAAQ3C,IAAD,IAAU4C,SAAS,CAACD,CAAD,CAAT,CAAa3C,IAAb,EAAmB+B,kBAAnB,CAAvD;AAEP;;;;;;;AAGO,MAAMc,YAAY,GAA6B7C,IAAD,IAAW2C,CAAD,IAChDC,SAAS,CAACD,CAAD,CAAT,CAAa3C,IAAb,EAAgC+B,kBAAhC,CADR;AAGP;;;;;;;AAGM,SAAUe,IAAV,CAAqB9C,IAArB,EAAuC;EAC3C,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BC,sBAAMH,IAAI,CAACQ,IAAX,CAA/B,GAAkDL,qBAAKH,IAAI,CAACI,KAAV,CAAzD;AACD;;AAEM,MAAMwC,SAAS,GAA0BD,CAAD,IAAO,CAAC3C,IAAD,EAAOM,CAAP,KACpDiB,6BACGZ,CAAD,IAAOgC,CAAC,CAACI,IAAF,CAAO5C,qBAAKQ,CAAL,CAAP,CADT,EAEGiB,CAAD,IAAgBe,CAAC,CAACK,GAAF,CAAOhC,CAAD,IAAOb,sBAAMa,CAAN,CAAb,EAATV,CAAC,CAACsB,CAAD,CAAQ,CAFlB,CADK;;;;AAMA,MAAMqB,QAAQ,GAAyBN,CAAD,IAAQrC,CAAD,IAAQN,IAAD,IAAU4C,SAAS,CAACD,CAAD,CAAT,CAAa3C,IAAb,EAAmBM,CAAnB,CAA9D;AAEP;;;;;;;AAGO,MAAM4C,YAAY,GAA6BlD,IAAD,IAAW2C,CAAD,IAAQrC,CAAD,IAAOsC,SAAS,CAACD,CAAD,CAAT,CAAa3C,IAAb,EAAmBM,CAAnB,CAAtE;;;;AAED,SAAU6C,QAAV,CACJnD,IADI,EAEJoD,EAFI,EAGJ9C,CAHI,EAGgB;EAEpB,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsCoD,EAAE,CAAClD,IAAH,KAAO;EAAA;EAAP,EAA6BkD,EAA7B,GAAkCjD,sBAAMG,CAAC,CAACN,IAAI,CAACI,KAAN,EAAagD,EAAE,CAAChD,KAAhB,CAAP,CAA/E;AACD,C,CAED","names":["catchAll_","ap_","self","fa","_tag","tsplus_module_1","right","bimap_","f","g","left","catchJust_","catchAll_1","e","tsplus_module_2","catchMap_","flatMap_","foldLeft_","b","foldRight_","foldMap_","M","nat","foldMapSelf","getLeft","tsplus_module_4","tsplus_module_3","_a","getRight","_e","a","getOrElse_","orElse","identity","isEither","u","EitherTypeId","isLeft","isRight","map_","mapLeft_","merge","orElse_","that","sequence","A","traverse_","sequenceSelf","swap","pure","map","traverse","traverseSelf","zipWith_","fb"],"sourceRoot":"","sources":["../../../_src/data/Either/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGA;;AACA;;AAEA;;AAsPA;;AAAA;EAAA;EAAA;EAAA;EAAA;IAAA;IAAA;MAAA;IAAA;EAAA;AAAA;;AACA;;AAAA;EAAA;EAAA;EAAA;EAAA;IAAA;IAAA;MAAA;IAAA;EAAA;AAAA;;;;;;MAjOgBA,SAAS;;;AApBzB;;;AAGM,SAAUC,GAAV,CAA4BC,IAA5B,EAA2DC,EAA3D,EAA4E;EAChF;EACA;EACA,OAAOD,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsCC,EAAE,CAACC,IAAH,KAAO;EAAA;EAAP,EAA6BD,EAA7B,GAAkCE,sBAAMH,IAAI,CAACI,KAAL,CAAWH,EAAE,CAACG,KAAd,CAAN,CAA/E;AACD;AAED;;;;;AAGM,SAAUC,MAAV,CAA+BL,IAA/B,EAAoDM,CAApD,EAAsEC,CAAtE,EAAoF;EACxF;EACA,OAAOP,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BC,qBAAKG,CAAC,CAACN,IAAI,CAACQ,IAAN,CAAN,CAA/B,GAAoDL,sBAAMI,CAAC,CAACP,IAAI,CAACI,KAAN,CAAP,CAA3D;AACD;AAED;;;;;AAGA,oBAAwCJ,IAAxC,EAA6DM,CAA7D,EAAwF;EACtF;EACA,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BI,CAAC,CAACN,IAAI,CAACQ,IAAN,CAAhC,GAA8CR,IAArD;AACD;AAED;;;;;AAGM,SAAUS,UAAV,CACJT,IADI,EAEJM,CAFI,EAE8B;EAElC,OAAOI,iBAAeC,CAAD,IAA+BC,4BAAC,CAACD,CAAD,CAAD,EAAI,MAAWX,IAAf,CAA7C,CAAP;AACD;AAED;;;;;AAGM,SAAUa,SAAV,CAA6Bb,IAA7B,EAAiDM,CAAjD,EAA+D;EACnE,OAAOI,iBAAeC,CAAD,IAAOR,sBAAMG,CAAC,CAACK,CAAD,CAAP,CAArB,CAAP;AACD;AAED;;;;;AAGM,SAAUG,QAAV,CAAiCd,IAAjC,EAAsDM,CAAtD,EAAgF;EACpF;EACA,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsCM,CAAC,CAACN,IAAI,CAACI,KAAN,CAA9C;AACD;AAED;;;;;AAGM,SAAUW,SAAV,CAA6Bf,IAA7B,EAAiDgB,CAAjD,EAAuDV,CAAvD,EAA2E;EAC/E;EACA,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+Bc,CAA/B,GAAmCV,CAAC,CAACU,CAAD,EAAIhB,IAAI,CAACI,KAAT,CAA3C;AACD;AAED;;;;;AAGM,SAAUa,UAAV,CAA8BjB,IAA9B,EAAkDgB,CAAlD,EAAwDV,CAAxD,EAA4E;EAChF;EACA,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+Bc,CAA/B,GAAmCV,CAAC,CAACN,IAAI,CAACI,KAAN,EAAaY,CAAb,CAA3C;AACD;AAED;;;;;AAGM,SAAUE,QAAV,CAA4BlB,IAA5B,EAAgDM,CAAhD;AAAgE;AAAoBa,CAApF,EAAkG;EACtG;EACA,OAAOnB,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BiB,CAAC,CAACC,GAAjC,GAAuCd,CAAC,CAACN,IAAI,CAACI,KAAN,CAA/C;AACD;AAED;;;;;AAGM,SAAUiB,OAAV,CAAwBrB,IAAxB,EAA0C;EAC9C,OAAOsB,6BACJX,CAAD,IAAOY,qBAAKZ,CAAL,CADF,EAEJa,EAAD,IAAQD,yBAFH,CAAP;AAID;AAED;;;;;AAGM,SAAUE,QAAV,CAAyBzB,IAAzB,EAA2C;EAC/C,OAAOsB,6BACJI,EAAD,IAAQH,yBADH,EAEJI,CAAD,IAAOJ,qBAAKI,CAAL,CAFF,CAAP;AAID;AAED;;;;;AAGM,SAAUC,UAAV,CAA8B5B,IAA9B,EAAkD6B,MAAlD,EAAqE;EACzE,OAAOP,6BAAWO,MAAX,EAAmBC,kBAAnB,CAAP;AACD;AAED;;;;;AAGM,SAAUC,QAAV,CAAmBC,CAAnB,EAA6B;EACjC,OAAO,2BAAUA,CAAV,EAAaC,wBAAb,CAAP;AACD;AAED;;;;;;AAIM,SAAUC,MAAV,CAAuBlC,IAAvB,EAAyC;EAC7C;EACA,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;;AAIM,SAAUiC,OAAV,CAAwBnC,IAAxB,EAA0C;EAC9C;EACA,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;AAGM,SAAUkC,IAAV,CAAwBpC,IAAxB,EAA4CM,CAA5C,EAA0D;EAC9D;EACA,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsCG,sBAAMG,CAAC,CAACN,IAAI,CAACI,KAAN,CAAP,CAA7C;AACD;AAED;;;;;AAGM,SAAUiC,QAAV,CAA8BrC,IAA9B,EAAmDM,CAAnD,EAAmE;EACvE;EACA,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BC,qBAAKG,CAAC,CAACN,IAAI,CAACQ,IAAN,CAAN,CAA/B,GAAoDR,IAA3D;AACD;AAED;;;;;AAGM,SAAUsC,KAAV,CAAsBtC,IAAtB,EAAwC;EAC5C,OAAOsB,6BAAWQ,kBAAX,EAAqBA,kBAArB,CAAP;AACD;AAED;;;;;AAGM,SAAUS,OAAV,CAAgCvC,IAAhC,EAAqDwC,IAArD,EAA8E;EAClF;EACA,OAAOxC,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BsC,IAAI,EAAnC,GAAwCxC,IAA/C;AACD;AAED;;;;;AAGM,SAAUyC,IAAV,CAAqBzC,IAArB,EAAuC;EAC3C;EACA,OAAOA,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BC,sBAAMH,IAAI,CAACQ,IAAX,CAA/B,GAAkDL,qBAAKH,IAAI,CAACI,KAAV,CAAzD;AACD;AAED;;;;;AAGO,MAAMsC,SAAS,GAAuC,CAAC1C,IAAD,EAAOM,CAAP,EAAUqC,CAAV,KAC3DrB,6BACGX,CAAD,IAAOgC,CAAC,CAACC,IAAF,CAAOzC,qBAAKQ,CAAL,CAAP,CADT,EAEGgB,CAAD,IAAOkB,qBAAC,CAAClB,CAAD,CAAD,EAAUX,CAAD,IAAOb,sBAAMa,CAAN,CAAhB,EAA0B2B,CAA1B,CAFT,CADK;;;;AAMD,SAAUG,QAAV,CACJ9C,IADI,EAEJ+C,EAFI,EAGJzC,CAHI,EAGgB;EAEpB;EACA;EACA,OAAON,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsC+C,EAAE,CAAC7C,IAAH,KAAO;EAAA;EAAP,EAA6B6C,EAA7B,GAAkC5C,sBAAMG,CAAC,CAACN,IAAI,CAACI,KAAN,EAAa2C,EAAE,CAAC3C,KAAhB,CAAP,CAA/E;AACD;AAED;;;;;AAGM,SAAU4C,SAAV,CACJhD,IADI,EAEJM,CAFI;AAGJ;AAAoBa,CAHhB,EAG8B;EAElC;EACA,OAAOnB,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EACHF,IADG,GAEHiD,wBAAC,CAACjD,IAAI,CAACI,KAAN,CAAD,EACE,MAAMD,qBAAKgB,CAAC,CAACC,GAAP,CADR,EAEGJ,CAAD,IAAOb,sBAAMa,CAAN,CAFT,CAFJ;AAMD;AAED;;;;;AAGM,SAAUkC,MAAV,CAAuBlD,IAAvB,EAA2CM,CAA3C;AAA4D;AAAoBa,CAAhF,EAA8F;EAClG;EACA,OAAOnB,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+BF,IAA/B,GAAsCM,CAAC,CAACN,IAAI,CAACI,KAAN,CAAD,GAAgBJ,IAAhB,GAAuBG,qBAAKgB,CAAC,CAACC,GAAP,CAApE;AACD;AAED;;;;;AAGM,SAAU+B,YAAV,CACJnD,IADI,EAEJM,CAFI;AAGJ;AAAoBa,CAHhB,EAG8B;EAElC;;EACA,IAAInB,IAAI,CAACE,IAAL,KAAS;EAAA;EAAb,EAAkC;IAChC,OAAO,CAACF,IAAD,EAAOA,IAAP,CAAP;EACD;;EACD,MAAM+C,EAAE,GAAiBzC,CAAC,CAACN,IAAI,CAACI,KAAN,CAA1B;EACA;;EACA,QAAQ2C,EAAE,CAAC7C,IAAX;IACE;IAAA;IAAA;MACE,OAAO,CAACC,sBAAM4C,EAAE,CAACvC,IAAT,CAAD,EAAiBL,qBAAKgB,CAAC,CAACC,GAAP,CAAjB,CAAP;;IACF;IAAA;IAAA;MACE,OAAO,CAACjB,qBAAKgB,CAAC,CAACC,GAAP,CAAD,EAAc2B,EAAd,CAAP;EAJJ;AAMD;AAED;;;;;AAGM,SAAUK,SAAV,CACJpD,IADI,EAEJqD,CAFI;AAGJ;AAAoBlC,CAHhB,EAG8B;EAElC;EACA,OAAOnB,IAAI,CAACE,IAAL,KAAS;EAAA;EAAT,EAA+B,CAACF,IAAD,EAAOA,IAAP,CAA/B,GAA8CqD,CAAC,CAACrD,IAAI,CAACI,KAAN,CAAD,GAAgB,CAACD,qBAAKgB,CAAC,CAACC,GAAP,CAAD,EAAcpB,IAAd,CAAhB,GAAsC,CAACA,IAAD,EAAOG,qBAAKgB,CAAC,CAACC,GAAP,CAAP,CAA3F;AACD,C,CAED","names":["catchAll_","ap_","self","fa","_tag","tsplus_module_1","right","bimap_","f","g","left","catchJust_","catchAll_1","e","tsplus_module_2","catchMap_","flatMap_","foldLeft_","b","foldRight_","foldMap_","M","nat","getLeft","tsplus_module_4","tsplus_module_3","_a","getRight","_e","a","getOrElse_","orElse","identity","isEither","u","EitherTypeId","isLeft","isRight","map_","mapLeft_","merge","orElse_","that","swap","traverse_","A","pure","tsplus_module_5","zipWith_","fb","filterMap","tsplus_module_6","filter","partitionMap","partition","p"],"sourceRoot":"","sources":["../../../_src/data/Either/api.ts"],"sourcesContent":[null]}

package/_cjs/data/Either/definition.cjs

@@ -4,19 +4,41 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.Right = exports.Left = exports.EitherTypeId = exports.Either = void 0;
+exports.concrete = concrete;
 exports.unifyEither = unifyEither;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/typelevel/HKT"));
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
 const EitherTypeId = /*#__PURE__*/Symbol.for("fncts.base.data.Either");
 /**
- * @tsplus type fncts.Either.Left
- * @tsplus companion fncts.Either.LeftOps
+ * @tsplus type fncts.Either
+ * @tsplus companion fncts.EitherOps
  */
 
 exports.EitherTypeId = EitherTypeId;
 
-class Left {
+class Either {
+  constructor() {
+    this._typeId = EitherTypeId;
+  }
+
+}
+
+exports.Either = Either;
+tsplus_module_1.HKT.F, tsplus_module_1.HKT.E, tsplus_module_1.HKT.A, tsplus_module_1.HKT.T;
+/**
+ * @tsplus type fncts.Either.Left
+ * @tsplus companion fncts.Either.LeftOps
+ */
+
+class Left extends Either {
   constructor(left) {
+    super();
     this.left = left;
-    this._typeId = EitherTypeId;
     this._tag = "Left"
     /* EitherTag.Left */
     ;
@@ -31,26 +53,33 @@ class Left {
 
 exports.Left = Left;
 
-class Right {
+class Right extends Either {
   constructor(right) {
+    super();
     this.right = right;
-    this._typeId = EitherTypeId;
     this._tag = "Right"
     /* EitherTag.Right */
     ;
   }
 
 }
-
-exports.Right = Right;
-const Either = {};
 /**
  * @tsplus unify fncts.Either
  */
 
-exports.Either = Either;
+
+exports.Right = Right;
 
 function unifyEither(self) {
   return self;
 }
+/**
+ * @tsplus fluent fncts.Either concrete
+ * @tsplus static fncts.EitherOps concrete
+ * @tsplus macro remove
+ */
+
+
+function concrete(self) {//
+}
 //# sourceMappingURL=definition.cjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAKO,MAAMA,YAAY,gBAAGC,MAAM,CAACC,GAAP,CAAW,wBAAX,CAArB;AAGP;;;;;;;AAIM,MAAOC,IAAP,CAAW;EAGfC,YAAqBC,IAArB,EAA4B;IAAP;IAFZ,eAAwBL,YAAxB;IACA,YAAI;IAAA;IAAJ;EACuB;;AAHjB;AAMjB;;;;;;;;AAIM,MAAOM,KAAP,CAAY;EAGhBF,YAAqBG,KAArB,EAA6B;IAAR;IAFZ,eAAwBP,YAAxB;IACA,YAAI;IAAA;IAAJ;EACwB;;AAHjB;;;AAgBX,MAAMQ,MAAM,GAAc,EAA1B;AAEP;;;;;;AAGM,SAAUC,WAAV,CACJC,IADI,EACG;EAEP,OAAOA,IAAP;AACD","names":["EitherTypeId","Symbol","for","Left","constructor","left","Right","right","Either","unifyEither","self"],"sourceRoot":"","sources":["../../../_src/data/Either/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;;AAKO,MAAMA,YAAY,gBAAGC,MAAM,CAACC,GAAP,CAAW,wBAAX,CAArB;AAMP;;;;;;;AAIM,MAAOC,MAAP,CAAa;EAAnBC;IACW,eAAwBJ,YAAxB;EAKV;;AANkB;;;AAEPK,oBAAIC,CAAJ,EACAD,oBAAIE,CADJ,EAEAF,oBAAIG,CAFJ,EAGAH,oBAAII,CAHJ;AAcZ;;;;;AAIM,MAAOC,IAAP,SAAuBP,MAAvB,CAAuC;EAE3CC,YAAqBO,IAArB,EAA4B;IAC1B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJ0C;AAO7C;;;;;;;;AAIM,MAAOC,KAAP,SAAwBT,MAAxB,CAAwC;EAE5CC,YAAqBS,KAArB,EAA6B;IAC3B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJ2C;AAO9C;;;;;;;AAGM,SAAUC,WAAV,CACJC,IADI,EACG;EAEP,OAAOA,IAAP;AACD;AAED;;;;;;;AAKM,SAAUC,QAAV,CAAyBD,IAAzB,EAA2C,CAC/C;AACD","names":["EitherTypeId","Symbol","for","Either","constructor","tsplus_module_1","F","E","A","T","Left","left","Right","right","unifyEither","self","concrete"],"sourceRoot":"","sources":["../../../_src/data/Either/definition.ts"],"sourcesContent":[null]}

package/_cjs/data/Either/destructors.cjs

@@ -9,6 +9,8 @@ exports.match_ = match_;
  * @tsplus fluent fncts.Either match
  */
 function match_(self, left, right) {
+  void 0;
+
   switch (self._tag) {
     case "Left"
     /* EitherTag.Left */

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

@@ -1 +1 @@
-{"version":3,"file":"destructors.cjs","mappings":";;;;;;;AAEA;;;AAGM,SAAUA,MAAV,CAA6BC,IAA7B,EAAiDC,IAAjD,EAAoEC,KAApE,EAAsF;EAC1F,QAAQF,IAAI,CAACG,IAAb;IACE;IAAA;IAAA;MACE,OAAOF,IAAI,CAACD,IAAI,CAACC,IAAN,CAAX;;IACF;IAAA;IAAA;MACE,OAAOC,KAAK,CAACF,IAAI,CAACE,KAAN,CAAZ;EAJJ;AAMD","names":["match_","self","left","right","_tag"],"sourceRoot":"","sources":["../../../_src/data/Either/destructors.ts"],"sourcesContent":[null]}
+{"version":3,"file":"destructors.cjs","mappings":";;;;;;;AAEA;;;AAGM,SAAUA,MAAV,CAA6BC,IAA7B,EAAiDC,IAAjD,EAAoEC,KAApE,EAAsF;EAC1F;;EACA,QAAQF,IAAI,CAACG,IAAb;IACE;IAAA;IAAA;MACE,OAAOF,IAAI,CAACD,IAAI,CAACC,IAAN,CAAX;;IACF;IAAA;IAAA;MACE,OAAOC,KAAK,CAACF,IAAI,CAACE,KAAN,CAAZ;EAJJ;AAMD","names":["match_","self","left","right","_tag"],"sourceRoot":"","sources":["../../../_src/data/Either/destructors.ts"],"sourcesContent":[null]}

package/_cjs/data/Either/instances.cjs

@@ -3,83 +3,166 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports.getEq = getEq;
+exports.Functor = void 0;
+exports.deriveDecoder = deriveDecoder;
+exports.deriveEq = deriveEq;
+exports.deriveGuard = deriveGuard;
+exports.getEq = void 0;
 exports.getFilerable = getFilerable;
 
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
 
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Eq"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Eq/definition"));
 
 var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/constructors"));
 
 var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
 
-var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Filterable"));
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/api"));
 
-var P = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../../typeclass.cjs"));
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Guard/definition"));
+
+var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/json/EitherJson"));
+
+var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/These/api"));
 
-var _api = /*#__PURE__*/require("./api.cjs");
+var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Decoder/definition"));
+
+var _definition4 = /*#__PURE__*/require("@fncts/base/data/Either/definition");
+
+var P = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../../typeclass.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 getEq = getEq_1;
+exports.getEq = getEq;
+
+/**
+ * @tsplus implicit
+ */
+const Functor = {
+  map: tsplus_module_5.map_
+};
 /**
  * @tsplus static fncts.EitherOps getEq
  */
-function getEq(EE, EA) {
+
+exports.Functor = Functor;
+
+function getEq_1(EE, EA) {
   return tsplus_module_2.mkEq({
-    equals_: (x, y) => x === y || tsplus_module_1.match_(x, e1 => tsplus_module_1.match_(y, e2 => EE.equals_(e1, e2), () => false), a1 => tsplus_module_1.match_(y, () => false, a2 => EA.equals_(a1, a2)))
+    equals: (x, y) => x === y || tsplus_module_1.match_(x, e1 => tsplus_module_1.match_(y, e2 => EE.equals(e1, e2), () => false), a1 => tsplus_module_1.match_(y, () => false, a2 => EA.equals(a1, a2)))
   });
 }
 /**
- * @tsplus static fncts.EitherOps getEq
+ * @tsplus derive fncts.Eq[fncts.Either]<_> 10
  */
 
 
-function getFilerable(ME) {
-  const empty = tsplus_module_3.left(ME.nat);
+function deriveEq(...[left, right]) {
+  return getEq_1(left, right);
+}
+/**
+ * @tsplus static fncts.EitherOps getFilterable
+ */
 
-  const partitionMap_ = (fa, f) => {
-    if (fa._tag === "Left"
-    /* EitherTag.Left */
-    ) {
-      return [fa, fa];
-    }
 
-    const fb = f(fa.right);
+function getFilerable(
+/** @tsplus auto */
+ME) {
+  return { ...Functor,
+    partitionMap: (fa, f) => {
+      void 0;
+
+      if (fa._tag === "Left"
+      /* EitherTag.Left */
+      ) {
+        return [fa, fa];
+      }
+
+      const fb = f(fa.right);
+      void 0;
+
+      switch (fb._tag) {
+        case "Left"
+        /* EitherTag.Left */
+        :
+          return [tsplus_module_3.right(fb.left), tsplus_module_3.left(ME.nat)];
+
+        case "Right"
+        /* EitherTag.Right */
+        :
+          return [tsplus_module_3.left(ME.nat), fb];
+      }
+    },
+    filter: (fa, p) => {
+      void 0;
+
+      switch (fa._tag) {
+        case "Left"
+        /* EitherTag.Left */
+        :
+          return fa;
+
+        case "Right"
+        /* EitherTag.Right */
+        :
+          return p(fa.right) ? fa : tsplus_module_3.left(ME.nat);
+      }
+    },
+    filterMap: (fa, f) => {
+      void 0;
+
+      if (fa._tag === "Left"
+      /* EitherTag.Left */
+      ) {
+        return fa;
+      }
+
+      return tsplus_module_4.match_(f(fa.right), () => tsplus_module_3.left(ME.nat), b => tsplus_module_3.right(b));
+    },
+    partition: (fa, p) => {
+      void 0;
 
-    switch (fb._tag) {
-      case "Left"
+      if (fa._tag === "Left"
       /* EitherTag.Left */
-      :
-        return [tsplus_module_3.right(fb.left), empty];
+      ) {
+        return [fa, fa];
+      }
 
-      case "Right"
-      /* EitherTag.Right */
-      :
-        return [empty, fb];
+      return p(fa.right) ? [tsplus_module_3.left(ME.nat), fa] : [fa, tsplus_module_3.left(ME.nat)];
     }
   };
+}
+/**
+ * @tsplus derive fncts.Guard[fncts.Either]<_> 10
+ */
 
-  const partition_ = (fa, p) => fa._tag === "Left"
-  /* EitherTag.Left */
-  ? [fa, fa] : p(fa.right) ? [empty, fa] : [fa, empty];
 
-  const filterMap_ = (fa, f) => fa._tag === "Left"
-  /* EitherTag.Left */
-  ? fa : tsplus_module_4.match_(f(fa.right), () => empty, b => tsplus_module_3.right(b));
+function deriveGuard(...[left, right]) {
+  return tsplus_module_6.makeGuard(u => {
+    if (tsplus_module_5.isEither(u)) {
+      if (tsplus_module_5.isLeft(u)) {
+        return left.is(u.left);
+      }
 
-  const filter_ = (fa, p) => fa._tag === "Left"
-  /* EitherTag.Left */
-  ? fa : p(fa.right) ? fa : empty;
+      if (tsplus_module_5.isRight(u)) {
+        return right.is(u.right);
+      }
+    }
 
-  return tsplus_module_5.mkFilterable({
-    map_: _api.map_,
-    filter_,
-    filterMap_,
-    partition_,
-    partitionMap_
+    return false;
   });
 }
+/**
+ * @tsplus derive fncts.Decoder[fncts.Either]<_> 10
+ */
+
+
+function deriveDecoder(...[left, right]) {
+  const jsonDecoder = tsplus_module_7.getDecoder(left, right);
+  return tsplus_module_9.makeDecoder(u => tsplus_module_8.map(jsonDecoder.decode(u), result => result._tag === "Left" ? tsplus_module_3.left(result.left) : tsplus_module_3.right(result.right)), `Either<${left.label}, ${right.label}>`);
+}
 //# sourceMappingURL=instances.cjs.map