@fncts/base 0.0.1 → 0.0.4

package/_mjs/data/These/api.mjs

@@ -0,0 +1,262 @@
+import * as tsplus_module_1 from "@fncts/base/data/These/constructors";
+export const zipWith = zipWith_1;
+/**
+ * @tsplus fluent fncts.These isLeft
+ */
+
+export function isLeft(self) {
+  return self._tag === "Left"
+  /* TheseTag.Left */
+  ;
+}
+/**
+ * @tsplus fluent fncts.These isRight
+ */
+
+export function isRight(self) {
+  return self._tag === "Right"
+  /* TheseTag.Right */
+  ;
+}
+/**
+ * @tsplus fluent fncts.These isBoth
+ */
+
+export function isBoth(self) {
+  return self._tag === "Both"
+  /* TheseTag.Both */
+  ;
+}
+/**
+ * @tsplus fluent fncts.These map
+ */
+
+export function map(self, f) {
+  switch (self._tag) {
+    case "Left"
+    /* TheseTag.Left */
+    :
+      return self;
+
+    case "Right"
+    /* TheseTag.Right */
+    :
+      return tsplus_module_1.right(f(self.right));
+
+    case "Both"
+    /* TheseTag.Both */
+    :
+      return tsplus_module_1.both(self.left, f(self.right));
+  }
+}
+/**
+ * @tsplus fluent fncts.These mapLeft
+ */
+
+export function mapLeft(self, f) {
+  switch (self._tag) {
+    case "Left"
+    /* TheseTag.Left */
+    :
+      return tsplus_module_1.left(f(self.left));
+
+    case "Right"
+    /* TheseTag.Right */
+    :
+      return self;
+
+    case "Both"
+    /* TheseTag.Both */
+    :
+      return tsplus_module_1.both(f(self.left), self.right);
+  }
+}
+/**
+ * @tsplus fluent fncts.These bimap
+ */
+
+export function bimap(self, f, g) {
+  switch (self._tag) {
+    case "Left"
+    /* TheseTag.Left */
+    :
+      return tsplus_module_1.left(f(self.left));
+
+    case "Right"
+    /* TheseTag.Right */
+    :
+      return tsplus_module_1.right(g(self.right));
+
+    case "Both"
+    /* TheseTag.Both */
+    :
+      return tsplus_module_1.both(f(self.left), g(self.right));
+  }
+}
+/**
+ * @tsplus fluent fncts.These zipWith
+ */
+
+function zipWith_1(self, that, f,
+/** @tsplus auto */
+S) {
+  switch (self._tag) {
+    case "Left"
+    /* TheseTag.Left */
+    :
+      switch (that._tag) {
+        case "Left"
+        /* TheseTag.Left */
+        :
+          return tsplus_module_1.left(S.combine(self.left, that.left));
+
+        case "Right"
+        /* TheseTag.Right */
+        :
+          return self;
+
+        case "Both"
+        /* TheseTag.Both */
+        :
+          return tsplus_module_1.left(S.combine(self.left, that.left));
+      }
+
+    case "Right"
+    /* TheseTag.Right */
+    :
+      switch (that._tag) {
+        case "Left"
+        /* TheseTag.Left */
+        :
+          return that;
+
+        case "Right"
+        /* TheseTag.Right */
+        :
+          return tsplus_module_1.right(f(self.right, that.right));
+
+        case "Both"
+        /* TheseTag.Both */
+        :
+          return tsplus_module_1.left(that.left);
+      }
+
+    case "Both"
+    /* TheseTag.Both */
+    :
+      switch (that._tag) {
+        case "Left"
+        /* TheseTag.Left */
+        :
+          return tsplus_module_1.left(S.combine(self.left, that.left));
+
+        case "Right"
+        /* TheseTag.Right */
+        :
+          return tsplus_module_1.both(self.left, f(self.right, that.right));
+
+        case "Both"
+        /* TheseTag.Both */
+        :
+          return tsplus_module_1.both(S.combine(self.left, that.left), f(self.right, that.right));
+      }
+
+  }
+}
+/**
+ * @tsplus fluent fncts.These zip
+ */
+
+
+export function zip(self, that,
+/** @tsplus auto */
+S) {
+  return zipWith_1(self, that, (a, b) => [a, b], S);
+}
+/**
+ * @tsplus fluent fncts.These ap
+ */
+
+export function ap(self, that,
+/** @tsplus auto */
+S) {
+  return zipWith_1(self, that, (f, a) => f(a), S);
+}
+/**
+ * @tsplus fluent fncts.These flatMap
+ */
+
+export function flatMap(self, f,
+/** @tsplus auto */
+S) {
+  if (self._tag === "Left"
+  /* TheseTag.Left */
+  ) {
+    return self;
+  }
+
+  if (self._tag === "Right"
+  /* TheseTag.Right */
+  ) {
+    return f(self.right);
+  }
+
+  const that = f(self.right);
+
+  switch (that._tag) {
+    case "Left"
+    /* TheseTag.Left */
+    :
+      return tsplus_module_1.left(S.combine(self.left, that.left));
+
+    case "Right"
+    /* TheseTag.Right */
+    :
+      return tsplus_module_1.both(self.left, that.right);
+
+    case "Both"
+    /* TheseTag.Both */
+    :
+      return tsplus_module_1.both(S.combine(self.left, that.left), that.right);
+  }
+}
+/**
+ * @tsplus fluent fncts.These catchAll
+ */
+
+export function catchAll_(self, f) {
+  if (self._tag === "Left"
+  /* TheseTag.Left */
+  ) {
+    return f(self.left);
+  }
+
+  return self;
+}
+/**
+ * @tsplus getter fncts.These condemn
+ */
+
+export function condemn(self) {
+  if (self._tag === "Both"
+  /* TheseTag.Both */
+  ) {
+    return tsplus_module_1.left(self.left);
+  }
+
+  return self;
+}
+/**
+ * @tsplus fluent fncts.These condemnWhen
+ */
+
+export function condemnWhen(self, p) {
+  if (self._tag === "Both"
+  /* TheseTag.Both */
+  && p(self.left)) {
+    return tsplus_module_1.left(self.left);
+  }
+
+  return self;
+}
+//# sourceMappingURL=api.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"api.mjs","mappings":";aAuEgBA,OAAO;AAlEvB;;;;AAGA,OAAM,SAAUC,MAAV,CAAuBC,IAAvB,EAAwC;EAC5C,OAAOA,IAAI,CAACC,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;AAGA,OAAM,SAAUC,OAAV,CAAwBF,IAAxB,EAAyC;EAC7C,OAAOA,IAAI,CAACC,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;AAGA,OAAM,SAAUE,MAAV,CAAuBH,IAAvB,EAAwC;EAC5C,OAAOA,IAAI,CAACC,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;AAGA,OAAM,SAAUG,GAAV,CAAuBJ,IAAvB,EAA0CK,CAA1C,EAAwD;EAC5D,QAAQL,IAAI,CAACC,IAAb;IACE;IAAA;IAAA;MACE,OAAOD,IAAP;;IACF;IAAA;IAAA;MACE,OAAOM,sBAAYD,CAAC,CAACL,IAAI,CAACO,KAAN,CAAb,CAAP;;IACF;IAAA;IAAA;MACE,OAAOD,qBAAWN,IAAI,CAACQ,IAAhB,EAAsBH,CAAC,CAACL,IAAI,CAACO,KAAN,CAAvB,CAAP;EANJ;AAQD;AAED;;;;AAGA,OAAM,SAAUE,OAAV,CAA4BT,IAA5B,EAA+CK,CAA/C,EAA8D;EAClE,QAAQL,IAAI,CAACC,IAAb;IACE;IAAA;IAAA;MACE,OAAOK,qBAAWD,CAAC,CAACL,IAAI,CAACQ,IAAN,CAAZ,CAAP;;IACF;IAAA;IAAA;MACE,OAAOR,IAAP;;IACF;IAAA;IAAA;MACE,OAAOM,qBAAWD,CAAC,CAACL,IAAI,CAACQ,IAAN,CAAZ,EAAyBR,IAAI,CAACO,KAA9B,CAAP;EANJ;AAQD;AAED;;;;AAGA,OAAM,SAAUG,KAAV,CAA6BV,IAA7B,EAAgDK,CAAhD,EAAiEM,CAAjE,EAA+E;EACnF,QAAQX,IAAI,CAACC,IAAb;IACE;IAAA;IAAA;MACE,OAAOK,qBAAWD,CAAC,CAACL,IAAI,CAACQ,IAAN,CAAZ,CAAP;;IACF;IAAA;IAAA;MACE,OAAOF,sBAAYK,CAAC,CAACX,IAAI,CAACO,KAAN,CAAb,CAAP;;IACF;IAAA;IAAA;MACE,OAAOD,qBAAWD,CAAC,CAACL,IAAI,CAACQ,IAAN,CAAZ,EAAyBG,CAAC,CAACX,IAAI,CAACO,KAAN,CAA1B,CAAP;EANJ;AAQD;AAED;;;;AAGA,mBACEP,IADF,EAEEY,IAFF,EAGEP,CAHF;AAIE;AAAoBQ,CAJtB,EAIuC;EAErC,QAAQb,IAAI,CAACC,IAAb;IACE;IAAA;IAAA;MACE,QAAQW,IAAI,CAACX,IAAb;QACE;QAAA;QAAA;UACE,OAAOK,qBAAWO,CAAC,CAACC,OAAF,CAAUd,IAAI,CAACQ,IAAf,EAAqBI,IAAI,CAACJ,IAA1B,CAAX,CAAP;;QACF;QAAA;QAAA;UACE,OAAOR,IAAP;;QACF;QAAA;QAAA;UACE,OAAOM,qBAAWO,CAAC,CAACC,OAAF,CAAUd,IAAI,CAACQ,IAAf,EAAqBI,IAAI,CAACJ,IAA1B,CAAX,CAAP;MANJ;;IAQF;IAAA;IAAA;MACE,QAAQI,IAAI,CAACX,IAAb;QACE;QAAA;QAAA;UACE,OAAOW,IAAP;;QACF;QAAA;QAAA;UACE,OAAON,sBAAYD,CAAC,CAACL,IAAI,CAACO,KAAN,EAAaK,IAAI,CAACL,KAAlB,CAAb,CAAP;;QACF;QAAA;QAAA;UACE,OAAOD,qBAAWM,IAAI,CAACJ,IAAhB,CAAP;MANJ;;IAQF;IAAA;IAAA;MACE,QAAQI,IAAI,CAACX,IAAb;QACE;QAAA;QAAA;UACE,OAAOK,qBAAWO,CAAC,CAACC,OAAF,CAAUd,IAAI,CAACQ,IAAf,EAAqBI,IAAI,CAACJ,IAA1B,CAAX,CAAP;;QACF;QAAA;QAAA;UACE,OAAOF,qBAAWN,IAAI,CAACQ,IAAhB,EAAsBH,CAAC,CAACL,IAAI,CAACO,KAAN,EAAaK,IAAI,CAACL,KAAlB,CAAvB,CAAP;;QACF;QAAA;QAAA;UACE,OAAOD,qBAAWO,CAAC,CAACC,OAAF,CAAUd,IAAI,CAACQ,IAAf,EAAqBI,IAAI,CAACJ,IAA1B,CAAX,EAA4CH,CAAC,CAACL,IAAI,CAACO,KAAN,EAAaK,IAAI,CAACL,KAAlB,CAA7C,CAAP;MANJ;;EApBJ;AA6BD;AAED;;;;;AAGA,OAAM,SAAUQ,GAAV,CACJf,IADI,EAEJY,IAFI;AAGJ;AAAoBC,CAHhB,EAGiC;EAErC,OAAOG,gBAAaJ,IAAb,EAAmB,CAACK,CAAD,EAAIC,CAAJ,KAAU,CAACD,CAAD,EAAIC,CAAJ,CAA7B,EAAqCL,CAArC,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUM,EAAV,CACJnB,IADI,EAEJY,IAFI;AAGJ;AAAoBC,CAHhB,EAGiC;EAErC,OAAOG,gBAAaJ,IAAb,EAAmB,CAACP,CAAD,EAAIY,CAAJ,KAAUZ,CAAC,CAACY,CAAD,CAA9B,EAAmCJ,CAAnC,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUO,OAAV,CACJpB,IADI,EAEJK,CAFI;AAGJ;AAAoBQ,CAHhB,EAGiC;EAErC,IAAIb,IAAI,CAACC,IAAL,KAAS;EAAA;EAAb,EAAiC;IAC/B,OAAOD,IAAP;EACD;;EACD,IAAIA,IAAI,CAACC,IAAL,KAAS;EAAA;EAAb,EAAkC;IAChC,OAAOI,CAAC,CAACL,IAAI,CAACO,KAAN,CAAR;EACD;;EACD,MAAMK,IAAI,GAAGP,CAAC,CAACL,IAAI,CAACO,KAAN,CAAd;;EACA,QAAQK,IAAI,CAACX,IAAb;IACE;IAAA;IAAA;MACE,OAAOK,qBAAWO,CAAC,CAACC,OAAF,CAAUd,IAAI,CAACQ,IAAf,EAAqBI,IAAI,CAACJ,IAA1B,CAAX,CAAP;;IACF;IAAA;IAAA;MACE,OAAOF,qBAAWN,IAAI,CAACQ,IAAhB,EAAsBI,IAAI,CAACL,KAA3B,CAAP;;IACF;IAAA;IAAA;MACE,OAAOD,qBAAWO,CAAC,CAACC,OAAF,CAAUd,IAAI,CAACQ,IAAf,EAAqBI,IAAI,CAACJ,IAA1B,CAAX,EAA4CI,IAAI,CAACL,KAAjD,CAAP;EANJ;AAQD;AAED;;;;AAGA,OAAM,SAAUc,SAAV,CAA6BrB,IAA7B,EAAgDK,CAAhD,EAAwE;EAC5E,IAAIL,IAAI,CAACC,IAAL,KAAS;EAAA;EAAb,EAAiC;IAC/B,OAAOI,CAAC,CAACL,IAAI,CAACQ,IAAN,CAAR;EACD;;EACD,OAAOR,IAAP;AACD;AAED;;;;AAGA,OAAM,SAAUsB,OAAV,CAAwBtB,IAAxB,EAAyC;EAC7C,IAAIA,IAAI,CAACC,IAAL,KAAS;EAAA;EAAb,EAAiC;IAC/B,OAAOK,qBAAWN,IAAI,CAACQ,IAAhB,CAAP;EACD;;EACD,OAAOR,IAAP;AACD;AAED;;;;AAGA,OAAM,SAAUuB,WAAV,CAA4BvB,IAA5B,EAA+CwB,CAA/C,EAA8D;EAClE,IAAGxB,IAAI,CAACC,IAAL,KAAS;EAAA;EAAT,GAA+BuB,CAAC,CAACxB,IAAI,CAACQ,IAAN,CAAnC,EAAgD;IAC9C,OAAOF,qBAAWN,IAAI,CAACQ,IAAhB,CAAP;EACD;;EACD,OAAOR,IAAP;AACD","names":["zipWith","isLeft","self","_tag","isRight","isBoth","map","f","tsplus_module_1","right","left","mapLeft","bimap","g","that","S","combine","zip","zipWith_1","a","b","ap","flatMap","catchAll_","condemn","condemnWhen","p"],"sourceRoot":"","sources":["../../../_src/data/These/api.ts"],"sourcesContent":[null]}

