@zambit/elevate-ts 0.1.2

package/dist/esm/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/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,CAAA;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,GAAmB,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAE7D;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,CAAI,EAAkB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAA;AAE3E;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,CAAc,EAAkB,EAAE,CAC1D,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAEjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,CAAc,EAAe,EAAE,CACxD,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAEzB;;;;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,CAAA;IAC5B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACnB,CAAC,CAAC,CAAA;AAEN;;;;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,CAAA;IACzB,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC1B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACnB,CAAC,CAAC,CAAA;AAEN;;;;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,CAAA;IAC5B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;AACrB,CAAC,CAAC,CAAA;AAEN;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAO,KAAQ,EAAmD,EAAE,CACpE,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AAE1B;;;;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,CAAA;IAClC,OAAO,CAAC,CAAA;AACV,CAAC,CAAA;AAEH;;;;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,CAAA;IACpC,OAAO,CAAC,CAAA;AACV,CAAC,CAAA;AAEH,uBAAuB;AACvB,iFAAiF;AACjF,kFAAkF;AAClF,sEAAsE;AACtE,EAAE;AACF,gEAAgE;AAChE,uCAAuC;AACvC,OAAO"}

package/dist/esm/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/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,CAAA;AAE9D;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAA;AAE1E;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAc,CAAA;AAE7D;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAc,CAAA;AAE7D;;;;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,CAAA;AAElC;;;;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,CAAA;AAElC;;;;;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,CAAA;AAErC;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CACzC,CAAA;AAExB;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAC1C,CAAA;AAEvB;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7B,CAAA;AAE7B;;;;;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,CAAA"}

package/dist/esm/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/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,CAAA;AAE1E;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAO,KAAkB,EAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAA;AAE7D;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAO,KAAkB,EAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAA;AAE7D;;;;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,CAAA;AAElC;;;;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,CAAA;AAElC;;;;;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,CAAA;AAErC;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAO,KAAkB,EAAmB,EAAE,CACnE,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAA;AAExB;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,GAAoB,EAAe,EAAE,CACnE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,KAAkB,EAAe,EAAE,CAC5D,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAA;AAE7B;;;;;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,CAAA;AAErB,uBAAuB;AACvB,iFAAiF;AACjF,kFAAkF;AAClF,sEAAsE;AACtE,EAAE;AACF,wDAAwD;AACxD,yCAAyC;AACzC,OAAO"}

package/dist/esm/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/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,CAAA;AAEnF,kCAAkC;AAClC,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAA;AAEvE,kEAAkE;AAClE,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAGtD,KAAK,IAAI,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAA;AACzD,KAAK,KAAK,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAA;AAC5D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;AAEtC,gDAAgD;AAChD,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,QAAQ,SAAS,CAAC,EAAE,KAAG,OAAO,CAAC,CAAC,CAGzD,CAAA;AAEF,8BAA8B;AAC9B,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,OAAO,CAAC,CAAC,CAG7C,CAAA;AAEF,uCAAuC;AACvC,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAChD,CAAA;AAEtB,uCAAuC;AACvC,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAChD,CAAA;AAEtB,sCAAsC;AACtC,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACP,CAAA;AAE5D,sDAAsD;AACtD,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACnB,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAGuB,CAAA;AAEhD,+DAA+D;AAC/D,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,CAAC,EACH,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,EAC5B,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACnB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAEqB,CAAA;AAErD,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,CAAA;AAEpD,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,CAAA;AAEH,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,CAAA;AAE3C,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,CAAA;AAEvC,qBAAqB;AACrB,eAAO,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,CAAC,EACN,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,EACtC,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACrB,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAEoC,CAAA;AAErE,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,CAAA;AAEH,sDAAsD;AACtD,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,aAAa,SAAS,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KACvC,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAW5B,CAAA;AAED,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,CAAA"}

package/dist/esm/Validation.js

