@satoshibits/functional 1.0.3 → 1.1.2

package/dist/reader.test.mjs

@@ -0,0 +1,288 @@
+"use strict";
+import { describe, expect, it } from "vitest";
+import { Reader } from "./reader.mjs";
+describe("Reader", function () {
+    var testConfig = {
+        apiUrl: "https://test.api",
+        timeout: 5000,
+        debug: true,
+    };
+    describe("of", function () {
+        it("should create a Reader that returns the value ignoring environment", function () {
+            var reader = Reader.of(42);
+            expect(Reader.run(testConfig)(reader)).toBe(42);
+        });
+        it("should work with any environment", function () {
+            var reader = Reader.of("constant");
+            var config1 = { apiUrl: "url1", timeout: 1000, debug: false };
+            var config2 = { apiUrl: "url2", timeout: 2000, debug: true };
+            expect(Reader.run(config1)(reader)).toBe("constant");
+            expect(Reader.run(config2)(reader)).toBe("constant");
+        });
+    });
+    describe("ask", function () {
+        it("should provide the full environment", function () {
+            var reader = Reader.ask();
+            expect(Reader.run(testConfig)(reader)).toEqual(testConfig);
+        });
+        it("should return different environments when run with different configs", function () {
+            var reader = Reader.ask();
+            var config1 = { apiUrl: "url1", timeout: 1000, debug: false };
+            var config2 = { apiUrl: "url2", timeout: 2000, debug: true };
+            expect(Reader.run(config1)(reader)).toEqual(config1);
+            expect(Reader.run(config2)(reader)).toEqual(config2);
+        });
+    });
+    describe("asks", function () {
+        it("should select a part of the environment", function () {
+            var getApiUrl = Reader.asks(function (c) { return c.apiUrl; });
+            expect(Reader.run(testConfig)(getApiUrl)).toBe("https://test.api");
+        });
+        it("should work with nested selections", function () {
+            var appConfig = {
+                region: "us-east",
+                service: {
+                    config: testConfig,
+                },
+            };
+            var getTimeout = Reader.asks(function (ac) { return ac.service.config.timeout; });
+            expect(Reader.run(appConfig)(getTimeout)).toBe(5000);
+        });
+    });
+    describe("map", function () {
+        it("should transform the value", function () {
+            var getTimeout = Reader.asks(function (c) { return c.timeout; });
+            var inSeconds = Reader.map(function (ms) { return ms / 1000; });
+            var reader = inSeconds(getTimeout);
+            expect(Reader.run(testConfig)(reader)).toBe(5);
+        });
+        it("should chain transformations", function () {
+            var getDebug = Reader.asks(function (c) { return c.debug; });
+            var reader = Reader.map(function (s) { return s.length; })(Reader.map(function (b) { return b.toString(); })(getDebug));
+            expect(Reader.run(testConfig)(reader)).toBe(4); // "true".length
+        });
+    });
+    describe("chain / flatMap", function () {
+        it("should sequence dependent computations", function () {
+            var getUrl = Reader.asks(function (c) { return c.apiUrl; });
+            var createRequest = function (url) {
+                return Reader.asks(function (c) { return ({
+                    url: url,
+                    timeout: c.timeout,
+                }); });
+            };
+            var program = Reader.chain(createRequest)(getUrl);
+            var result = Reader.run(testConfig)(program);
+            expect(result).toEqual({
+                url: "https://test.api",
+                timeout: 5000,
+            });
+        });
+        it("flatMap should be an alias for chain", function () {
+            var reader1 = Reader.of(5);
+            var reader2 = function (n) { return Reader.of(n * 2); };
+            var chained = Reader.chain(reader2)(reader1);
+            var flatMapped = Reader.flatMap(reader2)(reader1);
+            expect(Reader.run(testConfig)(chained)).toBe(10);
+            expect(Reader.run(testConfig)(flatMapped)).toBe(10);
+        });
+    });
+    describe("ap", function () {
+        it("should apply a Reader of a function to a Reader of a value", function () {
+            var add = function (a) { return function (b) { return a + b; }; };
+            var getTimeout = Reader.asks(function (c) { return c.timeout; });
+            var readerAdd = Reader.map(add)(getTimeout);
+            var readerValue = Reader.of(1000);
+            var result = Reader.ap(readerValue)(readerAdd);
+            expect(Reader.run(testConfig)(result)).toBe(6000);
+        });
+        it("should work with multiple dependencies", function () {
+            var config2 = { x: 5, y: 3 };
+            var add = function (a) { return function (b) { return a + b; }; };
+            var getX = Reader.asks(function (c) { return c.x; });
+            var getY = Reader.asks(function (c) { return c.y; });
+            var sum = Reader.ap(getY)(Reader.map(add)(getX));
+            expect(Reader.run(config2)(sum)).toBe(8);
+        });
+    });
+    describe("local", function () {
+        it("should modify the environment for a sub-computation", function () {
+            var appConfig = {
+                region: "us-east",
+                service: {
+                    config: testConfig,
+                },
+            };
+            var getTimeout = Reader.asks(function (c) { return c.timeout; });
+            var program = Reader.local(function (ac) { return ac.service.config; })(getTimeout);
+            expect(Reader.run(appConfig)(program)).toBe(5000);
+        });
+        it("should work with nested local transformations", function () {
+            var globalConfig = {
+                regions: {
+                    "us-east": {
+                        region: "us-east",
+                        service: { config: testConfig },
+                    },
+                },
+                activeRegion: "us-east",
+            };
+            var getApiUrl = Reader.asks(function (c) { return c.apiUrl; });
+            var program = Reader.local(function (gc) { return gc.regions[gc.activeRegion]; })(Reader.local(function (ac) { return ac.service.config; })(getApiUrl));
+            expect(Reader.run(globalConfig)(program)).toBe("https://test.api");
+        });
+    });
+    describe("sequence", function () {
+        it("should convert array of Readers to Reader of array", function () {
+            var readers = [
+                Reader.asks(function (c) { return c.apiUrl; }),
+                Reader.asks(function (c) { return c.timeout.toString(); }),
+                Reader.asks(function (c) { return c.debug.toString(); }),
+            ];
+            var sequenced = Reader.sequence(readers);
+            var result = Reader.run(testConfig)(sequenced);
+            expect(result).toEqual(["https://test.api", "5000", "true"]);
+        });
+        it("should handle empty array", function () {
+            var sequenced = Reader.sequence([]);
+            expect(Reader.run(testConfig)(sequenced)).toEqual([]);
+        });
+    });
+    describe("traverse", function () {
+        it("should map and sequence", function () {
+            var keys = ["apiUrl", "timeout", "debug"];
+            var fn = function (key) {
+                return Reader.asks(function (c) { return String(c[key]); });
+            };
+            var traverse = Reader.traverse(fn);
+            var result = Reader.run(testConfig)(traverse(keys));
+            expect(result).toEqual(["https://test.api", "5000", "true"]);
+        });
+        it("should handle empty array", function () {
+            var fn = function (n) { return Reader.of(n * 2); };
+            var traverse = Reader.traverse(fn);
+            var result = Reader.run(testConfig)(traverse([]));
+            expect(result).toEqual([]);
+        });
+    });
+    describe("sequenceT", function () {
+        it("should combine tuple of Readers", function () {
+            var r1 = Reader.asks(function (c) { return c.apiUrl; });
+            var r2 = Reader.asks(function (c) { return c.timeout; });
+            var r3 = Reader.asks(function (c) { return c.debug; });
+            var combined = Reader.sequenceT(r1, r2, r3);
+            var result = Reader.run(testConfig)(combined);
+            expect(result).toEqual(["https://test.api", 5000, true]);
+        });
+        it("should handle empty tuple", function () {
+            var result = Reader.run(testConfig)(Reader.sequenceT());
+            expect(result).toEqual([]);
+        });
+    });
+    describe("sequenceS", function () {
+        it("should combine record of Readers", function () {
+            var readers = {
+                url: Reader.asks(function (c) { return c.apiUrl; }),
+                timeout: Reader.asks(function (c) { return c.timeout; }),
+                isDebug: Reader.asks(function (c) { return c.debug; }),
+            };
+            var combined = Reader.sequenceS(readers);
+            var result = Reader.run(testConfig)(combined);
+            expect(result).toEqual({
+                url: "https://test.api",
+                timeout: 5000,
+                isDebug: true,
+            });
+        });
+        it("should handle empty record", function () {
+            var result = Reader.run(testConfig)(Reader.sequenceS({}));
+            expect(result).toEqual({});
+        });
+    });
+    describe("chainFirst", function () {
+        it("should execute side effect but return original value", function () {
+            var log = [];
+            var logReader = function (msg) {
+                return function () {
+                    log.push(msg);
+                };
+            };
+            var getApiUrl = Reader.asks(function (c) { return c.apiUrl; });
+            var withLogging = Reader.chainFirst(function (url) {
+                return logReader("Got URL: ".concat(url));
+            })(getApiUrl);
+            expect(log).toEqual([]);
+            var result = Reader.run(testConfig)(withLogging);
+            expect(log).toEqual(["Got URL: https://test.api"]);
+            expect(result).toBe("https://test.api");
+        });
+    });
+    describe("Reader laws", function () {
+        it("should satisfy ask law: run(env)(ask) ≅ env", function () {
+            var reader = Reader.ask();
+            expect(Reader.run(testConfig)(reader)).toEqual(testConfig);
+        });
+        it("should satisfy asks law: run(env)(asks(f)) ≅ f(env)", function () {
+            var f = function (c) { return c.apiUrl + ":" + c.timeout; };
+            var reader = Reader.asks(f);
+            expect(Reader.run(testConfig)(reader)).toBe(f(testConfig));
+        });
+        it("should satisfy local law: run(env)(local(f)(r)) ≅ run(f(env))(r)", function () {
+            var appConfig = {
+                region: "us-east",
+                service: { config: testConfig },
+            };
+            var getTimeout = Reader.asks(function (c) { return c.timeout; });
+            var f = function (ac) { return ac.service.config; };
+            var localReader = Reader.local(f)(getTimeout);
+            var result1 = Reader.run(appConfig)(localReader);
+            var result2 = Reader.run(f(appConfig))(getTimeout);
+            expect(result1).toEqual(result2);
+        });
+    });
+    describe("Functor laws", function () {
+        it("should satisfy identity law: map(id) ≅ id", function () {
+            var reader = Reader.asks(function (c) { return c.apiUrl; });
+            var id = function (x) { return x; };
+            var mapped = Reader.map(id)(reader);
+            expect(Reader.run(testConfig)(reader)).toEqual(Reader.run(testConfig)(mapped));
+        });
+        it("should satisfy composition law: map(g∘f) ≅ map(g)∘map(f)", function () {
+            var reader = Reader.asks(function (c) { return c.timeout; });
+            var f = function (n) { return n / 1000; };
+            var g = function (n) { return n.toString(); };
+            var composed1 = Reader.map(function (x) { return g(f(x)); })(reader);
+            var composed2 = Reader.map(g)(Reader.map(f)(reader));
+            expect(Reader.run(testConfig)(composed1)).toEqual(Reader.run(testConfig)(composed2));
+        });
+    });
+    describe("Monad laws", function () {
+        it("should satisfy left identity: chain(f)(of(x)) ≅ f(x)", function () {
+            var x = 42;
+            var f = function (n) {
+                return Reader.asks(function (c) { return "".concat(c.apiUrl, "/").concat(n); });
+            };
+            var result1 = Reader.run(testConfig)(Reader.chain(f)(Reader.of(x)));
+            var result2 = Reader.run(testConfig)(f(x));
+            expect(result1).toEqual(result2);
+        });
+        it("should satisfy right identity: chain(of)(m) ≅ m", function () {
+            var reader = Reader.asks(function (c) { return c.apiUrl; });
+            var chained = Reader.chain(Reader.of)(reader);
+            expect(Reader.run(testConfig)(reader)).toEqual(Reader.run(testConfig)(chained));
+        });
+        it("should satisfy associativity", function () {
+            var reader = Reader.asks(function (c) { return c.timeout; });
+            var f = function (n) {
+                return Reader.asks(function (c) { return (c.debug ? n * 2 : n); });
+            };
+            var g = function (n) {
+                return Reader.asks(function (c) { return "".concat(c.apiUrl, "/").concat(n); });
+            };
+            var left = Reader.chain(g)(Reader.chain(f)(reader));
+            var right = Reader.chain(function (x) { return Reader.chain(g)(f(x)); })(reader);
+            expect(Reader.run(testConfig)(left)).toEqual(Reader.run(testConfig)(right));
+        });
+    });
+});
+//# sourceMappingURL=reader.test.mjs.map

