@nlozgachev/pipelined 0.12.0 → 0.13.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (205) hide show
  1. package/LICENCE +28 -0
  2. package/README.md +1 -1
  3. package/{types/src/Types/NonEmptyList.d.ts → dist/NonEmptyList-BlGFjor5.d.mts} +4 -3
  4. package/dist/NonEmptyList-BlGFjor5.d.ts +30 -0
  5. package/dist/Task-BB8Wmc1J.d.ts +677 -0
  6. package/dist/Task-ChKyH0pF.d.mts +677 -0
  7. package/dist/chunk-DBIC62UV.mjs +6 -0
  8. package/dist/chunk-QPTGO5AS.mjs +150 -0
  9. package/dist/composition.d.mts +495 -0
  10. package/dist/composition.d.ts +495 -0
  11. package/dist/composition.js +188 -0
  12. package/dist/composition.mjs +135 -0
  13. package/dist/core.d.mts +2170 -0
  14. package/dist/core.d.ts +2170 -0
  15. package/dist/core.js +698 -0
  16. package/dist/core.mjs +517 -0
  17. package/dist/types.d.mts +54 -0
  18. package/{types/src/Types/Brand.d.ts → dist/types.d.ts} +6 -4
  19. package/dist/types.js +41 -0
  20. package/dist/types.mjs +14 -0
  21. package/dist/utils.d.mts +1285 -0
  22. package/dist/utils.d.ts +1285 -0
  23. package/dist/utils.js +722 -0
  24. package/dist/utils.mjs +553 -0
  25. package/package.json +63 -69
  26. package/esm/mod.js +0 -3
  27. package/esm/package.json +0 -3
  28. package/esm/src/Composition/compose.js +0 -3
  29. package/esm/src/Composition/converge.js +0 -3
  30. package/esm/src/Composition/curry.js +0 -42
  31. package/esm/src/Composition/flip.js +0 -20
  32. package/esm/src/Composition/flow.js +0 -8
  33. package/esm/src/Composition/fn.js +0 -85
  34. package/esm/src/Composition/index.js +0 -13
  35. package/esm/src/Composition/juxt.js +0 -3
  36. package/esm/src/Composition/memoize.js +0 -66
  37. package/esm/src/Composition/not.js +0 -25
  38. package/esm/src/Composition/on.js +0 -12
  39. package/esm/src/Composition/pipe.js +0 -3
  40. package/esm/src/Composition/tap.js +0 -33
  41. package/esm/src/Composition/uncurry.js +0 -32
  42. package/esm/src/Core/Deferred.js +0 -30
  43. package/esm/src/Core/InternalTypes.js +0 -1
  44. package/esm/src/Core/Lens.js +0 -98
  45. package/esm/src/Core/Logged.js +0 -111
  46. package/esm/src/Core/Option.js +0 -191
  47. package/esm/src/Core/Optional.js +0 -160
  48. package/esm/src/Core/Predicate.js +0 -133
  49. package/esm/src/Core/Reader.js +0 -134
  50. package/esm/src/Core/Refinement.js +0 -115
  51. package/esm/src/Core/RemoteData.js +0 -211
  52. package/esm/src/Core/Result.js +0 -170
  53. package/esm/src/Core/State.js +0 -181
  54. package/esm/src/Core/Task.js +0 -223
  55. package/esm/src/Core/TaskOption.js +0 -106
  56. package/esm/src/Core/TaskResult.js +0 -127
  57. package/esm/src/Core/TaskValidation.js +0 -128
  58. package/esm/src/Core/These.js +0 -245
  59. package/esm/src/Core/Tuple.js +0 -112
  60. package/esm/src/Core/Validation.js +0 -212
  61. package/esm/src/Core/index.js +0 -18
  62. package/esm/src/Types/Brand.js +0 -28
  63. package/esm/src/Types/NonEmptyList.js +0 -14
  64. package/esm/src/Types/index.js +0 -2
  65. package/esm/src/Utils/Arr.js +0 -570
  66. package/esm/src/Utils/Dict.js +0 -421
  67. package/esm/src/Utils/Num.js +0 -124
  68. package/esm/src/Utils/Rec.js +0 -241
  69. package/esm/src/Utils/Str.js +0 -134
  70. package/esm/src/Utils/Uniq.js +0 -265
  71. package/esm/src/Utils/index.js +0 -6
  72. package/script/mod.js +0 -19
  73. package/script/package.json +0 -3
  74. package/script/src/Composition/compose.js +0 -6
  75. package/script/src/Composition/converge.js +0 -6
  76. package/script/src/Composition/curry.js +0 -48
  77. package/script/src/Composition/flip.js +0 -24
  78. package/script/src/Composition/flow.js +0 -11
  79. package/script/src/Composition/fn.js +0 -98
  80. package/script/src/Composition/index.js +0 -29
  81. package/script/src/Composition/juxt.js +0 -6
  82. package/script/src/Composition/memoize.js +0 -71
  83. package/script/src/Composition/not.js +0 -29
  84. package/script/src/Composition/on.js +0 -16
  85. package/script/src/Composition/pipe.js +0 -6
  86. package/script/src/Composition/tap.js +0 -37
  87. package/script/src/Composition/uncurry.js +0 -38
  88. package/script/src/Core/Deferred.js +0 -33
  89. package/script/src/Core/InternalTypes.js +0 -2
  90. package/script/src/Core/Lens.js +0 -101
  91. package/script/src/Core/Logged.js +0 -114
  92. package/script/src/Core/Option.js +0 -194
  93. package/script/src/Core/Optional.js +0 -163
  94. package/script/src/Core/Predicate.js +0 -136
  95. package/script/src/Core/Reader.js +0 -137
  96. package/script/src/Core/Refinement.js +0 -118
  97. package/script/src/Core/RemoteData.js +0 -214
  98. package/script/src/Core/Result.js +0 -173
  99. package/script/src/Core/State.js +0 -184
  100. package/script/src/Core/Task.js +0 -226
  101. package/script/src/Core/TaskOption.js +0 -109
  102. package/script/src/Core/TaskResult.js +0 -130
  103. package/script/src/Core/TaskValidation.js +0 -131
  104. package/script/src/Core/These.js +0 -248
  105. package/script/src/Core/Tuple.js +0 -115
  106. package/script/src/Core/Validation.js +0 -215
  107. package/script/src/Core/index.js +0 -34
  108. package/script/src/Types/Brand.js +0 -31
  109. package/script/src/Types/NonEmptyList.js +0 -18
  110. package/script/src/Types/index.js +0 -18
  111. package/script/src/Utils/Arr.js +0 -573
  112. package/script/src/Utils/Dict.js +0 -424
  113. package/script/src/Utils/Num.js +0 -127
  114. package/script/src/Utils/Rec.js +0 -244
  115. package/script/src/Utils/Str.js +0 -137
  116. package/script/src/Utils/Uniq.js +0 -268
  117. package/script/src/Utils/index.js +0 -22
  118. package/types/mod.d.ts +0 -4
  119. package/types/mod.d.ts.map +0 -1
  120. package/types/src/Composition/compose.d.ts +0 -33
  121. package/types/src/Composition/compose.d.ts.map +0 -1
  122. package/types/src/Composition/converge.d.ts +0 -21
  123. package/types/src/Composition/converge.d.ts.map +0 -1
  124. package/types/src/Composition/curry.d.ts +0 -43
  125. package/types/src/Composition/curry.d.ts.map +0 -1
  126. package/types/src/Composition/flip.d.ts +0 -21
  127. package/types/src/Composition/flip.d.ts.map +0 -1
  128. package/types/src/Composition/flow.d.ts +0 -56
  129. package/types/src/Composition/flow.d.ts.map +0 -1
  130. package/types/src/Composition/fn.d.ts +0 -76
  131. package/types/src/Composition/fn.d.ts.map +0 -1
  132. package/types/src/Composition/index.d.ts +0 -14
  133. package/types/src/Composition/index.d.ts.map +0 -1
  134. package/types/src/Composition/juxt.d.ts +0 -18
  135. package/types/src/Composition/juxt.d.ts.map +0 -1
  136. package/types/src/Composition/memoize.d.ts +0 -46
  137. package/types/src/Composition/memoize.d.ts.map +0 -1
  138. package/types/src/Composition/not.d.ts +0 -26
  139. package/types/src/Composition/not.d.ts.map +0 -1
  140. package/types/src/Composition/on.d.ts +0 -13
  141. package/types/src/Composition/on.d.ts.map +0 -1
  142. package/types/src/Composition/pipe.d.ts +0 -56
  143. package/types/src/Composition/pipe.d.ts.map +0 -1
  144. package/types/src/Composition/tap.d.ts +0 -31
  145. package/types/src/Composition/tap.d.ts.map +0 -1
  146. package/types/src/Composition/uncurry.d.ts +0 -54
  147. package/types/src/Composition/uncurry.d.ts.map +0 -1
  148. package/types/src/Core/Deferred.d.ts +0 -49
  149. package/types/src/Core/Deferred.d.ts.map +0 -1
  150. package/types/src/Core/InternalTypes.d.ts +0 -23
  151. package/types/src/Core/InternalTypes.d.ts.map +0 -1
  152. package/types/src/Core/Lens.d.ts +0 -118
  153. package/types/src/Core/Lens.d.ts.map +0 -1
  154. package/types/src/Core/Logged.d.ts +0 -126
  155. package/types/src/Core/Logged.d.ts.map +0 -1
  156. package/types/src/Core/Option.d.ts +0 -209
  157. package/types/src/Core/Option.d.ts.map +0 -1
  158. package/types/src/Core/Optional.d.ts +0 -158
  159. package/types/src/Core/Optional.d.ts.map +0 -1
  160. package/types/src/Core/Predicate.d.ts +0 -161
  161. package/types/src/Core/Predicate.d.ts.map +0 -1
  162. package/types/src/Core/Reader.d.ts +0 -156
  163. package/types/src/Core/Reader.d.ts.map +0 -1
  164. package/types/src/Core/Refinement.d.ts +0 -138
  165. package/types/src/Core/Refinement.d.ts.map +0 -1
  166. package/types/src/Core/RemoteData.d.ts +0 -197
  167. package/types/src/Core/RemoteData.d.ts.map +0 -1
  168. package/types/src/Core/Result.d.ts +0 -182
  169. package/types/src/Core/Result.d.ts.map +0 -1
  170. package/types/src/Core/State.d.ts +0 -192
  171. package/types/src/Core/State.d.ts.map +0 -1
  172. package/types/src/Core/Task.d.ts +0 -219
  173. package/types/src/Core/Task.d.ts.map +0 -1
  174. package/types/src/Core/TaskOption.d.ts +0 -121
  175. package/types/src/Core/TaskOption.d.ts.map +0 -1
  176. package/types/src/Core/TaskResult.d.ts +0 -119
  177. package/types/src/Core/TaskResult.d.ts.map +0 -1
  178. package/types/src/Core/TaskValidation.d.ts +0 -144
  179. package/types/src/Core/TaskValidation.d.ts.map +0 -1
  180. package/types/src/Core/These.d.ts +0 -225
  181. package/types/src/Core/These.d.ts.map +0 -1
  182. package/types/src/Core/Tuple.d.ts +0 -129
  183. package/types/src/Core/Tuple.d.ts.map +0 -1
  184. package/types/src/Core/Validation.d.ts +0 -203
  185. package/types/src/Core/Validation.d.ts.map +0 -1
  186. package/types/src/Core/index.d.ts +0 -19
  187. package/types/src/Core/index.d.ts.map +0 -1
  188. package/types/src/Types/Brand.d.ts.map +0 -1
  189. package/types/src/Types/NonEmptyList.d.ts.map +0 -1
  190. package/types/src/Types/index.d.ts +0 -3
  191. package/types/src/Types/index.d.ts.map +0 -1
  192. package/types/src/Utils/Arr.d.ts +0 -403
  193. package/types/src/Utils/Arr.d.ts.map +0 -1
  194. package/types/src/Utils/Dict.d.ts +0 -310
  195. package/types/src/Utils/Dict.d.ts.map +0 -1
  196. package/types/src/Utils/Num.d.ts +0 -110
  197. package/types/src/Utils/Num.d.ts.map +0 -1
  198. package/types/src/Utils/Rec.d.ts +0 -159
  199. package/types/src/Utils/Rec.d.ts.map +0 -1
  200. package/types/src/Utils/Str.d.ts +0 -128
  201. package/types/src/Utils/Str.d.ts.map +0 -1
  202. package/types/src/Utils/Uniq.d.ts +0 -179
  203. package/types/src/Utils/Uniq.d.ts.map +0 -1
  204. package/types/src/Utils/index.d.ts +0 -7
  205. package/types/src/Utils/index.d.ts.map +0 -1
