@fncts/base 0.0.3 → 0.0.6

package/_mjs/collection/immutable/ImmutableArray/api.mjs

@@ -1,25 +1,28 @@
 import * as tsplus_module_1 from "@fncts/base/data/These/constructors";
 import * as tsplus_module_2 from "@fncts/base/collection/immutable/ImmutableArray/constructors";
-import * as tsplus_module_3 from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/api";
-import * as tsplus_module_4 from "@fncts/base/data/Maybe/definition";
-import * as tsplus_module_5 from "@fncts/base/control/Eval/constructors";
-import * as tsplus_module_6 from "@fncts/base/control/Eval/instance";
-import * as tsplus_module_7 from "@fncts/base/control/Eval/api";
-import * as tsplus_module_8 from "@fncts/base/control/Eval/run";
-import * as tsplus_module_9 from "@fncts/base/data/Maybe/constructors";
-import * as tsplus_module_10 from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/constructors";
-import * as tsplus_module_11 from "@fncts/base/collection/immutable/Dictionary/api";
-import * as tsplus_module_12 from "@fncts/base/collection/immutable/Dictionary/definition";
-import * as tsplus_module_13 from "@fncts/base/typeclass/Ord/instances";
-import * as tsplus_module_14 from "@fncts/base/data/function/api";
-import * as tsplus_module_15 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_3 from "@fncts/base/collection/immutable/ImmutableArray/api/slice";
+import * as tsplus_module_4 from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/definition";
+import * as tsplus_module_5 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_6 from "@fncts/base/control/Eval/constructors";
+import * as tsplus_module_7 from "@fncts/base/control/Eval/instance";
+import * as tsplus_module_8 from "@fncts/base/control/Eval/api";
+import * as tsplus_module_9 from "@fncts/base/control/Eval/run";
+import * as tsplus_module_10 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_11 from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/constructors";
+import * as tsplus_module_12 from "@fncts/base/collection/immutable/Dictionary/api";
+import * as tsplus_module_13 from "@fncts/base/collection/immutable/Dictionary/definition";
+import * as tsplus_module_14 from "@fncts/base/typeclass/Ord/instances";
+import * as tsplus_module_15 from "@fncts/base/typeclass/Apply";
+import * as tsplus_module_16 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_17 from "@fncts/base/typeclass/Functor";
 export const alignWith_ = alignWith_1;
 export const append_ = append_1;
+export const crossWith_ = crossWith_1;
 export const flatMapWithIndex_ = flatMapWithIndex_1;
 export const flatMap_ = flatMap_1;
 export const flatten = flatten_1;
-export const chop_ = chop_1;
 export const concat_ = concat_1;
+export const elem_ = elem_1;
 export const everyWithIndex_ = everyWithIndex_1;
 export const filter_ = filter_1;
 export const filterWithIndex_ = filterWithIndex_1;
@@ -30,16 +33,14 @@ export const findLastMapWithIndex_ = findLastMapWithIndex_1;
 export const foldLeftWithIndex_ = foldLeftWithIndex_1;
 export const foldLeft_ = foldLeft_1;
 export const foldLeftWithIndexWhile_ = foldLeftWithIndexWhile_1;
-export const foldSelf = foldSelf_1;
-export const foldMapWithIndexSelf = foldMapWithIndexSelf_1;
+export const fold = fold_1;
+export const foldMapWithIndex_ = foldMapWithIndex_1;
 export const foldRightWithIndex_ = foldRightWithIndex_1;
 export const foldRightWithIndexWhile_ = foldRightWithIndexWhile_1;
 export const forEach_ = forEach_1;
 export const get_ = get_1;
 export const isEmpty = isEmpty_1;
-export const isNonEmpty = isNonEmpty_1;
 export const isOutOfBound_ = isOutOfBound_1;
-export const length = length_1;
 export const map_ = map_1;
 export const mapWithIndex_ = mapWithIndex_1;
 export const mutate_ = mutate_1;
@@ -52,14 +53,13 @@ export const rotate_ = rotate_1;
 export const sort = sort_1;
 export const spanIndexLeft_ = spanIndexLeft_1;
 export const spanIndexRight_ = spanIndexRight_1;
-export const slice_ = slice_1;
-export const splitAt_ = splitAt_1;
 export const unsafeGet = unsafeGet_1;
 export const unsafeAsMutable = unsafeAsMutable_1;
 export const unsafeDeleteAt_ = unsafeDeleteAt_1;
 export const unsafeInsertAt_ = unsafeInsertAt_1;
 export const unsafeModifyAt_ = unsafeModifyAt_1;
 export const unsafeUpdateAt_ = unsafeUpdateAt_1;
+export const witherWithIndex_ = witherWithIndex_1;
 export const zipWith_ = zipWith_1;
 import { identity, tuple } from "@fncts/base/data/function";
 import * as P from "@fncts/base/typeclass";
