@satoshibits/functional 1.0.3 → 1.1.0

package/dist/result.mjs

@@ -37,6 +37,17 @@
  * @category Core
  * @since 2025-07-03
  */
+var __assign = (this && this.__assign) || function () {
+    __assign = Object.assign || function(t) {
+        for (var s, i = 1, n = arguments.length; i < n; i++) {
+            s = arguments[i];
+            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
+                t[p] = s[p];
+        }
+        return t;
+    };
+    return __assign.apply(this, arguments);
+};
 var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
     function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
     return new (P || (P = Promise))(function (resolve, reject) {
@@ -667,6 +678,270 @@ export var Result = {
             }
         };
     },
+    /**
+     * Maps a function returning a Result over an array and sequences the results.
+     * @description Applies a Result-returning function to each element of an array
+     * and collects all results. If any operation fails, returns the first error.
+     *
+     * @template T - The input type
+     * @template U - The output type
+     * @template E - The error type
+     * @param {function(T): Result<U, E>} f - Function that returns a Result
+     * @returns {function(T[]): Result<U[], E>} A function that traverses arrays with Results
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const parseNumber = (s: string): Result<number, string> => {
+     *   const n = Number(s);
+     *   return isNaN(n) ? Result.err(`Not a number: ${s}`) : Result.ok(n);
+     * };
+     *
+     * const parseAll = Result.traverse(parseNumber);
+     * parseAll(['1', '2', '3']); // => { success: true, data: [1, 2, 3] }
+     * parseAll(['1', 'x', '3']); // => { success: false, error: 'Not a number: x' }
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    traverse: function (f) { return function (ts) {
+        var results = [];
+        for (var _i = 0, ts_1 = ts; _i < ts_1.length; _i++) {
+            var t = ts_1[_i];
+            var result = f(t);
+            if (!result.success) {
+                return result;
+            }
+            results.push(result.data);
+        }
+        return Result.ok(results);
+    }; },
+    /**
+     * Applies a Result of a function to a Result of a value.
+     * @description Enables applying functions wrapped in Results to values wrapped
+     * in Results. If either Result is an error, returns that error. This is the
+     * applicative apply operation for Result types.
+     *
+     * @template T - The input type
+     * @template U - The output type
+     * @template E - The error type
+     * @param {Result<T, E>} resultValue - Result containing a value
+     * @returns {function(Result<function(T): U, E>): Result<U, E>} A function that applies Result functions
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const add = (a: number) => (b: number) => a + b;
+     * const resultAdd = Result.ok(add);
+     * const result5 = Result.ok(5);
+     * const result3 = Result.ok(3);
+     *
+     * const sum = Result.ap(result3)(
+     *   Result.ap(result5)(
+     *     Result.map(add)(Result.ok(10))
+     *   )
+     * ); // => { success: true, data: 18 }
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    ap: function (resultValue) { return function (resultFn) {
+        if (!resultFn.success) {
+            return resultFn;
+        }
+        if (!resultValue.success) {
+            return resultValue;
+        }
+        return Result.ok(resultFn.data(resultValue.data));
+    }; },
+    /**
+     * Maps both the success and error values of a Result.
+     * @description Transforms both channels of a Result simultaneously. Useful for
+     * normalizing both success values and errors in a single operation.
+     *
+     * @template T - The input success type
+     * @template U - The output success type
+     * @template E - The input error type
+     * @template F - The output error type
+     * @param {function(T): U} f - Function to transform the success value
+     * @param {function(E): F} g - Function to transform the error value
+     * @returns {function(Result<T, E>): Result<U, F>} A function that transforms both channels
+     *
+     * @category Transformations
+     * @example
+     * ```typescript
+     * const transform = Result.bimap(
+     *   (n: number) => n.toString(),
+     *   (e: Error) => e.message
+     * );
+     *
+     * transform(Result.ok(42)); // => { success: true, data: '42' }
+     * transform(Result.err(new Error('fail'))); // => { success: false, error: 'fail' }
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    bimap: function (f, g) { return function (result) {
+        return result.success ? Result.ok(f(result.data)) : Result.err(g(result.error));
+    }; },
+    /**
+     * Executes a Result for its side effects, discarding the result.
+     * @description Runs a Result-returning function but preserves the original value.
+     * Useful for logging or other side effects where the result isn't needed.
+     *
+     * @template T - The type of the value
+     * @template E - The error type
+     * @param {function(T): Result<any, E>} f - Function that returns a Result (result discarded)
+     * @returns {function(Result<T, E>): Result<T, E>} A function that executes side effects
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const log = (msg: string): Result<void, never> => {
+     *   console.log(msg);
+     *   return Result.ok(undefined);
+     * };
+     *
+     * const result = Result.chainFirst((n: number) => log(`Got: ${n}`))(
+     *   Result.ok(42)
+     * ); // logs "Got: 42", returns { success: true, data: 42 }
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    chainFirst: function (f) { return function (result) {
+        if (!result.success) {
+            return result;
+        }
+        var sideEffect = f(result.data);
+        if (!sideEffect.success) {
+            return sideEffect;
+        }
+        return result;
+    }; },
+    /**
+     * Combines the results of a tuple of Results into a Result of a tuple.
+     * @description Takes multiple Results and returns a Result containing a tuple
+     * of their values. If any Result is an error, returns the first error.
+     *
+     * @template T - Tuple type of Results
+     * @param {...T} results - Results to combine
+     * @returns {Result<{ [K in keyof T]: T[K] extends Result<infer U, any> ? U : never }, T[number] extends Result<any, infer E> ? E : never>} Result of tuple
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const result1 = Result.ok(1);
+     * const result2 = Result.ok('hello');
+     * const result3 = Result.ok(true);
+     *
+     * const combined = Result.sequenceT(result1, result2, result3);
+     * // => { success: true, data: [1, 'hello', true] }
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    sequenceT: function () {
+        var results = [];
+        for (var _i = 0; _i < arguments.length; _i++) {
+            results[_i] = arguments[_i];
+        }
+        var values = [];
+        for (var _a = 0, results_3 = results; _a < results_3.length; _a++) {
+            var result = results_3[_a];
+            if (!result.success) {
+                return result;
+            }
+            values.push(result.data);
+        }
+        return Result.ok(values);
+    },
+    /**
+     * Combines the results of a record of Results into a Result of a record.
+     * @description Takes an object with Result values and returns a Result containing
+     * an object with the unwrapped values. If any Result is an error, returns the first error.
+     *
+     * @template R - Record type with Result values
+     * @param {R} results - Record of Results to combine
+     * @returns {Result<{ [K in keyof R]: R[K] extends Result<infer U, any> ? U : never }, R[keyof R] extends Result<any, infer E> ? E : never>} Result of record
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const results = {
+     *   user: Result.ok({ name: 'Alice' }),
+     *   count: Result.ok(42),
+     *   enabled: Result.ok(true)
+     * };
+     *
+     * const combined = Result.sequenceS(results);
+     * // => { success: true, data: { user: { name: 'Alice' }, count: 42, enabled: true } }
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    sequenceS: function (results) {
+        var keys = Object.keys(results);
+        var values = {};
+        for (var _i = 0, keys_1 = keys; _i < keys_1.length; _i++) {
+            var key = keys_1[_i];
+            var result = results[key];
+            if (!result.success) {
+                return result;
+            }
+            values[key] = result.data;
+        }
+        return Result.ok(values);
+    },
+    /**
+     * Do notation helper for Result types.
+     * @description Provides a way to write sequential Result operations in an
+     * imperative style, similar to async/await but for Result types.
+     *
+     * @template E - The error type
+     * @returns {object} Do notation builder
+     *
+     * @category Do Notation
+     * @example
+     * ```typescript
+     * const result = Result.Do<string>()
+     *   .bind('x', Result.ok(5))
+     *   .bind('y', Result.ok(3))
+     *   .map(({ x, y }) => x + y);
+     * // => { success: true, data: 8 }
+     *
+     * const withError = Result.Do<string>()
+     *   .bind('x', Result.ok(5))
+     *   .bind('y', Result.err<number, string>('error'))
+     *   .map(({ x, y }) => x + y);
+     * // => { success: false, error: 'error' }
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    Do: function () {
+        var createBuilder = function (context) { return ({
+            bind: function (key, result) {
+                var _a;
+                if (!context.success) {
+                    return createBuilder(context);
+                }
+                var actualResult = typeof result === 'function' ? result(context.data) : result;
+                if (!actualResult.success) {
+                    return createBuilder(actualResult);
+                }
+                return createBuilder(Result.ok(__assign(__assign({}, context.data), (_a = {}, _a[key] = actualResult.data, _a))));
+            },
+            map: function (f) {
+                return context.success ? Result.ok(f(context.data)) : context;
+            },
+            flatMap: function (f) {
+                return context.success ? f(context.data) : context;
+            },
+            value: function () { return context; },
+        }); };
+        return createBuilder(Result.ok({}));
+    },
 };
 /**
  * Utility type guard for checking if a value is a Result.

package/dist/result.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"result.mjs","sourceRoot":"","sources":["../src/result.mts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCH;;;;;;;GAOG;AACH,MAAM,CAAC,IAAM,MAAM,GAAG;IACpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,EAAE,EAAE,UAAe,IAAO,IAAmB,OAAA,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,MAAA,EAAE,CAAC,EAAzB,CAAyB;IAEtE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,GAAG,EAAE,UAAwB,KAAQ,IAAmB,OAAA,CAAC;QACvD,OAAO,EAAE,KAAK;QACd,KAAK,OAAA;KACN,CAAC,EAHsD,CAGtD;IAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,GAAG,EACD,UAAU,CAAiB;QAC3B,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAsB;QAAnE,CAAmE;IADrE,CACqE;IAEvE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACH,OAAO,EACL,UAAU,CAA4B;QACtC,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAsB;QAAxD,CAAwD;IAD1D,CAC0D;IAE5D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAiCG;IACH,QAAQ,EACN,UAAU,CAAkB;QAC5B,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAsB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,MAAuC,CAAC,KAAK,CAAC,CAAC;QAAvG,CAAuG;IADzG,CACyG;IAE3G;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,SAAS,EACP,UAAK,YAAe;QACpB,OAAA,UAAK,MAAoB;YACvB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;QAA3C,CAA2C;IAD7C,CAC6C;IAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,IAAI,EACF,UAAU,SAAyB,EAAE,SAA0B;QAC/D,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAE,MAAuC,CAAC,KAAK,CAAC;QAAnG,CAAmG;IADrG,CACqG;IAEvG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACH,OAAO,EACL,UAAa,CAAoB;QACjC,OAAA,UAAC,OAAqB,EAAE,OAAqB;YAC3C,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,MAAM,CAAC,GAAG,CAAE,OAAwC,CAAC,KAAK,CAAC,CAAC;YACrE,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,MAAM,CAAC,GAAG,CAAE,OAAwC,CAAC,KAAK,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,CAAC;IARD,CAQC;IAEH;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,QAAQ,EAAE,UAAO,OAAuB;QACtC,IAAM,IAAI,GAAQ,EAAE,CAAC;QACrB,KAAqB,UAAO,EAAP,mBAAO,EAAP,qBAAO,EAAP,IAAO,EAAE,CAAC;YAA1B,IAAM,MAAM,gBAAA;YACf,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,OAAO,MAAwB,CAAC;YAClC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACH,MAAM,EACJ,UAAO,SAA+B,EAAE,KAAQ;QAChD,OAAA,UAAC,MAAoB;YACnB,OAAA,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;QAA9E,CAA8E;IADhF,CACgF;IAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,MAAM,EACJ,UAAU,UAAsC;QAChD,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAsB,CAAC,CAAC,CAAC,UAAU,CAAE,MAAuC,CAAC,KAAK,CAAC;QAApG,CAAoG;IADtG,CACsG;IAExG;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,oBAAoB,EAAE,UAAO,OAAuB;QAClD,IAAM,SAAS,GAAQ,EAAE,CAAC;QAC1B,IAAM,MAAM,GAAQ,EAAE,CAAC;QAEvB,KAAqB,UAAO,EAAP,mBAAO,EAAP,qBAAO,EAAP,IAAO,EAAE,CAAC;YAA1B,IAAM,MAAM,gBAAA;YACf,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAE,MAAuC,CAAC,KAAK,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,IAAI,EAAE,UAAO,MAAoB;QAC/B,OAAA,MAAM,CAAC,OAAO;IAAd,CAAc;IAEhB;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,KAAK,EAAE,UAAO,MAAoB;QAChC,OAAA,CAAC,MAAM,CAAC,OAAO;IAAf,CAAe;IAEjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACH,WAAW,EAAE,UAAW,OAAmB;;;;;;oBAE1B,qBAAM,OAAO,EAAA;;oBAApB,IAAI,GAAG,SAAa;oBAC1B,sBAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAC;;;oBAEvB,sBAAO,MAAM,CAAC,GAAG,CACf,OAAK,YAAY,KAAK,CAAC,CAAC,CAAC,OAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAK,CAAC,CAAC,CAC1D,EAAC;;;;SAEL;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgCG;IACH,aAAa,EACX,UAAyB,EAAqB;QAC5C,OAAA;YAAC,cAAU;iBAAV,UAAU,EAAV,qBAAU,EAAV,IAAU;gBAAV,yBAAU;;YACT,IAAI,CAAC;gBACH,IAAM,MAAM,GAAG,EAAE,eAAI,IAAI,CAAC,CAAC;gBAC3B,OAAO,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YAC3B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,MAAM,CAAC,GAAG,CACf,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAC1D,CAAC;YACJ,CAAC;QACH,CAAC;IATD,CASC;CACN,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,8DAA8D;AAC9D,MAAM,CAAC,IAAM,QAAQ,GAAG,UAAO,KAAU;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,sEAAsE;IACtE,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,MAAM,IAAI,KAAK,CAAC;IACzB,CAAC;IACD,sEAAsE;IACtE,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;QAC5B,OAAO,OAAO,IAAI,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,CAAC,IAAM,MAAM,GAAG,UAAO,MAAoB;IAC/C,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IAED,IAAM,YAAY,GAAI,MAAuC,CAAC,KAAK,YAAY,KAAK;QAClF,CAAC,CAAG,MAAuC,CAAC,KAAe,CAAC,OAAO;QACnE,CAAC,CAAC,MAAM,CAAE,MAAuC,CAAC,KAAK,CAAC,CAAC;IAE3D,MAAM,IAAI,KAAK,CACb,6CAAsC,YAAY,CAAE,CACrD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,MAAM,CAAC,IAAM,IAAI,GACf,UAAO,MAAqB,EAAE,YAAuC;IAAvC,6BAAA,EAAA,uCAAuC;IACrE,OAAA,UAAC,GAAM;QACL,IAAI,CAAC;YACH,IAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC1C,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAClC,CAAC;YACD,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;QAAC,WAAM,CAAC;YACP,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;AAVD,CAUC,CAAC"}
+{"version":3,"file":"result.mjs","sourceRoot":"","sources":["../src/result.mts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgDH;;;;;;;GAOG;AACH,MAAM,CAAC,IAAM,MAAM,GAAG;IACpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,EAAE,EAAE,UAAe,IAAO,IAAmB,OAAA,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,MAAA,EAAE,CAAC,EAAzB,CAAyB;IAEtE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,GAAG,EAAE,UAAwB,KAAQ,IAAmB,OAAA,CAAC;QACvD,OAAO,EAAE,KAAK;QACd,KAAK,OAAA;KACN,CAAC,EAHsD,CAGtD;IAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,GAAG,EACD,UAAU,CAAiB;QAC3B,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAsB;QAAnE,CAAmE;IADrE,CACqE;IAEvE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACH,OAAO,EACL,UAAU,CAA4B;QACtC,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAsB;QAAxD,CAAwD;IAD1D,CAC0D;IAE5D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAiCG;IACH,QAAQ,EACN,UAAU,CAAkB;QAC5B,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAsB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,MAAuC,CAAC,KAAK,CAAC,CAAC;QAAvG,CAAuG;IADzG,CACyG;IAE3G;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,SAAS,EACP,UAAK,YAAe;QACpB,OAAA,UAAK,MAAoB;YACvB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;QAA3C,CAA2C;IAD7C,CAC6C;IAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,IAAI,EACF,UAAU,SAAyB,EAAE,SAA0B;QAC/D,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAE,MAAuC,CAAC,KAAK,CAAC;QAAnG,CAAmG;IADrG,CACqG;IAEvG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACH,OAAO,EACL,UAAa,CAAoB;QACjC,OAAA,UAAC,OAAqB,EAAE,OAAqB;YAC3C,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,MAAM,CAAC,GAAG,CAAE,OAAwC,CAAC,KAAK,CAAC,CAAC;YACrE,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,MAAM,CAAC,GAAG,CAAE,OAAwC,CAAC,KAAK,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,CAAC;IARD,CAQC;IAEH;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,QAAQ,EAAE,UAAO,OAAuB;QACtC,IAAM,IAAI,GAAQ,EAAE,CAAC;QACrB,KAAqB,UAAO,EAAP,mBAAO,EAAP,qBAAO,EAAP,IAAO,EAAE,CAAC;YAA1B,IAAM,MAAM,gBAAA;YACf,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,OAAO,MAAwB,CAAC;YAClC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACH,MAAM,EACJ,UAAO,SAA+B,EAAE,KAAQ;QAChD,OAAA,UAAC,MAAoB;YACnB,OAAA,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;QAA9E,CAA8E;IADhF,CACgF;IAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,MAAM,EACJ,UAAU,UAAsC;QAChD,OAAA,UAAC,MAAoB;YACnB,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAsB,CAAC,CAAC,CAAC,UAAU,CAAE,MAAuC,CAAC,KAAK,CAAC;QAApG,CAAoG;IADtG,CACsG;IAExG;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,oBAAoB,EAAE,UAAO,OAAuB;QAClD,IAAM,SAAS,GAAQ,EAAE,CAAC;QAC1B,IAAM,MAAM,GAAQ,EAAE,CAAC;QAEvB,KAAqB,UAAO,EAAP,mBAAO,EAAP,qBAAO,EAAP,IAAO,EAAE,CAAC;YAA1B,IAAM,MAAM,gBAAA;YACf,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAE,MAAuC,CAAC,KAAK,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,IAAI,EAAE,UAAO,MAAoB;QAC/B,OAAA,MAAM,CAAC,OAAO;IAAd,CAAc;IAEhB;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,KAAK,EAAE,UAAO,MAAoB;QAChC,OAAA,CAAC,MAAM,CAAC,OAAO;IAAf,CAAe;IAEjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACH,WAAW,EAAE,UAAW,OAAmB;;;;;;oBAE1B,qBAAM,OAAO,EAAA;;oBAApB,IAAI,GAAG,SAAa;oBAC1B,sBAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAC;;;oBAEvB,sBAAO,MAAM,CAAC,GAAG,CACf,OAAK,YAAY,KAAK,CAAC,CAAC,CAAC,OAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAK,CAAC,CAAC,CAC1D,EAAC;;;;SAEL;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgCG;IACH,aAAa,EACX,UAAyB,EAAqB;QAC5C,OAAA;YAAC,cAAU;iBAAV,UAAU,EAAV,qBAAU,EAAV,IAAU;gBAAV,yBAAU;;YACT,IAAI,CAAC;gBACH,IAAM,MAAM,GAAG,EAAE,eAAI,IAAI,CAAC,CAAC;gBAC3B,OAAO,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YAC3B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,MAAM,CAAC,GAAG,CACf,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAC1D,CAAC;YACJ,CAAC;QACH,CAAC;IATD,CASC;IAEL;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,QAAQ,EAAE,UAAU,CAAyB,IAAK,OAAA,UAAC,EAAO;QACxD,IAAM,OAAO,GAAQ,EAAE,CAAC;QACxB,KAAgB,UAAE,EAAF,SAAE,EAAF,gBAAE,EAAF,IAAE,EAAE,CAAC;YAAhB,IAAM,CAAC,WAAA;YACV,IAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,OAAO,MAAwB,CAAC;YAClC,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC,EAViD,CAUjD;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,EAAE,EAAE,UAAU,WAAyB,IAAK,OAAA,UAAC,QAAgC;QAC3E,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtB,OAAO,QAAwB,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YACzB,OAAO,WAA2B,CAAC;QACrC,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC,EAR2C,CAQ3C;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,KAAK,EAAE,UAAa,CAAc,EAAE,CAAc,IAAK,OAAA,UAAC,MAAoB;QAC1E,OAAA,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAAxE,CAAwE,EADnB,CACmB;IAE1E;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,UAAU,EAAE,UAAO,CAA+B,IAAK,OAAA,UAAC,MAAoB;QAC1E,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YACxB,OAAO,UAA0B,CAAC;QACpC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,EATsD,CAStD;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,SAAS,EAAE;QACT,iBAAa;aAAb,UAAa,EAAb,qBAAa,EAAb,IAAa;YAAb,4BAAa;;QAKb,IAAM,MAAM,GAAc,EAAE,CAAC;QAC7B,KAAqB,UAAO,EAAP,mBAAO,EAAP,qBAAO,EAAP,IAAO,EAAE,CAAC;YAA1B,IAAM,MAAM,gBAAA;YACf,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,OAAO,MAGN,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC,MAAM,CAGtB,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,SAAS,EAAE,UACT,OAAU;QAKV,IAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAgB,CAAC;QACjD,IAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAkB,UAAI,EAAJ,aAAI,EAAJ,kBAAI,EAAJ,IAAI,EAAE,CAAC;YAApB,IAAM,GAAG,aAAA;YACZ,IAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAE,CAAC;YAC7B,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,OAAO,MAGN,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAa,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;QACtC,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC,MAAM,CAGtB,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,EAAE,EAAE;QAGF,IAAM,aAAa,GAAG,UAAC,OAA2B,IAAyB,OAAA,CAAC;YAC1E,IAAI,EAAE,UACJ,GAAM,EACN,MAAuD;;gBAEvD,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;oBACrB,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;gBAChC,CAAC;gBACD,IAAM,YAAY,GAAG,OAAO,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBAClF,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;oBAC1B,OAAO,aAAa,CAAC,YAAkC,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,aAAa,CAAC,MAAM,CAAC,EAAE,uBAAM,OAAO,CAAC,IAAI,gBAAG,GAAG,IAAG,YAAY,CAAC,IAAI,OAAG,CAAC,CAAC;YACjF,CAAC;YACD,GAAG,EAAE,UAAK,CAAsB;gBAC9B,OAAA,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAuB;YAAtE,CAAsE;YACxE,OAAO,EAAE,UAAK,CAAiC;gBAC7C,OAAA,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAuB;YAA3D,CAA2D;YAC7D,KAAK,EAAE,cAA0B,OAAA,OAAO,EAAP,CAAO;SACzC,CAAC,EAnByE,CAmBzE,CAAC;QAEH,OAAO,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,8DAA8D;AAC9D,MAAM,CAAC,IAAM,QAAQ,GAAG,UAAO,KAAU;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,sEAAsE;IACtE,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,MAAM,IAAI,KAAK,CAAC;IACzB,CAAC;IACD,sEAAsE;IACtE,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;QAC5B,OAAO,OAAO,IAAI,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,CAAC,IAAM,MAAM,GAAG,UAAO,MAAoB;IAC/C,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IAED,IAAM,YAAY,GAAI,MAAuC,CAAC,KAAK,YAAY,KAAK;QAClF,CAAC,CAAG,MAAuC,CAAC,KAAe,CAAC,OAAO;QACnE,CAAC,CAAC,MAAM,CAAE,MAAuC,CAAC,KAAK,CAAC,CAAC;IAE3D,MAAM,IAAI,KAAK,CACb,6CAAsC,YAAY,CAAE,CACrD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,MAAM,CAAC,IAAM,IAAI,GACf,UAAO,MAAqB,EAAE,YAAuC;IAAvC,6BAAA,EAAA,uCAAuC;IACrE,OAAA,UAAC,GAAM;QACL,IAAI,CAAC;YACH,IAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC1C,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAClC,CAAC;YACD,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;QAAC,WAAM,CAAC;YACP,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;AAVD,CAUC,CAAC"}

package/dist/task.d.mts

@@ -0,0 +1,361 @@
+/**
+ * @module task
+ * @description Task represents a lazy asynchronous computation.
+ * A Task is simply a thunk that returns a Promise. This provides a lazy, composable
+ * wrapper around async operations, ensuring referential transparency and making
+ * async code more predictable and testable. Note that Tasks can reject - for
+ * explicit error handling, consider using Task<Result<T, E>> pattern.
+ *
+ * @example
+ * ```typescript
+ * import { Task } from './task.mts';
+ *
+ * // basic usage
+ * const readFile = (path: string): Task<string> =>
+ *   () => fs.promises.readFile(path, 'utf-8');
+ *
+ * // composing tasks
+ * const processFile = Task.chain((content: string) =>
+ *   Task.of(content.toUpperCase())
+ * )(readFile('data.txt'));
+ *
+ * // running tasks
+ * const result = await Task.run(processFile);
+ * ```
+ *
+ * @category Core
+ * @since 2025-09-18
+ */
+/**
+ * Task type representing a lazy async computation that always succeeds.
+ * @description A Task is a function that returns a Promise. This lazy evaluation
+ * allows for composition and transformation before execution, making async code
+ * more predictable and easier to test.
+ *
+ * @template A - The type of the value the task will produce
+ *
+ * @category Types
+ * @example
+ * ```typescript
+ * // Simple task
+ * const delay: Task<void> = () => new Promise(resolve =>
+ *   setTimeout(resolve, 1000)
+ * );
+ *
+ * // Task returning a value
+ * const fetchUser: Task<User> = () =>
+ *   fetch('/api/user').then(r => r.json());
+ * ```
+ *
+ * @since 2025-09-18
+ */
+export type Task<A> = () => Promise<A>;
+/**
+ * Task utility functions for working with Task types.
+ * @description Provides a functional API for creating, transforming, and composing Tasks.
+ * All functions are curried to support functional composition and partial application.
+ *
+ * @category Utilities
+ * @since 2025-09-18
+ */
+export declare const Task: {
+    /**
+     * Creates a Task that immediately resolves with the given value.
+     * @description Factory function for creating tasks from values. The resulting
+     * task will always succeed with the provided value.
+     *
+     * @template A - The type of the value
+     * @param {A} value - The value to wrap in a Task
+     * @returns {Task<A>} A Task that resolves to the value
+     *
+     * @category Constructors
+     * @example
+     * ```typescript
+     * const task = Task.of(42);
+     * await Task.run(task); // => 42
+     *
+     * // Useful for starting chains
+     * const result = await Task.run(
+     *   Task.chain((n: number) => Task.of(n * 2))(
+     *     Task.of(21)
+     *   )
+     * ); // => 42
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    of: <A>(value: A) => Task<A>;
+    /**
+     * Creates a Task from a Promise.
+     * @description Wraps a Promise in a Task, making it lazy. The Promise
+     * won't execute until the Task is run.
+     *
+     * @template A - The type of the value the Promise resolves to
+     * @param {() => Promise<A>} f - A function that returns a Promise
+     * @returns {Task<A>} A Task wrapping the Promise
+     *
+     * @category Constructors
+     * @example
+     * ```typescript
+     * const fetchData = Task.fromPromise(() =>
+     *   fetch('/api/data').then(r => r.json())
+     * );
+     *
+     * // Promise doesn't execute until run
+     * const result = await Task.run(fetchData);
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    fromPromise: <A>(f: () => Promise<A>) => Task<A>;
+    /**
+     * Transforms the value inside a Task using the given function.
+     * @description Applies a pure function to the eventual value of a Task,
+     * creating a new Task with the transformed value. This is the functor
+     * map operation for Task types.
+     *
+     * @template A - The input type
+     * @template B - The output type
+     * @param {function(A): B} f - Function to transform the value
+     * @returns {function(Task<A>): Task<B>} A function that transforms Tasks
+     *
+     * @category Transformations
+     * @example
+     * ```typescript
+     * const double = Task.map((n: number) => n * 2);
+     * const task = Task.of(21);
+     * const doubled = double(task);
+     * await Task.run(doubled); // => 42
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    map: <A, B>(f: (value: A) => B) => (task: Task<A>) => Task<B>;
+    /**
+     * Chains Task-returning operations.
+     * @description Sequences two Tasks where the second depends on the result
+     * of the first. This is the monadic bind operation for Task types.
+     *
+     * @template A - The input type
+     * @template B - The output type
+     * @param {function(A): Task<B>} f - Function that returns a new Task
+     * @returns {function(Task<A>): Task<B>} A function that chains Tasks
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const readFile = (path: string): Task<string> =>
+     *   () => fs.promises.readFile(path, 'utf-8');
+     *
+     * const parseJson = <T>(content: string): Task<T> =>
+     *   Task.of(JSON.parse(content));
+     *
+     * const loadConfig = Task.chain(parseJson<Config>)(
+     *   readFile('config.json')
+     * );
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    chain: <A, B>(f: (value: A) => Task<B>) => (task: Task<A>) => Task<B>;
+    /**
+     * Alias for chain to match fp-ts naming.
+     * @description See {@link chain} for details.
+     *
+     * @category Combinators
+     * @since 2025-09-18
+     */
+    flatMap: <A, B>(f: (value: A) => Task<B>) => (task: Task<A>) => Task<B>;
+    /**
+     * Applies a Task of a function to a Task of a value.
+     * @description Enables applying functions wrapped in Tasks to values wrapped
+     * in Tasks. This is the applicative apply operation for Task types.
+     *
+     * @template A - The input type
+     * @template B - The output type
+     * @param {Task<A>} taskValue - Task containing a value
+     * @returns {function(Task<function(A): B>): Task<B>} A function that applies Task functions
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const add = (a: number) => (b: number) => a + b;
+     * const taskAdd = Task.of(add);
+     * const task5 = Task.of(5);
+     * const task3 = Task.of(3);
+     *
+     * const result = await Task.run(
+     *   Task.ap(task3)(
+     *     Task.ap(task5)(
+     *       Task.map(add)(Task.of(10))
+     *     )
+     *   )
+     * ); // => 18
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    ap: <A, B>(taskValue: Task<A>) => (taskFn: Task<(a: A) => B>) => Task<B>;
+    /**
+     * Runs a Task to completion and returns its Promise.
+     * @description Executes a Task, triggering the async computation and
+     * returning the resulting Promise.
+     *
+     * @template A - The type of the value
+     * @param {Task<A>} task - The Task to run
+     * @returns {Promise<A>} The result of running the Task
+     *
+     * @category Execution
+     * @example
+     * ```typescript
+     * const task = Task.of(42);
+     * const result = await Task.run(task); // => 42
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    run: <A>(task: Task<A>) => Promise<A>;
+    /**
+     * Converts an array of Tasks into a Task of an array.
+     * @description Runs all Tasks in parallel and collects their results.
+     * All Tasks must succeed for the resulting Task to succeed.
+     *
+     * @template A - The type of values in the Tasks
+     * @param {Task<A>[]} tasks - Array of Tasks to sequence
+     * @returns {Task<A[]>} A Task containing an array of results
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const tasks = [
+     *   Task.of(1),
+     *   Task.of(2),
+     *   Task.of(3)
+     * ];
+     * const combined = Task.sequence(tasks);
+     * await Task.run(combined); // => [1, 2, 3]
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    sequence: <A>(tasks: Task<A>[]) => Task<A[]>;
+    /**
+     * Maps a function returning a Task over an array and sequences the results.
+     * @description Applies a Task-returning function to each element of an array
+     * and runs all resulting Tasks in parallel.
+     *
+     * @template A - The input type
+     * @template B - The output type
+     * @param {function(A): Task<B>} f - Function that returns a Task
+     * @returns {function(A[]): Task<B[]>} A function that traverses arrays with Tasks
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const fetchUser = (id: string): Task<User> =>
+     *   () => fetch(`/api/users/${id}`).then(r => r.json());
+     *
+     * const fetchAllUsers = Task.traverse(fetchUser);
+     * const users = await Task.run(
+     *   fetchAllUsers(['1', '2', '3'])
+     * );
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    traverse: <A, B>(f: (a: A) => Task<B>) => (as: A[]) => Task<B[]>;
+    /**
+     * Creates a Task that delays for the specified milliseconds.
+     * @description Returns a Task that waits for the given duration before
+     * resolving with void.
+     *
+     * @param {number} ms - Number of milliseconds to delay
+     * @returns {Task<void>} A Task that delays
+     *
+     * @category Utilities
+     * @example
+     * ```typescript
+     * const delayed = Task.chain(() => Task.of('done'))(
+     *   Task.delay(1000)
+     * );
+     * await Task.run(delayed); // => 'done' (after 1 second)
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    delay: (ms: number) => Task<void>;
+    /**
+     * Combines the results of a tuple of Tasks into a Task of a tuple.
+     * @description Takes multiple Tasks and returns a Task containing a tuple
+     * of their results. All Tasks run in parallel.
+     *
+     * @template T - Tuple type of Tasks
+     * @param {...T} tasks - Tasks to combine
+     * @returns {Task<{ [K in keyof T]: T[K] extends Task<infer U> ? U : never }>} Task of tuple
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const task1 = Task.of(1);
+     * const task2 = Task.of('hello');
+     * const task3 = Task.of(true);
+     *
+     * const combined = Task.sequenceT(task1, task2, task3);
+     * await Task.run(combined); // => [1, 'hello', true]
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    sequenceT: <T extends readonly Task<unknown>[]>(...tasks: T) => Task<{ [K in keyof T]: T[K] extends Task<infer U> ? U : never; }>;
+    /**
+     * Combines the results of a record of Tasks into a Task of a record.
+     * @description Takes an object with Task values and returns a Task containing
+     * an object with the results. All Tasks run in parallel.
+     *
+     * @template R - Record type with Task values
+     * @param {R} tasks - Record of Tasks to combine
+     * @returns {Task<{ [K in keyof R]: R[K] extends Task<infer U> ? U : never }>} Task of record
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const tasks = {
+     *   user: Task.of({ name: 'Alice' }),
+     *   count: Task.of(42),
+     *   enabled: Task.of(true)
+     * };
+     *
+     * const combined = Task.sequenceS(tasks);
+     * await Task.run(combined);
+     * // => { user: { name: 'Alice' }, count: 42, enabled: true }
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    sequenceS: <R extends Record<string, Task<unknown>>>(tasks: R) => Task<{ [K in keyof R]: R[K] extends Task<infer U> ? U : never; }>;
+    /**
+     * Executes a Task for its side effects, discarding the result.
+     * @description Runs a Task but returns void, useful for Tasks that
+     * perform side effects where the result isn't needed.
+     *
+     * @template A - The type of the value (discarded)
+     * @param {function(A): Task<unknown>} f - Function that returns a Task (result discarded)
+     * @returns {function(Task<A>): Task<A>} A function that executes side effects
+     *
+     * @category Combinators
+     * @example
+     * ```typescript
+     * const log = (msg: string): Task<void> =>
+     *   () => Promise.resolve(console.log(msg));
+     *
+     * const task = Task.chainFirst((n: number) => log(`Got: ${n}`))(
+     *   Task.of(42)
+     * );
+     * await Task.run(task); // logs "Got: 42", returns 42
+     * ```
+     *
+     * @since 2025-09-18
+     */
+    chainFirst: <A>(f: (a: A) => Task<unknown>) => (task: Task<A>) => Task<A>;
+};
+//# sourceMappingURL=task.d.mts.map

