@zambit/elevate-ts 0.1.2

package/dist/esm/List.js

@@ -0,0 +1,243 @@
+// List — Array Utilities
+import * as Maybe from './Maybe.js';
+/**
+ * Get the first element of an array.
+ * @param arr - The array.
+ * @returns The first element or undefined if empty.
+ */
+export const head = (arr) => arr[0];
+/**
+ * Get all but the first element.
+ * @param arr - The array.
+ * @returns An array of remaining elements.
+ */
+export const tail = (arr) => arr.slice(1);
+/**
+ * Get the last element of an array.
+ * @param arr - The array.
+ * @returns The last element or undefined if empty.
+ */
+export const last = (arr) => arr.length > 0 ? arr[arr.length - 1] : undefined;
+/**
+ * Get all but the last element.
+ * @param arr - The array.
+ * @returns An array of all but the last element.
+ */
+export const init = (arr) => arr.length > 0 ? arr.slice(0, -1) : [];
+/**
+ * Deconstruct an array into head and tail.
+ * @param arr - The array.
+ * @returns Just [head, tail] if nonempty, Nothing if empty.
+ */
+export const uncons = (arr) => arr.length > 0 ? Maybe.Just([arr[0], arr.slice(1)]) : Maybe.Nothing;
+/**
+ * Prepend an element to an array.
+ * @param a - The element to prepend.
+ * @returns A function that takes an array and returns the new array.
+ */
+export const cons = (a) => (arr) => [a, ...arr];
+/**
+ * Append an element to an array.
+ * @param a - The element to append.
+ * @returns A function that takes an array and returns the new array.
+ */
+export const snoc = (a) => (arr) => [...arr, a];
+/**
+ * Take the first n elements.
+ * @param n - The number of elements to take.
+ * @returns A function that takes an array and returns the first n elements.
+ */
+export const take = (n) => (arr) => arr.slice(0, n);
+/**
+ * Drop the first n elements.
+ * @param n - The number of elements to drop.
+ * @returns A function that takes an array and returns the remaining elements.
+ */
+export const drop = (n) => (arr) => arr.slice(n);
+/**
+ * Take elements while predicate holds.
+ * @param predicate - The predicate to test.
+ * @returns A function that takes an array and returns elements taken while predicate holds.
+ */
+export const takeWhile = (predicate) => (arr) => {
+    let i = 0;
+    while (i < arr.length && predicate(arr[i]))
+        i++;
+    return arr.slice(0, i);
+};
+/**
+ * Drop elements while predicate holds.
+ * @param predicate - The predicate to test.
+ * @returns A function that takes an array and returns remaining elements.
+ */
+export const dropWhile = (predicate) => (arr) => {
+    let i = 0;
+    while (i < arr.length && predicate(arr[i]))
+        i++;
+    return arr.slice(i);
+};
+/**
+ * Partition an array into two based on a predicate.
+ * @param predicate - The predicate to split on.
+ * @returns A function that takes an array and returns [matching, nonmatching].
+ */
+export const partition = (predicate) => (arr) => {
+    const left = [];
+    const right = [];
+    for (const a of arr) {
+        if (predicate(a)) {
+            left.push(a);
+        }
+        else {
+            right.push(a);
+        }
+    }
+    return [left, right];
+};
+/**
+ * Split an array at the first element that fails the predicate.
+ * @param predicate - The predicate to test.
+ * @returns A function that takes an array and returns [taken, dropped].
+ */
+export const span = (predicate) => (arr) => {
+    let i = 0;
+    while (i < arr.length && predicate(arr[i]))
+        i++;
+    return [arr.slice(0, i), arr.slice(i)];
+};
+/**
+ * Group consecutive equal elements.
+ * @param eq - Equality comparator.
+ * @returns A function that takes an array and returns grouped elements.
+ */
+export const groupBy = (eq) => (arr) => {
+    if (arr.length === 0)
+        return [];
+    const groups = [];
+    let current = [arr[0]];
+    for (let i = 1; i < arr.length; i++) {
+        if (eq(arr[i], arr[i - 1])) {
+            current.push(arr[i]);
+        }
+        else {
+            groups.push(current);
+            current = [arr[i]];
+        }
+    }
+    groups.push(current);
+    return groups;
+};
+/**
+ * Remove consecutive duplicates.
+ * @param eq - Equality comparator.
+ * @returns A function that takes an array and returns array without consecutive duplicates.
+ */
+export const nubBy = (eq) => (arr) => {
+    if (arr.length === 0)
+        return [];
+    const result = [arr[0]];
+    for (let i = 1; i < arr.length; i++) {
+        if (!eq(arr[i], arr[i - 1])) {
+            result.push(arr[i]);
+        }
+    }
+    return result;
+};
+/**
+ * Sort an array with a comparator function.
+ * @param ord - Comparator function (negative if a < b, positive if a > b).
+ * @returns A function that takes an array and returns a sorted array.
+ */
+export const sortBy = (ord) => (arr) => [...arr].sort(ord);
+/**
+ * Zip two arrays into pairs.
+ * @param arr2 - The second array.
+ * @returns A function taking first array, returning [pairs, remainders].
+ */
+export const zip = (arr2) => (arr1) => {
+    const len = Math.min(arr1.length, arr2.length);
+    const pairs = [];
+    for (let i = 0; i < len; i++) {
+        pairs.push([arr1[i], arr2[i]]);
+    }
+    const remainder = arr1.length > arr2.length ? arr1.slice(len) : arr2.slice(len);
+    return [pairs, remainder];
+};
+/**
+ * Zip two arrays with a function.
+ * @param f - Function to apply to pairs.
+ * @returns A function taking the second array, then first array, returning results.
+ */
+export const zipWith = (f) => (arr2) => (arr1) => {
+    const len = Math.min(arr1.length, arr2.length);
+    const result = [];
+    for (let i = 0; i < len; i++) {
+        result.push(f(arr1[i], arr2[i]));
+    }
+    return result;
+};
+/**
+ * Unzip an array of pairs into two arrays.
+ * @param pairs - Array of pairs.
+ * @returns A tuple of two arrays.
+ */
+export const unzip = (pairs) => {
+    const as = [];
+    const bs = [];
+    for (const [a, b] of pairs) {
+        as.push(a);
+        bs.push(b);
+    }
+    return [as, bs];
+};
+/**
+ * Flatten one level of nesting.
+ * @param arr - Array of arrays.
+ * @returns A flattened array.
+ */
+export const flatten = (arr) => {
+    const result = [];
+    for (const sub of arr) {
+        for (const a of sub) {
+            result.push(a);
+        }
+    }
+    return result;
+};
+/**
+ * Insert a separator between elements.
+ * @param sep - The separator element.
+ * @returns A function that takes an array and returns interspersed array.
+ */
+export const intersperse = (sep) => (arr) => {
+    if (arr.length === 0)
+        return [];
+    const result = [arr[0]];
+    for (let i = 1; i < arr.length; i++) {
+        result.push(sep);
+        result.push(arr[i]);
+    }
+    return result;
+};
+/**
+ * Transpose a matrix (2D array).
+ * @param matrix - A matrix as array of arrays.
+ * @returns The transposed matrix.
+ */
+export const transpose = (matrix) => {
+    if (matrix.length === 0)
+        return [];
+    const maxLen = Math.max(...matrix.map((row) => row.length));
+    const result = [];
+    for (let col = 0; col < maxLen; col++) {
+        const row = [];
+        for (let rowIdx = 0; rowIdx < matrix.length; rowIdx++) {
+            if (col < matrix[rowIdx].length) {
+                row.push(matrix[rowIdx][col]);
+            }
+        }
+        result.push(row);
+    }
+    return result;
+};
+//# sourceMappingURL=List.js.map

