@zambit/elevate-ts 0.1.2

package/dist/cjs/NonEmptyList.js

@@ -0,0 +1,128 @@
+// NonEmptyList — Guaranteed Nonempty Arrays (branded type)
+import * as Maybe from './Maybe.js';
+/**
+ * Unsafely cast an array to NonEmptyList.
+ * @param arr - An array (must be nonempty at runtime).
+ * @returns The array cast as NonEmptyList.
+ */
+const unsafeBrand = (arr) => arr;
+/**
+ * Safely lift an array to NonEmptyList if nonempty.
+ * @param arr - The array to lift.
+ * @returns Just the NonEmptyList if nonempty, Nothing if empty.
+ */
+export const fromArray = (arr) => (arr.length > 0 ? Maybe.Just(unsafeBrand(arr)) : Maybe.Nothing);
+/**
+ * Unsafely cast an array to NonEmptyList without checking.
+ * @param arr - An array (assumed nonempty).
+ * @returns The array cast as NonEmptyList.
+ */
+export const fromArrayUnsafe = (arr) => unsafeBrand(arr);
+/**
+ * Convert a NonEmptyList back to a plain array.
+ * @param nel - The nonempty list.
+ * @returns A readonly array.
+ */
+export const toArray = (nel) => nel;
+/**
+ * Extract the first element (guaranteed to exist).
+ * @param nel - The nonempty list.
+ * @returns The first element.
+ */
+export const head = (nel) => nel[0];
+/**
+ * Extract all elements after the first.
+ * @param nel - The nonempty list.
+ * @returns An array of remaining elements (may be empty).
+ */
+export const tail = (nel) => nel.slice(1);
+/**
+ * Extract the last element.
+ * @param nel - The nonempty list.
+ * @returns The last element.
+ */
+export const last = (nel) => nel[nel.length - 1];
+/**
+ * Extract all elements except the last.
+ * @param nel - The nonempty list.
+ * @returns An array of all but the last element.
+ */
+export const init = (nel) => nel.slice(0, -1);
+/**
+ * Functor map over a NonEmptyList.
+ * @param f - Function to transform each element.
+ * @returns A function that takes a NonEmptyList and returns a new NonEmptyList.
+ */
+export const map = (f) => (nel) => unsafeBrand(nel.map(f));
+/**
+ * Applicative ap: apply a NonEmptyList of functions to a NonEmptyList of values.
+ * @param nf - A NonEmptyList of functions.
+ * @returns A function that takes a NonEmptyList and returns a new NonEmptyList.
+ */
+export const ap = (nf) => (nel) => {
+    const result = [];
+    for (const f of nf) {
+        for (const a of nel) {
+            result.push(f(a));
+        }
+    }
+    return unsafeBrand(result);
+};
+/**
+ * Monadic bind: sequentially compose NonEmptyList computations.
+ * @param f - Function that returns a NonEmptyList.
+ * @returns A function that takes a NonEmptyList and returns a flattened NonEmptyList.
+ */
+export const chain = (f) => (nel) => {
+    const result = [];
+    for (const a of nel) {
+        const bs = f(a);
+        for (const b of bs) {
+            result.push(b);
+        }
+    }
+    return unsafeBrand(result);
+};
+/**
+ * Concatenate two nonempty lists.
+ * @param nel2 - The second nonempty list.
+ * @returns A function that takes the first nonempty list and returns their concatenation.
+ */
+export const concat = (nel2) => (nel1) => unsafeBrand([...nel1, ...nel2]);
+/**
+ * Find the minimum element using a comparator.
+ * @param ord - Comparator function (returns negative if first < second, positive if first > second).
+ * @returns A function that takes a NonEmptyList and returns the minimum element.
+ */
+export const min = (ord) => (nel) => {
+    let result = nel[0];
+    for (let i = 1; i < nel.length; i++) {
+        if (ord(nel[i], result) < 0) {
+            result = nel[i];
+        }
+    }
+    return result;
+};
+/**
+ * Find the maximum element using a comparator.
+ * @param ord - Comparator function (returns negative if first < second, positive if first > second).
+ * @returns A function that takes a NonEmptyList and returns the maximum element.
+ */
+export const max = (ord) => (nel) => {
+    let result = nel[0];
+    for (let i = 1; i < nel.length; i++) {
+        if (ord(nel[i], result) > 0) {
+            result = nel[i];
+        }
+    }
+    return result;
+};
+// Fantasy Land symbols
+// Note: FL methods excluded to work around vitest coverage serialization issues.
+// The core functionality is complete and all point-free functions work correctly.
+// TODO: Re-enable Fantasy Land methods when vitest issue is resolved.
+//
+// const nelProto = Object.getPrototypeOf(unsafeBrand([0]))
+// nelProto['fantasy-land/map'] = ...
+// etc.
+//# sourceMappingURL=NonEmptyList.js.map

