@nlozgachev/pipelined 0.7.0 → 0.9.0

package/esm/src/Core/Arr.js

@@ -227,7 +227,7 @@ export var Arr;
      * pipe([1, 2], Arr.zipWith((a, b) => a + b, ["a", "b"])); // ["1a", "2b"]
      * ```
      */
-    Arr.zipWith = (f, other) => (data) => {
+    Arr.zipWith = (f) => (other) => (data) => {
         const len = Math.min(data.length, other.length);
         const result = [];
         for (let i = 0; i < len; i++) {
@@ -376,6 +376,41 @@ export var Arr;
      * Collects an array of Tasks into a Task of array. Runs in parallel.
      */
     Arr.sequenceTask = (data) => Arr.traverseTask((a) => a)(data);
+    /**
+     * Maps each element to a TaskResult and runs them sequentially.
+     * Returns the first Err encountered, or Ok of all results if all succeed.
+     *
+     * @example
+     * ```ts
+     * const validate = (n: number): TaskResult<string, number> =>
+     *   n > 0 ? TaskResult.ok(n) : TaskResult.err("non-positive");
+     *
+     * pipe(
+     *   [1, 2, 3],
+     *   Arr.traverseTaskResult(validate)
+     * )(); // Deferred<Ok([1, 2, 3])>
+     *
+     * pipe(
+     *   [1, -1, 3],
+     *   Arr.traverseTaskResult(validate)
+     * )(); // Deferred<Err("non-positive")>
+     * ```
+     */
+    Arr.traverseTaskResult = (f) => (data) => Task.from(async () => {
+        const result = [];
+        for (const a of data) {
+            const r = await Deferred.toPromise(f(a)());
+            if (Result.isErr(r))
+                return r;
+            result.push(r.value);
+        }
+        return Result.ok(result);
+    });
+    /**
+     * Collects an array of TaskResults into a TaskResult of array.
+     * Returns the first Err if any element is Err, runs sequentially.
+     */
+    Arr.sequenceTaskResult = (data) => Arr.traverseTaskResult((a) => a)(data);
     /**
      * Returns true if the array is non-empty (type guard).
      */

package/esm/src/Core/Deferred.js

@@ -1,3 +1,4 @@
+const _store = new WeakMap();
 export var Deferred;
 (function (Deferred) {
     /**
@@ -10,9 +11,11 @@ export var Deferred;
      * const value = await d; // "hello"
      * ```
      */
-    Deferred.fromPromise = (p) => ({
-        then: ((f) => p.then(f)),
-    });
+    Deferred.fromPromise = (p) => {
+        const d = ({ then: ((f) => p.then(f)) });
+        _store.set(d, p);
+        return d;
+    };
     /**
      * Converts a `Deferred` back into a `Promise`.
      *
@@ -22,5 +25,6 @@ export var Deferred;
      * // p is Promise<42>
      * ```
      */
-    Deferred.toPromise = (d) => new Promise((resolve) => d.then(resolve));
+    Deferred.toPromise = (d) => _store.get(d) ??
+        new Promise((resolve) => d.then(resolve));
 })(Deferred || (Deferred = {}));

package/esm/src/Core/Logged.js

@@ -25,7 +25,7 @@ export var Logged;
      * @example
      * ```ts
      * pipe(
-     *   Logged.of<string, number>(5),
+     *   Logged.make<string, number>(5),
      *   Logged.map(n => n * 2),
      * ); // { value: 10, log: [] }
      * ```
@@ -44,7 +44,7 @@ export var Logged;
      * @example
      * ```ts
      * const result = pipe(
-     *   Logged.of<string, number>(1),
+     *   Logged.make<string, number>(1),
      *   Logged.chain(n => pipe(Logged.tell("step"), Logged.map(() => n + 1))),
      *   Logged.chain(n => pipe(Logged.tell("done"), Logged.map(() => n * 10))),
      * );
@@ -83,7 +83,7 @@ export var Logged;
      * @example
      * ```ts
      * pipe(
-     *   Logged.of<string, number>(42),
+     *   Logged.make<string, number>(42),
      *   Logged.tap(n => console.log("value:", n)),
      * );
      * ```
@@ -99,7 +99,7 @@ export var Logged;
      * @example
      * ```ts
      * const result = pipe(
-     *   Logged.of<string, number>(1),
+     *   Logged.make<string, number>(1),
      *   Logged.chain(n => pipe(Logged.tell("incremented"), Logged.map(() => n + 1))),
      * );
      *

package/esm/src/Core/Option.js

