@zambit/elevate-ts 0.1.2

package/dist/esm/EitherAsync.js

@@ -0,0 +1,173 @@
+// EitherAsync — Lazy Async Either
+import * as Either from './Either.js';
+/**
+ * Construct an EitherAsync from a lazy computation.
+ * @param run - A function returning Promise<Either<L, R>>.
+ * @returns An EitherAsync that encapsulates the computation.
+ */
+export const EitherAsync = (run) => ({ tag: 'EitherAsync', run });
+/**
+ * Lift a synchronous Either into EitherAsync.
+ * @param ea - The synchronous Either.
+ * @returns An EitherAsync that immediately resolves to the Either.
+ */
+export const liftEither = (ea) => EitherAsync(() => Promise.resolve(ea));
+/**
+ * Lift a Promise into EitherAsync.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param p - The Promise to lift.
+ * @param onError - Function to transform errors to Left.
+ * @returns An EitherAsync that resolves to Right or Left.
+ */
+export const fromPromise = (p, onError) => EitherAsync(() => p.then((r) => Either.Right(r), (e) => Either.Left(onError(e))));
+/**
+ * Wrap an async function with error handling.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param f - An async function.
+ * @param onError - Function to transform errors to Left.
+ * @returns An EitherAsync that captures the result or Left on error.
+ */
+export const tryCatch = (f, onError) => EitherAsync(() => Promise.resolve()
+    .then(() => f())
+    .then((r) => Either.Right(r), (e) => Either.Left(onError(e))));
+/**
+ * Functor map over the Right value.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param f - Function to transform the Right value.
+ * @returns A function taking EitherAsync and returning a new EitherAsync.
+ */
+export const map = (f) => (ea) => EitherAsync(() => ea.run().then((either) => Either.map(f)(either)));
+/**
+ * Map over the Left value.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param f - Function to transform the Left value.
+ * @returns A function taking EitherAsync and returning a new EitherAsync.
+ */
+export const mapLeft = (f) => (ea) => EitherAsync(() => ea.run().then((either) => Either.mapLeft(f)(either)));
+/**
+ * Bifunctor bimap: map over both Left and Right.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param f - Function to transform Left.
+ * @param g - Function to transform Right.
+ * @returns A function taking EitherAsync and returning a new EitherAsync.
+ */
+export const bimap = (f, g) => (ea) => EitherAsync(() => ea.run().then((either) => Either.bimap(f, g)(either)));
+/**
+ * Monadic bind: sequentially compose EitherAsync computations.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param f - Function that returns an EitherAsync.
+ * @returns A function taking EitherAsync and returning a flattened EitherAsync.
+ */
+export const chain = (f) => (ea) => EitherAsync(async () => {
+    const either = await ea.run();
+    if (either.tag === 'Right') {
+        return f(either.right).run();
+    }
+    return either;
+});
+/**
+ * Chain over the Left value.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param f - Function that returns an EitherAsync.
+ * @returns A function taking EitherAsync and returning a new EitherAsync.
+ */
+export const chainLeft = (f) => (ea) => EitherAsync(async () => {
+    const either = await ea.run();
+    if (either.tag === 'Left') {
+        return await f(either.left).run();
+    }
+    return { tag: 'Right', right: either.right };
+});
+/**
+ * Applicative ap: apply an EitherAsync function to an EitherAsync value.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param ef - An EitherAsync of a function.
+ * @returns A function taking EitherAsync and returning a new EitherAsync.
+ */
+export const ap = (ef) => (ea) => EitherAsync(async () => {
+    const [f, a] = await Promise.all([ef.run(), ea.run()]);
+    return Either.ap(f)(a);
+});
+/**
+ * Extract the Right value or provide a default.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param r - The default value.
+ * @returns A function taking EitherAsync and returning a Promise of the value.
+ */
+export const getOrElse = (r) => (ea) => ea.run().then((either) => Either.getOrElse(r)(either));
+/**
+ * Extract the Right value or compute from Left.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param f - Function computing the default from Left.
+ * @returns A function taking EitherAsync and returning a Promise of the value.
+ */
+export const getOrElseL = (f) => (ea) => ea.run().then(async (either) => {
+    if (either.tag === 'Right')
+        return either.right;
+    return f(either.left);
+});
+/**
+ * Case analysis on EitherAsync.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param onLeft - Function for Left.
+ * @param onRight - Function for Right.
+ * @returns A function taking EitherAsync and returning Promise of result.
+ */
+export const fold = (onLeft, onRight) => (ea) => ea.run().then((either) => Either.fold(onLeft, onRight)(either));
+/**
+ * Swap Left and Right.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param ea - The EitherAsync to swap.
+ * @returns A new EitherAsync with Left and Right swapped.
+ */
+export const swap = (ea) => EitherAsync(() => ea.run().then((either) => Either.swap(either)));
+/**
+ * Convert EitherAsync to MaybeAsync, discarding Left.
+ * Rejected Promises and thrown exceptions become Left which becomes Nothing; never throws or rejects.
+ * @param ea - The EitherAsync to convert.
+ * @returns A MaybeAsync that ignores the Left value.
+ */
+export const toMaybeAsync = (ea) => {
+    // Dynamic import to avoid circular dependencies
+    return {
+        tag: 'MaybeAsync',
+        run: async () => {
+            const either = await ea.run();
+            const Maybe = await import('./Maybe.js');
+            return either.tag === 'Right'
+                ? Maybe.Just(either.right)
+                : Maybe.Nothing;
+        },
+    };
+};
+/**
+ * All-or-Left: if any EitherAsync is Left, result is Left with the first error.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param eas - Array of EitherAsync.
+ * @returns An EitherAsync that is Right of array if all are Right, else the first Left.
+ */
+export const all = (eas) => EitherAsync(async () => {
+    const results = await Promise.all(eas.map((ea) => ea.run()));
+    const values = [];
+    for (const either of results) {
+        if (either.tag === 'Left')
+            return either;
+        values.push(either.right);
+    }
+    return Either.Right(values);
+});
+/**
+ * Extract all Left values from an array of EitherAsync.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param eas - Array of EitherAsync.
+ * @returns Promise of collected Left values.
+ */
+export const lefts = (eas) => Promise.all(eas.map((ea) => ea.run())).then((results) => results.flatMap((either) => (either.tag === 'Left' ? [either.left] : [])));
+/**
+ * Extract all Right values from an array of EitherAsync.
+ * Rejected Promises and thrown exceptions become Left; never throws or rejects.
+ * @param eas - Array of EitherAsync.
+ * @returns Promise of collected Right values.
+ */
+export const rights = (eas) => Promise.all(eas.map((ea) => ea.run())).then((results) => results.flatMap((either) => (either.tag === 'Right' ? [either.right] : [])));
+//# sourceMappingURL=EitherAsync.js.map