package/dist/esm/List.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"List.js","sourceRoot":"","sources":["../../src/List.ts"],"names":[],"mappings":"AAAA,yBAAyB;AAEzB,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAiB,EAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAEnE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAiB,EAAgB,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAExE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAiB,EAAiB,EAAE,CAC1D,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAElD;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAiB,EAAgB,EAAE,CACzD,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,GAAiB,EAA2C,EAAE,CACtF,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAA;AAErE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,CAAI,EAAyC,EAAE,CACrE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAA;AAEtB;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,CAAI,EAAyC,EAAE,CACrE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAA;AAEtB;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,CAAS,EAAyC,EAAE,CAC1E,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAE1B;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,CAAS,EAAyC,EAAE,CAC1E,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,SAA4B,EACW,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE;IAClD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,CAAC,EAAE,CAAA;IAC/C,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACxB,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,SAA4B,EACW,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE;IAClD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,CAAC,EAAE,CAAA;IAC/C,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACrB,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,SAA4B,EACoC,EAAE,CAClE,CAAC,GAAG,EAAE,EAAE;IACN,MAAM,IAAI,GAAQ,EAAE,CAAA;IACpB,MAAM,KAAK,GAAQ,EAAE,CAAA;IACrB,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACd,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACtB,CAAC,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,SAA4B,EACoC,EAAE,CAClE,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,CAAC,EAAE,CAAA;IAC/C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACxC,CAAC,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,EAA2B,EACyB,EAAE,CACtD,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAC/B,MAAM,MAAM,GAAU,EAAE,CAAA;IACxB,IAAI,OAAO,GAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACtB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACpB,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACpB,CAAC;IACH,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACpB,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,EAA2B,EACY,EAAE,CACzC,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAC/B,MAAM,MAAM,GAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACrB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,GAA2B,EACY,EAAE,CACzC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAE7B;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAO,IAAkB,EAAE,EAAE,CAAC,CAAC,IAAkB,EAAE,EAAE;IACtE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAChC,CAAC;IACD,MAAM,SAAS,GACb,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC/D,OAAO,CAAC,KAAK,EAAE,SAAS,CAAU,CAAA;AACpC,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,CAAoB,EAC4C,EAAE,CAClE,CAAC,IAAI,EAAE,EAAE,CACT,CAAC,IAAI,EAAE,EAAE;IACP,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAC9C,MAAM,MAAM,GAAQ,EAAE,CAAA;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,KAAmC,EACI,EAAE;IACzC,MAAM,EAAE,GAAQ,EAAE,CAAA;IAClB,MAAM,EAAE,GAAQ,EAAE,CAAA;IAClB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;QAC3B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACV,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACZ,CAAC;IACD,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AACjB,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,GAA8B,EAAgB,EAAE;IACzE,MAAM,MAAM,GAAQ,EAAE,CAAA;IACtB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAI,GAAM,EAAyC,EAAE,CAC9E,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAC/B,MAAM,MAAM,GAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACrB,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,MAAiC,EACN,EAAE;IAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAClC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IAC3D,MAAM,MAAM,GAAU,EAAE,CAAA;IACxB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAQ,EAAE,CAAA;QACnB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YACtD,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;gBAChC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAC/B,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAClB,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}

