@nlozgachev/pipelined 0.12.0 → 0.13.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.
Files changed (205) hide show
  1. package/LICENCE +28 -0
  2. package/README.md +1 -1
  3. package/{types/src/Types/NonEmptyList.d.ts → dist/NonEmptyList-BlGFjor5.d.mts} +4 -3
  4. package/dist/NonEmptyList-BlGFjor5.d.ts +30 -0
  5. package/dist/Task-BB8Wmc1J.d.ts +677 -0
  6. package/dist/Task-ChKyH0pF.d.mts +677 -0
  7. package/dist/chunk-DBIC62UV.mjs +6 -0
  8. package/dist/chunk-QPTGO5AS.mjs +150 -0
  9. package/dist/composition.d.mts +495 -0
  10. package/dist/composition.d.ts +495 -0
  11. package/dist/composition.js +188 -0
  12. package/dist/composition.mjs +135 -0
  13. package/dist/core.d.mts +2170 -0
  14. package/dist/core.d.ts +2170 -0
  15. package/dist/core.js +698 -0
  16. package/dist/core.mjs +517 -0
  17. package/dist/types.d.mts +54 -0
  18. package/{types/src/Types/Brand.d.ts → dist/types.d.ts} +6 -4
  19. package/dist/types.js +41 -0
  20. package/dist/types.mjs +14 -0
  21. package/dist/utils.d.mts +1285 -0
  22. package/dist/utils.d.ts +1285 -0
  23. package/dist/utils.js +722 -0
  24. package/dist/utils.mjs +553 -0
  25. package/package.json +63 -69
  26. package/esm/mod.js +0 -3
  27. package/esm/package.json +0 -3
  28. package/esm/src/Composition/compose.js +0 -3
  29. package/esm/src/Composition/converge.js +0 -3
  30. package/esm/src/Composition/curry.js +0 -42
  31. package/esm/src/Composition/flip.js +0 -20
  32. package/esm/src/Composition/flow.js +0 -8
  33. package/esm/src/Composition/fn.js +0 -85
  34. package/esm/src/Composition/index.js +0 -13
  35. package/esm/src/Composition/juxt.js +0 -3
  36. package/esm/src/Composition/memoize.js +0 -66
  37. package/esm/src/Composition/not.js +0 -25
  38. package/esm/src/Composition/on.js +0 -12
  39. package/esm/src/Composition/pipe.js +0 -3
  40. package/esm/src/Composition/tap.js +0 -33
  41. package/esm/src/Composition/uncurry.js +0 -32
  42. package/esm/src/Core/Deferred.js +0 -30
  43. package/esm/src/Core/InternalTypes.js +0 -1
  44. package/esm/src/Core/Lens.js +0 -98
  45. package/esm/src/Core/Logged.js +0 -111
  46. package/esm/src/Core/Option.js +0 -191
  47. package/esm/src/Core/Optional.js +0 -160
  48. package/esm/src/Core/Predicate.js +0 -133
  49. package/esm/src/Core/Reader.js +0 -134
  50. package/esm/src/Core/Refinement.js +0 -115
  51. package/esm/src/Core/RemoteData.js +0 -211
  52. package/esm/src/Core/Result.js +0 -170
  53. package/esm/src/Core/State.js +0 -181
  54. package/esm/src/Core/Task.js +0 -223
  55. package/esm/src/Core/TaskOption.js +0 -106
  56. package/esm/src/Core/TaskResult.js +0 -127
  57. package/esm/src/Core/TaskValidation.js +0 -128
  58. package/esm/src/Core/These.js +0 -245
  59. package/esm/src/Core/Tuple.js +0 -112
  60. package/esm/src/Core/Validation.js +0 -212
  61. package/esm/src/Core/index.js +0 -18
  62. package/esm/src/Types/Brand.js +0 -28
  63. package/esm/src/Types/NonEmptyList.js +0 -14
  64. package/esm/src/Types/index.js +0 -2
  65. package/esm/src/Utils/Arr.js +0 -570
  66. package/esm/src/Utils/Dict.js +0 -421
  67. package/esm/src/Utils/Num.js +0 -124
  68. package/esm/src/Utils/Rec.js +0 -241
  69. package/esm/src/Utils/Str.js +0 -134
  70. package/esm/src/Utils/Uniq.js +0 -265
  71. package/esm/src/Utils/index.js +0 -6
  72. package/script/mod.js +0 -19
  73. package/script/package.json +0 -3
  74. package/script/src/Composition/compose.js +0 -6
  75. package/script/src/Composition/converge.js +0 -6
  76. package/script/src/Composition/curry.js +0 -48
  77. package/script/src/Composition/flip.js +0 -24
  78. package/script/src/Composition/flow.js +0 -11
  79. package/script/src/Composition/fn.js +0 -98
  80. package/script/src/Composition/index.js +0 -29
  81. package/script/src/Composition/juxt.js +0 -6
  82. package/script/src/Composition/memoize.js +0 -71
  83. package/script/src/Composition/not.js +0 -29
  84. package/script/src/Composition/on.js +0 -16
  85. package/script/src/Composition/pipe.js +0 -6
  86. package/script/src/Composition/tap.js +0 -37
  87. package/script/src/Composition/uncurry.js +0 -38
  88. package/script/src/Core/Deferred.js +0 -33
  89. package/script/src/Core/InternalTypes.js +0 -2
  90. package/script/src/Core/Lens.js +0 -101
  91. package/script/src/Core/Logged.js +0 -114
  92. package/script/src/Core/Option.js +0 -194
  93. package/script/src/Core/Optional.js +0 -163
  94. package/script/src/Core/Predicate.js +0 -136
  95. package/script/src/Core/Reader.js +0 -137
  96. package/script/src/Core/Refinement.js +0 -118
  97. package/script/src/Core/RemoteData.js +0 -214
  98. package/script/src/Core/Result.js +0 -173
  99. package/script/src/Core/State.js +0 -184
  100. package/script/src/Core/Task.js +0 -226
  101. package/script/src/Core/TaskOption.js +0 -109
  102. package/script/src/Core/TaskResult.js +0 -130
  103. package/script/src/Core/TaskValidation.js +0 -131
  104. package/script/src/Core/These.js +0 -248
  105. package/script/src/Core/Tuple.js +0 -115
  106. package/script/src/Core/Validation.js +0 -215
  107. package/script/src/Core/index.js +0 -34
  108. package/script/src/Types/Brand.js +0 -31
  109. package/script/src/Types/NonEmptyList.js +0 -18
  110. package/script/src/Types/index.js +0 -18
  111. package/script/src/Utils/Arr.js +0 -573
  112. package/script/src/Utils/Dict.js +0 -424
  113. package/script/src/Utils/Num.js +0 -127
  114. package/script/src/Utils/Rec.js +0 -244
  115. package/script/src/Utils/Str.js +0 -137
  116. package/script/src/Utils/Uniq.js +0 -268
  117. package/script/src/Utils/index.js +0 -22
  118. package/types/mod.d.ts +0 -4
  119. package/types/mod.d.ts.map +0 -1
  120. package/types/src/Composition/compose.d.ts +0 -33
  121. package/types/src/Composition/compose.d.ts.map +0 -1
  122. package/types/src/Composition/converge.d.ts +0 -21
  123. package/types/src/Composition/converge.d.ts.map +0 -1
  124. package/types/src/Composition/curry.d.ts +0 -43
  125. package/types/src/Composition/curry.d.ts.map +0 -1
  126. package/types/src/Composition/flip.d.ts +0 -21
  127. package/types/src/Composition/flip.d.ts.map +0 -1
  128. package/types/src/Composition/flow.d.ts +0 -56
  129. package/types/src/Composition/flow.d.ts.map +0 -1
  130. package/types/src/Composition/fn.d.ts +0 -76
  131. package/types/src/Composition/fn.d.ts.map +0 -1
  132. package/types/src/Composition/index.d.ts +0 -14
  133. package/types/src/Composition/index.d.ts.map +0 -1
  134. package/types/src/Composition/juxt.d.ts +0 -18
  135. package/types/src/Composition/juxt.d.ts.map +0 -1
  136. package/types/src/Composition/memoize.d.ts +0 -46
  137. package/types/src/Composition/memoize.d.ts.map +0 -1
  138. package/types/src/Composition/not.d.ts +0 -26
  139. package/types/src/Composition/not.d.ts.map +0 -1
  140. package/types/src/Composition/on.d.ts +0 -13
  141. package/types/src/Composition/on.d.ts.map +0 -1
  142. package/types/src/Composition/pipe.d.ts +0 -56
  143. package/types/src/Composition/pipe.d.ts.map +0 -1
  144. package/types/src/Composition/tap.d.ts +0 -31
  145. package/types/src/Composition/tap.d.ts.map +0 -1
  146. package/types/src/Composition/uncurry.d.ts +0 -54
  147. package/types/src/Composition/uncurry.d.ts.map +0 -1
  148. package/types/src/Core/Deferred.d.ts +0 -49
  149. package/types/src/Core/Deferred.d.ts.map +0 -1
  150. package/types/src/Core/InternalTypes.d.ts +0 -23
  151. package/types/src/Core/InternalTypes.d.ts.map +0 -1
  152. package/types/src/Core/Lens.d.ts +0 -118
  153. package/types/src/Core/Lens.d.ts.map +0 -1
  154. package/types/src/Core/Logged.d.ts +0 -126
  155. package/types/src/Core/Logged.d.ts.map +0 -1
  156. package/types/src/Core/Option.d.ts +0 -209
  157. package/types/src/Core/Option.d.ts.map +0 -1
  158. package/types/src/Core/Optional.d.ts +0 -158
  159. package/types/src/Core/Optional.d.ts.map +0 -1
  160. package/types/src/Core/Predicate.d.ts +0 -161
  161. package/types/src/Core/Predicate.d.ts.map +0 -1
  162. package/types/src/Core/Reader.d.ts +0 -156
  163. package/types/src/Core/Reader.d.ts.map +0 -1
  164. package/types/src/Core/Refinement.d.ts +0 -138
  165. package/types/src/Core/Refinement.d.ts.map +0 -1
  166. package/types/src/Core/RemoteData.d.ts +0 -197
  167. package/types/src/Core/RemoteData.d.ts.map +0 -1
  168. package/types/src/Core/Result.d.ts +0 -182
  169. package/types/src/Core/Result.d.ts.map +0 -1
  170. package/types/src/Core/State.d.ts +0 -192
  171. package/types/src/Core/State.d.ts.map +0 -1
  172. package/types/src/Core/Task.d.ts +0 -219
  173. package/types/src/Core/Task.d.ts.map +0 -1
  174. package/types/src/Core/TaskOption.d.ts +0 -121
  175. package/types/src/Core/TaskOption.d.ts.map +0 -1
  176. package/types/src/Core/TaskResult.d.ts +0 -119
  177. package/types/src/Core/TaskResult.d.ts.map +0 -1
  178. package/types/src/Core/TaskValidation.d.ts +0 -144
  179. package/types/src/Core/TaskValidation.d.ts.map +0 -1
  180. package/types/src/Core/These.d.ts +0 -225
  181. package/types/src/Core/These.d.ts.map +0 -1
  182. package/types/src/Core/Tuple.d.ts +0 -129
  183. package/types/src/Core/Tuple.d.ts.map +0 -1
  184. package/types/src/Core/Validation.d.ts +0 -203
  185. package/types/src/Core/Validation.d.ts.map +0 -1
  186. package/types/src/Core/index.d.ts +0 -19
  187. package/types/src/Core/index.d.ts.map +0 -1
  188. package/types/src/Types/Brand.d.ts.map +0 -1
  189. package/types/src/Types/NonEmptyList.d.ts.map +0 -1
  190. package/types/src/Types/index.d.ts +0 -3
  191. package/types/src/Types/index.d.ts.map +0 -1
  192. package/types/src/Utils/Arr.d.ts +0 -403
  193. package/types/src/Utils/Arr.d.ts.map +0 -1
  194. package/types/src/Utils/Dict.d.ts +0 -310
  195. package/types/src/Utils/Dict.d.ts.map +0 -1
  196. package/types/src/Utils/Num.d.ts +0 -110
  197. package/types/src/Utils/Num.d.ts.map +0 -1
  198. package/types/src/Utils/Rec.d.ts +0 -159
  199. package/types/src/Utils/Rec.d.ts.map +0 -1
  200. package/types/src/Utils/Str.d.ts +0 -128
  201. package/types/src/Utils/Str.d.ts.map +0 -1
  202. package/types/src/Utils/Uniq.d.ts +0 -179
  203. package/types/src/Utils/Uniq.d.ts.map +0 -1
  204. package/types/src/Utils/index.d.ts +0 -7
  205. package/types/src/Utils/index.d.ts.map +0 -1
