@nlozgachev/pipelined 0.43.0 → 0.45.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/README.md CHANGED
@@ -17,7 +17,7 @@ npm add @nlozgachev/pipelined
17
17
  In mainstream TypeScript, code is often burdened by implicit control flow: unchecked exceptions,
18
18
  manual null propagation, and unhandled asynchronous failures. `pipelined` turns these complex
19
19
  runtime states into simple, transparent data structures that compose. By representing optionality as
20
- `Maybe`, failures as `Result`, lazy asynchronous pipelines as `TaskResult`, and repeated stateful
20
+ `Maybe`, failures as `Result`, lazy asynchronous pipelines as `Task.Result`, and repeated stateful
21
21
  interactions as `Op`, the library helps disentangle business logic from control mechanics.
22
22
 
23
23
  ## Documentation
@@ -55,18 +55,18 @@ Every step that sees `None` is skipped. The fallback runs once, at the end.
55
55
  ## Example: typed async errors
56
56
 
57
57
  In JavaScript, asynchronous exceptions bypass the static type system, leaving unhandled rejections
58
- as invisible runtime risks. `TaskResult<E, A>` represents fallible asynchronous computations as
58
+ as invisible runtime risks. `Task.Result<E, A>` represents fallible asynchronous computations as
59
59
  lazy, infallible tasks that resolve to a typed `Result`. The error type is explicitly tracked in the
60
60
  function signature, ensuring that failures are handled before compile time:
61
61
 
62
62
  ```ts
63
63
  import { pipe } from "@nlozgachev/pipelined/composition";
64
- import { Result, TaskResult } from "@nlozgachev/pipelined/core";
64
+ import { Result, Task } from "@nlozgachev/pipelined/core";
65
65
 
66
66
  type ApiError = { status: number; message: string };
67
67
 
68
- const fetchUser = (id: string): TaskResult<ApiError, User> =>
69
- TaskResult.tryCatch(
68
+ const fetchUser = (id: string): Task.Result<ApiError, User> =>
69
+ Task.Result.tryCatch(
70
70
  (signal) =>
71
71
  fetch(`/users/${id}`, { signal }).then((r) => {
72
72
  if (!r.ok) throw { status: r.status, message: r.statusText };
@@ -75,8 +75,8 @@ const fetchUser = (id: string): TaskResult<ApiError, User> =>
75
75
  (e) => e as ApiError,
76
76
  );
77
77
 
78
- const fetchPosts = (userId: string): TaskResult<ApiError, Post[]> =>
79
- TaskResult.tryCatch(
78
+ const fetchPosts = (userId: string): Task.Result<ApiError, Post[]> =>
79
+ Task.Result.tryCatch(
80
80
  (signal) =>
81
81
  fetch(`/users/${userId}/posts`, { signal }).then((r) => r.json()),
82
82
  (e) => e as ApiError,
@@ -86,10 +86,10 @@ const fetchPosts = (userId: string): TaskResult<ApiError, Post[]> =>
86
86
  const userWithPosts = (id: string) =>
87
87
  pipe(
88
88
  fetchUser(id),
89
- TaskResult.chain((user) =>
89
+ Task.Result.chain((user) =>
90
90
  pipe(
91
91
  fetchPosts(user.id),
92
- TaskResult.map((posts) => ({ ...user, posts })),
92
+ Task.Result.map((posts) => ({ ...user, posts })),
93
93
  )
94
94
  ),
95
95
  );
@@ -103,7 +103,7 @@ const controller = new AbortController();
103
103
  const fetchUserWithPosts = userWithPosts("42"); // build the lazy task
104
104
  const result = await fetchUserWithPosts(controller.signal); // run it — signal controls cancellation
105
105
 
106
- if (Result.isOk(result)) {
106
+ if (Result.is.ok(result)) {
107
107
  render(result.value); // { ...User, posts: Post[] }
108
108
  } else {
109
109
  showError(result.error); // ApiError — typed, not unknown
@@ -140,7 +140,7 @@ const cheapestByCategory = (items: RawItem[]) =>
140
140
  items,
141
141
  Arr.filterMap(normalise), // parse + drop unparseable prices in one pass
142
142
  Arr.sortBy((a, b) => a.price - b.price), // ascending price
143
- Arr.groupBy((item) => item.category), // Record<string, NonEmptyList<Item>>
143
+ Arr.groupBy((item) => item.category), // Record<string, Arr.NonEmpty<Item>>
144
144
  Rec.map((group) => Arr.head(group)), // cheapest per category — Maybe<Item>
145
145
  );
146
146
  ```