package/dist/reader.test.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"reader.test.mjs","sourceRoot":"","sources":["../src/reader.test.mts"],"names":[],"mappings":";AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAetC,QAAQ,CAAC,QAAQ,EAAE;IACjB,IAAM,UAAU,GAAW;QACzB,MAAM,EAAE,kBAAkB;QAC1B,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,IAAI;KACZ,CAAC;IAEF,QAAQ,CAAC,IAAI,EAAE;QACb,EAAE,CAAC,oEAAoE,EAAE;YACvE,IAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAiB,EAAE,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE;YACrC,IAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAiB,UAAU,CAAC,CAAC;YACrD,IAAM,OAAO,GAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YACxE,IAAM,OAAO,GAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAEvE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,EAAE;QACd,EAAE,CAAC,qCAAqC,EAAE;YACxC,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAU,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE;YACzE,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAU,CAAC;YACpC,IAAM,OAAO,GAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YACxE,IAAM,OAAO,GAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAEvE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE;QACf,EAAE,CAAC,yCAAyC,EAAE;YAC5C,IAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE;YACvC,IAAM,SAAS,GAAc;gBAC3B,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE;oBACP,MAAM,EAAE,UAAU;iBACnB;aACF,CAAC;YAEF,IAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAC5B,UAAC,EAAE,IAAK,OAAA,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAzB,CAAyB,CAClC,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,EAAE;QACd,EAAE,CAAC,4BAA4B,EAAE;YAC/B,IAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC;YACjE,IAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAyB,UAAC,EAAE,IAAK,OAAA,EAAE,GAAG,IAAI,EAAT,CAAS,CAAC,CAAC;YACxE,IAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;YAErC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE;YACjC,IAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAkB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,KAAK,EAAP,CAAO,CAAC,CAAC;YAC9D,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAyB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC,CAChE,MAAM,CAAC,GAAG,CAA0B,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,QAAQ,EAAE,EAAZ,CAAY,CAAC,CAAC,QAAQ,CAAC,CACnE,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE;QAC1B,EAAE,CAAC,wCAAwC,EAAE;YAC3C,IAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC,CAAC;YAC5D,IAAM,aAAa,GAAG,UAAC,GAAW;gBAChC,OAAA,MAAM,CAAC,IAAI,CAA2C,UAAC,CAAC,IAAK,OAAA,CAAC;oBAC5D,GAAG,KAAA;oBACH,OAAO,EAAE,CAAC,CAAC,OAAO;iBACnB,CAAC,EAH2D,CAG3D,CAAC;YAHH,CAGG,CAAC;YAEN,IAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;YACpD,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC;YAE/C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;gBACrB,GAAG,EAAE,kBAAkB;gBACvB,OAAO,EAAE,IAAI;aACd,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE;YACzC,IAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAiB,CAAC,CAAC,CAAC;YAC7C,IAAM,OAAO,GAAG,UAAC,CAAS,IAAK,OAAA,MAAM,CAAC,EAAE,CAAiB,CAAC,GAAG,CAAC,CAAC,EAAhC,CAAgC,CAAC;YAEhE,IAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;YAC/C,IAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,IAAI,EAAE;QACb,EAAE,CAAC,4DAA4D,EAAE;YAC/D,IAAM,GAAG,GAAG,UAAC,CAAS,IAAK,OAAA,UAAC,CAAS,IAAK,OAAA,CAAC,GAAG,CAAC,EAAL,CAAK,EAApB,CAAoB,CAAC;YAChD,IAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC;YACjE,IAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAwC,GAAG,CAAC,CACtE,UAAU,CACX,CAAC;YACF,IAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAiB,IAAI,CAAC,CAAC;YAEpD,IAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE;YAK3C,IAAM,OAAO,GAAY,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAExC,IAAM,GAAG,GAAG,UAAC,CAAS,IAAK,OAAA,UAAC,CAAS,IAAK,OAAA,CAAC,GAAG,CAAC,EAAL,CAAK,EAApB,CAAoB,CAAC;YAChD,IAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAkB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,CAAC,EAAH,CAAG,CAAC,CAAC;YACtD,IAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAkB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,CAAC,EAAH,CAAG,CAAC,CAAC;YAEtD,IAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAA0B,IAAI,CAAC,CAClD,MAAM,CAAC,GAAG,CAAyC,GAAG,CAAC,CAAC,IAAI,CAAC,CAC9D,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE;QAChB,EAAE,CAAC,qDAAqD,EAAE;YACxD,IAAM,SAAS,GAAc;gBAC3B,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE;oBACP,MAAM,EAAE,UAAU;iBACnB;aACF,CAAC;YAEF,IAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC;YACjE,IAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAC1B,UAAC,EAAE,IAAK,OAAA,EAAE,CAAC,OAAO,CAAC,MAAM,EAAjB,CAAiB,CAC1B,CAAC,UAAU,CAAC,CAAC;YAEd,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE;YAMlD,IAAM,YAAY,GAAiB;gBACjC,OAAO,EAAE;oBACP,SAAS,EAAE;wBACT,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE;qBAChC;iBACF;gBACD,YAAY,EAAE,SAAS;aACxB,CAAC;YAEF,IAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC,CAAC;YAE/D,IAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAC1B,UAAC,EAAE,IAAK,OAAA,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAE,EAA5B,CAA4B,CACrC,CAAC,MAAM,CAAC,KAAK,CAAoB,UAAC,EAAE,IAAK,OAAA,EAAE,CAAC,OAAO,CAAC,MAAM,EAAjB,CAAiB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YAEzE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE;QACnB,EAAE,CAAC,oDAAoD,EAAE;YACvD,IAAM,OAAO,GAA6B;gBACxC,MAAM,CAAC,IAAI,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC;gBAC5B,MAAM,CAAC,IAAI,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAApB,CAAoB,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAlB,CAAkB,CAAC;aACvC,CAAC;YAEF,IAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAC;YAEjD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,kBAAkB,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE;YAC9B,IAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAkB,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE;QACnB,EAAE,CAAC,yBAAyB,EAAE;YAC5B,IAAM,IAAI,GAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAC9D,IAAM,EAAE,GAAG,UAAC,GAAiB;gBAC3B,OAAA,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAd,CAAc,CAAC;YAAlD,CAAkD,CAAC;YAErD,IAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACrC,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YAEtD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,kBAAkB,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE;YAC9B,IAAM,EAAE,GAAG,UAAC,CAAS,IAAK,OAAA,MAAM,CAAC,EAAE,CAAiB,CAAC,GAAG,CAAC,CAAC,EAAhC,CAAgC,CAAC;YAC3D,IAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACrC,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE;QACpB,EAAE,CAAC,iCAAiC,EAAE;YACpC,IAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC,CAAC;YACxD,IAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC;YACzD,IAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAkB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,KAAK,EAAP,CAAO,CAAC,CAAC;YAExD,IAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAoC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC;YAEhD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,kBAAkB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE;YAC9B,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;YAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE;QACpB,EAAE,CAAC,kCAAkC,EAAE;YACrC,IAAM,OAAO,GAAG;gBACd,GAAG,EAAE,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC;gBACjD,OAAO,EAAE,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC;gBACtD,OAAO,EAAE,MAAM,CAAC,IAAI,CAAkB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,KAAK,EAAP,CAAO,CAAC;aACtD,CAAC;YAEF,IAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAA6D,OAAO,CAAC,CAAC;YACvG,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC;YAEhD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;gBACrB,GAAG,EAAE,kBAAkB;gBACvB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,IAAI;aACd,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE;YAC/B,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5D,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE;QACrB,EAAE,CAAC,sDAAsD,EAAE;YACzD,IAAM,GAAG,GAAa,EAAE,CAAC;YACzB,IAAM,SAAS,GACb,UAAC,GAAW;gBACZ,OAAA;oBACE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,CAAC;YAFD,CAEC,CAAC;YAEJ,IAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC,CAAC;YAC/D,IAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAiB,UAAC,GAAG;gBACxD,OAAA,SAAS,CAAC,mBAAY,GAAG,CAAE,CAAC;YAA5B,CAA4B,CAC7B,CAAC,SAAS,CAAC,CAAC;YAEb,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACxB,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE;QACtB,EAAE,CAAC,6CAA6C,EAAE;YAChD,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAU,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE;YACxD,IAAM,CAAC,GAAG,UAAC,CAAS,IAAK,OAAA,CAAC,CAAC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,OAAO,EAA1B,CAA0B,CAAC;YACpD,IAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE;YACrE,IAAM,SAAS,GAAc;gBAC3B,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE;aAChC,CAAC;YAEF,IAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC;YACjE,IAAM,CAAC,GAAG,UAAC,EAAa,IAAK,OAAA,EAAE,CAAC,OAAO,CAAC,MAAM,EAAjB,CAAiB,CAAC;YAE/C,IAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAChD,IAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,CAAC;YACnD,IAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAErD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE;QACvB,EAAE,CAAC,2CAA2C,EAAE;YAC9C,IAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC,CAAC;YAC5D,IAAM,EAAE,GAAG,UAAK,CAAI,IAAK,OAAA,CAAC,EAAD,CAAC,CAAC;YAC3B,IAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAyB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAE9D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAC5C,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAC/B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE;YAC7D,IAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC;YAC7D,IAAM,CAAC,GAAG,UAAC,CAAS,IAAK,OAAA,CAAC,GAAG,IAAI,EAAR,CAAQ,CAAC;YAClC,IAAM,CAAC,GAAG,UAAC,CAAS,IAAK,OAAA,CAAC,CAAC,QAAQ,EAAE,EAAZ,CAAY,CAAC;YAEtC,IAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAyB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAP,CAAO,CAAC,CAClE,MAAM,CACP,CAAC;YACF,IAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAyB,CAAC,CAAC,CACrD,MAAM,CAAC,GAAG,CAAyB,CAAC,CAAC,CAAC,MAAM,CAAC,CAC9C,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAC/C,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAClC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE;QACrB,EAAE,CAAC,sDAAsD,EAAE;YACzD,IAAM,CAAC,GAAG,EAAE,CAAC;YACb,IAAM,CAAC,GAAG,UAAC,CAAS;gBAClB,OAAA,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,UAAG,CAAC,CAAC,MAAM,cAAI,CAAC,CAAE,EAAlB,CAAkB,CAAC;YAAtD,CAAsD,CAAC;YAEzD,IAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAiB,CAAC,CAAC,CAAC,CAC9C,CAAC;YACF,IAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE;YACpD,IAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,MAAM,EAAR,CAAQ,CAAC,CAAC;YAC5D,IAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAyB,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAExE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAC5C,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAChC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE;YACjC,IAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC;YAC7D,IAAM,CAAC,GAAG,UAAC,CAAS;gBAClB,OAAA,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAArB,CAAqB,CAAC;YAAzD,CAAyD,CAAC;YAC5D,IAAM,CAAC,GAAG,UAAC,CAAS;gBAClB,OAAA,MAAM,CAAC,IAAI,CAAiB,UAAC,CAAC,IAAK,OAAA,UAAG,CAAC,CAAC,MAAM,cAAI,CAAC,CAAE,EAAlB,CAAkB,CAAC;YAAtD,CAAsD,CAAC;YAEzD,IAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACtD,IAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,UAAC,CAAS,IAAK,OAAA,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAArB,CAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;YAEzE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAC1C,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAC9B,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/result-additions.test.d.mts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=result-additions.test.d.mts.map

