@nlozgachev/pipelined 0.8.0 → 0.10.0

package/esm/src/Core/Optional.js

@@ -84,12 +84,12 @@ export var Optional;
      *
      * @example
      * ```ts
-     * pipe(profile, Optional.getOrElse(bioOpt)("no bio"));
+     * pipe(profile, Optional.getOrElse(bioOpt)(() => "no bio"));
      * ```
      */
     Optional.getOrElse = (opt) => (defaultValue) => (s) => {
         const val = opt.get(s);
-        return val.kind === "Some" ? val.value : defaultValue;
+        return val.kind === "Some" ? val.value : defaultValue();
     };
     /**
      * Extracts a value from an Optional focus using handlers for the present

package/esm/src/Core/RemoteData.js

@@ -1,3 +1,5 @@
+import { Option } from "./Option.js";
+import { Result } from "./Result.js";
 export var RemoteData;
 (function (RemoteData) {
     /**
@@ -157,9 +159,9 @@ export var RemoteData;
      *
      * @example
      * ```ts
-     * pipe(RemoteData.success(5), RemoteData.getOrElse(0)); // 5
-     * pipe(RemoteData.loading(), RemoteData.getOrElse(0)); // 0
-     * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(null)); // null — typed as number | null
+     * pipe(RemoteData.success(5), RemoteData.getOrElse(() => 0)); // 5
+     * pipe(RemoteData.loading(), RemoteData.getOrElse(() => 0)); // 0
+     * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(() => null)); // null — typed as number | null
      * ```
      */
     RemoteData.getOrElse = (defaultValue) => (data) => RemoteData.isSuccess(data) ? data.value : defaultValue();
@@ -189,7 +191,7 @@ export var RemoteData;
      * Converts a RemoteData to an Option.
      * Success becomes Some, all other states become None.
      */
-    RemoteData.toOption = (data) => RemoteData.isSuccess(data) ? { kind: "Some", value: data.value } : { kind: "None" };
+    RemoteData.toOption = (data) => RemoteData.isSuccess(data) ? Option.some(data.value) : Option.none();
     /**
      * Converts a RemoteData to a Result.
      * Success becomes Ok, Failure becomes Err.
@@ -204,6 +206,6 @@ export var RemoteData;
      * ```
      */
     RemoteData.toResult = (onNotReady) => (data) => RemoteData.isSuccess(data)
-        ? { kind: "Ok", value: data.value }
-        : { kind: "Error", error: RemoteData.isFailure(data) ? data.error : onNotReady() };
+        ? Result.ok(data.value)
+        : Result.err(RemoteData.isFailure(data) ? data.error : onNotReady());
 })(RemoteData || (RemoteData = {}));

package/esm/src/Core/TaskValidation.js

@@ -39,15 +39,6 @@ export var TaskValidation;
      * Transforms the success value inside a TaskValidation.
      */
     TaskValidation.map = (f) => (data) => Task.map(Validation.map(f))(data);
-    /**
-     * Chains TaskValidation computations. If the first is Valid, passes the value
-     * to f. If the first is Invalid, propagates the errors.
-     *
-     * Note: chain short-circuits on first error. Use ap to accumulate errors.
-     */
-    TaskValidation.chain = (f) => (data) => Task.chain((validation) => Validation.isValid(validation)
-        ? f(validation.value)
-        : Task.resolve(Validation.invalidAll(validation.errors)))(data);
     /**
      * Applies a function wrapped in a TaskValidation to a value wrapped in a
      * TaskValidation. Both Tasks run in parallel and errors from both sides
@@ -97,9 +88,43 @@ export var TaskValidation;
     TaskValidation.tap = (f) => (data) => Task.map(Validation.tap(f))(data);
     /**
      * Recovers from an Invalid state by providing a fallback TaskValidation.
+     * The fallback receives the accumulated error list so callers can inspect which errors occurred.
      * The fallback can produce a different success type, widening the result to `TaskValidation<E, A | B>`.
      */
     TaskValidation.recover = (fallback) => (data) => Task.chain((validation) => Validation.isValid(validation)
         ? Task.resolve(validation)
-        : fallback())(data);
+        : fallback(validation.errors))(data);
+    /**
+     * Runs two TaskValidations concurrently and combines their results into a tuple.
+     * If both are Valid, returns Valid with both values. If either fails, accumulates
+     * errors from both sides.
+     *
+     * @example
+     * ```ts
+     * await TaskValidation.product(
+     *   validateName(form.name),
+     *   validateAge(form.age),
+     * )(); // Valid(["Alice", 30]) or Invalid([...errors])
+     * ```
+     */
+    TaskValidation.product = (first, second) => Task.from(() => Promise.all([
+        Deferred.toPromise(first()),
+        Deferred.toPromise(second()),
+    ]).then(([va, vb]) => Validation.product(va, vb)));
+    /**
+     * Runs all TaskValidations concurrently and collects results.
+     * If all are Valid, returns Valid with all values as an array.
+     * If any fail, returns Invalid with all accumulated errors.
+     *
+     * @example
+     * ```ts
+     * await TaskValidation.productAll([
+     *   validateName(form.name),
+     *   validateEmail(form.email),
+     *   validateAge(form.age),
+     * ])(); // Valid([name, email, age]) or Invalid([...all errors])
+     * ```
+     */
+    TaskValidation.productAll = (data) => Task.from(() => Promise.all(data.map((t) => Deferred.toPromise(t())))
+        .then((results) => Validation.productAll(results)));
 })(TaskValidation || (TaskValidation = {}));

package/esm/src/Core/These.js

@@ -188,26 +188,26 @@ export var These;
      *
      * @example
      * ```ts
-     * pipe(These.first(5), These.getFirstOrElse(0));            // 5
-     * pipe(These.both(5, "warn"), These.getFirstOrElse(0));     // 5
-     * pipe(These.second("warn"), These.getFirstOrElse(0));      // 0
-     * pipe(These.second("warn"), These.getFirstOrElse(null));   // null — typed as number | null
+     * pipe(These.first(5), These.getFirstOrElse(() => 0));            // 5
+     * pipe(These.both(5, "warn"), These.getFirstOrElse(() => 0));     // 5
+     * pipe(These.second("warn"), These.getFirstOrElse(() => 0));      // 0
+     * pipe(These.second("warn"), These.getFirstOrElse(() => null));   // null — typed as number | null
      * ```
      */
-    These.getFirstOrElse = (defaultValue) => (data) => These.hasFirst(data) ? data.first : defaultValue;
+    These.getFirstOrElse = (defaultValue) => (data) => These.hasFirst(data) ? data.first : defaultValue();
     /**
      * Returns the second value, or a default if the These has no second value.
      * The default can be a different type, widening the result to `B | D`.
      *
      * @example
      * ```ts
-     * pipe(These.second("warn"), These.getSecondOrElse("none")); // "warn"
-     * pipe(These.both(5, "warn"), These.getSecondOrElse("none")); // "warn"
-     * pipe(These.first(5), These.getSecondOrElse("none"));       // "none"
-     * pipe(These.first(5), These.getSecondOrElse(null));         // null — typed as string | null
+     * pipe(These.second("warn"), These.getSecondOrElse(() => "none")); // "warn"
+     * pipe(These.both(5, "warn"), These.getSecondOrElse(() => "none")); // "warn"
+     * pipe(These.first(5), These.getSecondOrElse(() => "none"));       // "none"
+     * pipe(These.first(5), These.getSecondOrElse(() => null));         // null — typed as string | null
      * ```
      */