package/dist/task.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task.d.mts","sourceRoot":"","sources":["../src/task.mts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC;AAEvC;;;;;;;GAOG;AACH,eAAO,MAAM,IAAI;IACf;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;SACE,CAAC,SAAU,CAAC,KAAG,IAAI,CAAC,CAAC,CAAC;IAE3B;;;;;;;;;;;;;;;;;;;;;OAqBG;kBACW,CAAC,KAAM,MAAM,OAAO,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAC;IAE/C;;;;;;;;;;;;;;;;;;;;;OAqBG;UACG,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAC;IAG3D;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;YACK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAC;IAGnE;;;;;;OAMG;cACO,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAC;IAGrE;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;SACE,CAAC,EAAE,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAC;IAGtE;;;;;;;;;;;;;;;;;OAiBG;UACG,CAAC,QAAS,IAAI,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAAC;IAEpC;;;;;;;;;;;;;;;;;;;;;;OAsBG;eACQ,CAAC,SAAU,IAAI,CAAC,CAAC,CAAC,EAAE,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC;IAG3C;;;;;;;;;;;;;;;;;;;;;;;OAuBG;eACQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC;IAG9D;;;;;;;;;;;;;;;;;;OAkBG;gBACS,MAAM,KAAG,IAAI,CAAC,IAAI,CAAC;IAG/B;;;;;;;;;;;;;;;;;;;;;OAqBG;gBACS,CAAC,SAAS,SAAS,IAAI,CAAC,OAAO,CAAC,EAAE,YAClC,CAAC,KACV,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,GAAE,CAAC;IAGnE;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;gBACS,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,SAC1C,CAAC,KACP,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,GAAE,CAAC;IAWnE;;;;;;;;;;;;;;;;;;;;;;OAsBG;iBACU,CAAC,KAAM,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAC;CAEzE,CAAC"}