@fncts/base 0.0.1 → 0.0.4

package/_mjs/typeclass/Closure.mjs

@@ -4,9 +4,6 @@ export const Closure = {};
  */
 
 export function mkClosure(F) {
-  return {
-    combine_: F.combine_,
-    combine: y => x => F.combine_(x, y)
-  };
+  return F;
 }
 //# sourceMappingURL=Closure.mjs.map

package/_mjs/typeclass/Closure.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Closure.mjs","mappings":"AAaA,OAAO,MAAMA,OAAO,GAAe,EAA5B;AAMP;;;;AAGA,OAAM,SAAUC,SAAV,CAAuBC,CAAvB,EAAuC;EAC3C,OAAO;IACLC,QAAQ,EAAED,CAAC,CAACC,QADP;IAELC,OAAO,EAAGC,CAAD,IAAQC,CAAD,IAAOJ,CAAC,CAACC,QAAF,CAAWG,CAAX,EAAcD,CAAd;EAFlB,CAAP;AAID","names":["Closure","mkClosure","F","combine_","combine","y","x"],"sourceRoot":"","sources":["../../_src/typeclass/Closure.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Closure.mjs","mappings":"AAYA,OAAO,MAAMA,OAAO,GAAe,EAA5B;AAEP;;;;AAGA,OAAM,SAAUC,SAAV,CAAuBC,CAAvB,EAAoC;EACxC,OAAOA,CAAP;AACD","names":["Closure","mkClosure","F"],"sourceRoot":"","sources":["../../_src/typeclass/Closure.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Eq/definition.mjs

@@ -0,0 +1,9 @@
+export const Eq = {};
+/**
+ * @tsplus static fncts.EqOps __call
+ */
+
+export function mkEq(E) {
+  return E;
+}
+//# sourceMappingURL=definition.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","mappings":"AAYA,OAAO,MAAMA,EAAE,GAAU,EAAlB;AAEP;;;;AAGA,OAAM,SAAUC,IAAV,CAAkBC,CAAlB,EAA0B;EAC9B,OAAOA,CAAP;AACD","names":["Eq","mkEq","E"],"sourceRoot":"","sources":["../../../_src/typeclass/Eq/definition.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Eq/derivations.mjs

@@ -0,0 +1,46 @@
+import * as tsplus_module_1 from "@fncts/base/typeclass/Eq/definition";
+/**
+ * @tsplus derive fncts.Eq lazy
+ */
+
+export function deriveLazy(fn) {
+  let cached;
+  const eq = tsplus_module_1.mkEq({
+    equals: (x, y) => {
+      if (!cached) {
+        cached = fn(eq);
+      }
+
+      return cached.equals(x, y);
+    }
+  });
+  return eq;
+}
+/**
+ * @tsplus derive fncts.Eq<_> 20
+ */
+
+export function deriveStruct(...[requiredFields, optionalFields]) {
+  return tsplus_module_1.mkEq({
+    equals: (x, y) => {
+      for (const field in requiredFields) {
+        if (!requiredFields[field].equals(x[field], y[field])) {
+          return false;
+        }
+      }
+
+      for (const field in optionalFields) {
+        if (field in x && !(field in y) || field in y && !(field in x)) {
+          return false;
+        }
+
+        if (!optionalFields[field].equals(x[field], y[field])) {
+          return false;
+        }
+      }
+
+      return true;
+    }
+  });
+}
+//# sourceMappingURL=derivations.mjs.map

package/_mjs/typeclass/Eq/derivations.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivations.mjs","mappings":";AAKA;;;;AAGA,OAAM,SAAUA,UAAV,CAAwBC,EAAxB,EAA+C;EACnD,IAAIC,MAAJ;EACA,MAAMC,EAAE,GAAUC,qBAAG;IACnBC,MAAM,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAS;MACf,IAAI,CAACL,MAAL,EAAa;QACXA,MAAM,GAAGD,EAAE,CAACE,EAAD,CAAX;MACD;;MACD,OAAOD,MAAM,CAACG,MAAP,CAAcC,CAAd,EAAiBC,CAAjB,CAAP;IACD;EANkB,CAAH,CAAlB;EAQA,OAAOJ,EAAP;AACD;AAED;;;;AAGA,OAAM,SAAUK,YAAV,CACJ,GAAG,CAACC,cAAD,EAAiBC,cAAjB,CADC,EAgBK;EAET,OAAON,qBAAG;IACRC,MAAM,EAAE,CAACC,CAAD,EAAIC,CAAJ,KAAS;MACf,KAAK,MAAMI,KAAX,IAAoBF,cAApB,EAAoC;QAClC,IAAI,CAAEA,cAAc,CAACE,KAAD,CAAd,CAAkCN,MAAlC,CAAyCC,CAAC,CAACK,KAAD,CAA1C,EAAmDJ,CAAC,CAACI,KAAD,CAApD,CAAN,EAAoE;UAClE,OAAO,KAAP;QACD;MACF;;MACD,KAAK,MAAMA,KAAX,IAAoBD,cAApB,EAAoC;QAClC,IAAKC,KAAK,IAAIL,CAAT,IAAc,EAAEK,KAAK,IAAIJ,CAAX,CAAf,IAAkCI,KAAK,IAAIJ,CAAT,IAAc,EAAEI,KAAK,IAAIL,CAAX,CAApD,EAAoE;UAClE,OAAO,KAAP;QACD;;QACD,IAAI,CAAEI,cAAc,CAACC,KAAD,CAAd,CAAkCN,MAAlC,CAAyCC,CAAC,CAACK,KAAD,CAA1C,EAAmDJ,CAAC,CAACI,KAAD,CAApD,CAAN,EAAoE;UAClE,OAAO,KAAP;QACD;MACF;;MACD,OAAO,IAAP;IACD;EAhBO,CAAH,CAAP;AAkBD","names":["deriveLazy","fn","cached","eq","tsplus_module_1","equals","x","y","deriveStruct","requiredFields","optionalFields","field"],"sourceRoot":"","sources":["../../../_src/typeclass/Eq/derivations.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Eq.mjs

@@ -1,12 +1,2 @@
-export const Eq = {};
-/**
- * @tsplus static fncts.EqOps __call
- */
-
-export function mkEq(F) {
-  return {
-    equals_: F.equals_,
-    equals: y => x => F.equals_(x, y)
-  };
-}
+export * from "./Eq/definition.mjs";
 //# sourceMappingURL=Eq.mjs.map