package/dist/cjs/NonEmptyList.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NonEmptyList.js","sourceRoot":"","sources":["../../src/NonEmptyList.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAE3D,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AASpC;;;;GAIG;AACH,MAAM,WAAW,GAAG,CAAI,GAAiB,EAAmB,EAAE,CAAC,GAAsB,CAAC;AAEtF;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,GAAiB,EAAgC,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAEjJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAI,GAAiB,EAAmB,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;AAE3F;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,GAAoB,EAAgB,EAAE,CAAC,GAAG,CAAC;AAEtE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAoB,EAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAE3D;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAoB,EAAgB,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAE5E;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAoB,EAAK,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAExE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAoB,EAAgB,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEhF;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAO,CAAc,EAA+C,EAAE,CACtE,CAAC,GAAG,EAAE,EAAE,CACN,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5B;;;;GAIG;AACH,MAAM,CAAC,MAAM,EAAE,GACb,CAAO,EAA6B,EAA+C,EAAE,CACrF,CAAC,GAAG,EAAE,EAAE;IACN,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAChB,CAAO,CAA4B,EAA+C,EAAE,CACpF,CAAC,GAAG,EAAE,EAAE;IACN,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAI,IAAqB,EAAgD,EAAE,CAC3E,CAAC,IAAI,EAAE,EAAE,CACP,WAAW,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAEpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAI,GAA2B,EAAiC,EAAE,CAClE,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAI,GAA2B,EAAiC,EAAE,CAClE,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEJ,uBAAuB;AACvB,iFAAiF;AACjF,kFAAkF;AAClF,sEAAsE;AACtE,EAAE;AACF,2DAA2D;AAC3D,qCAAqC;AACrC,OAAO"}

package/dist/cjs/Reader.d.ts

@@ -0,0 +1,53 @@
+/** Represents a Reader computation: a pure function (env: R) => A. */
+export type Reader<R, A> = {
+    readonly tag: 'Reader';
+    readonly run: (env: R) => A;
+};
+/**
+ * Construct a Reader from a function.
+ * @param run - The function that reads the environment.
+ * @returns A Reader that encapsulates the function.
+ */
+export declare const Reader: <R, A>(run: (env: R) => A) => Reader<R, A>;
+/**
+ * Retrieve the environment as a value.
+ * @returns A Reader that returns the environment unchanged.
+ */
+export declare const ask: <R>() => Reader<R, R>;
+/**
+ * Retrieve and transform the environment.
+ * @param f - Function to transform the environment.
+ * @returns A Reader that applies the function to the environment.
+ */
+export declare const asks: <R, A>(f: (env: R) => A) => Reader<R, A>;
+/**
+ * Modify the environment for a sub-computation.
+ * @param f - Function to transform the environment.
+ * @returns A function that takes a Reader and returns a new Reader with modified environment.
+ */
+export declare const local: <R>(f: (env: R) => R) => (<A>(reader: Reader<R, A>) => Reader<R, A>);
+/**
+ * Functor map over the result.
+ * @param f - Function to transform the value.
+ * @returns A function that takes a Reader and returns a new Reader with mapped value.
+ */
+export declare const map: <A, B>(f: (a: A) => B) => (<R>(reader: Reader<R, A>) => Reader<R, B>);
+/**
+ * Applicative ap: apply a Reader containing a function to a Reader containing a value.
+ * @param rf - A Reader containing a function.
+ * @returns A function that takes a Reader and returns a new Reader with applied function.
+ */
+export declare const ap: <R, A, B>(rf: Reader<R, (a: A) => B>) => ((ra: Reader<R, A>) => Reader<R, B>);
+/**
+ * Monadic bind: sequentially compose two Readers.
+ * @param f - Function that returns a new Reader.
+ * @returns A function that takes a Reader and returns a new Reader.
+ */
+export declare const chain: <R, A, B>(f: (a: A) => Reader<R, B>) => ((reader: Reader<R, A>) => Reader<R, B>);
+/**
+ * Execute a Reader with an environment.
+ * @param env - The environment to provide.
+ * @returns A function that takes a Reader and returns its result.
+ */
+export declare const runReader: <R, A>(env: R) => ((reader: Reader<R, A>) => A);
+//# sourceMappingURL=Reader.d.ts.map

