@zambit/elevate-ts 0.1.2

package/dist/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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/esm/src/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"}

package/dist/esm/src/Validation.js

@@ -0,0 +1,77 @@
+// Validation — Accumulating Errors
+/** Create a Failure with one or more errors. */
+export const Failure = (errors) => ({
+    tag: 'Failure',
+    errors
+});
+/** Create a Success value. */
+export const Success = (value) => ({
+    tag: 'Success',
+    value
+});
+/** Test if a Validation is Failure. */
+export const isFailure = (va) => va.tag === 'Failure';
+/** Test if a Validation is Success. */
+export const isSuccess = (va) => va.tag === 'Success';
+/** Lift an Either into Validation. */
+export const fromEither = (ea) => (ea.tag === 'Left' ? Failure([ea.left]) : Success(ea.right));
+/** Convert Validation to Either with errors array. */
+export const toEither = (va) => (va.tag === 'Failure' ? { tag: 'Left', left: va.errors } : { tag: 'Right', right: va.value });
+/** Construct Success if predicate holds, Failure otherwise. */
+export const fromPredicate = (predicate, onFalse) => (a) => predicate(a) ? Success(a) : Failure([onFalse(a)]);
+/** Functor map over Success. */
+export const map = (f) => (va) => va.tag === 'Success' ? Success(f(va.value)) : va;
+/** Applicative ap: accumulates errors when both are Failures. */
+export const ap = (vf) => (va) => {
+    if (vf.tag === 'Failure' && va.tag === 'Failure') {
+        return Failure([...vf.errors, ...va.errors]);
+    }
+    if (vf.tag === 'Failure')
+        return vf;
+    if (va.tag === 'Failure')
+        return va;
+    return Success(vf.value(va.value));
+};
+/** Monadic bind (short-circuits on first Failure). */
+export const chain = (f) => (va) => va.tag === 'Failure' ? va : f(va.value);
+/** Extract Success or default. */
+export const getOrElse = (a) => (va) => va.tag === 'Success' ? va.value : a;
+/** Case analysis. */
+export const fold = (onFailure, onSuccess) => (va) => va.tag === 'Failure' ? onFailure(va.errors) : onSuccess(va.value);
+/** Merge two Validations; if both are Failure, concatenate errors. */
+export const concat = (va2) => (va1) => {
+    if (va1.tag === 'Failure' && va2.tag === 'Failure') {
+        return Failure([...va1.errors, ...va2.errors]);
+    }
+    if (va1.tag === 'Failure')
+        return va1;
+    return va2;
+};
+/** Sequence all-or-Failure, collecting all errors. */
+export const sequence = (validations) => {
+    const result = [];
+    const errors = [];
+    for (const va of validations) {
+        if (va.tag === 'Failure') {
+            errors.push(...va.errors);
+        }
+        else {
+            result.push(va.value);
+        }
+    }
+    return errors.length > 0 ? Failure(errors) : Success(result);
+};
+/** Traverse a sequence, collecting all errors. */
+export const traverse = (f) => (as) => sequence(as.map(f));
+// Fantasy Land symbols
+// Note: FL methods are 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.
+//
+// Object.defineProperty(Success, 'fantasy-land/of', { value: Success })
+// Object.defineProperty(Failure, 'fantasy-land/zero', { value: Failure([]) })
+//
+// const successProto = Object.getPrototypeOf(Success(0))
+// successProto['fantasy-land/map'] = ...
+// etc.
+//# sourceMappingURL=Validation.js.map

package/dist/esm/src/Validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Validation.js","sourceRoot":"","sources":["../../../src/Validation.ts"],"names":[],"mappings":"AAAA,mCAAmC;AAgBnC,gDAAgD;AAChD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,MAAoB,EAAc,EAAE,CAAC,CAAC;IAC/D,GAAG,EAAE,SAAS;IACd,MAAM;CACP,CAAC,CAAC;AAEH,8BAA8B;AAC9B,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,KAAQ,EAAc,EAAE,CAAC,CAAC;IACnD,GAAG,EAAE,SAAS;IACd,KAAK;CACN,CAAC,CAAC;AAEH,uCAAuC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,EAAoB,EAAoB,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;AAEhG,uCAAuC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,EAAoB,EAAoB,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;AAEhG,sCAAsC;AACtC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAO,EAAgB,EAAoB,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AAErI,sDAAsD;AACtD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAO,EAAoB,EAA2B,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAe,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAgB,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;AAEjM,+DAA+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GACxB,CAAO,SAA4B,EAAE,OAAoB,EAAgC,EAAE,CAC3F,CAAC,CAAC,EAAE,EAAE,CACJ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD,gCAAgC;AAChC,MAAM,CAAC,MAAM,GAAG,GACd,CAAU,CAAc,EAAgD,EAAE,CAC1E,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAErD,iEAAiE;AACjE,MAAM,CAAC,MAAM,EAAE,GACb,CAAU,EAA8B,EAAgD,EAAE,CAC1F,CAAC,EAAE,EAAE,EAAE;IACL,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC,CAAC;AAEJ,sDAAsD;AACtD,MAAM,CAAC,MAAM,KAAK,GAChB,CAAU,CAA6B,EAAgD,EAAE,CACzF,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAE5C,kCAAkC;AAClC,MAAM,CAAC,MAAM,SAAS,GACpB,CAAO,CAAI,EAAiC,EAAE,CAC9C,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAExC,qBAAqB;AACrB,MAAM,CAAC,MAAM,IAAI,GACf,CAAU,SAAsC,EAAE,SAAsB,EAAiC,EAAE,CAC3G,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAEtE,sEAAsE;AACtE,MAAM,CAAC,MAAM,MAAM,GACjB,CAAO,GAAqB,EAAiD,EAAE,CAC/E,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QACnD,OAAO,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IACtC,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEJ,sDAAsD;AACtD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAO,WAAwC,EAA+B,EAAE;IACtG,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,kDAAkD;AAClD,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAU,CAA6B,EAAuD,EAAE,CAChG,CAAC,EAAE,EAAE,EAAE,CACL,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAExB,uBAAuB;AACvB,qFAAqF;AACrF,kFAAkF;AAClF,sEAAsE;AACtE,EAAE;AACF,wEAAwE;AACxE,8EAA8E;AAC9E,EAAE;AACF,yDAAyD;AACzD,yCAAyC;AACzC,OAAO"}

package/dist/esm/src/index.d.ts

@@ -0,0 +1,12 @@
+export * as Maybe from './Maybe.js';
+export * as Either from './Either.js';
+export * as Validation from './Validation.js';
+export * as Reader from './Reader.js';
+export * as State from './State.js';
+export * as Tuple from './Tuple.js';
+export * as NonEmptyList from './NonEmptyList.js';
+export * as List from './List.js';
+export * as Function from './Function.js';
+export * as MaybeAsync from './MaybeAsync.js';
+export * as EitherAsync from './EitherAsync.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/esm/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/index.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC"}