-    These.getSecondOrElse = (defaultValue) => (data) => These.hasSecond(data) ? data.second : defaultValue;
+    These.getSecondOrElse = (defaultValue) => (data) => These.hasSecond(data) ? data.second : defaultValue();
     /**
      * Executes a side effect on the first value without changing the These.
      * Useful for logging or debugging.

package/esm/src/Core/Validation.js

@@ -1,4 +1,3 @@
-import { isNonEmptyList } from "../Types/NonEmptyList.js";
 export var Validation;
 (function (Validation) {
     /**
@@ -55,22 +54,6 @@ export var Validation;
      * ```
      */
     Validation.map = (f) => (data) => Validation.isValid(data) ? Validation.valid(f(data.value)) : data;
-    /**
-     * Chains Validation computations. If the first is Valid, passes the value to f.
-     * If the first is Invalid, propagates the errors.
-     *
-     * Note: chain short-circuits on first error. Use `ap` to accumulate errors.
-     *
-     * @example
-     * ```ts
-     * const validatePositive = (n: number): Validation<string, number> =>
-     *   n > 0 ? Validation.valid(n) : Validation.invalid("Must be positive");
-     *
-     * pipe(Validation.valid(5), Validation.chain(validatePositive)); // Valid(5)
-     * pipe(Validation.valid(-1), Validation.chain(validatePositive)); // Invalid(["Must be positive"])
-     * ```
-     */
-    Validation.chain = (f) => (data) => Validation.isValid(data) ? f(data.value) : data;
     /**
      * Applies a function wrapped in a Validation to a value wrapped in a Validation.
      * Accumulates errors from both sides.
@@ -98,7 +81,7 @@ export var Validation;
             ...(Validation.isInvalid(data) ? data.errors : []),
             ...(Validation.isInvalid(arg) ? arg.errors : []),
         ];
-        return isNonEmptyList(errors) ? Validation.invalidAll(errors) : Validation.valid(data);
+        return Validation.invalidAll(errors);
     };
     /**
      * Extracts the value from a Validation by providing handlers for both cases.
@@ -136,9 +119,9 @@ export var Validation;
      *
      * @example
      * ```ts
-     * pipe(Validation.valid(5), Validation.getOrElse(0)); // 5
-     * pipe(Validation.invalid("oops"), Validation.getOrElse(0)); // 0
-     * pipe(Validation.invalid("oops"), Validation.getOrElse(null)); // null — typed as number | null
+     * pipe(Validation.valid(5), Validation.getOrElse(() => 0)); // 5
+     * pipe(Validation.invalid("oops"), Validation.getOrElse(() => 0)); // 0
+     * pipe(Validation.invalid("oops"), Validation.getOrElse(() => null)); // null — typed as number | null
      * ```
      */
     Validation.getOrElse = (defaultValue) => (data) => Validation.isValid(data) ? data.value : defaultValue();
@@ -161,9 +144,10 @@ export var Validation;
     };
     /**
      * Recovers from an Invalid state by providing a fallback Validation.
+     * The fallback receives the accumulated error list so callers can inspect which errors occurred.
      * The fallback can produce a different success type, widening the result to `Validation<E, A | B>`.
      */
-    Validation.recover = (fallback) => (data) => Validation.isValid(data) ? data : fallback();
+    Validation.recover = (fallback) => (data) => Validation.isValid(data) ? data : fallback(data.errors);
     /**
      * Recovers from an Invalid state unless the errors contain any of the blocked errors.
      * The fallback can produce a different success type, widening the result to `Validation<E, A | B>`.
@@ -173,46 +157,56 @@ export var Validation;
         ? fallback()
         : data;
     /**
-     * Combines two Validation instances, accumulating errors from both.
-     * If both are Valid, returns the second valid value.
-     * If either is Invalid, combines their errors into a single Invalid.
+     * Combines two independent Validation instances into a tuple.
+     * If both are Valid, returns Valid with both values as a tuple.
+     * If either is Invalid, accumulates errors from both sides.
      *
      * @example
      * ```ts
-     * Validation.combine(
-     *   Validation.invalid("Error 1"),
-     *   Validation.invalid("Error 2")
-     * ); // Invalid(["Error 1", "Error 2"])
-     *
-     * Validation.combine(
-     *   Validation.valid("a"),
-     *   Validation.valid("b")
-     * ); // Valid("b")
+     * Validation.product(
+     *   Validation.valid("alice"),
+     *   Validation.valid(30)
+     * ); // Valid(["alice", 30])
+     *
+     * Validation.product(
+     *   Validation.invalid("Name required"),
+     *   Validation.invalid("Age must be >= 0")
+     * ); // Invalid(["Name required", "Age must be >= 0"])
      * ```
      */
-    Validation.combine = (first, second) => {
-        if (Validation.isValid(first) && Validation.isValid(second)) {
-            return second;
-        }
+    Validation.product = (first, second) => {
+        if (Validation.isValid(first) && Validation.isValid(second))
+            return Validation.valid([first.value, second.value]);
         const errors = [
             ...(Validation.isInvalid(first) ? first.errors : []),
             ...(Validation.isInvalid(second) ? second.errors : []),
         ];
-        return isNonEmptyList(errors) ? Validation.invalidAll(errors) : second;
+        return Validation.invalidAll(errors);
     };
     /**
-     * Combines multiple Validation instances, accumulating all errors.
-     * If all are Valid, returns the last valid value.
-     * Returns undefined for an empty array.
+     * Combines a non-empty list of Validation instances, accumulating all errors.
+     * If all are Valid, returns Valid with all values collected into an array.
+     * If any are Invalid, returns Invalid with all accumulated errors.
      *
      * @example
      * ```ts
-     * Validation.combineAll([
+     * Validation.productAll([
      *   validateName(name),
      *   validateEmail(email),
      *   validateAge(age)
      * ]);
+     * // Valid([name, email, age]) or Invalid([...all errors])
      * ```
      */
-    Validation.combineAll = (data) => data.length === 0 ? undefined : data.reduce((acc, v) => Validation.combine(acc, v));
+    Validation.productAll = (data) => {
+        const values = [];
+        const errors = [];
+        for (const v of data) {
+            if (Validation.isValid(v))
+                values.push(v.value);
+            else
+                errors.push(...v.errors);
+        }
+        return errors.length > 0 ? Validation.invalidAll(errors) : Validation.valid(values);
+    };
 })(Validation || (Validation = {}));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nlozgachev/pipelined",
