type-plus 8.0.0-beta.2 → 8.0.0-beta.3

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 (395) hide show
  1. package/esm/any/is_any.d.ts.map +1 -1
  2. package/esm/any/is_not_any.d.ts.map +1 -1
  3. package/esm/array/array.at.d.ts.map +1 -1
  4. package/esm/array/array.entries.d.ts +1 -1
  5. package/esm/array/array.entries.d.ts.map +1 -1
  6. package/esm/array/array.find_last.d.ts +1 -1
  7. package/esm/array/array.find_last.d.ts.map +1 -1
  8. package/esm/array/array.reverse.d.ts.map +1 -1
  9. package/esm/array/array.some.d.ts +2 -2
  10. package/esm/array/array.some.d.ts.map +1 -1
  11. package/esm/array/array_plus.common_prop_keys.d.ts.map +1 -1
  12. package/esm/array/array_plus.drop_match.d.ts +1 -1
  13. package/esm/array/array_plus.drop_match.d.ts.map +1 -1
  14. package/esm/array/array_plus.element_match.d.ts +4 -2
  15. package/esm/array/array_plus.element_match.d.ts.map +1 -1
  16. package/esm/array/array_plus.filter.d.ts +4 -4
  17. package/esm/array/array_plus.filter.d.ts.map +1 -1
  18. package/esm/array/array_plus.find.d.ts +1 -1
  19. package/esm/array/array_plus.find.d.ts.map +1 -1
  20. package/esm/array/array_plus.index_at.d.ts.map +1 -1
  21. package/esm/array/array_plus.index_at.js.map +1 -1
  22. package/esm/array/array_plus.is_index_out_of_bound.d.ts.map +1 -1
  23. package/esm/array/array_plus.is_readonly.d.ts.map +1 -1
  24. package/esm/array/array_plus.pad_start.d.ts.map +1 -1
  25. package/esm/array/array_plus.split_at.d.ts +4 -4
  26. package/esm/array/array_plus.split_at.d.ts.map +1 -1
  27. package/esm/array/find_first.d.ts.map +1 -1
  28. package/esm/array/head.d.ts.map +1 -1
  29. package/esm/array/intersect_of_props.d.ts.map +1 -1
  30. package/esm/array/is_array.d.ts +2 -2
  31. package/esm/array/is_array.d.ts.map +1 -1
  32. package/esm/array/is_not_array.d.ts +2 -2
  33. package/esm/array/is_not_array.d.ts.map +1 -1
  34. package/esm/array/last.d.ts.map +1 -1
  35. package/esm/array/loose_array_type.d.ts.map +1 -1
  36. package/esm/array/pad_start.d.ts.map +1 -1
  37. package/esm/array/reverse.d.ts.map +1 -1
  38. package/esm/array/union_of_props.d.ts.map +1 -1
  39. package/esm/assertion/assert_type.js +6 -5
  40. package/esm/assertion/assert_type.js.map +1 -1
  41. package/esm/bigint/cast.d.ts.map +1 -1
  42. package/esm/bigint/is_bigint.d.ts +2 -4
  43. package/esm/bigint/is_bigint.d.ts.map +1 -1
  44. package/esm/bigint/is_bigint_literal.d.ts +2 -4
  45. package/esm/bigint/is_bigint_literal.d.ts.map +1 -1
  46. package/esm/bigint/is_not_bigint.d.ts +2 -4
  47. package/esm/bigint/is_not_bigint.d.ts.map +1 -1
  48. package/esm/bigint/is_not_bigint_literal.d.ts +2 -4
  49. package/esm/bigint/is_not_bigint_literal.d.ts.map +1 -1
  50. package/esm/boolean/is_boolean.d.ts +2 -8
  51. package/esm/boolean/is_boolean.d.ts.map +1 -1
  52. package/esm/boolean/is_false.d.ts.map +1 -1
  53. package/esm/boolean/is_not_boolean.d.ts +2 -8
  54. package/esm/boolean/is_not_boolean.d.ts.map +1 -1
  55. package/esm/boolean/is_not_false.d.ts.map +1 -1
  56. package/esm/boolean/is_not_true.d.ts.map +1 -1
  57. package/esm/boolean/is_true.d.ts.map +1 -1
  58. package/esm/class/isConstructor.js +1 -0
  59. package/esm/class/isConstructor.js.map +1 -1
  60. package/esm/equal/equal.d.ts.map +1 -1
  61. package/esm/equal/identity_equal.d.ts +1 -1
  62. package/esm/equal/identity_equal.d.ts.map +1 -1
  63. package/esm/function/extract_function.d.ts.map +1 -1
  64. package/esm/function/extract_function.js.map +1 -1
  65. package/esm/function/is_not_strict_function.d.ts +1 -1
  66. package/esm/function/is_not_strict_function.d.ts.map +1 -1
  67. package/esm/function/is_strict_function.d.ts.map +1 -1
  68. package/esm/functional/Maybe.d.ts.map +1 -1
  69. package/esm/functional/Maybe.js.map +1 -1
  70. package/esm/functional/compose.d.ts.map +1 -1
  71. package/esm/functional/compose.js.map +1 -1
  72. package/esm/functional/context.d.ts.map +1 -1
  73. package/esm/math/abs.d.ts.map +1 -1
  74. package/esm/math/math_plus.to_negative.d.ts.map +1 -1
  75. package/esm/math/max.d.ts.map +1 -1
  76. package/esm/math/numeric_struct.d.ts.map +1 -1
  77. package/esm/mix_types/box.d.ts.map +1 -1
  78. package/esm/mix_types/is_any_or_never.d.ts.map +1 -1
  79. package/esm/mix_types/merge.d.ts +9 -9
  80. package/esm/mix_types/merge.d.ts.map +1 -1
  81. package/esm/mix_types/merge.js +9 -9
  82. package/esm/mix_types/merge.js.map +1 -1
  83. package/esm/never/is_never.d.ts.map +1 -1
  84. package/esm/never/is_not_never.d.ts.map +1 -1
  85. package/esm/nodejs/isNodeError.d.ts.map +1 -1
  86. package/esm/nominal/brand.d.ts.map +1 -1
  87. package/esm/nominal/brand.js +1 -1
  88. package/esm/nominal/brand.js.map +1 -1
  89. package/esm/nominal/flavor.d.ts.map +1 -1
  90. package/esm/nominal/flavor.js +1 -1
  91. package/esm/nominal/flavor.js.map +1 -1
  92. package/esm/nominal/nominal_match.d.ts.map +1 -1
  93. package/esm/nominal/nominal_match.js.map +1 -1
  94. package/esm/null/is_not_null.d.ts.map +1 -1
  95. package/esm/null/is_null.d.ts.map +1 -1
  96. package/esm/number/cast.d.ts.map +1 -1
  97. package/esm/number/is_not_number.d.ts +2 -4
  98. package/esm/number/is_not_number.d.ts.map +1 -1
  99. package/esm/number/is_not_number_literal.d.ts +2 -4
  100. package/esm/number/is_not_number_literal.d.ts.map +1 -1
  101. package/esm/number/is_number.d.ts +2 -4
  102. package/esm/number/is_number.d.ts.map +1 -1
  103. package/esm/number/is_number_literal.d.ts +2 -4
  104. package/esm/number/is_number_literal.d.ts.map +1 -1
  105. package/esm/numeric/is_integer.d.ts +2 -2
  106. package/esm/numeric/is_integer.d.ts.map +1 -1
  107. package/esm/numeric/is_negative.d.ts +5 -5
  108. package/esm/numeric/is_negative.d.ts.map +1 -1
  109. package/esm/numeric/is_not_integer.d.ts +2 -2
  110. package/esm/numeric/is_not_integer.d.ts.map +1 -1
  111. package/esm/numeric/is_not_negative.d.ts +3 -3
  112. package/esm/numeric/is_not_negative.d.ts.map +1 -1
  113. package/esm/numeric/is_not_positive.d.ts +3 -3
  114. package/esm/numeric/is_not_positive.d.ts.map +1 -1
  115. package/esm/numeric/is_positive.d.ts +3 -3
  116. package/esm/numeric/is_positive.d.ts.map +1 -1
  117. package/esm/numeric/numeric_type.d.ts.map +1 -1
  118. package/esm/object/ANotB.d.ts.map +1 -1
  119. package/esm/object/IsDisjoint.d.ts.map +1 -1
  120. package/esm/object/KeysWithDiffType.d.ts.map +1 -1
  121. package/esm/object/KnownKeys.d.ts.map +1 -1
  122. package/esm/object/RecursiveIntersect.d.ts +1 -1
  123. package/esm/object/RecursiveIntersect.d.ts.map +1 -1
  124. package/esm/object/RecursiveRequired.d.ts.map +1 -1
  125. package/esm/object/SpreadRecord.d.ts.map +1 -1
  126. package/esm/object/facade.d.ts.map +1 -1
  127. package/esm/object/facade.js.map +1 -1
  128. package/esm/object/getField.d.ts.map +1 -1
  129. package/esm/object/getField.js.map +1 -1
  130. package/esm/object/hasKey.js +1 -1
  131. package/esm/object/hasKey.js.map +1 -1
  132. package/esm/object/is_not_object.d.ts +1 -3
  133. package/esm/object/is_not_object.d.ts.map +1 -1
  134. package/esm/object/is_object.d.ts.map +1 -1
  135. package/esm/object/left_join.d.ts.map +1 -1
  136. package/esm/object/merge.d.ts +6 -5
  137. package/esm/object/merge.d.ts.map +1 -1
  138. package/esm/object/omit.d.ts +7 -0
  139. package/esm/object/omit.d.ts.map +1 -1
  140. package/esm/object/omit.js.map +1 -1
  141. package/esm/object/optional_key.d.ts.map +1 -1
  142. package/esm/object/pick.d.ts.map +1 -1
  143. package/esm/object/pick.js.map +1 -1
  144. package/esm/object/recursive_partial.d.ts.map +1 -1
  145. package/esm/object/split.d.ts +1 -7
  146. package/esm/object/split.d.ts.map +1 -1
  147. package/esm/object/split.js +1 -1
  148. package/esm/object/split.js.map +1 -1
  149. package/esm/object/typeOverrideIncompatible.js.map +1 -1
  150. package/esm/predicates/CanAssign.d.ts.map +1 -1
  151. package/esm/predicates/CanAssign.js.map +1 -1
  152. package/esm/predicates/assignable.d.ts.map +1 -1
  153. package/esm/predicates/literal.d.ts.map +1 -1
  154. package/esm/predicates/logical.d.ts.map +1 -1
  155. package/esm/predicates/not_assignable.d.ts.map +1 -1
  156. package/esm/primitive.d.ts.map +1 -1
  157. package/esm/promise/index.d.ts.map +1 -1
  158. package/esm/promise/mapSeries.js +1 -1
  159. package/esm/promise/mapSeries.js.map +1 -1
  160. package/esm/string/$extract_manipulated_string.d.ts +5 -5
  161. package/esm/string/$extract_manipulated_string.d.ts.map +1 -1
  162. package/esm/string/_string_type.d.ts.map +1 -1
  163. package/esm/string/is_not_string.d.ts +2 -4
  164. package/esm/string/is_not_string.d.ts.map +1 -1
  165. package/esm/string/is_not_string_literal.d.ts +4 -8
  166. package/esm/string/is_not_string_literal.d.ts.map +1 -1
  167. package/esm/string/is_not_template_literal.d.ts.map +1 -1
  168. package/esm/string/is_string.d.ts +2 -4
  169. package/esm/string/is_string.d.ts.map +1 -1
  170. package/esm/string/is_string_literal.d.ts +4 -8
  171. package/esm/string/is_string_literal.d.ts.map +1 -1
  172. package/esm/string/is_template_literal.d.ts.map +1 -1
  173. package/esm/string/string.d.ts.map +1 -1
  174. package/esm/string/string_plus.d.ts.map +1 -1
  175. package/esm/symbol/is_not_symbol.d.ts.map +1 -1
  176. package/esm/symbol/is_symbol.d.ts.map +1 -1
  177. package/esm/testing/test_type.d.ts.map +1 -1
  178. package/esm/tuple/common_prop_keys.d.ts.map +1 -1
  179. package/esm/tuple/create_tuple.d.ts.map +1 -1
  180. package/esm/tuple/drop.d.ts.map +1 -1
  181. package/esm/tuple/drop.js +1 -1
  182. package/esm/tuple/drop.js.map +1 -1
  183. package/esm/tuple/is_not_tuple.d.ts +2 -2
  184. package/esm/tuple/is_not_tuple.d.ts.map +1 -1
  185. package/esm/tuple/is_tuple.d.ts +2 -2
  186. package/esm/tuple/is_tuple.d.ts.map +1 -1
  187. package/esm/tuple/tail.d.ts +1 -1
  188. package/esm/tuple/tail.d.ts.map +1 -1
  189. package/esm/tuple/tuple_plus.common_prop_keys.d.ts +1 -1
  190. package/esm/tuple/tuple_plus.common_prop_keys.d.ts.map +1 -1
  191. package/esm/tuple/tuple_plus.drop_match.d.ts.map +1 -1
  192. package/esm/tuple/tuple_plus.filter.d.ts +1 -1
  193. package/esm/tuple/tuple_plus.filter.d.ts.map +1 -1
  194. package/esm/tuple/tuple_plus.find.d.ts +2 -2
  195. package/esm/tuple/tuple_plus.find.d.ts.map +1 -1
  196. package/esm/tuple/tuple_plus.pad_start.d.ts +1 -4
  197. package/esm/tuple/tuple_plus.pad_start.d.ts.map +1 -1
  198. package/esm/type_plus/$equality.d.ts.map +1 -1
  199. package/esm/type_plus/$infer_error.d.ts.map +1 -1
  200. package/esm/type_plus/$merge_options.d.ts.map +1 -1
  201. package/esm/type_plus/$resolve_options.d.ts +1 -1
  202. package/esm/type_plus/$resolve_options.d.ts.map +1 -1
  203. package/esm/type_plus/$special_type.d.ts +1 -7
  204. package/esm/type_plus/$special_type.d.ts.map +1 -1
  205. package/esm/type_plus/$type.d.ts.map +1 -1
  206. package/esm/type_plus/branch/$branch.d.ts.map +1 -1
  207. package/esm/type_plus/branch/$exact.d.ts +4 -1
  208. package/esm/type_plus/branch/$exact.d.ts.map +1 -1
  209. package/esm/type_plus/branch/$input_options.d.ts.map +1 -1
  210. package/esm/type_plus/branch/$is_distributive.d.ts.map +1 -1
  211. package/esm/type_plus/branch/$resolve_branch.d.ts +8 -9
  212. package/esm/type_plus/branch/$resolve_branch.d.ts.map +1 -1
  213. package/esm/type_plus/branch/$select.d.ts +1 -3
  214. package/esm/type_plus/branch/$select.d.ts.map +1 -1
  215. package/esm/type_plus/branch/$select_invert.d.ts +1 -3
  216. package/esm/type_plus/branch/$select_invert.d.ts.map +1 -1
  217. package/esm/type_plus/branch/$select_invert_strict.d.ts +1 -4
  218. package/esm/type_plus/branch/$select_invert_strict.d.ts.map +1 -1
  219. package/esm/type_plus/branch/$select_strict.d.ts +1 -4
  220. package/esm/type_plus/branch/$select_strict.d.ts.map +1 -1
  221. package/esm/type_plus/branch/$selection.d.ts.map +1 -1
  222. package/esm/type_plus/branch/$selection_options.d.ts.map +1 -1
  223. package/esm/undefined/has_undefined.d.ts +3 -1
  224. package/esm/undefined/has_undefined.d.ts.map +1 -1
  225. package/esm/undefined/is_not_undefined.d.ts.map +1 -1
  226. package/esm/undefined/is_undefined.d.ts.map +1 -1
  227. package/esm/union/union.d.ts.map +1 -1
  228. package/esm/union/union_to_intersection.d.ts.map +1 -1
  229. package/esm/union/union_to_intersection.js.map +1 -1
  230. package/esm/unknown/is_not_unknown.d.ts.map +1 -1
  231. package/esm/unknown/is_unknown.d.ts.map +1 -1
  232. package/esm/unknown/not_unknown_or.d.ts.map +1 -1
  233. package/esm/unknown/unknown.d.ts.map +1 -1
  234. package/esm/utils/index.d.ts.map +1 -1
  235. package/esm/void/is_not_void.d.ts.map +1 -1
  236. package/esm/void/is_void.d.ts.map +1 -1
  237. package/package.json +3 -4
  238. package/src/any/is_any.ts +8 -8
  239. package/src/any/is_not_any.ts +8 -8
  240. package/src/array/array.at.ts +22 -19
  241. package/src/array/array.entries.ts +3 -3
  242. package/src/array/array.find_last.ts +6 -6
  243. package/src/array/array.reverse.ts +3 -2
  244. package/src/array/array.some.ts +4 -4
  245. package/src/array/array_plus.common_prop_keys.ts +5 -6
  246. package/src/array/array_plus.drop_match.ts +7 -7
  247. package/src/array/array_plus.element_match.ts +25 -22
  248. package/src/array/array_plus.filter.ts +11 -12
  249. package/src/array/array_plus.find.ts +9 -11
  250. package/src/array/array_plus.index_at.ts +29 -35
  251. package/src/array/array_plus.is_index_out_of_bound.ts +1 -1
  252. package/src/array/array_plus.is_readonly.ts +17 -21
  253. package/src/array/array_plus.pad_start.ts +3 -7
  254. package/src/array/array_plus.split_at.ts +17 -19
  255. package/src/array/find_first.ts +6 -5
  256. package/src/array/head.ts +9 -8
  257. package/src/array/intersect_of_props.ts +5 -5
  258. package/src/array/is_array.ts +31 -32
  259. package/src/array/is_not_array.ts +32 -32
  260. package/src/array/last.ts +14 -9
  261. package/src/array/loose_array_type.ts +2 -2
  262. package/src/array/pad_start.ts +1 -3
  263. package/src/array/reverse.ts +8 -8
  264. package/src/array/union_of_props.ts +2 -2
  265. package/src/assertion/assert_type.ts +5 -3
  266. package/src/bigint/cast.ts +2 -2
  267. package/src/bigint/is_bigint.ts +17 -20
  268. package/src/bigint/is_bigint_literal.ts +12 -14
  269. package/src/bigint/is_not_bigint.ts +14 -16
  270. package/src/bigint/is_not_bigint_literal.ts +17 -16
  271. package/src/boolean/is_boolean.ts +48 -36
  272. package/src/boolean/is_false.ts +5 -3
  273. package/src/boolean/is_not_boolean.ts +23 -25
  274. package/src/boolean/is_not_false.ts +5 -3
  275. package/src/boolean/is_not_true.ts +5 -3
  276. package/src/boolean/is_true.ts +5 -3
  277. package/src/class/isConstructor.ts +1 -1
  278. package/src/equal/equal.ts +22 -27
  279. package/src/equal/identity_equal.ts +5 -3
  280. package/src/function/extract_function.ts +1 -3
  281. package/src/function/is_not_strict_function.ts +12 -12
  282. package/src/function/is_strict_function.ts +12 -14
  283. package/src/functional/Maybe.ts +1 -3
  284. package/src/functional/compose.ts +2 -4
  285. package/src/functional/context.ts +1 -1
  286. package/src/index.ts +0 -1
  287. package/src/math/abs.ts +18 -8
  288. package/src/math/math_plus.to_negative.ts +6 -6
  289. package/src/math/max.ts +2 -2
  290. package/src/math/numeric_struct.ts +225 -231
  291. package/src/mix_types/box.ts +34 -37
  292. package/src/mix_types/is_any_or_never.ts +6 -6
  293. package/src/mix_types/merge.ts +24 -28
  294. package/src/never/is_never.ts +13 -10
  295. package/src/never/is_not_never.ts +13 -10
  296. package/src/nodejs/isNodeError.ts +13 -13
  297. package/src/nominal/brand.ts +3 -4
  298. package/src/nominal/flavor.ts +3 -4
  299. package/src/nominal/nominal_match.ts +3 -10
  300. package/src/null/is_not_null.ts +5 -4
  301. package/src/null/is_null.ts +9 -8
  302. package/src/number/cast.ts +6 -6
  303. package/src/number/is_not_number.ts +15 -17
  304. package/src/number/is_not_number_literal.ts +17 -16
  305. package/src/number/is_number.ts +15 -17
  306. package/src/number/is_number_literal.ts +12 -14
  307. package/src/numeric/is_integer.ts +33 -27
  308. package/src/numeric/is_negative.ts +23 -23
  309. package/src/numeric/is_not_integer.ts +31 -26
  310. package/src/numeric/is_not_negative.ts +19 -19
  311. package/src/numeric/is_not_positive.ts +19 -19
  312. package/src/numeric/is_positive.ts +21 -21
  313. package/src/numeric/numeric_plus.ts +0 -1
  314. package/src/numeric/numeric_type.ts +0 -1
  315. package/src/object/ANotB.ts +2 -2
  316. package/src/object/IsDisjoint.ts +1 -4
  317. package/src/object/KeysWithDiffType.ts +2 -2
  318. package/src/object/KnownKeys.ts +7 -7
  319. package/src/object/RecursiveIntersect.ts +8 -8
  320. package/src/object/RecursiveRequired.ts +2 -2
  321. package/src/object/SpreadRecord.ts +1 -4
  322. package/src/object/facade.ts +1 -9
  323. package/src/object/getField.ts +1 -4
  324. package/src/object/hasKey.ts +1 -1
  325. package/src/object/is_not_object.ts +23 -16
  326. package/src/object/is_object.ts +23 -15
  327. package/src/object/left_join.ts +2 -2
  328. package/src/object/merge.ts +53 -72
  329. package/src/object/omit.ts +16 -25
  330. package/src/object/optional_key.ts +1 -4
  331. package/src/object/pick.ts +8 -19
  332. package/src/object/recursive_partial.ts +6 -6
  333. package/src/object/split.ts +3 -14
  334. package/src/object/typeOverrideIncompatible.ts +3 -3
  335. package/src/predicates/CanAssign.ts +9 -5
  336. package/src/predicates/assignable.ts +23 -24
  337. package/src/predicates/literal.ts +8 -8
  338. package/src/predicates/logical.ts +4 -4
  339. package/src/predicates/not_assignable.ts +23 -22
  340. package/src/primitive.ts +1 -10
  341. package/src/promise/index.ts +1 -1
  342. package/src/promise/mapSeries.ts +1 -1
  343. package/src/string/$extract_manipulated_string.ts +25 -20
  344. package/src/string/_string_type.ts +6 -6
  345. package/src/string/is_not_string.ts +13 -15
  346. package/src/string/is_not_string_literal.ts +29 -34
  347. package/src/string/is_not_template_literal.ts +18 -21
  348. package/src/string/is_string.ts +17 -20
  349. package/src/string/is_string_literal.ts +29 -34
  350. package/src/string/is_template_literal.ts +18 -20
  351. package/src/string/string.ts +2 -2
  352. package/src/string/string_plus.ts +6 -7
  353. package/src/symbol/is_not_symbol.ts +5 -3
  354. package/src/symbol/is_symbol.ts +5 -3
  355. package/src/testing/test_type.ts +89 -89
  356. package/src/tuple/common_prop_keys.ts +2 -5
  357. package/src/tuple/create_tuple.ts +18 -18
  358. package/src/tuple/drop.ts +20 -22
  359. package/src/tuple/is_not_tuple.ts +19 -21
  360. package/src/tuple/is_tuple.ts +23 -26
  361. package/src/tuple/tail.ts +5 -3
  362. package/src/tuple/tuple_plus.common_prop_keys.ts +6 -12
  363. package/src/tuple/tuple_plus.drop_match.ts +11 -11
  364. package/src/tuple/tuple_plus.filter.ts +5 -12
  365. package/src/tuple/tuple_plus.find.ts +14 -24
  366. package/src/tuple/tuple_plus.pad_start.ts +12 -27
  367. package/src/type_plus/$equality.ts +1 -3
  368. package/src/type_plus/$infer_error.ts +3 -1
  369. package/src/type_plus/$merge_options.ts +3 -4
  370. package/src/type_plus/$resolve_options.ts +6 -5
  371. package/src/type_plus/$special_type.ts +7 -5
  372. package/src/type_plus/$type.ts +3 -3
  373. package/src/type_plus/branch/$branch.ts +1 -2
  374. package/src/type_plus/branch/$exact.ts +9 -5
  375. package/src/type_plus/branch/$input_options.ts +1 -2
  376. package/src/type_plus/branch/$is_distributive.ts +7 -4
  377. package/src/type_plus/branch/$resolve_branch.ts +29 -39
  378. package/src/type_plus/branch/$select.ts +15 -16
  379. package/src/type_plus/branch/$select_invert.ts +11 -16
  380. package/src/type_plus/branch/$select_invert_strict.ts +14 -19
  381. package/src/type_plus/branch/$select_strict.ts +11 -13
  382. package/src/type_plus/branch/$selection.ts +8 -9
  383. package/src/type_plus/branch/$selection_options.ts +3 -3
  384. package/src/undefined/has_undefined.ts +4 -3
  385. package/src/undefined/is_not_undefined.ts +9 -9
  386. package/src/undefined/is_undefined.ts +9 -8
  387. package/src/union/union.ts +1 -4
  388. package/src/union/union_to_intersection.ts +1 -3
  389. package/src/unknown/is_not_unknown.ts +8 -8
  390. package/src/unknown/is_unknown.ts +8 -8
  391. package/src/unknown/not_unknown_or.ts +7 -3
  392. package/src/unknown/unknown.ts +0 -1
  393. package/src/utils/index.ts +17 -17
  394. package/src/void/is_not_void.ts +14 -14
  395. package/src/void/is_void.ts +14 -14