@@ -314,7 +314,7 @@ provides a strongly-typed, immutable two-element pair.
314
314
  ### Asynchronous operations
315
315
 
316
316
  `Task` represents a lazy, infallible asynchronous computation. Fallible asynchronous workflows are
317
- handled by `TaskResult`, `TaskMaybe`, and `TaskValidation`. For managing stateful, recurring
317
+ handled by `Task.Result`, `Task.Maybe`, and `Task.Validation`. For managing stateful, recurring
318
318
  asynchronous operations with complex scheduling, `Op` implements named concurrency strategies such
319
319
  as `restartable`, `exclusive`, `debounced`, `throttled`, and `queue`, handling retries, timeouts,
320
320
  and signal propagation automatically. `Deferred` represents a lightweight, infallible asynchronous
@@ -342,11 +342,12 @@ Functions are composed using `pipe` and `flow`, which are enriched with high-lev
342
342
  helpers like `when`, `unless`, `either`, `safe`, and `async` to support robust, expressive
343
343
  pipelines.
344
344
 
345
- ### Nominal branding, durations, and non-empty lists
345
+ ### Nominal branding, durations, and non-empty collections
346
346
 
347
- Compile-time nominal typing with zero runtime overhead is provided by `Brand`, `Duration` safely
348
- models and converts time durations (seconds, milliseconds, etc.), and `NonEmptyList` guarantees that
349
- a list is never empty, eliminating defensive array length checks.
347
+ Compile-time nominal typing with zero runtime overhead is provided by `Brand`. `Duration` safely
348
+ models and converts time durations (seconds, milliseconds, etc.). `Arr.NonEmpty` and `Rec.NonEmpty`
349
+ guarantee that an array or record is never empty, eliminating defensive length/emptiness checks at
350
+ runtime.
350
351
 
351
352
  Every utility in the library is benchmarked against its native equivalent. The data-last currying
352
353
  adds a small function call overhead, which is the expected cost of composability. For operations
@@ -7,7 +7,7 @@ declare const _deferred: unique symbol;
7
7
  * Two design choices work together to make the guarantee structural rather than documentary:
8
8
  *
9
9
  * - The phantom `[_deferred]` symbol makes the type **nominal**: only values produced by
10
- * `Deferred.fromPromise` satisfy it. A plain object `{ then: ... }` does not.
10
+ * `Deferred.from.Promise` satisfy it. A plain object `{ then: ... }` does not.
11
11
  * - The single-parameter `.then()` **excludes rejection handlers** by construction. There is
12
12
  * no second argument to pass, so chaining and `.catch()` are impossible.
13
13
  *
@@ -16,7 +16,7 @@ declare const _deferred: unique symbol;
16
16
  *
17
17
  * @example
18
18
  * ```ts
19
- * const value = await Deferred.fromPromise(Promise.resolve(42));
19
+ * const value = await Deferred.from.Promise(Promise.resolve(42));
20
20
  * // value === 42
21
21
  * ```
22
22
  */
@@ -25,31 +25,35 @@ type Deferred<A> = {
25
25
  readonly then: (onfulfilled: (value: A) => unknown) => void;
26
26
  };