-  "version": "0.8.0",
+  "version": "0.10.0",
   "description": "Simple functional programming toolkit for TypeScript",
   "keywords": [
     "functional",

package/script/src/Core/Optional.js

@@ -87,12 +87,12 @@ var Optional;
      *
      * @example
      * ```ts
-     * pipe(profile, Optional.getOrElse(bioOpt)("no bio"));
+     * pipe(profile, Optional.getOrElse(bioOpt)(() => "no bio"));
      * ```
      */
     Optional.getOrElse = (opt) => (defaultValue) => (s) => {
         const val = opt.get(s);
-        return val.kind === "Some" ? val.value : defaultValue;
+        return val.kind === "Some" ? val.value : defaultValue();
     };
     /**
      * Extracts a value from an Optional focus using handlers for the present

package/script/src/Core/RemoteData.js

@@ -1,6 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RemoteData = void 0;
+const Option_js_1 = require("./Option.js");
+const Result_js_1 = require("./Result.js");
 var RemoteData;
 (function (RemoteData) {
     /**
@@ -160,9 +162,9 @@ var RemoteData;
      *
      * @example
      * ```ts
-     * pipe(RemoteData.success(5), RemoteData.getOrElse(0)); // 5
-     * pipe(RemoteData.loading(), RemoteData.getOrElse(0)); // 0
-     * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(null)); // null — typed as number | null
+     * pipe(RemoteData.success(5), RemoteData.getOrElse(() => 0)); // 5
+     * pipe(RemoteData.loading(), RemoteData.getOrElse(() => 0)); // 0
+     * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(() => null)); // null — typed as number | null
      * ```
      */
     RemoteData.getOrElse = (defaultValue) => (data) => RemoteData.isSuccess(data) ? data.value : defaultValue();
@@ -192,7 +194,7 @@ var RemoteData;
      * Converts a RemoteData to an Option.
      * Success becomes Some, all other states become None.
      */
-    RemoteData.toOption = (data) => RemoteData.isSuccess(data) ? { kind: "Some", value: data.value } : { kind: "None" };
+    RemoteData.toOption = (data) => RemoteData.isSuccess(data) ? Option_js_1.Option.some(data.value) : Option_js_1.Option.none();
     /**
      * Converts a RemoteData to a Result.
      * Success becomes Ok, Failure becomes Err.
@@ -207,6 +209,6 @@ var RemoteData;
      * ```
      */
     RemoteData.toResult = (onNotReady) => (data) => RemoteData.isSuccess(data)
-        ? { kind: "Ok", value: data.value }
-        : { kind: "Error", error: RemoteData.isFailure(data) ? data.error : onNotReady() };
+        ? Result_js_1.Result.ok(data.value)
+        : Result_js_1.Result.err(RemoteData.isFailure(data) ? data.error : onNotReady());
 })(RemoteData || (exports.RemoteData = RemoteData = {}));

package/script/src/Core/TaskValidation.js

@@ -42,15 +42,6 @@ var TaskValidation;
      * Transforms the success value inside a TaskValidation.
      */
     TaskValidation.map = (f) => (data) => Task_js_1.Task.map(Validation_js_1.Validation.map(f))(data);
-    /**
-     * Chains TaskValidation computations. If the first is Valid, passes the value
-     * to f. If the first is Invalid, propagates the errors.
-     *
-     * Note: chain short-circuits on first error. Use ap to accumulate errors.
-     */
-    TaskValidation.chain = (f) => (data) => Task_js_1.Task.chain((validation) => Validation_js_1.Validation.isValid(validation)
-        ? f(validation.value)
-        : Task_js_1.Task.resolve(Validation_js_1.Validation.invalidAll(validation.errors)))(data);
     /**
      * Applies a function wrapped in a TaskValidation to a value wrapped in a
      * TaskValidation. Both Tasks run in parallel and errors from both sides
@@ -100,9 +91,43 @@ var TaskValidation;
     TaskValidation.tap = (f) => (data) => Task_js_1.Task.map(Validation_js_1.Validation.tap(f))(data);
     /**
      * Recovers from an Invalid state by providing a fallback TaskValidation.
+     * The fallback receives the accumulated error list so callers can inspect which errors occurred.
      * The fallback can produce a different success type, widening the result to `TaskValidation<E, A | B>`.
      */
     TaskValidation.recover = (fallback) => (data) => Task_js_1.Task.chain((validation) => Validation_js_1.Validation.isValid(validation)
         ? Task_js_1.Task.resolve(validation)
-        : fallback())(data);
+        : fallback(validation.errors))(data);
+    /**
+     * Runs two TaskValidations concurrently and combines their results into a tuple.
+     * If both are Valid, returns Valid with both values. If either fails, accumulates
+     * errors from both sides.
+     *
+     * @example
+     * ```ts
+     * await TaskValidation.product(
+     *   validateName(form.name),
+     *   validateAge(form.age),
+     * )(); // Valid(["Alice", 30]) or Invalid([...errors])
+     * ```
+     */
+    TaskValidation.product = (first, second) => Task_js_1.Task.from(() => Promise.all([
+        Deferred_js_1.Deferred.toPromise(first()),
+        Deferred_js_1.Deferred.toPromise(second()),
+    ]).then(([va, vb]) => Validation_js_1.Validation.product(va, vb)));
+    /**
+     * Runs all TaskValidations concurrently and collects results.
+     * If all are Valid, returns Valid with all values as an array.
+     * If any fail, returns Invalid with all accumulated errors.
+     *
+     * @example
+     * ```ts
+     * await TaskValidation.productAll([
+     *   validateName(form.name),
+     *   validateEmail(form.email),
+     *   validateAge(form.age),
+     * ])(); // Valid([name, email, age]) or Invalid([...all errors])
+     * ```
+     */
+    TaskValidation.productAll = (data) => Task_js_1.Task.from(() => Promise.all(data.map((t) => Deferred_js_1.Deferred.toPromise(t())))
+        .then((results) => Validation_js_1.Validation.productAll(results)));
 })(TaskValidation || (exports.TaskValidation = TaskValidation = {}));

package/script/src/Core/These.js

@@ -191,26 +191,26 @@ var These;
      *
      * @example
      * ```ts
-     * pipe(These.first(5), These.getFirstOrElse(0));            // 5
-     * pipe(These.both(5, "warn"), These.getFirstOrElse(0));     // 5
-     * pipe(These.second("warn"), These.getFirstOrElse(0));      // 0
-     * pipe(These.second("warn"), These.getFirstOrElse(null));   // null — typed as number | null
+     * pipe(These.first(5), These.getFirstOrElse(() => 0));            // 5
+     * pipe(These.both(5, "warn"), These.getFirstOrElse(() => 0));     // 5
+     * pipe(These.second("warn"), These.getFirstOrElse(() => 0));      // 0
+     * pipe(These.second("warn"), These.getFirstOrElse(() => null));   // null — typed as number | null
      * ```
      */