package/_mjs/data/These/constructors.mjs

@@ -1,3 +1,6 @@
+import * as tsplus_module_1 from "@fncts/base/data/Maybe/destructors";
+export const right = right_1;
+export const both = both_1;
 import { Both, Left, Right } from "./definition.mjs";
 /**
  * @tsplus static fncts.TheseOps left
@@ -12,7 +15,7 @@ export function left(e) {
  * @tsplus static fncts.These.Right __call
  */
 
-export function right(a) {
+function right_1(a) {
   return new Right(a);
 }
 /**
@@ -20,7 +23,16 @@ export function right(a) {
  * @tsplus static fncts.These.Both __call
  */
 
-export function both(e, a) {
+
+function both_1(e, a) {
   return new Both(e, a);
 }
+/**
+ * @tsplus static fncts.TheseOps rightOrBoth
+ */
+
+
+export function rightOrBoth(e, a) {
+  return tsplus_module_1.match_(e, () => right_1(a), e => both_1(e, a));
+}
 //# sourceMappingURL=constructors.mjs.map

package/_mjs/data/These/constructors.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"constructors.mjs","mappings":"AAAA,SAASA,IAAT,EAAeC,IAAf,EAAqBC,KAArB,QAAkC,kBAAlC;AAEA;;;;;AAIA,OAAM,SAAUC,IAAV,CAAqCC,CAArC,EAAyC;EAC7C,OAAO,IAAIH,IAAJ,CAASG,CAAT,CAAP;AACD;AAED;;;;;AAIA,OAAM,SAAUC,KAAV,CAAsCC,CAAtC,EAA0C;EAC9C,OAAO,IAAIJ,KAAJ,CAAUI,CAAV,CAAP;AACD;AAED;;;;;AAIA,OAAM,SAAUC,IAAV,CAAqCH,CAArC,EAA2CE,CAA3C,EAA+C;EACnD,OAAO,IAAIN,IAAJ,CAASI,CAAT,EAAYE,CAAZ,CAAP;AACD","names":["Both","Left","Right","left","e","right","a","both"],"sourceRoot":"","sources":["../../../_src/data/These/constructors.ts"],"sourcesContent":[null]}
+{"version":3,"file":"constructors.mjs","mappings":";aAcgBA,KAAK;aAQLC,IAAI;AAtBpB,SAASC,IAAT,EAAeC,IAAf,EAAqBC,KAArB,QAAkC,kBAAlC;AAEA;;;;;AAIA,OAAM,SAAUC,IAAV,CAAqCC,CAArC,EAAyC;EAC7C,OAAO,IAAIH,IAAJ,CAASG,CAAT,CAAP;AACD;AAED;;;;;AAIA,iBAA4CC,CAA5C,EAAgD;EAC9C,OAAO,IAAIH,KAAJ,CAAUG,CAAV,CAAP;AACD;AAED;;;;;;AAIA,gBAA2CD,CAA3C,EAAiDC,CAAjD,EAAqD;EACnD,OAAO,IAAIL,IAAJ,CAASI,CAAT,EAAYC,CAAZ,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUC,WAAV,CAA4CF,CAA5C,EAAyDC,CAAzD,EAA6D;EACjE,OAAOE,0BACL,MAAMC,QAAYH,CAAZ,CADD,EAEJD,CAAD,IAAOK,OAAWL,CAAX,EAAcC,CAAd,CAFF,CAAP;AAID","names":["right","both","Both","Left","Right","left","e","a","rightOrBoth","tsplus_module_1","right_1","both_1"],"sourceRoot":"","sources":["../../../_src/data/These/constructors.ts"],"sourcesContent":[null]}

package/_mjs/data/These/definition.mjs

@@ -1,3 +1,4 @@
+import * as tsplus_module_1 from "@fncts/base/util/predicates";
 export const TheseTypeId = /*#__PURE__*/Symbol.for("fncts.base.data.These");
 /**
  * @tsplus type fncts.These.Left
@@ -43,4 +44,11 @@ export class Both {
 
 }
 export const These = {};
+/**
+ * @tsplus static fncts.TheseOps isThese
+ */
+
+export function isThese(u) {
+  return tsplus_module_1.hasTypeId(u, TheseTypeId);
+}
 //# sourceMappingURL=definition.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":"AAMA,OAAO,MAAMA,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,uBAAX,CAApB;AAGP;;;;AAGA,OAAM,MAAOC,IAAP,CAAW;EAGfC,YAAqBC,IAArB,EAA4B;IAAP;IAFZ,eAAuBL,WAAvB;IACA,YAAI;IAAA;IAAJ;EACuB;;AAHjB;AAMjB;;;;AAGA,OAAM,MAAOM,KAAP,CAAY;EAGhBF,YAAqBG,KAArB,EAA6B;IAAR;IAFZ,eAAuBP,WAAvB;IACA,YAAI;IAAA;IAAJ;EACwB;;AAHjB;AAMlB;;;;AAGA,OAAM,MAAOQ,IAAP,CAAW;EAGfJ,YAAqBC,IAArB,EAAuCE,KAAvC,EAA+C;IAA1B;IAAkB;IAF9B,eAAuBP,WAAvB;IACA,YAAI;IAAA;IAAJ;EAC0C;;AAHpC;AAgBjB,OAAO,MAAMS,KAAK,GAAa,EAAxB","names":["TheseTypeId","Symbol","for","Left","constructor","left","Right","right","Both","These"],"sourceRoot":"","sources":["../../../_src/data/These/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";AAMA,OAAO,MAAMA,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,uBAAX,CAApB;AAGP;;;;AAGA,OAAM,MAAOC,IAAP,CAAW;EAGfC,YAAqBC,IAArB,EAA4B;IAAP;IAFZ,eAAuBL,WAAvB;IACA,YAAI;IAAA;IAAJ;EACuB;;AAHjB;AAMjB;;;;AAGA,OAAM,MAAOM,KAAP,CAAY;EAGhBF,YAAqBG,KAArB,EAA6B;IAAR;IAFZ,eAAuBP,WAAvB;IACA,YAAI;IAAA;IAAJ;EACwB;;AAHjB;AAMlB;;;;AAGA,OAAM,MAAOQ,IAAP,CAAW;EAGfJ,YAAqBC,IAArB,EAAuCE,KAAvC,EAA+C;IAA1B;IAAkB;IAF9B,eAAuBP,WAAvB;IACA,YAAI;IAAA;IAAJ;EAC0C;;AAHpC;AAgBjB,OAAO,MAAMS,KAAK,GAAa,EAAxB;AAEP;;;;AAGA,OAAM,SAAUC,OAAV,CAAkBC,CAAlB,EAA4B;EAChC,OAAOC,0BAAUD,CAAV,EAAaX,WAAb,CAAP;AACD","names":["TheseTypeId","Symbol","for","Left","constructor","left","Right","right","Both","These","isThese","u","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/data/These/definition.ts"],"sourcesContent":[null]}

package/_mjs/data/These/destructors.mjs

@@ -1,6 +1,39 @@
+import * as tsplus_module_1 from "@fncts/base/data/These/api";
+import * as tsplus_module_2 from "@fncts/base/data/Maybe/constructors";
+export const leftMaybe = leftMaybe_1;
+/**
+ * @tsplus getter fncts.These right
+ */
+
+export function unsafeGetRight(self) {
+  return tsplus_module_1.isRight(self) || tsplus_module_1.isBoth(self) ? self.right : undefined;
+}
+/**
+ * @tsplus getter fncts.These left
+ */
+
+export function unsafeGetLeft(self) {
+  return tsplus_module_1.isLeft(self) ? self.left : undefined;
+}
+/**
+ * @tsplus getter fncts.These rightMaybe
+ */
+
+export function rightMaybe(self) {
+  return tsplus_module_1.isRight(self) || tsplus_module_1.isBoth(self) ? tsplus_module_2.just(self.right) : tsplus_module_2.nothing();
+}
+/**
+ * @tsplus getter fncts.These leftMaybe
+ */
+
+function leftMaybe_1(self) {
+  return tsplus_module_1.isLeft(self) ? tsplus_module_2.just(self.left) : tsplus_module_2.nothing();
+}
 /**
  * @tsplus fluent fncts.These match
  */
+
+
 export function match_(self, left, right, both) {
   switch (self._tag) {
     case "Left"
@@ -19,4 +52,24 @@ export function match_(self, left, right, both) {
       return both(self.left, self.right);
   }
 }
+/**
+ * @tsplus fluent fncts.These match2
+ */
+
+export function match2(self, left, right) {
+  switch (self._tag) {
+    case "Left"
+    /* TheseTag.Left */
+    :
+      return left(self.left);
+
+    case "Right"
+    /* TheseTag.Right */
+    :
+    case "Both"
+    /* TheseTag.Both */
+    :
+      return right(leftMaybe_1(self), self.right);
+  }
+}
 //# sourceMappingURL=destructors.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"destructors.mjs","mappings":"AAEA;;;AAGA,OAAM,SAAUA,MAAV,CACJC,IADI,EAEJC,IAFI,EAGJC,KAHI,EAIJC,IAJI,EAImB;EAEvB,QAAQH,IAAI,CAACI,IAAb;IACE;IAAA;IAAA;MACE,OAAOH,IAAI,CAACD,IAAI,CAACC,IAAN,CAAX;;IACF;IAAA;IAAA;MACE,OAAOC,KAAK,CAACF,IAAI,CAACE,KAAN,CAAZ;;IACF;IAAA;IAAA;MACE,OAAOC,IAAI,CAACH,IAAI,CAACC,IAAN,EAAYD,IAAI,CAACE,KAAjB,CAAX;EANJ;AAQD","names":["match_","self","left","right","both","_tag"],"sourceRoot":"","sources":["../../../_src/data/These/destructors.ts"],"sourcesContent":[null]}
+{"version":3,"file":"destructors.mjs","mappings":";;aA0BgBA,SAAS;AAxBzB;;;;AAGA,OAAM,SAAUC,cAAV,CAA+BC,IAA/B,EAAgD;EACpD,OAAOC,iCAAkBA,4BAAlB,GAAkCD,IAAI,CAACE,KAAvC,GAA+CC,SAAtD;AACD;AAED;;;;AAGA,OAAM,SAAUC,aAAV,CAA8BJ,IAA9B,EAA+C;EACnD,OAAOC,+BAAgBD,IAAI,CAACK,IAArB,GAA4BF,SAAnC;AACD;AAED;;;;AAGA,OAAM,SAAUG,UAAV,CAA2BN,IAA3B,EAA4C;EAChD,OAAOC,iCAAkBA,4BAAlB,GAAkCM,qBAAKP,IAAI,CAACE,KAAV,CAAlC,GAAqDK,yBAA5D;AACD;AAED;;;;AAGA,qBAAgCP,IAAhC,EAAiD;EAC/C,OAAOC,+BAAgBM,qBAAKP,IAAI,CAACK,IAAV,CAAhB,GAAkCE,yBAAzC;AACD;AAED;;;;;AAGA,OAAM,SAAUC,MAAV,CACJR,IADI,EAEJK,IAFI,EAGJH,KAHI,EAIJO,IAJI,EAImB;EAEvB,QAAQT,IAAI,CAACU,IAAb;IACE;IAAA;IAAA;MACE,OAAOL,IAAI,CAACL,IAAI,CAACK,IAAN,CAAX;;IACF;IAAA;IAAA;MACE,OAAOH,KAAK,CAACF,IAAI,CAACE,KAAN,CAAZ;;IACF;IAAA;IAAA;MACE,OAAOO,IAAI,CAACT,IAAI,CAACK,IAAN,EAAYL,IAAI,CAACE,KAAjB,CAAX;EANJ;AAQD;AAED;;;;AAGA,OAAM,SAAUS,MAAV,CACJX,IADI,EAEJK,IAFI,EAGJH,KAHI,EAG2B;EAE/B,QAAOF,IAAI,CAACU,IAAZ;IACE;IAAA;IAAA;MACE,OAAOL,IAAI,CAACL,IAAI,CAACK,IAAN,CAAX;;IACF;IAAA;IAAA;IACA;IAAA;IAAA;MACE,OAAOH,KAAK,aAACF,IAAD,GAAiBA,IAAI,CAACE,KAAtB,CAAZ;EALJ;AAOD","names":["leftMaybe","unsafeGetRight","self","tsplus_module_1","right","undefined","unsafeGetLeft","left","rightMaybe","tsplus_module_2","match_","both","_tag","match2"],"sourceRoot":"","sources":["../../../_src/data/These/destructors.ts"],"sourcesContent":[null]}

package/_mjs/data/These/instances.mjs

@@ -0,0 +1,36 @@
+import * as tsplus_module_1 from "@fncts/base/data/These/definition";
+import * as tsplus_module_2 from "@fncts/base/data/These/api";
+import * as tsplus_module_3 from "@fncts/base/typeclass/Guard/definition";
+import * as tsplus_module_4 from "@fncts/base/data/These/constructors";
+import * as tsplus_module_5 from "@fncts/base/json/TheseJson";
+import * as tsplus_module_6 from "@fncts/base/data/Decoder/definition";
+/**
+ * @tsplus derive fncts.Guard[fncts.These]<_> 10
+ */
+
+export function deriveGuard(...[left, right]) {
+  return tsplus_module_3.makeGuard(u => {
+    if (tsplus_module_1.isThese(u)) {
+      if (tsplus_module_2.isLeft(u)) {
+        return left.is(u.left);
+      }
+
+      if (tsplus_module_2.isRight(u)) {
+        return right.is(u.right);
+      }
+
+      return right.is(u.right) && left.is(u.left);
+    }
+
+    return false;
+  });
+}
+/**
+ * @tsplus derive fncts.Decoder[fncts.These]<_> 10
+ */
+
+export function deriveDecoder(...[left, right]) {
+  const label = `These<${left.label}, ${right.label}>`;
+  return tsplus_module_6.makeDecoder(input => tsplus_module_2.map(tsplus_module_5.getDecoder(left, right).decode(input), result => result._tag === "Left" ? tsplus_module_4.left(result.left) : result._tag === "Right" ? tsplus_module_4.right(result.right) : tsplus_module_4.both(result.left, result.right)), label);
+}
+//# sourceMappingURL=instances.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"instances.mjs","mappings":";;;;;;AAEA;;;;AAGA,OAAM,SAAUA,WAAV,CACJ,GAAG,CAACC,IAAD,EAAOC,KAAP,CADC,EAC+F;EAEnG,OAAOC,0BAAOC,CAAD,IAAc;IACzB,IAAIC,wBAAcD,CAAd,CAAJ,EAAsB;MACpB,IAAIE,yBAAJ,EAAgB;QACd,OAAOL,IAAI,CAACM,EAAL,CAAQH,CAAC,CAACH,IAAV,CAAP;MACD;;MACD,IAAIK,0BAAJ,EAAiB;QACf,OAAOJ,KAAK,CAACK,EAAN,CAASH,CAAC,CAACF,KAAX,CAAP;MACD;;MACD,OAAOA,KAAK,CAACK,EAAN,CAASH,CAAC,CAACF,KAAX,KAAqBD,IAAI,CAACM,EAAL,CAAQH,CAAC,CAACH,IAAV,CAA5B;IACD;;IACD,OAAO,KAAP;EACD,CAXM,CAAP;AAYD;AAED;;;;AAGA,OAAM,SAAUO,aAAV,CACJ,GAAG,CAACP,IAAD,EAAOC,KAAP,CADC,EACmG;EAEvG,MAAMO,KAAK,GAAG,SAASR,IAAI,CAACQ,KAAK,KAAKP,KAAK,CAACO,KAAK,GAAjD;EACA,OAAOC,4BACJC,KAAD,IACEL,+CAAqBL,IAArB,EAA2BC,KAA3B,EACGU,MADH,CACUD,KADV,GAEQE,MAAD,IACHA,MAAM,CAACC,IAAP,KAAgB,MAAhB,GACKC,qBAAWF,MAAM,CAACZ,IAAlB,CADL,GAEIY,MAAM,CAACC,IAAP,KAAgB,OAAhB,GACCC,sBAAYF,MAAM,CAACX,KAAnB,CADD,GAECa,qBAAWF,MAAM,CAACZ,IAAlB,EAAwBY,MAAM,CAACX,KAA/B,CAPT,CAFG,EAWLO,KAXK,CAAP;AAaD","names":["deriveGuard","left","right","tsplus_module_3","u","tsplus_module_1","tsplus_module_2","is","deriveDecoder","label","tsplus_module_6","input","decode","result","_tag","tsplus_module_4"],"sourceRoot":"","sources":["../../../_src/data/These/instances.ts"],"sourcesContent":[null]}

package/_mjs/data/These.mjs

@@ -1,4 +1,5 @@
 // codegen:start {preset: barrel, include: These/*.ts}
+export * from "./These/api.mjs";
 export * from "./These/constructors.mjs";
 export * from "./These/definition.mjs";
 export * from "./These/destructors.mjs";

package/_mjs/data/These.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"These.mjs","mappings":"AAAA;AACA,cAAc,0BAAd;AACA,cAAc,wBAAd;AACA,cAAc,yBAAd","names":[],"sourceRoot":"","sources":["../../_src/data/These.ts"],"sourcesContent":[null]}
+{"version":3,"file":"These.mjs","mappings":"AAAA;AACA,cAAc,iBAAd;AACA,cAAc,0BAAd;AACA,cAAc,wBAAd;AACA,cAAc,yBAAd","names":[],"sourceRoot":"","sources":["../../_src/data/These.ts"],"sourcesContent":[null]}

package/_mjs/data/bigint/definition.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=definition.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","mappings":"","names":[],"sourceRoot":"","sources":[],"sourcesContent":[]}

package/_mjs/data/bigint/instances.mjs

@@ -0,0 +1,10 @@
+import * as tsplus_module_1 from "@fncts/base/typeclass/Guard/definition";
+import * as P from "@fncts/base/typeclass";
+import { isBigInt } from "@fncts/base/util/predicates";
+/**
+ * @tsplus static fncts.BigIntOps Guard
+ * @tsplus implicit
+ */
+
+export const Guard = /*#__PURE__*/tsplus_module_1.makeGuard(isBigInt);
+//# sourceMappingURL=instances.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"instances.mjs","mappings":";AAAA,OAAO,KAAKA,CAAZ,MAAmB,uBAAnB;AACA,SAASC,QAAT,QAAyB,6BAAzB;AAEA;;;;;AAIA,OAAO,MAAMC,KAAK,gBAAoBC,0BAAQF,QAAR,CAA/B","names":["P","isBigInt","Guard","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/data/bigint/instances.ts"],"sourcesContent":[null]}

package/_mjs/data/bigint.mjs

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

package/_mjs/data/bigint.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"bigint.mjs","mappings":"AAAA;AACA,cAAc,yBAAd;AACA,cAAc,wBAAd","names":[],"sourceRoot":"","sources":["../../_src/data/bigint.ts"],"sourcesContent":[null]}