package/dist/esm/Maybe.d.ts

@@ -0,0 +1,64 @@
+/** Represents a Just value. */
+export type Just<A> = {
+    readonly tag: 'Just';
+    readonly value: A;
+};
+/** Represents the absence of a value. */
+export type Nothing = {
+    readonly tag: 'Nothing';
+};
+/** Optional value: Just<A> (present) or Nothing (absent). */
+export type Maybe<A> = Just<A> | Nothing;
+/** Create a Just value. */
+export declare const Just: <A>(value: A) => Just<A>;
+/** The Nothing singleton. */
+export declare const Nothing: Nothing;
+/** Test if a Maybe is Just. */
+export declare const isJust: <A>(ma: Maybe<A>) => ma is Just<A>;
+/** Test if a Maybe is Nothing. */
+export declare const isNothing: <A>(ma: Maybe<A>) => ma is Nothing;
+/** Lift a possibly-null value into Maybe. */
+export declare const fromNullable: <A>(a: A | null | undefined) => Maybe<A>;
+/** Construct Just if predicate holds, Nothing otherwise. */
+export declare const fromPredicate: <A>(predicate: (a: A) => boolean) => ((a: A) => Maybe<A>);
+/** Extract value or null. */
+export declare const toNullable: <A>(ma: Maybe<A>) => A | null;
+/** Lift to 0 or 1 element array. */
+export declare const toArray: <A>(ma: Maybe<A>) => readonly A[];
+/** Functor map. */
+export declare const map: <A, B>(f: (a: A) => B) => ((ma: Maybe<A>) => Maybe<B>);
+/** Applicative ap. */
+export declare const ap: <A, B>(mf: Maybe<(a: A) => B>) => ((ma: Maybe<A>) => Maybe<B>);
+/** Monadic bind (flatMap). */
+export declare const chain: <A, B>(f: (a: A) => Maybe<B>) => ((ma: Maybe<A>) => Maybe<B>);
+/** Chain with nullable result. */
+export declare const chainNullable: <A, B>(f: (a: A) => B | null | undefined) => ((ma: Maybe<A>) => Maybe<B>);
+/** Extract value or provide a default. */
+export declare const getOrElse: <A>(a: A) => ((ma: Maybe<A>) => A);
+/** Extract value or compute a default lazily. */
+export declare const getOrElseL: <A>(f: () => A) => ((ma: Maybe<A>) => A);
+/** Alt: use alternative if first is Nothing. */
+export declare const alt: <A>(malt: Maybe<A>) => ((ma: Maybe<A>) => Maybe<A>);
+/** Alt with lazy alternative. */
+export declare const altL: <A>(f: () => Maybe<A>) => ((ma: Maybe<A>) => Maybe<A>);
+/** Keep if predicate holds, otherwise Nothing. */
+export declare const filter: <A>(predicate: (a: A) => boolean) => ((ma: Maybe<A>) => Maybe<A>);
+/** Case analysis. */
+export declare const fold: <A, B>(onNothing: B, onJust: (a: A) => B) => ((ma: Maybe<A>) => B);
+/** Filter out Nothing; collect Just values. */
+export declare const catMaybes: <A>(maybes: readonly Maybe<A>[]) => readonly A[];
+/** Map then catMaybes. */
+export declare const mapMaybe: <A, B>(f: (a: A) => Maybe<B>) => ((as: readonly A[]) => readonly B[]);
+/** Sequence all-or-Nothing. */
+export declare const sequence: <A>(maybes: readonly Maybe<A>[]) => Maybe<readonly A[]>;
+/** Traverse a sequence. */
+export declare const traverse: <A, B>(f: (a: A) => Maybe<B>) => ((as: readonly A[]) => Maybe<readonly B[]>);
+/** Convert a Maybe to an Either. */
+export declare const toEither: <E, A>(onNothing: E) => ((ma: Maybe<A>) => {
+    readonly tag: "Right";
+    readonly right: A;
+} | {
+    readonly tag: "Left";
+    readonly left: E;
+});
+//# sourceMappingURL=Maybe.d.ts.map

