@nlozgachev/pipelined 0.46.0 → 0.48.0

package/dist/core.d.mts

@@ -1,7 +1,8 @@
-import { M as Maybe, R as Result, T as Task } from './Validation-v38R0qH-.mjs';
-export { E as Equality, a as Err, F as Failed, N as None, O as Ok, b as Ordering, P as Passed, S as Some, c as TaskMaybe, d as TaskResult, e as TaskValidation, V as Validation } from './Validation-v38R0qH-.mjs';
-import { o as WithValue, i as WithLog, D as Deferred, h as WithKind, e as WithError, R as RetryOptions, b as TimeoutOptions, n as WithTimeout, j as WithMinInterval, c as WithCooldown, W as WithConcurrency, m as WithSize, d as WithDuration, k as WithN, g as WithFirst, l as WithSecond } from './InternalTypes-CLE7qlOc.mjs';
-import { Duration } from './types.mjs';
+import { M as Maybe, R as Result, T as Task } from './Validation-D-aARYlP.mjs';
+export { E as Equality, a as Err, F as Failed, N as None, O as Ok, b as Ordering, P as Passed, S as Some, c as TaskMaybe, d as TaskResult, e as TaskValidation, V as Validation } from './Validation-D-aARYlP.mjs';
+import { o as WithValue, i as WithLog, D as Deferred, h as WithKind, e as WithError, R as RetryOptions, b as TimeoutOptions, n as WithTimeout, j as WithMinInterval, c as WithCooldown, W as WithConcurrency, m as WithSize, d as WithDuration, k as WithN, g as WithFirst, l as WithSecond } from './InternalTypes-CDiDBAY4.mjs';
+import { D as Duration } from './Duration-B8joKzro.mjs';
+import './types.mjs';
 
 /**
  * A type that can combine two values of type `A` into one, with a neutral starting value.
@@ -96,6 +97,18 @@ declare namespace Combinable {
      * ```
      */
     const fold: <A>(c: Combinable<A>) => (data: readonly A[]) => A;
+    /**
+     * Derives a `Combinable` for a record of fields from field-level `Combinable` instances.
+     *
+     * @example
+     * ```ts
+     * const StatsCombinable = Combinable.struct({
+     *   count: Combinable.sum,
+     *   tags: Combinable.array<string>(),
+     * });
+     * ```
+     */
+    const struct: <R extends Record<string, unknown>>(fields: { [K in keyof R]: Combinable<R[K]>; }) => Combinable<R>;
 }
 
 /**
@@ -432,6 +445,17 @@ declare namespace Logged {
      * ```
      */
     const bind: <K extends string, W, A, B>(key: K, f: (a: A) => Logged<W, B>) => (data: Logged<W, A>) => Logged<W, A & { [P in K]: B; }>;