@@ -0,0 +1,79 @@
+// 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/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,CAAA;AAEF,8BAA8B;AAC9B,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,KAAQ,EAAc,EAAE,CAAC,CAAC;IACnD,GAAG,EAAE,SAAS;IACd,KAAK;CACN,CAAC,CAAA;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,EAAoB,EAAoB,EAAE,CACxE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAA;AAEtB,uCAAuC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,EAAoB,EAAoB,EAAE,CACxE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAA;AAEtB,sCAAsC;AACtC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAO,EAAgB,EAAoB,EAAE,CACrE,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,CAAA;AAE5D,sDAAsD;AACtD,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,EAAoB,EACK,EAAE,CAC3B,EAAE,CAAC,GAAG,KAAK,SAAS;IAClB,CAAC,CAAC,EAAE,GAAG,EAAE,MAAe,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE;IAC3C,CAAC,CAAC,EAAE,GAAG,EAAE,OAAgB,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,CAAA;AAEhD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GACxB,CACE,SAA4B,EAC5B,OAAoB,EACU,EAAE,CAClC,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,CAAA;AAErD,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,CAAA;AAEpD,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,CAAA;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACnC,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACnC,OAAO,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;AACpC,CAAC,CAAA;AAEH,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,CAAA;AAE3C,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,CAAA;AAEvC,qBAAqB;AACrB,MAAM,CAAC,MAAM,IAAI,GACf,CACE,SAAsC,EACtC,SAAsB,EACS,EAAE,CACnC,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,CAAA;AAErE,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,CAAA;IAChD,CAAC;IACD,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAA;IACrC,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAEH,sDAAsD;AACtD,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,WAAwC,EACX,EAAE;IAC/B,MAAM,MAAM,GAAQ,EAAE,CAAA;IACtB,MAAM,MAAM,GAAQ,EAAE,CAAA;IACtB,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,CAAA;QAC3B,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;QACvB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;AAC9D,CAAC,CAAA;AAED,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,CAAA;AAEvB,uBAAuB;AACvB,qFAAqF;AACrF,kFAAkF;AAClF,sEAAsE;AACtE,EAAE;AACF,wEAAwE;AACxE,8EAA8E;AAC9E,EAAE;AACF,yDAAyD;AACzD,yCAAyC;AACzC,OAAO"}

package/dist/esm/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/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA"}

package/dist/esm/index.js

@@ -0,0 +1,22 @@
+// elevate-ts
+// Re-exports added as each module is implemented.
+// See prompts/README.md for implementation order.
+//
+// TODO(audit): add @paralleldrive/cuid2 when time-travel audit subsystem
+// is implemented. Each audited operation will receive a cuid2-stamped ID
+// (monotonically sortable, collision-resistant across distributed Worker
+// instances) enabling deterministic replay and rewind of operation sequences.
+// Note: Individual modules are exported with namespace prefixes to avoid
+// naming conflicts (all monads export map, chain, ap, etc.)
+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.js.map

package/dist/esm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,aAAa;AACb,kDAAkD;AAClD,kDAAkD;AAClD,EAAE;AACF,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,8EAA8E;AAE9E,yEAAyE;AACzE,4DAA4D;AAC5D,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA"}

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