package/dist/esm/EitherAsync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EitherAsync.js","sourceRoot":"","sources":["../../src/EitherAsync.ts"],"names":[],"mappings":"AAAA,kCAAkC;AAElC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAYrC;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,GAAuC,EACpB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAA;AAErD;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAO,EAAuB,EAAqB,EAAE,CAC7E,WAAW,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAA;AAExC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,CAAa,EACb,OAA0B,EACP,EAAE,CACrB,WAAW,CAAC,GAAG,EAAE,CACf,CAAC,CAAC,IAAI,CACJ,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EACtB,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC/B,CACF,CAAA;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,CAAmB,EACnB,OAA0B,EACP,EAAE,CACrB,WAAW,CAAC,GAAG,EAAE,CACf,OAAO,CAAC,OAAO,EAAE;KACd,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;KACf,IAAI,CACH,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EACtB,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC/B,CACJ,CAAA;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,CAAc,EACkC,EAAE,CAClD,CAAC,EAAE,EAAE,EAAE,CACL,WAAW,CAAO,GAAG,EAAE,CACrB,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAiC,CACjF,CAAA;AAEL;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,CAAe,EACkC,EAAE,CACnD,CAAC,EAAE,EAAE,EAAE,CACL,WAAW,CAAQ,GAAG,EAAE,CACtB,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAkC,CACtF,CAAA;AAEL;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,CAAe,EACf,CAAc,EACmC,EAAE,CACnD,CAAC,EAAE,EAAE,EAAE,CACL,WAAW,CAAC,GAAG,EAAE,CACf,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CACtD,CAAA;AAEL;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,CAA8B,EACkB,EAAE,CAClD,CAAC,EAAE,EAAE,EAAE,CACL,WAAW,CAAC,KAAK,IAAI,EAAE;IACrB,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,EAAE,CAAA;IAC7B,IAAI,MAAM,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;QAC3B,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAA;IAC9B,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEN;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,CAA+B,EACkB,EAAE,CACnD,CAAC,EAAE,EAAE,EAAE,CACL,WAAW,CAAC,KAAK,IAAI,EAAE;IACrB,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,EAAE,CAAA;IAC7B,IAAI,MAAM,CAAC,GAAG,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;IACnC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAqC,CAAA;AACjF,CAAC,CAAC,CAAA;AAEN;;;;;GAKG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,EAA+B,EACiB,EAAE,CAClD,CAAC,EAAE,EAAE,EAAE,CACL,WAAW,CAAC,KAAK,IAAI,EAAE;IACrB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IACtD,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC,CAAC,CAAA;AAEN;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,CAAI,EAA2C,EAAE,CAC/E,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,CAAuB,EACkB,EAAE,CAC3C,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;IAC7B,IAAI,MAAM,CAAC,GAAG,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC,KAAK,CAAA;IAC/C,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AACvB,CAAC,CAAC,CAAA;AAEN;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,MAA4B,EAC5B,OAA6B,EACY,EAAE,CAC3C,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAEnE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,EAAqB,EAAqB,EAAE,CACrE,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAEnE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,EAAqB,EACW,EAAE;IAClC,gDAAgD;IAChD,OAAO;QACL,GAAG,EAAE,YAAY;QACjB,GAAG,EAAE,KAAK,IAAI,EAAE;YACd,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,EAAE,CAAA;YAC7B,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,CAAA;YACxC,OAAO,MAAM,CAAC,GAAG,KAAK,OAAO;gBAC3B,CAAC,CAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAa;gBACvC,CAAC,CAAE,KAAK,CAAC,OAAmB,CAAA;QAChC,CAAC;KAC2C,CAAA;AAChD,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,GAAiC,EACH,EAAE,CAChC,WAAW,CAAC,KAAK,IAAI,EAAE;IACrB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IAC5D,MAAM,MAAM,GAAQ,EAAE,CAAA;IACtB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,GAAG,KAAK,MAAM;YAAE,OAAO,MAAM,CAAA;QACxC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;AAC7B,CAAC,CAAC,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,GAAiC,EACV,EAAE,CACzB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CACtD,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC1E,CAAA;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,GAAiC,EACV,EAAE,CACzB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CACtD,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC5E,CAAA"}