+    /**
+     * Focuses a Logged computation's value transformation using a Lens.
+     *
+     * @example
+     * ```ts
+     * const nameLens = Lens.from.property<{ name: string }>()("name");
+     * const logged = Logged.from.value<string, { name: string }>({ name: "alice" });
+     * pipe(logged, Logged.focus(nameLens)(s => s.toUpperCase()));
+     * ```
+     */
+    const focus: <S, A>(lens: Lens<S, A>) => <W>(f: (a: A) => A) => (data: Logged<W, S>) => Logged<W, S>;
 }
 
 type MaybeRetry<E, O> = O extends {
@@ -1465,6 +1489,23 @@ declare namespace Predicate {
          */
         const Refinement: <A, B extends A>(r: Refinement<A, B>) => Predicate<A>;
     }
+    /**
+     * Performs declarative conditional branching over `[predicate, handler]` pairs,
+     * returning the handler result of the first matching predicate or evaluating the fallback.
+     *
+     * @example
+     * ```ts
+     * const classifyNumber = Predicate.match(
+     *   [
+     *     [(n: number) => n < 0, () => "negative"],
+     *     [(n: number) => n === 0, () => "zero"],
+     *   ],
+     *   () => "positive",
+     * );
+     * classifyNumber(-5); // "negative"
+     * ```
+     */
+    const match: <A, B>(branches: ReadonlyArray<readonly [Predicate<A>, (a: A) => B]>, fallback: (a: A) => B) => (a: A) => B;
 }
 
 /**
@@ -1813,36 +1854,88 @@ declare namespace RemoteData {
     namespace make {
         /**
          * Creates a NotAsked RemoteData.
+         *
+         * @example
+         * ```ts
+         * RemoteData.make.notAsked(); // NotAsked
+         * ```
          */
         const notAsked: () => NotAsked;
         /**
          * Creates a Loading RemoteData.
+         *
+         * @example
+         * ```ts
+         * RemoteData.make.loading(); // Loading
+         * ```
          */
         const loading: () => Loading;
         /**
          * Creates a Failure RemoteData with the given error.
+         *
+         * @example
+         * ```ts
+         * RemoteData.make.failure("Network error"); // Failure("Network error")
+         * ```
          */
         const failure: <E>(error: E) => Failure<E>;
         /**
          * Creates a Success RemoteData with the given value.
+         *
+         * @example
+         * ```ts
+         * RemoteData.make.success(42); // Success(42)
+         * ```
          */
         const success: <A>(value: A) => Success<A>;
     }
     namespace is {
         /**
          * Type guard that checks if a RemoteData is NotAsked.
+         *
+         * @example
+         * ```ts
+         * const data = RemoteData.make.notAsked();
+         * if (RemoteData.is.notAsked(data)) {
+         *   console.log("Data fetch not initiated");
+         * }
+         * ```
          */
         const notAsked: <E, A>(data: RemoteData<E, A>) => data is NotAsked;
         /**
          * Type guard that checks if a RemoteData is Loading.
+         *
+         * @example
+         * ```ts
+         * const data = RemoteData.make.loading();
+         * if (RemoteData.is.loading(data)) {
+         *   console.log("Data is loading");
+         * }
+         * ```
          */
         const loading: <E, A>(data: RemoteData<E, A>) => data is Loading;
         /**
          * Type guard that checks if a RemoteData is Failure.
+         *
+         * @example
+         * ```ts
+         * const data = RemoteData.make.failure("Failed");
+         * if (RemoteData.is.failure(data)) {
+         *   console.log(data.error); // "Failed"
+         * }
+         * ```
          */
         const failure: <E, A>(data: RemoteData<E, A>) => data is Failure<E>;
         /**
          * Type guard that checks if a RemoteData is Success.
+         *
+         * @example
+         * ```ts
+         * const data = RemoteData.make.success(42);
+         * if (RemoteData.is.success(data)) {
+         *   console.log(data.value); // 42
+         * }
+         * ```
          */
         const success: <E, A>(data: RemoteData<E, A>) => data is Success<A>;
     }
@@ -1877,7 +1970,7 @@ declare namespace RemoteData {
      * );
      * ```
      */
-    const chain: <E, A, B>(f: (a: A) => RemoteData<E, B>) => (data: RemoteData<E, A>) => RemoteData<E, B>;
+    const chain: <E1, E2, A, B>(f: (a: A) => RemoteData<E2, B>) => (data: RemoteData<E1, A>) => RemoteData<E1 | E2, B>;
     /**
      * Applies a function wrapped in a RemoteData to a value wrapped in a RemoteData.
      *
@@ -2003,7 +2096,7 @@ declare namespace RemoteData {
          *
          * @example
          * ```ts
-         * const result = await Task.Result.tryCatch(fetchUser, String)();
+         * const result = await Task.Result.tryCatch(fetchUser, { onError: String })();
          * setState(RemoteData.from.Result(result)); // Success(user) or Failure(msg)
          * ```
          */
@@ -2053,7 +2146,7 @@ declare namespace RemoteData {
  * @example
  * ```ts
  * const dbResource = Resource.from.handlers(
- *   Task.Result.tryCatch(() => openConnection(config), (e) => new DbError(e)),
+ *   Task.Result.tryCatch(() => openConnection(config), { onError: (e) => new DbError(e) }),
  *   (conn) => Task.from.Promise(() => conn.close())
  * );
  *