package/_mjs/data/boolean/definition.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=definition.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","mappings":"","names":[],"sourceRoot":"","sources":[],"sourcesContent":[]}

package/_mjs/data/boolean/instances.mjs

@@ -0,0 +1,10 @@
+import * as tsplus_module_1 from "@fncts/base/typeclass/Guard/definition";
+import * as P from "@fncts/base/typeclass";
+import { isBoolean } from "@fncts/base/util/predicates";
+/**
+ * @tsplus static fncts.BooleanOps Guard
+ * @tsplus implicit
+ */
+
+export const Guard = /*#__PURE__*/tsplus_module_1.makeGuard(isBoolean);
+//# sourceMappingURL=instances.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"instances.mjs","mappings":";AAAA,OAAO,KAAKA,CAAZ,MAAmB,uBAAnB;AACA,SAASC,SAAT,QAA0B,6BAA1B;AAEA;;;;;AAIA,OAAO,MAAMC,KAAK,gBAAqBC,0BAAQF,SAAR,CAAhC","names":["P","isBoolean","Guard","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/data/boolean/instances.ts"],"sourcesContent":[null]}

package/_mjs/data/boolean.mjs

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

package/_mjs/data/boolean.mjs.map

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

package/_mjs/data/number/instances.mjs

@@ -1,20 +1,30 @@
-import * as tsplus_module_1 from "@fncts/base/typeclass/Eq";
+import * as tsplus_module_1 from "@fncts/base/typeclass/Eq/definition";
 import * as tsplus_module_2 from "@fncts/base/typeclass/Ord/definition";