27
27
  declare namespace Deferred {
28
- /**
29
- * Wraps a `Promise` or `Deferred` into a `Deferred`, structurally excluding rejection handlers,
30
- * `.catch()`, `.finally()`, and chainable `.then()`.
31
- *
32
- * **Precondition**: `p` must never reject. If `p` rejects, the returned `Deferred` will
33
- * never resolve `await`-ing it will hang indefinitely. Use `TaskResult.tryCatch` to
34
- * handle operations that may fail before converting to a `Deferred`.
35
- *
36
- * @example
37
- * ```ts
38
- * const d = Deferred.fromPromise(Promise.resolve("hello"));
39
- * const value = await d; // "hello"
40
- * ```
41
- */
42
- const fromPromise: <A>(p: Thenable<A>) => Deferred<A>;
43
- /**
44
- * Converts a `Deferred` back into a `Promise`.
45
- *
46
- * @example
47
- * ```ts
48
- * const p = Deferred.toPromise(Deferred.fromPromise(Promise.resolve(42)));
49
- * // p is Promise<42>
50
- * ```
51
- */
52
- const toPromise: <A>(d: Deferred<A>) => Promise<A>;
28
+ namespace from {
29
+ /**
30
+ * Wraps a `Promise` or `Deferred` into a `Deferred`, structurally excluding rejection handlers,
31
+ * `.catch()`, `.finally()`, and chainable `.then()`.
32
+ *
33
+ * **Precondition**: `p` must never reject. If `p` rejects, the returned `Deferred` will
34
+ * never resolve `await`-ing it will hang indefinitely. Use `Task.Result.tryCatch` to
35
+ * handle operations that may fail before converting to a `Deferred`.
36
+ *
37
+ * @example
38
+ * ```ts
39
+ * const d = Deferred.from.Promise(Promise.resolve("hello"));
40
+ * const value = await d; // "hello"
41
+ * ```
42
+ */
43
+ const Promise: <A>(p: Thenable<A>) => Deferred<A>;
44
+ }
45
+ namespace to {
46
+ /**
47
+ * Converts a `Deferred` back into a `Promise`.
48
+ *
49
+ * @example
50
+ * ```ts
51
+ * const p = Deferred.to.Promise(Deferred.from.Promise(Promise.resolve(42)));
52
+ * // p is Promise<42>
53
+ * ```
54
+ */
55
+ const Promise: <A>(d: Deferred<A>) => globalThis.Promise<A>;
56
+ }
53
57
  }
54
58
 
55
59
  /**
@@ -114,5 +118,6 @@ type WithCooldown = {
114
118
  type WithMinInterval = {
115
119
  readonly minInterval?: Duration;
116
120
  };
121
+ type NonEmpty<T extends string> = `NonEmpty${T}`;
117
122
 
118
- export { type Awaitable as A, Deferred as D, type NonEmptyArr as N, type RetryOptions as R, type Thenable as T, type WithConcurrency as W, type TimeoutOptions as a, type WithCooldown as b, type WithDuration as c, type WithError as d, type WithErrors as e, type WithFirst as f, type WithKind as g, type WithLog as h, type WithMinInterval as i, type WithN as j, type WithSecond as k, type WithSize as l, type WithTimeout as m, type WithValue as n };
123
+ export { type Awaitable as A, Deferred as D, type NonEmpty as N, type RetryOptions as R, type Thenable as T, type WithConcurrency as W, type NonEmptyArr as a, type TimeoutOptions as b, type WithCooldown as c, type WithDuration as d, type WithError as e, type WithErrors as f, type WithFirst as g, type WithKind as h, type WithLog as i, type WithMinInterval as j, type WithN as k, type WithSecond as l, type WithSize as m, type WithTimeout as n, type WithValue as o };
@@ -7,7 +7,7 @@ declare const _deferred: unique symbol;
7
7
  * Two design choices work together to make the guarantee structural rather than documentary:
8
8
  *
9
9
  * - The phantom `[_deferred]` symbol makes the type **nominal**: only values produced by
10
- * `Deferred.fromPromise` satisfy it. A plain object `{ then: ... }` does not.
10
+ * `Deferred.from.Promise` satisfy it. A plain object `{ then: ... }` does not.
11
11
  * - The single-parameter `.then()` **excludes rejection handlers** by construction. There is
12
12
  * no second argument to pass, so chaining and `.catch()` are impossible.
13
13
  *
@@ -16,7 +16,7 @@ declare const _deferred: unique symbol;
16
16
  *
17
17
  * @example
18
18
  * ```ts
19
- * const value = await Deferred.fromPromise(Promise.resolve(42));
19
+ * const value = await Deferred.from.Promise(Promise.resolve(42));
20
20
  * // value === 42
21
21
  * ```
22
22
  */