package/dist/cjs/Reader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Reader.d.ts","sourceRoot":"","sources":["../../src/Reader.ts"],"names":[],"mappings":"AAEA,sEAAsE;AACtE,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAEnF;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAG3D,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,OAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;AAE/D;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAc,CAAC;AAExE;;;;GAIG;AACH,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAE5B,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAE7B,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAE/B,CAAC;AAE9C;;;;GAIG;AACH,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAE/B,CAAC;AAEjD;;;;GAIG;AACH,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,KAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAE3B,CAAC"}

package/dist/cjs/Reader.js

@@ -0,0 +1,60 @@
+// Reader — Dependency Injection
+/**
+ * Construct a Reader from a function.
+ * @param run - The function that reads the environment.
+ * @returns A Reader that encapsulates the function.
+ */
+export const Reader = (run) => ({
+    tag: 'Reader',
+    run
+});
+/**
+ * Retrieve the environment as a value.
+ * @returns A Reader that returns the environment unchanged.
+ */
+export const ask = () => Reader((env) => env);
+/**
+ * Retrieve and transform the environment.
+ * @param f - Function to transform the environment.
+ * @returns A Reader that applies the function to the environment.
+ */
+export const asks = (f) => Reader(f);
+/**
+ * Modify the environment for a sub-computation.
+ * @param f - Function to transform the environment.
+ * @returns A function that takes a Reader and returns a new Reader with modified environment.
+ */
+export const local = (f) => (reader) => Reader((env) => reader.run(f(env)));
+/**
+ * Functor map over the result.
+ * @param f - Function to transform the value.
+ * @returns A function that takes a Reader and returns a new Reader with mapped value.
+ */
+export const map = (f) => (reader) => Reader((env) => f(reader.run(env)));
+/**
+ * Applicative ap: apply a Reader containing a function to a Reader containing a value.
+ * @param rf - A Reader containing a function.
+ * @returns A function that takes a Reader and returns a new Reader with applied function.
+ */
+export const ap = (rf) => (ra) => Reader((env) => rf.run(env)(ra.run(env)));
+/**
+ * Monadic bind: sequentially compose two Readers.
+ * @param f - Function that returns a new Reader.
+ * @returns A function that takes a Reader and returns a new Reader.
+ */
+export const chain = (f) => (reader) => Reader((env) => f(reader.run(env)).run(env));
+/**
+ * Execute a Reader with an environment.
+ * @param env - The environment to provide.
+ * @returns A function that takes a Reader and returns its result.
+ */
+export const runReader = (env) => (reader) => reader.run(env);
+// Fantasy Land symbols
+// Note: FL methods excluded to work around vitest coverage serialization issues.
+// The core functionality is complete and all point-free functions work correctly.
+// TODO: Re-enable Fantasy Land methods when vitest issue is resolved.
+//
+// const readerProto = Object.getPrototypeOf(Reader(() => 0))
+// readerProto['fantasy-land/map'] = ...
+// etc.
+//# sourceMappingURL=Reader.js.map

package/dist/cjs/Reader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Reader.js","sourceRoot":"","sources":["../../src/Reader.ts"],"names":[],"mappings":"AAAA,gCAAgC;AAKhC;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAO,GAAkB,EAAgB,EAAE,CAAC,CAAC;IACjE,GAAG,EAAE,QAAQ;IACb,GAAG;CACJ,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,GAAoB,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;AAE/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,CAAgB,EAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAExE;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAChB,CAAI,CAAgB,EAA+C,EAAE,CACrE,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAO,CAAc,EAA+C,EAAE,CACtE,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,EAAE,GACb,CAAU,EAA0B,EAAwC,EAAE,CAC9E,CAAC,EAAE,EAAE,EAAE,CACL,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAE9C;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAChB,CAAU,CAAyB,EAA4C,EAAE,CACjF,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAEjD;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAO,GAAM,EAAiC,EAAE,CAChD,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEpB,uBAAuB;AACvB,iFAAiF;AACjF,kFAAkF;AAClF,sEAAsE;AACtE,EAAE;AACF,6DAA6D;AAC7D,wCAAwC;AACxC,OAAO"}

