@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.
- 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/Tuple.js +0 -112
- package/esm/src/Core/Validation.js +0 -212
- package/esm/src/Core/index.js +0 -18
- 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/Dict.js +0 -421
- package/esm/src/Utils/Num.js +0 -124
- package/esm/src/Utils/Rec.js +0 -241
- package/esm/src/Utils/Str.js +0 -134
- package/esm/src/Utils/Uniq.js +0 -265
- package/esm/src/Utils/index.js +0 -6
- 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/Tuple.js +0 -115
- package/script/src/Core/Validation.js +0 -215
- package/script/src/Core/index.js +0 -34
- 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/Dict.js +0 -424
- package/script/src/Utils/Num.js +0 -127
- package/script/src/Utils/Rec.js +0 -244
- package/script/src/Utils/Str.js +0 -137
- package/script/src/Utils/Uniq.js +0 -268
- package/script/src/Utils/index.js +0 -22
- 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/Tuple.d.ts +0 -129
- package/types/src/Core/Tuple.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 -19
- 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/Dict.d.ts +0 -310
- package/types/src/Utils/Dict.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 -159
- 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/Uniq.d.ts +0 -179
- package/types/src/Utils/Uniq.d.ts.map +0 -1
- package/types/src/Utils/index.d.ts +0 -7
- package/types/src/Utils/index.d.ts.map +0 -1
|
@@ -1,54 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Converts a curried function into a multi-argument function.
|
|
3
|
-
* Useful when you want to call a curried function with all arguments at once.
|
|
4
|
-
*
|
|
5
|
-
* Handles functions with 0, 1, or 2 curried arguments.
|
|
6
|
-
*
|
|
7
|
-
* @example
|
|
8
|
-
* ```ts
|
|
9
|
-
* // Thunks: () => () => C becomes () => C
|
|
10
|
-
* const nested = () => () => 42;
|
|
11
|
-
* uncurry(nested)(); // 42
|
|
12
|
-
*
|
|
13
|
-
* // Original curried function
|
|
14
|
-
* Option.map(n => n * 2)(Option.some(5)); // Some(10)
|
|
15
|
-
*
|
|
16
|
-
* // Uncurried - all arguments at once
|
|
17
|
-
* const mapUncurried = uncurry(Option.map);
|
|
18
|
-
* mapUncurried(n => n * 2, Option.some(5)); // Some(10)
|
|
19
|
-
*
|
|
20
|
-
* // Combined with flip for data-first uncurried
|
|
21
|
-
* const mapDataFirst = uncurry(flip(Option.map));
|
|
22
|
-
* mapDataFirst(Option.some(5), n => n * 2); // Some(10)
|
|
23
|
-
* ```
|
|
24
|
-
*
|
|
25
|
-
* @see {@link flip} for reversing curried argument order
|
|
26
|
-
* @see {@link uncurry3} for 3-argument curried functions
|
|
27
|
-
* @see {@link uncurry4} for 4-argument curried functions
|
|
28
|
-
*/
|
|
29
|
-
export declare function uncurry<C>(f: () => () => C): () => C;
|
|
30
|
-
export declare function uncurry<A, C>(f: (a: A) => () => C): (a: A) => C;
|
|
31
|
-
export declare function uncurry<A, B, C>(f: (a: A) => (b: B) => C): (a: A, b: B) => C;
|
|
32
|
-
/**
|
|
33
|
-
* Converts a curried 3-argument function into a multi-argument function.
|
|
34
|
-
*
|
|
35
|
-
* @example
|
|
36
|
-
* ```ts
|
|
37
|
-
* const curriedAdd3 = (a: number) => (b: number) => (c: number) => a + b + c;
|
|
38
|
-
* const add3 = uncurry3(curriedAdd3);
|
|
39
|
-
* add3(1, 2, 3); // 6
|
|
40
|
-
* ```
|
|
41
|
-
*/
|
|
42
|
-
export declare const uncurry3: <A, B, C, D>(f: (a: A) => (b: B) => (c: C) => D) => (a: A, b: B, c: C) => D;
|
|
43
|
-
/**
|
|
44
|
-
* Converts a curried 4-argument function into a multi-argument function.
|
|
45
|
-
*
|
|
46
|
-
* @example
|
|
47
|
-
* ```ts
|
|
48
|
-
* const curriedAdd4 = (a: number) => (b: number) => (c: number) => (d: number) => a + b + c + d;
|
|
49
|
-
* const add4 = uncurry4(curriedAdd4);
|
|
50
|
-
* add4(1, 2, 3, 4); // 10
|
|
51
|
-
* ```
|
|
52
|
-
*/
|
|
53
|
-
export declare const uncurry4: <A, B, C, D, E>(f: (a: A) => (b: B) => (c: C) => (d: D) => E) => (a: A, b: B, c: C, d: D) => E;
|
|
54
|
-
//# sourceMappingURL=uncurry.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"uncurry.d.ts","sourceRoot":"","sources":["../../../src/src/Composition/uncurry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AACtD,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACjE,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAY9E;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,KAAG,CAAe,CAAC;AAEhH;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,KAAG,CACrG,CAAC"}
|
|
@@ -1,49 +0,0 @@
|
|
|
1
|
-
declare const _deferred: unique symbol;
|
|
2
|
-
/**
|
|
3
|
-
* A nominally typed, one-shot async value that supports `await` but enforces infallibility.
|
|
4
|
-
*
|
|
5
|
-
* Two design choices work together to make the guarantee structural rather than documentary:
|
|
6
|
-
*
|
|
7
|
-
* - The phantom `[_deferred]` symbol makes the type **nominal**: only values produced by
|
|
8
|
-
* `Deferred.fromPromise` satisfy it. A plain object `{ then: ... }` does not.
|
|
9
|
-
* - The single-parameter `.then()` **excludes rejection handlers** by construction. There is
|
|
10
|
-
* no second argument to pass, so chaining and `.catch()` are impossible.
|
|
11
|
-
*
|
|
12
|
-
* This makes `Deferred<A>` the natural return type for `Task<A>`, which is guaranteed to
|
|
13
|
-
* never reject.
|
|
14
|
-
*
|
|
15
|
-
* @example
|
|
16
|
-
* ```ts
|
|
17
|
-
* const value = await Deferred.fromPromise(Promise.resolve(42));
|
|
18
|
-
* // value === 42
|
|
19
|
-
* ```
|
|
20
|
-
*/
|
|
21
|
-
export type Deferred<A> = {
|
|
22
|
-
readonly [_deferred]: A;
|
|
23
|
-
readonly then: (onfulfilled: (value: A) => void) => void;
|
|
24
|
-
};
|
|
25
|
-
export declare namespace Deferred {
|
|
26
|
-
/**
|
|
27
|
-
* Wraps a `Promise` into a `Deferred`, structurally excluding rejection handlers,
|
|
28
|
-
* `.catch()`, `.finally()`, and chainable `.then()`.
|
|
29
|
-
*
|
|
30
|
-
* @example
|
|
31
|
-
* ```ts
|
|
32
|
-
* const d = Deferred.fromPromise(Promise.resolve("hello"));
|
|
33
|
-
* const value = await d; // "hello"
|
|
34
|
-
* ```
|
|
35
|
-
*/
|
|
36
|
-
const fromPromise: <A>(p: Promise<A>) => Deferred<A>;
|
|
37
|
-
/**
|
|
38
|
-
* Converts a `Deferred` back into a `Promise`.
|
|
39
|
-
*
|
|
40
|
-
* @example
|
|
41
|
-
* ```ts
|
|
42
|
-
* const p = Deferred.toPromise(Deferred.fromPromise(Promise.resolve(42)));
|
|
43
|
-
* // p is Promise<42>
|
|
44
|
-
* ```
|
|
45
|
-
*/
|
|
46
|
-
const toPromise: <A>(d: Deferred<A>) => Promise<A>;
|
|
47
|
-
}
|
|
48
|
-
export {};
|
|
49
|
-
//# sourceMappingURL=Deferred.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Deferred.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Deferred.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AAIvC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;IACzB,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,KAAK,IAAI,CAAC;CACzD,CAAC;AAEF,yBAAiB,QAAQ,CAAC;IACzB;;;;;;;;;OASG;IACI,MAAM,WAAW,GAAI,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,CAIxD,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAEZ,CAAC;CAC5C"}
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
import { NonEmptyList } from "../Types/NonEmptyList.js";
|
|
2
|
-
export type WithKind<K extends string> = {
|
|
3
|
-
readonly kind: K;
|
|
4
|
-
};
|
|
5
|
-
export type WithValue<T> = {
|
|
6
|
-
readonly value: T;
|
|
7
|
-
};
|
|
8
|
-
export type WithError<T> = {
|
|
9
|
-
readonly error: T;
|
|
10
|
-
};
|
|
11
|
-
export type WithErrors<T> = {
|
|
12
|
-
readonly errors: NonEmptyList<T>;
|
|
13
|
-
};
|
|
14
|
-
export type WithFirst<T> = {
|
|
15
|
-
readonly first: T;
|
|
16
|
-
};
|
|
17
|
-
export type WithSecond<T> = {
|
|
18
|
-
readonly second: T;
|
|
19
|
-
};
|
|
20
|
-
export type WithLog<T> = {
|
|
21
|
-
readonly log: ReadonlyArray<T>;
|
|
22
|
-
};
|
|
23
|
-
//# sourceMappingURL=InternalTypes.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"InternalTypes.d.ts","sourceRoot":"","sources":["../../../src/src/Core/InternalTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAEjD,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAEjD,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjE,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAEjD,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,CAAC;AAEnD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC"}
|
package/types/src/Core/Lens.d.ts
DELETED
|
@@ -1,118 +0,0 @@
|
|
|
1
|
-
import type { Optional } from "./Optional.js";
|
|
2
|
-
/**
|
|
3
|
-
* Lens<S, A> focuses on a single value A inside a structure S, providing
|
|
4
|
-
* a composable way to read and immutably update nested data.
|
|
5
|
-
*
|
|
6
|
-
* A Lens always succeeds: the focused value is guaranteed to exist.
|
|
7
|
-
* For optional or indexed focuses, use Optional<S, A>.
|
|
8
|
-
*
|
|
9
|
-
* @example
|
|
10
|
-
* ```ts
|
|
11
|
-
* type Address = { city: string; zip: string };
|
|
12
|
-
* type User = { name: string; address: Address };
|
|
13
|
-
*
|
|
14
|
-
* const addressLens = Lens.prop<User>()("address");
|
|
15
|
-
* const cityLens = Lens.prop<Address>()("city");
|
|
16
|
-
* const userCityLens = pipe(addressLens, Lens.andThen(cityLens));
|
|
17
|
-
*
|
|
18
|
-
* pipe(user, Lens.get(userCityLens)); // "Berlin"
|
|
19
|
-
* pipe(user, Lens.set(userCityLens)("Hamburg")); // new User with city updated
|
|
20
|
-
* pipe(user, Lens.modify(userCityLens)(c => c.toUpperCase())); // "BERLIN"
|
|
21
|
-
* ```
|
|
22
|
-
*/
|
|
23
|
-
export type Lens<S, A> = {
|
|
24
|
-
readonly get: (s: S) => A;
|
|
25
|
-
readonly set: (a: A) => (s: S) => S;
|
|
26
|
-
};
|
|
27
|
-
export declare namespace Lens {
|
|
28
|
-
/**
|
|
29
|
-
* Constructs a Lens from a getter and a setter.
|
|
30
|
-
*
|
|
31
|
-
* @example
|
|
32
|
-
* ```ts
|
|
33
|
-
* const nameLens = Lens.make(
|
|
34
|
-
* (user: User) => user.name,
|
|
35
|
-
* (name) => (user) => ({ ...user, name }),
|
|
36
|
-
* );
|
|
37
|
-
* ```
|
|
38
|
-
*/
|
|
39
|
-
const make: <S, A>(get: (s: S) => A, set: (a: A) => (s: S) => S) => Lens<S, A>;
|
|
40
|
-
/**
|
|
41
|
-
* Creates a Lens that focuses on a property of an object.
|
|
42
|
-
* Call with the structure type first, then the key.
|
|
43
|
-
*
|
|
44
|
-
* @example
|
|
45
|
-
* ```ts
|
|
46
|
-
* const nameLens = Lens.prop<User>()("name");
|
|
47
|
-
* ```
|
|
48
|
-
*/
|
|
49
|
-
const prop: <S>() => <K extends keyof S>(key: K) => Lens<S, S[K]>;
|
|
50
|
-
/**
|
|
51
|
-
* Reads the focused value from a structure.
|
|
52
|
-
*
|
|
53
|
-
* @example
|
|
54
|
-
* ```ts
|
|
55
|
-
* pipe(user, Lens.get(nameLens)); // "Alice"
|
|
56
|
-
* ```
|
|
57
|
-
*/
|
|
58
|
-
const get: <S, A>(lens: Lens<S, A>) => (s: S) => A;
|
|
59
|
-
/**
|
|
60
|
-
* Replaces the focused value within a structure, returning a new structure.
|
|
61
|
-
*
|
|
62
|
-
* @example
|
|
63
|
-
* ```ts
|
|
64
|
-
* pipe(user, Lens.set(nameLens)("Bob")); // new User with name "Bob"
|
|
65
|
-
* ```
|
|
66
|
-
*/
|
|
67
|
-
const set: <S, A>(lens: Lens<S, A>) => (a: A) => (s: S) => S;
|
|
68
|
-
/**
|
|
69
|
-
* Applies a function to the focused value, returning a new structure.
|
|
70
|
-
*
|
|
71
|
-
* @example
|
|
72
|
-
* ```ts
|
|
73
|
-
* pipe(user, Lens.modify(nameLens)(n => n.toUpperCase())); // "ALICE"
|
|
74
|
-
* ```
|
|
75
|
-
*/
|
|
76
|
-
const modify: <S, A>(lens: Lens<S, A>) => (f: (a: A) => A) => (s: S) => S;
|
|
77
|
-
/**
|
|
78
|
-
* Composes two Lenses: focuses through the outer, then through the inner.
|
|
79
|
-
* Use in a pipe chain to build up a deep focus step by step.
|
|
80
|
-
*
|
|
81
|
-
* @example
|
|
82
|
-
* ```ts
|
|
83
|
-
* const userCityLens = pipe(
|
|
84
|
-
* Lens.prop<User>()("address"),
|
|
85
|
-
* Lens.andThen(Lens.prop<Address>()("city")),
|
|
86
|
-
* );
|
|
87
|
-
* ```
|
|
88
|
-
*/
|
|
89
|
-
const andThen: <A, B>(inner: Lens<A, B>) => <S>(outer: Lens<S, A>) => Lens<S, B>;
|
|
90
|
-
/**
|
|
91
|
-
* Composes a Lens with an Optional, producing an Optional.
|
|
92
|
-
* Use when the next step in the focus is optional (may be absent).
|
|
93
|
-
*
|
|
94
|
-
* @example
|
|
95
|
-
* ```ts
|
|
96
|
-
* const userBioOpt = pipe(
|
|
97
|
-
* Lens.prop<User>()("profile"),
|
|
98
|
-
* Lens.andThenOptional(Optional.prop<Profile>()("bio")),
|
|
99
|
-
* );
|
|
100
|
-
* ```
|
|
101
|
-
*/
|
|
102
|
-
const andThenOptional: <A, B>(inner: Optional<A, B>) => <S>(outer: Lens<S, A>) => Optional<S, B>;
|
|
103
|
-
/**
|
|
104
|
-
* Converts a Lens to an Optional. Every Lens is a valid Optional
|
|
105
|
-
* whose get always returns Some.
|
|
106
|
-
*
|
|
107
|
-
* @example
|
|
108
|
-
* ```ts
|
|
109
|
-
* pipe(
|
|
110
|
-
* Lens.prop<User>()("address"),
|
|
111
|
-
* Lens.toOptional,
|
|
112
|
-
* Optional.andThen(Optional.prop<Address>()("landmark")),
|
|
113
|
-
* );
|
|
114
|
-
* ```
|
|
115
|
-
*/
|
|
116
|
-
const toOptional: <S, A>(lens: Lens<S, A>) => Optional<S, A>;
|
|
117
|
-
}
|
|
118
|
-
//# sourceMappingURL=Lens.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Lens.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Lens.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI;IACxB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;CACpC,CAAC;AAEF,yBAAiB,IAAI,CAAC;IACrB;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACxB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAChB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACxB,IAAI,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAC;IAEhC;;;;;;;;OAQG;IACI,MAAM,IAAI,GAAI,CAAC,QAAQ,CAAC,SAAS,MAAM,CAAC,EAAE,KAAK,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAIpE,CAAC;IAEH;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,KAAG,CAAgB,CAAC;IAExE;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,KAAG,CAAmB,CAAC;IAErF;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAAgC,CAAC;IAE/G;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAInF,CAAC;IAEH;;;;;;;;;;;OAWG;IACI,MAAM,eAAe,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAGnG,CAAC;IAEH;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAG/D,CAAC;CACH"}
|
|
@@ -1,126 +0,0 @@
|
|
|
1
|
-
import { WithLog, WithValue } from "./InternalTypes.js";
|
|
2
|
-
/**
|
|
3
|
-
* A value paired with an accumulated log.
|
|
4
|
-
*
|
|
5
|
-
* `Logged<W, A>` pairs a result `A` with a sequence of log entries `W`. When
|
|
6
|
-
* you sequence two `Logged` computations with `chain`, the logs are
|
|
7
|
-
* automatically concatenated — you never have to thread the log array through
|
|
8
|
-
* your code manually.
|
|
9
|
-
*
|
|
10
|
-
* @example
|
|
11
|
-
* ```ts
|
|
12
|
-
* const program = pipe(
|
|
13
|
-
* Logged.make<string, number>(0),
|
|
14
|
-
* Logged.chain(n => pipe(
|
|
15
|
-
* Logged.tell("start"),
|
|
16
|
-
* Logged.map(() => n + 1),
|
|
17
|
-
* )),
|
|
18
|
-
* Logged.chain(n => pipe(
|
|
19
|
-
* Logged.tell("done"),
|
|
20
|
-
* Logged.map(() => n * 10),
|
|
21
|
-
* )),
|
|
22
|
-
* );
|
|
23
|
-
*
|
|
24
|
-
* Logged.run(program); // [10, ["start", "done"]]
|
|
25
|
-
* ```
|
|
26
|
-
*/
|
|
27
|
-
export type Logged<L, A> = WithValue<A> & WithLog<L>;
|
|
28
|
-
export declare namespace Logged {
|
|
29
|
-
/**
|
|
30
|
-
* Wraps a pure value into a `Logged` with an empty log.
|
|
31
|
-
*
|
|
32
|
-
* @example
|
|
33
|
-
* ```ts
|
|
34
|
-
* Logged.make<string, number>(42); // { value: 42, log: [] }
|
|
35
|
-
* ```
|
|
36
|
-
*/
|
|
37
|
-
const make: <W, A>(value: A) => Logged<W, A>;
|
|
38
|
-
/**
|
|
39
|
-
* Creates a `Logged` that records a single log entry and produces no
|
|
40
|
-
* meaningful value. Use this to append to the log inside a `chain`.
|
|
41
|
-
*
|
|
42
|
-
* @example
|
|
43
|
-
* ```ts
|
|
44
|
-
* Logged.tell("operation completed"); // { value: undefined, log: ["operation completed"] }
|
|
45
|
-
* ```
|
|
46
|
-
*/
|
|
47
|
-
const tell: <W>(entry: W) => Logged<W, undefined>;
|
|
48
|
-
/**
|
|
49
|
-
* Transforms the value inside a `Logged` without affecting the log.
|
|
50
|
-
*
|
|
51
|
-
* @example
|
|
52
|
-
* ```ts
|
|
53
|
-
* pipe(
|
|
54
|
-
* Logged.make<string, number>(5),
|
|
55
|
-
* Logged.map(n => n * 2),
|
|
56
|
-
* ); // { value: 10, log: [] }
|
|
57
|
-
* ```
|
|
58
|
-
*/
|
|
59
|
-
const map: <W, A, B>(f: (a: A) => B) => (data: Logged<W, A>) => Logged<W, B>;
|
|
60
|
-
/**
|
|
61
|
-
* Sequences two `Logged` computations, concatenating their logs.
|
|
62
|
-
* The value from the first is passed to `f`; the resulting log entries are
|
|
63
|
-
* appended after the entries from the first.
|
|
64
|
-
*
|
|
65
|
-
* Data-last — the first computation is the data being piped.
|
|
66
|
-
*
|
|
67
|
-
* @example
|
|
68
|
-
* ```ts
|
|
69
|
-
* const result = pipe(
|
|
70
|
-
* Logged.make<string, number>(1),
|
|
71
|
-
* Logged.chain(n => pipe(Logged.tell("step"), Logged.map(() => n + 1))),
|
|
72
|
-
* Logged.chain(n => pipe(Logged.tell("done"), Logged.map(() => n * 10))),
|
|
73
|
-
* );
|
|
74
|
-
*
|
|
75
|
-
* Logged.run(result); // [20, ["step", "done"]]
|
|
76
|
-
* ```
|
|
77
|
-
*/
|
|
78
|
-
const chain: <W, A, B>(f: (a: A) => Logged<W, B>) => (data: Logged<W, A>) => Logged<W, B>;
|
|
79
|
-
/**
|
|
80
|
-
* Applies a function wrapped in a `Logged` to a value wrapped in a `Logged`,
|
|
81
|
-
* concatenating both logs.
|
|
82
|
-
*
|
|
83
|
-
* @example
|
|
84
|
-
* ```ts
|
|
85
|
-
* const fn: Logged<string, (n: number) => number> = {
|
|
86
|
-
* value: n => n * 2,
|
|
87
|
-
* log: ["fn-loaded"],
|
|
88
|
-
* };
|
|
89
|
-
* const arg: Logged<string, number> = { value: 5, log: ["arg-loaded"] };
|
|
90
|
-
*
|
|
91
|
-
* const result = pipe(fn, Logged.ap(arg));
|
|
92
|
-
* Logged.run(result); // [10, ["fn-loaded", "arg-loaded"]]
|
|
93
|
-
* ```
|
|
94
|
-
*/
|
|
95
|
-
const ap: <W, A>(arg: Logged<W, A>) => <B>(data: Logged<W, (a: A) => B>) => Logged<W, B>;
|
|
96
|
-
/**
|
|
97
|
-
* Runs a side effect on the value without changing the `Logged`.
|
|
98
|
-
* Useful for debugging or inspecting intermediate values.
|
|
99
|
-
*
|
|
100
|
-
* @example
|
|
101
|
-
* ```ts
|
|
102
|
-
* pipe(
|
|
103
|
-
* Logged.make<string, number>(42),
|
|
104
|
-
* Logged.tap(n => console.log("value:", n)),
|
|
105
|
-
* );
|
|
106
|
-
* ```
|
|
107
|
-
*/
|
|
108
|
-
const tap: <W, A>(f: (a: A) => void) => (data: Logged<W, A>) => Logged<W, A>;
|
|
109
|
-
/**
|
|
110
|
-
* Extracts the value and log as a `readonly [A, ReadonlyArray<W>]` tuple.
|
|
111
|
-
* Use this at the boundary where you need to consume both.
|
|
112
|
-
*
|
|
113
|
-
* @example
|
|
114
|
-
* ```ts
|
|
115
|
-
* const result = pipe(
|
|
116
|
-
* Logged.make<string, number>(1),
|
|
117
|
-
* Logged.chain(n => pipe(Logged.tell("incremented"), Logged.map(() => n + 1))),
|
|
118
|
-
* );
|
|
119
|
-
*
|
|
120
|
-
* const [value, log] = Logged.run(result);
|
|
121
|
-
* // value = 2, log = ["incremented"]
|
|
122
|
-
* ```
|
|
123
|
-
*/
|
|
124
|
-
const run: <W, A>(data: Logged<W, A>) => readonly [A, ReadonlyArray<W>];
|
|
125
|
-
}
|
|
126
|
-
//# sourceMappingURL=Logged.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Logged.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Logged.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAExD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAErD,yBAAiB,MAAM,CAAC;IACvB;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAE3E;;;;;;;;OAQG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,SAAS,CAAyC,CAAC;IAEhG;;;;;;;;;;OAUG;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,CAG/E,CAAC;IAEH;;;;;;;;;;;;;;;;;OAiBG;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,CAG7F,CAAC;IAEF;;;;;;;;;;;;;;;OAeG;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,CAG3F,CAAC;IAEH;;;;;;;;;;;OAWG;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;;;;;;;;;;;;;;OAcG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EACvB,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,SAAS,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAA2B,CAAC;CAC5D"}
|
|
@@ -1,209 +0,0 @@
|
|
|
1
|
-
import { WithKind, WithValue } from "./InternalTypes.js";
|
|
2
|
-
import { Result } from "./Result.js";
|
|
3
|
-
/**
|
|
4
|
-
* Option represents an optional value: every Option is either Some (contains a value) or None (empty).
|
|
5
|
-
* Use Option instead of null/undefined to make optionality explicit and composable.
|
|
6
|
-
*
|
|
7
|
-
* @example
|
|
8
|
-
* ```ts
|
|
9
|
-
* const findUser = (id: string): Option<User> =>
|
|
10
|
-
* users.has(id) ? Option.some(users.get(id)!) : Option.none();
|
|
11
|
-
*
|
|
12
|
-
* pipe(
|
|
13
|
-
* findUser("123"),
|
|
14
|
-
* Option.map(user => user.name),
|
|
15
|
-
* Option.getOrElse(() => "Unknown")
|
|
16
|
-
* );
|
|
17
|
-
* ```
|
|
18
|
-
*/
|
|
19
|
-
export type Option<T> = Some<T> | None;
|
|
20
|
-
export type Some<A> = WithKind<"Some"> & WithValue<A>;
|
|
21
|
-
export type None = WithKind<"None">;
|
|
22
|
-
export declare namespace Option {
|
|
23
|
-
/**
|
|
24
|
-
* Creates a Some containing the given value.
|
|
25
|
-
*/
|
|
26
|
-
const some: <A>(value: A) => Some<A>;
|
|
27
|
-
/**
|
|
28
|
-
* Type guard that checks if a Option is Some.
|
|
29
|
-
*/
|
|
30
|
-
const isSome: <A>(data: Option<A>) => data is Some<A>;
|
|
31
|
-
/**
|
|
32
|
-
* Creates a None (empty Option).
|
|
33
|
-
*/
|
|
34
|
-
const none: () => None;
|
|
35
|
-
/**
|
|
36
|
-
* Type guard that checks if a Option is None.
|
|
37
|
-
*/
|
|
38
|
-
const isNone: <A>(data: Option<A>) => data is None;
|
|
39
|
-
/**
|
|
40
|
-
* Creates a Option from a nullable value.
|
|
41
|
-
* Returns None if the value is null or undefined, Some otherwise.
|
|
42
|
-
*
|
|
43
|
-
* @example
|
|
44
|
-
* ```ts
|
|
45
|
-
* Option.fromNullable(null); // None
|
|
46
|
-
* Option.fromNullable(42); // Some(42)
|
|
47
|
-
* ```
|
|
48
|
-
*/
|
|
49
|
-
const fromNullable: <A>(value: A | null | undefined) => Option<A>;
|
|
50
|
-
/**
|
|
51
|
-
* Extracts the value from a Option, returning null if None.
|
|
52
|
-
*/
|
|
53
|
-
const toNullable: <A>(data: Option<A>) => A | null;
|
|
54
|
-
/**
|
|
55
|
-
* Extracts the value from a Option, returning undefined if None.
|
|
56
|
-
*/
|
|
57
|
-
const toUndefined: <A>(data: Option<A>) => A | undefined;
|
|
58
|
-
/**
|
|
59
|
-
* Creates a Option from a possibly undefined value.
|
|
60
|
-
* Returns None if undefined, Some otherwise.
|
|
61
|
-
*/
|
|
62
|
-
const fromUndefined: <A>(value: A | undefined) => Option<A>;
|
|
63
|
-
/**
|
|
64
|
-
* Converts an Option to a Result.
|
|
65
|
-
* Some becomes Ok, None becomes Err with the provided error.
|
|
66
|
-
*
|
|
67
|
-
* @example
|
|
68
|
-
* ```ts
|
|
69
|
-
* pipe(
|
|
70
|
-
* Option.some(42),
|
|
71
|
-
* Option.toResult(() => "Value was missing")
|
|
72
|
-
* ); // Ok(42)
|
|
73
|
-
*
|
|
74
|
-
* pipe(
|
|
75
|
-
* Option.none(),
|
|
76
|
-
* Option.toResult(() => "Value was missing")
|
|
77
|
-
* ); // Err("Value was missing")
|
|
78
|
-
* ```
|
|
79
|
-
*/
|
|
80
|
-
const toResult: <E>(onNone: () => E) => <A>(data: Option<A>) => Result<E, A>;
|
|
81
|
-
/**
|
|
82
|
-
* Creates an Option from a Result.
|
|
83
|
-
* Ok becomes Some, Err becomes None (the error is discarded).
|
|
84
|
-
*
|
|
85
|
-
* @example
|
|
86
|
-
* ```ts
|
|
87
|
-
* Option.fromResult(Result.ok(42)); // Some(42)
|
|
88
|
-
* Option.fromResult(Result.err("oops")); // None
|
|
89
|
-
* ```
|
|
90
|
-
*/
|
|
91
|
-
const fromResult: <E, A>(data: Result<E, A>) => Option<A>;
|
|
92
|
-
/**
|
|
93
|
-
* Transforms the value inside a Option if it exists.
|
|
94
|
-
*
|
|
95
|
-
* @example
|
|
96
|
-
* ```ts
|
|
97
|
-
* pipe(Option.some(5), Option.map(n => n * 2)); // Some(10)
|
|
98
|
-
* pipe(Option.none(), Option.map(n => n * 2)); // None
|
|
99
|
-
* ```
|
|
100
|
-
*/
|
|
101
|
-
const map: <A, B>(f: (a: A) => B) => (data: Option<A>) => Option<B>;
|
|
102
|
-
/**
|
|
103
|
-
* Chains Option computations. If the first is Some, passes the value to f.
|
|
104
|
-
* If the first is None, propagates None.
|
|
105
|
-
*
|
|
106
|
-
* @example
|
|
107
|
-
* ```ts
|
|
108
|
-
* const parseNumber = (s: string): Option<number> => {
|
|
109
|
-
* const n = parseInt(s, 10);
|
|
110
|
-
* return isNaN(n) ? Option.none() : Option.some(n);
|
|
111
|
-
* };
|
|
112
|
-
*
|
|
113
|
-
* pipe(Option.some("42"), Option.chain(parseNumber)); // Some(42)
|
|
114
|
-
* pipe(Option.some("abc"), Option.chain(parseNumber)); // None
|
|
115
|
-
* ```
|
|
116
|
-
*/
|
|
117
|
-
const chain: <A, B>(f: (a: A) => Option<B>) => (data: Option<A>) => Option<B>;
|
|
118
|
-
/**
|
|
119
|
-
* Extracts the value from a Option by providing handlers for both cases.
|
|
120
|
-
*
|
|
121
|
-
* @example
|
|
122
|
-
* ```ts
|
|
123
|
-
* pipe(
|
|
124
|
-
* Option.some(5),
|
|
125
|
-
* Option.fold(
|
|
126
|
-
* () => "No value",
|
|
127
|
-
* n => `Value: ${n}`
|
|
128
|
-
* )
|
|
129
|
-
* ); // "Value: 5"
|
|
130
|
-
* ```
|
|
131
|
-
*/
|
|
132
|
-
const fold: <A, B>(onNone: () => B, onSome: (a: A) => B) => (data: Option<A>) => B;
|
|
133
|
-
/**
|
|
134
|
-
* Pattern matches on a Option, returning the result of the matching case.
|
|
135
|
-
*
|
|
136
|
-
* @example
|
|
137
|
-
* ```ts
|
|
138
|
-
* pipe(
|
|
139
|
-
* optionUser,
|
|
140
|
-
* Option.match({
|
|
141
|
-
* some: user => `Hello, ${user.name}`,
|
|
142
|
-
* none: () => "Hello, stranger"
|
|
143
|
-
* })
|
|
144
|
-
* );
|
|
145
|
-
* ```
|
|
146
|
-
*/
|
|
147
|
-
const match: <A, B>(cases: {
|
|
148
|
-
none: () => B;
|
|
149
|
-
some: (a: A) => B;
|
|
150
|
-
}) => (data: Option<A>) => B;
|
|
151
|
-
/**
|
|
152
|
-
* Returns the value inside an Option, or a default value if None.
|
|
153
|
-
* The default is a thunk `() => B` — evaluated only when the Option is None.
|
|
154
|
-
* The default can be a different type, widening the result to `A | B`.
|
|
155
|
-
*
|
|
156
|
-
* @example
|
|
157
|
-
* ```ts
|
|
158
|
-
* pipe(Option.some(5), Option.getOrElse(() => 0)); // 5
|
|
159
|
-
* pipe(Option.none(), Option.getOrElse(() => 0)); // 0
|
|
160
|
-
* pipe(Option.none<string>(), Option.getOrElse(() => null)); // null — typed as string | null
|
|
161
|
-
* ```
|
|
162
|
-
*/
|
|
163
|
-
const getOrElse: <A, B>(defaultValue: () => B) => (data: Option<A>) => A | B;
|
|
164
|
-
/**
|
|
165
|
-
* Executes a side effect on the value without changing the Option.
|
|
166
|
-
* Useful for logging or debugging.
|
|
167
|
-
*
|
|
168
|
-
* @example
|
|
169
|
-
* ```ts
|
|
170
|
-
* pipe(
|
|
171
|
-
* Option.some(5),
|
|
172
|
-
* Option.tap(n => console.log("Value:", n)),
|
|
173
|
-
* Option.map(n => n * 2)
|
|
174
|
-
* );
|
|
175
|
-
* ```
|
|
176
|
-
*/
|
|
177
|
-
const tap: <A>(f: (a: A) => void) => (data: Option<A>) => Option<A>;
|
|
178
|
-
/**
|
|
179
|
-
* Filters a Option based on a predicate.
|
|
180
|
-
* Returns None if the predicate returns false or if the Option is already None.
|
|
181
|
-
*
|
|
182
|
-
* @example
|
|
183
|
-
* ```ts
|
|
184
|
-
* pipe(Option.some(5), Option.filter(n => n > 3)); // Some(5)
|
|
185
|
-
* pipe(Option.some(2), Option.filter(n => n > 3)); // None
|
|
186
|
-
* ```
|
|
187
|
-
*/
|
|
188
|
-
const filter: <A>(predicate: (a: A) => boolean) => (data: Option<A>) => Option<A>;
|
|
189
|
-
/**
|
|
190
|
-
* Recovers from a None by providing a fallback Option.
|
|
191
|
-
* The fallback can produce a different type, widening the result to `Option<A | B>`.
|
|
192
|
-
*/
|
|
193
|
-
const recover: <A, B>(fallback: () => Option<B>) => (data: Option<A>) => Option<A | B>;
|
|
194
|
-
/**
|
|
195
|
-
* Applies a function wrapped in a Option to a value wrapped in a Option.
|
|
196
|
-
*
|
|
197
|
-
* @example
|
|
198
|
-
* ```ts
|
|
199
|
-
* const add = (a: number) => (b: number) => a + b;
|
|
200
|
-
* pipe(
|
|
201
|
-
* Option.some(add),
|
|
202
|
-
* Option.ap(Option.some(5)),
|
|
203
|
-
* Option.ap(Option.some(3))
|
|
204
|
-
* ); // Some(8)
|
|
205
|
-
* ```
|
|
206
|
-
*/
|
|
207
|
-
const ap: <A>(arg: Option<A>) => <B>(data: Option<(a: A) => B>) => Option<B>;
|
|
208
|
-
}
|
|
209
|
-
//# sourceMappingURL=Option.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;AAEvC,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AACtD,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;AAIpC,yBAAiB,MAAM,CAAC;IACvB;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,IAAI,CAAC,CAAC,CAA8B,CAAC;IAExE;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,IAAI,IAAI,IAAI,CAAC,CAAC,CAAyB,CAAC;IAEpF;;OAEG;IACI,MAAM,IAAI,QAAO,IAAa,CAAC;IAEtC;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,IAAI,IAAI,IAA4B,CAAC;IAEjF;;;;;;;;;OASG;IACI,MAAM,YAAY,GAAI,CAAC,EAAE,OAAO,CAAC,GAAG,IAAI,GAAG,SAAS,KAAG,MAAM,CAAC,CAAC,CACT,CAAC;IAE9D;;OAEG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,CAAC,GAAG,IAAwC,CAAC;IAE7F;;OAEG;IACI,MAAM,WAAW,GAAI,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,CAAC,GAAG,SAAkD,CAAC;IAExG;;;OAGG;IACI,MAAM,aAAa,GAAI,CAAC,EAAE,OAAO,CAAC,GAAG,SAAS,KAAG,MAAM,CAAC,CAAC,CAA+C,CAAC;IAEhH;;;;;;;;;;;;;;;;OAgBG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACrB,CAAC;IAE7D;;;;;;;;;OASG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAAkD,CAAC;IAEjH;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAC9B,CAAC;IAE3C;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAC9C,CAAC;IAErC;;;;;;;;;;;;;OAaG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,CAC1C,CAAC;IAE9C;;;;;;;;;;;;;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,MAAM,CAAC,CAAC,CAAC,KAAG,CAC1C,CAAC;IAEtD;;;;;;;;;;;OAWG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,CAAC,GAAG,CACtC,CAAC;IAE5C;;;;;;;;;;;;OAYG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAGvE,CAAC;IAEF;;;;;;;;;OASG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,MAAM,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CACxB,CAAC;IAE/D;;;OAGG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,UAAU,MAAM,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAC1D,CAAC;IAElC;;;;;;;;;;;;OAYG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CACd,CAAC;CACpE"}
|