-    These.getFirstOrElse = (defaultValue) => (data) => These.hasFirst(data) ? data.first : defaultValue;
+    These.getFirstOrElse = (defaultValue) => (data) => These.hasFirst(data) ? data.first : defaultValue();
     /**
      * Returns the second value, or a default if the These has no second value.
      * The default can be a different type, widening the result to `B | D`.
      *
      * @example
      * ```ts
-     * pipe(These.second("warn"), These.getSecondOrElse("none")); // "warn"
-     * pipe(These.both(5, "warn"), These.getSecondOrElse("none")); // "warn"
-     * pipe(These.first(5), These.getSecondOrElse("none"));       // "none"
-     * pipe(These.first(5), These.getSecondOrElse(null));         // null — typed as string | null
+     * pipe(These.second("warn"), These.getSecondOrElse(() => "none")); // "warn"
+     * pipe(These.both(5, "warn"), These.getSecondOrElse(() => "none")); // "warn"
+     * pipe(These.first(5), These.getSecondOrElse(() => "none"));       // "none"
+     * pipe(These.first(5), These.getSecondOrElse(() => null));         // null — typed as string | null
      * ```
      */
-    These.getSecondOrElse = (defaultValue) => (data) => These.hasSecond(data) ? data.second : defaultValue;
+    These.getSecondOrElse = (defaultValue) => (data) => These.hasSecond(data) ? data.second : defaultValue();
     /**
      * Executes a side effect on the first value without changing the These.
      * Useful for logging or debugging.

package/script/src/Core/Validation.js

@@ -1,7 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.Validation = void 0;
-const NonEmptyList_js_1 = require("../Types/NonEmptyList.js");
 var Validation;
 (function (Validation) {
     /**
@@ -58,22 +57,6 @@ var Validation;
      * ```
      */
     Validation.map = (f) => (data) => Validation.isValid(data) ? Validation.valid(f(data.value)) : data;
-    /**
-     * Chains Validation computations. If the first is Valid, passes the value to f.
-     * If the first is Invalid, propagates the errors.
-     *
-     * Note: chain short-circuits on first error. Use `ap` to accumulate errors.
-     *
-     * @example
-     * ```ts
-     * const validatePositive = (n: number): Validation<string, number> =>
-     *   n > 0 ? Validation.valid(n) : Validation.invalid("Must be positive");
-     *
-     * pipe(Validation.valid(5), Validation.chain(validatePositive)); // Valid(5)
-     * pipe(Validation.valid(-1), Validation.chain(validatePositive)); // Invalid(["Must be positive"])
-     * ```
-     */
-    Validation.chain = (f) => (data) => Validation.isValid(data) ? f(data.value) : data;
     /**
      * Applies a function wrapped in a Validation to a value wrapped in a Validation.
      * Accumulates errors from both sides.
@@ -101,7 +84,7 @@ var Validation;
             ...(Validation.isInvalid(data) ? data.errors : []),
             ...(Validation.isInvalid(arg) ? arg.errors : []),
         ];
-        return (0, NonEmptyList_js_1.isNonEmptyList)(errors) ? Validation.invalidAll(errors) : Validation.valid(data);
+        return Validation.invalidAll(errors);
     };
     /**
      * Extracts the value from a Validation by providing handlers for both cases.
@@ -139,9 +122,9 @@ var Validation;
      *
      * @example
      * ```ts
-     * pipe(Validation.valid(5), Validation.getOrElse(0)); // 5
-     * pipe(Validation.invalid("oops"), Validation.getOrElse(0)); // 0
-     * pipe(Validation.invalid("oops"), Validation.getOrElse(null)); // null — typed as number | null
+     * pipe(Validation.valid(5), Validation.getOrElse(() => 0)); // 5
+     * pipe(Validation.invalid("oops"), Validation.getOrElse(() => 0)); // 0
+     * pipe(Validation.invalid("oops"), Validation.getOrElse(() => null)); // null — typed as number | null
      * ```
      */
     Validation.getOrElse = (defaultValue) => (data) => Validation.isValid(data) ? data.value : defaultValue();
@@ -164,9 +147,10 @@ var Validation;
     };
     /**
      * Recovers from an Invalid state by providing a fallback Validation.
+     * The fallback receives the accumulated error list so callers can inspect which errors occurred.
      * The fallback can produce a different success type, widening the result to `Validation<E, A | B>`.
      */
-    Validation.recover = (fallback) => (data) => Validation.isValid(data) ? data : fallback();
+    Validation.recover = (fallback) => (data) => Validation.isValid(data) ? data : fallback(data.errors);
     /**
      * Recovers from an Invalid state unless the errors contain any of the blocked errors.
      * The fallback can produce a different success type, widening the result to `Validation<E, A | B>`.
@@ -176,46 +160,56 @@ var Validation;
         ? fallback()
         : data;
     /**
-     * Combines two Validation instances, accumulating errors from both.
-     * If both are Valid, returns the second valid value.
-     * If either is Invalid, combines their errors into a single Invalid.
+     * Combines two independent Validation instances into a tuple.
+     * If both are Valid, returns Valid with both values as a tuple.
+     * If either is Invalid, accumulates errors from both sides.
      *
      * @example
      * ```ts
-     * Validation.combine(
-     *   Validation.invalid("Error 1"),
-     *   Validation.invalid("Error 2")
-     * ); // Invalid(["Error 1", "Error 2"])
-     *
-     * Validation.combine(
-     *   Validation.valid("a"),
-     *   Validation.valid("b")
-     * ); // Valid("b")
+     * Validation.product(
+     *   Validation.valid("alice"),
+     *   Validation.valid(30)
+     * ); // Valid(["alice", 30])
+     *
+     * Validation.product(
+     *   Validation.invalid("Name required"),
+     *   Validation.invalid("Age must be >= 0")
+     * ); // Invalid(["Name required", "Age must be >= 0"])
      * ```
      */
-    Validation.combine = (first, second) => {
-        if (Validation.isValid(first) && Validation.isValid(second)) {
-            return second;
-        }
+    Validation.product = (first, second) => {
+        if (Validation.isValid(first) && Validation.isValid(second))
+            return Validation.valid([first.value, second.value]);
         const errors = [
             ...(Validation.isInvalid(first) ? first.errors : []),
             ...(Validation.isInvalid(second) ? second.errors : []),
         ];
-        return (0, NonEmptyList_js_1.isNonEmptyList)(errors) ? Validation.invalidAll(errors) : second;
+        return Validation.invalidAll(errors);
     };
     /**
-     * Combines multiple Validation instances, accumulating all errors.
-     * If all are Valid, returns the last valid value.
-     * Returns undefined for an empty array.
+     * Combines a non-empty list of Validation instances, accumulating all errors.
+     * If all are Valid, returns Valid with all values collected into an array.
+     * If any are Invalid, returns Invalid with all accumulated errors.
      *
      * @example
      * ```ts
-     * Validation.combineAll([
+     * Validation.productAll([
      *   validateName(name),
      *   validateEmail(email),
      *   validateAge(age)
      * ]);
+     * // Valid([name, email, age]) or Invalid([...all errors])
      * ```
      */
-    Validation.combineAll = (data) => data.length === 0 ? undefined : data.reduce((acc, v) => Validation.combine(acc, v));
+    Validation.productAll = (data) => {
+        const values = [];
+        const errors = [];
+        for (const v of data) {
+            if (Validation.isValid(v))
+                values.push(v.value);
+            else
+                errors.push(...v.errors);
+        }
+        return errors.length > 0 ? Validation.invalidAll(errors) : Validation.valid(values);
+    };
 })(Validation || (exports.Validation = Validation = {}));