package/dist/esm/Function.d.ts

@@ -0,0 +1,153 @@
+/**
+ * Identity function: returns its input unchanged.
+ * @param a - The value to return.
+ * @returns The same value.
+ */
+export declare const identity: <A>(a: A) => A;
+/**
+ * Create a function that always returns the same value.
+ * @param a - The value to return.
+ * @returns A function that ignores its input and returns the value.
+ */
+export declare const constant: <A>(a: A) => (() => A);
+/**
+ * Flip the first two arguments of a binary function.
+ * @param f - A binary function.
+ * @returns A function with argument order reversed.
+ */
+export declare const flip: <A, B, C>(f: (a: A, b: B) => C) => ((b: B, a: A) => C);
+/**
+ * Absurd: a function that takes a never value.
+ * @param a - A value of type never (should never be called).
+ * @returns A value of any type (unreachable).
+ */
+export declare const absurd: <A>(_: never) => A;
+/**
+ * Pipe a value through a chain of functions (arity 1).
+ * @param a - The initial value.
+ * @param f1 - The first function.
+ * @returns The result of f1(a).
+ */
+export declare function pipe<A, B>(a: A, f1: (a: A) => B): B;
+/**
+ * Pipe a value through a chain of functions (arity 2).
+ * @param a - The initial value.
+ * @param f1 - The first function.
+ * @param f2 - The second function.
+ * @returns The result of f2(f1(a)).
+ */
+export declare function pipe<A, B, C>(a: A, f1: (a: A) => B, f2: (b: B) => C): C;
+/**
+ * Pipe a value through a chain of functions (arity 3).
+ */
+export declare function pipe<A, B, C, D>(a: A, f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D): D;
+/**
+ * Pipe a value through a chain of functions (arity 4).
+ */
+export declare function pipe<A, B, C, D, E>(a: A, f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E): E;
+/**
+ * Pipe a value through a chain of functions (arity 5).
+ */
+export declare function pipe<A, B, C, D, E, F>(a: A, f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F): F;
+/**
+ * Pipe a value through a chain of functions (arity 6).
+ */
+export declare function pipe<A, B, C, D, E, F, G>(a: A, f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G): G;
+/**
+ * Pipe a value through a chain of functions (arity 7).
+ */
+export declare function pipe<A, B, C, D, E, F, G, H>(a: A, f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G, f7: (g: G) => H): H;
+/**
+ * Pipe a value through a chain of functions (arity 8).
+ */
+export declare function pipe<A, B, C, D, E, F, G, H, I>(a: A, f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G, f7: (g: G) => H, f8: (h: H) => I): I;
+/**
+ * Pipe a value through a chain of functions (arity 9).
+ */
+export declare function pipe<A, B, C, D, E, F, G, H, I, J>(a: A, f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G, f7: (g: G) => H, f8: (h: H) => I, f9: (i: I) => J): J;
+/**
+ * Pipe a value through a chain of functions (arity 10).
+ */
+export declare function pipe<A, B, C, D, E, F, G, H, I, J, K>(a: A, f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G, f7: (g: G) => H, f8: (h: H) => I, f9: (i: I) => J, f10: (j: J) => K): K;
+/**
+ * Compose functions left-to-right (arity 1).
+ * @param f1 - The first function.
+ * @returns A function that applies f1.
+ */
+export declare function flow<A, B>(f1: (a: A) => B): (a: A) => B;
+/**
+ * Compose functions left-to-right (arity 2).
+ * @param f1 - The first function.
+ * @param f2 - The second function.
+ * @returns A function that applies f1 then f2.
+ */
+export declare function flow<A, B, C>(f1: (a: A) => B, f2: (b: B) => C): (a: A) => C;
+/**
+ * Compose functions left-to-right (arity 3).
+ */
+export declare function flow<A, B, C, D>(f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D): (a: A) => D;
+/**
+ * Compose functions left-to-right (arity 4).
+ */
+export declare function flow<A, B, C, D, E>(f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E): (a: A) => E;
+/**
+ * Compose functions left-to-right (arity 5).
+ */
+export declare function flow<A, B, C, D, E, F>(f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F): (a: A) => F;
+/**
+ * Compose functions left-to-right (arity 6).
+ */
+export declare function flow<A, B, C, D, E, F, G>(f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G): (a: A) => G;
+/**
+ * Compose functions left-to-right (arity 7).
+ */
+export declare function flow<A, B, C, D, E, F, G, H>(f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G, f7: (g: G) => H): (a: A) => H;
+/**
+ * Compose functions left-to-right (arity 8).
+ */
+export declare function flow<A, B, C, D, E, F, G, H, I>(f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G, f7: (g: G) => H, f8: (h: H) => I): (a: A) => I;
+/**
+ * Compose functions left-to-right (arity 9).
+ */
+export declare function flow<A, B, C, D, E, F, G, H, I, J>(f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G, f7: (g: G) => H, f8: (h: H) => I, f9: (i: I) => J): (a: A) => J;
+/**
+ * Compose functions left-to-right (arity 10).
+ */
+export declare function flow<A, B, C, D, E, F, G, H, I, J, K>(f1: (a: A) => B, f2: (b: B) => C, f3: (c: C) => D, f4: (d: D) => E, f5: (e: E) => F, f6: (f: F) => G, f7: (g: G) => H, f8: (h: H) => I, f9: (i: I) => J, f10: (j: J) => K): (a: A) => K;
+/**
+ * Curry a 2-argument function.
+ * @param f - A binary function.
+ * @returns A curried function.
+ */
+export declare const curry2: <A, B, C>(f: (a: A, b: B) => C) => ((a: A) => (b: B) => C);
+/**
+ * Curry a 3-argument function.
+ * @param f - A ternary function.
+ * @returns A curried function.
+ */
+export declare const curry3: <A, B, C, D>(f: (a: A, b: B, c: C) => D) => ((a: A) => (b: B) => (c: C) => D);
+/**
+ * Curry a 4-argument function.
+ * @param f - A 4-argument function.
+ * @returns A curried function.
+ */
+export declare const curry4: <A, B, C, D, E>(f: (a: A, b: B, c: C, d: D) => E) => ((a: A) => (b: B) => (c: C) => (d: D) => E);
+/**
+ * Memoize a function with single-level cache.
+ * @param f - The function to memoize.
+ * @returns A memoized function.
+ */
+export declare const memoize: <A, B>(f: (a: A) => B) => ((a: A) => B);
+/**
+ * Execute a function at most once; cache the result.
+ * @param f - The function to execute once.
+ * @returns A function that returns the cached result on all calls.
+ */
+export declare const once: <A, B>(f: (a: A) => B) => ((a: A) => B);
+/**
+ * Execute a side effect and pass the value through.
+ * @param f - A side-effect function.
+ * @returns A function that executes the side effect and returns its input.
+ */
+export declare const tap: <A>(f: (a: A) => void) => ((a: A) => A);
+//# sourceMappingURL=Function.d.ts.map