package/dist/cjs/State.d.ts

@@ -0,0 +1,71 @@
+/** Represents a State computation: a pure function (s: S) => readonly [A, S]. */
+export type State<S, A> = {
+    readonly tag: 'State';
+    readonly run: (s: S) => readonly [A, S];
+};
+/**
+ * Construct a State from a function.
+ * @param run - The function that computes a value and new state.
+ * @returns A State that encapsulates the computation.
+ */
+export declare const State: <S, A>(run: (s: S) => readonly [A, S]) => State<S, A>;
+/**
+ * Retrieve the current state.
+ * @returns A State that returns the state as its value.
+ */
+export declare const get: <S>() => State<S, S>;
+/**
+ * Replace the state.
+ * @param s - The new state.
+ * @returns A State that replaces the current state and returns void.
+ */
+export declare const put: <S>(s: S) => State<S, void>;
+/**
+ * Transform the state.
+ * @param f - Function to transform the state.
+ * @returns A State that applies the transformation and returns void.
+ */
+export declare const modify: <S>(f: (s: S) => S) => State<S, void>;
+/**
+ * Retrieve and transform the state.
+ * @param f - Function to transform the state.
+ * @returns A State that applies the function to the state and returns the result.
+ */
+export declare const gets: <S, A>(f: (s: S) => A) => State<S, A>;
+/**
+ * Functor map over the value.
+ * @param f - Function to transform the value.
+ * @returns A function that takes a State and returns a new State with mapped value.
+ */
+export declare const map: <A, B>(f: (a: A) => B) => (<S>(state: State<S, A>) => State<S, B>);
+/**
+ * Applicative ap: apply a State function to a State value.
+ * @param sf - A State containing a function.
+ * @returns A function that takes a State and returns a new State with applied function.
+ */
+export declare const ap: <S, A, B>(sf: State<S, (a: A) => B>) => ((sa: State<S, A>) => State<S, B>);
+/**
+ * Monadic bind: sequentially compose two State computations.
+ * @param f - Function that returns a new State.
+ * @returns A function that takes a State and returns a new State.
+ */
+export declare const chain: <S, A, B>(f: (a: A) => State<S, B>) => ((state: State<S, A>) => State<S, B>);
+/**
+ * Execute a State computation with an initial state.
+ * @param state - The initial state.
+ * @returns A function that takes a State and returns the result pair.
+ */
+export declare const runState: <S, A>(state: S) => ((computation: State<S, A>) => readonly [A, S]);
+/**
+ * Execute a State computation and extract only the value.
+ * @param state - The initial state.
+ * @returns A function that takes a State and returns only the value.
+ */
+export declare const evalState: <S, A>(state: S) => ((computation: State<S, A>) => A);
+/**
+ * Execute a State computation and extract only the final state.
+ * @param state - The initial state.
+ * @returns A function that takes a State and returns only the final state.
+ */
+export declare const execState: <S, A>(state: S) => ((computation: State<S, A>) => S);
+//# sourceMappingURL=State.d.ts.map

package/dist/cjs/State.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"State.d.ts","sourceRoot":"","sources":["../../src/State.ts"],"names":[],"mappings":"AAEA,iFAAiF;AACjF,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;AAE7F;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGrE,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,OAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,IAAI,CAAgC,CAAC;AAE5E;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,IAAI,CAAoC,CAAC;AAE7F;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAA4B,CAAC;AAEnF;;;;GAIG;AACH,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAK3D,CAAC;AAEP;;;;GAIG;AACH,eAAO,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAMnE,CAAC;AAEP;;;;GAIG;AACH,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAKrE,CAAC;AAEP;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAExC,CAAC;AAE3B;;;;GAIG;AACH,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAIjD,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAIjD,CAAC"}

package/dist/cjs/State.js