package/dist/esm/Maybe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.d.ts","sourceRoot":"","sources":["../../src/Maybe.ts"],"names":[],"mappings":"AAEA,+BAA+B;AAC/B,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAA;AAEjE,yCAAyC;AACzC,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAA;AAEjD,6DAA6D;AAC7D,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;AAExC,2BAA2B;AAC3B,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,IAAI,CAAC,CAAC,CAA6B,CAAA;AAEtE,6BAA6B;AAC7B,eAAO,MAAM,OAAO,EAAE,OAA4B,CAAA;AAElD,+BAA+B;AAC/B,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAG,EAAE,IAAI,IAAI,CAAC,CAAC,CAAsB,CAAA;AAE3E,kCAAkC;AAClC,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAG,EAAE,IAAI,OAA+B,CAAA;AAEjF,6CAA6C;AAC7C,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,SAAS,KAAG,KAAK,CAAC,CAAC,CAClC,CAAA;AAE/B,4DAA4D;AAC5D,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEpB,CAAA;AAEpC,6BAA6B;AAC7B,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,GAAG,IACZ,CAAA;AAErC,oCAAoC;AACpC,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAG,SAAS,CAAC,EACf,CAAA;AAErC,mBAAmB;AACnB,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEF,CAAA;AAEnD,sBAAsB;AACtB,eAAO,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEkB,CAAA;AAE/E,8BAA8B;AAC9B,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEf,CAAA;AAE7C,kCAAkC;AAClC,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,SAAS,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEb,CAAA;AAE3D,0CAA0C;AAC1C,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAEG,CAAA;AAEpC,iDAAiD;AACjD,eAAO,MAAM,UAAU,GACpB,CAAC,EAAE,GAAG,MAAM,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAED,CAAA;AAEtC,gDAAgD;AAChD,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEjB,CAAA;AAEjC,iCAAiC;AACjC,eAAO,MAAM,IAAI,GACd,CAAC,EAAE,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAErB,CAAA;AAEhC,kDAAkD;AAClD,eAAO,MAAM,MAAM,GAChB,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEL,CAAA;AAE3D,qBAAqB;AACrB,eAAO,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAEb,CAAA;AAEpD,+CAA+C;AAC/C,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,QAAQ,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,KAAG,SAAS,CAAC,EACN,CAAA;AAE/D,0BAA0B;AAC1B,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAE5C,CAAA;AAExB,+BAA+B;AAC/B,eAAO,MAAM,QAAQ,GAAI,CAAC,EACxB,QAAQ,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,KAC1B,KAAK,CAAC,SAAS,CAAC,EAAE,CAOpB,CAAA;AAED,2BAA2B;AAC3B,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAEpD,CAAA;AAkGvB,oCAAoC;AACpC,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAKjI,CAAA"}

package/dist/esm/Maybe.js