+import * as tsplus_module_3 from "@fncts/base/typeclass/Guard/definition";
+import { isNumber } from "@fncts/base/util/predicates";
 import * as P from "../../typeclass.mjs";
 import { EQ, GT, LT } from "../../typeclass.mjs";
 /**
  * @tsplus static fncts.NumberOps Eq
+ * @tsplus implicit
  */
 
 export const Eq = /*#__PURE__*/tsplus_module_1.mkEq({
-  equals_: (x, y) => x === y
+  equals: (x, y) => x === y
 });
 /**
  * @tsplus static fncts.NumberOps Ord
+ * @tsplus implicit
  */
 
 export const Ord = /*#__PURE__*/tsplus_module_2.mkOrd({
-  compare_: (x, y) => x < y ? LT : x > y ? GT : EQ,
-  equals_: (x, y) => x === y
+  compare: (x, y) => x < y ? LT : x > y ? GT : EQ,
+  equals: (x, y) => x === y
 });
+/**
+ * @tsplus static fncts.NumberOps Guard
+ * @tsplus implicit
+ */
+
+export const Guard = /*#__PURE__*/tsplus_module_3.makeGuard(isNumber);
 //# sourceMappingURL=instances.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"instances.mjs","mappings":";;AAAA,OAAO,KAAKA,CAAZ,MAAmB,qBAAnB;AACA,SAASC,EAAT,EAAaC,EAAb,EAAiBC,EAAjB,QAA2B,qBAA3B;AAEA;;;;AAGA,OAAO,MAAMC,EAAE,gBAAiBC,qBAAK;EAAEC,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUD,CAAC,KAAKC;AAA3B,CAAL,CAAzB;AAEP;;;;AAGA,OAAO,MAAMC,GAAG,gBAAkBC,sBAAM;EACtCC,QAAQ,EAAE,CAACJ,CAAD,EAAIC,CAAJ,KAAWD,CAAC,GAAGC,CAAJ,GAAQL,EAAR,GAAaI,CAAC,GAAGC,CAAJ,GAAQN,EAAR,GAAaD,EADT;EAEtCK,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUD,CAAC,KAAKC;AAFa,CAAN,CAA3B","names":["P","EQ","GT","LT","Eq","tsplus_module_1","equals_","x","y","Ord","tsplus_module_2","compare_"],"sourceRoot":"","sources":["../../../_src/data/number/instances.ts"],"sourcesContent":[null]}