package/dist/esm/Function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Function.d.ts","sourceRoot":"","sources":["../../src/Function.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,GAAG,CAAC,KAAG,CAAM,CAAA;AAEzC;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,MAAM,CAAC,CAAY,CAAA;AAEvD;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CACpD,CAAA;AAEnB;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,GAAG,KAAK,KAAG,CAEpC,CAAA;AAGD;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;AAEpD;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;AAExE;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAA;AAEJ;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAA;AAEJ;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAA;AAEJ;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAA;AAEJ;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAA;AAEJ;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5C,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAA;AAEJ;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/C,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAA;AAEJ;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAClD,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACf,CAAC,CAAA;AAcJ;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAExD;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAE5E;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEd;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEd;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEd;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEd;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEd;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5C,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEd;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/C,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEd;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAClD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACf,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAed;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CACtD,CAAA;AAEvB;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/B,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KACzB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CACF,CAAA;AAEjC;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAClC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAC/B,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CACF,CAAA;AAE3C;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAU1D,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAUvD,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAIpD,CAAA"}

package/dist/esm/Function.js

@@ -0,0 +1,109 @@
+// Function — Composition and Utilities
+/**
+ * Identity function: returns its input unchanged.
+ * @param a - The value to return.
+ * @returns The same value.
+ */
+export const identity = (a) => a;
+/**
+ * Create a function that always returns the same value.
+ * @param a - The value to return.
+ * @returns A function that ignores its input and returns the value.
+ */
+export const constant = (a) => () => a;
+/**
+ * Flip the first two arguments of a binary function.
+ * @param f - A binary function.
+ * @returns A function with argument order reversed.
+ */
+export const flip = (f) => (b, a) => f(a, b);
+/**
+ * Absurd: a function that takes a never value.
+ * @param a - A value of type never (should never be called).
+ * @returns A value of any type (unreachable).
+ */
+export const absurd = (_) => {
+    throw new Error('absurd: unreachable');
+};
+/**
+ * Pipe implementation.
+ */
+export function pipe(a, ...fns) {
+    let result = a;
+    for (const fn of fns) {
+        result = fn(result);
+    }
+    return result;
+}
+/**
+ * Flow implementation.
+ */
+export function flow(...fns) {
+    return (a) => {
+        let result = a;
+        for (const fn of fns) {
+            result = fn(result);
+        }
+        return result;
+    };
+}
+/**
+ * Curry a 2-argument function.
+ * @param f - A binary function.
+ * @returns A curried function.
+ */
+export const curry2 = (f) => (a) => (b) => f(a, b);
+/**
+ * Curry a 3-argument function.
+ * @param f - A ternary function.
+ * @returns A curried function.
+ */
+export const curry3 = (f) => (a) => (b) => (c) => f(a, b, c);
+/**
+ * Curry a 4-argument function.
+ * @param f - A 4-argument function.
+ * @returns A curried function.
+ */
+export const curry4 = (f) => (a) => (b) => (c) => (d) => f(a, b, c, d);
+/**
+ * Memoize a function with single-level cache.
+ * @param f - The function to memoize.
+ * @returns A memoized function.
+ */
+export const memoize = (f) => {
+    const cache = new Map();
+    return (a) => {
+        if (cache.has(a)) {
+            return cache.get(a);
+        }
+        const result = f(a);
+        cache.set(a, result);
+        return result;
+    };
+};
+/**
+ * Execute a function at most once; cache the result.
+ * @param f - The function to execute once.
+ * @returns A function that returns the cached result on all calls.
+ */
+export const once = (f) => {
+    let called = false;
+    let result;
+    return (a) => {
+        if (!called) {
+            result = f(a);
+            called = true;
+        }
+        return result;
+    };
+};
+/**
+ * Execute a side effect and pass the value through.
+ * @param f - A side-effect function.
+ * @returns A function that executes the side effect and returns its input.
+ */
+export const tap = (f) => (a) => {
+    f(a);
+    return a;
+};
+//# sourceMappingURL=Function.js.map