@@ -0,0 +1,113 @@
+// Maybe — Optional values
+/** Create a Just value. */
+export const Just = (value) => ({ tag: 'Just', value });
+/** The Nothing singleton. */
+export const Nothing = { tag: 'Nothing' };
+/** Test if a Maybe is Just. */
+export const isJust = (ma) => ma.tag === 'Just';
+/** Test if a Maybe is Nothing. */
+export const isNothing = (ma) => ma.tag === 'Nothing';
+/** Lift a possibly-null value into Maybe. */
+export const fromNullable = (a) => a == null ? Nothing : Just(a);
+/** Construct Just if predicate holds, Nothing otherwise. */
+export const fromPredicate = (predicate) => (a) => predicate(a) ? Just(a) : Nothing;
+/** Extract value or null. */
+export const toNullable = (ma) => ma.tag === 'Just' ? ma.value : null;
+/** Lift to 0 or 1 element array. */
+export const toArray = (ma) => ma.tag === 'Just' ? [ma.value] : [];
+/** Functor map. */
+export const map = (f) => (ma) => ma.tag === 'Just' ? Just(f(ma.value)) : Nothing;
+/** Applicative ap. */
+export const ap = (mf) => (ma) => mf.tag === 'Just' && ma.tag === 'Just' ? Just(mf.value(ma.value)) : Nothing;
+/** Monadic bind (flatMap). */
+export const chain = (f) => (ma) => ma.tag === 'Just' ? f(ma.value) : Nothing;
+/** Chain with nullable result. */
+export const chainNullable = (f) => (ma) => ma.tag === 'Just' ? fromNullable(f(ma.value)) : Nothing;
+/** Extract value or provide a default. */
+export const getOrElse = (a) => (ma) => ma.tag === 'Just' ? ma.value : a;
+/** Extract value or compute a default lazily. */
+export const getOrElseL = (f) => (ma) => ma.tag === 'Just' ? ma.value : f();
+/** Alt: use alternative if first is Nothing. */
+export const alt = (malt) => (ma) => ma.tag === 'Just' ? ma : malt;
+/** Alt with lazy alternative. */
+export const altL = (f) => (ma) => ma.tag === 'Just' ? ma : f();
+/** Keep if predicate holds, otherwise Nothing. */
+export const filter = (predicate) => (ma) => ma.tag === 'Just' && predicate(ma.value) ? ma : Nothing;
+/** Case analysis. */
+export const fold = (onNothing, onJust) => (ma) => ma.tag === 'Just' ? onJust(ma.value) : onNothing;
+/** Filter out Nothing; collect Just values. */
+export const catMaybes = (maybes) => maybes.flatMap((ma) => (ma.tag === 'Just' ? [ma.value] : []));
+/** Map then catMaybes. */
+export const mapMaybe = (f) => (as) => catMaybes(as.map(f));
+/** Sequence all-or-Nothing. */
+export const sequence = (maybes) => {
+    const result = [];
+    for (const ma of maybes) {
+        if (ma.tag === 'Nothing')
+            return Nothing;
+        result.push(ma.value);
+    }
+    return Just(result);
+};
+/** Traverse a sequence. */
+export const traverse = (f) => (as) => sequence(as.map(f));
+// Fantasy Land symbols
+const flMap = (f) => map(f);
+const flAp = (mf) => ap(mf);
+const flChain = (f) => chain(f);
+const flFilter = (predicate) => filter(predicate);
+const flReduce = (f, b) => (ma) => ma.tag === 'Just' ? f(b, ma.value) : b;
+const flEquals = (a) => (ma) => ma.tag === 'Just' && ma.value === a;
+Object.defineProperty(Just, 'fantasy-land/of', { value: Just });
+Object.defineProperty(Nothing, 'fantasy-land/zero', { value: Nothing });
+const justProto = Object.getPrototypeOf(Just(0));
+justProto['fantasy-land/map'] = function (f) {
+    return Just(f(this.value));
+};
+justProto['fantasy-land/ap'] = function (ma) {
+    return ap(this)(ma);
+};
+justProto['fantasy-land/chain'] = function (f) {
+    return f(this.value);
+};
+justProto['fantasy-land/alt'] = function (malt) {
+    return this;
+};
+justProto['fantasy-land/filter'] = function (predicate) {
+    return predicate(this.value) ? this : Nothing;
+};
+justProto['fantasy-land/reduce'] = function (f, b) {
+    return f(b, this.value);
+};
+justProto['fantasy-land/equals'] = function (other) {
+    return other.tag === 'Just' && this.value === other.value;
+};
+const nothingProto = Object.getPrototypeOf(Nothing);
+nothingProto['fantasy-land/map'] = function (f) {
+    return Nothing;
+};
+nothingProto['fantasy-land/ap'] = function (ma) {
+    return Nothing;
+};
+nothingProto['fantasy-land/chain'] = function (f) {
+    return Nothing;
+};
+nothingProto['fantasy-land/alt'] = function (malt) {
+    return malt;
+};
+nothingProto['fantasy-land/filter'] = function (predicate) {
+    return Nothing;
+};
+nothingProto['fantasy-land/reduce'] = function (f, b) {
+    return b;
+};
+nothingProto['fantasy-land/equals'] = function (other) {
+    return other.tag === 'Nothing';
+};
+/** Convert a Maybe to an Either. */
+export const toEither = (onNothing) => (ma) => {
+    const Right = (right) => ({ tag: 'Right', right });
+    const Left = (left) => ({ tag: 'Left', left });
+    return ma.tag === 'Just' ? Right(ma.value) : Left(onNothing);
+};
+//# sourceMappingURL=Maybe.js.map