package/_mjs/typeclass/Eq.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Eq.mjs","mappings":"AAaA,OAAO,MAAMA,EAAE,GAAU,EAAlB;AAMP;;;;AAGA,OAAM,SAAUC,IAAV,CAAkBC,CAAlB,EAA6B;EACjC,OAAO;IACLC,OAAO,EAAED,CAAC,CAACC,OADN;IAELC,MAAM,EAAGC,CAAD,IAAQC,CAAD,IAAOJ,CAAC,CAACC,OAAF,CAAUG,CAAV,EAAaD,CAAb;EAFjB,CAAP;AAID","names":["Eq","mkEq","F","equals_","equals","y","x"],"sourceRoot":"","sources":["../../_src/typeclass/Eq.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Eq.mjs","mappings":"AAAA,cAAc,qBAAd","names":[],"sourceRoot":"","sources":["../../_src/typeclass/Eq.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Fail.mjs

@@ -1,11 +1,9 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
 /**
- * @tsplus static fncts.FailOps __call
+ * @tsplus static fncts.FailOps fail
  */
-
-export function mkFail(F) {
-  return {
-    fail: F.fail
-  };
+export function fail(e,
+/** @tsplus auto */
+F) {
+  return F.fail(e);
 }
 //# sourceMappingURL=Fail.mjs.map

package/_mjs/typeclass/Fail.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Fail.mjs","mappings":";AAgBA;;;;AAGA,OAAM,SAAUA,MAAV,CAA8CC,CAA9C,EAA8D;EAClE,OAAoB;IAClBC,IAAI,EAAED,CAAC,CAACC;EADU,CAApB;AAGD","names":["mkFail","F","fail"],"sourceRoot":"","sources":["../../_src/typeclass/Fail.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Fail.mjs","mappings":"AAwBA;;;AAGA,OAAM,SAAUA,IAAV,CAWJC,CAXI;AAWE;AAAoBC,CAXtB,EAWgC;EACpC,OAAOA,CAAC,CAACF,IAAF,CAAOC,CAAP,CAAP;AACD","names":["fail","e","F"],"sourceRoot":"","sources":["../../_src/typeclass/Fail.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Filterable.mjs

@@ -1,16 +1,30 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Functor";
 export const Filterable = {};
-export function mkFilterable(F) {
-  return { ...tsplus_module_2.mkFunctor(F),
-    filter_: F.filter_,
-    filter: p => fa => F.filter_(fa, p),
-    partition_: F.partition_,
-    partition: p => fa => F.partition_(fa, p),
-    filterMap_: F.filterMap_,
-    filterMap: f => fa => F.filterMap_(fa, f),
-    partitionMap_: F.partitionMap_,
-    partitionMap: f => fa => F.partitionMap_(fa, f)
-  };
+export function filter(fa, predicate,
+/** @tsplus auto */
+F) {
+  return F.filter(fa, predicate);
+}
+/**
+ * @tsplus fluent fncts.Kind filterMap
+ */
+
+export function filterMap(fa, f,
+/** @tsplus auto */
+F) {
+  return F.filterMap(fa, f);
+}
+export function partition(fa, predicate,
+/** @tsplus auto */
+F) {
+  return F.partition(fa, predicate);
+}
+/**
+ * @tsplus fluent fncts.Kind partitionMap
+ */
+
+export function partitionMap(fa, f,
+/** @tsplus auto */
+F) {
+  return F.partitionMap(fa, f);
 }
 //# sourceMappingURL=Filterable.mjs.map

package/_mjs/typeclass/Filterable.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Filterable.mjs","mappings":";;AAuBA,OAAO,MAAMA,UAAU,GAAkB,EAAlC;AAaP,OAAM,SAAUC,YAAV,CAA0BC,CAA1B,EAAoD;EACxD,OAA0C,EACxC,GAAGC,0BAAQD,CAAR,CADqC;IAExCE,OAAO,EAAEF,CAAC,CAACE,OAF6B;IAGxCC,MAAM,EACAC,CAAJ,IACyBC,EAAzB,IACEL,CAAC,CAACE,OAAF,CAAUG,EAAV,EAAcD,CAAd,CANoC;IAOxCE,UAAU,EAAEN,CAAC,CAACM,UAP0B;IAQxCC,SAAS,EACHH,CAAJ,IACyBC,EAAzB,IACEL,CAAC,CAACM,UAAF,CAAaD,EAAb,EAAiBD,CAAjB,CAXoC;IAYxCI,UAAU,EAAER,CAAC,CAACQ,UAZ0B;IAaxCC,SAAS,EAAGC,CAAD,IAAQL,EAAD,IAAQL,CAAC,CAACQ,UAAF,CAAaH,EAAb,EAAiBK,CAAjB,CAbc;IAcxCC,aAAa,EAAEX,CAAC,CAACW,aAduB;IAexCC,YAAY,EAAGF,CAAD,IAAQL,EAAD,IAAQL,CAAC,CAACW,aAAF,CAAgBN,EAAhB,EAAoBK,CAApB;EAfW,CAA1C;AAiBD","names":["Filterable","mkFilterable","F","tsplus_module_2","filter_","filter","p","fa","partition_","partition","filterMap_","filterMap","f","partitionMap_","partitionMap"],"sourceRoot":"","sources":["../../_src/typeclass/Filterable.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Filterable.mjs","mappings":"AAqCA,OAAO,MAAMA,UAAU,GAAkB,EAAlC;AAUP,OAAM,SAAUC,MAAV,CACJC,EADI,EAEJC,SAFI;AAGJ;AAAoBC,CAHhB,EAGgC;EAEpC,OAAOA,CAAC,CAACH,MAAF,CAASC,EAAT,EAAaC,SAAb,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,SAAV,CACJH,EADI,EAEJI,CAFI;AAGJ;AAAoBF,CAHhB,EAGgC;EAEpC,OAAOA,CAAC,CAACC,SAAF,CAAYH,EAAZ,EAAgBI,CAAhB,CAAP;AACD;AAUD,OAAM,SAAUC,SAAV,CACJL,EADI,EAEJC,SAFI;AAGJ;AAAoBC,CAHhB,EAGgC;EAEpC,OAAOA,CAAC,CAACG,SAAF,CAAYL,EAAZ,EAAgBC,SAAhB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUK,YAAV,CACJN,EADI,EAEJI,CAFI;AAGJ;AAAoBF,CAHhB,EAGgC;EAEpC,OAAOA,CAAC,CAACI,YAAF,CAAeN,EAAf,EAAmBI,CAAnB,CAAP;AACD","names":["Filterable","filter","fa","predicate","F","filterMap","f","partition","partitionMap"],"sourceRoot":"","sources":["../../_src/typeclass/Filterable.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/FilterableWithIndex.mjs

@@ -1,18 +1,2 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
-import * as tsplus_module_2 from "@fncts/base/typeclass/FunctorWithIndex";
-import * as tsplus_module_3 from "@fncts/base/typeclass/Filterable";
 export const FilterableWithIndex = {};
-export function mkFilterableWithIndex(F) {
-  return { ...tsplus_module_2.mkFunctorWithIndex(F),
-    ...tsplus_module_3.mkFilterable(F),
-    filterWithIndex_: F.filterWithIndex_,
-    filterWithIndex: f => fa => F.filterWithIndex_(fa, f),
-    partitionWithIndex_: F.partitionWithIndex_,
-    partitionWithIndex: f => fa => F.partitionWithIndex_(fa, f),
-    filterMapWithIndex_: F.filterMapWithIndex_,
-    filterMapWithIndex: f => fa => F.filterMapWithIndex_(fa, f),
-    partitionMapWithIndex_: F.partitionMapWithIndex_,
-    partitionMapWithIndex: f => fa => F.partitionMapWithIndex_(fa, f)
-  };
-}
 //# sourceMappingURL=FilterableWithIndex.mjs.map

package/_mjs/typeclass/FilterableWithIndex.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"FilterableWithIndex.mjs","mappings":";;;AAyBA,OAAO,MAAMA,mBAAmB,GAA2B,EAApD;AAgBP,OAAM,SAAUC,qBAAV,CAAmCC,CAAnC,EAAsE;EAC1E,OAAmD,EACjD,GAAGC,mCAAiBD,CAAjB,CAD8C;IAEjD,GAAGE,6BAAWF,CAAX,CAF8C;IAGjDG,gBAAgB,EAAEH,CAAC,CAACG,gBAH6B;IAIjDC,eAAe,EACNC,CAAP,IACsBC,EAAtB,IACEN,CAAC,CAACG,gBAAF,CAAmBG,EAAnB,EAAuBD,CAAvB,CAP6C;IAQjDE,mBAAmB,EAAEP,CAAC,CAACO,mBAR0B;IASjDC,kBAAkB,EACTH,CAAP,IACsBC,EAAtB,IACEN,CAAC,CAACO,mBAAF,CAAsBD,EAAtB,EAA0BD,CAA1B,CAZ6C;IAajDI,mBAAmB,EAAET,CAAC,CAACS,mBAb0B;IAcjDC,kBAAkB,EAAGL,CAAD,IAAQC,EAAD,IAAQN,CAAC,CAACS,mBAAF,CAAsBH,EAAtB,EAA0BD,CAA1B,CAdc;IAejDM,sBAAsB,EAAEX,CAAC,CAACW,sBAfuB;IAgBjDC,qBAAqB,EAAGP,CAAD,IAAQC,EAAD,IAAQN,CAAC,CAACW,sBAAF,CAAyBL,EAAzB,EAA6BD,CAA7B;EAhBW,CAAnD;AAkBD","names":["FilterableWithIndex","mkFilterableWithIndex","F","tsplus_module_2","tsplus_module_3","filterWithIndex_","filterWithIndex","f","fa","partitionWithIndex_","partitionWithIndex","filterMapWithIndex_","filterMapWithIndex","partitionMapWithIndex_","partitionMapWithIndex"],"sourceRoot":"","sources":["../../_src/typeclass/FilterableWithIndex.ts"],"sourcesContent":[null]}
+{"version":3,"file":"FilterableWithIndex.mjs","mappings":"AAsCA,OAAO,MAAMA,mBAAmB,GAA2B,EAApD","names":["FilterableWithIndex"],"sourceRoot":"","sources":["../../_src/typeclass/FilterableWithIndex.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Foldable.mjs

@@ -1,19 +1,36 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
+export const foldLeft = foldLeft_1;
 export const Foldable = {};
 /**
- * @tsplus static fncts.FoldableOps __call
+ * @tsplus fluent fncts.Kind foldLeft
  */
 
-export function mkFoldable(F) {
-  const foldMap_ = M => (fa, f) => F.foldLeft_(fa, M.nat, (b, a) => M.combine_(b, f(a)));
+function foldLeft_1(fa, b, f,
+/** @tsplus auto */
+F) {
+  return F.foldLeft(fa, b, f);
+}
+/**
+ * @tsplus fluent fncts.Kind foldRight
+ */
+
+
+export function foldRight(fa, b, f,
+/** @tsplus auto */
+F) {
+  return F.foldRight(fa, b, f);
+}
+/**
+ * @tsplus fluent fncts.Kind foldMap
+ */
 
-  return {
-    foldLeft_: F.foldLeft_,
-    foldLeft: (b, f) => fa => F.foldLeft_(fa, b, f),
-    foldRight_: F.foldRight_,
-    foldRight: (b, f) => fa => F.foldRight_(fa, b, f),
-    foldMap_,
-    foldMap: M => f => fa => foldMap_(M)(fa, f)
-  };
+export function foldMap(fa, f,
+/** @tsplus auto */
+F,
+/** @tsplus auto */
+M) {
+  const F_1 =
+  /** @tsplus auto */
+  F;
+  return foldLeft_1(fa, M.nat, (b, a) => M.combine(b, f(a)), F_1);
 }
 //# sourceMappingURL=Foldable.mjs.map

package/_mjs/typeclass/Foldable.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Foldable.mjs","mappings":";AAmBA,OAAO,MAAMA,QAAQ,GAAgB,EAA9B;AAOP;;;;AAGA,OAAM,SAAUC,UAAV,CAAmDC,CAAnD,EAAwE;EAC5E,MAAMC,QAAQ,GAAqBC,CAAD,IAAO,CAACC,EAAD,EAAKC,CAAL,KAAWJ,CAAC,CAACK,SAAF,CAAYF,EAAZ,EAAgBD,CAAC,CAACI,GAAlB,EAAuB,CAACC,CAAD,EAAIC,CAAJ,KAAUN,CAAC,CAACO,QAAF,CAAWF,CAAX,EAAcH,CAAC,CAACI,CAAD,CAAf,CAAjC,CAApD;;EAEA,OAAqC;IACnCH,SAAS,EAAEL,CAAC,CAACK,SADsB;IAEnCK,QAAQ,EAAE,CAACH,CAAD,EAAIH,CAAJ,KAAWD,EAAD,IAAQH,CAAC,CAACK,SAAF,CAAYF,EAAZ,EAAgBI,CAAhB,EAAmBH,CAAnB,CAFO;IAGnCO,UAAU,EAAEX,CAAC,CAACW,UAHqB;IAInCC,SAAS,EAAE,CAACL,CAAD,EAAIH,CAAJ,KAAWD,EAAD,IAAQH,CAAC,CAACW,UAAF,CAAaR,EAAb,EAAiBI,CAAjB,EAAoBH,CAApB,CAJM;IAKnCH,QALmC;IAMnCY,OAAO,EAAGX,CAAD,IAAQE,CAAD,IAAQD,EAAD,IAAQF,QAAQ,CAACC,CAAD,CAAR,CAAYC,EAAZ,EAAgBC,CAAhB;EANI,CAArC;AAQD","names":["Foldable","mkFoldable","F","foldMap_","M","fa","f","foldLeft_","nat","b","a","combine_","foldLeft","foldRight_","foldRight","foldMap"],"sourceRoot":"","sources":["../../_src/typeclass/Foldable.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Foldable.mjs","mappings":"aAwBgBA,QAAQ;AALxB,OAAO,MAAMC,QAAQ,GAAgB,EAA9B;AAEP;;;;AAGA,oBACEC,EADF,EAEEC,CAFF,EAGEC,CAHF;AAIE;AAAoBC,CAJtB,EAIoC;EAElC,OAAOA,CAAC,CAACL,QAAF,CAAWE,EAAX,EAAeC,CAAf,EAAkBC,CAAlB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUE,SAAV,CACJJ,EADI,EAEJC,CAFI,EAGJC,CAHI;AAIJ;AAAoBC,CAJhB,EAI8B;EAElC,OAAOA,CAAC,CAACC,SAAF,CAAYJ,EAAZ,EAAgBC,CAAhB,EAAmBC,CAAnB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUG,OAAV,CACJL,EADI,EAEJE,CAFI;AAGJ;AAAoBC,CAHhB;AAIJ;AAAoBG,CAJhB,EAI4B;;EADhC;EAAoBH;EAGpB,OAAOI,eAAYD,CAAC,CAACE,GAAd,EAAmB,CAACP,CAAD,EAAIQ,CAAJ,KAAUH,CAAC,CAACI,OAAF,CAAUT,CAAV,EAAaC,CAAC,CAACO,CAAD,CAAd,CAA7B,EAA+CE,GAA/C,CAAP;AACD","names":["foldLeft","Foldable","fa","b","f","F","foldRight","foldMap","M","foldLeft_1","nat","a","combine","F_1"],"sourceRoot":"","sources":["../../_src/typeclass/Foldable.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/FoldableWithIndex.mjs

@@ -1,20 +1,36 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Foldable";
+export const foldLeftWithIndex = foldLeftWithIndex_1;
 export const FoldableWithIndex = {};
 /**
- * @tsplus static fncts.FoldableWithIndexOps __call
+ * @tsplus fluent fncts.Kind foldLeftWithIndex
  */
 
-export function mkFoldableWithIndex(F) {
-  const foldMapWithIndex_ = M => (fa, f) => F.foldLeftWithIndex_(fa, M.nat, (i, b, a) => M.combine_(b, f(i, a)));
+function foldLeftWithIndex_1(fa, b, f,
+/** @tsplus auto */
+F) {
+  return F.foldLeftWithIndex(fa, b, f);
+}
+/**
+ * @tsplus fluent fncts.Kind foldRightWithIndex
+ */
+
+
+export function foldRightWithIndex(fa, b, f,
+/** @tsplus auto */
+F) {
+  return F.foldRightWithIndex(fa, b, f);
+}
+/**
+ * @tsplus fluent fncts.Kind foldMapWithIndex
+ */
 
-  return { ...tsplus_module_2.mkFoldable(F),
-    foldLeftWithIndex_: F.foldLeftWithIndex_,
-    foldLeftWithIndex: (b, f) => fa => F.foldLeftWithIndex_(fa, b, f),
-    foldRightWithIndex_: F.foldRightWithIndex_,
-    foldRightWithIndex: (b, f) => fa => F.foldRightWithIndex_(fa, b, f),
-    foldMapWithIndex_,
-    foldMapWithIndex: M => f => fa => foldMapWithIndex_(M)(fa, f)
-  };
+export function foldMapWithIndex(fa, f,
+/** @tsplus auto */
+M,
+/** @tsplus auto */
+F) {
+  const F_1 =
+  /** @tsplus auto */
+  F;
+  return foldLeftWithIndex_1(fa, M.nat, (i, b, a) => M.combine(b, f(i, a)), F_1);
 }
 //# sourceMappingURL=FoldableWithIndex.mjs.map

package/_mjs/typeclass/FoldableWithIndex.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"FoldableWithIndex.mjs","mappings":";;AAsBA,OAAO,MAAMA,iBAAiB,GAAyB,EAAhD;AAOP;;;;AAGA,OAAM,SAAUC,mBAAV,CACJC,CADI,EAC0B;EAE9B,MAAMC,iBAAiB,GAA8BC,CAAD,IAAO,CAACC,EAAD,EAAKC,CAAL,KACzDJ,CAAC,CAACK,kBAAF,CAAqBF,EAArB,EAAyBD,CAAC,CAACI,GAA3B,EAAgC,CAACC,CAAD,EAAIC,CAAJ,EAAOC,CAAP,KAAaP,CAAC,CAACQ,QAAF,CAAWF,CAAX,EAAcJ,CAAC,CAACG,CAAD,EAAIE,CAAJ,CAAf,CAA7C,CADF;;EAEA,OAA8C,EAC5C,GAAGE,2BAASX,CAAT,CADyC;IAE5CK,kBAAkB,EAAEL,CAAC,CAACK,kBAFsB;IAG5CO,iBAAiB,EAAE,CAACJ,CAAD,EAAIJ,CAAJ,KAAWD,EAAD,IAAQH,CAAC,CAACK,kBAAF,CAAqBF,EAArB,EAAyBK,CAAzB,EAA4BJ,CAA5B,CAHO;IAI5CS,mBAAmB,EAAEb,CAAC,CAACa,mBAJqB;IAK5CC,kBAAkB,EAAE,CAACN,CAAD,EAAIJ,CAAJ,KAAWD,EAAD,IAAQH,CAAC,CAACa,mBAAF,CAAsBV,EAAtB,EAA0BK,CAA1B,EAA6BJ,CAA7B,CALM;IAM5CH,iBAN4C;IAO5Cc,gBAAgB,EAAGb,CAAD,IAAQE,CAAD,IAAQD,EAAD,IAAQF,iBAAiB,CAACC,CAAD,CAAjB,CAAqBC,EAArB,EAAyBC,CAAzB;EAPI,CAA9C;AASD","names":["FoldableWithIndex","mkFoldableWithIndex","F","foldMapWithIndex_","M","fa","f","foldLeftWithIndex_","nat","i","b","a","combine_","tsplus_module_2","foldLeftWithIndex","foldRightWithIndex_","foldRightWithIndex","foldMapWithIndex"],"sourceRoot":"","sources":["../../_src/typeclass/FoldableWithIndex.ts"],"sourcesContent":[null]}
+{"version":3,"file":"FoldableWithIndex.mjs","mappings":"aA6BgBA,iBAAiB;AALjC,OAAO,MAAMC,iBAAiB,GAAyB,EAAhD;AAEP;;;;AAGA,6BACEC,EADF,EAEEC,CAFF,EAGEC,CAHF;AAIE;AAAoBC,CAJtB,EAI6C;EAE3C,OAAOA,CAAC,CAACL,iBAAF,CAAoBE,EAApB,EAAwBC,CAAxB,EAA2BC,CAA3B,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUE,kBAAV,CACJJ,EADI,EAEJC,CAFI,EAGJC,CAHI;AAIJ;AAAoBC,CAJhB,EAIuC;EAE3C,OAAOA,CAAC,CAACC,kBAAF,CAAqBJ,EAArB,EAAyBC,CAAzB,EAA4BC,CAA5B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUG,gBAAV,CACJL,EADI,EAEJE,CAFI;AAGJ;AAAoBI,CAHhB;AAIJ;AAAoBH,CAJhB,EAIuC;;EAA3C;EAAoBA;EAEpB,OAAOI,wBAAqBD,CAAC,CAACE,GAAvB,EAA4B,CAACC,CAAD,EAAIR,CAAJ,EAAOS,CAAP,KAAaJ,CAAC,CAACK,OAAF,CAAUV,CAAV,EAAaC,CAAC,CAACO,CAAD,EAAIC,CAAJ,CAAd,CAAzC,EAA8DE,GAA9D,CAAP;AACD","names":["foldLeftWithIndex","FoldableWithIndex","fa","b","f","F","foldRightWithIndex","foldMapWithIndex","M","foldLeftWithIndex_1","nat","i","a","combine","F_1"],"sourceRoot":"","sources":["../../_src/typeclass/FoldableWithIndex.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Functor.mjs

@@ -1,15 +1,22 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
+export const map = map_1;
 export const Functor = {};
 /**
- * @tsplus static fncts.FunctorOps __call
+ * @tsplus fluent fncts.Kind map
  */
 
-export function mkFunctor(F) {
-  return {
-    map_: F.map_,
-    map: f => fa => F.map_(fa, f),
-    as_: (fa, b) => F.map_(fa, () => b()),
-    as: b => fa => F.map_(fa, () => b())
-  };
+function map_1(fa, f,
+/** @tsplus auto */
+F) {
+  return F.map(fa, f);
+}
+/**
+ * @tsplus fluent fncts.Kind as
+ */
+
+
+export function as(fa, b,
+/** @tsplus auto */
+F) {
+  return map_1(fa, () => b(), F);
 }
 //# sourceMappingURL=Functor.mjs.map

package/_mjs/typeclass/Functor.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Functor.mjs","mappings":";AAeA,OAAO,MAAMA,OAAO,GAAe,EAA5B;AAMP;;;;AAGA,OAAM,SAAUC,SAAV,CAAiDC,CAAjD,EAAoE;EACxE,OAAmC;IACjCC,IAAI,EAAED,CAAC,CAACC,IADyB;IAEjCC,GAAG,EAAGC,CAAD,IAAQC,EAAD,IAAQJ,CAAC,CAACC,IAAF,CAAOG,EAAP,EAAWD,CAAX,CAFa;IAGjCE,GAAG,EAAE,CAACD,EAAD,EAAKE,CAAL,KAAWN,CAAC,CAACC,IAAF,CAAOG,EAAP,EAAW,MAAME,CAAC,EAAlB,CAHiB;IAIjCC,EAAE,EAAGD,CAAD,IAAQF,EAAD,IAAQJ,CAAC,CAACC,IAAF,CAAOG,EAAP,EAAW,MAAME,CAAC,EAAlB;EAJc,CAAnC;AAMD","names":["Functor","mkFunctor","F","map_","map","f","fa","as_","b","as"],"sourceRoot":"","sources":["../../_src/typeclass/Functor.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Functor.mjs","mappings":"aAoBgBA,GAAG;AALnB,OAAO,MAAMC,OAAO,GAAe,EAA5B;AAEP;;;;AAGA,eACEC,EADF,EAEEC,CAFF;AAGE;AAAoBC,CAHtB,EAGmC;EAEjC,OAAOA,CAAC,CAACJ,GAAF,CAAME,EAAN,EAAUC,CAAV,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUE,EAAV,CACJH,EADI,EAEJI,CAFI;AAGJ;AAAoBF,CAHhB,EAG6B;EAEjC,OAAOG,UAAO,MAAMD,CAAC,EAAd,EAAkBF,CAAlB,CAAP;AACD","names":["map","Functor","fa","f","F","as","b","map_1"],"sourceRoot":"","sources":["../../_src/typeclass/Functor.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/FunctorWithIndex.mjs

@@ -1,14 +1,2 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Functor";
 export const FunctorWithIndex = {};
-/**
- * @tsplus static fncts.FunctorWithIndexOps __call
- */
-
-export function mkFunctorWithIndex(F) {
-  return { ...tsplus_module_2.mkFunctor(F),
-    mapWithIndex_: F.mapWithIndex_,
-    mapWithIndex: f => fa => F.mapWithIndex_(fa, f)
-  };
-}
 //# sourceMappingURL=FunctorWithIndex.mjs.map

package/_mjs/typeclass/FunctorWithIndex.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"FunctorWithIndex.mjs","mappings":";;AAkBA,OAAO,MAAMA,gBAAgB,GAAwB,EAA9C;AAEP;;;;AAGA,OAAM,SAAUC,kBAAV,CAA0DC,CAA1D,EAAsF;EAC1F,OAA4C,EAC1C,GAAGC,0BAAQD,CAAR,CADuC;IAE1CE,aAAa,EAAEF,CAAC,CAACE,aAFyB;IAG1CC,YAAY,EAAGC,CAAD,IAAQC,EAAD,IAAQL,CAAC,CAACE,aAAF,CAAgBG,EAAhB,EAAoBD,CAApB;EAHa,CAA5C;AAKD","names":["FunctorWithIndex","mkFunctorWithIndex","F","tsplus_module_2","mapWithIndex_","mapWithIndex","f","fa"],"sourceRoot":"","sources":["../../_src/typeclass/FunctorWithIndex.ts"],"sourcesContent":[null]}
+{"version":3,"file":"FunctorWithIndex.mjs","mappings":"AAcA,OAAO,MAAMA,gBAAgB,GAAwB,EAA9C","names":["FunctorWithIndex"],"sourceRoot":"","sources":["../../_src/typeclass/FunctorWithIndex.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Guard/api.mjs

@@ -0,0 +1,23 @@
+import * as tsplus_module_1 from "@fncts/base/data/Refinement/api";
+import * as tsplus_module_2 from "@fncts/base/typeclass/Guard/definition";
+import { AssertionError } from "@fncts/base/util/assert";
+/**
+ * @tsplus fluent fncts.Guard __call
+ */
+
+export function is(self, u) {
+  return self.is(u);
+}
+export function refine(self, predicate) {
+  return tsplus_module_2.makeGuard(tsplus_module_1.and(self.is, predicate));
+}
+/**
+ * @tsplus fluent fncts.Guard assert
+ */
+
+export function assert(self, u) {
+  if (!self.is(u)) {
+    throw new AssertionError("Guard failed check failed");
+  }
+}
+//# sourceMappingURL=api.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"api.mjs","mappings":";;AAIA,SAASA,cAAT,QAA+B,yBAA/B;AAGA;;;;AAGA,OAAM,SAAUC,EAAV,CAAgBC,IAAhB,EAAgCC,CAAhC,EAA0C;EAC9C,OAAOD,IAAI,CAACD,EAAL,CAAQE,CAAR,CAAP;AACD;AAQD,OAAM,SAAUC,MAAV,CAAoBF,IAApB,EAAoCG,SAApC,EAA2D;EAC/D,OAAOC,8CAAMJ,IAAI,CAACD,EAAX,EAAiBI,SAAjB,EAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,MAAV,CAAoBL,IAApB,EAAoCC,CAApC,EAA8C;EAClD,IAAI,CAACD,IAAI,CAACD,EAAL,CAAQE,CAAR,CAAL,EAAiB;IACf,MAAM,IAAIH,cAAJ,CAAmB,2BAAnB,CAAN;EACD;AACF","names":["AssertionError","is","self","u","refine","predicate","tsplus_module_2","assert"],"sourceRoot":"","sources":["../../../_src/typeclass/Guard/api.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Guard/definition.mjs

@@ -0,0 +1,23 @@
+import * as tsplus_module_1 from "@fncts/typelevel/HKT";
+export const GuardTypeId = /*#__PURE__*/Symbol.for("fncts.Guard");
+/**
+ * @tsplus type fncts.Guard
+ * @tsplus companion fncts.GuardOps
+ */
+
+export class Guard {
+  constructor(is) {
+    this.is = is;
+    this._typeId = GuardTypeId;
+  }
+
+}
+tsplus_module_1.HKT.F, tsplus_module_1.HKT.A, tsplus_module_1.HKT.T;
+/**
+ * @tsplus static fncts.GuardOps __call
+ */
+
+export function makeGuard(refinement) {
+  return new Guard(refinement);
+}
+//# sourceMappingURL=definition.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definition.mjs","mappings":";AAEA,OAAO,MAAMA,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;AAGP;;;;;AAIA,OAAM,MAAOC,KAAP,CAAY;EAKhBC,YAAqBC,EAArB,EAA+C;IAA1B;IAJZ,eAAuBL,WAAvB;EAI0C;;AALnC;AAENM,oBAAIC,CAAJ,EACAD,oBAAIE,CADJ,EAEAF,oBAAIG,CAFJ;AAMZ;;;;AAGA,OAAM,SAAUC,SAAV,CAAuBC,UAAvB,EAAyD;EAC7D,OAAO,IAAIR,KAAJ,CAAUQ,UAAV,CAAP;AACD","names":["GuardTypeId","Symbol","for","Guard","constructor","is","tsplus_module_1","F","A","T","makeGuard","refinement"],"sourceRoot":"","sources":["../../../_src/typeclass/Guard/definition.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Guard/derivations.mjs

@@ -0,0 +1,67 @@
+import * as tsplus_module_1 from "@fncts/base/typeclass/Guard/definition";
+import * as tsplus_module_2 from "@fncts/base/util/predicates";
+/**
+ * @tsplus derive fncts.Guard lazy
+ */
+
+export function deriveLazy(f) {
+  let cached;
+  const guard = tsplus_module_1.makeGuard(u => {
+    if (!cached) {
+      cached = f(guard);
+    }
+
+    return cached.is(u);
+  });
+  return guard;
+}
+/**
+ * @tsplus derive fncts.Guard<_> 20
+ */
+
+export function deriveLiteral(...[value]) {
+  return tsplus_module_1.makeGuard(u => u === value);
+}
+/**
+ * @tsplus derive fncts.Guard<_> 20
+ */
+
+export function deriveStruct(...[requiredFields, optionalFields]) {
+  return tsplus_module_1.makeGuard(u => {
+    if (!tsplus_module_2.isObject(u)) {
+      return false;
+    }
+
+    for (const key in requiredFields) {
+      if (!(key in u) || !requiredFields[key].is(u[key])) {
+        return false;
+      }
+    }
+
+    if (optionalFields) {
+      for (const key in optionalFields) {
+        if (key in u && typeof u[key] !== "undefined" && !optionalFields[key].is(u[key])) {
+          return false;
+        }
+      }
+    }
+
+    return true;
+  });
+}
+/**
+ * @tsplus derive fncts.Guard<|> 30
+ */
+
+export function deriveUnion(...members) {
+  return tsplus_module_1.makeGuard(u => {
+    for (const member of members) {
+      if (member.is(u)) {
+        return true;
+      }
+    }
+
+    return false;
+  });
+}
+//# sourceMappingURL=derivations.mjs.map

package/_mjs/typeclass/Guard/derivations.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivations.mjs","mappings":";;AAGA;;;;AAGA,OAAM,SAAUA,UAAV,CACJC,CADI,EACwB;EAE5B,IAAIC,MAAJ;EACA,MAAMC,KAAK,GAAaC,0BAAOC,CAAD,IAAuB;IACnD,IAAI,CAACH,MAAL,EAAa;MACXA,MAAM,GAAGD,CAAC,CAACE,KAAD,CAAV;IACD;;IACD,OAAOD,MAAM,CAACI,EAAP,CAAUD,CAAV,CAAP;EACD,CALuB,CAAxB;EAMA,OAAOF,KAAP;AACD;AAED;;;;AAGA,OAAM,SAAUI,aAAV,CACJ,GAAG,CAACC,KAAD,CADC,EACuG;EAE3G,OAAOJ,0BAAOC,CAAD,IAAeA,CAAC,KAAKG,KAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,YAAV,CACJ,GAAG,CAACC,cAAD,EAAiBC,cAAjB,CADC,EAaK;EAET,OAAOP,0BAAOC,CAAD,IAAc;IACzB,IAAI,CAACO,yBAASP,CAAT,CAAL,EAAkB;MAChB,OAAO,KAAP;IACD;;IAED,KAAK,MAAMQ,GAAX,IAAkBH,cAAlB,EAAkC;MAChC,IAAI,EAAEG,GAAG,IAAIR,CAAT,KAAe,CAAEK,cAAc,CAACG,GAAD,CAAd,CAAmCP,EAAnC,CAAsCD,CAAC,CAACQ,GAAD,CAAvC,CAArB,EAAoE;QAClE,OAAO,KAAP;MACD;IACF;;IACD,IAAIF,cAAJ,EAAoB;MAClB,KAAK,MAAME,GAAX,IAAkBF,cAAlB,EAAkC;QAChC,IAAIE,GAAG,IAAIR,CAAP,IAAY,OAAOA,CAAC,CAACQ,GAAD,CAAR,KAAkB,WAA9B,IAA6C,CAAEF,cAAc,CAACE,GAAD,CAAd,CAAmCP,EAAnC,CAAsCD,CAAC,CAACQ,GAAD,CAAvC,CAAnD,EAAkG;UAChG,OAAO,KAAP;QACD;MACF;IACF;;IACD,OAAO,IAAP;EACD,CAlBM,CAAP;AAmBD;AAED;;;;AAGA,OAAM,SAAUC,WAAV,CAA2C,GAAGC,OAA9C,EAAsF;EAC1F,OAAOX,0BAAOC,CAAD,IAAsB;IACjC,KAAK,MAAMW,MAAX,IAAqBD,OAArB,EAA8B;MAC5B,IAAGC,MAAM,CAACV,EAAP,CAAUD,CAAV,CAAH,EAAiB;QACf,OAAO,IAAP;MACD;IACF;;IACD,OAAO,KAAP;EACD,CAPM,CAAP;AAQD","names":["deriveLazy","f","cached","guard","tsplus_module_1","u","is","deriveLiteral","value","deriveStruct","requiredFields","optionalFields","tsplus_module_2","key","deriveUnion","members","member"],"sourceRoot":"","sources":["../../../_src/typeclass/Guard/derivations.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Guard.mjs

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

package/_mjs/typeclass/Guard.mjs.map

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

package/_mjs/typeclass/HashEq.mjs

@@ -1,4 +1,4 @@
-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/Hashable/hash";
 import * as tsplus_module_3 from "@fncts/base/typeclass/Equatable/api";
 export const mkHashEq = mkHashEq_1;
@@ -19,7 +19,7 @@ function mkHashEq_1(F) {
 
 export const StructuralStrict = /*#__PURE__*/mkHashEq_1({
   hash: tsplus_module_2.hashUnknown,
-  equals_: tsplus_module_3.strictEquals
+  equals: tsplus_module_3.strictEquals
 });
 /**
  * @tsplus static fncts.HashEqOps StructuralDeep
@@ -27,6 +27,6 @@ export const StructuralStrict = /*#__PURE__*/mkHashEq_1({
 
 export const StructuralDeep = /*#__PURE__*/mkHashEq_1({
   hash: tsplus_module_2.hashUnknown,
-  equals_: tsplus_module_3.deepEquals
+  equals: tsplus_module_3.deepEquals
 });
 //# sourceMappingURL=HashEq.mjs.map

package/_mjs/typeclass/HashEq.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"HashEq.mjs","mappings":";;;aAsBgBA,QAAQ;AAPxB,OAAO,MAAMC,MAAM,GAAc,EAA1B;AAIP;;;;AAGA,oBAA4BC,CAA5B,EAA2C;EACzC,OAAO,EACL,GAAGC,qBAAGD,CAAH,CADE;IAELE,IAAI,EAAEF,CAAC,CAACE;EAFH,CAAP;AAID;AAED;;;;;AAGA,OAAO,MAAMC,gBAAgB,gBAAGC,WAAO;EACrCF,IAAI,6BADiC;EAErCG,OAAO;AAF8B,CAAP,CAAzB;AAKP;;;;AAGA,OAAO,MAAMC,cAAc,gBAAGF,WAAO;EACnCF,IAAI,6BAD+B;EAEnCG,OAAO;AAF4B,CAAP,CAAvB","names":["mkHashEq","HashEq","F","tsplus_module_1","hash","StructuralStrict","mkHashEq_1","equals_","StructuralDeep"],"sourceRoot":"","sources":["../../_src/typeclass/HashEq.ts"],"sourcesContent":[null]}
+{"version":3,"file":"HashEq.mjs","mappings":";;;aAqBgBA,QAAQ;AAPxB,OAAO,MAAMC,MAAM,GAAc,EAA1B;AAIP;;;;AAGA,oBAA4BC,CAA5B,EAA2C;EACzC,OAAO,EACL,GAAGC,qBAAGD,CAAH,CADE;IAELE,IAAI,EAAEF,CAAC,CAACE;EAFH,CAAP;AAID;AAED;;;;;AAGA,OAAO,MAAMC,gBAAgB,gBAAGC,WAAO;EACrCF,IAAI,6BADiC;EAErCG,MAAM;AAF+B,CAAP,CAAzB;AAKP;;;;AAGA,OAAO,MAAMC,cAAc,gBAAGF,WAAO;EACnCF,IAAI,6BAD+B;EAEnCG,MAAM;AAF6B,CAAP,CAAvB","names":["mkHashEq","HashEq","F","tsplus_module_1","hash","StructuralStrict","mkHashEq_1","equals","StructuralDeep"],"sourceRoot":"","sources":["../../_src/typeclass/HashEq.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/Monad.mjs

@@ -1,14 +1,2 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Applicative";
-import * as tsplus_module_3 from "@fncts/base/typeclass/Chain";
 export const Monad = {};
-/**
- * @tsplus static fncts.MonadOps __call
- */
-
-export function mkMonad(F) {
-  return { ...tsplus_module_2.mkApplicative(F),
-    ...tsplus_module_3.mkFlatMap(F)
-  };
-}
 //# sourceMappingURL=Monad.mjs.map

package/_mjs/typeclass/Monad.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Monad.mjs","mappings":";;;AAaA,OAAO,MAAMA,KAAK,GAAa,EAAxB;AAIP;;;;AAGA,OAAM,SAAUC,OAAV,CAAgDC,CAAhD,EAAkE;EACtE,OAAkC,EAChC,GAAGC,8BAAYD,CAAZ,CAD6B;IAEhC,GAAGE,0BAAQF,CAAR;EAF6B,CAAlC;AAID","names":["Monad","mkMonad","F","tsplus_module_2","tsplus_module_3"],"sourceRoot":"","sources":["../../_src/typeclass/Monad.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Monad.mjs","mappings":"AAUA,OAAO,MAAMA,KAAK,GAAa,EAAxB","names":["Monad"],"sourceRoot":"","sources":["../../_src/typeclass/Monad.ts"],"sourcesContent":[null]}

package/_mjs/typeclass/MonadExcept.mjs

@@ -1,17 +1,13 @@
-import * as tsplus_module_1 from "@fncts/typelevel/HKT";
-import * as tsplus_module_2 from "@fncts/base/typeclass/Monad";
-import * as tsplus_module_3 from "@fncts/base/typeclass/ApplicativeExcept";
-import * as tsplus_module_4 from "@fncts/base/data/Either/destructors";
-export const absolveF = absolveF_1;
+import * as tsplus_module_1 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_2 from "@fncts/base/typeclass/Chain";
 export const MonadExcept = {};
-export function mkMonadExcept(F) {
-  return { ...tsplus_module_2.mkMonad(F),
-    ...tsplus_module_3.mkApplicativeExcept(F),
-    absolve: absolveF_1(F)
-  };
-}
+/**
+ * @tsplus fluent fncts.Kind absolve
+ */
 
-function absolveF_1(F) {
-  return fa => F.flatMap_(fa, r => tsplus_module_4.match_(r, F.fail, F.pure));
+export function absolve(fa,
+/** @tsplus auto */
+F) {
+  return tsplus_module_2.flatMap(fa, r => tsplus_module_1.match_(r, F.fail, F.pure), F);
 }
 //# sourceMappingURL=MonadExcept.mjs.map

package/_mjs/typeclass/MonadExcept.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"MonadExcept.mjs","mappings":";;;;aA4CgBA,QAAQ;AA1BxB,OAAO,MAAMC,WAAW,GAAmB,EAApC;AAQP,OAAM,SAAUC,aAAV,CAA2BC,CAA3B,EAAyD;EAC7D,OAA8C,EAC5C,GAAGC,wBAAMD,CAAN,CADyC;IAE5C,GAAGE,oCAAkBF,CAAlB,CAFyC;IAG5CG,OAAO,EAAEC,WAASJ,CAAT;EAHmC,CAA9C;AAKD;;AAYD,oBAA4BA,CAA5B,EAA0D;EACxD,OAAQK,EAAD,IAAQL,CAAC,CAACM,QAAF,CAAWD,EAAX,EAAgBE,CAAD,IAAOC,0BAAQR,CAAC,CAACS,IAAV,EAAgBT,CAAC,CAACU,IAAlB,CAAtB,CAAf;AACD","names":["absolveF","MonadExcept","mkMonadExcept","F","tsplus_module_2","tsplus_module_3","absolve","absolveF_1","fa","flatMap_","r","tsplus_module_4","fail","pure"],"sourceRoot":"","sources":["../../_src/typeclass/MonadExcept.ts"],"sourcesContent":[null]}
+{"version":3,"file":"MonadExcept.mjs","mappings":";;AAaA,OAAO,MAAMA,WAAW,GAAmB,EAApC;AAEP;;;;AAGA,OAAM,SAAUC,OAAV,CACJC,EADI;AAEJ;AAAoBC,CAFhB,EAEiC;EAErC,OAAOC,4BAAYC,CAAD,IAAOC,0BAAQH,CAAC,CAACI,IAAV,EAAgBJ,CAAC,CAACK,IAAlB,CAAlB,EAA2CL,CAA3C,CAAP;AACD","names":["MonadExcept","absolve","fa","F","tsplus_module_2","r","tsplus_module_1","fail","pure"],"sourceRoot":"","sources":["../../_src/typeclass/MonadExcept.ts"],"sourcesContent":[null]}