@nlozgachev/pipelined 0.11.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.
- package/LICENCE +28 -0
- package/README.md +1 -1
- package/{types/src/Types/NonEmptyList.d.ts → dist/NonEmptyList-BlGFjor5.d.mts} +4 -3
- package/dist/NonEmptyList-BlGFjor5.d.ts +30 -0
- package/dist/Task-BB8Wmc1J.d.ts +677 -0
- package/dist/Task-ChKyH0pF.d.mts +677 -0
- package/dist/chunk-DBIC62UV.mjs +6 -0
- package/dist/chunk-QPTGO5AS.mjs +150 -0
- package/dist/composition.d.mts +495 -0
- package/dist/composition.d.ts +495 -0
- package/dist/composition.js +188 -0
- package/dist/composition.mjs +135 -0
- package/dist/core.d.mts +2170 -0
- package/dist/core.d.ts +2170 -0
- package/dist/core.js +698 -0
- package/dist/core.mjs +517 -0
- package/dist/types.d.mts +54 -0
- package/{types/src/Types/Brand.d.ts → dist/types.d.ts} +6 -4
- package/dist/types.js +41 -0
- package/dist/types.mjs +14 -0
- package/dist/utils.d.mts +1285 -0
- package/dist/utils.d.ts +1285 -0
- package/dist/utils.js +722 -0
- package/dist/utils.mjs +553 -0
- package/package.json +63 -69
- package/esm/mod.js +0 -3
- package/esm/package.json +0 -3
- package/esm/src/Composition/compose.js +0 -3
- package/esm/src/Composition/converge.js +0 -3
- package/esm/src/Composition/curry.js +0 -42
- package/esm/src/Composition/flip.js +0 -20
- package/esm/src/Composition/flow.js +0 -8
- package/esm/src/Composition/fn.js +0 -85
- package/esm/src/Composition/index.js +0 -13
- package/esm/src/Composition/juxt.js +0 -3
- package/esm/src/Composition/memoize.js +0 -66
- package/esm/src/Composition/not.js +0 -25
- package/esm/src/Composition/on.js +0 -12
- package/esm/src/Composition/pipe.js +0 -3
- package/esm/src/Composition/tap.js +0 -33
- package/esm/src/Composition/uncurry.js +0 -32
- package/esm/src/Core/Deferred.js +0 -30
- package/esm/src/Core/InternalTypes.js +0 -1
- package/esm/src/Core/Lens.js +0 -98
- package/esm/src/Core/Logged.js +0 -111
- package/esm/src/Core/Option.js +0 -191
- package/esm/src/Core/Optional.js +0 -160
- package/esm/src/Core/Predicate.js +0 -133
- package/esm/src/Core/Reader.js +0 -134
- package/esm/src/Core/Refinement.js +0 -115
- package/esm/src/Core/RemoteData.js +0 -211
- package/esm/src/Core/Result.js +0 -170
- package/esm/src/Core/State.js +0 -181
- package/esm/src/Core/Task.js +0 -223
- package/esm/src/Core/TaskOption.js +0 -106
- package/esm/src/Core/TaskResult.js +0 -127
- package/esm/src/Core/TaskValidation.js +0 -128
- package/esm/src/Core/These.js +0 -245
- package/esm/src/Core/Validation.js +0 -212
- package/esm/src/Core/index.js +0 -17
- package/esm/src/Types/Brand.js +0 -28
- package/esm/src/Types/NonEmptyList.js +0 -14
- package/esm/src/Types/index.js +0 -2
- package/esm/src/Utils/Arr.js +0 -570
- package/esm/src/Utils/Num.js +0 -124
- package/esm/src/Utils/Rec.js +0 -215
- package/esm/src/Utils/Str.js +0 -134
- package/esm/src/Utils/index.js +0 -4
- package/script/mod.js +0 -19
- package/script/package.json +0 -3
- package/script/src/Composition/compose.js +0 -6
- package/script/src/Composition/converge.js +0 -6
- package/script/src/Composition/curry.js +0 -48
- package/script/src/Composition/flip.js +0 -24
- package/script/src/Composition/flow.js +0 -11
- package/script/src/Composition/fn.js +0 -98
- package/script/src/Composition/index.js +0 -29
- package/script/src/Composition/juxt.js +0 -6
- package/script/src/Composition/memoize.js +0 -71
- package/script/src/Composition/not.js +0 -29
- package/script/src/Composition/on.js +0 -16
- package/script/src/Composition/pipe.js +0 -6
- package/script/src/Composition/tap.js +0 -37
- package/script/src/Composition/uncurry.js +0 -38
- package/script/src/Core/Deferred.js +0 -33
- package/script/src/Core/InternalTypes.js +0 -2
- package/script/src/Core/Lens.js +0 -101
- package/script/src/Core/Logged.js +0 -114
- package/script/src/Core/Option.js +0 -194
- package/script/src/Core/Optional.js +0 -163
- package/script/src/Core/Predicate.js +0 -136
- package/script/src/Core/Reader.js +0 -137
- package/script/src/Core/Refinement.js +0 -118
- package/script/src/Core/RemoteData.js +0 -214
- package/script/src/Core/Result.js +0 -173
- package/script/src/Core/State.js +0 -184
- package/script/src/Core/Task.js +0 -226
- package/script/src/Core/TaskOption.js +0 -109
- package/script/src/Core/TaskResult.js +0 -130
- package/script/src/Core/TaskValidation.js +0 -131
- package/script/src/Core/These.js +0 -248
- package/script/src/Core/Validation.js +0 -215
- package/script/src/Core/index.js +0 -33
- package/script/src/Types/Brand.js +0 -31
- package/script/src/Types/NonEmptyList.js +0 -18
- package/script/src/Types/index.js +0 -18
- package/script/src/Utils/Arr.js +0 -573
- package/script/src/Utils/Num.js +0 -127
- package/script/src/Utils/Rec.js +0 -218
- package/script/src/Utils/Str.js +0 -137
- package/script/src/Utils/index.js +0 -20
- package/types/mod.d.ts +0 -4
- package/types/mod.d.ts.map +0 -1
- package/types/src/Composition/compose.d.ts +0 -33
- package/types/src/Composition/compose.d.ts.map +0 -1
- package/types/src/Composition/converge.d.ts +0 -21
- package/types/src/Composition/converge.d.ts.map +0 -1
- package/types/src/Composition/curry.d.ts +0 -43
- package/types/src/Composition/curry.d.ts.map +0 -1
- package/types/src/Composition/flip.d.ts +0 -21
- package/types/src/Composition/flip.d.ts.map +0 -1
- package/types/src/Composition/flow.d.ts +0 -56
- package/types/src/Composition/flow.d.ts.map +0 -1
- package/types/src/Composition/fn.d.ts +0 -76
- package/types/src/Composition/fn.d.ts.map +0 -1
- package/types/src/Composition/index.d.ts +0 -14
- package/types/src/Composition/index.d.ts.map +0 -1
- package/types/src/Composition/juxt.d.ts +0 -18
- package/types/src/Composition/juxt.d.ts.map +0 -1
- package/types/src/Composition/memoize.d.ts +0 -46
- package/types/src/Composition/memoize.d.ts.map +0 -1
- package/types/src/Composition/not.d.ts +0 -26
- package/types/src/Composition/not.d.ts.map +0 -1
- package/types/src/Composition/on.d.ts +0 -13
- package/types/src/Composition/on.d.ts.map +0 -1
- package/types/src/Composition/pipe.d.ts +0 -56
- package/types/src/Composition/pipe.d.ts.map +0 -1
- package/types/src/Composition/tap.d.ts +0 -31
- package/types/src/Composition/tap.d.ts.map +0 -1
- package/types/src/Composition/uncurry.d.ts +0 -54
- package/types/src/Composition/uncurry.d.ts.map +0 -1
- package/types/src/Core/Deferred.d.ts +0 -49
- package/types/src/Core/Deferred.d.ts.map +0 -1
- package/types/src/Core/InternalTypes.d.ts +0 -23
- package/types/src/Core/InternalTypes.d.ts.map +0 -1
- package/types/src/Core/Lens.d.ts +0 -118
- package/types/src/Core/Lens.d.ts.map +0 -1
- package/types/src/Core/Logged.d.ts +0 -126
- package/types/src/Core/Logged.d.ts.map +0 -1
- package/types/src/Core/Option.d.ts +0 -209
- package/types/src/Core/Option.d.ts.map +0 -1
- package/types/src/Core/Optional.d.ts +0 -158
- package/types/src/Core/Optional.d.ts.map +0 -1
- package/types/src/Core/Predicate.d.ts +0 -161
- package/types/src/Core/Predicate.d.ts.map +0 -1
- package/types/src/Core/Reader.d.ts +0 -156
- package/types/src/Core/Reader.d.ts.map +0 -1
- package/types/src/Core/Refinement.d.ts +0 -138
- package/types/src/Core/Refinement.d.ts.map +0 -1
- package/types/src/Core/RemoteData.d.ts +0 -197
- package/types/src/Core/RemoteData.d.ts.map +0 -1
- package/types/src/Core/Result.d.ts +0 -182
- package/types/src/Core/Result.d.ts.map +0 -1
- package/types/src/Core/State.d.ts +0 -192
- package/types/src/Core/State.d.ts.map +0 -1
- package/types/src/Core/Task.d.ts +0 -219
- package/types/src/Core/Task.d.ts.map +0 -1
- package/types/src/Core/TaskOption.d.ts +0 -121
- package/types/src/Core/TaskOption.d.ts.map +0 -1
- package/types/src/Core/TaskResult.d.ts +0 -119
- package/types/src/Core/TaskResult.d.ts.map +0 -1
- package/types/src/Core/TaskValidation.d.ts +0 -144
- package/types/src/Core/TaskValidation.d.ts.map +0 -1
- package/types/src/Core/These.d.ts +0 -225
- package/types/src/Core/These.d.ts.map +0 -1
- package/types/src/Core/Validation.d.ts +0 -203
- package/types/src/Core/Validation.d.ts.map +0 -1
- package/types/src/Core/index.d.ts +0 -18
- package/types/src/Core/index.d.ts.map +0 -1
- package/types/src/Types/Brand.d.ts.map +0 -1
- package/types/src/Types/NonEmptyList.d.ts.map +0 -1
- package/types/src/Types/index.d.ts +0 -3
- package/types/src/Types/index.d.ts.map +0 -1
- package/types/src/Utils/Arr.d.ts +0 -403
- package/types/src/Utils/Arr.d.ts.map +0 -1
- package/types/src/Utils/Num.d.ts +0 -110
- package/types/src/Utils/Num.d.ts.map +0 -1
- package/types/src/Utils/Rec.d.ts +0 -143
- package/types/src/Utils/Rec.d.ts.map +0 -1
- package/types/src/Utils/Str.d.ts +0 -128
- package/types/src/Utils/Str.d.ts.map +0 -1
- package/types/src/Utils/index.d.ts +0 -5
- package/types/src/Utils/index.d.ts.map +0 -1
|
@@ -1,182 +0,0 @@
|
|
|
1
|
-
import { WithError, WithKind, WithValue } from "./InternalTypes.js";
|
|
2
|
-
import { Option } from "./Option.js";
|
|
3
|
-
/**
|
|
4
|
-
* Result represents a value that can be one of two types: a success (Ok) or a failure (Err).
|
|
5
|
-
* Use Result when an operation can fail with a meaningful error value.
|
|
6
|
-
*
|
|
7
|
-
* @example
|
|
8
|
-
* ```ts
|
|
9
|
-
* const divide = (a: number, b: number): Result<string, number> =>
|
|
10
|
-
* b === 0 ? Result.err("Division by zero") : Result.ok(a / b);
|
|
11
|
-
*
|
|
12
|
-
* pipe(
|
|
13
|
-
* divide(10, 2),
|
|
14
|
-
* Result.map(n => n * 2),
|
|
15
|
-
* Result.getOrElse(() => 0)
|
|
16
|
-
* ); // 10
|
|
17
|
-
* ```
|
|
18
|
-
*/
|
|
19
|
-
export type Result<E, A> = Ok<A> | Err<E>;
|
|
20
|
-
export type Ok<A> = WithKind<"Ok"> & WithValue<A>;
|
|
21
|
-
export type Err<E> = WithKind<"Error"> & WithError<E>;
|
|
22
|
-
export declare namespace Result {
|
|
23
|
-
/**
|
|
24
|
-
* Creates a successful Result with the given value.
|
|
25
|
-
*/
|
|
26
|
-
const ok: <A>(value: A) => Ok<A>;
|
|
27
|
-
/**
|
|
28
|
-
* Creates a failed Result with the given error.
|
|
29
|
-
*/
|
|
30
|
-
const err: <E>(error: E) => Err<E>;
|
|
31
|
-
/**
|
|
32
|
-
* Type guard that checks if an Result is Ok.
|
|
33
|
-
*/
|
|
34
|
-
const isOk: <E, A>(data: Result<E, A>) => data is Ok<A>;
|
|
35
|
-
/**
|
|
36
|
-
* Type guard that checks if an Result is Err.
|
|
37
|
-
*/
|
|
38
|
-
const isErr: <E, A>(data: Result<E, A>) => data is Err<E>;
|
|
39
|
-
/**
|
|
40
|
-
* Creates an Result from a function that may throw.
|
|
41
|
-
* Catches any errors and transforms them using the onError function.
|
|
42
|
-
*
|
|
43
|
-
* @example
|
|
44
|
-
* ```ts
|
|
45
|
-
* const parseJson = (s: string): Result<string, unknown> =>
|
|
46
|
-
* Result.tryCatch(
|
|
47
|
-
* () => JSON.parse(s),
|
|
48
|
-
* (e) => `Parse error: ${e}`
|
|
49
|
-
* );
|
|
50
|
-
* ```
|
|
51
|
-
*/
|
|
52
|
-
const tryCatch: <E, A>(f: () => A, onError: (e: unknown) => E) => Result<E, A>;
|
|
53
|
-
/**
|
|
54
|
-
* Transforms the success value inside an Result.
|
|
55
|
-
*
|
|
56
|
-
* @example
|
|
57
|
-
* ```ts
|
|
58
|
-
* pipe(Result.ok(5), Result.map(n => n * 2)); // Ok(10)
|
|
59
|
-
* pipe(Result.err("error"), Result.map(n => n * 2)); // Err("error")
|
|
60
|
-
* ```
|
|
61
|
-
*/
|
|
62
|
-
const map: <E, A, B>(f: (a: A) => B) => (data: Result<E, A>) => Result<E, B>;
|
|
63
|
-
/**
|
|
64
|
-
* Transforms the error value inside an Result.
|
|
65
|
-
*
|
|
66
|
-
* @example
|
|
67
|
-
* ```ts
|
|
68
|
-
* pipe(Result.err("oops"), Result.mapError(e => e.toUpperCase())); // Err("OOPS")
|
|
69
|
-
* ```
|
|
70
|
-
*/
|
|
71
|
-
const mapError: <E, F, A>(f: (e: E) => F) => (data: Result<E, A>) => Result<F, A>;
|
|
72
|
-
/**
|
|
73
|
-
* Chains Result computations. If the first is Ok, passes the value to f.
|
|
74
|
-
* If the first is Err, propagates the error.
|
|
75
|
-
*
|
|
76
|
-
* @example
|
|
77
|
-
* ```ts
|
|
78
|
-
* const validatePositive = (n: number): Result<string, number> =>
|
|
79
|
-
* n > 0 ? Result.ok(n) : Result.err("Must be positive");
|
|
80
|
-
*
|
|
81
|
-
* pipe(Result.ok(5), Result.chain(validatePositive)); // Ok(5)
|
|
82
|
-
* pipe(Result.ok(-1), Result.chain(validatePositive)); // Err("Must be positive")
|
|
83
|
-
* ```
|
|
84
|
-
*/
|
|
85
|
-
const chain: <E, A, B>(f: (a: A) => Result<E, B>) => (data: Result<E, A>) => Result<E, B>;
|
|
86
|
-
/**
|
|
87
|
-
* Extracts the value from an Result by providing handlers for both cases.
|
|
88
|
-
*
|
|
89
|
-
* @example
|
|
90
|
-
* ```ts
|
|
91
|
-
* pipe(
|
|
92
|
-
* Result.ok(5),
|
|
93
|
-
* Result.fold(
|
|
94
|
-
* e => `Error: ${e}`,
|
|
95
|
-
* n => `Value: ${n}`
|
|
96
|
-
* )
|
|
97
|
-
* ); // "Value: 5"
|
|
98
|
-
* ```
|
|
99
|
-
*/
|
|
100
|
-
const fold: <E, A, B>(onErr: (e: E) => B, onOk: (a: A) => B) => (data: Result<E, A>) => B;
|
|
101
|
-
/**
|
|
102
|
-
* Pattern matches on a Result, returning the result of the matching case.
|
|
103
|
-
*
|
|
104
|
-
* @example
|
|
105
|
-
* ```ts
|
|
106
|
-
* pipe(
|
|
107
|
-
* result,
|
|
108
|
-
* Result.match({
|
|
109
|
-
* ok: value => `Got ${value}`,
|
|
110
|
-
* err: error => `Failed: ${error}`
|
|
111
|
-
* })
|
|
112
|
-
* );
|
|
113
|
-
* ```
|
|
114
|
-
*/
|
|
115
|
-
const match: <E, A, B>(cases: {
|
|
116
|
-
ok: (a: A) => B;
|
|
117
|
-
err: (e: E) => B;
|
|
118
|
-
}) => (data: Result<E, A>) => B;
|
|
119
|
-
/**
|
|
120
|
-
* Returns the success value or a default value if the Result is an error.
|
|
121
|
-
* The default is a thunk `() => B` — evaluated only when the Result is Err.
|
|
122
|
-
* The default can be a different type, widening the result to `A | B`.
|
|
123
|
-
*
|
|
124
|
-
* @example
|
|
125
|
-
* ```ts
|
|
126
|
-
* pipe(Result.ok(5), Result.getOrElse(() => 0)); // 5
|
|
127
|
-
* pipe(Result.err("error"), Result.getOrElse(() => 0)); // 0
|
|
128
|
-
* pipe(Result.err("error"), Result.getOrElse(() => null)); // null — typed as number | null
|
|
129
|
-
* ```
|
|
130
|
-
*/
|
|
131
|
-
const getOrElse: <E, A, B>(defaultValue: () => B) => (data: Result<E, A>) => A | B;
|
|
132
|
-
/**
|
|
133
|
-
* Executes a side effect on the success value without changing the Result.
|
|
134
|
-
* Useful for logging or debugging.
|
|
135
|
-
*
|
|
136
|
-
* @example
|
|
137
|
-
* ```ts
|
|
138
|
-
* pipe(
|
|
139
|
-
* Result.ok(5),
|
|
140
|
-
* Result.tap(n => console.log("Value:", n)),
|
|
141
|
-
* Result.map(n => n * 2)
|
|
142
|
-
* );
|
|
143
|
-
* ```
|
|
144
|
-
*/
|
|
145
|
-
const tap: <E, A>(f: (a: A) => void) => (data: Result<E, A>) => Result<E, A>;
|
|
146
|
-
/**
|
|
147
|
-
* Recovers from an error by providing a fallback Result.
|
|
148
|
-
* The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
|
|
149
|
-
*/
|
|
150
|
-
const recover: <E, A, B>(fallback: (e: E) => Result<E, B>) => (data: Result<E, A>) => Result<E, A | B>;
|
|
151
|
-
/**
|
|
152
|
-
* Recovers from an error unless it matches the blocked error.
|
|
153
|
-
* The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
|
|
154
|
-
*/
|
|
155
|
-
const recoverUnless: <E, A, B>(blockedErr: E, fallback: () => Result<E, B>) => (data: Result<E, A>) => Result<E, A | B>;
|
|
156
|
-
/**
|
|
157
|
-
* Converts a Result to an Option.
|
|
158
|
-
* Ok becomes Some, Err becomes None (the error is discarded).
|
|
159
|
-
*
|
|
160
|
-
* @example
|
|
161
|
-
* ```ts
|
|
162
|
-
* Result.toOption(Result.ok(42)); // Some(42)
|
|
163
|
-
* Result.toOption(Result.err("oops")); // None
|
|
164
|
-
* ```
|
|
165
|
-
*/
|
|
166
|
-
const toOption: <E, A>(data: Result<E, A>) => Option<A>;
|
|
167
|
-
/**
|
|
168
|
-
* Applies a function wrapped in an Result to a value wrapped in an Result.
|
|
169
|
-
*
|
|
170
|
-
* @example
|
|
171
|
-
* ```ts
|
|
172
|
-
* const add = (a: number) => (b: number) => a + b;
|
|
173
|
-
* pipe(
|
|
174
|
-
* Result.ok(add),
|
|
175
|
-
* Result.ap(Result.ok(5)),
|
|
176
|
-
* Result.ap(Result.ok(3))
|
|
177
|
-
* ); // Ok(8)
|
|
178
|
-
* ```
|
|
179
|
-
*/
|
|
180
|
-
const ap: <E, A>(arg: Result<E, A>) => <B>(data: Result<E, (a: A) => B>) => Result<E, B>;
|
|
181
|
-
}
|
|
182
|
-
//# sourceMappingURL=Result.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Result.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAE1C,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAClD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAEtD,yBAAiB,MAAM,CAAC;IACvB;;OAEG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,EAAE,CAAC,CAAC,CAA4B,CAAC;IAElE;;OAEG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,GAAG,CAAC,CAAC,CAA+B,CAAC;IAEvE;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAuB,CAAC;IAEpF;;OAEG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAA0B,CAAC;IAEzF;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC5B,GAAG,MAAM,CAAC,EACV,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KACxB,MAAM,CAAC,CAAC,EAAE,CAAC,CAMb,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAC3C,CAAC;IAEvC;;;;;;;OAOG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAC9C,CAAC;IAEzC;;;;;;;;;;;;OAYG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAC5D,CAAC;IAEnC;;;;;;;;;;;;;OAaG;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,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAC5C,CAAC;IAEnD;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAC5C,CAAC;IAE3D;;;;;;;;;;;OAWG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC9C,CAAC;IAE1C;;;;;;;;;;;;OAYG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAGhF,CAAC;IAEF;;;OAGG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAClE,CAAC;IAE1C;;;OAGG;IACI,MAAM,aAAa,GACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,EAAE,UAAU,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAClC,CAAC;IAE/D;;;;;;;;;OASG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAAyD,CAAC;IAEtH;;;;;;;;;;;;OAYG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACF,CAAC;CAC5F"}
|
|
@@ -1,192 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* A synchronous computation that threads a piece of mutable state `S` through
|
|
3
|
-
* a pipeline without exposing mutation at call sites.
|
|
4
|
-
*
|
|
5
|
-
* At runtime a `State<S, A>` is just a function from an initial state to a pair
|
|
6
|
-
* `[value, nextState]`. Nothing runs until you supply the initial state with
|
|
7
|
-
* `State.run`, `State.evaluate`, or `State.execute`.
|
|
8
|
-
*
|
|
9
|
-
* @example
|
|
10
|
-
* ```ts
|
|
11
|
-
* type Counter = number;
|
|
12
|
-
*
|
|
13
|
-
* const increment: State<Counter, undefined> = State.modify(n => n + 1);
|
|
14
|
-
* const getCount: State<Counter, Counter> = State.get();
|
|
15
|
-
*
|
|
16
|
-
* const program = pipe(
|
|
17
|
-
* increment,
|
|
18
|
-
* State.chain(() => increment),
|
|
19
|
-
* State.chain(() => getCount),
|
|
20
|
-
* );
|
|
21
|
-
*
|
|
22
|
-
* State.run(0)(program); // [2, 2] — value is 2, final state is 2
|
|
23
|
-
* ```
|
|
24
|
-
*/
|
|
25
|
-
export type State<S, A> = (s: S) => readonly [A, S];
|
|
26
|
-
export declare namespace State {
|
|
27
|
-
/**
|
|
28
|
-
* Lifts a pure value into a State computation. The state passes through unchanged.
|
|
29
|
-
*
|
|
30
|
-
* @example
|
|
31
|
-
* ```ts
|
|
32
|
-
* State.run(10)(State.resolve(42)); // [42, 10] — value 42, state unchanged
|
|
33
|
-
* ```
|
|
34
|
-
*/
|
|
35
|
-
const resolve: <S, A>(value: A) => State<S, A>;
|
|
36
|
-
/**
|
|
37
|
-
* Produces the current state as the value, without modifying it.
|
|
38
|
-
*
|
|
39
|
-
* @example
|
|
40
|
-
* ```ts
|
|
41
|
-
* const readStack: State<string[], string[]> = State.get();
|
|
42
|
-
* State.run(["a", "b"])(readStack); // [["a", "b"], ["a", "b"]]
|
|
43
|
-
* ```
|
|
44
|
-
*/
|
|
45
|
-
const get: <S>() => State<S, S>;
|
|
46
|
-
/**
|
|
47
|
-
* Reads a projection of the state without modifying it.
|
|
48
|
-
* Equivalent to `pipe(State.get(), State.map(f))` but more direct.
|
|
49
|
-
*
|
|
50
|
-
* @example
|
|
51
|
-
* ```ts
|
|
52
|
-
* type AppState = { count: number; label: string };
|
|
53
|
-
* const readCount: State<AppState, number> = State.gets(s => s.count);
|
|
54
|
-
* State.run({ count: 5, label: "x" })(readCount); // [5, { count: 5, label: "x" }]
|
|
55
|
-
* ```
|
|
56
|
-
*/
|
|
57
|
-
const gets: <S, A>(f: (s: S) => A) => State<S, A>;
|
|
58
|
-
/**
|
|
59
|
-
* Replaces the current state with a new value. Produces no meaningful value.
|
|
60
|
-
*
|
|
61
|
-
* @example
|
|
62
|
-
* ```ts
|
|
63
|
-
* const reset: State<number, undefined> = State.put(0);
|
|
64
|
-
* State.run(99)(reset); // [undefined, 0]
|
|
65
|
-
* ```
|
|
66
|
-
*/
|
|
67
|
-
const put: <S>(newState: S) => State<S, undefined>;
|
|
68
|
-
/**
|
|
69
|
-
* Applies a function to the current state to produce the next state.
|
|
70
|
-
* Produces no meaningful value.
|
|
71
|
-
*
|
|
72
|
-
* @example
|
|
73
|
-
* ```ts
|
|
74
|
-
* const push = (item: string): State<string[], undefined> =>
|
|
75
|
-
* State.modify(stack => [...stack, item]);
|
|
76
|
-
*
|
|
77
|
-
* State.run(["a"])(push("b")); // [undefined, ["a", "b"]]
|
|
78
|
-
* ```
|
|
79
|
-
*/
|
|
80
|
-
const modify: <S>(f: (s: S) => S) => State<S, undefined>;
|
|
81
|
-
/**
|
|
82
|
-
* Transforms the value produced by a State computation.
|
|
83
|
-
* The state transformation is unchanged.
|
|
84
|
-
*
|
|
85
|
-
* @example
|
|
86
|
-
* ```ts
|
|
87
|
-
* const readLength: State<string[], number> = pipe(
|
|
88
|
-
* State.get<string[]>(),
|
|
89
|
-
* State.map(stack => stack.length),
|
|
90
|
-
* );
|
|
91
|
-
*
|
|
92
|
-
* State.run(["a", "b", "c"])(readLength); // [3, ["a", "b", "c"]]
|
|
93
|
-
* ```
|
|
94
|
-
*/
|
|
95
|
-
const map: <S, A, B>(f: (a: A) => B) => (st: State<S, A>) => State<S, B>;
|
|
96
|
-
/**
|
|
97
|
-
* Sequences two State computations. The state output of the first is passed
|
|
98
|
-
* as the state input to the second.
|
|
99
|
-
*
|
|
100
|
-
* Data-last — the first computation is the data being piped.
|
|
101
|
-
*
|
|
102
|
-
* @example
|
|
103
|
-
* ```ts
|
|
104
|
-
* const push = (item: string): State<string[], undefined> =>
|
|
105
|
-
* State.modify(stack => [...stack, item]);
|
|
106
|
-
*
|
|
107
|
-
* const program = pipe(
|
|
108
|
-
* push("a"),
|
|
109
|
-
* State.chain(() => push("b")),
|
|
110
|
-
* State.chain(() => State.get<string[]>()),
|
|
111
|
-
* );
|
|
112
|
-
*
|
|
113
|
-
* State.evaluate([])(program); // ["a", "b"]
|
|
114
|
-
* ```
|
|
115
|
-
*/
|
|
116
|
-
const chain: <S, A, B>(f: (a: A) => State<S, B>) => (st: State<S, A>) => State<S, B>;
|
|
117
|
-
/**
|
|
118
|
-
* Applies a function wrapped in a State to a value wrapped in a State.
|
|
119
|
-
* The function computation runs first; its output state is the input to the
|
|
120
|
-
* argument computation.
|
|
121
|
-
*
|
|
122
|
-
* @example
|
|
123
|
-
* ```ts
|
|
124
|
-
* const addCounted = (n: number) => (m: number) => n + m;
|
|
125
|
-
* const program = pipe(
|
|
126
|
-
* State.resolve<number, typeof addCounted>(addCounted),
|
|
127
|
-
* State.ap(State.gets((s: number) => s * 2)),
|
|
128
|
-
* State.ap(State.gets((s: number) => s)),
|
|
129
|
-
* );
|
|
130
|
-
*
|
|
131
|
-
* State.evaluate(3)(program); // 6 + 3 = 9
|
|
132
|
-
* ```
|
|
133
|
-
*/
|
|
134
|
-
const ap: <S, A>(arg: State<S, A>) => <B>(fn: State<S, (a: A) => B>) => State<S, B>;
|
|
135
|
-
/**
|
|
136
|
-
* Runs a side effect on the produced value without changing the State computation.
|
|
137
|
-
*
|
|
138
|
-
* @example
|
|
139
|
-
* ```ts
|
|
140
|
-
* pipe(
|
|
141
|
-
* State.get<number>(),
|
|
142
|
-
* State.tap(n => console.log("current:", n)),
|
|
143
|
-
* State.chain(() => State.modify(n => n + 1)),
|
|
144
|
-
* );
|
|
145
|
-
* ```
|
|
146
|
-
*/
|
|
147
|
-
const tap: <S, A>(f: (a: A) => void) => (st: State<S, A>) => State<S, A>;
|
|
148
|
-
/**
|
|
149
|
-
* Runs a State computation with an initial state, returning both the
|
|
150
|
-
* produced value and the final state as a pair.
|
|
151
|
-
*
|
|
152
|
-
* Data-last — the computation is the data being piped.
|
|
153
|
-
*
|
|
154
|
-
* @example
|
|
155
|
-
* ```ts
|
|
156
|
-
* const program = pipe(
|
|
157
|
-
* State.modify<number>(n => n + 1),
|
|
158
|
-
* State.chain(() => State.get<number>()),
|
|
159
|
-
* );
|
|
160
|
-
*
|
|
161
|
-
* State.run(0)(program); // [1, 1]
|
|
162
|
-
* ```
|
|
163
|
-
*/
|
|
164
|
-
const run: <S>(initialState: S) => <A>(st: State<S, A>) => readonly [A, S];
|
|
165
|
-
/**
|
|
166
|
-
* Runs a State computation with an initial state, returning only the
|
|
167
|
-
* produced value (discarding the final state).
|
|
168
|
-
*
|
|
169
|
-
* @example
|
|
170
|
-
* ```ts
|
|
171
|
-
* State.evaluate([])(pipe(
|
|
172
|
-
* State.modify<string[]>(s => [...s, "x"]),
|
|
173
|
-
* State.chain(() => State.get<string[]>()),
|
|
174
|
-
* )); // ["x"]
|
|
175
|
-
* ```
|
|
176
|
-
*/
|
|
177
|
-
const evaluate: <S>(initialState: S) => <A>(st: State<S, A>) => A;
|
|
178
|
-
/**
|
|
179
|
-
* Runs a State computation with an initial state, returning only the
|
|
180
|
-
* final state (discarding the produced value).
|
|
181
|
-
*
|
|
182
|
-
* @example
|
|
183
|
-
* ```ts
|
|
184
|
-
* State.execute(0)(pipe(
|
|
185
|
-
* State.modify<number>(n => n + 10),
|
|
186
|
-
* State.chain(() => State.modify<number>(n => n * 2)),
|
|
187
|
-
* )); // 20
|
|
188
|
-
* ```
|
|
189
|
-
*/
|
|
190
|
-
const execute: <S>(initialState: S) => <A>(st: State<S, A>) => S;
|
|
191
|
-
}
|
|
192
|
-
//# sourceMappingURL=State.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"State.d.ts","sourceRoot":"","sources":["../../../src/src/Core/State.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEpD,yBAAiB,KAAK,CAAC;IACtB;;;;;;;OAOG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAsB,CAAC;IAE1E;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,OAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAkB,CAAC;IAEvD;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAqB,CAAC;IAE5E;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,UAAU,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,SAAS,CAAkC,CAAC;IAE1F;;;;;;;;;;;OAWG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,SAAS,CAA6B,CAAC;IAE3F;;;;;;;;;;;;;OAaG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG5E,CAAC;IAEF;;;;;;;;;;;;;;;;;;;OAmBG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGxF,CAAC;IAEF;;;;;;;;;;;;;;;;OAgBG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIvF,CAAC;IAEF;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAI5E,CAAC;IAEF;;;;;;;;;;;;;;;OAeG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAqB,CAAC;IAErG;;;;;;;;;;;OAWG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAwB,CAAC;IAE/F;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAwB,CAAC;CAC9F"}
|
package/types/src/Core/Task.d.ts
DELETED
|
@@ -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"}
|