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.
- package/dist/array/impl/array-utils-element-access.d.mts +3 -4
- package/dist/array/impl/array-utils-element-access.d.mts.map +1 -1
- package/dist/array/impl/array-utils-element-access.mjs +8 -8
- package/dist/array/impl/array-utils-element-access.mjs.map +1 -1
- package/dist/array/impl/array-utils-reducing-value.d.mts +8 -9
- package/dist/array/impl/array-utils-reducing-value.d.mts.map +1 -1
- package/dist/array/impl/array-utils-reducing-value.mjs +9 -7
- package/dist/array/impl/array-utils-reducing-value.mjs.map +1 -1
- package/dist/array/impl/array-utils-search.d.mts +0 -1
- package/dist/array/impl/array-utils-search.d.mts.map +1 -1
- package/dist/array/impl/array-utils-search.mjs +6 -6
- package/dist/array/impl/array-utils-search.mjs.map +1 -1
- package/dist/array/impl/array-utils-transformation.mjs +2 -4
- package/dist/array/impl/array-utils-transformation.mjs.map +1 -1
- package/dist/collections/imap-mapped.d.mts +0 -1
- package/dist/collections/imap-mapped.d.mts.map +1 -1
- package/dist/collections/imap-mapped.mjs +7 -6
- package/dist/collections/imap-mapped.mjs.map +1 -1
- package/dist/collections/imap.d.mts +0 -1
- package/dist/collections/imap.d.mts.map +1 -1
- package/dist/collections/imap.mjs +11 -9
- package/dist/collections/imap.mjs.map +1 -1
- package/dist/collections/queue.d.mts +0 -1
- package/dist/collections/queue.d.mts.map +1 -1
- package/dist/collections/queue.mjs +4 -4
- package/dist/collections/queue.mjs.map +1 -1
- package/dist/collections/stack.d.mts +0 -1
- package/dist/collections/stack.d.mts.map +1 -1
- package/dist/collections/stack.mjs +4 -4
- package/dist/collections/stack.mjs.map +1 -1
- package/dist/entry-point.d.mts +1 -0
- package/dist/entry-point.d.mts.map +1 -1
- package/dist/entry-point.mjs +6 -4
- package/dist/entry-point.mjs.map +1 -1
- package/dist/functional/index.d.mts +2 -2
- package/dist/functional/index.d.mts.map +1 -1
- package/dist/functional/index.mjs +4 -2
- package/dist/functional/index.mjs.map +1 -1
- package/dist/functional/optional/impl/index.d.mts +18 -0
- package/dist/functional/optional/impl/index.d.mts.map +1 -0
- package/dist/functional/optional/impl/index.mjs +17 -0
- package/dist/functional/optional/impl/index.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-expect-to-be.d.mts +29 -0
- package/dist/functional/optional/impl/optional-expect-to-be.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-expect-to-be.mjs +25 -0
- package/dist/functional/optional/impl/optional-expect-to-be.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-filter.d.mts +29 -0
- package/dist/functional/optional/impl/optional-filter.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-filter.mjs +28 -0
- package/dist/functional/optional/impl/optional-filter.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-flat-map.d.mts +33 -0
- package/dist/functional/optional/impl/optional-flat-map.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-flat-map.mjs +21 -0
- package/dist/functional/optional/impl/optional-flat-map.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-from-nullable.d.mts +24 -0
- package/dist/functional/optional/impl/optional-from-nullable.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-from-nullable.mjs +29 -0
- package/dist/functional/optional/impl/optional-from-nullable.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-is-none.d.mts +22 -0
- package/dist/functional/optional/impl/optional-is-none.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-is-none.mjs +25 -0
- package/dist/functional/optional/impl/optional-is-none.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-is-optional.d.mts +18 -0
- package/dist/functional/optional/impl/optional-is-optional.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-is-optional.mjs +27 -0
- package/dist/functional/optional/impl/optional-is-optional.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-is-some.d.mts +22 -0
- package/dist/functional/optional/impl/optional-is-some.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-is-some.mjs +25 -0
- package/dist/functional/optional/impl/optional-is-some.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-map.d.mts +31 -0
- package/dist/functional/optional/impl/optional-map.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-map.mjs +25 -0
- package/dist/functional/optional/impl/optional-map.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-none.d.mts +16 -0
- package/dist/functional/optional/impl/optional-none.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-none.mjs +20 -0
- package/dist/functional/optional/impl/optional-none.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-or-else.d.mts +35 -0
- package/dist/functional/optional/impl/optional-or-else.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-or-else.mjs +19 -0
- package/dist/functional/optional/impl/optional-or-else.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-some.d.mts +19 -0
- package/dist/functional/optional/impl/optional-some.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-some.mjs +26 -0
- package/dist/functional/optional/impl/optional-some.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-to-nullable.d.mts +27 -0
- package/dist/functional/optional/impl/optional-to-nullable.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-to-nullable.mjs +31 -0
- package/dist/functional/optional/impl/optional-to-nullable.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-unwrap-or.d.mts +33 -0
- package/dist/functional/optional/impl/optional-unwrap-or.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-unwrap-or.mjs +19 -0
- package/dist/functional/optional/impl/optional-unwrap-or.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-unwrap-throw.d.mts +29 -0
- package/dist/functional/optional/impl/optional-unwrap-throw.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-unwrap-throw.mjs +38 -0
- package/dist/functional/optional/impl/optional-unwrap-throw.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-unwrap.d.mts +28 -0
- package/dist/functional/optional/impl/optional-unwrap.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-unwrap.mjs +11 -0
- package/dist/functional/optional/impl/optional-unwrap.mjs.map +1 -0
- package/dist/functional/optional/impl/optional-zip.d.mts +31 -0
- package/dist/functional/optional/impl/optional-zip.d.mts.map +1 -0
- package/dist/functional/optional/impl/optional-zip.mjs +39 -0
- package/dist/functional/optional/impl/optional-zip.mjs.map +1 -0
- package/dist/functional/optional/impl/tag.d.mts +5 -0
- package/dist/functional/optional/impl/tag.d.mts.map +1 -0
- package/dist/functional/optional/impl/tag.mjs +7 -0
- package/dist/functional/optional/impl/tag.mjs.map +1 -0
- package/dist/functional/optional/impl/types.d.mts +22 -0
- package/dist/functional/optional/impl/types.d.mts.map +1 -0
- package/dist/functional/optional/impl/types.mjs +2 -0
- package/dist/functional/optional/impl/types.mjs.map +1 -0
- package/dist/functional/optional/index.d.mts +2 -0
- package/dist/functional/optional/index.d.mts.map +1 -0
- package/dist/functional/optional/index.mjs +3 -0
- package/dist/functional/optional/index.mjs.map +1 -0
- package/dist/functional/pipe.d.mts +4 -4
- package/dist/functional/pipe.d.mts.map +1 -1
- package/dist/functional/pipe.mjs +4 -3
- package/dist/functional/pipe.mjs.map +1 -1
- package/dist/functional/result/impl/index.d.mts +24 -0
- package/dist/functional/result/impl/index.d.mts.map +1 -0
- package/dist/functional/result/impl/index.mjs +23 -0
- package/dist/functional/result/impl/index.mjs.map +1 -0
- package/dist/functional/result/impl/result-err.d.mts +25 -0
- package/dist/functional/result/impl/result-err.d.mts.map +1 -0
- package/dist/functional/result/impl/result-err.mjs +32 -0
- package/dist/functional/result/impl/result-err.mjs.map +1 -0
- package/dist/functional/result/impl/result-expect-to-be.d.mts +27 -0
- package/dist/functional/result/impl/result-expect-to-be.d.mts.map +1 -0
- package/dist/functional/result/impl/result-expect-to-be.mjs +26 -0
- package/dist/functional/result/impl/result-expect-to-be.mjs.map +1 -0
- package/dist/functional/result/impl/result-flat-map.d.mts +39 -0
- package/dist/functional/result/impl/result-flat-map.d.mts.map +1 -0
- package/dist/functional/result/impl/result-flat-map.mjs +24 -0
- package/dist/functional/result/impl/result-flat-map.mjs.map +1 -0
- package/dist/functional/result/impl/result-fold.d.mts +45 -0
- package/dist/functional/result/impl/result-fold.d.mts.map +1 -0
- package/dist/functional/result/impl/result-fold.mjs +26 -0
- package/dist/functional/result/impl/result-fold.mjs.map +1 -0
- package/dist/functional/result/impl/result-from-promise.d.mts +32 -0
- package/dist/functional/result/impl/result-from-promise.d.mts.map +1 -0
- package/dist/functional/result/impl/result-from-promise.mjs +32 -0
- package/dist/functional/result/impl/result-from-promise.mjs.map +1 -0
- package/dist/functional/result/impl/result-from-throwable.d.mts +29 -0
- package/dist/functional/result/impl/result-from-throwable.d.mts.map +1 -0
- package/dist/functional/result/impl/result-from-throwable.mjs +46 -0
- package/dist/functional/result/impl/result-from-throwable.mjs.map +1 -0
- package/dist/functional/result/impl/result-is-err.d.mts +20 -0
- package/dist/functional/result/impl/result-is-err.d.mts.map +1 -0
- package/dist/functional/result/impl/result-is-err.mjs +23 -0
- package/dist/functional/result/impl/result-is-err.mjs.map +1 -0
- package/dist/functional/result/impl/result-is-ok.d.mts +20 -0
- package/dist/functional/result/impl/result-is-ok.d.mts.map +1 -0
- package/dist/functional/result/impl/result-is-ok.mjs +23 -0
- package/dist/functional/result/impl/result-is-ok.mjs.map +1 -0
- package/dist/functional/result/impl/result-is-result.d.mts +17 -0
- package/dist/functional/result/impl/result-is-result.d.mts.map +1 -0
- package/dist/functional/result/impl/result-is-result.mjs +26 -0
- package/dist/functional/result/impl/result-is-result.mjs.map +1 -0
- package/dist/functional/result/impl/result-map-err.d.mts +33 -0
- package/dist/functional/result/impl/result-map-err.d.mts.map +1 -0
- package/dist/functional/result/impl/result-map-err.mjs +25 -0
- package/dist/functional/result/impl/result-map-err.mjs.map +1 -0
- package/dist/functional/result/impl/result-map.d.mts +34 -0
- package/dist/functional/result/impl/result-map.d.mts.map +1 -0
- package/dist/functional/result/impl/result-map.mjs +25 -0
- package/dist/functional/result/impl/result-map.mjs.map +1 -0
- package/dist/functional/result/impl/result-ok.d.mts +25 -0
- package/dist/functional/result/impl/result-ok.d.mts.map +1 -0
- package/dist/functional/result/impl/result-ok.mjs +32 -0
- package/dist/functional/result/impl/result-ok.mjs.map +1 -0
- package/dist/functional/result/impl/result-or-else.d.mts +32 -0
- package/dist/functional/result/impl/result-or-else.d.mts.map +1 -0
- package/dist/functional/result/impl/result-or-else.mjs +20 -0
- package/dist/functional/result/impl/result-or-else.mjs.map +1 -0
- package/dist/functional/result/impl/result-swap.d.mts +20 -0
- package/dist/functional/result/impl/result-swap.d.mts.map +1 -0
- package/dist/functional/result/impl/result-swap.mjs +28 -0
- package/dist/functional/result/impl/result-swap.mjs.map +1 -0
- package/dist/functional/result/impl/result-to-optional.d.mts +28 -0
- package/dist/functional/result/impl/result-to-optional.d.mts.map +1 -0
- package/dist/functional/result/impl/result-to-optional.mjs +34 -0
- package/dist/functional/result/impl/result-to-optional.mjs.map +1 -0
- package/dist/functional/result/impl/result-unwrap-err-or.d.mts +29 -0
- package/dist/functional/result/impl/result-unwrap-err-or.d.mts.map +1 -0
- package/dist/functional/result/impl/result-unwrap-err-or.mjs +20 -0
- package/dist/functional/result/impl/result-unwrap-err-or.mjs.map +1 -0
- package/dist/functional/result/impl/result-unwrap-err-throw.d.mts +30 -0
- package/dist/functional/result/impl/result-unwrap-err-throw.d.mts.map +1 -0
- package/dist/functional/result/impl/result-unwrap-err-throw.mjs +47 -0
- package/dist/functional/result/impl/result-unwrap-err-throw.mjs.map +1 -0
- package/dist/functional/result/impl/result-unwrap-err.d.mts +31 -0
- package/dist/functional/result/impl/result-unwrap-err.d.mts.map +1 -0
- package/dist/functional/result/impl/result-unwrap-err.mjs +36 -0
- package/dist/functional/result/impl/result-unwrap-err.mjs.map +1 -0
- package/dist/functional/result/impl/result-unwrap-ok-or.d.mts +29 -0
- package/dist/functional/result/impl/result-unwrap-ok-or.d.mts.map +1 -0
- package/dist/functional/result/impl/result-unwrap-ok-or.mjs +20 -0
- package/dist/functional/result/impl/result-unwrap-ok-or.mjs.map +1 -0
- package/dist/functional/result/impl/result-unwrap-ok.d.mts +23 -0
- package/dist/functional/result/impl/result-unwrap-ok.d.mts.map +1 -0
- package/dist/functional/result/impl/result-unwrap-ok.mjs +11 -0
- package/dist/functional/result/impl/result-unwrap-ok.mjs.map +1 -0
- package/dist/functional/result/impl/result-unwrap-throw.d.mts +30 -0
- package/dist/functional/result/impl/result-unwrap-throw.d.mts.map +1 -0
- package/dist/functional/result/impl/result-unwrap-throw.mjs +41 -0
- package/dist/functional/result/impl/result-unwrap-throw.mjs.map +1 -0
- package/dist/functional/result/impl/result-zip.d.mts +29 -0
- package/dist/functional/result/impl/result-zip.d.mts.map +1 -0
- package/dist/functional/result/impl/result-zip.mjs +38 -0
- package/dist/functional/result/impl/result-zip.mjs.map +1 -0
- package/dist/functional/result/impl/tag.d.mts +5 -0
- package/dist/functional/result/impl/tag.d.mts.map +1 -0
- package/dist/functional/result/impl/tag.mjs +7 -0
- package/dist/functional/result/impl/tag.mjs.map +1 -0
- package/dist/functional/result/impl/types.d.mts +29 -0
- package/dist/functional/result/impl/types.d.mts.map +1 -0
- package/dist/functional/result/impl/types.mjs +2 -0
- package/dist/functional/result/impl/types.mjs.map +1 -0
- package/dist/functional/result/index.d.mts +2 -0
- package/dist/functional/result/index.d.mts.map +1 -0
- package/dist/functional/result/index.mjs +3 -0
- package/dist/functional/result/index.mjs.map +1 -0
- package/dist/globals.d.mts +83 -0
- package/dist/index.d.mts +0 -1
- package/dist/index.d.mts.map +1 -1
- package/dist/index.mjs +0 -4
- package/dist/index.mjs.map +1 -1
- package/dist/json/json.d.mts +0 -1
- package/dist/json/json.d.mts.map +1 -1
- package/dist/json/json.mjs +8 -8
- package/dist/json/json.mjs.map +1 -1
- package/dist/number/branded-types/finite-number.mjs +1 -1
- package/dist/number/branded-types/finite-number.mjs.map +1 -1
- package/dist/number/branded-types/int.mjs +1 -1
- package/dist/number/branded-types/int.mjs.map +1 -1
- package/dist/number/branded-types/int16.mjs +1 -1
- package/dist/number/branded-types/int16.mjs.map +1 -1
- package/dist/number/branded-types/int32.mjs +1 -1
- package/dist/number/branded-types/int32.mjs.map +1 -1
- package/dist/number/branded-types/non-negative-finite-number.mjs +1 -1
- package/dist/number/branded-types/non-negative-finite-number.mjs.map +1 -1
- package/dist/number/branded-types/non-negative-int16.mjs +1 -1
- package/dist/number/branded-types/non-negative-int16.mjs.map +1 -1
- package/dist/number/branded-types/non-negative-int32.mjs +1 -1
- package/dist/number/branded-types/non-negative-int32.mjs.map +1 -1
- package/dist/number/branded-types/non-zero-finite-number.mjs +1 -1
- package/dist/number/branded-types/non-zero-finite-number.mjs.map +1 -1
- package/dist/number/branded-types/non-zero-int.mjs +1 -1
- package/dist/number/branded-types/non-zero-int.mjs.map +1 -1
- package/dist/number/branded-types/non-zero-int16.mjs +1 -1
- package/dist/number/branded-types/non-zero-int16.mjs.map +1 -1
- package/dist/number/branded-types/non-zero-int32.mjs +1 -1
- package/dist/number/branded-types/non-zero-int32.mjs.map +1 -1
- package/dist/number/branded-types/non-zero-safe-int.mjs +1 -1
- package/dist/number/branded-types/non-zero-safe-int.mjs.map +1 -1
- package/dist/number/branded-types/non-zero-uint16.mjs +1 -1
- package/dist/number/branded-types/non-zero-uint16.mjs.map +1 -1
- package/dist/number/branded-types/non-zero-uint32.mjs +1 -1
- package/dist/number/branded-types/non-zero-uint32.mjs.map +1 -1
- package/dist/number/branded-types/positive-finite-number.mjs +1 -1
- package/dist/number/branded-types/positive-finite-number.mjs.map +1 -1
- package/dist/number/branded-types/positive-int.mjs +1 -1
- package/dist/number/branded-types/positive-int.mjs.map +1 -1
- package/dist/number/branded-types/positive-int16.mjs +1 -1
- package/dist/number/branded-types/positive-int16.mjs.map +1 -1
- package/dist/number/branded-types/positive-int32.mjs +1 -1
- package/dist/number/branded-types/positive-int32.mjs.map +1 -1
- package/dist/number/branded-types/positive-safe-int.mjs +1 -1
- package/dist/number/branded-types/positive-safe-int.mjs.map +1 -1
- package/dist/number/branded-types/positive-uint16.mjs +1 -1
- package/dist/number/branded-types/positive-uint16.mjs.map +1 -1
- package/dist/number/branded-types/positive-uint32.mjs +1 -1
- package/dist/number/branded-types/positive-uint32.mjs.map +1 -1
- package/dist/number/branded-types/safe-int.mjs +1 -1
- package/dist/number/branded-types/safe-int.mjs.map +1 -1
- package/dist/number/branded-types/safe-uint.mjs +1 -1
- package/dist/number/branded-types/safe-uint.mjs.map +1 -1
- package/dist/number/branded-types/uint.mjs +1 -1
- package/dist/number/branded-types/uint.mjs.map +1 -1
- package/dist/number/branded-types/uint16.mjs +1 -1
- package/dist/number/branded-types/uint16.mjs.map +1 -1
- package/dist/number/branded-types/uint32.mjs +1 -1
- package/dist/number/branded-types/uint32.mjs.map +1 -1
- package/dist/number/enum/int8.mjs +1 -1
- package/dist/number/enum/int8.mjs.map +1 -1
- package/dist/number/enum/uint8.mjs +1 -1
- package/dist/number/enum/uint8.mjs.map +1 -1
- package/dist/number/refined-number-utils.mjs +0 -2
- package/dist/number/refined-number-utils.mjs.map +1 -1
- package/dist/promise/promise.d.mts +0 -1
- package/dist/promise/promise.d.mts.map +1 -1
- package/dist/promise/promise.mjs +2 -3
- package/dist/promise/promise.mjs.map +1 -1
- package/package.json +27 -21
- package/src/array/impl/array-utils-element-access.mts +6 -6
- package/src/array/impl/array-utils-element-access.test.mts +6 -6
- package/src/array/impl/array-utils-reducing-value.mts +8 -24
- package/src/array/impl/array-utils-reducing-value.test.mts +8 -8
- package/src/array/impl/array-utils-slice-clamped.test.mts +1 -1
- package/src/entry-point.mts +1 -0
- package/src/functional/index.mts +2 -2
- package/src/functional/optional/impl/index.mts +17 -0
- package/src/functional/optional/impl/optional-expect-to-be.mts +65 -0
- package/src/functional/optional/impl/optional-filter.mts +71 -0
- package/src/functional/optional/impl/optional-flat-map.mts +67 -0
- package/src/functional/optional/impl/optional-from-nullable.mts +28 -0
- package/src/functional/optional/impl/optional-is-none.mts +25 -0
- package/src/functional/optional/impl/optional-is-optional.mts +27 -0
- package/src/functional/optional/impl/optional-is-some.mts +25 -0
- package/src/functional/optional/impl/optional-map.mts +69 -0
- package/src/functional/optional/impl/optional-none.mts +17 -0
- package/src/functional/optional/impl/optional-or-else.mts +73 -0
- package/src/functional/optional/impl/optional-some.mts +23 -0
- package/src/functional/optional/impl/optional-to-nullable.mts +31 -0
- package/src/functional/optional/impl/optional-unwrap-or.mts +64 -0
- package/src/functional/optional/impl/optional-unwrap-throw.mts +39 -0
- package/src/functional/optional/impl/optional-unwrap.mts +41 -0
- package/src/functional/optional/impl/optional-zip.mts +40 -0
- package/src/functional/optional/impl/tag.mts +6 -0
- package/src/functional/optional/impl/types.mts +28 -0
- package/src/functional/optional/index.mts +1 -0
- package/src/functional/optional.test.mts +7 -8
- package/src/functional/pipe.mts +5 -5
- package/src/functional/pipe.test.mts +1 -1
- package/src/functional/result/impl/index.mts +23 -0
- package/src/functional/result/impl/result-err.mts +29 -0
- package/src/functional/result/impl/result-expect-to-be.mts +63 -0
- package/src/functional/result/impl/result-flat-map.mts +79 -0
- package/src/functional/result/impl/result-fold.mts +95 -0
- package/src/functional/result/impl/result-from-promise.mts +39 -0
- package/src/functional/result/impl/result-from-throwable.mts +42 -0
- package/src/functional/result/impl/result-is-err.mts +23 -0
- package/src/functional/result/impl/result-is-ok.mts +23 -0
- package/src/functional/result/impl/result-is-result.mts +23 -0
- package/src/functional/result/impl/result-map-err.mts +72 -0
- package/src/functional/result/impl/result-map.mts +73 -0
- package/src/functional/result/impl/result-ok.mts +29 -0
- package/src/functional/result/impl/result-or-else.mts +63 -0
- package/src/functional/result/impl/result-swap.mts +28 -0
- package/src/functional/result/impl/result-to-optional.mts +34 -0
- package/src/functional/result/impl/result-unwrap-err-or.mts +60 -0
- package/src/functional/result/impl/result-unwrap-err-throw.mts +53 -0
- package/src/functional/result/impl/result-unwrap-err.mts +36 -0
- package/src/functional/result/impl/result-unwrap-ok-or.mts +60 -0
- package/src/functional/result/impl/result-unwrap-ok.mts +35 -0
- package/src/functional/result/impl/result-unwrap-throw.mts +43 -0
- package/src/functional/result/impl/result-zip.mts +39 -0
- package/src/functional/result/impl/tag.mts +6 -0
- package/src/functional/result/impl/types.mts +35 -0
- package/src/functional/result/index.mts +1 -0
- package/src/functional/result.test.mts +5 -4
- package/src/globals.d.mts +83 -0
- package/src/guard/is-non-empty-string.test.mts +1 -1
- package/src/guard/is-non-null-object.test.mts +3 -3
- package/src/guard/is-primitive.test.mts +3 -3
- package/src/guard/is-type.test.mts +3 -3
- package/src/index.mts +0 -1
- package/src/number/branded-types/finite-number.mts +7 -7
- package/src/number/branded-types/int.mts +7 -7
- package/src/number/branded-types/int16.mts +9 -9
- package/src/number/branded-types/int32.mts +9 -9
- package/src/number/branded-types/non-negative-finite-number.mts +8 -8
- package/src/number/branded-types/non-negative-int16.mts +9 -9
- package/src/number/branded-types/non-negative-int32.mts +9 -9
- package/src/number/branded-types/non-zero-finite-number.mts +7 -7
- package/src/number/branded-types/non-zero-int.mts +7 -7
- package/src/number/branded-types/non-zero-int16.mts +9 -9
- package/src/number/branded-types/non-zero-int32.mts +9 -9
- package/src/number/branded-types/non-zero-safe-int.mts +9 -9
- package/src/number/branded-types/non-zero-uint16.mts +9 -9
- package/src/number/branded-types/non-zero-uint32.mts +9 -9
- package/src/number/branded-types/positive-finite-number.mts +8 -8
- package/src/number/branded-types/positive-int.mts +8 -8
- package/src/number/branded-types/positive-int16.mts +9 -9
- package/src/number/branded-types/positive-int32.mts +9 -9
- package/src/number/branded-types/positive-safe-int.mts +9 -9
- package/src/number/branded-types/positive-uint16.mts +9 -9
- package/src/number/branded-types/positive-uint32.mts +9 -9
- package/src/number/branded-types/safe-int.mts +9 -9
- package/src/number/branded-types/safe-uint.mts +9 -9
- package/src/number/branded-types/uint.mts +8 -8
- package/src/number/branded-types/uint16.mts +9 -9
- package/src/number/branded-types/uint32.mts +9 -9
- package/src/number/enum/int8.mts +3 -3
- package/src/number/enum/int8.test.mts +9 -9
- package/src/number/enum/uint8.mts +3 -3
- package/src/number/enum/uint8.test.mts +8 -8
- package/dist/functional/optional.d.mts +0 -482
- package/dist/functional/optional.d.mts.map +0 -1
- package/dist/functional/optional.mjs +0 -328
- package/dist/functional/optional.mjs.map +0 -1
- package/dist/functional/result.d.mts +0 -712
- package/dist/functional/result.d.mts.map +0 -1
- package/dist/functional/result.mjs +0 -539
- package/dist/functional/result.mjs.map +0 -1
- package/src/functional/optional.mts +0 -713
- 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
|
-
}
|