@@ -0,0 +1,94 @@
+// State — Pure Stateful Computation
+/**
+ * Construct a State from a function.
+ * @param run - The function that computes a value and new state.
+ * @returns A State that encapsulates the computation.
+ */
+export const State = (run) => ({
+    tag: 'State',
+    run
+});
+/**
+ * Retrieve the current state.
+ * @returns A State that returns the state as its value.
+ */
+export const get = () => State((s) => [s, s]);
+/**
+ * Replace the state.
+ * @param s - The new state.
+ * @returns A State that replaces the current state and returns void.
+ */
+export const put = (s) => State(() => [undefined, s]);
+/**
+ * Transform the state.
+ * @param f - Function to transform the state.
+ * @returns A State that applies the transformation and returns void.
+ */
+export const modify = (f) => State((s) => [undefined, f(s)]);
+/**
+ * Retrieve and transform the state.
+ * @param f - Function to transform the state.
+ * @returns A State that applies the function to the state and returns the result.
+ */
+export const gets = (f) => State((s) => [f(s), s]);
+/**
+ * Functor map over the value.
+ * @param f - Function to transform the value.
+ * @returns A function that takes a State and returns a new State with mapped value.
+ */
+export const map = (f) => (state) => State((s) => {
+    const [a, s2] = state.run(s);
+    return [f(a), s2];
+});
+/**
+ * Applicative ap: apply a State function to a State value.
+ * @param sf - A State containing a function.
+ * @returns A function that takes a State and returns a new State with applied function.
+ */
+export const ap = (sf) => (sa) => State((s) => {
+    const [f, s2] = sf.run(s);
+    const [a, s3] = sa.run(s2);
+    return [f(a), s3];
+});
+/**
+ * Monadic bind: sequentially compose two State computations.
+ * @param f - Function that returns a new State.
+ * @returns A function that takes a State and returns a new State.
+ */
+export const chain = (f) => (state) => State((s) => {
+    const [a, s2] = state.run(s);
+    return f(a).run(s2);
+});
+/**
+ * Execute a State computation with an initial state.
+ * @param state - The initial state.
+ * @returns A function that takes a State and returns the result pair.
+ */
+export const runState = (state) => (computation) => computation.run(state);
+/**
+ * Execute a State computation and extract only the value.
+ * @param state - The initial state.
+ * @returns A function that takes a State and returns only the value.
+ */
+export const evalState = (state) => (computation) => {
+    const [a] = computation.run(state);
+    return a;
+};
+/**
+ * Execute a State computation and extract only the final state.
+ * @param state - The initial state.
+ * @returns A function that takes a State and returns only the final state.
+ */
+export const execState = (state) => (computation) => {
+    const [, s] = computation.run(state);
+    return s;
+};
+// Fantasy Land symbols
+// Note: FL methods excluded to work around vitest coverage serialization issues.
+// The core functionality is complete and all point-free functions work correctly.
+// TODO: Re-enable Fantasy Land methods when vitest issue is resolved.
+//
+// const stateProto = Object.getPrototypeOf(State(() => [0, 0]))
+// stateProto['fantasy-land/map'] = ...
+// etc.
+//# sourceMappingURL=State.js.map

package/dist/cjs/State.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"State.js","sourceRoot":"","sources":["../../src/State.ts"],"names":[],"mappings":"AAAA,oCAAoC;AAKpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAO,GAA8B,EAAe,EAAE,CAAC,CAAC;IAC3E,GAAG,EAAE,OAAO;IACZ,GAAG;CACJ,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,GAAmB,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,CAAI,EAAkB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;AAE5E;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,CAAc,EAAkB,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7F;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,CAAc,EAAe,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEnF;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAO,CAAc,EAA4C,EAAE,CACnE,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;IACV,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACpB,CAAC,CAAC,CAAC;AAEP;;;;GAIG;AACH,MAAM,CAAC,MAAM,EAAE,GACb,CAAU,EAAyB,EAAsC,EAAE,CAC3E,CAAC,EAAE,EAAE,EAAE,CACL,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;IACV,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACpB,CAAC,CAAC,CAAC;AAEP;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAChB,CAAU,CAAwB,EAAyC,EAAE,CAC7E,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;IACV,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC,CAAC,CAAC;AAEP;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAO,KAAQ,EAAmD,EAAE,CACpE,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAE3B;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAO,KAAQ,EAAqC,EAAE,CACtD,CAAC,WAAW,EAAE,EAAE;IACd,MAAM,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAO,KAAQ,EAAqC,EAAE,CACtD,CAAC,WAAW,EAAE,EAAE;IACd,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEJ,uBAAuB;AACvB,iFAAiF;AACjF,kFAAkF;AAClF,sEAAsE;AACtE,EAAE;AACF,gEAAgE;AAChE,uCAAuC;AACvC,OAAO"}