package/dist/result-additions.test.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-additions.test.d.mts","sourceRoot":"","sources":["../src/result-additions.test.mts"],"names":[],"mappings":""}

package/dist/result-additions.test.mjs

@@ -0,0 +1,325 @@
+"use strict";
+import { describe, expect, it, vi } from "vitest";
+import { Result } from "./result.mjs";
+describe("Result additions", function () {
+    describe("traverse", function () {
+        it("should map and sequence, returning all values on success", function () {
+            var fn = function (n) {
+                return n > 0 ? Result.ok(n * 2) : Result.err("negative");
+            };
+            var traverseFn = Result.traverse(fn);
+            expect(traverseFn([1, 2, 3])).toEqual(Result.ok([2, 4, 6]));
+        });
+        it("should return first error on failure", function () {
+            var fn = function (n) {
+                return n > 0 ? Result.ok(n * 2) : Result.err("negative: ".concat(n));
+            };
+            var traverseFn = Result.traverse(fn);
+            expect(traverseFn([1, -2, 3, -4])).toEqual(Result.err("negative: -2"));
+        });
+        it("should handle empty array", function () {
+            var fn = function (n) { return Result.ok(n * 2); };
+            var traverseFn = Result.traverse(fn);
+            expect(traverseFn([])).toEqual(Result.ok([]));
+        });
+        it("should short-circuit on first error", function () {
+            var calls = [];
+            var fn = function (n) {
+                calls.push(n);
+                return n === 2 ? Result.err("stop") : Result.ok(n);
+            };
+            var traverseFn = Result.traverse(fn);
+            var result = traverseFn([1, 2, 3, 4]);
+            expect(result).toEqual(Result.err("stop"));
+            expect(calls).toEqual([1, 2]); // should not call fn for 3 and 4
+        });
+    });
+    describe("ap", function () {
+        it("should apply ok function to ok value", function () {
+            var add = function (a) { return function (b) { return a + b; }; };
+            var resultFn = Result.ok(add(5));
+            var resultValue = Result.ok(3);
+            var result = Result.ap(resultValue)(resultFn);
+            expect(result).toEqual(Result.ok(8));
+        });
+        it("should propagate error from function", function () {
+            var resultFn = Result.err("fn error");
+            var resultValue = Result.ok(3);
+            var result = Result.ap(resultValue)(resultFn);
+            expect(result).toEqual(Result.err("fn error"));
+        });
+        it("should propagate error from value", function () {
+            var resultFn = Result.ok(function (n) { return n * 2; });
+            var resultValue = Result.err("value error");
+            var result = Result.ap(resultValue)(resultFn);
+            expect(result).toEqual(Result.err("value error"));
+        });
+        it("should return first error when both are errors", function () {
+            var resultFn = Result.err("fn error");
+            var resultValue = Result.err("value error");
+            var result = Result.ap(resultValue)(resultFn);
+            expect(result).toEqual(Result.err("fn error"));
+        });
+    });
+    describe("bimap", function () {
+        it("should transform success value", function () {
+            var transform = Result.bimap(function (n) { return "ok: ".concat(n); }, function (s) { return "err: ".concat(s); });
+            expect(transform(Result.ok(10))).toEqual(Result.ok("ok: 10"));
+        });
+        it("should transform error value", function () {
+            var transform = Result.bimap(function (n) { return "ok: ".concat(n); }, function (s) { return "err: ".concat(s); });
+            expect(transform(Result.err("bad"))).toEqual(Result.err("err: bad"));
+        });
+        it("should work with different types", function () {
+            var transform = Result.bimap(function (n) { return n > 0; }, function (e) { return e.message; });
+            expect(transform(Result.ok(10))).toEqual(Result.ok(true));
+            expect(transform(Result.err(new Error("fail")))).toEqual(Result.err("fail"));
+        });
+    });
+    describe("chainFirst", function () {
+        it("should execute side effect and return original value on success", function () {
+            var sideEffect = vi.fn(function (n) { return Result.ok("logged: ".concat(n)); });
+            var result = Result.chainFirst(sideEffect)(Result.ok(42));
+            expect(result).toEqual(Result.ok(42));
+            expect(sideEffect).toHaveBeenCalledWith(42);
+        });
+        it("should not execute side effect on error", function () {
+            var sideEffect = vi.fn(function (n) { return Result.ok("logged: ".concat(n)); });
+            var result = Result.chainFirst(sideEffect)(Result.err("initial error"));
+            expect(result).toEqual(Result.err("initial error"));
+            expect(sideEffect).not.toHaveBeenCalled();
+        });
+        it("should propagate error from side effect", function () {
+            var sideEffect = function (_n) {
+                return Result.err("side effect error");
+            };
+            var result = Result.chainFirst(sideEffect)(Result.ok(42));
+            expect(result).toEqual(Result.err("side effect error"));
+        });
+    });
+    describe("sequenceT", function () {
+        it("should combine tuple of successful Results", function () {
+            var r1 = Result.ok(1);
+            var r2 = Result.ok("hello");
+            var r3 = Result.ok(true);
+            var combined = Result.sequenceT(r1, r2, r3);
+            expect(combined).toEqual(Result.ok([1, "hello", true]));
+        });
+        it("should return first error", function () {
+            var r1 = Result.ok(1);
+            var r2 = Result.err("error2");
+            var r3 = Result.err("error3");
+            var combined = Result.sequenceT(r1, r2, r3);
+            expect(combined).toEqual(Result.err("error2"));
+        });
+        it("should handle empty tuple", function () {
+            var combined = Result.sequenceT();
+            expect(combined).toEqual(Result.ok([]));
+        });
+        it("should short-circuit on error", function () {
+            var createResult = vi.fn(function (val, isOk) {
+                return isOk ? Result.ok(val) : Result.err("error");
+            });
+            var r1 = createResult(1, true);
+            var r2 = createResult(2, false);
+            var r3 = createResult(3, true); // This shouldn't be evaluated in sequenceT
+            var combined = Result.sequenceT(r1, r2, r3);
+            expect(combined).toEqual(Result.err("error"));
+            expect(createResult).toHaveBeenCalledTimes(3); // All created upfront
+        });
+    });
+    describe("sequenceS", function () {
+        it("should combine record of successful Results", function () {
+            var results = {
+                user: Result.ok({ name: "Alice" }),
+                count: Result.ok(42),
+                enabled: Result.ok(true),
+            };
+            var combined = Result.sequenceS(results);
+            expect(combined).toEqual(Result.ok({
+                user: { name: "Alice" },
+                count: 42,
+                enabled: true,
+            }));
+        });
+        it("should return first error", function () {
+            var results = {
+                a: Result.ok(1),
+                b: Result.err("error b"),
+                c: Result.err("error c"),
+            };
+            var combined = Result.sequenceS(results);
+            expect(combined).toEqual(Result.err("error b"));
+        });
+        it("should handle empty record", function () {
+            var combined = Result.sequenceS({});
+            expect(combined).toEqual(Result.ok({}));
+        });
+        it("should preserve key order", function () {
+            var results = {
+                z: Result.ok(1),
+                a: Result.ok(2),
+                m: Result.ok(3),
+            };
+            var combined = Result.sequenceS(results);
+            expect(combined).toEqual(Result.ok({ z: 1, a: 2, m: 3 }));
+            if (combined.success) {
+                expect(Object.keys(combined.data)).toEqual(["z", "a", "m"]);
+            }
+        });
+    });
+    describe("Do notation", function () {
+        it("should chain successful computations", function () {
+            var result = Result.Do()
+                .bind("x", Result.ok(5))
+                .bind("y", Result.ok(3))
+                .map(function (_a) {
+                var x = _a.x, y = _a.y;
+                return x + y;
+            });
+            expect(result).toEqual(Result.ok(8));
+        });
+        it("should handle dependent bindings", function () {
+            var result = Result.Do()
+                .bind("x", Result.ok(10))
+                .bind("y", function (_a) {
+                var x = _a.x;
+                return Result.ok(x * 2);
+            })
+                .bind("z", function (_a) {
+                var y = _a.y;
+                return Result.ok(y + 1);
+            })
+                .map(function (_a) {
+                var x = _a.x, y = _a.y, z = _a.z;
+                return ({ original: x, doubled: y, final: z });
+            });
+            expect(result).toEqual(Result.ok({ original: 10, doubled: 20, final: 21 }));
+        });
+        it("should short-circuit on first error", function () {
+            var fn1 = vi.fn(function () { return Result.ok(5); });
+            var fn2 = vi.fn(function () { return Result.err("error at y"); });
+            var fn3 = vi.fn(function () { return Result.ok(100); });
+            var result = Result.Do()
+                .bind("x", fn1())
+                .bind("y", fn2())
+                .bind("z", fn3()) // This binding happens but the function result is ignored
+                .map(function (_a) {
+                var x = _a.x, y = _a.y, z = _a.z;
+                return x + y + z;
+            });
+            expect(result).toEqual(Result.err("error at y"));
+            expect(fn1).toHaveBeenCalledTimes(1);
+            expect(fn2).toHaveBeenCalledTimes(1);
+            expect(fn3).toHaveBeenCalledTimes(1); // Created but not used in chain
+        });
+        it("should short-circuit on error at 2nd step with dependent bindings", function () {
+            var fn1 = vi.fn(function () { return Result.ok(10); });
+            var fn2 = vi.fn(function (_a) {
+                var x = _a.x;
+                return x < 20
+                    ? Result.err("value too small")
+                    : Result.ok(x * 2);
+            });
+            var fn3 = vi.fn(function (_a) {
+                var y = _a.y;
+                return Result.ok(y + 5);
+            });
+            var result = Result.Do()
+                .bind("x", fn1())
+                .bind("y", fn2)
+                .bind("z", fn3)
+                .map(function (_a) {
+                var x = _a.x, y = _a.y, z = _a.z;
+                return ({ first: x, second: y, third: z });
+            });
+            expect(result).toEqual(Result.err("value too small"));
+            expect(fn1).toHaveBeenCalledTimes(1);
+            expect(fn2).toHaveBeenCalledTimes(1);
+            expect(fn3).toHaveBeenCalledTimes(0); // should not be called due to short-circuit
+        });
+        it("should short-circuit on error at 3rd step with dependent bindings", function () {
+            var fn1 = vi.fn(function () { return Result.ok(60); });
+            var fn2 = vi.fn(function (_a) {
+                var x = _a.x;
+                return Result.ok(x * 2);
+            });
+            var fn3 = vi.fn(function (_a) {
+                var x = _a.x, y = _a.y;
+                return y > 100
+                    ? Result.err("result too large")
+                    : Result.ok(x + y);
+            });
+            var result = Result.Do()
+                .bind("x", fn1())
+                .bind("y", fn2)
+                .bind("z", fn3)
+                .map(function (_a) {
+                var x = _a.x, y = _a.y, z = _a.z;
+                return ({ first: x, second: y, third: z });
+            });
+            expect(result).toEqual(Result.err("result too large"));
+            expect(fn1).toHaveBeenCalledTimes(1);
+            expect(fn2).toHaveBeenCalledTimes(1);
+            expect(fn3).toHaveBeenCalledTimes(1);
+        });
+        it("should work with flatMap for Result-returning operations", function () {
+            var safeDivide = function (a, b) {
+                return b === 0 ? Result.err("division by zero") : Result.ok(a / b);
+            };
+            var result = Result.Do()
+                .bind("x", Result.ok(10))
+                .bind("y", Result.ok(2))
+                .flatMap(function (_a) {
+                var x = _a.x, y = _a.y;
+                return safeDivide(x, y);
+            });
+            expect(result).toEqual(Result.ok(5));
+            var errorResult = Result.Do()
+                .bind("x", Result.ok(10))
+                .bind("y", Result.ok(0))
+                .flatMap(function (_a) {
+                var x = _a.x, y = _a.y;
+                return safeDivide(x, y);
+            });
+            expect(errorResult).toEqual(Result.err("division by zero"));
+        });
+        it("should provide value() to get the current context", function () {
+            var builder = Result.Do()
+                .bind("x", Result.ok(5))
+                .bind("y", Result.ok(3));
+            var contextResult = builder.value();
+            expect(contextResult).toEqual(Result.ok({ x: 5, y: 3 }));
+        });
+        it("should handle errors in dependent bindings", function () {
+            var result = Result.Do()
+                .bind("x", Result.ok(5))
+                .bind("y", function (_a) {
+                var x = _a.x;
+                return x > 10 ? Result.ok(x * 2) : Result.err("x too small");
+            })
+                .map(function (_a) {
+                var x = _a.x, y = _a.y;
+                return x + y;
+            });
+            expect(result).toEqual(Result.err("x too small"));
+        });
+    });
+    describe("edge cases", function () {
+        it("should handle complex error types", function () {
+            var error = { code: 404, message: "Not Found" };
+            var result = Result.err(error);
+            var transformed = Result.bimap(function (n) { return n.toString(); }, function (e) { return "".concat(e.code, ": ").concat(e.message); })(result);
+            expect(transformed).toEqual(Result.err("404: Not Found"));
+        });
+        it("should handle nested Results", function () {
+            var nestedOk = Result.ok(Result.ok(42));
+            var flattened = Result.flatMap(function (r) { return r; })(nestedOk);
+            expect(flattened).toEqual(Result.ok(42));
+            var nestedErr = Result.ok(Result.err("inner error"));
+            var flattenedErr = Result.flatMap(function (r) { return r; })(nestedErr);
+            expect(flattenedErr).toEqual(Result.err("inner error"));
+        });
+    });
+});
+//# sourceMappingURL=result-additions.test.mjs.map