+{"version":3,"file":"instances.mjs","mappings":";;;AAAA,SAASA,QAAT,QAAyB,6BAAzB;AAEA,OAAO,KAAKC,CAAZ,MAAmB,qBAAnB;AACA,SAASC,EAAT,EAAaC,EAAb,EAAiBC,EAAjB,QAA2B,qBAA3B;AAEA;;;;;AAIA,OAAO,MAAMC,EAAE,gBAAiBC,qBAAK;EAAEC,MAAM,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUD,CAAC,KAAKC;AAA1B,CAAL,CAAzB;AAEP;;;;;AAIA,OAAO,MAAMC,GAAG,gBAAkBC,sBAAM;EACtCC,OAAO,EAAE,CAACJ,CAAD,EAAIC,CAAJ,KAAWD,CAAC,GAAGC,CAAJ,GAAQL,EAAR,GAAaI,CAAC,GAAGC,CAAJ,GAAQN,EAAR,GAAaD,EADR;EAEtCK,MAAM,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUD,CAAC,KAAKC;AAFc,CAAN,CAA3B;AAKP;;;;;AAIA,OAAO,MAAMI,KAAK,gBAAoBC,0BAAQd,QAAR,CAA/B","names":["isNumber","P","EQ","GT","LT","Eq","tsplus_module_1","equals","x","y","Ord","tsplus_module_2","compare","Guard","tsplus_module_3"],"sourceRoot":"","sources":["../../../_src/data/number/instances.ts"],"sourcesContent":[null]}