package/dist/esm/Function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Function.js","sourceRoot":"","sources":["../../src/Function.ts"],"names":[],"mappings":"AAAA,uCAAuC;AAEvC;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAI,CAAI,EAAK,EAAE,CAAC,CAAC,CAAA;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAI,CAAI,EAAa,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;AAEvD;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAU,CAAoB,EAAuB,EAAE,CACzE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnB;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,CAAQ,EAAK,EAAE;IACvC,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAA;AACxC,CAAC,CAAA;AAgID;;GAEG;AACH,MAAM,UAAU,IAAI,CAAC,CAAU,EAAE,GAAG,GAAyC;IAC3E,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA;IACrB,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAsHD;;GAEG;AACH,MAAM,UAAU,IAAI,CAAC,GAAG,GAAyC;IAC/D,OAAO,CAAC,CAAC,EAAE,EAAE;QACX,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA;QACrB,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAU,CAAoB,EAA2B,EAAE,CAC/E,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,CAA0B,EACS,EAAE,CACrC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAEjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,CAAgC,EACa,EAAE,CAC/C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAE3C;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAO,CAAc,EAAiB,EAAE;IAC7D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAQ,CAAA;IAC7B,OAAO,CAAC,CAAI,EAAE,EAAE;QACd,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAA;QACtB,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACnB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;QACpB,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,CAAc,EAAiB,EAAE;IAC1D,IAAI,MAAM,GAAG,KAAK,CAAA;IAClB,IAAI,MAAS,CAAA;IACb,OAAO,CAAC,CAAI,EAAE,EAAE;QACd,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YACb,MAAM,GAAG,IAAI,CAAA;QACf,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,CAAiB,EAAiB,EAAE,CACzD,CAAC,CAAC,EAAE,EAAE;IACJ,CAAC,CAAC,CAAC,CAAC,CAAA;IACJ,OAAO,CAAC,CAAA;AACV,CAAC,CAAA"}