@@ -2076,7 +2169,7 @@ declare namespace Resource {
          * @example
          * ```ts
          * const fileResource = Resource.from.handlers(
-         *   Task.Result.tryCatch(() => fs.promises.open("data.csv", "r"), toFileError),
+         *   Task.Result.tryCatch(() => fs.promises.open("data.csv", "r"), { onError: toFileError }),
          *   (handle) => Task.from.Promise(() => handle.close())
          * );
          * ```
@@ -2344,6 +2437,18 @@ declare namespace State {
      * ```
      */
     const bind: <K extends string, S, A, B>(key: K, f: (a: A) => State<S, B>) => (data: State<S, A>) => State<S, A & { [P in K]: B; }>;
+    /**
+     * Focuses a State computation on a sub-state using a Lens.
+     *
+     * @example
+     * ```ts
+     * type AppState = { count: number; name: string };
+     * const countLens = Lens.from.property<AppState>()("count");
+     * const increment = State.modify((c: number) => c + 1);
+     * const focusedProgram = pipe(increment, State.focus(countLens));
+     * ```
+     */
+    const focus: <S, A>(lens: Lens<S, A>) => <B>(stateOp: State<A, B>) => State<S, B>;
 }
 
 type TheseFirst<T> = WithKind<"First"> & WithFirst<T>;
@@ -2406,23 +2511,61 @@ declare namespace These {
     namespace is {
         /**
          * Type guard — checks if a These holds only a first value.
+         *
+         * @example
+         * ```ts
+         * const val = These.make.first(42);
+         * if (These.is.first(val)) {
+         *   console.log(val.first); // 42
+         * }
+         * ```
          */
         const first: <A, B>(data: These<A, B>) => data is TheseFirst<A>;
         /**
          * Type guard — checks if a These holds only a second value.
+         *
+         * @example
+         * ```ts
+         * const val = These.make.second("warning");
+         * if (These.is.second(val)) {
+         *   console.log(val.second); // "warning"
+         * }
+         * ```
          */
         const second: <A, B>(data: These<A, B>) => data is TheseSecond<B>;
         /**
          * Type guard — checks if a These holds both values simultaneously.
+         *
+         * @example
+         * ```ts
+         * const val = These.make.both(42, "warning");
+         * if (These.is.both(val)) {
+         *   console.log(val.first, val.second); // 42 "warning"
+         * }
+         * ```
          */
         const both: <A, B>(data: These<A, B>) => data is TheseBoth<A, B>;
     }
     /**
      * Returns true if the These contains a first value (First or Both).
+     *
+     * @example
+     * ```ts
+     * These.hasFirst(These.make.first(42));       // true
+     * These.hasFirst(These.make.both(42, "warn"));// true
+     * These.hasFirst(These.make.second("warn"));  // false
+     * ```
      */
     const hasFirst: <A, B>(data: These<A, B>) => data is TheseFirst<A> | TheseBoth<A, B>;
     /**
      * Returns true if the These contains a second value (Second or Both).
+     *
+     * @example
+     * ```ts
+     * These.hasSecond(These.make.second("warn"));  // true
+     * These.hasSecond(These.make.both(42, "warn"));// true
+     * These.hasSecond(These.make.first(42));       // false
+     * ```
      */
     const hasSecond: <A, B>(data: These<A, B>) => data is TheseSecond<B> | TheseBoth<A, B>;
     /**

package/dist/core.d.ts

@@ -1,7 +1,8 @@
-import { M as Maybe, R as Result, T as Task } from './Validation-BMsvixWH.js';
-export { E as Equality, a as Err, F as Failed, N as None, O as Ok, b as Ordering, P as Passed, S as Some, c as TaskMaybe, d as TaskResult, e as TaskValidation, V as Validation } from './Validation-BMsvixWH.js';
-import { o as WithValue, i as WithLog, D as Deferred, h as WithKind, e as WithError, R as RetryOptions, b as TimeoutOptions, n as WithTimeout, j as WithMinInterval, c as WithCooldown, W as WithConcurrency, m as WithSize, d as WithDuration, k as WithN, g as WithFirst, l as WithSecond } from './InternalTypes-Mssktd7z.js';
-import { Duration } from './types.js';
+import { M as Maybe, R as Result, T as Task } from './Validation-1OgJJdeA.js';
+export { E as Equality, a as Err, F as Failed, N as None, O as Ok, b as Ordering, P as Passed, S as Some, c as TaskMaybe, d as TaskResult, e as TaskValidation, V as Validation } from './Validation-1OgJJdeA.js';
+import { o as WithValue, i as WithLog, D as Deferred, h as WithKind, e as WithError, R as RetryOptions, b as TimeoutOptions, n as WithTimeout, j as WithMinInterval, c as WithCooldown, W as WithConcurrency, m as WithSize, d as WithDuration, k as WithN, g as WithFirst, l as WithSecond } from './InternalTypes-LdhLQx3N.js';
+import { D as Duration } from './Duration-B8joKzro.js';
+import './types.js';
 
 /**
  * A type that can combine two values of type `A` into one, with a neutral starting value.
@@ -96,6 +97,18 @@ declare namespace Combinable {
      * ```
      */
     const fold: <A>(c: Combinable<A>) => (data: readonly A[]) => A;
+    /**
+     * Derives a `Combinable` for a record of fields from field-level `Combinable` instances.
+     *
+     * @example
+     * ```ts
+     * const StatsCombinable = Combinable.struct({
+     *   count: Combinable.sum,
+     *   tags: Combinable.array<string>(),
+     * });
+     * ```
+     */
+    const struct: <R extends Record<string, unknown>>(fields: { [K in keyof R]: Combinable<R[K]>; }) => Combinable<R>;
 }
 
 /**
@@ -432,6 +445,17 @@ declare namespace Logged {
      * ```
      */
     const bind: <K extends string, W, A, B>(key: K, f: (a: A) => Logged<W, B>) => (data: Logged<W, A>) => Logged<W, A & { [P in K]: B; }>;
+    /**
+     * Focuses a Logged computation's value transformation using a Lens.
+     *
+     * @example
+     * ```ts
+     * const nameLens = Lens.from.property<{ name: string }>()("name");
+     * const logged = Logged.from.value<string, { name: string }>({ name: "alice" });
+     * pipe(logged, Logged.focus(nameLens)(s => s.toUpperCase()));
+     * ```
+     */
+    const focus: <S, A>(lens: Lens<S, A>) => <W>(f: (a: A) => A) => (data: Logged<W, S>) => Logged<W, S>;
 }
 
 type MaybeRetry<E, O> = O extends {
@@ -1465,6 +1489,23 @@ declare namespace Predicate {
          */
         const Refinement: <A, B extends A>(r: Refinement<A, B>) => Predicate<A>;
     }
+    /**
+     * Performs declarative conditional branching over `[predicate, handler]` pairs,
+     * returning the handler result of the first matching predicate or evaluating the fallback.
+     *
+     * @example
+     * ```ts
+     * const classifyNumber = Predicate.match(
+     *   [
+     *     [(n: number) => n < 0, () => "negative"],
+     *     [(n: number) => n === 0, () => "zero"],
+     *   ],
+     *   () => "positive",
+     * );
+     * classifyNumber(-5); // "negative"
+     * ```
+     */
+    const match: <A, B>(branches: ReadonlyArray<readonly [Predicate<A>, (a: A) => B]>, fallback: (a: A) => B) => (a: A) => B;
 }
 
 /**
@@ -1813,36 +1854,88 @@ declare namespace RemoteData {
     namespace make {
         /**
          * Creates a NotAsked RemoteData.
+         *
+         * @example
+         * ```ts
+         * RemoteData.make.notAsked(); // NotAsked
+         * ```
          */
         const notAsked: () => NotAsked;
         /**
          * Creates a Loading RemoteData.
+         *
+         * @example
+         * ```ts
+         * RemoteData.make.loading(); // Loading
+         * ```
          */
         const loading: () => Loading;
         /**
          * Creates a Failure RemoteData with the given error.
+         *
+         * @example
+         * ```ts
+         * RemoteData.make.failure("Network error"); // Failure("Network error")
+         * ```
          */
         const failure: <E>(error: E) => Failure<E>;
         /**
          * Creates a Success RemoteData with the given value.
+         *
+         * @example
+         * ```ts
+         * RemoteData.make.success(42); // Success(42)
+         * ```
          */
         const success: <A>(value: A) => Success<A>;
     }
     namespace is {
         /**
          * Type guard that checks if a RemoteData is NotAsked.
+         *
+         * @example
+         * ```ts
+         * const data = RemoteData.make.notAsked();
+         * if (RemoteData.is.notAsked(data)) {
+         *   console.log("Data fetch not initiated");
+         * }
+         * ```
          */
         const notAsked: <E, A>(data: RemoteData<E, A>) => data is NotAsked;
         /**
          * Type guard that checks if a RemoteData is Loading.
+         *
+         * @example
+         * ```ts
+         * const data = RemoteData.make.loading();
+         * if (RemoteData.is.loading(data)) {
+         *   console.log("Data is loading");
+         * }
+         * ```
          */
         const loading: <E, A>(data: RemoteData<E, A>) => data is Loading;
         /**
          * Type guard that checks if a RemoteData is Failure.
+         *
+         * @example
+         * ```ts
+         * const data = RemoteData.make.failure("Failed");
+         * if (RemoteData.is.failure(data)) {
+         *   console.log(data.error); // "Failed"
+         * }
+         * ```
          */
         const failure: <E, A>(data: RemoteData<E, A>) => data is Failure<E>;
         /**
          * Type guard that checks if a RemoteData is Success.
+         *
+         * @example
+         * ```ts
+         * const data = RemoteData.make.success(42);
+         * if (RemoteData.is.success(data)) {
+         *   console.log(data.value); // 42
+         * }
+         * ```
          */
         const success: <E, A>(data: RemoteData<E, A>) => data is Success<A>;
     }