package/_mjs/data/object/instances.mjs

@@ -0,0 +1,10 @@
+import * as tsplus_module_1 from "@fncts/base/util/predicates";
+import * as tsplus_module_2 from "@fncts/base/typeclass/Guard/definition";
+import * as P from "@fncts/base/typeclass";
+/**
+ * @tsplus implicit
+ * @tsplus static fncts.globalOps Guard
+ */
+
+export const Guard = /*#__PURE__*/tsplus_module_2.makeGuard(tsplus_module_1.isObject);
+//# sourceMappingURL=instances.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"instances.mjs","mappings":";;AAAA,OAAO,KAAKA,CAAZ,MAAmB,uBAAnB;AAEA;;;;;AAIA,OAAO,MAAMC,KAAK,gBAAgBC,0CAAQC,QAAR,CAA3B","names":["P","Guard","tsplus_module_2","isObject"],"sourceRoot":"","sources":["../../../_src/data/object/instances.ts"],"sourcesContent":[null]}

package/_mjs/data/string/instances.mjs

@@ -1,36 +1,48 @@
-import * as tsplus_module_1 from "@fncts/base/typeclass/Eq";
+import * as tsplus_module_1 from "@fncts/base/typeclass/Eq/definition";
 import * as tsplus_module_2 from "@fncts/base/typeclass/Semigroup/definition";
 import * as tsplus_module_3 from "@fncts/base/typeclass/Monoid";
 import * as tsplus_module_4 from "@fncts/base/typeclass/Ord/definition";