package/dist/esm/Maybe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.js","sourceRoot":"","sources":["../../src/Maybe.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAW1B,2BAA2B;AAC3B,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,KAAQ,EAAW,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;AAEtE,6BAA6B;AAC7B,MAAM,CAAC,MAAM,OAAO,GAAY,EAAE,GAAG,EAAE,SAAS,EAAE,CAAA;AAElD,+BAA+B;AAC/B,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,EAAY,EAAiB,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAA;AAE3E,kCAAkC;AAClC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,EAAY,EAAiB,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,SAAS,CAAA;AAEjF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,YAAY,GAAG,CAAI,CAAuB,EAAY,EAAE,CACnE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAE/B,4DAA4D;AAC5D,MAAM,CAAC,MAAM,aAAa,GACxB,CAAI,SAA4B,EAAwB,EAAE,CAC1D,CAAC,CAAC,EAAE,EAAE,CACJ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;AAEpC,6BAA6B;AAC7B,MAAM,CAAC,MAAM,UAAU,GAAG,CAAI,EAAY,EAAY,EAAE,CACtD,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AAErC,oCAAoC;AACpC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,EAAY,EAAgB,EAAE,CACvD,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAErC,mBAAmB;AACnB,MAAM,CAAC,MAAM,GAAG,GACd,CAAO,CAAc,EAAgC,EAAE,CACvD,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;AAEnD,sBAAsB;AACtB,MAAM,CAAC,MAAM,EAAE,GACb,CAAO,EAAsB,EAAgC,EAAE,CAC/D,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;AAE/E,8BAA8B;AAC9B,MAAM,CAAC,MAAM,KAAK,GAChB,CAAO,CAAqB,EAAgC,EAAE,CAC9D,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;AAE7C,kCAAkC;AAClC,MAAM,CAAC,MAAM,aAAa,GACxB,CAAO,CAAiC,EAAgC,EAAE,CAC1E,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;AAE3D,0CAA0C;AAC1C,MAAM,CAAC,MAAM,SAAS,GACpB,CAAI,CAAI,EAAyB,EAAE,CACnC,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AAEpC,iDAAiD;AACjD,MAAM,CAAC,MAAM,UAAU,GACrB,CAAI,CAAU,EAAyB,EAAE,CACzC,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAEtC,gDAAgD;AAChD,MAAM,CAAC,MAAM,GAAG,GACd,CAAI,IAAc,EAAgC,EAAE,CACpD,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AAEjC,iCAAiC;AACjC,MAAM,CAAC,MAAM,IAAI,GACf,CAAI,CAAiB,EAAgC,EAAE,CACvD,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAEhC,kDAAkD;AAClD,MAAM,CAAC,MAAM,MAAM,GACjB,CAAI,SAA4B,EAAgC,EAAE,CAClE,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAA;AAE3D,qBAAqB;AACrB,MAAM,CAAC,MAAM,IAAI,GACf,CAAO,SAAY,EAAE,MAAmB,EAAyB,EAAE,CACnE,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAEpD,+CAA+C;AAC/C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,MAA2B,EAAgB,EAAE,CACxE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAE/D,0BAA0B;AAC1B,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAO,CAAqB,EAAwC,EAAE,CACtE,CAAC,EAAE,EAAE,EAAE,CACL,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAExB,+BAA+B;AAC/B,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,MAA2B,EACN,EAAE;IACvB,MAAM,MAAM,GAAQ,EAAE,CAAA;IACtB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;YAAE,OAAO,OAAO,CAAA;QACxC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAA;AACrB,CAAC,CAAA;AAED,2BAA2B;AAC3B,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAO,CAAqB,EAA+C,EAAE,CAC7E,CAAC,EAAE,EAAE,EAAE,CACL,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAEvB,uBAAuB;AACvB,MAAM,KAAK,GAAG,CAAO,CAAc,EAAgC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAC5E,MAAM,IAAI,GAAG,CACX,EAAsB,EACQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;AACzC,MAAM,OAAO,GAAG,CAAO,CAAqB,EAAgC,EAAE,CAC5E,KAAK,CAAC,CAAC,CAAC,CAAA;AACV,MAAM,QAAQ,GAAG,CACf,SAA4B,EACE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;AACpD,MAAM,QAAQ,GAAG,CACf,CAAoB,EACpB,CAAI,EACmB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CACjC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACxC,MAAM,QAAQ,GAAG,CAAI,CAAI,EAA+B,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAChE,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC,CAAA;AAErC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,iBAAiB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAC/D,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,mBAAmB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;AAEvE,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;AAChD,SAAS,CAAC,kBAAkB,CAAC,GAAG,UAA+B,CAAc;IAC3E,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;AAC5B,CAAC,CAAA;AACD,SAAS,CAAC,iBAAiB,CAAC,GAAG,UAE7B,EAAY;IAEZ,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAA;AACrB,CAAC,CAAA;AACD,SAAS,CAAC,oBAAoB,CAAC,GAAG,UAEhC,CAAqB;IAErB,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AACtB,CAAC,CAAA;AACD,SAAS,CAAC,kBAAkB,CAAC,GAAG,UAA4B,IAAc;IACxE,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AACD,SAAS,CAAC,qBAAqB,CAAC,GAAG,UAEjC,SAA4B;IAE5B,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAA;AAC/C,CAAC,CAAA;AACD,SAAS,CAAC,qBAAqB,CAAC,GAAG,UAEjC,CAAoB,EACpB,CAAI;IAEJ,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;AACzB,CAAC,CAAA;AACD,SAAS,CAAC,qBAAqB,CAAC,GAAG,UAA4B,KAAe;IAC5E,OAAO,KAAK,CAAC,GAAG,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAA;AAC3D,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAA;AACnD,YAAY,CAAC,kBAAkB,CAAC,GAAG,UAA+B,CAAc;IAC9E,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AACD,YAAY,CAAC,iBAAiB,CAAC,GAAG,UAEhC,EAAY;IAEZ,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AACD,YAAY,CAAC,oBAAoB,CAAC,GAAG,UAEnC,CAAqB;IAErB,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AACD,YAAY,CAAC,kBAAkB,CAAC,GAAG,UAA4B,IAAc;IAC3E,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AACD,YAAY,CAAC,qBAAqB,CAAC,GAAG,UAEpC,SAA4B;IAE5B,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AACD,YAAY,CAAC,qBAAqB,CAAC,GAAG,UAEpC,CAAoB,EACpB,CAAI;IAEJ,OAAO,CAAC,CAAA;AACV,CAAC,CAAA;AACD,YAAY,CAAC,qBAAqB,CAAC,GAAG,UAEpC,KAAe;IAEf,OAAO,KAAK,CAAC,GAAG,KAAK,SAAS,CAAA;AAChC,CAAC,CAAA;AAED,oCAAoC;AACpC,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAO,SAAY,EAAiH,EAAE,CACtI,CAAC,EAAE,EAAE,EAAE;IACL,MAAM,KAAK,GAAG,CAAI,KAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAgB,EAAE,KAAK,EAAE,CAAC,CAAA;IACjE,MAAM,IAAI,GAAG,CAAI,IAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAe,EAAE,IAAI,EAAE,CAAC,CAAA;IAC7D,OAAO,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AAC9D,CAAC,CAAA"}