@@ -1877,7 +1970,7 @@ declare namespace RemoteData {
      * );
      * ```
      */
-    const chain: <E, A, B>(f: (a: A) => RemoteData<E, B>) => (data: RemoteData<E, A>) => RemoteData<E, B>;
+    const chain: <E1, E2, A, B>(f: (a: A) => RemoteData<E2, B>) => (data: RemoteData<E1, A>) => RemoteData<E1 | E2, B>;
     /**
      * Applies a function wrapped in a RemoteData to a value wrapped in a RemoteData.
      *
@@ -2003,7 +2096,7 @@ declare namespace RemoteData {
          *
          * @example
          * ```ts
-         * const result = await Task.Result.tryCatch(fetchUser, String)();
+         * const result = await Task.Result.tryCatch(fetchUser, { onError: String })();
          * setState(RemoteData.from.Result(result)); // Success(user) or Failure(msg)
          * ```
          */
@@ -2053,7 +2146,7 @@ declare namespace RemoteData {
  * @example
  * ```ts
  * const dbResource = Resource.from.handlers(
- *   Task.Result.tryCatch(() => openConnection(config), (e) => new DbError(e)),
+ *   Task.Result.tryCatch(() => openConnection(config), { onError: (e) => new DbError(e) }),
  *   (conn) => Task.from.Promise(() => conn.close())
  * );
  *