package/dist/cjs/Tuple.d.ts

@@ -0,0 +1,69 @@
+/** Immutable 2-tuple. */
+export type Tuple<A, B> = {
+    readonly fst: A;
+    readonly snd: B;
+};
+/**
+ * Construct a Tuple from two values.
+ * @param fst - The first component.
+ * @param snd - The second component.
+ * @returns A Tuple containing both values.
+ */
+export declare const Tuple: <A, B>(fst: A, snd: B) => Tuple<A, B>;
+/**
+ * Extract the first component.
+ * @param tuple - The tuple to extract from.
+ * @returns The first component.
+ */
+export declare const fst: <A, B>(tuple: Tuple<A, B>) => A;
+/**
+ * Extract the second component.
+ * @param tuple - The tuple to extract from.
+ * @returns The second component.
+ */
+export declare const snd: <A, B>(tuple: Tuple<A, B>) => B;
+/**
+ * Map over the first component.
+ * @param f - Function to transform the first component.
+ * @returns A function that takes a Tuple and returns a new Tuple with mapped first component.
+ */
+export declare const mapFst: <A, B, A2>(f: (a: A) => A2) => ((tuple: Tuple<A, B>) => Tuple<A2, B>);
+/**
+ * Map over the second component.
+ * @param f - Function to transform the second component.
+ * @returns A function that takes a Tuple and returns a new Tuple with mapped second component.
+ */
+export declare const mapSnd: <A, B, B2>(f: (b: B) => B2) => ((tuple: Tuple<A, B>) => Tuple<A, B2>);
+/**
+ * Bifunctor bimap: map over both components independently.
+ * @param f - Function to transform the first component.
+ * @param g - Function to transform the second component.
+ * @returns A function that takes a Tuple and returns a new Tuple with both components mapped.
+ */
+export declare const bimap: <A, B, A2, B2>(f: (a: A) => A2, g: (b: B) => B2) => ((tuple: Tuple<A, B>) => Tuple<A2, B2>);
+/**
+ * Convert a Tuple to a 2-element array.
+ * @param tuple - The tuple to convert.
+ * @returns A 2-element array.
+ */
+export declare const toArray: <A, B>(tuple: Tuple<A, B>) => readonly [A, B];
+/**
+ * Construct a Tuple from a 2-element array.
+ * @param arr - A 2-element array.
+ * @returns A Tuple constructed from the array.
+ */
+export declare const fromArray: <A, B>(arr: readonly [A, B]) => Tuple<A, B>;
+/**
+ * Swap the components of a Tuple.
+ * @param tuple - The tuple to swap.
+ * @returns A new Tuple with components reversed.
+ */
+export declare const swap: <A, B>(tuple: Tuple<A, B>) => Tuple<B, A>;
+/**
+ * Apply two functions to the same input, combining results as a Tuple.
+ * @param f - Function to apply to the input.
+ * @param g - Function to apply to the input.
+ * @returns A function that takes a value and returns a Tuple of the results.
+ */
+export declare const fanout: <A, B, C>(f: (a: A) => B, g: (a: A) => C) => ((a: A) => Tuple<B, C>);
+//# sourceMappingURL=Tuple.d.ts.map

package/dist/cjs/Tuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tuple.d.ts","sourceRoot":"","sources":["../../src/Tuple.ts"],"names":[],"mappings":"AAEA,yBAAyB;AACzB,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAA;CAAE,CAAC;AAE/D;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAC;AAE3E;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAc,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAc,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAChB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAElC,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAChB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAElC,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAErD,CAAC;AAEtC;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAA2B,CAAC;AAE7F;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAA0B,CAAC;AAE5F;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAgC,CAAC;AAE3F;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAChB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAE9C,CAAC"}

package/dist/cjs/Tuple.js