package/dist/esm/List.d.ts

@@ -0,0 +1,134 @@
+import * as Maybe from './Maybe.js';
+/**
+ * Get the first element of an array.
+ * @param arr - The array.
+ * @returns The first element or undefined if empty.
+ */
+export declare const head: <A>(arr: readonly A[]) => A | undefined;
+/**
+ * Get all but the first element.
+ * @param arr - The array.
+ * @returns An array of remaining elements.
+ */
+export declare const tail: <A>(arr: readonly A[]) => readonly A[];
+/**
+ * Get the last element of an array.
+ * @param arr - The array.
+ * @returns The last element or undefined if empty.
+ */
+export declare const last: <A>(arr: readonly A[]) => A | undefined;
+/**
+ * Get all but the last element.
+ * @param arr - The array.
+ * @returns An array of all but the last element.
+ */
+export declare const init: <A>(arr: readonly A[]) => readonly A[];
+/**
+ * Deconstruct an array into head and tail.
+ * @param arr - The array.
+ * @returns Just [head, tail] if nonempty, Nothing if empty.
+ */
+export declare const uncons: <A>(arr: readonly A[]) => Maybe.Maybe<readonly [A, readonly A[]]>;
+/**
+ * Prepend an element to an array.
+ * @param a - The element to prepend.
+ * @returns A function that takes an array and returns the new array.
+ */
+export declare const cons: <A>(a: A) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Append an element to an array.
+ * @param a - The element to append.
+ * @returns A function that takes an array and returns the new array.
+ */
+export declare const snoc: <A>(a: A) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Take the first n elements.
+ * @param n - The number of elements to take.
+ * @returns A function that takes an array and returns the first n elements.
+ */
+export declare const take: <A>(n: number) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Drop the first n elements.
+ * @param n - The number of elements to drop.
+ * @returns A function that takes an array and returns the remaining elements.
+ */
+export declare const drop: <A>(n: number) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Take elements while predicate holds.
+ * @param predicate - The predicate to test.
+ * @returns A function that takes an array and returns elements taken while predicate holds.
+ */
+export declare const takeWhile: <A>(predicate: (a: A) => boolean) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Drop elements while predicate holds.
+ * @param predicate - The predicate to test.
+ * @returns A function that takes an array and returns remaining elements.
+ */
+export declare const dropWhile: <A>(predicate: (a: A) => boolean) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Partition an array into two based on a predicate.
+ * @param predicate - The predicate to split on.
+ * @returns A function that takes an array and returns [matching, nonmatching].
+ */
+export declare const partition: <A>(predicate: (a: A) => boolean) => ((arr: readonly A[]) => readonly [readonly A[], readonly A[]]);
+/**
+ * Split an array at the first element that fails the predicate.
+ * @param predicate - The predicate to test.
+ * @returns A function that takes an array and returns [taken, dropped].
+ */
+export declare const span: <A>(predicate: (a: A) => boolean) => ((arr: readonly A[]) => readonly [readonly A[], readonly A[]]);
+/**
+ * Group consecutive equal elements.
+ * @param eq - Equality comparator.
+ * @returns A function that takes an array and returns grouped elements.
+ */
+export declare const groupBy: <A>(eq: (a: A, b: A) => boolean) => ((arr: readonly A[]) => readonly (readonly A[])[]);
+/**
+ * Remove consecutive duplicates.
+ * @param eq - Equality comparator.
+ * @returns A function that takes an array and returns array without consecutive duplicates.
+ */
+export declare const nubBy: <A>(eq: (a: A, b: A) => boolean) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Sort an array with a comparator function.
+ * @param ord - Comparator function (negative if a < b, positive if a > b).
+ * @returns A function that takes an array and returns a sorted array.
+ */
+export declare const sortBy: <A>(ord: (a: A, b: A) => number) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Zip two arrays into pairs.
+ * @param arr2 - The second array.
+ * @returns A function taking first array, returning [pairs, remainders].
+ */
+export declare const zip: <A, B>(arr2: readonly B[]) => (arr1: readonly A[]) => readonly [[A, B][], A[] | B[]];
+/**
+ * Zip two arrays with a function.
+ * @param f - Function to apply to pairs.
+ * @returns A function taking the second array, then first array, returning results.
+ */
+export declare const zipWith: <A, B, C>(f: (a: A, b: B) => C) => ((arr2: readonly B[]) => (arr1: readonly A[]) => readonly C[]);
+/**
+ * Unzip an array of pairs into two arrays.
+ * @param pairs - Array of pairs.
+ * @returns A tuple of two arrays.
+ */
+export declare const unzip: <A, B>(pairs: readonly (readonly [A, B])[]) => readonly [readonly A[], readonly B[]];
+/**
+ * Flatten one level of nesting.
+ * @param arr - Array of arrays.
+ * @returns A flattened array.
+ */
+export declare const flatten: <A>(arr: readonly (readonly A[])[]) => readonly A[];
+/**
+ * Insert a separator between elements.
+ * @param sep - The separator element.
+ * @returns A function that takes an array and returns interspersed array.
+ */
+export declare const intersperse: <A>(sep: A) => ((arr: readonly A[]) => readonly A[]);
+/**
+ * Transpose a matrix (2D array).
+ * @param matrix - A matrix as array of arrays.
+ * @returns The transposed matrix.
+ */
+export declare const transpose: <A>(matrix: readonly (readonly A[])[]) => readonly (readonly A[])[];
+//# sourceMappingURL=List.d.ts.map