@@ -135,19 +135,28 @@ function append_1(self, last) {
  */
 
 
-export function crossWith_(self, fb, f) {
+function crossWith_1(self, fb, f) {
   return flatMap_1(self, a => map_1(fb, b => f(a, b)));
 }
+/**
+ * @tsplus fluent fncts.ImmutableArray cross
+ */
+
+
+export function cross_(self, fb) {
+  return crossWith_1(self, fb, tuple);
+}
 /**
  * @tsplus static fncts.ImmutableArrayOps chainRecDepthFirst
  */
 
 export function chainRecDepthFirst(a, f) {
-  const buffer = unsafeAsMutable_1(slice_1(f(a)));
+  const buffer = unsafeAsMutable_1(tsplus_module_3.slice_(f(a)));
   const out = [];
 
   while (buffer.length > 0) {
     const e = buffer.shift();
+    void 0;
 
     if (e._tag === "Left"
     /* EitherTag.Left */
@@ -170,6 +179,8 @@ export function chainRecBreadthFirst(a, f) {
   const out = [];
 
   function go(e) {
+    void 0;
+
     if (e._tag === "Left") {
       forEach_1(f(e.left), v => buffer.push(v));
     } else {
@@ -247,11 +258,11 @@ function flatten_1(self) {
  */
 
 
-function chop_1(as, f) {
+export function chop_(as, f) {
   const result = [];
   let cs = as;
 
-  while (isNonEmpty_1(cs)) {
+  while (tsplus_module_4.isNonEmpty(cs)) {
     const [b, c] = f(cs);
     result.push(b);
     cs = c;
@@ -259,15 +270,7 @@ function chop_1(as, f) {
 
   return tsplus_module_2.asImmutableArray(result);
 }
-
 export const chop = f => as => chop_(as, f);
-/**
- * @tsplus fluent fncts.ImmutableArray chunksOf
- */
-
-export function chunksOf_(self, n) {
-  return chop_1(self, as => tsplus_module_3.splitAt_(as, n));
-}
 /**
  * @tsplus fluent fncts.ImmutableArray collectWhile
  */
@@ -275,10 +278,10 @@ export function chunksOf_(self, n) {
 export function collectWhile_(as, f) {
   const result = [];
 
-  for (let i = 0; i < length_1(as); i++) {
+  for (let i = 0; i < tsplus_module_4.length(as); i++) {
     const o = f(as._array[i]);
 
-    if (tsplus_module_4.isJust(o)) {
+    if (tsplus_module_5.isJust(o)) {
       result.push(o.value);
     } else {
       break;
@@ -290,19 +293,18 @@ export function collectWhile_(as, f) {
 
 function comprehensionLoop(scope, input, f, g) {
   if (input.length === 0) {
-    return g(...scope) ? tsplus_module_5.now(tsplus_module_2.make(f(...scope))) : tsplus_module_5.now(tsplus_module_2.empty());
+    return g(...scope) ? tsplus_module_6.now(tsplus_module_2.make(f(...scope))) : tsplus_module_6.now(tsplus_module_2.empty());
   } else {
-    return tsplus_module_7.map_(traverseSelf_1(input[0])(tsplus_module_6.Applicative)(a => comprehensionLoop(append_1(scope, a), input.slice(1), f, g)), rs => flatten_1(rs));
+    return tsplus_module_8.map_(traverse_1(input[0], a => comprehensionLoop(append_1(scope, a), input.slice(1), f, g), tsplus_module_7.Applicative), rs => flatten_1(rs));
   }
 }
 
 export function comprehension(input, f, g = () => true) {
-  return tsplus_module_8.run(comprehensionLoop(tsplus_module_2.empty(), input, f, g));
+  return tsplus_module_9.run(comprehensionLoop(tsplus_module_2.empty(), input, f, g));
 }
 /**
  * @tsplus fluent fncts.ImmutableArray concat
  * @tsplus operator fncts.ImmutableArray +
- * @tsplus operator fncts.base.MutableArray +
  */
 
 function concat_1(self, that) {
@@ -336,85 +338,69 @@ function concat_1(self, that) {
 
 
 export function deleteAt_(as, i) {
-  return isOutOfBound_1(as, i) ? tsplus_module_9.nothing() : tsplus_module_9.just(unsafeDeleteAt_1(as, i));
-}
-/**
- * @constrained
- */
-
-export function difference_(E) {
-  const elemE_ = elem_(E);
-  return (self, ys) => filter_1(self, a => !elemE_(ys, a));
+  return isOutOfBound_1(as, i) ? tsplus_module_10.nothing() : tsplus_module_10.just(unsafeDeleteAt_1(as, i));
 }
 /**
- * @tsplus getter fncts.ImmutableArray difference
+ * @tsplus fluent fncts.ImmutableArray difference
  */
 
-export function differenceSelf(self) {
-  return E => that => difference_(E)(self, that);
+export function difference_(self, ys,
+/** @tsplus auto */
+E) {
+  return filter_1(self, a => !elem_1(ys, a, E));
 }
 /**
  * @tsplus fluent fncts.ImmutableArray drop
  */
 
 export function drop_(self, n) {
-  return slice_1(self, n);
+  return tsplus_module_3.slice_(self, n);
 }
 /**
  * @tsplus fluent fncts.ImmutableArray dropLast
  */
 
 export function dropLast_(self, n) {
-  return slice_1(self, 0, length_1(self) - n);
+  return tsplus_module_3.slice_(self, 0, tsplus_module_4.length(self) - n);
 }
 /**
  * @tsplus fluent fncts.ImmutableArray dropWhile
  */
 
 export function dropWhile_(self, p) {
-  return slice_1(self, spanIndexLeft_1(self, p));
+  return tsplus_module_3.slice_(self, spanIndexLeft_1(self, p));
 }
 /**
  * @tsplus fluent fncts.ImmutableArray dropLastWhile
  */
 
 export function dropLastWhile_(as, p) {
-  return slice_1(as, 0, spanIndexRight_1(as, p) + 1);
+  return tsplus_module_3.slice_(as, 0, spanIndexRight_1(as, p) + 1);
 }
 /**
  * Test if a value is a member of an array. Takes an `Eq<A>` as a single
  * argument which returns the function to use to search for a value of type `A` in
  * an array of type `ImmutableArray<A>`.
  *
- * @constrained
+ * @tsplus fluent fncts.ImmutableArray elem
  */
 
-export function elem_(E) {
-  return (as, a) => {
-    const predicate = element => E.equals_(element, a);
+function elem_1(as, a,
+/** @tsplus auto */
+E) {
+  const predicate = element => E.equals(element, a);
 
-    const len = length_1(as);
+  const len = tsplus_module_4.length(as);
 
-    for (let i = 0; i < len; i++) {
-      if (predicate(as._array[i])) {
-        return true;
-      }
+  for (let i = 0; i < len; i++) {
+    if (predicate(as._array[i])) {
+      return true;
     }
+  }
 
-    return false;
-  };
+  return false;
 }
-/**
- * Test if a value is a member of an array. Takes an `Eq<A>` as a single
- * argument which returns the function to use to search for a value of type `A` in
- * an array of type `ImmutableArray<A>`.
- *
- * @tsplus getter fncts.ImmutableArray elem
- */
 
-export function elemSelf(self) {
-  return E => a => elem_(E)(self, a);
-}
 export function every_(self, p) {
   return everyWithIndex_1(self, (_, a) => p(a));
 }
@@ -423,7 +409,7 @@ function everyWithIndex_1(self, p) {
   let result = true;
   let i = 0;
 
-  while (result && i < length_1(self)) {
+  while (result && i < tsplus_module_4.length(self)) {
     result = p(i, self._array[i]);
     i++;
   }
@@ -439,7 +425,7 @@ export function exists_(self, p) {
   let result = false;
   let i = 0;
 
-  while (!result && i < length_1(self)) {
+  while (!result && i < tsplus_module_4.length(self)) {
     result = p(self._array[i]);
     i++;
   }
@@ -454,7 +440,7 @@ function filter_1(self, p) {
 function filterWithIndex_1(self, p) {
   const result = [];
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     const a = self._array[i];
 
     if (p(i, a)) {
@@ -472,10 +458,10 @@ function filterWithIndex_1(self, p) {
 function filterMapWithIndex_1(fa, f) {
   const result = [];
 
-  for (let i = 0; i < length_1(fa); i++) {
+  for (let i = 0; i < tsplus_module_4.length(fa); i++) {
     const maybeB = f(i, unsafeGet_1(fa, i));
 
-    if (tsplus_module_4.isJust(maybeB)) {
+    if (tsplus_module_5.isJust(maybeB)) {
       result.push(maybeB.value);
     }
   }
@@ -498,19 +484,19 @@ export function find_(self, p) {
  */
 
 export function findIndex_(as, predicate) {
-  return findMapWithIndex_1(as, (i, a) => predicate(a) ? tsplus_module_9.just(i) : tsplus_module_9.nothing());
+  return findMapWithIndex_1(as, (i, a) => predicate(a) ? tsplus_module_10.just(i) : tsplus_module_10.nothing());
 }
 
 function findWithIndex_1(as, p) {
-  const len = length_1(as);
+  const len = tsplus_module_4.length(as);
 
   for (let i = 0; i < len; i++) {
     if (p(i, as._array[i])) {
-      return tsplus_module_9.just(as._array[i]);
+      return tsplus_module_10.just(as._array[i]);
     }
   }
 
-  return tsplus_module_9.nothing();
+  return tsplus_module_10.nothing();
 }
 /**
  * @tsplus fluent fncts.ImmutableArray findMap
@@ -525,36 +511,36 @@ export function findMap_(as, f) {
  */
 
 function findMapWithIndex_1(as, f) {
-  const len = length_1(as);
+  const len = tsplus_module_4.length(as);
 
   for (let i = 0; i < len; i++) {
     const v = f(i, as._array[i]);
 
-    if (tsplus_module_4.isJust(v)) {
+    if (tsplus_module_5.isJust(v)) {
       return v;
     }
   }
 
-  return tsplus_module_9.nothing();
+  return tsplus_module_10.nothing();
 }
 
 export function findLast_(as, p) {
-  const len = length_1(as);
+  const len = tsplus_module_4.length(as);
 
   for (let i = len - 1; i >= 0; i--) {
     if (p(as._array[i])) {
-      return tsplus_module_9.just(as._array[i]);
+      return tsplus_module_10.just(as._array[i]);
     }
   }
 
-  return tsplus_module_9.nothing();
+  return tsplus_module_10.nothing();
 }
 /**
  * @tsplus fluent fncts.ImmutableArray findLastIndex
  */
 
 export function findLastIndex_(self, p) {
-  return findLastMapWithIndex_1(self, (i, a) => p(a) ? tsplus_module_9.just(i) : tsplus_module_9.nothing());
+  return findLastMapWithIndex_1(self, (i, a) => p(a) ? tsplus_module_10.just(i) : tsplus_module_10.nothing());
 }
 /**
  * @tsplus fluent fncts.ImmutableArray findLastMap
@@ -568,17 +554,17 @@ export function findLastMap_(as, f) {
  */
 
 function findLastMapWithIndex_1(as, f) {
-  const len = length_1(as);
+  const len = tsplus_module_4.length(as);
 
   for (let i = len - 1; i >= 0; i--) {
     const v = f(i, as._array[i]);
 
-    if (tsplus_module_4.isJust(v)) {
+    if (tsplus_module_5.isJust(v)) {
       return v;
     }
   }
 
-  return tsplus_module_9.nothing();
+  return tsplus_module_10.nothing();
 }
 /**
  * @tsplus fluent fncts.ImmutableArray foldLeftWithIndex
@@ -587,7 +573,7 @@ function findLastMapWithIndex_1(as, f) {
 
 
 function foldLeftWithIndex_1(self, b, f) {
-  const len = length_1(self);
+  const len = tsplus_module_4.length(self);
   let r = b;
 
   for (let i = 0; i < len; i++) {
@@ -623,70 +609,51 @@ function foldLeftWithIndexWhile_1(self, b, p, f) {
   let out = b;
   let cont = p(out);
 
-  for (let i = 0; cont && i < length_1(self); i++) {
+  for (let i = 0; cont && i < tsplus_module_4.length(self); i++) {
     out = f(i, out, self._array[i]);
     cont = p(out);
   }
 
   return out;
 }
-
-export function fold(M) {
-  return self => foldLeft_1(self, M.nat, M.combine_);
-}
 /**
  * @tsplus fluent fncts.ImmutableArray fold
- * @tsplus fluent fncts.base.MutableArray fold
- */
-
-function foldSelf_1(self, M) {
-  return foldLeft_1(self, M.nat, M.combine_);
-}
-/**
- * @constrained
  */
 
 
-export function foldMapWithIndex_(M) {
-  return (self, f) => {
-    return foldLeftWithIndex_1(self, M.nat, (i, b, a) => M.combine_(b, f(i, a)));
-  };
-}
-/**
- * @tsplus getter fncts.ImmutableArray foldMapWithIndex
- * @tsplus getter fncts.base.MutableArray foldMapWithIndex
- */
-
-function foldMapWithIndexSelf_1(self) {
-  return M => f => foldMapWithIndex_(M)(self, f);
+function fold_1(self,
+/** @tsplus auto */
+M) {
+  return foldLeft_1(self, M.nat, M.combine);
 }
 /**
- * @constrained
+ * @tsplus fluent fncts.ImmutableArray foldMapWithIndex
  */
 
 
-export function foldMap_(M) {
-  return (self, f) => {
-    return foldMapWithIndexSelf_1(self)(M)((_, a) => f(a));
-  };
+function foldMapWithIndex_1(self, f,
+/** @tsplus auto */
+M) {
+  return foldLeftWithIndex_1(self, M.nat, (i, b, a) => M.combine(b, f(i, a)));
 }
 /**
- * @tsplus getter fncts.ImmutableArray foldMap
- * @tsplus getter fncts.base.MutableArray foldMap
+ * @tsplus fluent fncts.ImmutableArray foldMap
  */
 
-export function foldMapSelf(self) {
-  return M => f => foldMapWithIndexSelf_1(self)(M)((_, a) => f(a));
+
+export function foldMap_(self, f,
+/** @tsplus auto */
+M) {
+  return foldMapWithIndex_1(self, (_, a) => f(a), M);
 }
 /**
  * @tsplus fluent fncts.ImmutableArray foldRightWithIndex
- * @tsplus fluent fncts.base.MutableArray foldRightWithIndex
  */
 
 function foldRightWithIndex_1(self, b, f) {
   let r = b;
 
-  for (let i = length_1(self) - 1; i >= 0; i--) {
+  for (let i = tsplus_module_4.length(self) - 1; i >= 0; i--) {
     r = f(i, self._array[i], r);
   }
 
@@ -694,7 +661,6 @@ function foldRightWithIndex_1(self, b, f) {
 }
 /**
  * @tsplus fluent fncts.ImmutableArray foldRight
- * @tsplus fluent fncts.base.MutableArray foldRight
  */
 
 
@@ -703,7 +669,6 @@ export function foldRight_(self, b, f) {
 }
 /**
  * @tsplus fluent fncts.ImmutableArray foldRighWhile
- * @tsplus fluent fncts.base.MutableArray foldRightWhile
  */
 
 export function foldRightWhile_(self, b, p, f) {
@@ -711,14 +676,13 @@ export function foldRightWhile_(self, b, p, f) {
 }
 /**
  * @tsplus fluent fncts.ImmutableArray foldRightWithIndexWhile
- * @tsplus fluent fncts.base.MutableArray foldRightWithIndexWhile
  */
 
 function foldRightWithIndexWhile_1(self, b, predicate, f) {
   let out = b;
   let cont = predicate(out);
 
-  for (let i = length_1(self) - 1; cont && i >= 0; i--) {
+  for (let i = tsplus_module_4.length(self) - 1; cont && i >= 0; i--) {
     out = f(i, self._array[i], out);
     cont = predicate(out);
   }
@@ -740,7 +704,7 @@ function forEach_1(self, f) {
 
 
 function get_1(self, i) {
-  return isOutOfBound_1(self, i) ? tsplus_module_9.nothing() : tsplus_module_9.just(self._array[i]);
+  return isOutOfBound_1(self, i) ? tsplus_module_10.nothing() : tsplus_module_10.just(self._array[i]);
 }
 
 export function group(E) {
@@ -749,17 +713,17 @@ export function group(E) {
     const out = [h];
     let i = 1;
 
-    for (; i < length_1(self); i++) {
+    for (; i < tsplus_module_4.length(self); i++) {
       const a = self._array[i];
 
-      if (E.equals_(a, h)) {
+      if (E.equals(a, h)) {
         out.push(a);
       } else {
         break;
       }
     }
 
-    return [tsplus_module_10.unsafeAsNonEmptyArray(out), slice_1(self, i)];
+    return [tsplus_module_11.unsafeAsNonEmptyArray(out), tsplus_module_3.slice_(self, i)];
   });
 }
 /**
@@ -776,7 +740,7 @@ export function chopSelf(self, E) {
 export function groupBy_(self, f) {
   const out = {};
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     const a = self._array[i];
     const k = f(a);
 
@@ -787,59 +751,49 @@ export function groupBy_(self, f) {
     }
   }
 
-  return tsplus_module_11.toRecord(tsplus_module_11.map_(tsplus_module_12.Dictionary.get(out), tsplus_module_10.from));
+  return tsplus_module_12.toRecord(tsplus_module_12.map_(tsplus_module_13.Dictionary.get(out), tsplus_module_11.from));
 }
 /**
  * @tsplus getter fncts.ImmutableArray head
  */
 
 export function head(self) {
-  return isNonEmpty_1(self) ? tsplus_module_9.just(self._array[0]) : tsplus_module_9.nothing();
+  return tsplus_module_4.isNonEmpty(self) ? tsplus_module_10.just(self._array[0]) : tsplus_module_10.nothing();
 }
 /**
  * @tsplus getter fncts.ImmutableArray init
  */
 
 export function init(self) {
-  const len = length_1(self);
-  return len === 0 ? tsplus_module_9.nothing() : tsplus_module_9.just(slice_1(self, 0, len - 1));
+  const len = tsplus_module_4.length(self);
+  return len === 0 ? tsplus_module_10.nothing() : tsplus_module_10.just(tsplus_module_3.slice_(self, 0, len - 1));
 }
 /**
  * @tsplus fluent fncts.ImmutableArray insertAt
  */
 
 export function insertAt_(self, i, a) {
-  return isOutOfBound_1(self, i) ? tsplus_module_9.nothing() : tsplus_module_9.just(unsafeInsertAt_1(self, i, a));
-}
-export function intersection_(E) {
-  const elemE = elem_(E);
-  return (self, that) => filter_1(self, a => elemE(that, a));
+  return isOutOfBound_1(self, i) ? tsplus_module_10.nothing() : tsplus_module_10.just(unsafeInsertAt_1(self, i, a));
 }
 /**
- * @tsplus getter fncts.ImmutableArray intersection
+ * @tsplus fluent fncts.ImmutableArray intersection
  */
 
-export function intersectionSelf(self) {
-  return E => that => intersection_(E)(self, that);
+export function intersection_(self, that,
+/** @tsplus auto */
+E) {
+  return filter_1(self, a => elem_1(that, a, E));
 }
 export function intersperse_(self, a) {
-  const len = length_1(self);
-  return len === 0 ? self : prepend_1(prependAll_1(slice_1(self, 1, len), a), unsafeGet_1(self, 0));
+  const len = tsplus_module_4.length(self);
+  return len === 0 ? self : prepend_1(prependAll_1(tsplus_module_3.slice_(self, 1, len), a), unsafeGet_1(self, 0));
 }
 /**
  * @tsplus fluent fncts.ImmutableArray isEmpty
  */
 
 function isEmpty_1(self) {
-  return length_1(self) === 0;
-}
-/**
- * @tsplus fluent fncts.ImmutableArray isNonEmpty
- */
-
-
-function isNonEmpty_1(self) {
-  return length_1(self) > 0;
+  return tsplus_module_4.length(self) === 0;
 }
 /**
  * @tsplus fluent fncts.ImmutableArray isOutOfBound
@@ -847,7 +801,7 @@ function isNonEmpty_1(self) {
 
 
 function isOutOfBound_1(self, i) {
-  return i < 0 || i >= length_1(self);
+  return i < 0 || i >= tsplus_module_4.length(self);
 }
 /**
  * @tsplus fluent fncts.ImmutableArray join
@@ -862,25 +816,25 @@ export function join(self, separator) {
  */
 
 export function last(self) {
-  return get_1(self, length_1(self) - 1);
+  return get_1(self, tsplus_module_4.length(self) - 1);
 }
 /**
  * @tsplus getter fncts.ImmutableArray length
  */
 
-function length_1(self) {
+export function length(self) {
   return self._array.length;
 }
 /**
  * @tsplus getter fncts.ImmutableArray lefts
  */
 
-
 export function lefts(self) {
   const ls = [];
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     const a = self._array[i];
+    void 0;
 
     if (a._tag === "Left"
     /* EitherTag.Left */
@@ -904,10 +858,10 @@ function map_1(self, f) {
 
 
 export function mapAccum_(self, s, f) {
-  const bs = Array(length_1(self));
+  const bs = Array(tsplus_module_4.length(self));
   let state = s;
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     const result = f(state, self._array[i]);
     bs[i] = result[0];
     state = result[1];
@@ -935,7 +889,7 @@ function mapWithIndex_1(self, f) {
 
 
 export function modifyAt_(self, i, f) {
-  return isOutOfBound_1(self, i) ? tsplus_module_9.nothing() : tsplus_module_9.just(unsafeModifyAt_1(self, i, f));
+  return isOutOfBound_1(self, i) ? tsplus_module_10.nothing() : tsplus_module_10.just(unsafeModifyAt_1(self, i, f));
 }
 /**
  * @tsplus fluent fncts.ImmutableArray mutate
@@ -952,14 +906,14 @@ function mutate_1(self, f) {
 
 
 function mutableClone_1(self) {
-  return slice_1(self, 0)._array;
+  return tsplus_module_3.slice_(self, 0)._array;
 }
 
 function partitionWithIndex_1(self, p) {
   const left = [];
   const right = [];
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     const a = self._array[i];
 
     if (p(i, a)) {
@@ -983,8 +937,9 @@ function partitionMapWithIndex_1(self, f) {
   const left = [];
   const right = [];
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     const ea = f(i, self._array[i]);
+    void 0;
 
     switch (ea._tag) {
       case "Left"
@@ -1016,7 +971,7 @@ export function partitionMap_(self, f) {
  */
 
 function prepend_1(self, head) {
-  const len = length_1(self);
+  const len = tsplus_module_4.length(self);
   const out = Array(len + 1);
   out[0] = head;
 
@@ -1035,7 +990,7 @@ function prepend_1(self, head) {
 function prependAll_1(self, a) {
   const out = [];
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     out.push(a, self._array[i]);
   }
 
@@ -1049,12 +1004,12 @@ function prependAll_1(self, a) {
 export function reverse(self) {
   if (isEmpty_1(self)) {
     return self;
-  } else if (length_1(self) === 1) {
+  } else if (tsplus_module_4.length(self) === 1) {
     return tsplus_module_2.make(self._array[0]);
   } else {
-    const out = Array(length_1(self));
+    const out = Array(tsplus_module_4.length(self));
 
-    for (let j = 0, i = length_1(self) - 1; i >= 0; i--, j++) {
+    for (let j = 0, i = tsplus_module_4.length(self) - 1; i >= 0; i--, j++) {
       out[j] = self._array[i];
     }
 
@@ -1068,8 +1023,9 @@ export function reverse(self) {
 export function rights(self) {
   const rs = [];
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     const a = self._array[i];
+    void 0;
 
     if (a._tag === "Right"
     /* EitherTag.Right */
@@ -1085,14 +1041,14 @@ export function rights(self) {
  */
 
 function rotate_1(self, n) {
-  const len = length_1(self);
+  const len = tsplus_module_4.length(self);
 
   if (n === 0 || len <= 1 || len === Math.abs(n)) {
     return self;
   } else if (n < 0) {
     return rotate_1(self, len + n);
   } else {
-    return concat_1(slice_1(self, -n), slice_1(self, 0, len - n));
+    return concat_1(tsplus_module_3.slice_(self, -n), tsplus_module_3.slice_(self, 0, len - n));
   }
 }
 /**
@@ -1101,7 +1057,7 @@ function rotate_1(self, n) {
 
 
 export function scanLeft_(self, b, f) {
-  const l = length_1(self);
+  const l = tsplus_module_4.length(self);
   const r = Array(l + 1);
   r[0] = b;
 
@@ -1116,7 +1072,7 @@ export function scanLeft_(self, b, f) {
  */
 
 export function scanRight_(self, b, f) {
-  const l = length_1(self);
+  const l = tsplus_module_4.length(self);
   const r = Array(l + 1);
   r[l] = b;
 
@@ -1130,8 +1086,10 @@ export function scanRight_(self, b, f) {
  * @tsplus fluent fncts.ImmutableArray sort
  */
 
-function sort_1(self, O) {
-  return isEmpty_1(self) || length_1(self) === 1 ? self : tsplus_module_2.asImmutableArray(self._array.slice().sort(O.compare_));
+function sort_1(self,
+/** @tsplus auto */
+O) {
+  return isEmpty_1(self) || tsplus_module_4.length(self) === 1 ? self : tsplus_module_2.asImmutableArray(self._array.slice().sort(O.compare));
 }
 /**
  * @tsplus fluent fncts.ImmutableArray sortBy
@@ -1139,7 +1097,7 @@ function sort_1(self, O) {
 
 
 export function sortBy(self, Os) {
-  return sort_1(self, foldSelf_1(Os, tsplus_module_13.getMonoid()));
+  return sort_1(self, fold_1(Os, tsplus_module_14.getMonoid()));
 }
 export function spanLeft_(self, p) {
   const i = spanIndexLeft_1(self, p);
@@ -1149,7 +1107,7 @@ export function spanLeft_(self, p) {
     init[j] = self._array[j];
   }
 
-  const l = length_1(self);
+  const l = tsplus_module_4.length(self);
   const rest = Array(l - i);
 
   for (let j = i; j < l; j++) {
@@ -1160,7 +1118,7 @@ export function spanLeft_(self, p) {
 }
 export function spanRight_(self, p) {
   const i = spanIndexRight_1(self, p);
-  const l = length_1(self);
+  const l = tsplus_module_4.length(self);
   const tail = Array(l - i - 1);
 
   for (let j = l - 1; j > i; j--) {
@@ -1180,7 +1138,7 @@ export function spanRight_(self, p) {
  */
 
 function spanIndexLeft_1(self, p) {
-  const l = length_1(self);
+  const l = tsplus_module_4.length(self);
   let i = 0;
 
   for (; i < l; i++) {
@@ -1197,7 +1155,7 @@ function spanIndexLeft_1(self, p) {
 
 
 function spanIndexRight_1(as, predicate) {
-  let i = length_1(as) - 1;
+  let i = tsplus_module_4.length(as) - 1;
 
   for (; i >= 0; i--) {
     if (!predicate(as._array[i])) {
@@ -1207,67 +1165,27 @@ function spanIndexRight_1(as, predicate) {
 
   return i;
 }
-/**
- * @tsplus fluent fncts.ImmutableArray slice
- */
-
-
-function slice_1(self, start, end) {
-  return tsplus_module_2.asImmutableArray(self._array.slice(start, end));
-}
-/**
- * @tsplus fluent fncts.ImmutableArray splitAt
- */
-
-
-function splitAt_1(as, n) {
-  return [slice_1(as, 0, n), slice_1(as, n)];
-}
-/**
- * @tsplus fluent fncts.ImmutableArray splitWhere
- */
-
-
-export function splitWhere_(self, p) {
-  let cont = true;
-  let i = 0;
-
-  while (cont && i < length_1(self)) {
-    if (p(self._array[i])) {
-      cont = false;
-    } else {
-      i++;
-    }
-  }
-
-  return splitAt_1(self, i);
-}
-export const sequence = A => self => traverseSelf_1(self)(A)(identity);
-/**
- * @tsplus getter fncts.ImmutableArray sequence
- */
-
-export const sequenceSelf = self => A => traverseSelf_1(self)(A)(identity);
 /**
  * @tsplus getter fncts.ImmutableArray tail
  */
 
+
 export function tail(self) {
-  return isNonEmpty_1(self) ? tsplus_module_9.just(slice_1(self, 1)) : tsplus_module_9.nothing();
+  return tsplus_module_4.isNonEmpty(self) ? tsplus_module_10.just(tsplus_module_3.slice_(self, 1)) : tsplus_module_10.nothing();
 }
 /**
  * @tsplus fluent fncts.ImmutableArray take
  */
 
 export function take_(self, n) {
-  return slice_1(self, 0, n);
+  return tsplus_module_3.slice_(self, 0, n);
 }
 /**
  * @tsplus fluent fncts.ImmutableArray takeLast
  */
 
 export function takeLast_(as, n) {
-  return isEmpty_1(as) ? tsplus_module_2.empty() : slice_1(as, -n);
+  return isEmpty_1(as) ? tsplus_module_2.empty() : tsplus_module_3.slice_(as, -n);
 }
 export function takeWhile_(self, p) {
   const i = spanIndexLeft_1(self, p);
@@ -1279,70 +1197,59 @@ export function takeWhile_(self, p) {
 
   return tsplus_module_2.asImmutableArray(init);
 }
-export const traverseWithIndex_ = /*#__PURE__*/P.mkTraverseWithIndex_()(_ => A => (ta, f) => foldLeftWithIndex_1(ta, A.pure(tsplus_module_2.empty()), (i, fbs, a) => A.zipWith_(fbs, f(i, a), (bs, b) => append_1(bs, b))));
 /**
- * @tsplus dataFirst traverseWithIndex_
+ * @tsplus fluent fncts.ImmutableArray traverseWithIndex
  */
 
-export const traverseWithIndex = A => f => self => traverseWithIndex_(A)(self, f);
+const traverseWithIndex_1 = (ta, f, G) => foldLeftWithIndex_1(ta, G.pure(tsplus_module_2.empty()), (i, fbs, a) => tsplus_module_15.zipWith(fbs, f(i, a), (bs, b) => append_1(bs, b), G));
+
+export const traverseWithIndex_ = traverseWithIndex_1;
 /**
- * @tsplus getter fncts.ImmutableArray traverseWithIndex
+ * @tsplus fluent fncts.ImmutableArray traverse
  */
 
-const traverseWithIndexSelf_1 = self => A => f => traverseWithIndex_(A)(self, f);
+const traverse_1 = (self, f, G) => traverseWithIndex_1(self, (_, a) => f(a), G);
 
-export const traverseWithIndexSelf = traverseWithIndexSelf_1;
-export const traverse_ = A => (self, f) => traverseWithIndexSelf_1(self)(A)((_, a) => f(a));
+export const traverse_ = traverse_1;
 /**
- * @tsplus dataFirst traverse_
+ * @tsplus fluent fncts.ImmutableArray union
  */
 
-export const traverse = A => f => self => traverseWithIndexSelf_1(self)(A)((_, a) => f(a));
+export function union_(self, that,
+/** @tsplus auto */
+E) {
+  return concat_1(self, filter_1(that, a => !elem_1(self, a, E)));
+}
 /**
- * @tsplus getter fncts.ImmutableArray traverse
+ * @tsplus fluent fncts.ImmutableArray uniq
  */
 
-const traverseSelf_1 = self => A => f => traverseWithIndexSelf_1(self)(A)((_, a) => f(a));
-
-export const traverseSelf = traverseSelf_1;
-export function union_(E) {
-  const elemE = elem_(E);
-  return (self, that) => concat_1(self, filter_1(that, a => !elemE(self, a)));
-}
-export function uniq(E) {
-  return self => {
-    if (length_1(self) === 1) {
-      return self;
-    }
+export function uniq(self,
+/** @tsplus auto */
+E) {
+  if (tsplus_module_4.length(self) === 1) {
+    return self;
+  }
 
-    const elemE_ = elem_(E);
-    const out = [];
-    const len = length_1(self);
+  const out = [];
+  const len = tsplus_module_4.length(self);
 
-    for (let i = 0; i < len; i++) {
-      const a = self._array[i];
+  for (let i = 0; i < len; i++) {
+    const a = self._array[i];
 
-      if (!elemE_(tsplus_module_2.asImmutableArray(out), a)) {
-        out.push(a);
-      }
+    if (!elem_1(tsplus_module_2.asImmutableArray(out), a, E)) {
+      out.push(a);
     }
+  }
 
-    return tsplus_module_2.asImmutableArray(out);
-  };
-}
-/**
- * @tsplus fluent fncts.ImmutableArray uniq
- */
-
-export function uniqSelf(self, E) {
-  return uniq(E)(self);
+  return tsplus_module_2.asImmutableArray(out);
 }
 /**
  * @tsplus getter fncts.ImmutableArray unprepend
  */
 
 export function unprepend(self) {
-  return isNonEmpty_1(self) ? tsplus_module_9.just([unsafeGet_1(self, 0), slice_1(self, 1)]) : tsplus_module_9.nothing();
+  return tsplus_module_4.isNonEmpty(self) ? tsplus_module_10.just([unsafeGet_1(self, 0), tsplus_module_3.slice_(self, 1)]) : tsplus_module_10.nothing();
 }
 /**
  * @tsplus index fncts.ImmutableArray
@@ -1415,10 +1322,10 @@ function unsafeUpdateAt_1(as, i, a) {
 
 
 export function unzip(self) {
-  const fa = Array(length_1(self));
-  const fb = Array(length_1(self));
+  const fa = Array(tsplus_module_4.length(self));
+  const fb = Array(tsplus_module_4.length(self));
 
-  for (let i = 0; i < length_1(self); i++) {
+  for (let i = 0; i < tsplus_module_4.length(self); i++) {
     fa[i] = self._array[i][0];
     fb[i] = self._array[i][1];
   }
@@ -1430,70 +1337,66 @@ export function unzip(self) {
  */
 
 export function updateAt_(as, i, a) {
-  return isOutOfBound_1(as, i) ? tsplus_module_9.nothing() : tsplus_module_9.just(unsafeUpdateAt_1(as, i, a));
+  return isOutOfBound_1(as, i) ? tsplus_module_10.nothing() : tsplus_module_10.just(unsafeUpdateAt_1(as, i, a));
 }
-export const wilt_ = A => (self, f) => wiltWithIndexSelf_1(self)(A)((_, a) => f(a));
-/**
- * @tsplus pipeable fncts.ImmutableArray wilt_
- */
-
-export const wilt = A => f => self => wiltWithIndexSelf_1(self)(A)((_, a) => f(a));
 /**
  * @tsplus fluent fncts.ImmutableArray wilt
  */
 
-export const wiltSelf = self => A => f => wiltWithIndexSelf_1(self)(A)((_, a) => f(a));
-export const wiltWithIndex_ = /*#__PURE__*/P.mkWiltWithIndex_()(_ => A => (self, f) => A.map_(foldLeftWithIndex_1(self, A.pure([[], []]), (i, fbs, a) => A.zipWith_(f(i, a), fbs, (eb, r) => tsplus_module_15.match_(eb, b1 => {
-  r[0].push(b1);
-  return r;
-}, b2 => {
-  r[1].push(b2);
-  return r;
-}))), ([b1s, b2s]) => [tsplus_module_2.asImmutableArray(b1s), tsplus_module_2.asImmutableArray(b2s)]));
-/**
- * @tsplus dataFirst wiltWithIndex_
- */
-
-export const wiltWithIndex = A => f => self => wiltWithIndex_(A)(self, f);
-/**
- * @tsplus getter fncts.ImmutableArray wiltWithIndex
- */
-
-const wiltWithIndexSelf_1 = self => A => f => wiltWithIndex_(A)(self, f);
-
-export const wiltWithIndexSelf = wiltWithIndexSelf_1;
-export const wither_ = A => (self, f) => witherWithIndex_(A)(self, (_, a) => f(a));
-/**
- * @tsplus dataFirst wither_
- */
-
-export const wither = A => f => self => wither_(A)(self, f);
+export function wilt_(self, f,
+/** @tsplus auto */
+G) {
+  return tsplus_module_17.map(foldLeft_1(self, G.pure([[], []]), (fbs, a) => tsplus_module_15.zipWith(f(a), fbs, (eb, r) => tsplus_module_16.match_(eb, b1 => {
+    r[0].push(b1);
+    return r;
+  }, b2 => {
+    r[1].push(b2);
+    return r;
+  }), G)), ([b1s, b2s]) => [tsplus_module_2.asImmutableArray(b1s), tsplus_module_2.asImmutableArray(b2s)], G);
+}
+export function wiltWithIndex_(self, f,
+/** @tsplus auto */
+G) {
+  return tsplus_module_17.map(foldLeftWithIndex_1(self, G.pure([[], []]), (i, fbs, a) => tsplus_module_15.zipWith(f(i, a), fbs, (eb, r) => tsplus_module_16.match_(eb, b1 => {
+    r[0].push(b1);
+    return r;
+  }, b2 => {
+    r[1].push(b2);
+    return r;
+  }), G)), ([b1s, b2s]) => [tsplus_module_2.asImmutableArray(b1s), tsplus_module_2.asImmutableArray(b2s)], G);
+}
 /**
  * @tsplus fluent fncts.ImmutableArray wither
  */
 
-export const witherSelf = self => A => f => witherWithIndex_(A)(self, (_, a) => f(a));
-export const witherWithIndex_ = /*#__PURE__*/P.mkWitherWithIndex_()(_ => A => (self, f) => A.map_(foldLeftWithIndex_1(self, A.pure([]), (i, b, a) => A.zipWith_(f(i, a), b, (maybeB, bs) => {
-  if (tsplus_module_4.isJust(maybeB)) {
-    bs.push(maybeB.value);
-  }
-
-  return bs;
-})), bs => tsplus_module_2.asImmutableArray(bs)));
-/**
- * @tsplus dataFirst witherWithIndex_
- */
-
-export const witherWithIndex = A => f => self => witherWithIndex_(A)(self, f);
+export function wither_(self, f,
+/** @tsplus auto */
+G) {
+  const G_1 =
+  /** @tsplus auto */
+  G;
+  return witherWithIndex_1(self, (_, a) => f(a), G_1);
+}
 /**
  * @tsplus fluent fncts.ImmutableArray witherWithIndex
  */
 
-export const witherWithIndexSelf = self => A => f => witherWithIndex_(A)(self, f);
+function witherWithIndex_1(self, f,
+/** @tsplus auto */
+G) {
+  return tsplus_module_17.map(foldLeftWithIndex_1(self, G.pure([]), (i, b, a) => tsplus_module_15.zipWith(f(i, a), b, (maybeB, bs) => {
+    if (tsplus_module_5.isJust(maybeB)) {
+      bs.push(maybeB.value);
+    }
+
+    return bs;
+  }, G)), bs => tsplus_module_2.asImmutableArray(bs), G);
+}
 /**
  * @tsplus fluent fncts.ImmutableArray zip
  */
 
+
 export function zip_(self, that) {
   return zipWith_1(self, that, tuple);
 }
@@ -1502,7 +1405,7 @@ export function zip_(self, that) {
  */
 
 function zipWith_1(self, fb, f) {
-  const len = Math.min(length_1(self), length_1(fb));
+  const len = Math.min(tsplus_module_4.length(self), tsplus_module_4.length(fb));
   const fc = Array(len);
 
   for (let i = 0; i < len; i++) {