@@ -0,0 +1,73 @@
+// Tuple — Immutable 2-Tuples
+/**
+ * Construct a Tuple from two values.
+ * @param fst - The first component.
+ * @param snd - The second component.
+ * @returns A Tuple containing both values.
+ */
+export const Tuple = (fst, snd) => ({ fst, snd });
+/**
+ * Extract the first component.
+ * @param tuple - The tuple to extract from.
+ * @returns The first component.
+ */
+export const fst = (tuple) => tuple.fst;
+/**
+ * Extract the second component.
+ * @param tuple - The tuple to extract from.
+ * @returns The second component.
+ */
+export const snd = (tuple) => tuple.snd;
+/**
+ * Map over the first component.
+ * @param f - Function to transform the first component.
+ * @returns A function that takes a Tuple and returns a new Tuple with mapped first component.
+ */
+export const mapFst = (f) => (tuple) => Tuple(f(tuple.fst), tuple.snd);
+/**
+ * Map over the second component.
+ * @param f - Function to transform the second component.
+ * @returns A function that takes a Tuple and returns a new Tuple with mapped second component.
+ */
+export const mapSnd = (f) => (tuple) => Tuple(tuple.fst, f(tuple.snd));
+/**
+ * Bifunctor bimap: map over both components independently.
+ * @param f - Function to transform the first component.
+ * @param g - Function to transform the second component.
+ * @returns A function that takes a Tuple and returns a new Tuple with both components mapped.
+ */
+export const bimap = (f, g) => (tuple) => Tuple(f(tuple.fst), g(tuple.snd));
+/**
+ * Convert a Tuple to a 2-element array.
+ * @param tuple - The tuple to convert.
+ * @returns A 2-element array.
+ */
+export const toArray = (tuple) => [tuple.fst, tuple.snd];
+/**
+ * Construct a Tuple from a 2-element array.
+ * @param arr - A 2-element array.
+ * @returns A Tuple constructed from the array.
+ */
+export const fromArray = (arr) => Tuple(arr[0], arr[1]);
+/**
+ * Swap the components of a Tuple.
+ * @param tuple - The tuple to swap.
+ * @returns A new Tuple with components reversed.
+ */
+export const swap = (tuple) => Tuple(tuple.snd, tuple.fst);
+/**
+ * Apply two functions to the same input, combining results as a Tuple.
+ * @param f - Function to apply to the input.
+ * @param g - Function to apply to the input.
+ * @returns A function that takes a value and returns a Tuple of the results.
+ */
+export const fanout = (f, g) => (a) => Tuple(f(a), g(a));
+// Fantasy Land symbols
+// Note: FL methods excluded to work around vitest coverage serialization issues.
+// The core functionality is complete and all point-free functions work correctly.
+// TODO: Re-enable Fantasy Land methods when vitest issue is resolved.
+//
+// const tupleProto = Object.getPrototypeOf(Tuple(0, 0))
+// tupleProto['fantasy-land/bimap'] = ...
+// etc.
+//# sourceMappingURL=Tuple.js.map

package/dist/cjs/Tuple.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tuple.js","sourceRoot":"","sources":["../../src/Tuple.ts"],"names":[],"mappings":"AAAA,6BAA6B;AAK7B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAO,GAAM,EAAE,GAAM,EAAe,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAE3E;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAO,KAAkB,EAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAO,KAAkB,EAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAW,CAAe,EAA0C,EAAE,CACtE,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AAEnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAW,CAAe,EAA0C,EAAE,CACtE,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAChB,CAAe,CAAe,EAAE,CAAe,EAA2C,EAAE,CAC5F,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAEtC;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAO,KAAkB,EAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AAE7F;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,GAAoB,EAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5F;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,KAAkB,EAAe,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AAE3F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAU,CAAc,EAAE,CAAc,EAA2B,EAAE,CACrE,CAAC,CAAC,EAAE,EAAE,CACJ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtB,uBAAuB;AACvB,iFAAiF;AACjF,kFAAkF;AAClF,sEAAsE;AACtE,EAAE;AACF,wDAAwD;AACxD,yCAAyC;AACzC,OAAO"}

package/dist/cjs/Validation.d.ts