package/dist/esm/List.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"List.d.ts","sourceRoot":"","sources":["../../src/List.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,KAAG,CAAC,GAAG,SAAmB,CAAA;AAEnE;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,KAAG,SAAS,CAAC,EAAkB,CAAA;AAExE;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,KAAG,CAAC,GAAG,SACE,CAAA;AAElD;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,KAAG,SAAS,CAAC,EACd,CAAA;AAExC;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,KAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,CACf,CAAA;AAErE;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAC7C,CAAA;AAEtB;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAC7C,CAAA;AAEtB;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,GAAG,MAAM,KAAG,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAC9C,CAAA;AAE1B;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,GAAG,MAAM,KAAG,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CACjD,CAAA;AAEvB;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EACzB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAC3B,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAItC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EACzB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAC3B,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAItC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EACzB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAC3B,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,CAY7D,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EACpB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAC3B,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,CAK7D,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EACvB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,KAC1B,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAejD,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EACrB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,KAC1B,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAUpC,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EACtB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,KAC1B,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CACV,CAAA;AAE7B;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,SAAS,CAAC,EAAE,MAAM,MAAM,SAAS,CAAC,EAAE,mCASnE,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KACnB,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAS7D,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EACxB,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAClC,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAQtC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,KAAK,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,KAAG,SAAS,CAAC,EAQrE,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,KAAK,CAAC,KAAG,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CASzE,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EACzB,QAAQ,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,KAChC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,EAczB,CAAA"}