@nlozgachev/pipelined 0.12.0 → 0.14.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 (213) 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-Bd3gXPRQ.d.mts +677 -0
  6. package/dist/Task-BjAkkD6t.d.ts +677 -0
  7. package/dist/chunk-4TXC322E.mjs +136 -0
  8. package/dist/chunk-BYWKZLHM.mjs +10 -0
  9. package/dist/chunk-DBIC62UV.mjs +6 -0
  10. package/dist/chunk-FAZN3IWZ.mjs +554 -0
  11. package/dist/chunk-QPTGO5AS.mjs +150 -0
  12. package/dist/chunk-UV2HMF2A.mjs +514 -0
  13. package/dist/composition.d.mts +495 -0
  14. package/dist/composition.d.ts +495 -0
  15. package/dist/composition.js +188 -0
  16. package/dist/composition.mjs +58 -0
  17. package/dist/core.d.mts +2170 -0
  18. package/dist/core.d.ts +2170 -0
  19. package/dist/core.js +698 -0
  20. package/dist/core.mjs +42 -0
  21. package/dist/index.d.mts +6 -0
  22. package/dist/index.d.ts +6 -0
  23. package/dist/index.js +1421 -0
  24. package/dist/index.mjs +120 -0
  25. package/dist/types.d.mts +54 -0
  26. package/{types/src/Types/Brand.d.ts → dist/types.d.ts} +6 -4
  27. package/dist/types.js +41 -0
  28. package/dist/types.mjs +10 -0
  29. package/dist/utils.d.mts +1285 -0
  30. package/dist/utils.d.ts +1285 -0
  31. package/dist/utils.js +722 -0
  32. package/dist/utils.mjs +18 -0
  33. package/package.json +64 -69
  34. package/esm/mod.js +0 -3
  35. package/esm/package.json +0 -3
  36. package/esm/src/Composition/compose.js +0 -3
  37. package/esm/src/Composition/converge.js +0 -3
  38. package/esm/src/Composition/curry.js +0 -42
  39. package/esm/src/Composition/flip.js +0 -20
  40. package/esm/src/Composition/flow.js +0 -8
  41. package/esm/src/Composition/fn.js +0 -85
  42. package/esm/src/Composition/index.js +0 -13
  43. package/esm/src/Composition/juxt.js +0 -3
  44. package/esm/src/Composition/memoize.js +0 -66
  45. package/esm/src/Composition/not.js +0 -25
  46. package/esm/src/Composition/on.js +0 -12
  47. package/esm/src/Composition/pipe.js +0 -3
  48. package/esm/src/Composition/tap.js +0 -33
  49. package/esm/src/Composition/uncurry.js +0 -32
  50. package/esm/src/Core/Deferred.js +0 -30
  51. package/esm/src/Core/InternalTypes.js +0 -1
  52. package/esm/src/Core/Lens.js +0 -98
  53. package/esm/src/Core/Logged.js +0 -111
  54. package/esm/src/Core/Option.js +0 -191
  55. package/esm/src/Core/Optional.js +0 -160
  56. package/esm/src/Core/Predicate.js +0 -133
  57. package/esm/src/Core/Reader.js +0 -134
  58. package/esm/src/Core/Refinement.js +0 -115
  59. package/esm/src/Core/RemoteData.js +0 -211
  60. package/esm/src/Core/Result.js +0 -170
  61. package/esm/src/Core/State.js +0 -181
  62. package/esm/src/Core/Task.js +0 -223
  63. package/esm/src/Core/TaskOption.js +0 -106
  64. package/esm/src/Core/TaskResult.js +0 -127
  65. package/esm/src/Core/TaskValidation.js +0 -128
  66. package/esm/src/Core/These.js +0 -245
  67. package/esm/src/Core/Tuple.js +0 -112
  68. package/esm/src/Core/Validation.js +0 -212
  69. package/esm/src/Core/index.js +0 -18
  70. package/esm/src/Types/Brand.js +0 -28
  71. package/esm/src/Types/NonEmptyList.js +0 -14
  72. package/esm/src/Types/index.js +0 -2
  73. package/esm/src/Utils/Arr.js +0 -570
  74. package/esm/src/Utils/Dict.js +0 -421
  75. package/esm/src/Utils/Num.js +0 -124
  76. package/esm/src/Utils/Rec.js +0 -241
  77. package/esm/src/Utils/Str.js +0 -134
  78. package/esm/src/Utils/Uniq.js +0 -265
  79. package/esm/src/Utils/index.js +0 -6
  80. package/script/mod.js +0 -19
  81. package/script/package.json +0 -3
  82. package/script/src/Composition/compose.js +0 -6
  83. package/script/src/Composition/converge.js +0 -6
  84. package/script/src/Composition/curry.js +0 -48
  85. package/script/src/Composition/flip.js +0 -24
  86. package/script/src/Composition/flow.js +0 -11
  87. package/script/src/Composition/fn.js +0 -98
  88. package/script/src/Composition/index.js +0 -29
  89. package/script/src/Composition/juxt.js +0 -6
  90. package/script/src/Composition/memoize.js +0 -71
  91. package/script/src/Composition/not.js +0 -29
  92. package/script/src/Composition/on.js +0 -16
  93. package/script/src/Composition/pipe.js +0 -6
  94. package/script/src/Composition/tap.js +0 -37
  95. package/script/src/Composition/uncurry.js +0 -38
  96. package/script/src/Core/Deferred.js +0 -33
  97. package/script/src/Core/InternalTypes.js +0 -2
  98. package/script/src/Core/Lens.js +0 -101
  99. package/script/src/Core/Logged.js +0 -114
  100. package/script/src/Core/Option.js +0 -194
  101. package/script/src/Core/Optional.js +0 -163
  102. package/script/src/Core/Predicate.js +0 -136
  103. package/script/src/Core/Reader.js +0 -137
  104. package/script/src/Core/Refinement.js +0 -118
  105. package/script/src/Core/RemoteData.js +0 -214
  106. package/script/src/Core/Result.js +0 -173
  107. package/script/src/Core/State.js +0 -184
  108. package/script/src/Core/Task.js +0 -226
  109. package/script/src/Core/TaskOption.js +0 -109
  110. package/script/src/Core/TaskResult.js +0 -130
  111. package/script/src/Core/TaskValidation.js +0 -131
  112. package/script/src/Core/These.js +0 -248
  113. package/script/src/Core/Tuple.js +0 -115
  114. package/script/src/Core/Validation.js +0 -215
  115. package/script/src/Core/index.js +0 -34
  116. package/script/src/Types/Brand.js +0 -31
  117. package/script/src/Types/NonEmptyList.js +0 -18
  118. package/script/src/Types/index.js +0 -18
  119. package/script/src/Utils/Arr.js +0 -573
  120. package/script/src/Utils/Dict.js +0 -424
  121. package/script/src/Utils/Num.js +0 -127
  122. package/script/src/Utils/Rec.js +0 -244
  123. package/script/src/Utils/Str.js +0 -137
  124. package/script/src/Utils/Uniq.js +0 -268
  125. package/script/src/Utils/index.js +0 -22
  126. package/types/mod.d.ts +0 -4
  127. package/types/mod.d.ts.map +0 -1
  128. package/types/src/Composition/compose.d.ts +0 -33
  129. package/types/src/Composition/compose.d.ts.map +0 -1
  130. package/types/src/Composition/converge.d.ts +0 -21
  131. package/types/src/Composition/converge.d.ts.map +0 -1
  132. package/types/src/Composition/curry.d.ts +0 -43
  133. package/types/src/Composition/curry.d.ts.map +0 -1
  134. package/types/src/Composition/flip.d.ts +0 -21
  135. package/types/src/Composition/flip.d.ts.map +0 -1
  136. package/types/src/Composition/flow.d.ts +0 -56
  137. package/types/src/Composition/flow.d.ts.map +0 -1
  138. package/types/src/Composition/fn.d.ts +0 -76
  139. package/types/src/Composition/fn.d.ts.map +0 -1
  140. package/types/src/Composition/index.d.ts +0 -14
  141. package/types/src/Composition/index.d.ts.map +0 -1
  142. package/types/src/Composition/juxt.d.ts +0 -18
  143. package/types/src/Composition/juxt.d.ts.map +0 -1
  144. package/types/src/Composition/memoize.d.ts +0 -46
  145. package/types/src/Composition/memoize.d.ts.map +0 -1
  146. package/types/src/Composition/not.d.ts +0 -26
  147. package/types/src/Composition/not.d.ts.map +0 -1
  148. package/types/src/Composition/on.d.ts +0 -13
  149. package/types/src/Composition/on.d.ts.map +0 -1
  150. package/types/src/Composition/pipe.d.ts +0 -56
  151. package/types/src/Composition/pipe.d.ts.map +0 -1
  152. package/types/src/Composition/tap.d.ts +0 -31
  153. package/types/src/Composition/tap.d.ts.map +0 -1
  154. package/types/src/Composition/uncurry.d.ts +0 -54
  155. package/types/src/Composition/uncurry.d.ts.map +0 -1
  156. package/types/src/Core/Deferred.d.ts +0 -49
  157. package/types/src/Core/Deferred.d.ts.map +0 -1
  158. package/types/src/Core/InternalTypes.d.ts +0 -23
  159. package/types/src/Core/InternalTypes.d.ts.map +0 -1
  160. package/types/src/Core/Lens.d.ts +0 -118
  161. package/types/src/Core/Lens.d.ts.map +0 -1
  162. package/types/src/Core/Logged.d.ts +0 -126
  163. package/types/src/Core/Logged.d.ts.map +0 -1
  164. package/types/src/Core/Option.d.ts +0 -209
  165. package/types/src/Core/Option.d.ts.map +0 -1
  166. package/types/src/Core/Optional.d.ts +0 -158
  167. package/types/src/Core/Optional.d.ts.map +0 -1
  168. package/types/src/Core/Predicate.d.ts +0 -161
  169. package/types/src/Core/Predicate.d.ts.map +0 -1
  170. package/types/src/Core/Reader.d.ts +0 -156
  171. package/types/src/Core/Reader.d.ts.map +0 -1
  172. package/types/src/Core/Refinement.d.ts +0 -138
  173. package/types/src/Core/Refinement.d.ts.map +0 -1
  174. package/types/src/Core/RemoteData.d.ts +0 -197
  175. package/types/src/Core/RemoteData.d.ts.map +0 -1
  176. package/types/src/Core/Result.d.ts +0 -182
  177. package/types/src/Core/Result.d.ts.map +0 -1
  178. package/types/src/Core/State.d.ts +0 -192
  179. package/types/src/Core/State.d.ts.map +0 -1
  180. package/types/src/Core/Task.d.ts +0 -219
  181. package/types/src/Core/Task.d.ts.map +0 -1
  182. package/types/src/Core/TaskOption.d.ts +0 -121
  183. package/types/src/Core/TaskOption.d.ts.map +0 -1
  184. package/types/src/Core/TaskResult.d.ts +0 -119
  185. package/types/src/Core/TaskResult.d.ts.map +0 -1
  186. package/types/src/Core/TaskValidation.d.ts +0 -144
  187. package/types/src/Core/TaskValidation.d.ts.map +0 -1
  188. package/types/src/Core/These.d.ts +0 -225
  189. package/types/src/Core/These.d.ts.map +0 -1
  190. package/types/src/Core/Tuple.d.ts +0 -129
  191. package/types/src/Core/Tuple.d.ts.map +0 -1
  192. package/types/src/Core/Validation.d.ts +0 -203
  193. package/types/src/Core/Validation.d.ts.map +0 -1
  194. package/types/src/Core/index.d.ts +0 -19
  195. package/types/src/Core/index.d.ts.map +0 -1
  196. package/types/src/Types/Brand.d.ts.map +0 -1
  197. package/types/src/Types/NonEmptyList.d.ts.map +0 -1
  198. package/types/src/Types/index.d.ts +0 -3
  199. package/types/src/Types/index.d.ts.map +0 -1
  200. package/types/src/Utils/Arr.d.ts +0 -403
  201. package/types/src/Utils/Arr.d.ts.map +0 -1
  202. package/types/src/Utils/Dict.d.ts +0 -310
  203. package/types/src/Utils/Dict.d.ts.map +0 -1
  204. package/types/src/Utils/Num.d.ts +0 -110
  205. package/types/src/Utils/Num.d.ts.map +0 -1
  206. package/types/src/Utils/Rec.d.ts +0 -159
  207. package/types/src/Utils/Rec.d.ts.map +0 -1
  208. package/types/src/Utils/Str.d.ts +0 -128
  209. package/types/src/Utils/Str.d.ts.map +0 -1
  210. package/types/src/Utils/Uniq.d.ts +0 -179
  211. package/types/src/Utils/Uniq.d.ts.map +0 -1
  212. package/types/src/Utils/index.d.ts +0 -7
  213. 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"}