package/dist/esm/MaybeAsync.d.ts

@@ -0,0 +1,115 @@
+import * as Maybe from './Maybe.js';
+import type * as EitherAsyncModule from './EitherAsync.js';
+/**
+ * Lazy async Maybe: wraps Promise<Maybe<A>>.
+ * Critical: Any rejected Promise or thrown error becomes Nothing; never rejects.
+ */
+export type MaybeAsync<A> = {
+    readonly tag: 'MaybeAsync';
+    readonly run: () => Promise<Maybe.Maybe<A>>;
+};
+/**
+ * Construct a MaybeAsync from a lazy computation.
+ * @param run - A function returning Promise<Maybe<A>>.
+ * @returns A MaybeAsync that encapsulates the computation.
+ */
+export declare const MaybeAsync: <A>(run: () => Promise<Maybe.Maybe<A>>) => MaybeAsync<A>;
+/**
+ * Lift a synchronous Maybe into MaybeAsync.
+ * @param ma - The synchronous Maybe.
+ * @returns A MaybeAsync that immediately resolves to the Maybe.
+ */
+export declare const liftMaybe: <A>(ma: Maybe.Maybe<A>) => MaybeAsync<A>;
+/**
+ * Lift a Promise into MaybeAsync.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param p - The Promise to lift.
+ * @returns A MaybeAsync that resolves to Just the value or Nothing on error.
+ */
+export declare const fromPromise: <A>(p: Promise<A>) => MaybeAsync<A>;
+/**
+ * Wrap an async function with error handling.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - An async function.
+ * @returns A MaybeAsync that captures the result or Nothing on error.
+ */
+export declare const tryCatch: <A>(f: () => Promise<A>) => MaybeAsync<A>;
+/**
+ * Functor map over the value.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - Function to transform the value.
+ * @returns A function taking MaybeAsync and returning a new MaybeAsync.
+ */
+export declare const map: <A, B>(f: (a: A) => B) => ((ma: MaybeAsync<A>) => MaybeAsync<B>);
+/**
+ * Monadic bind: sequentially compose MaybeAsync computations.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - Function that returns a MaybeAsync.
+ * @returns A function taking MaybeAsync and returning a flattened MaybeAsync.
+ */
+export declare const chain: <A, B>(f: (a: A) => MaybeAsync<B>) => ((ma: MaybeAsync<A>) => MaybeAsync<B>);
+/**
+ * Applicative ap: apply a MaybeAsync function to a MaybeAsync value.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param mf - A MaybeAsync of a function.
+ * @returns A function taking MaybeAsync and returning a new MaybeAsync.
+ */
+export declare const ap: <A, B>(mf: MaybeAsync<(a: A) => B>) => ((ma: MaybeAsync<A>) => MaybeAsync<B>);
+/**
+ * Alt: use alternative MaybeAsync if first is Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param alt_ma - The alternative MaybeAsync.
+ * @returns A function taking the primary MaybeAsync.
+ */
+export declare const alt: <A>(alt_ma: MaybeAsync<A>) => ((ma: MaybeAsync<A>) => MaybeAsync<A>);
+/**
+ * Keep the value if predicate holds, otherwise Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param predicate - The predicate to test.
+ * @returns A function taking MaybeAsync and returning filtered MaybeAsync.
+ */
+export declare const filter: <A>(predicate: (a: A) => boolean) => ((ma: MaybeAsync<A>) => MaybeAsync<A>);
+/**
+ * Extract the value or provide a default.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param a - The default value.
+ * @returns A function taking MaybeAsync and returning a Promise of the value.
+ */
+export declare const getOrElse: <A>(a: A) => ((ma: MaybeAsync<A>) => Promise<A>);
+/**
+ * Extract the value or compute a default lazily.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - A function computing the default.
+ * @returns A function taking MaybeAsync and returning a Promise of the value.
+ */
+export declare const getOrElseL: <A>(f: () => Promise<A>) => ((ma: MaybeAsync<A>) => Promise<A>);
+/**
+ * Convert MaybeAsync to EitherAsync.
+ * Any rejected Promise or thrown error becomes Nothing which becomes Left; never rejects.
+ * @param onNothing - The Left value if Nothing.
+ * @returns A function taking MaybeAsync and returning EitherAsync.
+ */
+export declare const toEitherAsync: <E, A>(onNothing: E) => ((ma: MaybeAsync<A>) => EitherAsyncModule.EitherAsync<E, A>);
+/**
+ * Case analysis on MaybeAsync.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param onNothing - Value for Nothing.
+ * @param onJust - Function for Just value.
+ * @returns A function taking MaybeAsync and returning Promise of result.
+ */
+export declare const fold: <A, B>(onNothing: B, onJust: (a: A) => Promise<B>) => ((ma: MaybeAsync<A>) => Promise<B>);
+/**
+ * Collect Just values from an array of MaybeAsync.
+ * Rejected Promises and errors are filtered out.
+ * @param maybes - Array of MaybeAsync.
+ * @returns Promise of collected values.
+ */
+export declare const catMaybes: <A>(maybes: readonly MaybeAsync<A>[]) => Promise<readonly A[]>;
+/**
+ * All-or-Nothing: if any MaybeAsync is Nothing, result is Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param maybes - Array of MaybeAsync.
+ * @returns A MaybeAsync that is Just of array if all are Just, else Nothing.
+ */
+export declare const all: <A>(maybes: readonly MaybeAsync<A>[]) => MaybeAsync<A[]>;
+//# sourceMappingURL=MaybeAsync.d.ts.map