@@ -128,16 +128,17 @@ export var Option;
     Option.match = (cases) => (data) => Option.isSome(data) ? cases.some(data.value) : cases.none();
     /**
      * Returns the value inside an Option, or a default value if None.
+     * The default is a thunk `() => B` — evaluated only when the Option is None.
      * The default can be a different type, widening the result to `A | B`.
      *
      * @example
      * ```ts
-     * pipe(Option.some(5), Option.getOrElse(0)); // 5
-     * pipe(Option.none(), Option.getOrElse(0)); // 0
-     * pipe(Option.none<string>(), Option.getOrElse(null)); // null — typed as string | null
+     * pipe(Option.some(5), Option.getOrElse(() => 0)); // 5
+     * pipe(Option.none(), Option.getOrElse(() => 0)); // 0
+     * pipe(Option.none<string>(), Option.getOrElse(() => null)); // null — typed as string | null
      * ```
      */
-    Option.getOrElse = (defaultValue) => (data) => Option.isSome(data) ? data.value : defaultValue;
+    Option.getOrElse = (defaultValue) => (data) => Option.isSome(data) ? data.value : defaultValue();
     /**
      * Executes a side effect on the value without changing the Option.
      * Useful for logging or debugging.
@@ -166,7 +167,7 @@ export var Option;
      * pipe(Option.some(2), Option.filter(n => n > 3)); // None
      * ```
      */
-    Option.filter = (predicate) => (data) => Option.isSome(data) && predicate(data.value) ? data : Option.none();
+    Option.filter = (predicate) => (data) => Option.isSome(data) ? (predicate(data.value) ? data : Option.none()) : data;
     /**
      * Recovers from a None by providing a fallback Option.
      * The fallback can produce a different type, widening the result to `Option<A | B>`.

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) {
     /**
@@ -162,7 +164,7 @@ export var RemoteData;
      * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(null)); // null — typed as number | null
      * ```
      */
-    RemoteData.getOrElse = (defaultValue) => (data) => RemoteData.isSuccess(data) ? data.value : defaultValue;
+    RemoteData.getOrElse = (defaultValue) => (data) => RemoteData.isSuccess(data) ? data.value : defaultValue();
     /**
      * Executes a side effect on the success value without changing the RemoteData.
      *
@@ -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/Result.js

@@ -1,3 +1,4 @@
+import { Option } from "./Option.js";
 export var Result;
 (function (Result) {
     /**
@@ -102,16 +103,17 @@ export var Result;
     Result.match = (cases) => (data) => Result.isOk(data) ? cases.ok(data.value) : cases.err(data.error);
     /**
      * Returns the success value or a default value if the Result is an error.
+     * The default is a thunk `() => B` — evaluated only when the Result is Err.
      * The default can be a different type, widening the result to `A | B`.
      *
      * @example
      * ```ts
-     * pipe(Result.ok(5), Result.getOrElse(0)); // 5
-     * pipe(Result.err("error"), Result.getOrElse(0)); // 0
-     * pipe(Result.err("error"), Result.getOrElse(null)); // null — typed as number | null
+     * pipe(Result.ok(5), Result.getOrElse(() => 0)); // 5
+     * pipe(Result.err("error"), Result.getOrElse(() => 0)); // 0
+     * pipe(Result.err("error"), Result.getOrElse(() => null)); // null — typed as number | null
      * ```
      */
-    Result.getOrElse = (defaultValue) => (data) => Result.isOk(data) ? data.value : defaultValue;
+    Result.getOrElse = (defaultValue) => (data) => Result.isOk(data) ? data.value : defaultValue();
     /**
      * Executes a side effect on the success value without changing the Result.
      * Useful for logging or debugging.
@@ -134,7 +136,7 @@ export var Result;
      * Recovers from an error by providing a fallback Result.
      * The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
      */
-    Result.recover = (fallback) => (data) => Result.isOk(data) ? data : fallback();
+    Result.recover = (fallback) => (data) => Result.isOk(data) ? data : fallback(data.error);
     /**
      * Recovers from an error unless it matches the blocked error.
      * The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
@@ -150,7 +152,7 @@ export var Result;
      * Result.toOption(Result.err("oops")); // None
      * ```
      */
-    Result.toOption = (data) => Result.isOk(data) ? { kind: "Some", value: data.value } : { kind: "None" };
+    Result.toOption = (data) => Result.isOk(data) ? Option.some(data.value) : Option.none();
     /**
      * Applies a function wrapped in an Result to a value wrapped in an Result.
      *

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.
@@ -141,7 +124,7 @@ export var Validation;
      * pipe(Validation.invalid("oops"), Validation.getOrElse(null)); // null — typed as number | null
      * ```
      */