@@ -2076,7 +2169,7 @@ declare namespace Resource {
          * @example
          * ```ts
          * const fileResource = Resource.from.handlers(
-         *   Task.Result.tryCatch(() => fs.promises.open("data.csv", "r"), toFileError),
+         *   Task.Result.tryCatch(() => fs.promises.open("data.csv", "r"), { onError: toFileError }),
          *   (handle) => Task.from.Promise(() => handle.close())
          * );
          * ```
@@ -2344,6 +2437,18 @@ declare namespace State {
      * ```
      */
     const bind: <K extends string, S, A, B>(key: K, f: (a: A) => State<S, B>) => (data: State<S, A>) => State<S, A & { [P in K]: B; }>;
+    /**
+     * Focuses a State computation on a sub-state using a Lens.
+     *
+     * @example
+     * ```ts
+     * type AppState = { count: number; name: string };
+     * const countLens = Lens.from.property<AppState>()("count");
+     * const increment = State.modify((c: number) => c + 1);
+     * const focusedProgram = pipe(increment, State.focus(countLens));
+     * ```
+     */
+    const focus: <S, A>(lens: Lens<S, A>) => <B>(stateOp: State<A, B>) => State<S, B>;
 }
 
 type TheseFirst<T> = WithKind<"First"> & WithFirst<T>;
@@ -2406,23 +2511,61 @@ declare namespace These {
     namespace is {
         /**
          * Type guard — checks if a These holds only a first value.
+         *
+         * @example
+         * ```ts
+         * const val = These.make.first(42);
+         * if (These.is.first(val)) {
+         *   console.log(val.first); // 42
+         * }
+         * ```
          */
         const first: <A, B>(data: These<A, B>) => data is TheseFirst<A>;
         /**
          * Type guard — checks if a These holds only a second value.
+         *
+         * @example
+         * ```ts
+         * const val = These.make.second("warning");
+         * if (These.is.second(val)) {
+         *   console.log(val.second); // "warning"
+         * }
+         * ```
          */
         const second: <A, B>(data: These<A, B>) => data is TheseSecond<B>;
         /**
          * Type guard — checks if a These holds both values simultaneously.
+         *
+         * @example
+         * ```ts
+         * const val = These.make.both(42, "warning");
+         * if (These.is.both(val)) {
+         *   console.log(val.first, val.second); // 42 "warning"
+         * }
+         * ```
          */
         const both: <A, B>(data: These<A, B>) => data is TheseBoth<A, B>;
     }
     /**
      * Returns true if the These contains a first value (First or Both).
+     *
+     * @example
+     * ```ts
+     * These.hasFirst(These.make.first(42));       // true
+     * These.hasFirst(These.make.both(42, "warn"));// true
+     * These.hasFirst(These.make.second("warn"));  // false
+     * ```
      */
     const hasFirst: <A, B>(data: These<A, B>) => data is TheseFirst<A> | TheseBoth<A, B>;
     /**
      * Returns true if the These contains a second value (Second or Both).
+     *
+     * @example
+     * ```ts
+     * These.hasSecond(These.make.second("warn"));  // true
+     * These.hasSecond(These.make.both(42, "warn"));// true
+     * These.hasSecond(These.make.first(42));       // false
+     * ```
      */
     const hasSecond: <A, B>(data: These<A, B>) => data is TheseSecond<B> | TheseBoth<A, B>;
     /**