package/dist/esm/MaybeAsync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MaybeAsync.d.ts","sourceRoot":"","sources":["../../src/MaybeAsync.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,iBAAiB,MAAM,kBAAkB,CAAA;AAE1D;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAA;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;CAC5C,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAC1B,KAAK,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KACjC,UAAU,CAAC,CAAC,CAAiC,CAAA;AAEhD;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CACvB,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAGxD,CAAA;AAEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAG3D,CAAA;AAEH;;;;;GAKG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EACtB,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACb,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAInC,CAAA;AAEL;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EACxB,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,KACzB,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAQlC,CAAA;AAEN;;;;;GAKG;AACH,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,EACrB,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAC1B,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAKlC,CAAA;AAEN;;;;;GAKG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EACnB,QAAQ,UAAU,CAAC,CAAC,CAAC,KACpB,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAMlC,CAAA;AAEN;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EACtB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAC3B,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAInC,CAAA;AAEL;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAEf,CAAA;AAEvD;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAC1B,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,KAClB,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAK/B,CAAA;AAEN;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,EAChC,WAAW,CAAC,KACX,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAa3D,CAAA;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACvB,WAAW,CAAC,EACZ,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAC3B,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAK/B,CAAA;AAEN;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EACzB,QAAQ,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,KAC/B,OAAO,CAAC,SAAS,CAAC,EAAE,CAGpB,CAAA;AAEH;;;;;GAKG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,QAAQ,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,KAAG,UAAU,CAAC,CAAC,EAAE,CASpE,CAAA"}