ts-data-forge 3.3.1 → 4.0.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 (401) hide show
  1. package/dist/array/impl/array-utils-element-access.d.mts +3 -4
  2. package/dist/array/impl/array-utils-element-access.d.mts.map +1 -1
  3. package/dist/array/impl/array-utils-element-access.mjs +8 -8
  4. package/dist/array/impl/array-utils-element-access.mjs.map +1 -1
  5. package/dist/array/impl/array-utils-reducing-value.d.mts +8 -9
  6. package/dist/array/impl/array-utils-reducing-value.d.mts.map +1 -1
  7. package/dist/array/impl/array-utils-reducing-value.mjs +9 -7
  8. package/dist/array/impl/array-utils-reducing-value.mjs.map +1 -1
  9. package/dist/array/impl/array-utils-search.d.mts +0 -1
  10. package/dist/array/impl/array-utils-search.d.mts.map +1 -1
  11. package/dist/array/impl/array-utils-search.mjs +6 -6
  12. package/dist/array/impl/array-utils-search.mjs.map +1 -1
  13. package/dist/array/impl/array-utils-transformation.mjs +2 -4
  14. package/dist/array/impl/array-utils-transformation.mjs.map +1 -1
  15. package/dist/collections/imap-mapped.d.mts +0 -1
  16. package/dist/collections/imap-mapped.d.mts.map +1 -1
  17. package/dist/collections/imap-mapped.mjs +7 -6
  18. package/dist/collections/imap-mapped.mjs.map +1 -1
  19. package/dist/collections/imap.d.mts +0 -1
  20. package/dist/collections/imap.d.mts.map +1 -1
  21. package/dist/collections/imap.mjs +11 -9
  22. package/dist/collections/imap.mjs.map +1 -1
  23. package/dist/collections/queue.d.mts +0 -1
  24. package/dist/collections/queue.d.mts.map +1 -1
  25. package/dist/collections/queue.mjs +4 -4
  26. package/dist/collections/queue.mjs.map +1 -1
  27. package/dist/collections/stack.d.mts +0 -1
  28. package/dist/collections/stack.d.mts.map +1 -1
  29. package/dist/collections/stack.mjs +4 -4
  30. package/dist/collections/stack.mjs.map +1 -1
  31. package/dist/entry-point.d.mts +1 -0
  32. package/dist/entry-point.d.mts.map +1 -1
  33. package/dist/entry-point.mjs +6 -4
  34. package/dist/entry-point.mjs.map +1 -1
  35. package/dist/functional/index.d.mts +2 -2
  36. package/dist/functional/index.d.mts.map +1 -1
  37. package/dist/functional/index.mjs +4 -2
  38. package/dist/functional/index.mjs.map +1 -1
  39. package/dist/functional/optional/impl/index.d.mts +18 -0
  40. package/dist/functional/optional/impl/index.d.mts.map +1 -0
  41. package/dist/functional/optional/impl/index.mjs +17 -0
  42. package/dist/functional/optional/impl/index.mjs.map +1 -0
  43. package/dist/functional/optional/impl/optional-expect-to-be.d.mts +29 -0
  44. package/dist/functional/optional/impl/optional-expect-to-be.d.mts.map +1 -0
  45. package/dist/functional/optional/impl/optional-expect-to-be.mjs +25 -0
  46. package/dist/functional/optional/impl/optional-expect-to-be.mjs.map +1 -0
  47. package/dist/functional/optional/impl/optional-filter.d.mts +29 -0
  48. package/dist/functional/optional/impl/optional-filter.d.mts.map +1 -0
  49. package/dist/functional/optional/impl/optional-filter.mjs +28 -0
  50. package/dist/functional/optional/impl/optional-filter.mjs.map +1 -0
  51. package/dist/functional/optional/impl/optional-flat-map.d.mts +33 -0
  52. package/dist/functional/optional/impl/optional-flat-map.d.mts.map +1 -0
  53. package/dist/functional/optional/impl/optional-flat-map.mjs +21 -0
  54. package/dist/functional/optional/impl/optional-flat-map.mjs.map +1 -0
  55. package/dist/functional/optional/impl/optional-from-nullable.d.mts +24 -0
  56. package/dist/functional/optional/impl/optional-from-nullable.d.mts.map +1 -0
  57. package/dist/functional/optional/impl/optional-from-nullable.mjs +29 -0
  58. package/dist/functional/optional/impl/optional-from-nullable.mjs.map +1 -0
  59. package/dist/functional/optional/impl/optional-is-none.d.mts +22 -0
  60. package/dist/functional/optional/impl/optional-is-none.d.mts.map +1 -0
  61. package/dist/functional/optional/impl/optional-is-none.mjs +25 -0
  62. package/dist/functional/optional/impl/optional-is-none.mjs.map +1 -0
  63. package/dist/functional/optional/impl/optional-is-optional.d.mts +18 -0
  64. package/dist/functional/optional/impl/optional-is-optional.d.mts.map +1 -0
  65. package/dist/functional/optional/impl/optional-is-optional.mjs +27 -0
  66. package/dist/functional/optional/impl/optional-is-optional.mjs.map +1 -0
  67. package/dist/functional/optional/impl/optional-is-some.d.mts +22 -0
  68. package/dist/functional/optional/impl/optional-is-some.d.mts.map +1 -0
  69. package/dist/functional/optional/impl/optional-is-some.mjs +25 -0
  70. package/dist/functional/optional/impl/optional-is-some.mjs.map +1 -0
  71. package/dist/functional/optional/impl/optional-map.d.mts +31 -0
  72. package/dist/functional/optional/impl/optional-map.d.mts.map +1 -0
  73. package/dist/functional/optional/impl/optional-map.mjs +25 -0
  74. package/dist/functional/optional/impl/optional-map.mjs.map +1 -0
  75. package/dist/functional/optional/impl/optional-none.d.mts +16 -0
  76. package/dist/functional/optional/impl/optional-none.d.mts.map +1 -0
  77. package/dist/functional/optional/impl/optional-none.mjs +20 -0
  78. package/dist/functional/optional/impl/optional-none.mjs.map +1 -0
  79. package/dist/functional/optional/impl/optional-or-else.d.mts +35 -0
  80. package/dist/functional/optional/impl/optional-or-else.d.mts.map +1 -0
  81. package/dist/functional/optional/impl/optional-or-else.mjs +19 -0
  82. package/dist/functional/optional/impl/optional-or-else.mjs.map +1 -0
  83. package/dist/functional/optional/impl/optional-some.d.mts +19 -0
  84. package/dist/functional/optional/impl/optional-some.d.mts.map +1 -0
  85. package/dist/functional/optional/impl/optional-some.mjs +26 -0
  86. package/dist/functional/optional/impl/optional-some.mjs.map +1 -0
  87. package/dist/functional/optional/impl/optional-to-nullable.d.mts +27 -0
  88. package/dist/functional/optional/impl/optional-to-nullable.d.mts.map +1 -0
  89. package/dist/functional/optional/impl/optional-to-nullable.mjs +31 -0
  90. package/dist/functional/optional/impl/optional-to-nullable.mjs.map +1 -0
  91. package/dist/functional/optional/impl/optional-unwrap-or.d.mts +33 -0
  92. package/dist/functional/optional/impl/optional-unwrap-or.d.mts.map +1 -0
  93. package/dist/functional/optional/impl/optional-unwrap-or.mjs +19 -0
  94. package/dist/functional/optional/impl/optional-unwrap-or.mjs.map +1 -0
  95. package/dist/functional/optional/impl/optional-unwrap-throw.d.mts +29 -0
  96. package/dist/functional/optional/impl/optional-unwrap-throw.d.mts.map +1 -0
  97. package/dist/functional/optional/impl/optional-unwrap-throw.mjs +38 -0
  98. package/dist/functional/optional/impl/optional-unwrap-throw.mjs.map +1 -0
  99. package/dist/functional/optional/impl/optional-unwrap.d.mts +28 -0
  100. package/dist/functional/optional/impl/optional-unwrap.d.mts.map +1 -0
  101. package/dist/functional/optional/impl/optional-unwrap.mjs +11 -0
  102. package/dist/functional/optional/impl/optional-unwrap.mjs.map +1 -0
  103. package/dist/functional/optional/impl/optional-zip.d.mts +31 -0
  104. package/dist/functional/optional/impl/optional-zip.d.mts.map +1 -0
  105. package/dist/functional/optional/impl/optional-zip.mjs +39 -0
  106. package/dist/functional/optional/impl/optional-zip.mjs.map +1 -0
  107. package/dist/functional/optional/impl/tag.d.mts +5 -0
  108. package/dist/functional/optional/impl/tag.d.mts.map +1 -0
  109. package/dist/functional/optional/impl/tag.mjs +7 -0
  110. package/dist/functional/optional/impl/tag.mjs.map +1 -0
  111. package/dist/functional/optional/impl/types.d.mts +22 -0
  112. package/dist/functional/optional/impl/types.d.mts.map +1 -0
  113. package/dist/functional/optional/impl/types.mjs +2 -0
  114. package/dist/functional/optional/impl/types.mjs.map +1 -0
  115. package/dist/functional/optional/index.d.mts +2 -0
  116. package/dist/functional/optional/index.d.mts.map +1 -0
  117. package/dist/functional/optional/index.mjs +3 -0
  118. package/dist/functional/optional/index.mjs.map +1 -0
  119. package/dist/functional/pipe.d.mts +4 -4
  120. package/dist/functional/pipe.d.mts.map +1 -1
  121. package/dist/functional/pipe.mjs +4 -3
  122. package/dist/functional/pipe.mjs.map +1 -1
  123. package/dist/functional/result/impl/index.d.mts +24 -0
  124. package/dist/functional/result/impl/index.d.mts.map +1 -0
  125. package/dist/functional/result/impl/index.mjs +23 -0
  126. package/dist/functional/result/impl/index.mjs.map +1 -0
  127. package/dist/functional/result/impl/result-err.d.mts +25 -0
  128. package/dist/functional/result/impl/result-err.d.mts.map +1 -0
  129. package/dist/functional/result/impl/result-err.mjs +32 -0
  130. package/dist/functional/result/impl/result-err.mjs.map +1 -0
  131. package/dist/functional/result/impl/result-expect-to-be.d.mts +27 -0
  132. package/dist/functional/result/impl/result-expect-to-be.d.mts.map +1 -0
  133. package/dist/functional/result/impl/result-expect-to-be.mjs +26 -0
  134. package/dist/functional/result/impl/result-expect-to-be.mjs.map +1 -0
  135. package/dist/functional/result/impl/result-flat-map.d.mts +39 -0
  136. package/dist/functional/result/impl/result-flat-map.d.mts.map +1 -0
  137. package/dist/functional/result/impl/result-flat-map.mjs +24 -0
  138. package/dist/functional/result/impl/result-flat-map.mjs.map +1 -0
  139. package/dist/functional/result/impl/result-fold.d.mts +45 -0
  140. package/dist/functional/result/impl/result-fold.d.mts.map +1 -0
  141. package/dist/functional/result/impl/result-fold.mjs +26 -0
  142. package/dist/functional/result/impl/result-fold.mjs.map +1 -0
  143. package/dist/functional/result/impl/result-from-promise.d.mts +32 -0
  144. package/dist/functional/result/impl/result-from-promise.d.mts.map +1 -0
  145. package/dist/functional/result/impl/result-from-promise.mjs +32 -0
  146. package/dist/functional/result/impl/result-from-promise.mjs.map +1 -0
  147. package/dist/functional/result/impl/result-from-throwable.d.mts +29 -0
  148. package/dist/functional/result/impl/result-from-throwable.d.mts.map +1 -0
  149. package/dist/functional/result/impl/result-from-throwable.mjs +46 -0
  150. package/dist/functional/result/impl/result-from-throwable.mjs.map +1 -0
  151. package/dist/functional/result/impl/result-is-err.d.mts +20 -0
  152. package/dist/functional/result/impl/result-is-err.d.mts.map +1 -0
  153. package/dist/functional/result/impl/result-is-err.mjs +23 -0
  154. package/dist/functional/result/impl/result-is-err.mjs.map +1 -0
  155. package/dist/functional/result/impl/result-is-ok.d.mts +20 -0
  156. package/dist/functional/result/impl/result-is-ok.d.mts.map +1 -0
  157. package/dist/functional/result/impl/result-is-ok.mjs +23 -0
  158. package/dist/functional/result/impl/result-is-ok.mjs.map +1 -0
  159. package/dist/functional/result/impl/result-is-result.d.mts +17 -0
  160. package/dist/functional/result/impl/result-is-result.d.mts.map +1 -0
  161. package/dist/functional/result/impl/result-is-result.mjs +26 -0
  162. package/dist/functional/result/impl/result-is-result.mjs.map +1 -0
  163. package/dist/functional/result/impl/result-map-err.d.mts +33 -0
  164. package/dist/functional/result/impl/result-map-err.d.mts.map +1 -0
  165. package/dist/functional/result/impl/result-map-err.mjs +25 -0
  166. package/dist/functional/result/impl/result-map-err.mjs.map +1 -0
  167. package/dist/functional/result/impl/result-map.d.mts +34 -0
  168. package/dist/functional/result/impl/result-map.d.mts.map +1 -0
  169. package/dist/functional/result/impl/result-map.mjs +25 -0
  170. package/dist/functional/result/impl/result-map.mjs.map +1 -0
  171. package/dist/functional/result/impl/result-ok.d.mts +25 -0
  172. package/dist/functional/result/impl/result-ok.d.mts.map +1 -0
  173. package/dist/functional/result/impl/result-ok.mjs +32 -0
  174. package/dist/functional/result/impl/result-ok.mjs.map +1 -0
  175. package/dist/functional/result/impl/result-or-else.d.mts +32 -0
  176. package/dist/functional/result/impl/result-or-else.d.mts.map +1 -0
  177. package/dist/functional/result/impl/result-or-else.mjs +20 -0
  178. package/dist/functional/result/impl/result-or-else.mjs.map +1 -0
  179. package/dist/functional/result/impl/result-swap.d.mts +20 -0
  180. package/dist/functional/result/impl/result-swap.d.mts.map +1 -0
  181. package/dist/functional/result/impl/result-swap.mjs +28 -0
  182. package/dist/functional/result/impl/result-swap.mjs.map +1 -0
  183. package/dist/functional/result/impl/result-to-optional.d.mts +28 -0
  184. package/dist/functional/result/impl/result-to-optional.d.mts.map +1 -0
  185. package/dist/functional/result/impl/result-to-optional.mjs +34 -0
  186. package/dist/functional/result/impl/result-to-optional.mjs.map +1 -0
  187. package/dist/functional/result/impl/result-unwrap-err-or.d.mts +29 -0
  188. package/dist/functional/result/impl/result-unwrap-err-or.d.mts.map +1 -0
  189. package/dist/functional/result/impl/result-unwrap-err-or.mjs +20 -0
  190. package/dist/functional/result/impl/result-unwrap-err-or.mjs.map +1 -0
  191. package/dist/functional/result/impl/result-unwrap-err-throw.d.mts +30 -0
  192. package/dist/functional/result/impl/result-unwrap-err-throw.d.mts.map +1 -0
  193. package/dist/functional/result/impl/result-unwrap-err-throw.mjs +47 -0
  194. package/dist/functional/result/impl/result-unwrap-err-throw.mjs.map +1 -0
  195. package/dist/functional/result/impl/result-unwrap-err.d.mts +31 -0
  196. package/dist/functional/result/impl/result-unwrap-err.d.mts.map +1 -0
  197. package/dist/functional/result/impl/result-unwrap-err.mjs +36 -0
  198. package/dist/functional/result/impl/result-unwrap-err.mjs.map +1 -0
  199. package/dist/functional/result/impl/result-unwrap-ok-or.d.mts +29 -0
  200. package/dist/functional/result/impl/result-unwrap-ok-or.d.mts.map +1 -0
  201. package/dist/functional/result/impl/result-unwrap-ok-or.mjs +20 -0
  202. package/dist/functional/result/impl/result-unwrap-ok-or.mjs.map +1 -0
  203. package/dist/functional/result/impl/result-unwrap-ok.d.mts +23 -0
  204. package/dist/functional/result/impl/result-unwrap-ok.d.mts.map +1 -0
  205. package/dist/functional/result/impl/result-unwrap-ok.mjs +11 -0
  206. package/dist/functional/result/impl/result-unwrap-ok.mjs.map +1 -0
  207. package/dist/functional/result/impl/result-unwrap-throw.d.mts +30 -0
  208. package/dist/functional/result/impl/result-unwrap-throw.d.mts.map +1 -0
  209. package/dist/functional/result/impl/result-unwrap-throw.mjs +41 -0
  210. package/dist/functional/result/impl/result-unwrap-throw.mjs.map +1 -0
  211. package/dist/functional/result/impl/result-zip.d.mts +29 -0
  212. package/dist/functional/result/impl/result-zip.d.mts.map +1 -0
  213. package/dist/functional/result/impl/result-zip.mjs +38 -0
  214. package/dist/functional/result/impl/result-zip.mjs.map +1 -0
  215. package/dist/functional/result/impl/tag.d.mts +5 -0
  216. package/dist/functional/result/impl/tag.d.mts.map +1 -0
  217. package/dist/functional/result/impl/tag.mjs +7 -0
  218. package/dist/functional/result/impl/tag.mjs.map +1 -0
  219. package/dist/functional/result/impl/types.d.mts +29 -0
  220. package/dist/functional/result/impl/types.d.mts.map +1 -0
  221. package/dist/functional/result/impl/types.mjs +2 -0
  222. package/dist/functional/result/impl/types.mjs.map +1 -0
  223. package/dist/functional/result/index.d.mts +2 -0
  224. package/dist/functional/result/index.d.mts.map +1 -0
  225. package/dist/functional/result/index.mjs +3 -0
  226. package/dist/functional/result/index.mjs.map +1 -0
  227. package/dist/globals.d.mts +83 -0
  228. package/dist/index.d.mts +0 -1
  229. package/dist/index.d.mts.map +1 -1
  230. package/dist/index.mjs +0 -4
  231. package/dist/index.mjs.map +1 -1
  232. package/dist/json/json.d.mts +0 -1
  233. package/dist/json/json.d.mts.map +1 -1
  234. package/dist/json/json.mjs +8 -8
  235. package/dist/json/json.mjs.map +1 -1
  236. package/dist/number/branded-types/finite-number.mjs +1 -1
  237. package/dist/number/branded-types/finite-number.mjs.map +1 -1
  238. package/dist/number/branded-types/int.mjs +1 -1
  239. package/dist/number/branded-types/int.mjs.map +1 -1
  240. package/dist/number/branded-types/int16.mjs +1 -1
  241. package/dist/number/branded-types/int16.mjs.map +1 -1
  242. package/dist/number/branded-types/int32.mjs +1 -1
  243. package/dist/number/branded-types/int32.mjs.map +1 -1
  244. package/dist/number/branded-types/non-negative-finite-number.mjs +1 -1
  245. package/dist/number/branded-types/non-negative-finite-number.mjs.map +1 -1
  246. package/dist/number/branded-types/non-negative-int16.mjs +1 -1
  247. package/dist/number/branded-types/non-negative-int16.mjs.map +1 -1
  248. package/dist/number/branded-types/non-negative-int32.mjs +1 -1
  249. package/dist/number/branded-types/non-negative-int32.mjs.map +1 -1
  250. package/dist/number/branded-types/non-zero-finite-number.mjs +1 -1
  251. package/dist/number/branded-types/non-zero-finite-number.mjs.map +1 -1
  252. package/dist/number/branded-types/non-zero-int.mjs +1 -1
  253. package/dist/number/branded-types/non-zero-int.mjs.map +1 -1
  254. package/dist/number/branded-types/non-zero-int16.mjs +1 -1
  255. package/dist/number/branded-types/non-zero-int16.mjs.map +1 -1
  256. package/dist/number/branded-types/non-zero-int32.mjs +1 -1
  257. package/dist/number/branded-types/non-zero-int32.mjs.map +1 -1
  258. package/dist/number/branded-types/non-zero-safe-int.mjs +1 -1
  259. package/dist/number/branded-types/non-zero-safe-int.mjs.map +1 -1
  260. package/dist/number/branded-types/non-zero-uint16.mjs +1 -1
  261. package/dist/number/branded-types/non-zero-uint16.mjs.map +1 -1
  262. package/dist/number/branded-types/non-zero-uint32.mjs +1 -1
  263. package/dist/number/branded-types/non-zero-uint32.mjs.map +1 -1
  264. package/dist/number/branded-types/positive-finite-number.mjs +1 -1
  265. package/dist/number/branded-types/positive-finite-number.mjs.map +1 -1
  266. package/dist/number/branded-types/positive-int.mjs +1 -1
  267. package/dist/number/branded-types/positive-int.mjs.map +1 -1
  268. package/dist/number/branded-types/positive-int16.mjs +1 -1
  269. package/dist/number/branded-types/positive-int16.mjs.map +1 -1
  270. package/dist/number/branded-types/positive-int32.mjs +1 -1
  271. package/dist/number/branded-types/positive-int32.mjs.map +1 -1
  272. package/dist/number/branded-types/positive-safe-int.mjs +1 -1
  273. package/dist/number/branded-types/positive-safe-int.mjs.map +1 -1
  274. package/dist/number/branded-types/positive-uint16.mjs +1 -1
  275. package/dist/number/branded-types/positive-uint16.mjs.map +1 -1
  276. package/dist/number/branded-types/positive-uint32.mjs +1 -1
  277. package/dist/number/branded-types/positive-uint32.mjs.map +1 -1
  278. package/dist/number/branded-types/safe-int.mjs +1 -1
  279. package/dist/number/branded-types/safe-int.mjs.map +1 -1
  280. package/dist/number/branded-types/safe-uint.mjs +1 -1
  281. package/dist/number/branded-types/safe-uint.mjs.map +1 -1
  282. package/dist/number/branded-types/uint.mjs +1 -1
  283. package/dist/number/branded-types/uint.mjs.map +1 -1
  284. package/dist/number/branded-types/uint16.mjs +1 -1
  285. package/dist/number/branded-types/uint16.mjs.map +1 -1
  286. package/dist/number/branded-types/uint32.mjs +1 -1
  287. package/dist/number/branded-types/uint32.mjs.map +1 -1
  288. package/dist/number/enum/int8.mjs +1 -1
  289. package/dist/number/enum/int8.mjs.map +1 -1
  290. package/dist/number/enum/uint8.mjs +1 -1
  291. package/dist/number/enum/uint8.mjs.map +1 -1
  292. package/dist/number/refined-number-utils.mjs +0 -2
  293. package/dist/number/refined-number-utils.mjs.map +1 -1
  294. package/dist/promise/promise.d.mts +0 -1
  295. package/dist/promise/promise.d.mts.map +1 -1
  296. package/dist/promise/promise.mjs +2 -3
  297. package/dist/promise/promise.mjs.map +1 -1
  298. package/package.json +27 -21
  299. package/src/array/impl/array-utils-element-access.mts +6 -6
  300. package/src/array/impl/array-utils-element-access.test.mts +6 -6
  301. package/src/array/impl/array-utils-reducing-value.mts +8 -24
  302. package/src/array/impl/array-utils-reducing-value.test.mts +8 -8
  303. package/src/array/impl/array-utils-slice-clamped.test.mts +1 -1
  304. package/src/entry-point.mts +1 -0
  305. package/src/functional/index.mts +2 -2
  306. package/src/functional/optional/impl/index.mts +17 -0
  307. package/src/functional/optional/impl/optional-expect-to-be.mts +65 -0
  308. package/src/functional/optional/impl/optional-filter.mts +71 -0
  309. package/src/functional/optional/impl/optional-flat-map.mts +67 -0
  310. package/src/functional/optional/impl/optional-from-nullable.mts +28 -0
  311. package/src/functional/optional/impl/optional-is-none.mts +25 -0
  312. package/src/functional/optional/impl/optional-is-optional.mts +27 -0
  313. package/src/functional/optional/impl/optional-is-some.mts +25 -0
  314. package/src/functional/optional/impl/optional-map.mts +69 -0
  315. package/src/functional/optional/impl/optional-none.mts +17 -0
  316. package/src/functional/optional/impl/optional-or-else.mts +73 -0
  317. package/src/functional/optional/impl/optional-some.mts +23 -0
  318. package/src/functional/optional/impl/optional-to-nullable.mts +31 -0
  319. package/src/functional/optional/impl/optional-unwrap-or.mts +64 -0
  320. package/src/functional/optional/impl/optional-unwrap-throw.mts +39 -0
  321. package/src/functional/optional/impl/optional-unwrap.mts +41 -0
  322. package/src/functional/optional/impl/optional-zip.mts +40 -0
  323. package/src/functional/optional/impl/tag.mts +6 -0
  324. package/src/functional/optional/impl/types.mts +28 -0
  325. package/src/functional/optional/index.mts +1 -0
  326. package/src/functional/optional.test.mts +7 -8
  327. package/src/functional/pipe.mts +5 -5
  328. package/src/functional/pipe.test.mts +1 -1
  329. package/src/functional/result/impl/index.mts +23 -0
  330. package/src/functional/result/impl/result-err.mts +29 -0
  331. package/src/functional/result/impl/result-expect-to-be.mts +63 -0
  332. package/src/functional/result/impl/result-flat-map.mts +79 -0
  333. package/src/functional/result/impl/result-fold.mts +95 -0
  334. package/src/functional/result/impl/result-from-promise.mts +39 -0
  335. package/src/functional/result/impl/result-from-throwable.mts +42 -0
  336. package/src/functional/result/impl/result-is-err.mts +23 -0
  337. package/src/functional/result/impl/result-is-ok.mts +23 -0
  338. package/src/functional/result/impl/result-is-result.mts +23 -0
  339. package/src/functional/result/impl/result-map-err.mts +72 -0
  340. package/src/functional/result/impl/result-map.mts +73 -0
  341. package/src/functional/result/impl/result-ok.mts +29 -0
  342. package/src/functional/result/impl/result-or-else.mts +63 -0
  343. package/src/functional/result/impl/result-swap.mts +28 -0
  344. package/src/functional/result/impl/result-to-optional.mts +34 -0
  345. package/src/functional/result/impl/result-unwrap-err-or.mts +60 -0
  346. package/src/functional/result/impl/result-unwrap-err-throw.mts +53 -0
  347. package/src/functional/result/impl/result-unwrap-err.mts +36 -0
  348. package/src/functional/result/impl/result-unwrap-ok-or.mts +60 -0
  349. package/src/functional/result/impl/result-unwrap-ok.mts +35 -0
  350. package/src/functional/result/impl/result-unwrap-throw.mts +43 -0
  351. package/src/functional/result/impl/result-zip.mts +39 -0
  352. package/src/functional/result/impl/tag.mts +6 -0
  353. package/src/functional/result/impl/types.mts +35 -0
  354. package/src/functional/result/index.mts +1 -0
  355. package/src/functional/result.test.mts +5 -4
  356. package/src/globals.d.mts +83 -0
  357. package/src/guard/is-non-empty-string.test.mts +1 -1
  358. package/src/guard/is-non-null-object.test.mts +3 -3
  359. package/src/guard/is-primitive.test.mts +3 -3
  360. package/src/guard/is-type.test.mts +3 -3
  361. package/src/index.mts +0 -1
  362. package/src/number/branded-types/finite-number.mts +7 -7
  363. package/src/number/branded-types/int.mts +7 -7
  364. package/src/number/branded-types/int16.mts +9 -9
  365. package/src/number/branded-types/int32.mts +9 -9
  366. package/src/number/branded-types/non-negative-finite-number.mts +8 -8
  367. package/src/number/branded-types/non-negative-int16.mts +9 -9
  368. package/src/number/branded-types/non-negative-int32.mts +9 -9
  369. package/src/number/branded-types/non-zero-finite-number.mts +7 -7
  370. package/src/number/branded-types/non-zero-int.mts +7 -7
  371. package/src/number/branded-types/non-zero-int16.mts +9 -9
  372. package/src/number/branded-types/non-zero-int32.mts +9 -9
  373. package/src/number/branded-types/non-zero-safe-int.mts +9 -9
  374. package/src/number/branded-types/non-zero-uint16.mts +9 -9
  375. package/src/number/branded-types/non-zero-uint32.mts +9 -9
  376. package/src/number/branded-types/positive-finite-number.mts +8 -8
  377. package/src/number/branded-types/positive-int.mts +8 -8
  378. package/src/number/branded-types/positive-int16.mts +9 -9
  379. package/src/number/branded-types/positive-int32.mts +9 -9
  380. package/src/number/branded-types/positive-safe-int.mts +9 -9
  381. package/src/number/branded-types/positive-uint16.mts +9 -9
  382. package/src/number/branded-types/positive-uint32.mts +9 -9
  383. package/src/number/branded-types/safe-int.mts +9 -9
  384. package/src/number/branded-types/safe-uint.mts +9 -9
  385. package/src/number/branded-types/uint.mts +8 -8
  386. package/src/number/branded-types/uint16.mts +9 -9
  387. package/src/number/branded-types/uint32.mts +9 -9
  388. package/src/number/enum/int8.mts +3 -3
  389. package/src/number/enum/int8.test.mts +9 -9
  390. package/src/number/enum/uint8.mts +3 -3
  391. package/src/number/enum/uint8.test.mts +8 -8
  392. package/dist/functional/optional.d.mts +0 -482
  393. package/dist/functional/optional.d.mts.map +0 -1
  394. package/dist/functional/optional.mjs +0 -328
  395. package/dist/functional/optional.mjs.map +0 -1
  396. package/dist/functional/result.d.mts +0 -712
  397. package/dist/functional/result.d.mts.map +0 -1
  398. package/dist/functional/result.mjs +0 -539
  399. package/dist/functional/result.mjs.map +0 -1
  400. package/src/functional/optional.mts +0 -713
  401. package/src/functional/result.mts +0 -1087