+import * as tsplus_module_5 from "@fncts/base/typeclass/Guard/definition";
+import { isString } from "@fncts/base/util/predicates";
 import * as P from "../../typeclass.mjs";
 /**
  * @tsplus static fncts.StringOps Eq
+ * @tsplus implicit
  */
 
-export const Eq = /*#__PURE__*/tsplus_module_1.mkEq({
-  equals_: (x, y) => x === y
+const Eq_1 = /*#__PURE__*/tsplus_module_1.mkEq({
+  equals: (x, y) => x === y
 });
+export const Eq = Eq_1;
 /**
  * @tsplus static fncts.StringOps Semigroup
+ * @tsplus implicit
  */
 
 export const Semigroup = /*#__PURE__*/tsplus_module_2.mkSemigroup({
-  combine_: (x, y) => x + y
+  combine: (x, y) => x + y
 });
 /**
  * @tsplus static fncts.StringOps Monoid
+ * @tsplus implicit
  */
 
 export const Monoid = /*#__PURE__*/tsplus_module_3.mkMonoid({
-  combine_: (x, y) => x + y,
+  combine: (x, y) => x + y,
   nat: ""
 });
 /**
  * @tsplus static fncts.StringOps Ord
+ * @tsplus implicit
  */
 
-export const Ord = /*#__PURE__*/tsplus_module_4.mkOrd({
-  compare_: (x, y) => x < y ? -1 : x > y ? 1 : 0,
-  equals_: (x, y) => x === y
+export const Ord = /*#__PURE__*/tsplus_module_4.mkOrd({ ...Eq_1,
+  compare: (x, y) => x < y ? -1 : x > y ? 1 : 0
 });
+/**
+ * @tsplus static fncts.StringOps Guard
+ * @tsplus implicit
+ */
+
+export const Guard = /*#__PURE__*/tsplus_module_5.makeGuard(isString);
 //# sourceMappingURL=instances.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"instances.mjs","mappings":";;;;AAAA,OAAO,KAAKA,CAAZ,MAAmB,qBAAnB;AAEA;;;;AAGA,OAAO,MAAMC,EAAE,gBAAiBC,qBAAK;EAAEC,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUD,CAAC,KAAKC;AAA3B,CAAL,CAAzB;AAEP;;;;AAGA,OAAO,MAAMC,SAAS,gBAAwBC,4BAAY;EAAEC,QAAQ,EAAE,CAACJ,CAAD,EAAIC,CAAJ,KAAUD,CAAC,GAAGC;AAA1B,CAAZ,CAAvC;AAEP;;;;AAGA,OAAO,MAAMI,MAAM,gBAAqBC,yBAAS;EAAEF,QAAQ,EAAE,CAACJ,CAAD,EAAIC,CAAJ,KAAUD,CAAC,GAAGC,CAA1B;EAA6BM,GAAG,EAAE;AAAlC,CAAT,CAAjC;AAEP;;;;AAGA,OAAO,MAAMC,GAAG,gBAAkBC,sBAAM;EACtCC,QAAQ,EAAE,CAACV,CAAD,EAAIC,CAAJ,KAAWD,CAAC,GAAGC,CAAJ,GAAQ,CAAC,CAAT,GAAaD,CAAC,GAAGC,CAAJ,GAAQ,CAAR,GAAY,CADR;EAEtCF,OAAO,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUD,CAAC,KAAKC;AAFa,CAAN,CAA3B","names":["P","Eq","tsplus_module_1","equals_","x","y","Semigroup","tsplus_module_2","combine_","Monoid","tsplus_module_3","nat","Ord","tsplus_module_4","compare_"],"sourceRoot":"","sources":["../../../_src/data/string/instances.ts"],"sourcesContent":[null]}
+{"version":3,"file":"instances.mjs","mappings":";;;;;AAAA,SAASA,QAAT,QAAyB,6BAAzB;AAEA,OAAO,KAAKC,CAAZ,MAAmB,qBAAnB;AAEA;;;;;AAIO,MAAMC,oBAAmBC,qBAAK;EAAEC,MAAM,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAUD,CAAC,KAAKC;AAA1B,CAAL,CAAzB;aAAMC,EAAE;AAEf;;;;;AAIA,OAAO,MAAMC,SAAS,gBAAwBC,4BAAY;EAAEC,OAAO,EAAE,CAACL,CAAD,EAAIC,CAAJ,KAAUD,CAAC,GAAGC;AAAzB,CAAZ,CAAvC;AAEP;;;;;AAIA,OAAO,MAAMK,MAAM,gBAAqBC,yBAAS;EAAEF,OAAO,EAAE,CAACL,CAAD,EAAIC,CAAJ,KAAUD,CAAC,GAAGC,CAAzB;EAA4BO,GAAG,EAAE;AAAjC,CAAT,CAAjC;AAEP;;;;;AAIA,OAAO,MAAMC,GAAG,gBAAkBC,sBAAM,EACtC,OADsC;EAEtCC,OAAO,EAAE,CAACX,CAAD,EAAIC,CAAJ,KAAWD,CAAC,GAAGC,CAAJ,GAAQ,CAAC,CAAT,GAAaD,CAAC,GAAGC,CAAJ,GAAQ,CAAR,GAAY;AAFP,CAAN,CAA3B;AAKP;;;;;AAIA,OAAO,MAAMW,KAAK,gBAAoBC,0BAAQlB,QAAR,CAA/B","names":["isString","P","Eq_1","tsplus_module_1","equals","x","y","Eq","Semigroup","tsplus_module_2","combine","Monoid","tsplus_module_3","nat","Ord","tsplus_module_4","compare","Guard","tsplus_module_5"],"sourceRoot":"","sources":["../../../_src/data/string/instances.ts"],"sourcesContent":[null]}