@@ -1,191 +0,0 @@
1
- import { Result } from "./Result.js";
2
- const _none = { kind: "None" };
3
- export var Option;
4
- (function (Option) {
5
- /**
6
- * Creates a Some containing the given value.
7
- */
8
- Option.some = (value) => ({ kind: "Some", value });
9
- /**
10
- * Type guard that checks if a Option is Some.
11
- */
12
- Option.isSome = (data) => data.kind === "Some";
13
- /**
14
- * Creates a None (empty Option).
15
- */
16
- Option.none = () => _none;
17
- /**
18
- * Type guard that checks if a Option is None.
19
- */
20
- Option.isNone = (data) => data.kind === "None";
21
- /**
22
- * Creates a Option from a nullable value.
23
- * Returns None if the value is null or undefined, Some otherwise.
24
- *
25
- * @example
26
- * ```ts
27
- * Option.fromNullable(null); // None
28
- * Option.fromNullable(42); // Some(42)
29
- * ```
30
- */
31
- Option.fromNullable = (value) => value === null || value === undefined ? Option.none() : Option.some(value);
32
- /**
33
- * Extracts the value from a Option, returning null if None.
34
- */
35
- Option.toNullable = (data) => Option.isSome(data) ? data.value : null;
36
- /**
37
- * Extracts the value from a Option, returning undefined if None.
38
- */
39
- Option.toUndefined = (data) => Option.isSome(data) ? data.value : undefined;
40
- /**
41
- * Creates a Option from a possibly undefined value.
42
- * Returns None if undefined, Some otherwise.
43
- */
44
- Option.fromUndefined = (value) => value === undefined ? Option.none() : Option.some(value);
45
- /**
46
- * Converts an Option to a Result.
47
- * Some becomes Ok, None becomes Err with the provided error.
48
- *
49
- * @example
50
- * ```ts
51
- * pipe(
52
- * Option.some(42),
53
- * Option.toResult(() => "Value was missing")
54
- * ); // Ok(42)
55
- *
56
- * pipe(
57
- * Option.none(),
58
- * Option.toResult(() => "Value was missing")
59
- * ); // Err("Value was missing")
60
- * ```
61
- */
62
- Option.toResult = (onNone) => (data) => Option.isSome(data) ? Result.ok(data.value) : Result.err(onNone());
63
- /**
64
- * Creates an Option from a Result.
65
- * Ok becomes Some, Err becomes None (the error is discarded).
66
- *
67
- * @example
68
- * ```ts
69
- * Option.fromResult(Result.ok(42)); // Some(42)
70
- * Option.fromResult(Result.err("oops")); // None
71
- * ```
72
- */
73
- Option.fromResult = (data) => Result.isOk(data) ? Option.some(data.value) : Option.none();
74
- /**
75
- * Transforms the value inside a Option if it exists.
76
- *
77
- * @example
78
- * ```ts
79
- * pipe(Option.some(5), Option.map(n => n * 2)); // Some(10)
80
- * pipe(Option.none(), Option.map(n => n * 2)); // None
81
- * ```
82
- */
83
- Option.map = (f) => (data) => Option.isSome(data) ? Option.some(f(data.value)) : data;
84
- /**
85
- * Chains Option computations. If the first is Some, passes the value to f.
86
- * If the first is None, propagates None.
87
- *
88
- * @example
89
- * ```ts
90
- * const parseNumber = (s: string): Option<number> => {
91
- * const n = parseInt(s, 10);
92
- * return isNaN(n) ? Option.none() : Option.some(n);
93
- * };
94
- *
95
- * pipe(Option.some("42"), Option.chain(parseNumber)); // Some(42)
96
- * pipe(Option.some("abc"), Option.chain(parseNumber)); // None
97
- * ```
98
- */
99
- Option.chain = (f) => (data) => Option.isSome(data) ? f(data.value) : data;
100
- /**
101
- * Extracts the value from a Option by providing handlers for both cases.
102
- *
103
- * @example
104
- * ```ts
105
- * pipe(
106
- * Option.some(5),
107
- * Option.fold(
108
- * () => "No value",
109
- * n => `Value: ${n}`
110
- * )
111
- * ); // "Value: 5"
112
- * ```
113
- */
114
- Option.fold = (onNone, onSome) => (data) => Option.isSome(data) ? onSome(data.value) : onNone();
115
- /**
116
- * Pattern matches on a Option, returning the result of the matching case.
117
- *
118
- * @example
119
- * ```ts
120
- * pipe(
121
- * optionUser,
122
- * Option.match({
123
- * some: user => `Hello, ${user.name}`,
124
- * none: () => "Hello, stranger"
125
- * })
126
- * );
127
- * ```
128
- */
129
- Option.match = (cases) => (data) => Option.isSome(data) ? cases.some(data.value) : cases.none();
130
- /**
131
- * Returns the value inside an Option, or a default value if None.
132
- * The default is a thunk `() => B` — evaluated only when the Option is None.
133
- * The default can be a different type, widening the result to `A | B`.
134
- *
135
- * @example
136
- * ```ts
137
- * pipe(Option.some(5), Option.getOrElse(() => 0)); // 5
138
- * pipe(Option.none(), Option.getOrElse(() => 0)); // 0
139
- * pipe(Option.none<string>(), Option.getOrElse(() => null)); // null — typed as string | null
140
- * ```
141
- */
142
- Option.getOrElse = (defaultValue) => (data) => Option.isSome(data) ? data.value : defaultValue();
143
- /**
144
- * Executes a side effect on the value without changing the Option.
145
- * Useful for logging or debugging.
146
- *
147
- * @example
148
- * ```ts
149
- * pipe(
150
- * Option.some(5),
151
- * Option.tap(n => console.log("Value:", n)),
152
- * Option.map(n => n * 2)
153
- * );
154
- * ```
155
- */
156
- Option.tap = (f) => (data) => {
157
- if (Option.isSome(data))
158
- f(data.value);
159
- return data;
160
- };
161
- /**
162
- * Filters a Option based on a predicate.
163
- * Returns None if the predicate returns false or if the Option is already None.
164
- *
165
- * @example
166
- * ```ts
167
- * pipe(Option.some(5), Option.filter(n => n > 3)); // Some(5)
168
- * pipe(Option.some(2), Option.filter(n => n > 3)); // None
169
- * ```
170
- */
171
- Option.filter = (predicate) => (data) => Option.isSome(data) ? (predicate(data.value) ? data : Option.none()) : data;
172
- /**
173
- * Recovers from a None by providing a fallback Option.
174
- * The fallback can produce a different type, widening the result to `Option<A | B>`.
175
- */
176
- Option.recover = (fallback) => (data) => Option.isSome(data) ? data : fallback();
177
- /**
178
- * Applies a function wrapped in a Option to a value wrapped in a Option.
179
- *
180
- * @example
181
- * ```ts
182
- * const add = (a: number) => (b: number) => a + b;
183
- * pipe(
184
- * Option.some(add),
185
- * Option.ap(Option.some(5)),
186
- * Option.ap(Option.some(3))
187
- * ); // Some(8)
188
- * ```
189
- */
190
- Option.ap = (arg) => (data) => Option.isSome(data) && Option.isSome(arg) ? Option.some(data.value(arg.value)) : Option.none();
191
- })(Option || (Option = {}));
@@ -1,160 +0,0 @@
1
- import { Option } from "./Option.js";
2
- export var Optional;
3
- (function (Optional) {
4
- /**
5
- * Constructs an Optional from a getter (returning Option<A>) and a setter.
6
- *
7
- * @example
8
- * ```ts
9
- * const firstChar = Optional.make(
10
- * (s: string) => s.length > 0 ? Option.some(s[0]) : Option.none(),
11
- * (c) => (s) => s.length > 0 ? c + s.slice(1) : s,
12
- * );
13
- * ```
14
- */
15
- Optional.make = (get, set) => ({ get, set });
16
- /**
17
- * Creates an Optional that focuses on an optional property of an object.
18
- * Only keys whose type includes undefined (i.e. `field?: T`) are accepted.
19
- * Call with the structure type first, then the key.
20
- *
21
- * @example
22
- * ```ts
23
- * type Profile = { username: string; bio?: string };
24
- * const bioOpt = Optional.prop<Profile>()("bio");
25
- * ```
26
- */
27
- Optional.prop = () => (key) => Optional.make((s) => {
28
- const val = s[key];
29
- return val != null ? Option.some(val) : Option.none();
30
- }, (a) => (s) => ({ ...s, [key]: a }));
31
- /**
32
- * Creates an Optional that focuses on an element at a given index in an array.
33
- * Returns None when the index is out of bounds; set is a no-op when out of bounds.
34
- *
35
- * @example
36
- * ```ts
37
- * const firstItem = Optional.index<string>(0);
38
- *
39
- * pipe(["a", "b"], Optional.get(firstItem)); // Some("a")
40
- * pipe([], Optional.get(firstItem)); // None
41
- * ```
42
- */
43
- Optional.index = (i) => Optional.make((arr) => i >= 0 && i < arr.length ? Option.some(arr[i]) : Option.none(), (a) => (arr) => {
44
- if (i < 0 || i >= arr.length)
45
- return arr;
46
- const copy = [...arr];
47
- copy[i] = a;
48
- return copy;
49
- });
50
- /**
51
- * Reads the focused value from a structure, returning Option<A>.
52
- *
53
- * @example
54
- * ```ts
55
- * pipe(profile, Optional.get(bioOpt)); // Some("...") or None
56
- * ```
57
- */
58
- Optional.get = (opt) => (s) => opt.get(s);
59
- /**
60
- * Replaces the focused value within a structure.
61
- * For indexed focuses, this is a no-op when the index is out of bounds.
62
- *
63
- * @example
64
- * ```ts
65
- * pipe(profile, Optional.set(bioOpt)("hello"));
66
- * ```
67
- */
68
- Optional.set = (opt) => (a) => (s) => opt.set(a)(s);
69
- /**
70
- * Applies a function to the focused value if it is present; returns the
71
- * structure unchanged if the focus is absent.
72
- *
73
- * @example
74
- * ```ts
75
- * pipe(profile, Optional.modify(bioOpt)(s => s.toUpperCase()));
76
- * ```
77
- */
78
- Optional.modify = (opt) => (f) => (s) => {
79
- const val = opt.get(s);
80
- return val.kind === "None" ? s : opt.set(f(val.value))(s);
81
- };
82
- /**
83
- * Returns the focused value or a default when the focus is absent.
84
- *
85
- * @example
86
- * ```ts
87
- * pipe(profile, Optional.getOrElse(bioOpt)(() => "no bio"));
88
- * ```
89
- */
90
- Optional.getOrElse = (opt) => (defaultValue) => (s) => {
91
- const val = opt.get(s);
92
- return val.kind === "Some" ? val.value : defaultValue();
93
- };
94
- /**
95
- * Extracts a value from an Optional focus using handlers for the present
96
- * and absent cases.
97
- *
98
- * @example
99
- * ```ts
100
- * pipe(profile, Optional.fold(bioOpt)(() => "no bio", (bio) => bio.toUpperCase()));
101
- * ```
102
- */
103
- Optional.fold = (opt) => (onNone, onSome) => (s) => {
104
- const val = opt.get(s);
105
- return val.kind === "Some" ? onSome(val.value) : onNone();
106
- };
107
- /**
108
- * Pattern matches on an Optional focus using a named-case object.
109
- *
110
- * @example
111
- * ```ts
112
- * pipe(
113
- * profile,
114
- * Optional.match(bioOpt)({ none: () => "no bio", some: (bio) => bio }),
115
- * );
116
- * ```
117
- */
118
- Optional.match = (opt) => (cases) => (s) => {
119
- const val = opt.get(s);
120
- return val.kind === "Some" ? cases.some(val.value) : cases.none();
121
- };
122
- /**
123
- * Composes two Optionals: focuses through the outer, then through the inner.
124
- * Returns None if either focus is absent.
125
- *
126
- * @example
127
- * ```ts
128
- * const deepOpt = pipe(
129
- * Optional.prop<User>()("address"),
130
- * Optional.andThen(Optional.prop<Address>()("landmark")),
131
- * );
132
- * ```
133
- */
134
- Optional.andThen = (inner) => (outer) => Optional.make((s) => {
135
- const mid = outer.get(s);
136
- return mid.kind === "None" ? Option.none() : inner.get(mid.value);
137
- }, (b) => (s) => {
138
- const mid = outer.get(s);
139
- return mid.kind === "None" ? s : outer.set(inner.set(b)(mid.value))(s);
140
- });
141
- /**
142
- * Composes an Optional with a Lens, producing an Optional.
143
- * The Lens focuses within the value found by the Optional.
144
- *
145
- * @example
146
- * ```ts
147
- * const cityOpt = pipe(
148
- * Optional.prop<User>()("address"),
149
- * Optional.andThenLens(Lens.prop<Address>()("city")),
150
- * );
151
- * ```
152
- */
153
- Optional.andThenLens = (inner) => (outer) => Optional.make((s) => {
154
- const mid = outer.get(s);
155
- return mid.kind === "None" ? Option.none() : Option.some(inner.get(mid.value));
156
- }, (b) => (s) => {
157
- const mid = outer.get(s);
158
- return mid.kind === "None" ? s : outer.set(inner.set(b)(mid.value))(s);
159
- });
160
- })(Optional || (Optional = {}));
@@ -1,133 +0,0 @@
1
- export var Predicate;
2
- (function (Predicate) {
3
- /**
4
- * Negates a predicate: the result passes exactly when the original fails.
5
- *
6
- * @example
7
- * ```ts
8
- * const isBlank: Predicate<string> = s => s.trim().length === 0;
9
- * const isNotBlank = Predicate.not(isBlank);
10
- *
11
- * isNotBlank("hello"); // true
12
- * isNotBlank(" "); // false
13
- * ```
14
- */
15
- Predicate.not = (p) => (a) => !p(a);
16
- /**
17
- * Combines two predicates with logical AND: passes only when both hold.
18
- *
19
- * Data-last — the first predicate is the data being piped.
20
- *
21
- * @example
22
- * ```ts
23
- * const isPositive: Predicate<number> = n => n > 0;
24
- * const isEven: Predicate<number> = n => n % 2 === 0;
25
- *
26
- * const isPositiveEven: Predicate<number> = pipe(isPositive, Predicate.and(isEven));
27
- *
28
- * isPositiveEven(4); // true
29
- * isPositiveEven(3); // false — positive but odd
30
- * isPositiveEven(-2); // false — even but not positive
31
- * ```
32
- */
33
- Predicate.and = (second) => (first) => (a) => first(a) && second(a);
34
- /**
35
- * Combines two predicates with logical OR: passes when either holds.
36
- *
37
- * Data-last — the first predicate is the data being piped.
38
- *
39
- * @example
40
- * ```ts
41
- * const isChild: Predicate<number> = n => n < 13;
42
- * const isSenior: Predicate<number> = n => n >= 65;
43
- *
44
- * const getsDiscount: Predicate<number> = pipe(isChild, Predicate.or(isSenior));
45
- *
46
- * getsDiscount(8); // true
47
- * getsDiscount(70); // true
48
- * getsDiscount(30); // false
49
- * ```
50
- */
51
- Predicate.or = (second) => (first) => (a) => first(a) || second(a);
52
- /**
53
- * Adapts a `Predicate<A>` to work on a different input type `B` by applying `f`
54
- * to extract the relevant `A` from a `B` before running the check.
55
- *
56
- * Data-last — the predicate is the data being piped; `f` is the extractor.
57
- *
58
- * @example
59
- * ```ts
60
- * type User = { name: string; age: number };
61
- *
62
- * const isAdult: Predicate<number> = n => n >= 18;
63
- *
64
- * // Lift isAdult to work on Users by extracting the age field
65
- * const isAdultUser: Predicate<User> = pipe(
66
- * isAdult,
67
- * Predicate.using((u: User) => u.age)
68
- * );
69
- *
70
- * isAdultUser({ name: "Alice", age: 30 }); // true
71
- * isAdultUser({ name: "Bob", age: 15 }); // false
72
- * ```
73
- */
74
- Predicate.using = (f) => (p) => (b) => p(f(b));
75
- /**
76
- * Combines an array of predicates with AND: passes only when every predicate holds.
77
- * Returns `true` for an empty array (vacuous truth).
78
- *
79
- * @example
80
- * ```ts
81
- * const checks: Predicate<string>[] = [
82
- * s => s.length > 0,
83
- * s => s.length <= 100,
84
- * s => !s.includes("<"),
85
- * ];
86
- *
87
- * Predicate.all(checks)("hello"); // true
88
- * Predicate.all(checks)(""); // false — too short
89
- * Predicate.all(checks)("<b>"); // false — contains "<"
90
- * Predicate.all([])("anything"); // true
91
- * ```
92
- */
93
- Predicate.all = (predicates) => (a) => predicates.every((p) => p(a));
94
- /**
95
- * Combines an array of predicates with OR: passes when at least one holds.
96
- * Returns `false` for an empty array.
97
- *
98
- * @example
99
- * ```ts
100
- * const acceptedFormats: Predicate<string>[] = [
101
- * s => s.endsWith(".jpg"),
102
- * s => s.endsWith(".png"),
103
- * s => s.endsWith(".webp"),
104
- * ];
105
- *
106
- * Predicate.any(acceptedFormats)("photo.jpg"); // true
107
- * Predicate.any(acceptedFormats)("photo.gif"); // false
108
- * Predicate.any([])("anything"); // false
109
- * ```
110
- */
111
- Predicate.any = (predicates) => (a) => predicates.some((p) => p(a));
112
- /**
113
- * Converts a `Refinement<A, B>` into a `Predicate<A>`, discarding the compile-time
114
- * narrowing. Use this when you want to combine a type guard with plain predicates
115
- * using `and`, `or`, or `all`.
116
- *
117
- * @example
118
- * ```ts
119
- * const isString: Refinement<unknown, string> =
120
- * Refinement.make(x => typeof x === "string");
121
- *
122
- * const isShortString: Predicate<unknown> = pipe(
123
- * Predicate.fromRefinement(isString),
124
- * Predicate.and(x => (x as string).length < 10)
125
- * );
126
- *
127
- * isShortString("hi"); // true
128
- * isShortString("a very long string that exceeds ten characters"); // false
129
- * isShortString(42); // false
130
- * ```
131
- */
132
- Predicate.fromRefinement = (r) => r;
133
- })(Predicate || (Predicate = {}));
@@ -1,134 +0,0 @@
1
- export var Reader;
2
- (function (Reader) {
3
- /**
4
- * Lifts a pure value into a Reader. The environment is ignored.
5
- *
6
- * @example
7
- * ```ts
8
- * const always42: Reader<Config, number> = Reader.resolve(42);
9
- * always42(anyConfig); // 42
10
- * ```
11
- */
12
- Reader.resolve = (value) => (_env) => value;
13
- /**
14
- * Returns the full environment as the result.
15
- * The fundamental way to access the environment in a pipeline.
16
- *
17
- * @example
18
- * ```ts
19
- * pipe(
20
- * Reader.ask<Config>(),
21
- * Reader.map(config => config.baseUrl)
22
- * )(appConfig); // "https://api.example.com"
23
- * ```
24
- */
25
- Reader.ask = () => (env) => env;
26
- /**
27
- * Projects a value from the environment using a selector function.
28
- * Equivalent to `pipe(Reader.ask(), Reader.map(f))` but more direct.
29
- *
30
- * @example
31
- * ```ts
32
- * const getBaseUrl: Reader<Config, string> = Reader.asks(c => c.baseUrl);
33
- * getBaseUrl(appConfig); // "https://api.example.com"
34
- * ```
35
- */
36
- Reader.asks = (f) => (env) => f(env);
37
- /**
38
- * Transforms the value produced by a Reader.
39
- *
40
- * @example
41
- * ```ts
42
- * pipe(
43
- * Reader.asks((c: Config) => c.baseUrl),
44
- * Reader.map(url => url.toUpperCase())
45
- * )(appConfig); // "HTTPS://API.EXAMPLE.COM"
46
- * ```
47
- */
48
- Reader.map = (f) => (data) => (env) => f(data(env));
49
- /**
50
- * Sequences two Readers. Both see the same environment.
51
- * The output of the first is passed to `f`, which returns the next Reader.
52
- *
53
- * @example
54
- * ```ts
55
- * const buildUrl = (path: string): Reader<Config, string> =>
56
- * Reader.asks(c => `${c.baseUrl}${path}`);
57
- *
58
- * const addAuth = (url: string): Reader<Config, string> =>
59
- * Reader.asks(c => `${url}?key=${c.apiKey}`);
60
- *
61
- * pipe(
62
- * buildUrl("/items"),
63
- * Reader.chain(addAuth)
64
- * )(appConfig); // "https://api.example.com/items?key=secret"
65
- * ```
66
- */
67
- Reader.chain = (f) => (data) => (env) => f(data(env))(env);
68
- /**
69
- * Applies a function wrapped in a Reader to a value wrapped in a Reader.
70
- * Both Readers see the same environment.
71
- *
72
- * @example
73
- * ```ts
74
- * const add = (a: number) => (b: number) => a + b;
75
- * pipe(
76
- * Reader.resolve<Config, typeof add>(add),
77
- * Reader.ap(Reader.asks(c => c.timeout)),
78
- * Reader.ap(Reader.resolve(5))
79
- * )(appConfig);
80
- * ```
81
- */
82
- Reader.ap = (arg) => (data) => (env) => data(env)(arg(env));
83
- /**
84
- * Executes a side effect on the produced value without changing the Reader.
85
- * Useful for logging or debugging inside a pipeline.
86
- *
87
- * @example
88
- * ```ts
89
- * pipe(
90
- * buildUrl("/users"),
91
- * Reader.tap(url => console.log("Requesting:", url)),
92
- * Reader.chain(addAuth)
93
- * )(appConfig);
94
- * ```
95
- */
96
- Reader.tap = (f) => (data) => (env) => {
97
- const a = data(env);
98
- f(a);
99
- return a;
100
- };
101
- /**
102
- * Adapts a Reader to work with a different (typically wider) environment
103
- * by transforming the environment before passing it to the Reader.
104
- * This lets you compose Readers that expect different environments.
105
- *
106
- * @example
107
- * ```ts
108
- * type AppEnv = { db: DbPool; config: Config; logger: Logger };
109
- *
110
- * // buildUrl only needs Config
111
- * const buildUrl: Reader<Config, string> = Reader.asks(c => c.baseUrl);
112
- *
113
- * // Zoom in from AppEnv to Config
114
- * const buildUrlFromApp: Reader<AppEnv, string> =
115
- * pipe(buildUrl, Reader.local((env: AppEnv) => env.config));
116
- *
117
- * buildUrlFromApp(appEnv); // works with the full AppEnv
118
- * ```
119
- */
120
- Reader.local = (f) => (data) => (env) => data(f(env));
121
- /**
122
- * Runs a Reader by supplying the environment. Use this at the edge of your
123
- * program where the environment is available.
124
- *
125
- * @example
126
- * ```ts
127
- * pipe(
128
- * buildEndpoint("/users"),
129
- * Reader.run(appConfig)
130
- * ); // "https://api.example.com/users?key=secret"
131
- * ```
132
- */
133
- Reader.run = (env) => (data) => data(env);
134
- })(Reader || (Reader = {}));