@@ -1,713 +0,0 @@
1
- import { isRecord } from '../guard/index.mjs';
2
-
3
- /** @internal String literal tag to identify the 'Some' variant of Optional. */
4
- const SomeTypeTagName = 'ts-data-forge::Optional.some';
5
-
6
- /** @internal String literal tag to identify the 'None' variant of Optional. */
7
- const NoneTypeTagName = 'ts-data-forge::Optional.none';
8
-
9
- /**
10
- * @template S The type of the contained value.
11
- * @internal
12
- * Represents the 'Some' variant of an Optional, containing a value.
13
- */
14
- type Some_<S> = Readonly<{
15
- /**
16
- * @internal
17
- * Discriminant property for the 'Some' type.
18
- */
19
- $$tag: typeof SomeTypeTagName;
20
-
21
- /** The contained value. */
22
- value: S;
23
- }>;
24
-
25
- /**
26
- * @internal
27
- * Represents the 'None' variant of an Optional, indicating the absence of a value.
28
- */
29
- type None_ = Readonly<{
30
- /**
31
- * @internal
32
- * Discriminant property for the 'None' type.
33
- */
34
- $$tag: typeof NoneTypeTagName;
35
- }>;
36
-
37
- /**
38
- * Represents an optional value that can either be 'Some' (containing a value)
39
- * or 'None' (empty).
40
- *
41
- * @template S The type of the value that might be present.
42
- */
43
- export type Optional<S> = None_ | Some_<S>;
44
-
45
- /**
46
- * Namespace for the {@link Optional} type and related functions. Provides
47
- * utilities to handle values that might be absent, similar to Option types in
48
- * other languages.
49
- */
50
- export namespace Optional {
51
- /**
52
- * Checks if the given value is an {@link Optional}.
53
- *
54
- * @example
55
- *
56
- * ```ts
57
- * const maybeOptional = Optional.some('value');
58
- * const notOptional = { $$tag: 'ts-data-forge::Optional.some' };
59
- *
60
- * assert.ok(Optional.isOptional(maybeOptional));
61
- * assert.notOk(Optional.isOptional(notOptional));
62
- * ```
63
- *
64
- * @param maybeOptional The value to check.
65
- * @returns `true` if the value is an {@link Optional}, otherwise `false`.
66
- */
67
- export const isOptional = (
68
- maybeOptional: unknown,
69
- ): maybeOptional is Optional<unknown> =>
70
- isRecord(maybeOptional) &&
71
- Object.hasOwn(maybeOptional, '$$tag') &&
72
- ((maybeOptional['$$tag'] === SomeTypeTagName &&
73
- Object.hasOwn(maybeOptional, 'value')) ||
74
- maybeOptional['$$tag'] === NoneTypeTagName);
75
-
76
- /**
77
- * Represents an {@link Optional} that contains a value.
78
- *
79
- * @template S The type of the contained value.
80
- */
81
- export type Some<S> = Some_<S>;
82
-
83
- /** Represents an {@link Optional} that does not contain a value (is empty). */
84
- export type None = None_;
85
-
86
- /**
87
- * Base type for any {@link Optional}, used for generic constraints. Represents
88
- * an {@link Optional} with an unknown value type.
89
- */
90
- export type Base = Optional<unknown>;
91
-
92
- /**
93
- * Extracts the value type `S` from an {@link Optional.Some}<S>. If the
94
- * {@link Optional} is {@link Optional.None}, resolves to `never`.
95
- *
96
- * @template O The {@link Optional.Base} type to unwrap.
97
- */
98
- export type Unwrap<O extends Base> = O extends Some<infer S> ? S : never;
99
-
100
- /**
101
- * Narrows an {@link Optional.Base} type to {@link Optional.Some}<S> if it is a
102
- * {@link Optional.Some}. If the {@link Optional} is {@link Optional.None},
103
- * resolves to `never`.
104
- *
105
- * @template O The {@link Optional.Base} type to narrow.
106
- */
107
- export type NarrowToSome<O extends Base> = O extends None ? never : O;
108
-
109
- /**
110
- * Narrows an {@link Optional.Base} type to {@link Optional.None} if it is a
111
- * {@link Optional.None}. If the {@link Optional} is {@link Optional.Some}<S>,
112
- * resolves to `never`.
113
- *
114
- * @template O The {@link Optional.Base} type to narrow.
115
- */
116
- export type NarrowToNone<O extends Base> = O extends None ? O : never;
117
-
118
- /**
119
- * Creates an {@link Optional.Some} containing the given value.
120
- *
121
- * @example
122
- *
123
- * ```ts
124
- * const someValue = Optional.some({ id: 1 });
125
- * const noneValue = Optional.none;
126
- *
127
- * assert.ok(Optional.isSome(someValue));
128
- * assert.ok(Optional.isNone(noneValue));
129
- * ```
130
- *
131
- * @template S The type of the value.
132
- * @param value The value to wrap in an {@link Optional.Some}.
133
- * @returns An {@link Optional.Some}<S> containing the value.
134
- */
135
- export const some = <S,>(value: S): Some<S> => ({
136
- $$tag: SomeTypeTagName,
137
- value,
138
- });
139
-
140
- /**
141
- * The singleton instance representing {@link Optional.None} (an empty
142
- * Optional).
143
- *
144
- * @example
145
- *
146
- * ```ts
147
- * const someValue = Optional.some({ id: 1 });
148
- * const noneValue = Optional.none;
149
- *
150
- * assert.ok(Optional.isSome(someValue));
151
- * assert.ok(Optional.isNone(noneValue));
152
- * ```
153
- */
154
- export const none: None = { $$tag: NoneTypeTagName } as const;
155
-
156
- /**
157
- * Checks if an {@link Optional} is {@link Optional.Some}. Acts as a type guard.
158
- *
159
- * @example
160
- *
161
- * ```ts
162
- * const optionalNumber = Optional.some(42);
163
- *
164
- * if (Optional.isSome(optionalNumber)) {
165
- * const value: number = optionalNumber.value;
166
- * assert(value === 42);
167
- * }
168
- * ```
169
- *
170
- * @template O The {@link Optional.Base} type to check.
171
- * @param optional The {@link Optional} to check.
172
- * @returns `true` if the {@link Optional} is {@link Optional.Some}, `false`
173
- * otherwise.
174
- */
175
- export const isSome = <O extends Base>(
176
- optional: O,
177
- ): optional is NarrowToSome<O> => optional.$$tag === SomeTypeTagName;
178
-
179
- /**
180
- * Checks if an {@link Optional} is {@link Optional.None}. Acts as a type guard.
181
- *
182
- * @example
183
- *
184
- * ```ts
185
- * const optionalValue = Optional.none as Optional<number>;
186
- *
187
- * if (Optional.isNone(optionalValue)) {
188
- * // Type narrowed to None
189
- * assert.ok(true); // optionalValue is None
190
- * }
191
- * ```
192
- *
193
- * @template O The {@link Optional.Base} type to check.
194
- * @param optional The {@link Optional} to check.
195
- * @returns `true` if the {@link Optional} is {@link Optional.None}, `false`
196
- * otherwise.
197
- */
198
- export const isNone = <O extends Base>(
199
- optional: O,
200
- ): optional is NarrowToNone<O> => optional.$$tag === NoneTypeTagName;
201
-
202
- /**
203
- * Unwraps an `Optional`, returning the contained value. Throws an error if
204
- * the `Optional` is `Optional.None`.
205
- *
206
- * This is a safer alternative to direct value access when you know the
207
- * Optional should contain a value. Use this method when an empty Optional
208
- * represents a programming error or unexpected condition.
209
- *
210
- * @example
211
- *
212
- * ```ts
213
- * const present = Optional.some('available');
214
- *
215
- * assert(Optional.unwrapThrow(present) === 'available');
216
- * assert.throws(
217
- * () => Optional.unwrapThrow(Optional.none),
218
- * /has failed because it is `None`/u,
219
- * );
220
- * ```
221
- *
222
- * @template O The `Optional.Base` type to unwrap.
223
- * @param optional The `Optional` to unwrap.
224
- * @returns The contained value if `Optional.Some`.
225
- * @throws {Error} Error with message "`unwrapThrow()` has failed because it
226
- * is `None`" if the `Optional` is `Optional.None`.
227
- */
228
- export const unwrapThrow = <O extends Base>(optional: O): Unwrap<O> => {
229
- if (isSome(optional)) {
230
- // eslint-disable-next-line total-functions/no-unsafe-type-assertion
231
- return optional.value as Unwrap<O>;
232
- }
233
-
234
- throw new Error('`unwrapThrow()` has failed because it is `None`');
235
- };
236
-
237
- /**
238
- * Unwraps an `Optional`, returning the contained value or `undefined` if
239
- * empty.
240
- *
241
- * This function provides a safe way to extract values from Optionals without
242
- * throwing exceptions. It has overloaded behavior based on the type:
243
- *
244
- * - For `Optional.Some<T>`: Always returns `T` (guaranteed by type system)
245
- * - For general `Optional<T>`: Returns `T | undefined`
246
- *
247
- * @example
248
- *
249
- * ```ts
250
- * const someString = Optional.some('text');
251
- * const noneString = Optional.none as Optional<string>;
252
- *
253
- * assert(Optional.unwrap(someString) === 'text');
254
- * assert(Optional.unwrap(noneString) === undefined);
255
- * ```
256
- *
257
- * @template O The `Optional.Base` type to unwrap.
258
- * @param optional The `Optional` to unwrap.
259
- * @returns The contained value if `Optional.Some`, otherwise `undefined`.
260
- */
261
- export function unwrap<O extends Some<unknown>>(optional: O): Unwrap<O>;
262
-
263
- export function unwrap<O extends Base>(optional: O): Unwrap<O> | undefined;
264
-
265
- export function unwrap<O extends Base>(optional: O): Unwrap<O> | undefined {
266
- return isSome(optional)
267
- ? // eslint-disable-next-line total-functions/no-unsafe-type-assertion
268
- (optional.value as Unwrap<O>)
269
- : undefined;
270
- }
271
-
272
- /**
273
- * Unwraps an `Optional`, returning the contained value or a default value if
274
- * it's `Optional.None`.
275
- *
276
- * Supports both direct usage and curried form for functional composition.
277
- * This is often preferred over `unwrap()` when you have a sensible fallback
278
- * value.
279
- *
280
- * @example
281
- *
282
- * ```ts
283
- * const withValue = Optional.some(5);
284
- * const withoutValue = Optional.none as Optional<number>;
285
- *
286
- * assert(Optional.unwrapOr(withValue, 0) === 5);
287
- * assert(Optional.unwrapOr(withoutValue, 0) === 0);
288
- *
289
- * const unwrapWithDefault = Optional.unwrapOr(10);
290
- *
291
- * assert(unwrapWithDefault(Optional.some(3)) === 3);
292
- * assert(unwrapWithDefault(Optional.none) === 10);
293
- * ```
294
- *
295
- * @template O The `Optional.Base` type to unwrap.
296
- * @template D The type of the default value.
297
- * @param optional The `Optional` to unwrap.
298
- * @param defaultValue The value to return if `optional` is `Optional.None`.
299
- * @returns The contained value if `Optional.Some`, otherwise `defaultValue`.
300
- */
301
- export function unwrapOr<O extends Base, D>(
302
- optional: O,
303
- defaultValue: D,
304
- ): D | Unwrap<O>;
305
-
306
- // Curried version
307
- export function unwrapOr<S, D>(
308
- defaultValue: D,
309
- ): (optional: Optional<S>) => D | S;
310
-
311
- export function unwrapOr<O extends Base, D>(
312
- ...args:
313
- | readonly [optional: O, defaultValue: D]
314
- | readonly [defaultValue: D]
315
- ): (D | Unwrap<O>) | ((optional: Optional<Unwrap<O>>) => D | Unwrap<O>) {
316
- switch (args.length) {
317
- case 2: {
318
- const [optional, defaultValue] = args;
319
- return isSome(optional)
320
- ? // eslint-disable-next-line total-functions/no-unsafe-type-assertion
321
- (optional.value as Unwrap<O>)
322
- : defaultValue;
323
- }
324
-
325
- case 1: {
326
- // Curried version: first argument is default value
327
- const [defaultValue] = args;
328
- return (optional: Optional<Unwrap<O>>) =>
329
- unwrapOr(optional, defaultValue);
330
- }
331
- }
332
- }
333
-
334
- /**
335
- * Returns the `Optional` if it is `Some`, otherwise returns the alternative.
336
- *
337
- * Provides a way to chain Optional operations with fallback values. This is
338
- * particularly useful for implementing default behavior or cascading lookups.
339
- * Supports both direct usage and curried form for functional composition.
340
- *
341
- * @example
342
- *
343
- * ```ts
344
- * const preferred = Optional.some('primary');
345
- * const fallback = Optional.some('secondary');
346
- * const noneValue = Optional.none as Optional<string>;
347
- *
348
- * assert.deepStrictEqual(Optional.orElse(preferred, fallback), preferred);
349
- * assert.deepStrictEqual(Optional.orElse(noneValue, fallback), fallback);
350
- *
351
- * const orElseFallback = Optional.orElse(Optional.some('default'));
352
- *
353
- * assert.deepStrictEqual(orElseFallback(Optional.none), Optional.some('default'));
354
- * assert.deepStrictEqual(
355
- * orElseFallback(Optional.some('value')),
356
- * Optional.some('value'),
357
- * );
358
- * ```
359
- *
360
- * @template O The input `Optional.Base` type.
361
- * @param optional The `Optional` to check.
362
- * @param alternative The alternative `Optional` to return if the first is
363
- * `None`.
364
- * @returns The first `Optional` if `Some`, otherwise the alternative.
365
- */
366
- export function orElse<O extends Base, const O2 extends Base>(
367
- optional: O,
368
- alternative: O2,
369
- ): O | O2;
370
-
371
- // Curried version
372
- export function orElse<S, S2>(
373
- alternative: Optional<S2>,
374
- ): (optional: Optional<S>) => Optional<S> | Optional<S2>;
375
-
376
- export function orElse<O extends Base, const O2 extends Base>(
377
- ...args:
378
- | readonly [optional: O, alternative: O2]
379
- | readonly [alternative: O2]
380
- ): (O | O2) | ((optional: Optional<Unwrap<O>>) => Optional<Unwrap<O>> | O2) {
381
- switch (args.length) {
382
- case 2: {
383
- const [optional, alternative] = args;
384
- return isNone(optional) ? alternative : optional;
385
- }
386
-
387
- case 1: {
388
- const [alternative] = args;
389
- return (optional: Optional<Unwrap<O>>) => orElse(optional, alternative);
390
- }
391
- }
392
- }
393
-
394
- /**
395
- * Maps an {@link Optional}<S> to {@link Optional}<S2> by applying a function to
396
- * a contained value. If the {@link Optional} is {@link Optional.None}, it
397
- * returns {@link Optional.none}. Otherwise, it applies the `mapFn` to the
398
- * value in `Optional.Some` and returns a new `Optional.Some` with the
399
- * result.
400
- *
401
- * @example
402
- *
403
- * ```ts
404
- * const numberOptional = Optional.some(21);
405
- * const mapped = Optional.map(numberOptional, (value) => value * 2);
406
- *
407
- * assert.deepStrictEqual(mapped, Optional.some(42));
408
- *
409
- * const mapToLength = Optional.map((text: string) => text.length);
410
- *
411
- * assert.deepStrictEqual(mapToLength(Optional.some('abc')), Optional.some(3));
412
- * assert.deepStrictEqual(mapToLength(Optional.none), Optional.none);
413
- * ```
414
- *
415
- * @template O The input `Optional.Base` type.
416
- * @template S2 The type of the value returned by the mapping function.
417
- * @param optional The `Optional` to map.
418
- * @param mapFn The function to apply to the value if it exists.
419
- * @returns A new `Optional<S2>` resulting from the mapping, or
420
- * `Optional.None` if the input was `Optional.None`.
421
- */
422
- export function map<O extends Base, S2>(
423
- optional: O,
424
- mapFn: (value: Unwrap<O>) => S2,
425
- ): Optional<S2>;
426
-
427
- // Curried version
428
- export function map<S, S2>(
429
- mapFn: (value: S) => S2,
430
- ): (optional: Optional<S>) => Optional<S2>;
431
-
432
- export function map<O extends Base, S2>(
433
- ...args:
434
- | readonly [optional: O, mapFn: (value: Unwrap<O>) => S2]
435
- | readonly [mapFn: (value: Unwrap<O>) => S2]
436
- ): Optional<S2> | ((optional: O) => Optional<S2>) {
437
- switch (args.length) {
438
- case 2: {
439
- const [optional, mapFn] = args;
440
- // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
441
- return isSome(optional) ? some(mapFn(unwrap(optional)!)) : none;
442
- }
443
- case 1: {
444
- // Curried version: first argument is mapping function
445
- const [mapFn] = args;
446
- return (optional: O) => map(optional, mapFn);
447
- }
448
- }
449
- }
450
-
451
- /**
452
- * Applies a function that returns an `Optional` to the value in an
453
- * `Optional.Some`. If the input is `Optional.None`, returns `Optional.None`.
454
- * This is the monadic bind operation for `Optional`.
455
- *
456
- * @example
457
- *
458
- * ```ts
459
- * const parseNumber = (input: string): Optional<number> => {
460
- * const num = Number.parseInt(input, 10);
461
- * return Number.isNaN(num) ? Optional.none : Optional.some(num);
462
- * };
463
- *
464
- * const parsed = Optional.flatMap(Optional.some('10'), parseNumber);
465
- *
466
- * assert.deepStrictEqual(parsed, Optional.some(10));
467
- *
468
- * const flatMapParse = Optional.flatMap(parseNumber);
469
- *
470
- * assert.deepStrictEqual(flatMapParse(Optional.some('5')), Optional.some(5));
471
- * assert.deepStrictEqual(flatMapParse(Optional.some('invalid')), Optional.none);
472
- * ```
473
- *
474
- * @template O The input `Optional.Base` type.
475
- * @template S2 The value type of the `Optional` returned by the function.
476
- * @param optional The `Optional` to flat map.
477
- * @param flatMapFn The function to apply that returns an `Optional`.
478
- * @returns The result of applying the function, or `Optional.None`.
479
- */
480
- export function flatMap<O extends Base, S2>(
481
- optional: O,
482
- flatMapFn: (value: Unwrap<O>) => Optional<S2>,
483
- ): Optional<S2>;
484
-
485
- // Curried version
486
- export function flatMap<S, S2>(
487
- flatMapFn: (value: S) => Optional<S2>,
488
- ): (optional: Optional<S>) => Optional<S2>;
489
-
490
- export function flatMap<O extends Base, S2>(
491
- ...args:
492
- | readonly [optional: O, flatMapFn: (value: Unwrap<O>) => Optional<S2>]
493
- | readonly [flatMapFn: (value: Unwrap<O>) => Optional<S2>]
494
- ): Optional<S2> | ((optional: O) => Optional<S2>) {
495
- switch (args.length) {
496
- case 2: {
497
- const [optional, flatMapFn] = args;
498
- return isSome(optional) ? flatMapFn(unwrap(optional)) : none;
499
- }
500
-
501
- case 1: {
502
- const [flatMapFn] = args;
503
- return (optional: O) => flatMap(optional, flatMapFn);
504
- }
505
- }
506
- }
507
-
508
- /**
509
- * Filters an `Optional` based on a predicate. If the `Optional` is `Some` and
510
- * the predicate returns true, returns the original `Optional`. Otherwise
511
- * returns `None`.
512
- *
513
- * @example
514
- *
515
- * ```ts
516
- * const even = Optional.filter(Optional.some(4), (value) => value % 2 === 0);
517
- * const odd = Optional.filter(Optional.some(3), (value) => value % 2 === 0);
518
- *
519
- * assert.deepStrictEqual(even, Optional.some(4));
520
- * assert.deepStrictEqual(odd, Optional.none);
521
- *
522
- * const filterEven = Optional.filter((value: number) => value % 2 === 0);
523
- *
524
- * assert.deepStrictEqual(filterEven(Optional.some(6)), Optional.some(6));
525
- * assert.deepStrictEqual(filterEven(Optional.some(5)), Optional.none);
526
- * ```
527
- *
528
- * @template O The input `Optional.Base` type.
529
- * @param optional The `Optional` to filter.
530
- * @param predicate The predicate function.
531
- * @returns The filtered `Optional`.
532
- */
533
- export function filter<O extends Base>(
534
- optional: O,
535
- predicate: (value: Unwrap<O>) => boolean,
536
- ): Optional<Unwrap<O>>;
537
-
538
- // Curried version
539
- export function filter<S>(
540
- predicate: (value: S) => boolean,
541
- ): (optional: Optional<S>) => Optional<S>;
542
-
543
- export function filter<O extends Base>(
544
- ...args:
545
- | readonly [optional: O, predicate: (value: Unwrap<O>) => boolean]
546
- | readonly [predicate: (value: Unwrap<O>) => boolean]
547
- ): Optional<Unwrap<O>> | ((optional: O) => Optional<Unwrap<O>>) {
548
- switch (args.length) {
549
- case 2: {
550
- const [optional, predicate] = args;
551
- if (isSome(optional)) {
552
- const value = unwrap(optional);
553
- return predicate(value) ? some(value) : none;
554
- }
555
- // If the optional is None, return None
556
- return none;
557
- }
558
-
559
- case 1: {
560
- // Curried version: first argument is predicate function
561
- const [predicate] = args;
562
- return (optional: O) => filter(optional, predicate);
563
- }
564
- }
565
- }
566
-
567
- /**
568
- * Unwraps an `Optional`, returning the contained value or throwing an error
569
- * with the provided message.
570
- *
571
- * @example
572
- *
573
- * ```ts
574
- * const optionalValue = Optional.some('data');
575
- *
576
- * assert(Optional.expectToBe(optionalValue, 'value expected') === 'data');
577
- *
578
- * const expectValue = Optional.expectToBe<string>('missing optional');
579
- *
580
- * assert.throws(() => expectValue(Optional.none), /missing optional/u);
581
- * assert(expectValue(Optional.some('present')) === 'present');
582
- * ```
583
- *
584
- * @template O The `Optional.Base` type to unwrap.
585
- * @param optional The `Optional` to unwrap.
586
- * @param message The error message to throw if the `Optional` is
587
- * `Optional.None`.
588
- * @returns The contained value if `Optional.Some`.
589
- * @throws Error with the provided message if the `Optional` is
590
- * `Optional.None`.
591
- */
592
- export function expectToBe<O extends Base>(
593
- optional: O,
594
- message: string,
595
- ): Unwrap<O>;
596
-
597
- // Curried version
598
- export function expectToBe<S>(message: string): (optional: Optional<S>) => S;
599
-
600
- export function expectToBe<O extends Base>(
601
- ...args:
602
- | readonly [optional: O, message: string]
603
- | readonly [message: string]
604
- ): Unwrap<O> | ((optional: Optional<Unwrap<O>>) => Unwrap<O>) {
605
- switch (args.length) {
606
- case 2: {
607
- const [optional, message] = args;
608
- if (isSome(optional)) {
609
- return unwrap(optional);
610
- }
611
- throw new Error(message);
612
- }
613
-
614
- case 1: {
615
- // Curried version: first argument is message
616
- const [message] = args;
617
- return (optional: Optional<Unwrap<O>>): Unwrap<O> =>
618
- expectToBe(optional, message);
619
- }
620
- }
621
- }
622
-
623
- /**
624
- * Combines two `Optional` values into a single `Optional` containing a tuple.
625
- * If either `Optional` is `None`, returns `None`.
626
- *
627
- * @example
628
- *
629
- * ```ts
630
- * const zipped = Optional.zip(Optional.some('left'), Optional.some(1));
631
- *
632
- * assert.ok(Optional.isSome(zipped));
633
- * if (Optional.isSome(zipped)) {
634
- * const expected: readonly [string, number] = ['left', 1];
635
- * assert.deepStrictEqual(zipped.value, expected);
636
- * }
637
- *
638
- * const missing = Optional.zip(
639
- * Optional.some('value'),
640
- * Optional.none as Optional<number>,
641
- * );
642
- *
643
- * assert.deepStrictEqual(missing, Optional.none);
644
- * ```
645
- *
646
- * @template A The value type of the first `Optional`.
647
- * @template B The value type of the second `Optional`.
648
- * @param optionalA The first `Optional`.
649
- * @param optionalB The second `Optional`.
650
- * @returns An `Optional` containing a tuple of both values, or `None`.
651
- */
652
- export const zip = <A, const B>(
653
- optionalA: Optional<A>,
654
- optionalB: Optional<B>,
655
- ): Optional<readonly [A, B]> =>
656
- isSome(optionalA) && isSome(optionalB)
657
- ? some([optionalA.value, optionalB.value] as const)
658
- : none;
659
-
660
- /**
661
- * Converts a nullable value to an `Optional`.
662
- *
663
- * This is the primary way to lift nullable values (null or undefined) into
664
- * the Optional type system. The function treats both `null` and `undefined`
665
- * as empty values, converting them to `Optional.None`.
666
- *
667
- * @example
668
- *
669
- * ```ts
670
- * const present = Optional.fromNullable('hello');
671
- * const absent = Optional.fromNullable<string | null>(null);
672
- *
673
- * assert.deepStrictEqual(present, Optional.some('hello'));
674
- * assert.deepStrictEqual(absent, Optional.none);
675
- * ```
676
- *
677
- * @template T The type of the nullable value.
678
- * @param value The nullable value to convert.
679
- * @returns `Optional.Some<NonNullable<T>>` if the value is not null or
680
- * undefined, otherwise `Optional.None`.
681
- */
682
- export const fromNullable = <T,>(
683
- value: T | null | undefined,
684
- ): Optional<NonNullable<T>> => (value == null ? none : some(value));
685
-
686
- /**
687
- * Converts an `Optional` to a nullable value.
688
- *
689
- * This function extracts the value from an Optional, returning `undefined`
690
- * for empty Optionals. This is useful when interfacing with APIs or systems
691
- * that expect nullable values rather than Optional types.
692
- *
693
- * Note: This returns `undefined` (not `null`) for consistency with
694
- * JavaScript's undefined semantics and TypeScript's optional properties.
695
- *
696
- * @example
697
- *
698
- * ```ts
699
- * const someNumber = Optional.some(42);
700
- * const noneNumber = Optional.none as Optional<number>;
701
- *
702
- * assert(Optional.toNullable(someNumber) === 42);
703
- * assert(Optional.toNullable(noneNumber) === undefined);
704
- * ```
705
- *
706
- * @template O The `Optional.Base` type to convert.
707
- * @param optional The `Optional` to convert.
708
- * @returns The contained value if `Some`, otherwise `undefined`.
709
- */
710
- export const toNullable = <O extends Base>(
711
- optional: O,
712
- ): Unwrap<O> | undefined => (isSome(optional) ? unwrap(optional) : undefined);
713
- }