@@ -1,219 +0,0 @@
1
- import { Deferred } from "./Deferred.js";
2
- import { Result } from "./Result.js";
3
- /**
4
- * A lazy async computation that always resolves.
5
- *
6
- * Two guarantees:
7
- * - **Lazy** — nothing starts until you call it.
8
- * - **Infallible** — it never rejects. If failure is possible, encode it in the
9
- * return type using `TaskResult<E, A>` instead.
10
- *
11
- * Calling a Task returns a `Deferred<A>` — a one-shot async value that supports
12
- * `await` but has no `.catch()`, `.finally()`, or chainable `.then()`.
13
- *
14
- * **Consuming a Task:**
15
- *
16
- * Use `await task()` to run it and get the value directly:
17
- * ```ts
18
- * const value: number = await task();
19
- * ```
20
- *
21
- * When you need an explicit `Promise<A>` (e.g. for a third-party API), convert
22
- * the `Deferred` with `Deferred.toPromise`:
23
- * ```ts
24
- * const p: Promise<number> = Deferred.toPromise(task());
25
- * ```
26
- *
27
- * @example
28
- * ```ts
29
- * const getTimestamp: Task<number> = Task.resolve(Date.now());
30
- *
31
- * // Nothing runs yet — getTimestamp is just a description
32
- * const formatted = pipe(
33
- * getTimestamp,
34
- * Task.map(ts => new Date(ts).toISOString())
35
- * );
36
- *
37
- * // Execute when ready
38
- * const result = await formatted();
39
- * ```
40
- */
41
- export type Task<A> = () => Deferred<A>;
42
- export declare namespace Task {
43
- /**
44
- * Creates a Task that immediately resolves to the given value.
45
- *
46
- * @example
47
- * ```ts
48
- * const task = Task.resolve(42);
49
- * const value = await task(); // 42
50
- * ```
51
- */
52
- const resolve: <A>(value: A) => Task<A>;
53
- /**
54
- * Creates a Task from a function that returns a Promise.
55
- *
56
- * @example
57
- * ```ts
58
- * const getTimestamp = Task.from(() => Promise.resolve(Date.now()));
59
- * ```
60
- */
61
- const from: <A>(f: () => Promise<A>) => Task<A>;
62
- /**
63
- * Transforms the value inside a Task.
64
- *
65
- * @example
66
- * ```ts
67
- * pipe(
68
- * Task.resolve(5),
69
- * Task.map(n => n * 2)
70
- * )(); // Deferred<10>
71
- * ```
72
- */
73
- const map: <A, B>(f: (a: A) => B) => (data: Task<A>) => Task<B>;
74
- /**
75
- * Chains Task computations. Passes the resolved value of the first Task to f.
76
- *
77
- * @example
78
- * ```ts
79
- * const readUserId: Task<string> = Task.resolve(session.userId);
80
- * const loadPrefs = (id: string): Task<Preferences> =>
81
- * Task.resolve(prefsCache.get(id));
82
- *
83
- * pipe(
84
- * readUserId,
85
- * Task.chain(loadPrefs)
86
- * )(); // Deferred<Preferences>
87
- * ```
88
- */
89
- const chain: <A, B>(f: (a: A) => Task<B>) => (data: Task<A>) => Task<B>;
90
- /**
91
- * Applies a function wrapped in a Task to a value wrapped in a Task.
92
- * Both Tasks run in parallel.
93
- *
94
- * @example
95
- * ```ts
96
- * const add = (a: number) => (b: number) => a + b;
97
- * pipe(
98
- * Task.resolve(add),
99
- * Task.ap(Task.resolve(5)),
100
- * Task.ap(Task.resolve(3))
101
- * )(); // Deferred<8>
102
- * ```
103
- */
104
- const ap: <A>(arg: Task<A>) => <B>(data: Task<(a: A) => B>) => Task<B>;
105
- /**
106
- * Executes a side effect on the value without changing the Task.
107
- * Useful for logging or debugging.
108
- *
109
- * @example
110
- * ```ts
111
- * pipe(
112
- * loadConfig,
113
- * Task.tap(cfg => console.log("Config:", cfg)),
114
- * Task.map(buildReport)
115
- * );
116
- * ```
117
- */
118
- const tap: <A>(f: (a: A) => void) => (data: Task<A>) => Task<A>;
119
- /**
120
- * Runs multiple Tasks in parallel and collects their results.
121
- *
122
- * @example
123
- * ```ts
124
- * Task.all([loadConfig, detectLocale, loadTheme])();
125
- * // Deferred<[Config, string, Theme]>
126
- * ```
127
- */
128
- const all: <T extends readonly Task<unknown>[]>(tasks: T) => Task<{ [K in keyof T]: T[K] extends Task<infer A> ? A : never; }>;
129
- /**
130
- * Delays the execution of a Task by the specified milliseconds.
131
- * Useful for debouncing or rate limiting.
132
- *
133
- * @example
134
- * ```ts
135
- * pipe(
136
- * Task.resolve(42),
137
- * Task.delay(1000)
138
- * )(); // Resolves after 1 second
139
- * ```
140
- */
141
- const delay: (ms: number) => <A>(data: Task<A>) => Task<A>;
142
- /**
143
- * Runs a Task a fixed number of times sequentially, collecting all results into an array.
144
- * An optional delay (ms) can be inserted between runs.
145
- *
146
- * @example
147
- * ```ts
148
- * pipe(
149
- * pollSensor,
150
- * Task.repeat({ times: 5, delay: 1000 })
151
- * )(); // Task<Reading[]> — 5 readings, one per second
152
- * ```
153
- */
154
- const repeat: (options: {
155
- times: number;
156
- delay?: number;
157
- }) => <A>(task: Task<A>) => Task<A[]>;
158
- /**
159
- * Runs a Task repeatedly until the result satisfies a predicate, returning that result.
160
- * An optional delay (ms) can be inserted between runs.
161
- *
162
- * @example
163
- * ```ts
164
- * pipe(
165
- * checkStatus,
166
- * Task.repeatUntil({ when: (s) => s === "ready", delay: 500 })
167
- * )(); // polls every 500ms until status is "ready"
168
- * ```
169
- */
170
- const repeatUntil: <A>(options: {
171
- when: (a: A) => boolean;
172
- delay?: number;
173
- }) => (task: Task<A>) => Task<A>;
174
- /**
175
- * Resolves with the value of the first Task to complete. All Tasks start
176
- * immediately; the rest are abandoned once one resolves.
177
- *
178
- * @example
179
- * ```ts
180
- * const fast = Task.from(() => new Promise<string>(r => setTimeout(() => r("fast"), 10)));
181
- * const slow = Task.from(() => new Promise<string>(r => setTimeout(() => r("slow"), 200)));
182
- *
183
- * await Task.race([fast, slow])(); // "fast"
184
- * ```
185
- */
186
- const race: <A>(tasks: ReadonlyArray<Task<A>>) => Task<A>;
187
- /**
188
- * Runs an array of Tasks one at a time in order, collecting all results.
189
- * Each Task starts only after the previous one resolves.
190
- *
191
- * @example
192
- * ```ts
193
- * let log: number[] = [];
194
- * const makeTask = (n: number) => Task.from(() => {
195
- * log.push(n);
196
- * return Promise.resolve(n);
197
- * });
198
- *
199
- * await Task.sequential([makeTask(1), makeTask(2), makeTask(3)])();
200
- * // log = [1, 2, 3] — tasks ran in order
201
- * ```
202
- */
203
- const sequential: <A>(tasks: ReadonlyArray<Task<A>>) => Task<ReadonlyArray<A>>;
204
- /**
205
- * Converts a `Task<A>` into a `Task<Result<E, A>>`, resolving to `Err` if the
206
- * Task does not complete within the given time.
207
- *
208
- * @example
209
- * ```ts
210
- * pipe(
211
- * heavyComputation,
212
- * Task.timeout(5000, () => "timed out"),
213
- * TaskResult.chain(processResult)
214
- * );
215
- * ```
216
- */
217
- const timeout: <E>(ms: number, onTimeout: () => E) => <A>(task: Task<A>) => Task<Result<E, A>>;
218
- }
219
- //# sourceMappingURL=Task.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"Task.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Task.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC;AAOxC,yBAAiB,IAAI,CAAC;IACrB;;;;;;;;OAQG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,IAAI,CAAC,CAAC,CAAuD,CAAC;IAEpG;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAoC,CAAC;IAEzF;;;;;;;;;;OAUG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAwC,CAAC;IAE7G;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,MAAM,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CACnB,CAAC;IAE1D;;;;;;;;;;;;;OAaG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAMzE,CAAC;IAEH;;;;;;;;;;;;OAYG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAMlE,CAAC;IAEH;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,SAAS,SAAS,IAAI,CAAC,OAAO,CAAC,EAAE,EACrD,OAAO,CAAC,KACN,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,GAAE,CAQhE,CAAC;IAEH;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GAAI,IAAI,MAAM,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAS7D,CAAC;IAEH;;;;;;;;;;;OAWG;IACI,MAAM,MAAM,GAAI,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAc/F,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,MAAM,WAAW,GAAI,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,MAAM,MAAM,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAW5G,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAmD,CAAC;IAElH;;;;;;;;;;;;;;;OAeG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAOhF,CAAC;IAEJ;;;;;;;;;;;;OAYG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,IAAI,MAAM,EAAE,WAAW,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAYhG,CAAC;CACJ"}
@@ -1,121 +0,0 @@
1
- import { Option } from "./Option.js";
2
- import { Task } from "./Task.js";
3
- import { TaskResult } from "./TaskResult.js";
4
- /**
5
- * A Task that resolves to an optional value.
6
- * Combines async operations with the Option type for values that may not exist.
7
- *
8
- * @example
9
- * ```ts
10
- * const findUser = (id: string): TaskOption<User> =>
11
- * TaskOption.tryCatch(() => db.users.findById(id));
12
- *
13
- * pipe(
14
- * findUser("123"),
15
- * TaskOption.map(user => user.name),
16
- * TaskOption.getOrElse(() => "Unknown")
17
- * )();
18
- * ```
19
- */
20
- export type TaskOption<A> = Task<Option<A>>;
21
- export declare namespace TaskOption {
22
- /**
23
- * Wraps a value in a Some inside a Task.
24
- */
25
- const some: <A>(value: A) => TaskOption<A>;
26
- /**
27
- * Creates a TaskOption that resolves to None.
28
- */
29
- const none: <A = never>() => TaskOption<A>;
30
- /**
31
- * Lifts an Option into a TaskOption.
32
- */
33
- const fromOption: <A>(option: Option<A>) => TaskOption<A>;
34
- /**
35
- * Lifts a Task into a TaskOption by wrapping its result in Some.
36
- */
37
- const fromTask: <A>(task: Task<A>) => TaskOption<A>;
38
- /**
39
- * Creates a TaskOption from a Promise-returning function.
40
- * Returns Some if the promise resolves, None if it rejects.
41
- *
42
- * @example
43
- * ```ts
44
- * const fetchUser = TaskOption.tryCatch(() =>
45
- * fetch("/user/1").then(r => r.json())
46
- * );
47
- * ```
48
- */
49
- const tryCatch: <A>(f: () => Promise<A>) => TaskOption<A>;
50
- /**
51
- * Transforms the value inside a TaskOption.
52
- */
53
- const map: <A, B>(f: (a: A) => B) => (data: TaskOption<A>) => TaskOption<B>;
54
- /**
55
- * Chains TaskOption computations. If the first resolves to Some, passes the
56
- * value to f. If the first resolves to None, propagates None.
57
- *
58
- * @example
59
- * ```ts
60
- * pipe(
61
- * findUser("123"),
62
- * TaskOption.chain(user => findOrg(user.orgId))
63
- * )();
64
- * ```
65
- */
66
- const chain: <A, B>(f: (a: A) => TaskOption<B>) => (data: TaskOption<A>) => TaskOption<B>;
67
- /**
68
- * Applies a function wrapped in a TaskOption to a value wrapped in a TaskOption.
69
- * Both Tasks run in parallel.
70
- */
71
- const ap: <A>(arg: TaskOption<A>) => <B>(data: TaskOption<(a: A) => B>) => TaskOption<B>;
72
- /**
73
- * Extracts a value from a TaskOption by providing handlers for both cases.
74
- */
75
- const fold: <A, B>(onNone: () => B, onSome: (a: A) => B) => (data: TaskOption<A>) => Task<B>;
76
- /**
77
- * Pattern matches on a TaskOption, returning a Task of the result.
78
- *
79
- * @example
80
- * ```ts
81
- * pipe(
82
- * findUser("123"),
83
- * TaskOption.match({
84
- * some: user => `Hello, ${user.name}`,
85
- * none: () => "User not found"
86
- * })
87
- * )();
88
- * ```
89
- */
90
- const match: <A, B>(cases: {
91
- none: () => B;
92
- some: (a: A) => B;
93
- }) => (data: TaskOption<A>) => Task<B>;
94
- /**
95
- * Returns the value or a default if the TaskOption resolves to None.
96
- * The default can be a different type, widening the result to `Task<A | B>`.
97
- */
98
- const getOrElse: <A, B>(defaultValue: () => B) => (data: TaskOption<A>) => Task<A | B>;
99
- /**
100
- * Executes a side effect on the value without changing the TaskOption.
101
- * Useful for logging or debugging.
102
- */
103
- const tap: <A>(f: (a: A) => void) => (data: TaskOption<A>) => TaskOption<A>;
104
- /**
105
- * Filters the value inside a TaskOption. Returns None if the predicate fails.
106
- */
107
- const filter: <A>(predicate: (a: A) => boolean) => (data: TaskOption<A>) => TaskOption<A>;
108
- /**
109
- * Converts a TaskOption to a TaskResult, using onNone to produce the error value.
110
- *
111
- * @example
112
- * ```ts
113
- * pipe(
114
- * findUser("123"),
115
- * TaskOption.toTaskResult(() => "User not found")
116
- * );
117
- * ```
118
- */
119
- const toTaskResult: <E>(onNone: () => E) => <A>(data: TaskOption<A>) => TaskResult<E, A>;
120
- }
121
- //# sourceMappingURL=TaskOption.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"TaskOption.d.ts","sourceRoot":"","sources":["../../../src/src/Core/TaskOption.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5C,yBAAiB,UAAU,CAAC;IAC3B;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,CAAqC,CAAC;IAErF;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,GAAG,KAAK,OAAK,UAAU,CAAC,CAAC,CAAgC,CAAC;IAEhF;;OAEG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,QAAQ,MAAM,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAAyB,CAAC;IAExF;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAAgC,CAAC;IAEzF;;;;;;;;;;OAUG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAK5D,CAAC;IAEH;;OAEG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAAkC,CAAC;IAEnH;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CACiB,CAAC;IAEhH;;;OAGG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAM3F,CAAC;IAEH;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CACrD,CAAC;IAE7C;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO;QAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,MAAM,MAAM,UAAU,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CACrE,CAAC;IAErC;;;OAGG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CACtC,CAAC;IAEtD;;;OAGG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAAkC,CAAC;IAEnH;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,MAAM,MAAM,UAAU,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CACrD,CAAC;IAE1C;;;;;;;;;;OAUG;IACI,MAAM,YAAY,GAAI,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACrD,CAAC;CACzC"}
@@ -1,119 +0,0 @@
1
- import { Result } from "./Result.js";
2
- import { Task } from "./Task.js";
3
- /**
4
- * A Task that can fail with an error of type E or succeed with a value of type A.
5
- * Combines async operations with typed error handling.
6
- *
7
- * @example
8
- * ```ts
9
- * const fetchUser = (id: string): TaskResult<Error, User> =>
10
- * TaskResult.tryCatch(
11
- * () => fetch(`/users/${id}`).then(r => r.json()),
12
- * (e) => new Error(`Failed to fetch user: ${e}`)
13
- * );
14
- * ```
15
- */
16
- export type TaskResult<E, A> = Task<Result<E, A>>;
17
- export declare namespace TaskResult {
18
- /**
19
- * Wraps a value in a successful TaskResult.
20
- */
21
- const ok: <E, A>(value: A) => TaskResult<E, A>;
22
- /**
23
- * Creates a failed TaskResult with the given error.
24
- */
25
- const err: <E, A>(error: E) => TaskResult<E, A>;
26
- /**
27
- * Creates a TaskResult from a function that may throw.
28
- * Catches any errors and transforms them using the onError function.
29
- *
30
- * @example
31
- * ```ts
32
- * const parseJson = (s: string): TaskResult<string, unknown> =>
33
- * TaskResult.tryCatch(
34
- * async () => JSON.parse(s),
35
- * (e) => `Parse error: ${e}`
36
- * );
37
- * ```
38
- */
39
- const tryCatch: <E, A>(f: () => Promise<A>, onError: (e: unknown) => E) => TaskResult<E, A>;
40
- /**
41
- * Transforms the success value inside a TaskResult.
42
- */
43
- const map: <E, A, B>(f: (a: A) => B) => (data: TaskResult<E, A>) => TaskResult<E, B>;
44
- /**
45
- * Transforms the error value inside a TaskResult.
46
- */
47
- const mapError: <E, F, A>(f: (e: E) => F) => (data: TaskResult<E, A>) => TaskResult<F, A>;
48
- /**
49
- * Chains TaskResult computations. If the first succeeds, passes the value to f.
50
- * If the first fails, propagates the error.
51
- */
52
- const chain: <E, A, B>(f: (a: A) => TaskResult<E, B>) => (data: TaskResult<E, A>) => TaskResult<E, B>;
53
- /**
54
- * Extracts the value from a TaskResult by providing handlers for both cases.
55
- */
56
- const fold: <E, A, B>(onErr: (e: E) => B, onOk: (a: A) => B) => (data: TaskResult<E, A>) => Task<B>;
57
- /**
58
- * Pattern matches on a TaskResult, returning a Task of the result.
59
- */
60
- const match: <E, A, B>(cases: {
61
- err: (e: E) => B;
62
- ok: (a: A) => B;
63
- }) => (data: TaskResult<E, A>) => Task<B>;
64
- /**
65
- * Recovers from an error by providing a fallback TaskResult.
66
- * The fallback can produce a different success type, widening the result to `TaskResult<E, A | B>`.
67
- */
68
- const recover: <E, A, B>(fallback: (e: E) => TaskResult<E, B>) => (data: TaskResult<E, A>) => TaskResult<E, A | B>;
69
- /**
70
- * Returns the success value or a default value if the TaskResult is an error.
71
- * The default can be a different type, widening the result to `Task<A | B>`.
72
- */
73
- const getOrElse: <E, A, B>(defaultValue: () => B) => (data: TaskResult<E, A>) => Task<A | B>;
74
- /**
75
- * Executes a side effect on the success value without changing the TaskResult.
76
- * Useful for logging or debugging.
77
- */
78
- const tap: <E, A>(f: (a: A) => void) => (data: TaskResult<E, A>) => TaskResult<E, A>;
79
- /**
80
- * Re-runs a TaskResult on `Err` with configurable attempts, backoff, and retry condition.
81
- *
82
- * @param options.attempts - Total number of attempts (1 = no retry, 3 = up to 3 tries)
83
- * @param options.backoff - Fixed delay in ms, or a function `(attempt) => ms` for computed delay
84
- * @param options.when - Only retry when this returns true; defaults to always retry on Err
85
- *
86
- * @example
87
- * ```ts
88
- * // Retry up to 3 times with exponential backoff
89
- * pipe(
90
- * fetchUser,
91
- * TaskResult.retry({ attempts: 3, backoff: n => n * 1000 })
92
- * );
93
- *
94
- * // Only retry on network errors, not auth errors
95
- * pipe(
96
- * fetchUser,
97
- * TaskResult.retry({ attempts: 3, when: e => e instanceof NetworkError })
98
- * );
99
- * ```
100
- */
101
- const retry: <E>(options: {
102
- attempts: number;
103
- backoff?: number | ((attempt: number) => number);
104
- when?: (error: E) => boolean;
105
- }) => <A>(data: TaskResult<E, A>) => TaskResult<E, A>;
106
- /**
107
- * Fails a TaskResult with a typed error if it does not resolve within the given time.
108
- *
109
- * @example
110
- * ```ts
111
- * pipe(
112
- * fetchUser,
113
- * TaskResult.timeout(5000, () => new TimeoutError("fetch user timed out"))
114
- * );
115
- * ```
116
- */
117
- const timeout: <E>(ms: number, onTimeout: () => E) => <A>(data: TaskResult<E, A>) => TaskResult<E, A>;
118
- }
119
- //# sourceMappingURL=TaskResult.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"TaskResult.d.ts","sourceRoot":"","sources":["../../../src/src/Core/TaskResult.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,yBAAiB,UAAU,CAAC;IAC3B;;OAEG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAmC,CAAC;IAEvF;;OAEG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAoC,CAAC;IAEzF;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC5B,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,EACnB,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KACxB,UAAU,CAAC,CAAC,EAAE,CAAC,CAKhB,CAAC;IAEH;;OAEG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAClD,CAAC;IAExC;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAClD,CAAC;IAE7C;;;OAGG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGlG,CAAC;IAET;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAC/D,CAAC;IAE1C;;OAEG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CACnE,CAAC;IAE9C;;;OAGG;IACI,MAAM,OAAO,GAClB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAGxF,CAAC;IAEV;;;OAGG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CACzC,CAAC;IAEzD;;;OAGG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACrD,CAAC;IAErC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,SAAS;QACjC,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;KAC7B,MACA,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAoBzC,CAAC;IAEJ;;;;;;;;;;OAUG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,IAAI,MAAM,EAAE,WAAW,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAYvG,CAAC;CACJ"}
@@ -1,144 +0,0 @@
1
- import { NonEmptyList } from "../Types/NonEmptyList.js";
2
- import { Task } from "./Task.js";
3
- import { Validation } from "./Validation.js";
4
- /**
5
- * A Task that resolves to a Validation — combining async operations with
6
- * error accumulation. Unlike TaskResult, multiple failures are collected
7
- * rather than short-circuiting on the first error.
8
- *
9
- * @example
10
- * ```ts
11
- * const validateName = (name: string): TaskValidation<string, string> =>
12
- * name.length > 0
13
- * ? TaskValidation.valid(name)
14
- * : TaskValidation.invalid("Name is required");
15
- *
16
- * // Accumulate errors from multiple async validations using ap
17
- * pipe(
18
- * TaskValidation.valid((name: string) => (age: number) => ({ name, age })),
19
- * TaskValidation.ap(validateName("")),
20
- * TaskValidation.ap(validateAge(-1))
21
- * )();
22
- * // Invalid(["Name is required", "Age must be positive"])
23
- * ```
24
- */
25
- export type TaskValidation<E, A> = Task<Validation<E, A>>;
26
- export declare namespace TaskValidation {
27
- /**
28
- * Wraps a value in a valid TaskValidation.
29
- */
30
- const valid: <E, A>(value: A) => TaskValidation<E, A>;
31
- /**
32
- * Creates a failed TaskValidation with a single error.
33
- */
34
- const invalid: <E, A>(error: E) => TaskValidation<E, A>;
35
- /**
36
- * Creates an invalid TaskValidation from multiple errors.
37
- */
38
- const invalidAll: <E, A>(errors: NonEmptyList<E>) => TaskValidation<E, A>;
39
- /**
40
- * Lifts a Validation into a TaskValidation.
41
- */
42
- const fromValidation: <E, A>(validation: Validation<E, A>) => TaskValidation<E, A>;
43
- /**
44
- * Creates a TaskValidation from a Promise-returning function.
45
- * Catches any errors and transforms them using the onError function.
46
- *
47
- * @example
48
- * ```ts
49
- * const fetchUser = (id: string): TaskValidation<string, User> =>
50
- * TaskValidation.tryCatch(
51
- * () => fetch(`/users/${id}`).then(r => r.json()),
52
- * e => `Failed to fetch user: ${e}`
53
- * );
54
- * ```
55
- */
56
- const tryCatch: <E, A>(f: () => Promise<A>, onError: (e: unknown) => E) => TaskValidation<E, A>;
57
- /**
58
- * Transforms the success value inside a TaskValidation.
59
- */
60
- const map: <E, A, B>(f: (a: A) => B) => (data: TaskValidation<E, A>) => TaskValidation<E, B>;
61
- /**
62
- * Applies a function wrapped in a TaskValidation to a value wrapped in a
63
- * TaskValidation. Both Tasks run in parallel and errors from both sides
64
- * are accumulated.
65
- *
66
- * @example
67
- * ```ts
68
- * pipe(
69
- * TaskValidation.valid((name: string) => (age: number) => ({ name, age })),
70
- * TaskValidation.ap(validateName(name)),
71
- * TaskValidation.ap(validateAge(age))
72
- * )();
73
- * ```
74
- */
75
- const ap: <E, A>(arg: TaskValidation<E, A>) => <B>(data: TaskValidation<E, (a: A) => B>) => TaskValidation<E, B>;
76
- /**
77
- * Extracts a value from a TaskValidation by providing handlers for both cases.
78
- */
79
- const fold: <E, A, B>(onInvalid: (errors: NonEmptyList<E>) => B, onValid: (a: A) => B) => (data: TaskValidation<E, A>) => Task<B>;
80
- /**
81
- * Pattern matches on a TaskValidation, returning a Task of the result.
82
- *
83
- * @example
84
- * ```ts
85
- * pipe(
86
- * validateForm(input),
87
- * TaskValidation.match({
88
- * valid: data => save(data),
89
- * invalid: errors => showErrors(errors)
90
- * })
91
- * )();
92
- * ```
93
- */
94
- const match: <E, A, B>(cases: {
95
- valid: (a: A) => B;
96
- invalid: (errors: NonEmptyList<E>) => B;
97
- }) => (data: TaskValidation<E, A>) => Task<B>;
98
- /**
99
- * Returns the success value or a default value if the TaskValidation is invalid.
100
- * The default can be a different type, widening the result to `Task<A | B>`.
101
- */
102
- const getOrElse: <E, A, B>(defaultValue: () => B) => (data: TaskValidation<E, A>) => Task<A | B>;
103
- /**
104
- * Executes a side effect on the success value without changing the TaskValidation.
105
- * Useful for logging or debugging.
106
- */
107
- const tap: <E, A>(f: (a: A) => void) => (data: TaskValidation<E, A>) => TaskValidation<E, A>;
108
- /**
109
- * Recovers from an Invalid state by providing a fallback TaskValidation.
110
- * The fallback receives the accumulated error list so callers can inspect which errors occurred.
111
- * The fallback can produce a different success type, widening the result to `TaskValidation<E, A | B>`.
112
- */
113
- const recover: <E, A, B>(fallback: (errors: NonEmptyList<E>) => TaskValidation<E, B>) => (data: TaskValidation<E, A>) => TaskValidation<E, A | B>;
114
- /**
115
- * Runs two TaskValidations concurrently and combines their results into a tuple.
116
- * If both are Valid, returns Valid with both values. If either fails, accumulates
117
- * errors from both sides.
118
- *
119
- * @example
120
- * ```ts
121
- * await TaskValidation.product(
122
- * validateName(form.name),
123
- * validateAge(form.age),
124
- * )(); // Valid(["Alice", 30]) or Invalid([...errors])
125
- * ```
126
- */
127
- const product: <E, A, B>(first: TaskValidation<E, A>, second: TaskValidation<E, B>) => TaskValidation<E, readonly [A, B]>;
128
- /**
129
- * Runs all TaskValidations concurrently and collects results.
130
- * If all are Valid, returns Valid with all values as an array.
131
- * If any fail, returns Invalid with all accumulated errors.
132
- *
133
- * @example
134
- * ```ts
135
- * await TaskValidation.productAll([
136
- * validateName(form.name),
137
- * validateEmail(form.email),
138
- * validateAge(form.age),
139
- * ])(); // Valid([name, email, age]) or Invalid([...all errors])
140
- * ```
141
- */
142
- const productAll: <E, A>(data: NonEmptyList<TaskValidation<E, A>>) => TaskValidation<E, readonly A[]>;
143
- }
144
- //# sourceMappingURL=TaskValidation.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"TaskValidation.d.ts","sourceRoot":"","sources":["../../../src/src/Core/TaskValidation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE1D,yBAAiB,cAAc,CAAC;IAC/B;;OAEG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAA0C,CAAC;IAErG;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAA4C,CAAC;IAEzG;;OAEG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC9B,QAAQ,YAAY,CAAC,CAAC,CAAC,KACrB,cAAc,CAAC,CAAC,EAAE,CAAC,CAAgD,CAAC;IAEvE;;OAEG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAClC,YAAY,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAC1B,cAAc,CAAC,CAAC,EAAE,CAAC,CAA6B,CAAC;IAEpD;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC5B,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,EACnB,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KACxB,cAAc,CAAC,CAAC,EAAE,CAAC,CAKpB,CAAC;IAEH;;OAEG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACzD,CAAC;IAEzC;;;;;;;;;;;;;OAaG;IACI,MAAM,EAAE,GACb,CAAC,EAAE,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAMjG,CAAC;IAEJ;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3B,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EACzC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAEpB,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAiE,CAAC;IAEtG;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACrC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACxC,MACA,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAqD,CAAC;IAE1F;;;OAGG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CACzC,CAAC;IAE7D;;;OAGG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACzD,CAAC;IAEzC;;;;OAIG;IACI,MAAM,OAAO,GAClB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MACpE,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAG7C,CAAC;IAEV;;;;;;;;;;;;OAYG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9B,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,QAAQ,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAC1B,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAMlC,CAAC;IAEH;;;;;;;;;;;;;OAaG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC9B,MAAM,YAAY,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACtC,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAI/B,CAAC;CACH"}