package/types/src/Core/Option.d.ts

@@ -12,7 +12,7 @@ import { Result } from "./Result.js";
  * pipe(
  *   findUser("123"),
  *   Option.map(user => user.name),
- *   Option.getOrElse("Unknown")
+ *   Option.getOrElse(() => "Unknown")
  * );
  * ```
  */

package/types/src/Core/Optional.d.ts

@@ -98,10 +98,10 @@ export declare namespace Optional {
      *
      * @example
      * ```ts
-     * pipe(profile, Optional.getOrElse(bioOpt)("no bio"));
+     * pipe(profile, Optional.getOrElse(bioOpt)(() => "no bio"));
      * ```
      */
-    const getOrElse: <S, A>(opt: Optional<S, A>) => (defaultValue: A) => (s: S) => A;
+    const getOrElse: <S, A>(opt: Optional<S, A>) => (defaultValue: () => A) => (s: S) => A;
     /**
      * Extracts a value from an Optional focus using handlers for the present
      * and absent cases.

package/types/src/Core/Optional.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Optional.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,0EAA0E;AAC1E,KAAK,YAAY,CAAC,CAAC,IAAI;KACpB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CACrD,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI;IAC3B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;CACrC,CAAC;AAEF,yBAAiB,QAAQ,CAAC;IACxB;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACvB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EACxB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAC;IAEpC;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GACd,CAAC,QAAQ,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAOxE,CAAC;IAEN;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,GAAG,MAAM,KAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CASjD,CAAC;IAEJ;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,KAAG,MAAM,CAAC,CAAC,CAAe,CAAC;IAElF;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,KAAG,CAAkB,CAAC;IAEvF;;;;;;;;OAQG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAGhF,CAAC;IAEF;;;;;;;OAOG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,GAAG,CAAC,KAAG,CAGpF,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAGnF,CAAC;IAEJ;;;;;;;;;;OAUG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MACzB,CAAC,EAAE,OAAO;QAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,MAE7C,GAAG,CAAC,KACH,CAGF,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAUvE,CAAC;IAEN;;;;;;;;;;;OAWG;IACI,MAAM,WAAW,GACrB,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAUnE,CAAC;CACP"}
+{"version":3,"file":"Optional.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,0EAA0E;AAC1E,KAAK,YAAY,CAAC,CAAC,IAAI;KACpB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CACrD,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI;IAC3B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;CACrC,CAAC;AAEF,yBAAiB,QAAQ,CAAC;IACxB;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACvB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EACxB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAC;IAEpC;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GACd,CAAC,QAAQ,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAOxE,CAAC;IAEN;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,GAAG,MAAM,KAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CASjD,CAAC;IAEJ;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,KAAG,MAAM,CAAC,CAAC,CAAe,CAAC;IAElF;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,KAAG,CAAkB,CAAC;IAEvF;;;;;;;;OAQG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAGhF,CAAC;IAEF;;;;;;;OAOG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,cAAc,MAAM,CAAC,MAAM,GAAG,CAAC,KAAG,CAG1F,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAGnF,CAAC;IAEJ;;;;;;;;;;OAUG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MACzB,CAAC,EAAE,OAAO;QAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,MAE7C,GAAG,CAAC,KACH,CAGF,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAUvE,CAAC;IAEN;;;;;;;;;;;OAWG;IACI,MAAM,WAAW,GACrB,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAUnE,CAAC;CACP"}

package/types/src/Core/RemoteData.d.ts

@@ -1,4 +1,6 @@
 import { WithError, WithKind, WithValue } from "./InternalTypes.js";
+import { Option } from "./Option.js";
+import { Result } from "./Result.js";
 /**
  * RemoteData represents the state of an async data fetch.
  * It has four states: NotAsked, Loading, Failure, and Success.
@@ -148,9 +150,9 @@ export declare namespace RemoteData {
      *
      * @example
      * ```ts
-     * pipe(RemoteData.success(5), RemoteData.getOrElse(0)); // 5
-     * pipe(RemoteData.loading(), RemoteData.getOrElse(0)); // 0
-     * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(null)); // null — typed as number | null
+     * pipe(RemoteData.success(5), RemoteData.getOrElse(() => 0)); // 5
+     * pipe(RemoteData.loading(), RemoteData.getOrElse(() => 0)); // 0
+     * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(() => null)); // null — typed as number | null
      * ```
      */
     const getOrElse: <E, A, B>(defaultValue: () => B) => (data: RemoteData<E, A>) => A | B;
@@ -176,7 +178,7 @@ export declare namespace RemoteData {
      * Converts a RemoteData to an Option.
      * Success becomes Some, all other states become None.
      */
-    const toOption: <E, A>(data: RemoteData<E, A>) => import("./Option.ts").Option<A>;
+    const toOption: <E, A>(data: RemoteData<E, A>) => Option<A>;
     /**
      * Converts a RemoteData to a Result.
      * Success becomes Ok, Failure becomes Err.
@@ -190,6 +192,6 @@ export declare namespace RemoteData {
      * ); // Ok(42)
      * ```
      */
-    const toResult: <E>(onNotReady: () => E) => <A>(data: RemoteData<E, A>) => import("./Result.ts").Result<E, A>;
+    const toResult: <E>(onNotReady: () => E) => <A>(data: RemoteData<E, A>) => Result<E, A>;
 }
 //# sourceMappingURL=RemoteData.d.ts.map