@@ -25,31 +25,35 @@ type Deferred<A> = {
25
25
  readonly then: (onfulfilled: (value: A) => unknown) => void;
26
26
  };
27
27
  declare namespace Deferred {
28
- /**
29
- * Wraps a `Promise` or `Deferred` into a `Deferred`, structurally excluding rejection handlers,
30
- * `.catch()`, `.finally()`, and chainable `.then()`.
31
- *
32
- * **Precondition**: `p` must never reject. If `p` rejects, the returned `Deferred` will
33
- * never resolve `await`-ing it will hang indefinitely. Use `TaskResult.tryCatch` to
34
- * handle operations that may fail before converting to a `Deferred`.
35
- *
36
- * @example
37
- * ```ts
38
- * const d = Deferred.fromPromise(Promise.resolve("hello"));
39
- * const value = await d; // "hello"
40
- * ```
41
- */
42
- const fromPromise: <A>(p: Thenable<A>) => Deferred<A>;
43
- /**
44
- * Converts a `Deferred` back into a `Promise`.
45
- *
46
- * @example
47
- * ```ts
48
- * const p = Deferred.toPromise(Deferred.fromPromise(Promise.resolve(42)));
49
- * // p is Promise<42>
50
- * ```
51
- */
52
- const toPromise: <A>(d: Deferred<A>) => Promise<A>;
28
+ namespace from {
29
+ /**
30
+ * Wraps a `Promise` or `Deferred` into a `Deferred`, structurally excluding rejection handlers,
31
+ * `.catch()`, `.finally()`, and chainable `.then()`.
32
+ *
33
+ * **Precondition**: `p` must never reject. If `p` rejects, the returned `Deferred` will
34
+ * never resolve `await`-ing it will hang indefinitely. Use `Task.Result.tryCatch` to
35
+ * handle operations that may fail before converting to a `Deferred`.
36
+ *
37
+ * @example
38
+ * ```ts
39
+ * const d = Deferred.from.Promise(Promise.resolve("hello"));
40
+ * const value = await d; // "hello"
41
+ * ```
42
+ */
43
+ const Promise: <A>(p: Thenable<A>) => Deferred<A>;
44
+ }
45
+ namespace to {
46
+ /**
47
+ * Converts a `Deferred` back into a `Promise`.
48
+ *
49
+ * @example
50
+ * ```ts
51
+ * const p = Deferred.to.Promise(Deferred.from.Promise(Promise.resolve(42)));
52
+ * // p is Promise<42>
53
+ * ```
54
+ */
55
+ const Promise: <A>(d: Deferred<A>) => globalThis.Promise<A>;
56
+ }
53
57
  }
54
58
 
55
59
  /**
@@ -114,5 +118,6 @@ type WithCooldown = {
114
118
  type WithMinInterval = {
115
119
  readonly minInterval?: Duration;
116
120
  };
121
+ type NonEmpty<T extends string> = `NonEmpty${T}`;
117
122
 
118
- export { type Awaitable as A, Deferred as D, type NonEmptyArr as N, type RetryOptions as R, type Thenable as T, type WithConcurrency as W, type TimeoutOptions as a, type WithCooldown as b, type WithDuration as c, type WithError as d, type WithErrors as e, type WithFirst as f, type WithKind as g, type WithLog as h, type WithMinInterval as i, type WithN as j, type WithSecond as k, type WithSize as l, type WithTimeout as m, type WithValue as n };
123
+ export { type Awaitable as A, Deferred as D, type NonEmpty as N, type RetryOptions as R, type Thenable as T, type WithConcurrency as W, type NonEmptyArr as a, type TimeoutOptions as b, type WithCooldown as c, type WithDuration as d, type WithError as e, type WithErrors as f, type WithFirst as g, type WithKind as h, type WithLog as i, type WithMinInterval as j, type WithN as k, type WithSecond as l, type WithSize as m, type WithTimeout as n, type WithValue as o };