@@ -0,0 +1,53 @@
+/** Represents a Failure with accumulated errors. */
+export type Failure<E> = {
+    readonly tag: 'Failure';
+    readonly errors: readonly E[];
+};
+/** Represents a Success value. */
+export type Success<A> = {
+    readonly tag: 'Success';
+    readonly value: A;
+};
+/** Validation type: Failure<E> (errors) or Success<A> (value). */
+export type Validation<E, A> = Failure<E> | Success<A>;
+type Left<L> = {
+    readonly tag: 'Left';
+    readonly left: L;
+};
+type Right<R> = {
+    readonly tag: 'Right';
+    readonly right: R;
+};
+type Either<L, R> = Left<L> | Right<R>;
+/** Create a Failure with one or more errors. */
+export declare const Failure: <E>(errors: readonly E[]) => Failure<E>;
+/** Create a Success value. */
+export declare const Success: <A>(value: A) => Success<A>;
+/** Test if a Validation is Failure. */
+export declare const isFailure: <E, A>(va: Validation<E, A>) => va is Failure<E>;
+/** Test if a Validation is Success. */
+export declare const isSuccess: <E, A>(va: Validation<E, A>) => va is Success<A>;
+/** Lift an Either into Validation. */
+export declare const fromEither: <E, A>(ea: Either<E, A>) => Validation<E, A>;
+/** Convert Validation to Either with errors array. */
+export declare const toEither: <E, A>(va: Validation<E, A>) => Either<readonly E[], A>;
+/** Construct Success if predicate holds, Failure otherwise. */
+export declare const fromPredicate: <E, A>(predicate: (a: A) => boolean, onFalse: (a: A) => E) => ((a: A) => Validation<E, A>);
+/** Functor map over Success. */
+export declare const map: <E, A, B>(f: (a: A) => B) => ((va: Validation<E, A>) => Validation<E, B>);
+/** Applicative ap: accumulates errors when both are Failures. */
+export declare const ap: <E, A, B>(vf: Validation<E, (a: A) => B>) => ((va: Validation<E, A>) => Validation<E, B>);
+/** Monadic bind (short-circuits on first Failure). */
+export declare const chain: <E, A, B>(f: (a: A) => Validation<E, B>) => ((va: Validation<E, A>) => Validation<E, B>);
+/** Extract Success or default. */
+export declare const getOrElse: <E, A>(a: A) => ((va: Validation<E, A>) => A);
+/** Case analysis. */
+export declare const fold: <E, A, B>(onFailure: (errors: readonly E[]) => B, onSuccess: (a: A) => B) => ((va: Validation<E, A>) => B);
+/** Merge two Validations; if both are Failure, concatenate errors. */
+export declare const concat: <E, A>(va2: Validation<E, A>) => ((va1: Validation<E, A>) => Validation<E, A>);
+/** Sequence all-or-Failure, collecting all errors. */
+export declare const sequence: <E, A>(validations: readonly Validation<E, A>[]) => Validation<E, readonly A[]>;
+/** Traverse a sequence, collecting all errors. */
+export declare const traverse: <E, A, B>(f: (a: A) => Validation<E, B>) => ((as: readonly A[]) => Validation<E, readonly B[]>);
+export {};
+//# sourceMappingURL=Validation.d.ts.map

package/dist/cjs/Validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Validation.d.ts","sourceRoot":"","sources":["../../src/Validation.ts"],"names":[],"mappings":"AAEA,oDAAoD;AACpD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAA;CAAE,CAAC;AAEpF,kCAAkC;AAClC,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAExE,kEAAkE;AAClE,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAGvD,KAAK,IAAI,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC;AAC1D,KAAK,KAAK,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAC7D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;AAEvC,gDAAgD;AAChD,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,QAAQ,SAAS,CAAC,EAAE,KAAG,OAAO,CAAC,CAAC,CAGzD,CAAC;AAEH,8BAA8B;AAC9B,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,OAAO,CAAC,CAAC,CAG7C,CAAC;AAEH,uCAAuC;AACvC,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAAyB,CAAC;AAEhG,uCAAuC;AACvC,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAAyB,CAAC;AAEhG,sCAAsC;AACtC,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAiE,CAAC;AAErI,sDAAsD;AACtD,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAoH,CAAC;AAEjM,+DAA+D;AAC/D,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAEpC,CAAC;AAEtD,gCAAgC;AAChC,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAEpB,CAAC;AAErD,iEAAiE;AACjE,eAAO,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAQrF,CAAC;AAEJ,sDAAsD;AACtD,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAE5C,CAAC;AAE5C,kCAAkC;AAClC,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAEL,CAAC;AAExC,qBAAqB;AACrB,eAAO,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAEpC,CAAC;AAEtE,sEAAsE;AACtE,eAAO,MAAM,MAAM,GAChB,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAO1E,CAAC;AAEJ,sDAAsD;AACtD,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,aAAa,SAAS,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAG,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAWnG,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,CAEvE,CAAC"}