package/types/src/Core/RemoteData.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RemoteData.d.ts","sourceRoot":"","sources":["../../../src/src/Core/RemoteData.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE5E,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC1C,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAC5D,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAE5D,yBAAiB,UAAU,CAAC;IAC1B;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,OAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAA2B,CAAC;IAE7E;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,OAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAA0B,CAAC;IAE3E;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGtD,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGtD,CAAC;IAEH;;OAEG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,QACxC,CAAC;IAE3B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OACxC,CAAC;IAE1B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAClB,CAAC;IAExE;;;;;;;OAOG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACvB,CAAC;IAExE;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACvB,CAAC;IAEjE;;;;;;;;;;;;OAYG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAQtF,CAAC;IAEJ;;;;;;;;;;;;;;;OAeG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,YAAY,MAAM,CAAC,EACnB,WAAW,MAAM,CAAC,EAClB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACtB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAEvB,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAWzB,CAAC;IAEF;;;;;;;;;;;;;;;OAeG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC,CAAC;QACjB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACrB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;KACtB,MACA,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAWzB,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC5C,CAAC;IAEhD;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGxF,CAAC;IAEF;;;OAGG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAC7C,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAkD,CAAC;IAElG;;;OAGG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACrB,OAAO,aAAa,EAAE,MAAM,CAAC,CAAC,CACyC,CAAC;IAE3E;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAClB,CAAC,EAAE,YAAY,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,OAAO,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAGf,CAAC;CAC/E"}
+{"version":3,"file":"RemoteData.d.ts","sourceRoot":"","sources":["../../../src/src/Core/RemoteData.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE5E,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC1C,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAC5D,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAE5D,yBAAiB,UAAU,CAAC;IAC1B;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,OAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAA2B,CAAC;IAE7E;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,OAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAA0B,CAAC;IAE3E;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGtD,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGtD,CAAC;IAEH;;OAEG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,QACxC,CAAC;IAE3B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OACxC,CAAC;IAE1B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAClB,CAAC;IAExE;;;;;;;OAOG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACvB,CAAC;IAExE;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACvB,CAAC;IAEjE;;;;;;;;;;;;OAYG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAQtF,CAAC;IAEJ;;;;;;;;;;;;;;;OAeG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,YAAY,MAAM,CAAC,EACnB,WAAW,MAAM,CAAC,EAClB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACtB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAEvB,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAWzB,CAAC;IAEF;;;;;;;;;;;;;;;OAeG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC,CAAC;QACjB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACrB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;KACtB,MACA,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAWzB,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC5C,CAAC;IAEhD;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGxF,CAAC;IAEF;;;OAGG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAC7C,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAkD,CAAC;IAElG;;;OAGG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CACL,CAAC;IAE5D;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAClB,CAAC,EAAE,YAAY,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAGP,CAAC;CACjE"}

package/types/src/Core/Result.d.ts

@@ -12,7 +12,7 @@ import { Option } from "./Option.js";
  * pipe(
  *   divide(10, 2),
  *   Result.map(n => n * 2),
- *   Result.getOrElse(0)
+ *   Result.getOrElse(() => 0)
  * ); // 10
  * ```
  */

package/types/src/Core/TaskOption.d.ts

@@ -13,7 +13,7 @@ import { TaskResult } from "./TaskResult.js";
  * pipe(
  *   findUser("123"),
  *   TaskOption.map(user => user.name),
- *   TaskOption.getOrElse("Unknown")
+ *   TaskOption.getOrElse(() => "Unknown")
  * )();
  * ```
  */

package/types/src/Core/TaskValidation.d.ts

@@ -58,13 +58,6 @@ export declare namespace TaskValidation {
      * Transforms the success value inside a TaskValidation.
      */
     const map: <E, A, B>(f: (a: A) => B) => (data: TaskValidation<E, A>) => TaskValidation<E, B>;
-    /**
-     * Chains TaskValidation computations. If the first is Valid, passes the value
-     * to f. If the first is Invalid, propagates the errors.
-     *
-     * Note: chain short-circuits on first error. Use ap to accumulate errors.
-     */
-    const chain: <E, A, B>(f: (a: A) => TaskValidation<E, B>) => (data: TaskValidation<E, A>) => TaskValidation<E, B>;
     /**
      * Applies a function wrapped in a TaskValidation to a value wrapped in a
      * TaskValidation. Both Tasks run in parallel and errors from both sides
@@ -114,8 +107,38 @@ export declare namespace TaskValidation {
     const tap: <E, A>(f: (a: A) => void) => (data: TaskValidation<E, A>) => TaskValidation<E, A>;
     /**
      * Recovers from an Invalid state by providing a fallback TaskValidation.
+     * The fallback receives the accumulated error list so callers can inspect which errors occurred.
      * The fallback can produce a different success type, widening the result to `TaskValidation<E, A | B>`.
      */
-    const recover: <E, A, B>(fallback: () => TaskValidation<E, B>) => (data: TaskValidation<E, A>) => TaskValidation<E, A | B>;
+    const recover: <E, A, B>(fallback: (errors: NonEmptyList<E>) => TaskValidation<E, B>) => (data: TaskValidation<E, A>) => TaskValidation<E, A | B>;
+    /**
+     * Runs two TaskValidations concurrently and combines their results into a tuple.
+     * If both are Valid, returns Valid with both values. If either fails, accumulates
+     * errors from both sides.
+     *
+     * @example
+     * ```ts
+     * await TaskValidation.product(
+     *   validateName(form.name),
+     *   validateAge(form.age),
+     * )(); // Valid(["Alice", 30]) or Invalid([...errors])
+     * ```
+     */
+    const product: <E, A, B>(first: TaskValidation<E, A>, second: TaskValidation<E, B>) => TaskValidation<E, readonly [A, B]>;
+    /**
+     * Runs all TaskValidations concurrently and collects results.
+     * If all are Valid, returns Valid with all values as an array.
+     * If any fail, returns Invalid with all accumulated errors.
+     *
+     * @example
+     * ```ts
+     * await TaskValidation.productAll([
+     *   validateName(form.name),
+     *   validateEmail(form.email),
+     *   validateAge(form.age),
+     * ])(); // Valid([name, email, age]) or Invalid([...all errors])
+     * ```
+     */
+    const productAll: <E, A>(data: NonEmptyList<TaskValidation<E, A>>) => TaskValidation<E, readonly A[]>;
 }
 //# sourceMappingURL=TaskValidation.d.ts.map

package/types/src/Core/TaskValidation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TaskValidation.d.ts","sourceRoot":"","sources":["../../../src/src/Core/TaskValidation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE1D,yBAAiB,cAAc,CAAC;IAC9B;;OAEG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACnB,CAAC;IAExC;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACnB,CAAC;IAE1C;;OAEG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC7B,QAAQ,YAAY,CAAC,CAAC,CAAC,KACtB,cAAc,CAAC,CAAC,EAAE,CAAC,CAAgD,CAAC;IAEvE;;OAEG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EACjC,YAAY,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAC3B,cAAc,CAAC,CAAC,EAAE,CAAC,CAA6B,CAAC;IAEpD;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,EACnB,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KACzB,cAAc,CAAC,CAAC,EAAE,CAAC,CAKnB,CAAC;IAEJ;;OAEG;IACI,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACrC,CAAC;IAE5C;;;;;OAKG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MAC1C,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAKxC,CAAC;IAEZ;;;;;;;;;;;;;OAaG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MAC/B,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAM3D,CAAC;IAEN;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EACzC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAErB,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAC0B,CAAC;IAE/D;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACzC,MACA,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAqD,CAAC;IAE1F;;;OAGG;IACI,MAAM,SAAS,GACnB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CACf,CAAC;IAEhE;;;OAGG;IACI,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACrC,CAAC;IAE5C;;;OAGG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MAC7C,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAK5C,CAAC;CACb"}
+{"version":3,"file":"TaskValidation.d.ts","sourceRoot":"","sources":["../../../src/src/Core/TaskValidation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE1D,yBAAiB,cAAc,CAAC;IAC9B;;OAEG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACnB,CAAC;IAExC;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACnB,CAAC;IAE1C;;OAEG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC7B,QAAQ,YAAY,CAAC,CAAC,CAAC,KACtB,cAAc,CAAC,CAAC,EAAE,CAAC,CAAgD,CAAC;IAEvE;;OAEG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EACjC,YAAY,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAC3B,cAAc,CAAC,CAAC,EAAE,CAAC,CAA6B,CAAC;IAEpD;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,EACnB,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KACzB,cAAc,CAAC,CAAC,EAAE,CAAC,CAKnB,CAAC;IAEJ;;OAEG;IACI,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACrC,CAAC;IAE5C;;;;;;;;;;;;;OAaG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MAC/B,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAM3D,CAAC;IAEN;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EACzC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAErB,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAC0B,CAAC;IAE/D;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACzC,MACA,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAqD,CAAC;IAE1F;;;OAGG;IACI,MAAM,SAAS,GACnB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CACf,CAAC;IAEhE;;;OAGG;IACI,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACrC,CAAC;IAE5C;;;;OAIG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MACpE,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAK5C,CAAC;IAEZ;;;;;;;;;;;;OAYG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,QAAQ,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAC3B,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAMjC,CAAC;IAEJ;;;;;;;;;;;;;OAaG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC7B,MAAM,YAAY,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACvC,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAM9B,CAAC;CACL"}

package/types/src/Core/These.d.ts

@@ -177,26 +177,26 @@ export declare namespace These {
      *
      * @example
      * ```ts
-     * pipe(These.first(5), These.getFirstOrElse(0));            // 5
-     * pipe(These.both(5, "warn"), These.getFirstOrElse(0));     // 5
-     * pipe(These.second("warn"), These.getFirstOrElse(0));      // 0
-     * pipe(These.second("warn"), These.getFirstOrElse(null));   // null — typed as number | null
+     * pipe(These.first(5), These.getFirstOrElse(() => 0));            // 5
+     * pipe(These.both(5, "warn"), These.getFirstOrElse(() => 0));     // 5
+     * pipe(These.second("warn"), These.getFirstOrElse(() => 0));      // 0
+     * pipe(These.second("warn"), These.getFirstOrElse(() => null));   // null — typed as number | null
      * ```
      */
-    const getFirstOrElse: <A, C>(defaultValue: C) => <B>(data: These<A, B>) => A | C;
+    const getFirstOrElse: <A, C>(defaultValue: () => C) => <B>(data: These<A, B>) => A | C;
     /**
      * Returns the second value, or a default if the These has no second value.
      * The default can be a different type, widening the result to `B | D`.
      *
      * @example
      * ```ts
-     * pipe(These.second("warn"), These.getSecondOrElse("none")); // "warn"
-     * pipe(These.both(5, "warn"), These.getSecondOrElse("none")); // "warn"
-     * pipe(These.first(5), These.getSecondOrElse("none"));       // "none"
-     * pipe(These.first(5), These.getSecondOrElse(null));         // null — typed as string | null
+     * pipe(These.second("warn"), These.getSecondOrElse(() => "none")); // "warn"
+     * pipe(These.both(5, "warn"), These.getSecondOrElse(() => "none")); // "warn"
+     * pipe(These.first(5), These.getSecondOrElse(() => "none"));       // "none"
+     * pipe(These.first(5), These.getSecondOrElse(() => null));         // null — typed as string | null
      * ```
      */
-    const getSecondOrElse: <B, D>(defaultValue: D) => <A>(data: These<A, B>) => B | D;
+    const getSecondOrElse: <B, D>(defaultValue: () => D) => <A>(data: These<A, B>) => B | D;
     /**
      * Executes a side effect on the first value without changing the These.
      * Useful for logging or debugging.

package/types/src/Core/These.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"These.d.ts","sourceRoot":"","sources":["../../../src/src/Core/These.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAC7D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAChE,MAAM,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAEhG,yBAAiB,KAAK,CAAC;IACrB;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,CAAsC,CAAC;IAEvF;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,WAAW,CAAC,CAAC,CAAwC,CAAC;IAE3F;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAI7D,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,UAAU,CAAC,CAAC,CAA0B,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,WAAW,CAAC,CAAC,CAChD,CAAC;IAEzB;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAkD,CAAC;IAE5F;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC5B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAmD,CAAC;IAE9F;;;;;;;;;OASG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAInF,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIpF,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAE7E,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,KAAK,CAAC,CAAC,EAAE,CAAC,CAIZ,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,GACpB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGrE,CAAC;IAEJ;;;;;;;;;;;;OAYG;IACI,MAAM,WAAW,GACrB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGrE,CAAC;IAEJ;;;;;;;;;;;;;;OAcG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACpB,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACrB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MAE1B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACpB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;KACzB,MACA,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;OAWG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CACzC,CAAC;IAE7C;;;;;;;;;;;OAWG;IACI,MAAM,eAAe,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CACxC,CAAC;IAE/C;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG9E,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIxD,CAAC;CACH"}
+{"version":3,"file":"These.d.ts","sourceRoot":"","sources":["../../../src/src/Core/These.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAC7D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAChE,MAAM,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAEhG,yBAAiB,KAAK,CAAC;IACrB;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,CAAsC,CAAC;IAEvF;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,WAAW,CAAC,CAAC,CAAwC,CAAC;IAE3F;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAI7D,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,UAAU,CAAC,CAAC,CAA0B,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,WAAW,CAAC,CAAC,CAChD,CAAC;IAEzB;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAkD,CAAC;IAE5F;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC5B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAmD,CAAC;IAE9F;;;;;;;;;OASG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAInF,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIpF,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAE7E,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,KAAK,CAAC,CAAC,EAAE,CAAC,CAIZ,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,GACpB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGrE,CAAC;IAEJ;;;;;;;;;;;;OAYG;IACI,MAAM,WAAW,GACrB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGrE,CAAC;IAEJ;;;;;;;;;;;;;;OAcG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACpB,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACrB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MAE1B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACpB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;KACzB,MACA,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;OAWG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC7C,CAAC;IAE/C;;;;;;;;;;;OAWG;IACI,MAAM,eAAe,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC5C,CAAC;IAEjD;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG9E,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIxD,CAAC;CACH"}

package/types/src/Core/Validation.d.ts

@@ -74,22 +74,6 @@ export declare namespace Validation {
      * ```
      */
     const map: <A, B>(f: (a: A) => B) => <E>(data: Validation<E, A>) => Validation<E, B>;
-    /**
-     * Chains Validation computations. If the first is Valid, passes the value to f.
-     * If the first is Invalid, propagates the errors.
-     *
-     * Note: chain short-circuits on first error. Use `ap` to accumulate errors.
-     *
-     * @example
-     * ```ts
-     * const validatePositive = (n: number): Validation<string, number> =>
-     *   n > 0 ? Validation.valid(n) : Validation.invalid("Must be positive");
-     *
-     * pipe(Validation.valid(5), Validation.chain(validatePositive)); // Valid(5)
-     * pipe(Validation.valid(-1), Validation.chain(validatePositive)); // Invalid(["Must be positive"])
-     * ```
-     */
-    const chain: <E, A, B>(f: (a: A) => Validation<E, B>) => (data: Validation<E, A>) => Validation<E, B>;
     /**
      * Applies a function wrapped in a Validation to a value wrapped in a Validation.
      * Accumulates errors from both sides.
@@ -150,9 +134,9 @@ export declare namespace Validation {
      *
      * @example
      * ```ts
-     * pipe(Validation.valid(5), Validation.getOrElse(0)); // 5
-     * pipe(Validation.invalid("oops"), Validation.getOrElse(0)); // 0
-     * pipe(Validation.invalid("oops"), Validation.getOrElse(null)); // null — typed as number | null
+     * pipe(Validation.valid(5), Validation.getOrElse(() => 0)); // 5
+     * pipe(Validation.invalid("oops"), Validation.getOrElse(() => 0)); // 0
+     * pipe(Validation.invalid("oops"), Validation.getOrElse(() => null)); // null — typed as number | null
      * ```
      */
     const getOrElse: <E, A, B>(defaultValue: () => B) => (data: Validation<E, A>) => A | B;
@@ -171,47 +155,49 @@ export declare namespace Validation {
     const tap: <E, A>(f: (a: A) => void) => (data: Validation<E, A>) => Validation<E, A>;
     /**
      * Recovers from an Invalid state by providing a fallback Validation.
+     * The fallback receives the accumulated error list so callers can inspect which errors occurred.
      * The fallback can produce a different success type, widening the result to `Validation<E, A | B>`.
      */
-    const recover: <E, A, B>(fallback: () => Validation<E, B>) => (data: Validation<E, A>) => Validation<E, A | B>;
+    const recover: <E, A, B>(fallback: (errors: NonEmptyList<E>) => Validation<E, B>) => (data: Validation<E, A>) => Validation<E, A | B>;
     /**
      * Recovers from an Invalid state unless the errors contain any of the blocked errors.
      * The fallback can produce a different success type, widening the result to `Validation<E, A | B>`.
      */
     const recoverUnless: <E, A, B>(blockedErrors: readonly E[], fallback: () => Validation<E, B>) => (data: Validation<E, A>) => Validation<E, A | B>;
     /**
-     * Combines two Validation instances, accumulating errors from both.
-     * If both are Valid, returns the second valid value.
-     * If either is Invalid, combines their errors into a single Invalid.
+     * Combines two independent Validation instances into a tuple.
+     * If both are Valid, returns Valid with both values as a tuple.
+     * If either is Invalid, accumulates errors from both sides.
      *
      * @example
      * ```ts
-     * Validation.combine(
-     *   Validation.invalid("Error 1"),
-     *   Validation.invalid("Error 2")
-     * ); // Invalid(["Error 1", "Error 2"])
-     *
-     * Validation.combine(
-     *   Validation.valid("a"),
-     *   Validation.valid("b")
-     * ); // Valid("b")
+     * Validation.product(
+     *   Validation.valid("alice"),
+     *   Validation.valid(30)
+     * ); // Valid(["alice", 30])
+     *
+     * Validation.product(
+     *   Validation.invalid("Name required"),
+     *   Validation.invalid("Age must be >= 0")
+     * ); // Invalid(["Name required", "Age must be >= 0"])
      * ```
      */
-    const combine: <E, A>(first: Validation<E, A>, second: Validation<E, A>) => Validation<E, A>;
+    const product: <E, A, B>(first: Validation<E, A>, second: Validation<E, B>) => Validation<E, readonly [A, B]>;
     /**
-     * Combines multiple Validation instances, accumulating all errors.
-     * If all are Valid, returns the last valid value.
-     * Returns undefined for an empty array.
+     * Combines a non-empty list of Validation instances, accumulating all errors.
+     * If all are Valid, returns Valid with all values collected into an array.
+     * If any are Invalid, returns Invalid with all accumulated errors.
      *
      * @example
      * ```ts
-     * Validation.combineAll([
+     * Validation.productAll([
      *   validateName(name),
      *   validateEmail(email),
      *   validateAge(age)
      * ]);
+     * // Valid([name, email, age]) or Invalid([...all errors])
      * ```
      */
-    const combineAll: <E, A>(data: Validation<E, A>[]) => Validation<E, A> | undefined;
+    const productAll: <E, A>(data: NonEmptyList<Validation<E, A>>) => Validation<E, readonly A[]>;
 }
 //# sourceMappingURL=Validation.d.ts.map

package/types/src/Core/Validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Validation.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAErD,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AACxD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAE7D,yBAAiB,UAAU,CAAC;IAC1B;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGpD,CAAC;IAEH;;;;;;;OAOG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,OAAO,CAAC,CAAC,CAG7C,CAAC;IAEH;;;;;;;OAOG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,QAAQ,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAG/D,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,KAAK,CAAC,CAAC,CAA0B,CAAC;IAEjG;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAC5C,CAAC;IAE9C;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAC/C,CAAC;IAEzC;;;;;;;;;;;;;;;;;;;OAmBG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAOtF,CAAC;IAEJ;;;;;;;;;;;;;OAaG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EACzC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAErB,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAiE,CAAC;IAE5F;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACzC,MACA,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAC4C,CAAC;IAEvE;;;;;;;;;;OAUG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC9C,CAAC;IAE9C;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGxF,CAAC;IAEF;;;OAGG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CACzD,CAAC;IAEtC;;;OAGG;IACI,MAAM,aAAa,GACvB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,SAAS,CAAC,EAAE,EAAE,UAAU,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MACtE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAInC,CAAC;IAEb;;;;;;;;;;;;;;;;;OAiBG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAC1B,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EACvB,QAAQ,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACvB,UAAU,CAAC,CAAC,EAAE,CAAC,CASjB,CAAC;IAEF;;;;;;;;;;;;;OAaG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC7B,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KACvB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SACoD,CAAC;CAC5E"}
+{"version":3,"file":"Validation.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAErD,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AACxD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAE7D,yBAAiB,UAAU,CAAC;IAC1B;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGpD,CAAC;IAEH;;;;;;;OAOG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,OAAO,CAAC,CAAC,CAG7C,CAAC;IAEH;;;;;;;OAOG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,QAAQ,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAG/D,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,KAAK,CAAC,CAAC,CAA0B,CAAC;IAEjG;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAC5C,CAAC;IAE9C;;;;;;;;;;;;;;;;;;;OAmBG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAOtF,CAAC;IAEJ;;;;;;;;;;;;;OAaG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EACzC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAErB,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAiE,CAAC;IAE5F;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACzC,MACA,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAC4C,CAAC;IAEvE;;;;;;;;;;OAUG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC9C,CAAC;IAE9C;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGxF,CAAC;IAEF;;;;OAIG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAChE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CACC,CAAC;IAEjD;;;OAGG;IACI,MAAM,aAAa,GACvB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,SAAS,CAAC,EAAE,EAAE,UAAU,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MACtE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAInC,CAAC;IAEb;;;;;;;;;;;;;;;;;OAiBG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EACvB,QAAQ,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACvB,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAO/B,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC7B,MAAM,YAAY,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACnC,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAQ5B,CAAC;CACH"}