-    Validation.getOrElse = (defaultValue) => (data) => Validation.isValid(data) ? data.value : defaultValue;
+    Validation.getOrElse = (defaultValue) => (data) => Validation.isValid(data) ? data.value : defaultValue();
     /**
      * Executes a side effect on the success value without changing the Validation.
      *
@@ -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.7.0",
+  "version": "0.9.0",
   "description": "Simple functional programming toolkit for TypeScript",
   "keywords": [
     "functional",

package/script/src/Core/Arr.js

@@ -230,7 +230,7 @@ var Arr;
      * pipe([1, 2], Arr.zipWith((a, b) => a + b, ["a", "b"])); // ["1a", "2b"]
      * ```
      */
-    Arr.zipWith = (f, other) => (data) => {
+    Arr.zipWith = (f) => (other) => (data) => {
         const len = Math.min(data.length, other.length);
         const result = [];
         for (let i = 0; i < len; i++) {
@@ -379,6 +379,41 @@ var Arr;
      * Collects an array of Tasks into a Task of array. Runs in parallel.
      */
     Arr.sequenceTask = (data) => Arr.traverseTask((a) => a)(data);
+    /**
+     * Maps each element to a TaskResult and runs them sequentially.
+     * Returns the first Err encountered, or Ok of all results if all succeed.
+     *
+     * @example
+     * ```ts
+     * const validate = (n: number): TaskResult<string, number> =>
+     *   n > 0 ? TaskResult.ok(n) : TaskResult.err("non-positive");
+     *
+     * pipe(
+     *   [1, 2, 3],
+     *   Arr.traverseTaskResult(validate)
+     * )(); // Deferred<Ok([1, 2, 3])>
+     *
+     * pipe(
+     *   [1, -1, 3],
+     *   Arr.traverseTaskResult(validate)
+     * )(); // Deferred<Err("non-positive")>
+     * ```
+     */
+    Arr.traverseTaskResult = (f) => (data) => Task_js_1.Task.from(async () => {
+        const result = [];
+        for (const a of data) {
+            const r = await Deferred_js_1.Deferred.toPromise(f(a)());
+            if (Result_js_1.Result.isErr(r))
+                return r;
+            result.push(r.value);
+        }
+        return Result_js_1.Result.ok(result);
+    });
+    /**
+     * Collects an array of TaskResults into a TaskResult of array.
+     * Returns the first Err if any element is Err, runs sequentially.
+     */
+    Arr.sequenceTaskResult = (data) => Arr.traverseTaskResult((a) => a)(data);
     /**
      * Returns true if the array is non-empty (type guard).
      */

package/script/src/Core/Deferred.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.Deferred = void 0;
+const _store = new WeakMap();
 var Deferred;
 (function (Deferred) {
     /**
@@ -13,9 +14,11 @@ var Deferred;
      * const value = await d; // "hello"
      * ```
      */
-    Deferred.fromPromise = (p) => ({
-        then: ((f) => p.then(f)),
-    });
+    Deferred.fromPromise = (p) => {
+        const d = ({ then: ((f) => p.then(f)) });
+        _store.set(d, p);
+        return d;
+    };
     /**
      * Converts a `Deferred` back into a `Promise`.
      *
@@ -25,5 +28,6 @@ var Deferred;
      * // p is Promise<42>
      * ```
      */
-    Deferred.toPromise = (d) => new Promise((resolve) => d.then(resolve));
+    Deferred.toPromise = (d) => _store.get(d) ??
+        new Promise((resolve) => d.then(resolve));
 })(Deferred || (exports.Deferred = Deferred = {}));

package/script/src/Core/Logged.js

@@ -28,7 +28,7 @@ var Logged;
      * @example
      * ```ts
      * pipe(
-     *   Logged.of<string, number>(5),
+     *   Logged.make<string, number>(5),
      *   Logged.map(n => n * 2),
      * ); // { value: 10, log: [] }
      * ```
@@ -47,7 +47,7 @@ var Logged;
      * @example
      * ```ts
      * const result = pipe(
-     *   Logged.of<string, number>(1),
+     *   Logged.make<string, number>(1),
      *   Logged.chain(n => pipe(Logged.tell("step"), Logged.map(() => n + 1))),
      *   Logged.chain(n => pipe(Logged.tell("done"), Logged.map(() => n * 10))),
      * );
@@ -86,7 +86,7 @@ var Logged;
      * @example
      * ```ts
      * pipe(
-     *   Logged.of<string, number>(42),
+     *   Logged.make<string, number>(42),
      *   Logged.tap(n => console.log("value:", n)),
      * );
      * ```
@@ -102,7 +102,7 @@ var Logged;
      * @example
      * ```ts
      * const result = pipe(
-     *   Logged.of<string, number>(1),
+     *   Logged.make<string, number>(1),
      *   Logged.chain(n => pipe(Logged.tell("incremented"), Logged.map(() => n + 1))),
      * );
      *

package/script/src/Core/Option.js

@@ -131,16 +131,17 @@ var Option;
     Option.match = (cases) => (data) => Option.isSome(data) ? cases.some(data.value) : cases.none();
     /**
      * Returns the value inside an Option, or a default value if None.
+     * The default is a thunk `() => B` — evaluated only when the Option is None.
      * The default can be a different type, widening the result to `A | B`.
      *
      * @example
      * ```ts
-     * pipe(Option.some(5), Option.getOrElse(0)); // 5
-     * pipe(Option.none(), Option.getOrElse(0)); // 0
-     * pipe(Option.none<string>(), Option.getOrElse(null)); // null — typed as string | null
+     * pipe(Option.some(5), Option.getOrElse(() => 0)); // 5
+     * pipe(Option.none(), Option.getOrElse(() => 0)); // 0
+     * pipe(Option.none<string>(), Option.getOrElse(() => null)); // null — typed as string | null
      * ```
      */
-    Option.getOrElse = (defaultValue) => (data) => Option.isSome(data) ? data.value : defaultValue;
+    Option.getOrElse = (defaultValue) => (data) => Option.isSome(data) ? data.value : defaultValue();
     /**
      * Executes a side effect on the value without changing the Option.
      * Useful for logging or debugging.
@@ -169,7 +170,7 @@ var Option;
      * pipe(Option.some(2), Option.filter(n => n > 3)); // None
      * ```
      */
-    Option.filter = (predicate) => (data) => Option.isSome(data) && predicate(data.value) ? data : Option.none();
+    Option.filter = (predicate) => (data) => Option.isSome(data) ? (predicate(data.value) ? data : Option.none()) : data;
     /**
      * Recovers from a None by providing a fallback Option.
      * The fallback can produce a different type, widening the result to `Option<A | B>`.

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) {
     /**
@@ -165,7 +167,7 @@ var RemoteData;
      * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(null)); // null — typed as number | null
      * ```
      */
-    RemoteData.getOrElse = (defaultValue) => (data) => RemoteData.isSuccess(data) ? data.value : defaultValue;
+    RemoteData.getOrElse = (defaultValue) => (data) => RemoteData.isSuccess(data) ? data.value : defaultValue();
     /**
      * Executes a side effect on the success value without changing the RemoteData.
      *
@@ -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/Result.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.Result = void 0;
+const Option_js_1 = require("./Option.js");
 var Result;
 (function (Result) {
     /**
@@ -105,16 +106,17 @@ var Result;
     Result.match = (cases) => (data) => Result.isOk(data) ? cases.ok(data.value) : cases.err(data.error);
     /**
      * Returns the success value or a default value if the Result is an error.
+     * The default is a thunk `() => B` — evaluated only when the Result is Err.
      * The default can be a different type, widening the result to `A | B`.
      *
      * @example
      * ```ts
-     * pipe(Result.ok(5), Result.getOrElse(0)); // 5
-     * pipe(Result.err("error"), Result.getOrElse(0)); // 0
-     * pipe(Result.err("error"), Result.getOrElse(null)); // null — typed as number | null
+     * pipe(Result.ok(5), Result.getOrElse(() => 0)); // 5
+     * pipe(Result.err("error"), Result.getOrElse(() => 0)); // 0
+     * pipe(Result.err("error"), Result.getOrElse(() => null)); // null — typed as number | null
      * ```
      */
-    Result.getOrElse = (defaultValue) => (data) => Result.isOk(data) ? data.value : defaultValue;
+    Result.getOrElse = (defaultValue) => (data) => Result.isOk(data) ? data.value : defaultValue();
     /**
      * Executes a side effect on the success value without changing the Result.
      * Useful for logging or debugging.
@@ -137,7 +139,7 @@ var Result;
      * Recovers from an error by providing a fallback Result.
      * The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
      */
-    Result.recover = (fallback) => (data) => Result.isOk(data) ? data : fallback();
+    Result.recover = (fallback) => (data) => Result.isOk(data) ? data : fallback(data.error);
     /**
      * Recovers from an error unless it matches the blocked error.
      * The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
@@ -153,7 +155,7 @@ var Result;
      * Result.toOption(Result.err("oops")); // None
      * ```
      */
-    Result.toOption = (data) => Result.isOk(data) ? { kind: "Some", value: data.value } : { kind: "None" };
+    Result.toOption = (data) => Result.isOk(data) ? Option_js_1.Option.some(data.value) : Option_js_1.Option.none();
     /**
      * Applies a function wrapped in an Result to a value wrapped in an Result.
      *