@@ -1 +1 @@
1
- {"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../src/union/union.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAElF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEnF,yBAAiB,SAAS,CAAC;IAC1B,KAAY,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,IACtC,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,GAC3D,IAAI,GACJ,IAAI,CAAA;CACP"}
1
+ {"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../src/union/union.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAElF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEnF,yBAAiB,SAAS,CAAC;IAC1B,KAAY,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;CACtH"}
@@ -1 +1 @@
1
- {"version":3,"file":"union_to_intersection.d.ts","sourceRoot":"","sources":["../../src/union/union_to_intersection.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GACvG,CAAC,GACD,KAAK,CAAA;AAER,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAElE"}
1
+ {"version":3,"file":"union_to_intersection.d.ts","sourceRoot":"","sources":["../../src/union/union_to_intersection.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAA;AAEtH,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAElE"}
@@ -1 +1 @@
1
- {"version":3,"file":"union_to_intersection.js","sourceRoot":"","sources":["../../src/union/union_to_intersection.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,cAAc,CAAI,KAAQ;IACzC,OAAO,KAAsC,CAAA;AAC9C,CAAC"}
1
+ {"version":3,"file":"union_to_intersection.js","sourceRoot":"","sources":["../../src/union/union_to_intersection.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,cAAc,CAAI,KAAQ;IACzC,OAAO,KAAsC,CAAA;AAC9C,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"is_not_unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/is_not_unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,YAAY,CACvB,CAAC,EACD,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAClC,YAAY,CAAC,CAAC,EAAE;IACnB,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACzC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/C,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACrC,CAAC,CAAA;AAEF,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;IACvE,KAAY,OAAO,GAAG,gBAAgB,CAAA;CACtC"}
1
+ {"version":3,"file":"is_not_unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/is_not_unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAChF,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACxC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACrC,CACD,CAAA;AAED,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;IACvE,KAAY,OAAO,GAAG,gBAAgB,CAAA;CACtC"}
@@ -1 +1 @@
1
- {"version":3,"file":"is_unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/is_unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,SAAS,CACpB,CAAC,EACD,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAC/B,YAAY,CAAC,CAAC,EAAE;IACnB,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACzC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/C,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACrC,CAAC,CAAA;AAEF,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;IACvE,KAAY,OAAO,GAAG,gBAAgB,CAAA;CACtC"}
1
+ {"version":3,"file":"is_unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/is_unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC1E,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACxC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACrC,CACD,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;IACvE,KAAY,OAAO,GAAG,gBAAgB,CAAA;CACtC"}
@@ -1 +1 @@
1
- {"version":3,"file":"not_unknown_or.d.ts","sourceRoot":"","sources":["../../src/unknown/not_unknown_or.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAE5C;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,QAAQ,IAAI,SAAS,CAAC,CAAC,EAAE;IAC3D,KAAK,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CACrB,CAAC,CAAA"}
1
+ {"version":3,"file":"not_unknown_or.d.ts","sourceRoot":"","sources":["../../src/unknown/not_unknown_or.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAE5C;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,QAAQ,IAAI,SAAS,CACvD,CAAC,EACD;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,CAAC,CAAA;CACR,CACD,CAAA"}
@@ -1 +1 @@
1
- {"version":3,"file":"unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;AAE1C,yBAAiB,QAAQ,CAAC;IAEzB;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAY,QAAQ,GAAG;QACtB,QAAQ,CAAC,EAAE,OAAO,CAAA;KAClB,CAAA;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,OAAO,GAAG;QACrB,QAAQ,EAAE,QAAQ,CAAA;KAClB,CAAA;CACD"}
1
+ {"version":3,"file":"unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;AAE1C,yBAAiB,QAAQ,CAAC;IACzB;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAY,QAAQ,GAAG;QACtB,QAAQ,CAAC,EAAE,OAAO,CAAA;KAClB,CAAA;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,OAAO,GAAG;QACrB,QAAQ,EAAE,QAAQ,CAAA;KAClB,CAAA;CACD"}
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAA;AACvB,cAAc,cAAc,CAAA;AAC5B,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,GAChE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GACf,CAAC,SAAS,IAAI,GACd,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAEnD,CAAC,GACD,CAAC,GACD,CAAC,GACD,CAAC,GACD,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AAEpB;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAA;AACvB,cAAc,cAAc,CAAA;AAC5B,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,GAChE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GACf,CAAC,SAAS,IAAI,GACb,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAEnD,CAAC,GACD,CAAC,GACD,CAAC,GACD,CAAC,GACD,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AAErB;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA"}
@@ -1 +1 @@
1
- {"version":3,"file":"is_not_void.d.ts","sourceRoot":"","sources":["../../src/void/is_not_void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,MAAM,MAAM,SAAS,CACpB,CAAC,EACD,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAElC,YAAY,CAAC,CAAC,EACb,aAAa,CAAC,EAAE,EACf;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACzB,CACD,CACD,CAAA;AAEF,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IACvC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE;QAChB,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;KACnC,CAAC,CAAA;IAEH,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,CAAA;CACrD"}
1
+ {"version":3,"file":"is_not_void.d.ts","sourceRoot":"","sources":["../../src/void/is_not_void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC1E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACzB,CACD,CACD,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,WAAW,CAAC,CAAC,CACxD,CAAC,EACD;QACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QACrC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;KACnC,CACD,CAAA;IAED,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,CAAA;CACrD"}
@@ -1 +1 @@
1
- {"version":3,"file":"is_void.d.ts","sourceRoot":"","sources":["../../src/void/is_void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,MAAM,MAAM,CACjB,CAAC,EACD,EAAE,SAAS,MAAM,CAAC,QAAQ,GAAG,EAAE,IAE/B,YAAY,CAAC,CAAC,EACb,aAAa,CAAC,EAAE,EACf;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACtB,CACD,CACD,CAAA;AAEF,yBAAiB,MAAM,CAAC;IACvB,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IACvC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE;QAChB,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;KAChC,CAAC,CAAA;IAEH,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;CAClD"}
1
+ {"version":3,"file":"is_void.d.ts","sourceRoot":"","sources":["../../src/void/is_void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACpE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACtB,CACD,CACD,CAAA;AAED,yBAAiB,MAAM,CAAC;IACvB,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,WAAW,CAAC,CAAC,CACxD,CAAC,EACD;QACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QACrC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;KAChC,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;CAClD"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "type-plus",
3
- "version": "8.0.0-beta.2",
3
+ "version": "8.0.0-beta.3",
4
4
  "description": "Provides additional types for TypeScript.",
5
5
  "keywords": [
6
6
  "assert",
@@ -34,8 +34,7 @@
34
34
  "import": {
35
35
  "types": "./esm/index.d.ts",
36
36
  "default": "./esm/index.js"
37
- },
38
- "default": "./esm/index.js"
37
+ }
39
38
  },
40
39
  "./package.json": "./package.json"
41
40
  },
@@ -61,7 +60,7 @@
61
60
  },
62
61
  "devDependencies": {
63
62
  "@jest/globals": "^29.5.0",
64
- "@repobuddy/jest": "^3.4.2",
63
+ "@repobuddy/jest": "^4.0.0",
65
64
  "@repobuddy/typescript": "^2.0.0",
66
65
  "@size-limit/esbuild-why": "^9.0.0",
67
66
  "@size-limit/preset-small-lib": "^9.0.0",
package/src/any/is_any.ts CHANGED
@@ -43,15 +43,15 @@ import type { $Unknown } from '../unknown/unknown.js'
43
43
  * type R = IsAny<string, $SelectionBranch> // $Else
44
44
  * ```
45
45
  */
46
- export type IsAny<
46
+ export type IsAny<T, $O extends IsAny.$Options = {}> = $SpecialType<
47
47
  T,
48
- $O extends IsAny.$Options = {}
49
- > = $SpecialType<T, {
50
- $any: $ResolveBranch<T, $O, [$Then]>,
51
- $unknown: $ResolveBranch<T, $O, [$Unknown, $Else]>,
52
- $never: $ResolveBranch<T, $O, [$Never, $Else]>,
53
- $else: $ResolveBranch<T, $O, [$Else]>
54
- }>
48
+ {
49
+ $any: $ResolveBranch<T, $O, [$Then]>
50
+ $unknown: $ResolveBranch<T, $O, [$Unknown, $Else]>
51
+ $never: $ResolveBranch<T, $O, [$Never, $Else]>
52
+ $else: $ResolveBranch<T, $O, [$Else]>
53
+ }
54
+ >
55
55
 
56
56
  export namespace IsAny {
57
57
  export type $Options = $SelectionOptions & $InputOptions<$Unknown | $Never>
@@ -43,15 +43,15 @@ import type { $Unknown } from '../unknown/unknown.js'
43
43
  * type R = IsNotAny<string, $SelectionBranch> // $Then
44
44
  * ```
45
45
  */
46
- export type IsNotAny<
46
+ export type IsNotAny<T, $O extends IsNotAny.$Options = {}> = $SpecialType<
47
47
  T,
48
- $O extends IsNotAny.$Options = {}
49
- > = $SpecialType<T, {
50
- $any: $ResolveBranch<T, $O, [$Else]>,
51
- $unknown: $ResolveBranch<T, $O, [$Unknown, $Then]>,
52
- $never: $ResolveBranch<T, $O, [$Never, $Then]>,
53
- $else: $ResolveBranch<T, $O, [$Then]>
54
- }>
48
+ {
49
+ $any: $ResolveBranch<T, $O, [$Else]>
50
+ $unknown: $ResolveBranch<T, $O, [$Unknown, $Then]>
51
+ $never: $ResolveBranch<T, $O, [$Never, $Then]>
52
+ $else: $ResolveBranch<T, $O, [$Then]>
53
+ }
54
+ >
55
55
 
56
56
  export namespace IsNotAny {
57
57
  export type $Options = $SelectionOptions & $InputOptions<$Unknown | $Never>
@@ -17,24 +17,27 @@ import type { IndexAt } from './array_plus.index_at.js'
17
17
  * type R = At<[1, 2, 3], -1> // 3
18
18
  * ```
19
19
  */
20
- export type At<A extends readonly unknown[], N extends number, Fail = never> =
21
- IndexAt<
22
- A,
23
- N,
24
- Fail,
25
- Fail,
26
- Fail
27
- > extends infer I
20
+ export type At<A extends readonly unknown[], N extends number, Fail = never> = IndexAt<
21
+ A,
22
+ N,
23
+ Fail,
24
+ Fail,
25
+ Fail
26
+ > extends infer I
28
27
  ? I extends number
29
- ? IsTuple.$<
30
- A,
31
- {
32
- $then: IsNumber.$<I, {
33
- exact: true,
34
- $then: A[I] | undefined,
35
- $else: A[I]
36
- }>,
37
- $else: A[I] | undefined
38
- }>
39
- : Fail
28
+ ? IsTuple.$<
29
+ A,
30
+ {
31
+ $then: IsNumber.$<
32
+ I,
33
+ {
34
+ exact: true
35
+ $then: A[I] | undefined
36
+ $else: A[I]
37
+ }
38
+ >
39
+ $else: A[I] | undefined
40
+ }
41
+ >
42
+ : Fail
40
43
  : never
@@ -14,7 +14,7 @@ import type { IsTuple } from '../tuple/is_tuple.js'
14
14
  export type Entries<A extends readonly unknown[]> = IsTuple<
15
15
  A,
16
16
  {
17
- $then: Entries.Device<A, []>,
17
+ $then: Entries.Device<A, []>
18
18
  $else: A extends Array<infer T> ? Array<[number, T]> : never
19
19
  }
20
20
  >
@@ -22,7 +22,7 @@ export type Entries<A extends readonly unknown[]> = IsTuple<
22
22
  export namespace Entries {
23
23
  export type Device<A extends readonly unknown[], R extends unknown[]> = A['length'] extends 0
24
24
  ? R
25
- : (A extends readonly [...infer F, infer N]
25
+ : A extends readonly [...infer F, infer N]
26
26
  ? Device<F, [[F['length'], N], ...R]>
27
- : never)
27
+ : never
28
28
  }
@@ -20,12 +20,12 @@ export type FindLast<A extends readonly unknown[], Criteria> = IsTuple<
20
20
  A,
21
21
  {
22
22
  $then: A['length'] extends 0
23
- ? never
24
- : (A extends readonly [...infer Heads, infer Last]
25
- ? (Last extends Criteria
26
- ? Last
27
- : FindLast<Heads, Criteria>)
28
- : never),
23
+ ? never
24
+ : A extends readonly [...infer Heads, infer Last]
25
+ ? Last extends Criteria
26
+ ? Last
27
+ : FindLast<Heads, Criteria>
28
+ : never
29
29
  $else: A extends Readonly<Array<infer T>> ? (T extends Criteria ? T | undefined : never) : never
30
30
  }
31
31
  >
@@ -14,12 +14,13 @@ import type { IsReadonly } from './array_plus.is_readonly.js'
14
14
  * @returns The reversed array type.
15
15
  */
16
16
  export type Reverse<A extends readonly unknown[]> = Reverse._<A> extends infer R
17
- ? IsReadonly<A> extends true ? Readonly<R> : R
17
+ ? IsReadonly<A> extends true
18
+ ? Readonly<R>
19
+ : R
18
20
  : never
19
21
 
20
22
  export namespace Reverse {
21
23
  export type _<A extends readonly unknown[]> = A extends readonly [infer First, ...infer Rest]
22
24
  ? [..._<Rest>, First]
23
25
  : A
24
-
25
26
  }
@@ -44,9 +44,9 @@ export namespace Some {
44
44
 
45
45
  export type StrictTuple<A extends readonly unknown[], Criteria, Then, Else> = A['length'] extends 0
46
46
  ? Else
47
- : (IsEqual<A[0], Criteria> extends true
47
+ : IsEqual<A[0], Criteria> extends true
48
48
  ? Then
49
- : StrictTuple<Tail<A>, Criteria, Then, Else>)
49
+ : StrictTuple<Tail<A>, Criteria, Then, Else>
50
50
 
51
51
  export type Loose<A extends readonly unknown[], Criteria, Then, Else> = number extends A['length']
52
52
  ? LooseArray<A, Criteria, Then, Else>
@@ -61,7 +61,7 @@ export namespace Some {
61
61
 
62
62
  export type LooseTuple<A extends readonly unknown[], Criteria, Then, Else> = A['length'] extends 0
63
63
  ? Else
64
- : (A[0] extends Criteria
64
+ : A[0] extends Criteria
65
65
  ? Then
66
- : LooseTuple<Tail<A>, Criteria, Then, Else>)
66
+ : LooseTuple<Tail<A>, Criteria, Then, Else>
67
67
  }
@@ -22,17 +22,16 @@ import type { KeyTypes } from '../object/KeyTypes.js'
22
22
  export type CommonPropKeys<
23
23
  A extends readonly Record<KeyTypes, unknown>[],
24
24
  Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions
25
- > = IsNever<A,
25
+ > = IsNever<
26
+ A,
26
27
  {
27
- $then: Options['$never'],
28
+ $then: Options['$never']
28
29
  $else: A extends Readonly<Array<infer R extends Record<KeyTypes, unknown>>> ? keyof R : never
29
30
  }
30
31
  >
31
32
 
32
33
  export namespace CommonPropKeys {
33
- export interface Options extends $Never.$Options {
34
- }
34
+ export interface Options extends $Never.$Options {}
35
35
 
36
- export interface DefaultOptions extends $Never.$Default {
37
- }
36
+ export interface DefaultOptions extends $Never.$Default {}
38
37
  }
@@ -3,14 +3,14 @@
3
3
  */
4
4
  export type DropMatch<A extends Readonly<Array<unknown>>, Criteria> = A[0] extends Criteria
5
5
  ? never[]
6
- : (undefined extends Criteria
7
- ? (null extends Criteria
6
+ : undefined extends Criteria
7
+ ? null extends Criteria
8
8
  ? Array<NonNullable<A[0]>>
9
- : Array<Exclude<A[0], undefined>>)
10
- : (null extends Criteria
9
+ : Array<Exclude<A[0], undefined>>
10
+ : null extends Criteria
11
11
  ? Array<Exclude<A[0], null>>
12
- : (Criteria extends A[0]
12
+ : Criteria extends A[0]
13
13
  ? Array<Exclude<A[0], Criteria>>
14
- : (A[0] extends Criteria
14
+ : A[0] extends Criteria
15
15
  ? A
16
- : Array<Exclude<A[0], Criteria>>))))
16
+ : Array<Exclude<A[0], Criteria>>
@@ -27,35 +27,38 @@ import type { TypePlusOptions } from '../utils/options.js'
27
27
  * Since it is a union, the result will be joined to the matched branch as union.
28
28
  * e.g. `ElementMatch<1 | 2, 1>` -> `1 | undefined`
29
29
  */
30
- export type ElementMatch<
31
- T,
32
- Criteria,
33
- Options extends ElementMatch.Options = ElementMatch.DefaultOptions<Criteria>
34
- > = [T] extends [Criteria]
30
+ export type ElementMatch<T, Criteria, Options extends ElementMatch.Options = ElementMatch.DefaultOptions<Criteria>> = [
31
+ T
32
+ ] extends [Criteria]
35
33
  ? T
36
- : (TypePlusOptions.Merge<Options, ElementMatch.DefaultOptions<Criteria>> extends infer C extends Record<keyof ElementMatch.Options, unknown>
37
- ? ((T extends Criteria
38
- ? T
39
- : (C['widen'] extends true
40
- ? (Criteria extends T
41
- ? C['$widen']
42
- : C['$notMatch'])
43
- : C['$notMatch'])) extends infer R
44
- ? IsUnion<T, IsNever<R, { $then: R, $else: R | C['$unionNotMatch'] }>, R>
45
- : C['$notMatch'])
46
- : never)
34
+ : TypePlusOptions.Merge<Options, ElementMatch.DefaultOptions<Criteria>> extends infer C extends Record<
35
+ keyof ElementMatch.Options,
36
+ unknown
37
+ >
38
+ ? (
39
+ T extends Criteria
40
+ ? T
41
+ : C['widen'] extends true
42
+ ? Criteria extends T
43
+ ? C['$widen']
44
+ : C['$notMatch']
45
+ : C['$notMatch']
46
+ ) extends infer R
47
+ ? IsUnion<T, IsNever<R, { $then: R; $else: R | C['$unionNotMatch'] }>, R>
48
+ : C['$notMatch']
49
+ : never
47
50
 
48
51
  export namespace ElementMatch {
49
52
  export interface Options {
50
- widen?: boolean | undefined,
51
- $notMatch?: unknown,
52
- $widen?: unknown,
53
+ widen?: boolean | undefined
54
+ $notMatch?: unknown
55
+ $widen?: unknown
53
56
  $unionNotMatch?: unknown
54
57
  }
55
58
  export interface DefaultOptions<Criteria> {
56
- widen: true,
57
- $notMatch: never,
58
- $widen: Criteria | undefined,
59
+ widen: true
60
+ $notMatch: never
61
+ $widen: Criteria | undefined
59
62
  $unionNotMatch: never
60
63
  }
61
64
  }
@@ -26,27 +26,26 @@ export type Filter<
26
26
  Criteria = true,
27
27
  Options extends Filter.Options = Filter.DefaultOptions
28
28
  > = TypePlusOptions.Merge<Options, Filter.DefaultOptions> extends infer O extends Filter.Options
29
- ? (IsNever<
30
- A,
31
- {
32
- $then: O['$never'],
33
- $else: (A[0] extends Criteria
34
- ? A
35
- : Criteria extends A[0] ? Array<Criteria> : O['$notArray'])
36
- }>)
29
+ ? IsNever<
30
+ A,
31
+ {
32
+ $then: O['$never']
33
+ $else: A[0] extends Criteria ? A : Criteria extends A[0] ? Array<Criteria> : O['$notArray']
34
+ }
35
+ >
37
36
  : never
38
37
 
39
38
  export namespace Filter {
40
- export interface Options extends TypePlusOptions.NotArray, $Never.$Options { }
39
+ export interface Options extends TypePlusOptions.NotArray, $Never.$Options {}
41
40
 
42
41
  export interface DefaultOptions {
43
- $never: never,
42
+ $never: never
44
43
  $notArray: never[]
45
44
  }
46
45
 
47
46
  export type _<A extends readonly unknown[], Criteria, Result extends unknown[]> = A['length'] extends 0
48
47
  ? Result
49
- : (A extends [infer H, ...infer Rest]
48
+ : A extends [infer H, ...infer Rest]
50
49
  ? IsEqual<H, Criteria, _<Rest, Criteria, [...Result, H]>, _<Rest, Criteria, Result>>
51
- : never)
50
+ : never
52
51
  }
@@ -50,22 +50,20 @@ export type Find<
50
50
  A extends readonly unknown[],
51
51
  Criteria,
52
52
  Options extends Find.Options = Find.DefaultOptions<Criteria>
53
- > =
54
- IsTuple<A, {
55
- $then: $ResolveOptions<[Options['$tuple'], Find.DefaultOptions<Criteria>['$tuple']]>,
56
- $else: (
57
- A extends Readonly<Array<infer T>>
58
- ? ElementMatch<T, Criteria, Options>
59
- : never
60
- )
61
- }>
53
+ > = IsTuple<
54
+ A,
55
+ {
56
+ $then: $ResolveOptions<[Options['$tuple'], Find.DefaultOptions<Criteria>['$tuple']]>
57
+ $else: A extends Readonly<Array<infer T>> ? ElementMatch<T, Criteria, Options> : never
58
+ }
59
+ >
62
60
 
63
61
  export namespace Find {
64
62
  export interface Options extends ElementMatch.Options, $Never.$Options {
65
- $tuple?: unknown,
63
+ $tuple?: unknown
66
64
  }
67
65
 
68
66
  export interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, $Never.$Default {
69
- $tuple: 'does not support tuple. Please use `FindFirst` or `TuplePlus.Find` instead.',
67
+ $tuple: 'does not support tuple. Please use `FindFirst` or `TuplePlus.Find` instead.'
70
68
  }
71
69
  }
@@ -29,52 +29,47 @@ export type IndexAt<
29
29
  Fail = never,
30
30
  Upper = A['length'],
31
31
  Lower = 0
32
- > = IsNever<
33
- A,
34
- $SelectionBranch> extends infer R
35
- ? R extends $Then ? Fail
36
- : R extends $Else ? IndexAt._<A, N, Fail, Upper, Lower>
37
- : never : never
32
+ > = IsNever<A, $SelectionBranch> extends infer R
33
+ ? R extends $Then
34
+ ? Fail
35
+ : R extends $Else
36
+ ? IndexAt._<A, N, Fail, Upper, Lower>
37
+ : never
38
+ : never
38
39
 
39
40
  export namespace IndexAt {
40
- export type _<
41
- A extends readonly unknown[],
42
- N extends number,
43
- Fail = never,
44
- Upper = A['length'],
45
- Lower = 0
46
- > = IsEqual<
41
+ export type _<A extends readonly unknown[], N extends number, Fail = never, Upper = A['length'], Lower = 0> = IsEqual<
47
42
  A['length'],
48
43
  0,
49
44
  Fail,
50
45
  IsInteger<
51
46
  N,
52
47
  {
53
- $then: IsNumber<
54
- A['length'],
55
- IsNumber.$Branch<{ exact: true }>
56
- > extends infer R
57
- // A: array
58
- ? R extends $Then ? N
59
- // A: tuple
60
- : R extends $Else ? IsNegative<
61
- N,
62
- {
63
- $then: GreaterThan<Abs<N>, A['length']> extends true ? Lower : Subtract<A['length'], Abs<N>>,
64
- $else: GreaterThan<A['length'], N> extends true ? N : Upper
65
- }
66
- >
67
- : never : never,
48
+ $then: IsNumber<A['length'], IsNumber.$Branch<{ exact: true }>> extends infer R
49
+ ? // A: array
50
+ R extends $Then
51
+ ? N
52
+ : // A: tuple
53
+ R extends $Else
54
+ ? IsNegative<
55
+ N,
56
+ {
57
+ $then: GreaterThan<Abs<N>, A['length']> extends true ? Lower : Subtract<A['length'], Abs<N>>
58
+ $else: GreaterThan<A['length'], N> extends true ? N : Upper
59
+ }
60
+ >
61
+ : never
62
+ : never
68
63
  // N: number or float
69
64
  $else: IsAny<
70
65
  N,
71
66
  {
72
- $then: number,
73
- $else: IsNumber<
74
- N,
75
- IsNumber.$Branch<{ exact: true }>
76
- > extends infer R
77
- ? R extends $Then ? N : never : never
67
+ $then: number
68
+ $else: IsNumber<N, IsNumber.$Branch<{ exact: true }>> extends infer R
69
+ ? R extends $Then
70
+ ? N
71
+ : never
72
+ : never
78
73
  }
79
74
  >
80
75
  }
@@ -82,7 +77,6 @@ export namespace IndexAt {
82
77
  >
83
78
  }
84
79
 
85
-
86
80
  // import type { IsAny } from '../any/is_any.js'
87
81
  // import type { IsEqual } from '../equal/equal.js'
88
82
  // import type { Abs } from '../math/abs.js'
@@ -18,7 +18,7 @@ import type { IndexAt } from './array_plus.index_at.js'
18
18
  export type IsIndexOutOfBound<A extends readonly unknown[], N extends number, Then = true, Else = false> = IsNever<
19
19
  IndexAt<A, N, never, never, never>,
20
20
  {
21
- $then: Then,
21
+ $then: Then
22
22
  $else: Else
23
23
  }
24
24
  >
@@ -19,32 +19,28 @@ import type { LooseArrayType } from './loose_array_type.js'
19
19
  * type R = IsReadonly<readonly string[] | number> // boolean
20
20
  * ```
21
21
  */
22
- export type IsReadonly<
23
- A,
24
- $Options extends IsReadonly.Options = IsReadonly.DefaultOptions
25
- > =
26
- TypePlusOptions.Merge<$Options, IsReadonly.DefaultOptions> extends infer O extends IsReadonly.Options ?
27
- IsNever<
28
- A,
29
- {
30
- $then: O['$never'],
31
- $else: A extends any ?
32
- LooseArrayType<A,
33
- Readonly<A> extends A ? O['$then'] : O['$else'],
34
- O['$notArray']
35
- > : never
36
- }
37
- >
22
+ export type IsReadonly<A, $Options extends IsReadonly.Options = IsReadonly.DefaultOptions> = TypePlusOptions.Merge<
23
+ $Options,
24
+ IsReadonly.DefaultOptions
25
+ > extends infer O extends IsReadonly.Options
26
+ ? IsNever<
27
+ A,
28
+ {
29
+ $then: O['$never']
30
+ $else: A extends any
31
+ ? LooseArrayType<A, Readonly<A> extends A ? O['$then'] : O['$else'], O['$notArray']>
32
+ : never
33
+ }
34
+ >
38
35
  : never
39
36
 
40
37
  export namespace IsReadonly {
41
- export interface Options
42
- extends $Never.$Options, $SelectionOptions, TypePlusOptions.NotArray { }
38
+ export interface Options extends $Never.$Options, $SelectionOptions, TypePlusOptions.NotArray {}
43
39
 
44
40
  export interface DefaultOptions {
45
- $then: true,
46
- $else: false,
47
- $never: false,
41
+ $then: true
42
+ $else: false
43
+ $never: false
48
44
  $notArray: false
49
45
  }
50
46
  }
@@ -2,12 +2,8 @@ import type { CanAssign } from '../index.js'
2
2
  import type { CreateTuple } from '../tuple/create_tuple.js'
3
3
  import type { UnionOfValues } from './union_of_values.js'
4
4
 
5
- export type PadStart<
6
- A extends readonly unknown[],
7
- MaxLength extends number,
8
- PadWith = unknown
9
- > = MaxLength extends 0
5
+ export type PadStart<A extends readonly unknown[], MaxLength extends number, PadWith = unknown> = MaxLength extends 0
10
6
  ? A
11
7
  : CanAssign<PadWith, UnionOfValues<A>> extends true
12
- ? A
13
- : PadStart<[...CreateTuple<MaxLength, PadWith>, ...A], MaxLength, PadWith>
8
+ ? A
9
+ : PadStart<[...CreateTuple<MaxLength, PadWith>, ...A], MaxLength, PadWith>