@@ -0,0 +1,67 @@
+/** Represents a Left (error) value. */
+export type Left<L> = {
+    readonly tag: 'Left';
+    readonly left: L;
+};
+/** Represents a Right (success) value. */
+export type Right<R> = {
+    readonly tag: 'Right';
+    readonly right: R;
+};
+/** Result type: Left<L> (error) or Right<R> (success). */
+export type Either<L, R> = Left<L> | Right<R>;
+/** Create a Left value. */
+export declare const Left: <L>(left: L) => Left<L>;
+/** Create a Right value. */
+export declare const Right: <R>(right: R) => Right<R>;
+/** Test if Either is Left. */
+export declare const isLeft: <L, R>(ea: Either<L, R>) => ea is Left<L>;
+/** Test if Either is Right. */
+export declare const isRight: <L, R>(ea: Either<L, R>) => ea is Right<R>;
+/** Lift a nullable value into Either. */
+export declare const fromNullable: <L, R>(onNull: L) => ((value: R | null | undefined) => Either<L, R>);
+/** Construct Right if predicate holds, Left otherwise. */
+export declare const fromPredicate: <L, A>(predicate: (a: A) => boolean, onFalse: (a: A) => L) => ((a: A) => Either<L, A>);
+/** Convert Either to Maybe, discarding Left. */
+export declare const toMaybe: <L, R>(ea: Either<L, R>) => {
+    tag: "Just";
+    value: R;
+} | {
+    tag: "Nothing";
+    value?: undefined;
+};
+/** Extract Right or null. */
+export declare const toNullable: <L, R>(ea: Either<L, R>) => R | null;
+/** Functor map over Right. */
+export declare const map: <L, A, B>(f: (a: A) => B) => ((ea: Either<L, A>) => Either<L, B>);
+/** Map over Left. */
+export declare const mapLeft: <L, L2, R>(f: (l: L) => L2) => ((ea: Either<L, R>) => Either<L2, R>);
+/** Bifunctor bimap. */
+export declare const bimap: <L, L2, A, B>(f: (l: L) => L2, g: (a: A) => B) => ((ea: Either<L, A>) => Either<L2, B>);
+/** Applicative ap. */
+export declare const ap: <L, A, B>(ef: Either<L, (a: A) => B>) => ((ea: Either<L, A>) => Either<L, B>);
+/** Monadic bind (flatMap). */
+export declare const chain: <L, A, B>(f: (a: A) => Either<L, B>) => ((ea: Either<L, A>) => Either<L, B>);
+/** Chain over Left. */
+export declare const chainLeft: <L, L2, R>(f: (l: L) => Either<L2, R>) => ((ea: Either<L, R>) => Either<L2, R>);
+/** Extract Right or default. */
+export declare const getOrElse: <L, R>(r: R) => ((ea: Either<L, R>) => R);
+/** Extract Right or compute from Left. */
+export declare const getOrElseL: <L, R>(f: (l: L) => R) => ((ea: Either<L, R>) => R);
+/** Case analysis. */
+export declare const fold: <L, R, B>(onLeft: (l: L) => B, onRight: (r: R) => B) => ((ea: Either<L, R>) => B);
+/** Swap Left and Right. */
+export declare const swap: <L, R>(ea: Either<L, R>) => Either<R, L>;
+/** Wrap throwing function in Either. */
+export declare const tryCatch: <L, R>(f: () => R, onError: (e: unknown) => L) => Either<L, R>;
+/** Partition array of Eithers into Left and Right arrays. */
+export declare const partitionEithers: <L, R>(eithers: readonly Either<L, R>[]) => readonly [readonly L[], readonly R[]];
+/** Extract all Lefts. */
+export declare const lefts: <L, R>(eithers: readonly Either<L, R>[]) => readonly L[];
+/** Extract all Rights. */
+export declare const rights: <L, R>(eithers: readonly Either<L, R>[]) => readonly R[];
+/** Sequence all-or-Left. */
+export declare const sequence: <L, A>(eithers: readonly Either<L, A>[]) => Either<L, readonly A[]>;
+/** Traverse a sequence. */
+export declare const traverse: <L, A, B>(f: (a: A) => Either<L, B>) => ((as: readonly A[]) => Either<L, readonly B[]>);
+//# sourceMappingURL=Either.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Either.d.ts","sourceRoot":"","sources":["../../../src/Either.ts"],"names":[],"mappings":"AAEA,uCAAuC;AACvC,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC;AAEjE,0CAA0C;AAC1C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAEpE,0DAA0D;AAC1D,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9C,2BAA2B;AAC3B,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,MAAM,CAAC,KAAG,IAAI,CAAC,CAAC,CAA4B,CAAC;AAErE,4BAA4B;AAC5B,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,KAAK,CAAC,CAAC,CAA8B,CAAC;AAE1E,8BAA8B;AAC9B,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,IAAI,IAAI,CAAC,CAAC,CAAsB,CAAC;AAEnF,+BAA+B;AAC/B,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,IAAI,KAAK,CAAC,CAAC,CAAuB,CAAC;AAEtF,yCAAyC;AACzC,eAAO,MAAM,YAAY,GACtB,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAG,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAEpB,CAAC;AAEhD,0DAA0D;AAC1D,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,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAEvC,CAAC;AAE/C,gDAAgD;AAChD,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;;;;;;CAK7C,CAAC;AAEF,6BAA6B;AAC7B,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,IAA8C,CAAC;AAEvG,8BAA8B;AAC9B,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAEhB,CAAC;AAEjD,qBAAqB;AACrB,eAAO,MAAM,OAAO,GACjB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAG,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAEtB,CAAC;AAE9C,uBAAuB;AACvB,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAEzB,CAAC;AAE9D,sBAAsB;AACtB,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,CAEG,CAAC;AAEhF,8BAA8B;AAC9B,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,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAEnC,CAAC;AAEzC,uBAAuB;AACvB,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAEvC,CAAC;AAExC,gCAAgC;AAChC,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAEH,CAAC;AAEtC,0CAA0C;AAC1C,eAAO,MAAM,UAAU,GACpB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAEJ,CAAC;AAE/C,qBAAqB;AACrB,eAAO,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAErB,CAAC;AAE5D,2BAA2B;AAC3B,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAA0D,CAAC;AAEpH,wCAAwC;AACxC,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAMlF,CAAC;AAEF,6DAA6D;AAC7D,eAAO,MAAM,gBAAgB,GAAI,CAAC,EAAE,CAAC,EAAE,SAAS,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAG,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAW7G,CAAC;AAEF,yBAAyB;AACzB,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,SAAS,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAG,SAAS,CAAC,EAAmE,CAAC;AAE7I,0BAA0B;AAC1B,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,SAAS,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAG,SAAS,CAAC,EAAqE,CAAC;AAEhJ,4BAA4B;AAC5B,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,SAAS,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAG,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAOvF,CAAC;AAEF,2BAA2B;AAC3B,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,CAE/D,CAAC"}