type-plus 8.0.0-beta.6 → 8.0.0-beta.7

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 (885) hide show
  1. package/{esm/type_plus → cjs/$type}/$resolve_options.d.ts +2 -2
  2. package/cjs/$type/$resolve_options.d.ts.map +1 -0
  3. package/cjs/$type/$resolve_options.js.map +1 -0
  4. package/cjs/$type/$type.d.ts +34 -0
  5. package/cjs/$type/$type.d.ts.map +1 -0
  6. package/cjs/{type_plus → $type}/$type.js.map +1 -1
  7. package/{esm/type_plus → cjs/$type}/branch/$branch.d.ts +3 -3
  8. package/cjs/$type/branch/$branch.d.ts.map +1 -0
  9. package/cjs/$type/branch/$branch.js.map +1 -0
  10. package/{esm/type_plus → cjs/$type}/branch/$input_options.d.ts +2 -1
  11. package/cjs/$type/branch/$input_options.d.ts.map +1 -0
  12. package/cjs/$type/branch/$input_options.js.map +1 -0
  13. package/cjs/$type/branch/$resolve_branch.d.ts +22 -0
  14. package/cjs/$type/branch/$resolve_branch.d.ts.map +1 -0
  15. package/cjs/$type/branch/$resolve_branch.js.map +1 -0
  16. package/cjs/$type/branch/$selection.d.ts +161 -0
  17. package/cjs/$type/branch/$selection.d.ts.map +1 -0
  18. package/cjs/$type/branch/$selection.js.map +1 -0
  19. package/cjs/$type/distributive/$distributive.d.ts +27 -0
  20. package/cjs/$type/distributive/$distributive.d.ts.map +1 -0
  21. package/cjs/$type/distributive/$distributive.js.map +1 -0
  22. package/cjs/$type/errors/$error.d.ts +23 -0
  23. package/cjs/$type/errors/$error.d.ts.map +1 -0
  24. package/cjs/{type_plus → $type/errors}/$error.js.map +1 -1
  25. package/{esm/type_plus → cjs/$type/errors}/$infer_error.d.ts +7 -6
  26. package/cjs/$type/errors/$infer_error.d.ts.map +1 -0
  27. package/cjs/$type/errors/$infer_error.js.map +1 -0
  28. package/{esm/type → cjs/$type/errors}/failed.d.ts +4 -0
  29. package/cjs/$type/errors/failed.d.ts.map +1 -0
  30. package/cjs/{type → $type/errors}/failed.js.map +1 -1
  31. package/cjs/$type/exact/$exact.d.ts +27 -0
  32. package/cjs/$type/exact/$exact.d.ts.map +1 -0
  33. package/cjs/{type_plus/branch → $type/exact}/$exact.js.map +1 -1
  34. package/cjs/$type/special/$any.d.ts +36 -0
  35. package/cjs/$type/special/$any.d.ts.map +1 -0
  36. package/cjs/{any/any.js → $type/special/$any.js} +1 -1
  37. package/cjs/$type/special/$any.js.map +1 -0
  38. package/cjs/$type/special/$never.d.ts +52 -0
  39. package/cjs/$type/special/$never.d.ts.map +1 -0
  40. package/cjs/$type/special/$never.js +3 -0
  41. package/cjs/$type/special/$never.js.map +1 -0
  42. package/cjs/$type/special/$special.d.ts +31 -0
  43. package/cjs/$type/special/$special.d.ts.map +1 -0
  44. package/cjs/$type/special/$special.js +3 -0
  45. package/cjs/$type/special/$special.js.map +1 -0
  46. package/cjs/$type/special/$unknown.d.ts +37 -0
  47. package/cjs/$type/special/$unknown.d.ts.map +1 -0
  48. package/cjs/$type/special/$unknown.js +3 -0
  49. package/cjs/$type/special/$unknown.js.map +1 -0
  50. package/cjs/$type/special/$void.d.ts +46 -0
  51. package/cjs/$type/special/$void.d.ts.map +1 -0
  52. package/cjs/{never/never.js → $type/special/$void.js} +1 -1
  53. package/cjs/$type/special/$void.js.map +1 -0
  54. package/cjs/$type/utils/$merge_options.d.ts +14 -0
  55. package/cjs/$type/utils/$merge_options.d.ts.map +1 -0
  56. package/cjs/$type/utils/$merge_options.js.map +1 -0
  57. package/cjs/any/is_any.d.ts +23 -20
  58. package/cjs/any/is_any.d.ts.map +1 -1
  59. package/cjs/any/is_not_any.d.ts +15 -14
  60. package/cjs/any/is_not_any.d.ts.map +1 -1
  61. package/cjs/array/array.some.d.ts +1 -1
  62. package/cjs/array/array.some.d.ts.map +1 -1
  63. package/cjs/array/array_plus.common_prop_keys.d.ts +1 -1
  64. package/cjs/array/array_plus.common_prop_keys.d.ts.map +1 -1
  65. package/cjs/array/array_plus.filter.d.ts +2 -2
  66. package/cjs/array/array_plus.filter.d.ts.map +1 -1
  67. package/cjs/array/array_plus.find.d.ts +2 -2
  68. package/cjs/array/array_plus.find.d.ts.map +1 -1
  69. package/cjs/array/array_plus.index_at.d.ts +16 -10
  70. package/cjs/array/array_plus.index_at.d.ts.map +1 -1
  71. package/cjs/array/array_plus.index_at.js.map +1 -1
  72. package/cjs/array/array_plus.is_readonly.d.ts +3 -3
  73. package/cjs/array/array_plus.is_readonly.d.ts.map +1 -1
  74. package/cjs/array/head.d.ts +3 -3
  75. package/cjs/array/head.d.ts.map +1 -1
  76. package/cjs/array/is_array.d.ts +23 -19
  77. package/cjs/array/is_array.d.ts.map +1 -1
  78. package/cjs/array/is_not_array.d.ts +23 -19
  79. package/cjs/array/is_not_array.d.ts.map +1 -1
  80. package/cjs/array/last.d.ts +5 -3
  81. package/cjs/array/last.d.ts.map +1 -1
  82. package/cjs/assertion/assert_type.d.ts.map +1 -1
  83. package/cjs/bigint/is_bigint.d.ts +20 -16
  84. package/cjs/bigint/is_bigint.d.ts.map +1 -1
  85. package/cjs/bigint/is_bigint_literal.d.ts +18 -13
  86. package/cjs/bigint/is_bigint_literal.d.ts.map +1 -1
  87. package/cjs/bigint/is_not_bigint.d.ts +20 -16
  88. package/cjs/bigint/is_not_bigint.d.ts.map +1 -1
  89. package/cjs/bigint/is_not_bigint_literal.d.ts +19 -13
  90. package/cjs/bigint/is_not_bigint_literal.d.ts.map +1 -1
  91. package/cjs/binary/_binary.d.ts +2 -1
  92. package/cjs/binary/_binary.d.ts.map +1 -1
  93. package/cjs/binary/_binary.js +3 -0
  94. package/cjs/binary/_binary.js.map +1 -1
  95. package/cjs/binary/bit.d.ts +26 -0
  96. package/cjs/binary/bit.d.ts.map +1 -0
  97. package/cjs/binary/{Bit.js → bit.js} +1 -1
  98. package/cjs/binary/bit.js.map +1 -0
  99. package/cjs/boolean/is_boolean.d.ts +20 -16
  100. package/cjs/boolean/is_boolean.d.ts.map +1 -1
  101. package/cjs/boolean/is_false.d.ts +15 -9
  102. package/cjs/boolean/is_false.d.ts.map +1 -1
  103. package/cjs/boolean/is_not_boolean.d.ts +21 -16
  104. package/cjs/boolean/is_not_boolean.d.ts.map +1 -1
  105. package/cjs/boolean/is_not_false.d.ts +16 -9
  106. package/cjs/boolean/is_not_false.d.ts.map +1 -1
  107. package/cjs/boolean/is_not_true.d.ts +15 -9
  108. package/cjs/boolean/is_not_true.d.ts.map +1 -1
  109. package/cjs/boolean/is_true.d.ts +15 -9
  110. package/cjs/boolean/is_true.d.ts.map +1 -1
  111. package/cjs/equal/equal.d.ts +189 -74
  112. package/cjs/equal/equal.d.ts.map +1 -1
  113. package/cjs/equal/identity_equal.d.ts +5 -1
  114. package/cjs/equal/identity_equal.d.ts.map +1 -1
  115. package/cjs/equal/is_equal.d.ts +102 -0
  116. package/cjs/equal/is_equal.d.ts.map +1 -0
  117. package/cjs/equal/is_equal.js +3 -0
  118. package/cjs/equal/is_equal.js.map +1 -0
  119. package/cjs/function/is_function.d.ts +28 -5
  120. package/cjs/function/is_function.d.ts.map +1 -1
  121. package/cjs/function/is_not_function.d.ts +1 -1
  122. package/cjs/function/is_not_function.d.ts.map +1 -1
  123. package/cjs/function/is_not_strict_function.d.ts +15 -13
  124. package/cjs/function/is_not_strict_function.d.ts.map +1 -1
  125. package/cjs/function/is_strict_function.d.ts +22 -17
  126. package/cjs/function/is_strict_function.d.ts.map +1 -1
  127. package/cjs/functional/Maybe.d.ts +1 -1
  128. package/cjs/functional/Maybe.d.ts.map +1 -1
  129. package/cjs/functional/compose.d.ts.map +1 -1
  130. package/cjs/functional/compose.js +1 -3
  131. package/cjs/functional/compose.js.map +1 -1
  132. package/cjs/index.d.ts +20 -21
  133. package/cjs/index.d.ts.map +1 -1
  134. package/cjs/index.js.map +1 -1
  135. package/cjs/logical/logical.d.ts +35 -0
  136. package/cjs/logical/logical.d.ts.map +1 -0
  137. package/cjs/{predicates → logical}/logical.js.map +1 -1
  138. package/cjs/math/abs.d.ts +1 -1
  139. package/cjs/math/abs.d.ts.map +1 -1
  140. package/cjs/mix_types/box.d.ts +2 -2
  141. package/cjs/mix_types/box.d.ts.map +1 -1
  142. package/cjs/mix_types/is_any_or_never.d.ts +2 -3
  143. package/cjs/mix_types/is_any_or_never.d.ts.map +1 -1
  144. package/cjs/mix_types/merge.d.ts +18 -6
  145. package/cjs/mix_types/merge.d.ts.map +1 -1
  146. package/cjs/mix_types/merge.js.map +1 -1
  147. package/cjs/never/is_never.d.ts +16 -15
  148. package/cjs/never/is_never.d.ts.map +1 -1
  149. package/cjs/never/is_not_never.d.ts +16 -15
  150. package/cjs/never/is_not_never.d.ts.map +1 -1
  151. package/cjs/null/is_not_null.d.ts +15 -9
  152. package/cjs/null/is_not_null.d.ts.map +1 -1
  153. package/cjs/null/is_null.d.ts +15 -9
  154. package/cjs/null/is_null.d.ts.map +1 -1
  155. package/cjs/number/is_not_number.d.ts +20 -16
  156. package/cjs/number/is_not_number.d.ts.map +1 -1
  157. package/cjs/number/is_not_number_literal.d.ts +18 -13
  158. package/cjs/number/is_not_number_literal.d.ts.map +1 -1
  159. package/cjs/number/is_number.d.ts +20 -16
  160. package/cjs/number/is_number.d.ts.map +1 -1
  161. package/cjs/number/is_number_literal.d.ts +18 -13
  162. package/cjs/number/is_number_literal.d.ts.map +1 -1
  163. package/cjs/numeric/is_integer.d.ts +18 -12
  164. package/cjs/numeric/is_integer.d.ts.map +1 -1
  165. package/cjs/numeric/is_negative.d.ts +19 -13
  166. package/cjs/numeric/is_negative.d.ts.map +1 -1
  167. package/cjs/numeric/is_not_integer.d.ts +13 -7
  168. package/cjs/numeric/is_not_integer.d.ts.map +1 -1
  169. package/cjs/numeric/is_not_negative.d.ts +15 -9
  170. package/cjs/numeric/is_not_negative.d.ts.map +1 -1
  171. package/cjs/numeric/is_not_numeric.d.ts +1 -1
  172. package/cjs/numeric/is_not_numeric.d.ts.map +1 -1
  173. package/cjs/numeric/is_not_positive.d.ts +13 -7
  174. package/cjs/numeric/is_not_positive.d.ts.map +1 -1
  175. package/cjs/numeric/is_numeric.d.ts +28 -5
  176. package/cjs/numeric/is_numeric.d.ts.map +1 -1
  177. package/cjs/numeric/is_positive.d.ts +19 -13
  178. package/cjs/numeric/is_positive.d.ts.map +1 -1
  179. package/cjs/object/ANotB.d.ts +2 -2
  180. package/cjs/object/ANotB.d.ts.map +1 -1
  181. package/cjs/object/KeysWithDiffType.d.ts +1 -1
  182. package/cjs/object/KeysWithDiffType.d.ts.map +1 -1
  183. package/cjs/object/adjust_exact_optional_props.d.ts +1 -1
  184. package/cjs/object/adjust_exact_optional_props.d.ts.map +1 -1
  185. package/cjs/object/is_not_object.d.ts +23 -19
  186. package/cjs/object/is_not_object.d.ts.map +1 -1
  187. package/cjs/object/is_object.d.ts +23 -19
  188. package/cjs/object/is_object.d.ts.map +1 -1
  189. package/cjs/object/left_join.d.ts +2 -2
  190. package/cjs/object/left_join.d.ts.map +1 -1
  191. package/cjs/object/mapProperties.d.ts +1 -1
  192. package/cjs/object/mapProperties.d.ts.map +1 -1
  193. package/cjs/object/mapProperties.js.map +1 -1
  194. package/cjs/object/merge.d.ts +55 -49
  195. package/cjs/object/merge.d.ts.map +1 -1
  196. package/cjs/object/optional_key.d.ts +1 -1
  197. package/cjs/object/optional_key.d.ts.map +1 -1
  198. package/cjs/object/record.d.ts.map +1 -1
  199. package/cjs/object/split.d.ts +1 -1
  200. package/cjs/object/split.d.ts.map +1 -1
  201. package/cjs/predicates/CanAssign.d.ts +1 -1
  202. package/cjs/predicates/CanAssign.d.ts.map +1 -1
  203. package/cjs/predicates/assignable.d.ts +23 -25
  204. package/cjs/predicates/assignable.d.ts.map +1 -1
  205. package/cjs/predicates/index.d.ts +1 -1
  206. package/cjs/predicates/index.d.ts.map +1 -1
  207. package/cjs/predicates/not_assignable.d.ts +24 -26
  208. package/cjs/predicates/not_assignable.d.ts.map +1 -1
  209. package/cjs/string/is_not_string.d.ts +20 -17
  210. package/cjs/string/is_not_string.d.ts.map +1 -1
  211. package/cjs/string/is_not_string_literal.d.ts +25 -22
  212. package/cjs/string/is_not_string_literal.d.ts.map +1 -1
  213. package/cjs/string/is_not_template_literal.d.ts +18 -13
  214. package/cjs/string/is_not_template_literal.d.ts.map +1 -1
  215. package/cjs/string/is_string.d.ts +20 -16
  216. package/cjs/string/is_string.d.ts.map +1 -1
  217. package/cjs/string/is_string_literal.d.ts +25 -22
  218. package/cjs/string/is_string_literal.d.ts.map +1 -1
  219. package/cjs/string/is_template_literal.d.ts +18 -13
  220. package/cjs/string/is_template_literal.d.ts.map +1 -1
  221. package/cjs/symbol/is_not_symbol.d.ts +15 -9
  222. package/cjs/symbol/is_not_symbol.d.ts.map +1 -1
  223. package/cjs/symbol/is_symbol.d.ts +15 -9
  224. package/cjs/symbol/is_symbol.d.ts.map +1 -1
  225. package/cjs/testing/stub.d.ts +0 -1
  226. package/cjs/testing/stub.d.ts.map +1 -1
  227. package/cjs/testing/stub.js.map +1 -1
  228. package/cjs/testing/test_type.d.ts +1 -1
  229. package/cjs/testing/test_type.d.ts.map +1 -1
  230. package/cjs/tuple/is_not_tuple.d.ts +18 -13
  231. package/cjs/tuple/is_not_tuple.d.ts.map +1 -1
  232. package/cjs/tuple/is_tuple.d.ts +18 -13
  233. package/cjs/tuple/is_tuple.d.ts.map +1 -1
  234. package/cjs/tuple/tuple_plus.common_prop_keys.d.ts +1 -1
  235. package/cjs/tuple/tuple_plus.common_prop_keys.d.ts.map +1 -1
  236. package/cjs/tuple/tuple_plus.drop_match.d.ts +1 -1
  237. package/cjs/tuple/tuple_plus.drop_match.d.ts.map +1 -1
  238. package/cjs/tuple/tuple_plus.find.d.ts +1 -1
  239. package/cjs/tuple/tuple_plus.find.d.ts.map +1 -1
  240. package/cjs/type-guard/is_type.d.ts +1 -1
  241. package/cjs/type-guard/is_type.d.ts.map +1 -1
  242. package/cjs/undefined/has_undefined.d.ts +4 -5
  243. package/cjs/undefined/has_undefined.d.ts.map +1 -1
  244. package/cjs/undefined/is_not_undefined.d.ts +15 -9
  245. package/cjs/undefined/is_not_undefined.d.ts.map +1 -1
  246. package/cjs/undefined/is_undefined.d.ts +15 -9
  247. package/cjs/undefined/is_undefined.d.ts.map +1 -1
  248. package/cjs/unknown/is_not_unknown.d.ts +15 -14
  249. package/cjs/unknown/is_not_unknown.d.ts.map +1 -1
  250. package/cjs/unknown/is_unknown.d.ts +15 -14
  251. package/cjs/unknown/is_unknown.d.ts.map +1 -1
  252. package/cjs/unknown/not_unknown_or.d.ts +1 -1
  253. package/cjs/unknown/not_unknown_or.d.ts.map +1 -1
  254. package/cjs/utils/Widen.d.ts +9 -2
  255. package/cjs/utils/Widen.d.ts.map +1 -1
  256. package/cjs/utils/excessive.d.ts +12 -0
  257. package/cjs/utils/excessive.d.ts.map +1 -0
  258. package/cjs/utils/excessive.js +3 -0
  259. package/cjs/utils/excessive.js.map +1 -0
  260. package/cjs/{type → utils}/no_infer.d.ts +9 -7
  261. package/cjs/utils/no_infer.d.ts.map +1 -0
  262. package/cjs/{type → utils}/no_infer.js.map +1 -1
  263. package/cjs/void/is_not_void.d.ts +17 -10
  264. package/cjs/void/is_not_void.d.ts.map +1 -1
  265. package/cjs/void/is_void.d.ts +17 -10
  266. package/cjs/void/is_void.d.ts.map +1 -1
  267. package/{cjs/type_plus → esm/$type}/$resolve_options.d.ts +2 -2
  268. package/esm/$type/$resolve_options.d.ts.map +1 -0
  269. package/esm/$type/$resolve_options.js.map +1 -0
  270. package/esm/$type/$type.d.ts +34 -0
  271. package/esm/$type/$type.d.ts.map +1 -0
  272. package/esm/{type_plus → $type}/$type.js.map +1 -1
  273. package/{cjs/type_plus → esm/$type}/branch/$branch.d.ts +3 -3
  274. package/esm/$type/branch/$branch.d.ts.map +1 -0
  275. package/esm/$type/branch/$branch.js.map +1 -0
  276. package/{cjs/type_plus → esm/$type}/branch/$input_options.d.ts +2 -1
  277. package/esm/$type/branch/$input_options.d.ts.map +1 -0
  278. package/esm/$type/branch/$input_options.js.map +1 -0
  279. package/esm/$type/branch/$resolve_branch.d.ts +22 -0
  280. package/esm/$type/branch/$resolve_branch.d.ts.map +1 -0
  281. package/esm/$type/branch/$resolve_branch.js.map +1 -0
  282. package/esm/$type/branch/$selection.d.ts +161 -0
  283. package/esm/$type/branch/$selection.d.ts.map +1 -0
  284. package/esm/$type/branch/$selection.js.map +1 -0
  285. package/esm/$type/distributive/$distributive.d.ts +27 -0
  286. package/esm/$type/distributive/$distributive.d.ts.map +1 -0
  287. package/esm/$type/distributive/$distributive.js.map +1 -0
  288. package/esm/$type/errors/$error.d.ts +23 -0
  289. package/esm/$type/errors/$error.d.ts.map +1 -0
  290. package/esm/{type_plus → $type/errors}/$error.js.map +1 -1
  291. package/{cjs/type_plus → esm/$type/errors}/$infer_error.d.ts +7 -6
  292. package/esm/$type/errors/$infer_error.d.ts.map +1 -0
  293. package/esm/$type/errors/$infer_error.js.map +1 -0
  294. package/{cjs/type → esm/$type/errors}/failed.d.ts +4 -0
  295. package/esm/$type/errors/failed.d.ts.map +1 -0
  296. package/esm/{type → $type/errors}/failed.js.map +1 -1
  297. package/esm/$type/exact/$exact.d.ts +27 -0
  298. package/esm/$type/exact/$exact.d.ts.map +1 -0
  299. package/esm/{type_plus/branch → $type/exact}/$exact.js.map +1 -1
  300. package/esm/$type/special/$any.d.ts +36 -0
  301. package/esm/$type/special/$any.d.ts.map +1 -0
  302. package/esm/$type/special/$any.js +2 -0
  303. package/esm/$type/special/$any.js.map +1 -0
  304. package/esm/$type/special/$never.d.ts +52 -0
  305. package/esm/$type/special/$never.d.ts.map +1 -0
  306. package/esm/$type/special/$never.js +2 -0
  307. package/esm/$type/special/$never.js.map +1 -0
  308. package/esm/$type/special/$special.d.ts +31 -0
  309. package/esm/$type/special/$special.d.ts.map +1 -0
  310. package/esm/$type/special/$special.js +2 -0
  311. package/esm/$type/special/$special.js.map +1 -0
  312. package/esm/$type/special/$unknown.d.ts +37 -0
  313. package/esm/$type/special/$unknown.d.ts.map +1 -0
  314. package/esm/$type/special/$unknown.js +2 -0
  315. package/esm/$type/special/$unknown.js.map +1 -0
  316. package/esm/$type/special/$void.d.ts +46 -0
  317. package/esm/$type/special/$void.d.ts.map +1 -0
  318. package/esm/$type/special/$void.js +2 -0
  319. package/esm/$type/special/$void.js.map +1 -0
  320. package/esm/$type/utils/$merge_options.d.ts +14 -0
  321. package/esm/$type/utils/$merge_options.d.ts.map +1 -0
  322. package/esm/$type/utils/$merge_options.js.map +1 -0
  323. package/esm/any/is_any.d.ts +23 -20
  324. package/esm/any/is_any.d.ts.map +1 -1
  325. package/esm/any/is_not_any.d.ts +15 -14
  326. package/esm/any/is_not_any.d.ts.map +1 -1
  327. package/esm/array/array.some.d.ts +1 -1
  328. package/esm/array/array.some.d.ts.map +1 -1
  329. package/esm/array/array_plus.common_prop_keys.d.ts +1 -1
  330. package/esm/array/array_plus.common_prop_keys.d.ts.map +1 -1
  331. package/esm/array/array_plus.filter.d.ts +2 -2
  332. package/esm/array/array_plus.filter.d.ts.map +1 -1
  333. package/esm/array/array_plus.find.d.ts +2 -2
  334. package/esm/array/array_plus.find.d.ts.map +1 -1
  335. package/esm/array/array_plus.index_at.d.ts +16 -10
  336. package/esm/array/array_plus.index_at.d.ts.map +1 -1
  337. package/esm/array/array_plus.index_at.js.map +1 -1
  338. package/esm/array/array_plus.is_readonly.d.ts +3 -3
  339. package/esm/array/array_plus.is_readonly.d.ts.map +1 -1
  340. package/esm/array/head.d.ts +3 -3
  341. package/esm/array/head.d.ts.map +1 -1
  342. package/esm/array/is_array.d.ts +23 -19
  343. package/esm/array/is_array.d.ts.map +1 -1
  344. package/esm/array/is_not_array.d.ts +23 -19
  345. package/esm/array/is_not_array.d.ts.map +1 -1
  346. package/esm/array/last.d.ts +5 -3
  347. package/esm/array/last.d.ts.map +1 -1
  348. package/esm/assertion/assert_type.d.ts.map +1 -1
  349. package/esm/assertion/assert_type.js.map +1 -1
  350. package/esm/bigint/is_bigint.d.ts +20 -16
  351. package/esm/bigint/is_bigint.d.ts.map +1 -1
  352. package/esm/bigint/is_bigint_literal.d.ts +18 -13
  353. package/esm/bigint/is_bigint_literal.d.ts.map +1 -1
  354. package/esm/bigint/is_not_bigint.d.ts +20 -16
  355. package/esm/bigint/is_not_bigint.d.ts.map +1 -1
  356. package/esm/bigint/is_not_bigint_literal.d.ts +19 -13
  357. package/esm/bigint/is_not_bigint_literal.d.ts.map +1 -1
  358. package/esm/binary/_binary.d.ts +2 -1
  359. package/esm/binary/_binary.d.ts.map +1 -1
  360. package/esm/binary/_binary.js +2 -1
  361. package/esm/binary/_binary.js.map +1 -1
  362. package/esm/binary/bit.d.ts +26 -0
  363. package/esm/binary/bit.d.ts.map +1 -0
  364. package/esm/binary/bit.js +2 -0
  365. package/esm/binary/bit.js.map +1 -0
  366. package/esm/boolean/is_boolean.d.ts +20 -16
  367. package/esm/boolean/is_boolean.d.ts.map +1 -1
  368. package/esm/boolean/is_false.d.ts +15 -9
  369. package/esm/boolean/is_false.d.ts.map +1 -1
  370. package/esm/boolean/is_not_boolean.d.ts +21 -16
  371. package/esm/boolean/is_not_boolean.d.ts.map +1 -1
  372. package/esm/boolean/is_not_false.d.ts +16 -9
  373. package/esm/boolean/is_not_false.d.ts.map +1 -1
  374. package/esm/boolean/is_not_true.d.ts +15 -9
  375. package/esm/boolean/is_not_true.d.ts.map +1 -1
  376. package/esm/boolean/is_true.d.ts +15 -9
  377. package/esm/boolean/is_true.d.ts.map +1 -1
  378. package/esm/equal/equal.d.ts +189 -74
  379. package/esm/equal/equal.d.ts.map +1 -1
  380. package/esm/equal/identity_equal.d.ts +5 -1
  381. package/esm/equal/identity_equal.d.ts.map +1 -1
  382. package/esm/equal/is_equal.d.ts +102 -0
  383. package/esm/equal/is_equal.d.ts.map +1 -0
  384. package/esm/equal/is_equal.js +2 -0
  385. package/esm/equal/is_equal.js.map +1 -0
  386. package/esm/function/is_function.d.ts +28 -5
  387. package/esm/function/is_function.d.ts.map +1 -1
  388. package/esm/function/is_not_function.d.ts +1 -1
  389. package/esm/function/is_not_function.d.ts.map +1 -1
  390. package/esm/function/is_not_strict_function.d.ts +15 -13
  391. package/esm/function/is_not_strict_function.d.ts.map +1 -1
  392. package/esm/function/is_strict_function.d.ts +22 -17
  393. package/esm/function/is_strict_function.d.ts.map +1 -1
  394. package/esm/functional/Maybe.d.ts +1 -1
  395. package/esm/functional/Maybe.d.ts.map +1 -1
  396. package/esm/functional/compose.d.ts.map +1 -1
  397. package/esm/functional/compose.js +1 -3
  398. package/esm/functional/compose.js.map +1 -1
  399. package/esm/index.d.ts +20 -21
  400. package/esm/index.d.ts.map +1 -1
  401. package/esm/index.js.map +1 -1
  402. package/esm/logical/logical.d.ts +35 -0
  403. package/esm/logical/logical.d.ts.map +1 -0
  404. package/esm/{predicates → logical}/logical.js.map +1 -1
  405. package/esm/math/abs.d.ts +1 -1
  406. package/esm/math/abs.d.ts.map +1 -1
  407. package/esm/mix_types/box.d.ts +2 -2
  408. package/esm/mix_types/box.d.ts.map +1 -1
  409. package/esm/mix_types/is_any_or_never.d.ts +2 -3
  410. package/esm/mix_types/is_any_or_never.d.ts.map +1 -1
  411. package/esm/mix_types/merge.d.ts +18 -6
  412. package/esm/mix_types/merge.d.ts.map +1 -1
  413. package/esm/mix_types/merge.js.map +1 -1
  414. package/esm/never/is_never.d.ts +16 -15
  415. package/esm/never/is_never.d.ts.map +1 -1
  416. package/esm/never/is_not_never.d.ts +16 -15
  417. package/esm/never/is_not_never.d.ts.map +1 -1
  418. package/esm/null/is_not_null.d.ts +15 -9
  419. package/esm/null/is_not_null.d.ts.map +1 -1
  420. package/esm/null/is_null.d.ts +15 -9
  421. package/esm/null/is_null.d.ts.map +1 -1
  422. package/esm/number/is_not_number.d.ts +20 -16
  423. package/esm/number/is_not_number.d.ts.map +1 -1
  424. package/esm/number/is_not_number_literal.d.ts +18 -13
  425. package/esm/number/is_not_number_literal.d.ts.map +1 -1
  426. package/esm/number/is_number.d.ts +20 -16
  427. package/esm/number/is_number.d.ts.map +1 -1
  428. package/esm/number/is_number_literal.d.ts +18 -13
  429. package/esm/number/is_number_literal.d.ts.map +1 -1
  430. package/esm/numeric/is_integer.d.ts +18 -12
  431. package/esm/numeric/is_integer.d.ts.map +1 -1
  432. package/esm/numeric/is_negative.d.ts +19 -13
  433. package/esm/numeric/is_negative.d.ts.map +1 -1
  434. package/esm/numeric/is_not_integer.d.ts +13 -7
  435. package/esm/numeric/is_not_integer.d.ts.map +1 -1
  436. package/esm/numeric/is_not_negative.d.ts +15 -9
  437. package/esm/numeric/is_not_negative.d.ts.map +1 -1
  438. package/esm/numeric/is_not_numeric.d.ts +1 -1
  439. package/esm/numeric/is_not_numeric.d.ts.map +1 -1
  440. package/esm/numeric/is_not_positive.d.ts +13 -7
  441. package/esm/numeric/is_not_positive.d.ts.map +1 -1
  442. package/esm/numeric/is_numeric.d.ts +28 -5
  443. package/esm/numeric/is_numeric.d.ts.map +1 -1
  444. package/esm/numeric/is_positive.d.ts +19 -13
  445. package/esm/numeric/is_positive.d.ts.map +1 -1
  446. package/esm/object/ANotB.d.ts +2 -2
  447. package/esm/object/ANotB.d.ts.map +1 -1
  448. package/esm/object/KeysWithDiffType.d.ts +1 -1
  449. package/esm/object/KeysWithDiffType.d.ts.map +1 -1
  450. package/esm/object/adjust_exact_optional_props.d.ts +1 -1
  451. package/esm/object/adjust_exact_optional_props.d.ts.map +1 -1
  452. package/esm/object/is_not_object.d.ts +23 -19
  453. package/esm/object/is_not_object.d.ts.map +1 -1
  454. package/esm/object/is_object.d.ts +23 -19
  455. package/esm/object/is_object.d.ts.map +1 -1
  456. package/esm/object/left_join.d.ts +2 -2
  457. package/esm/object/left_join.d.ts.map +1 -1
  458. package/esm/object/mapProperties.d.ts +1 -1
  459. package/esm/object/mapProperties.d.ts.map +1 -1
  460. package/esm/object/mapProperties.js.map +1 -1
  461. package/esm/object/merge.d.ts +55 -49
  462. package/esm/object/merge.d.ts.map +1 -1
  463. package/esm/object/optional_key.d.ts +1 -1
  464. package/esm/object/optional_key.d.ts.map +1 -1
  465. package/esm/object/record.d.ts.map +1 -1
  466. package/esm/object/split.d.ts +1 -1
  467. package/esm/object/split.d.ts.map +1 -1
  468. package/esm/predicates/CanAssign.d.ts +1 -1
  469. package/esm/predicates/CanAssign.d.ts.map +1 -1
  470. package/esm/predicates/assignable.d.ts +23 -25
  471. package/esm/predicates/assignable.d.ts.map +1 -1
  472. package/esm/predicates/index.d.ts +1 -1
  473. package/esm/predicates/index.d.ts.map +1 -1
  474. package/esm/predicates/not_assignable.d.ts +24 -26
  475. package/esm/predicates/not_assignable.d.ts.map +1 -1
  476. package/esm/string/is_not_string.d.ts +20 -17
  477. package/esm/string/is_not_string.d.ts.map +1 -1
  478. package/esm/string/is_not_string_literal.d.ts +25 -22
  479. package/esm/string/is_not_string_literal.d.ts.map +1 -1
  480. package/esm/string/is_not_template_literal.d.ts +18 -13
  481. package/esm/string/is_not_template_literal.d.ts.map +1 -1
  482. package/esm/string/is_string.d.ts +20 -16
  483. package/esm/string/is_string.d.ts.map +1 -1
  484. package/esm/string/is_string_literal.d.ts +25 -22
  485. package/esm/string/is_string_literal.d.ts.map +1 -1
  486. package/esm/string/is_template_literal.d.ts +18 -13
  487. package/esm/string/is_template_literal.d.ts.map +1 -1
  488. package/esm/symbol/is_not_symbol.d.ts +15 -9
  489. package/esm/symbol/is_not_symbol.d.ts.map +1 -1
  490. package/esm/symbol/is_symbol.d.ts +15 -9
  491. package/esm/symbol/is_symbol.d.ts.map +1 -1
  492. package/esm/testing/stub.d.ts +0 -1
  493. package/esm/testing/stub.d.ts.map +1 -1
  494. package/esm/testing/stub.js.map +1 -1
  495. package/esm/testing/test_type.d.ts +1 -1
  496. package/esm/testing/test_type.d.ts.map +1 -1
  497. package/esm/tuple/is_not_tuple.d.ts +18 -13
  498. package/esm/tuple/is_not_tuple.d.ts.map +1 -1
  499. package/esm/tuple/is_tuple.d.ts +18 -13
  500. package/esm/tuple/is_tuple.d.ts.map +1 -1
  501. package/esm/tuple/tuple_plus.common_prop_keys.d.ts +1 -1
  502. package/esm/tuple/tuple_plus.common_prop_keys.d.ts.map +1 -1
  503. package/esm/tuple/tuple_plus.drop_match.d.ts +1 -1
  504. package/esm/tuple/tuple_plus.drop_match.d.ts.map +1 -1
  505. package/esm/tuple/tuple_plus.find.d.ts +1 -1
  506. package/esm/tuple/tuple_plus.find.d.ts.map +1 -1
  507. package/esm/type-guard/is_type.d.ts +1 -1
  508. package/esm/type-guard/is_type.d.ts.map +1 -1
  509. package/esm/undefined/has_undefined.d.ts +4 -5
  510. package/esm/undefined/has_undefined.d.ts.map +1 -1
  511. package/esm/undefined/is_not_undefined.d.ts +15 -9
  512. package/esm/undefined/is_not_undefined.d.ts.map +1 -1
  513. package/esm/undefined/is_undefined.d.ts +15 -9
  514. package/esm/undefined/is_undefined.d.ts.map +1 -1
  515. package/esm/unknown/is_not_unknown.d.ts +15 -14
  516. package/esm/unknown/is_not_unknown.d.ts.map +1 -1
  517. package/esm/unknown/is_unknown.d.ts +15 -14
  518. package/esm/unknown/is_unknown.d.ts.map +1 -1
  519. package/esm/unknown/not_unknown_or.d.ts +1 -1
  520. package/esm/unknown/not_unknown_or.d.ts.map +1 -1
  521. package/esm/utils/Widen.d.ts +9 -2
  522. package/esm/utils/Widen.d.ts.map +1 -1
  523. package/esm/utils/excessive.d.ts +12 -0
  524. package/esm/utils/excessive.d.ts.map +1 -0
  525. package/esm/utils/excessive.js +2 -0
  526. package/esm/utils/excessive.js.map +1 -0
  527. package/esm/{type → utils}/no_infer.d.ts +9 -7
  528. package/esm/utils/no_infer.d.ts.map +1 -0
  529. package/esm/{type → utils}/no_infer.js.map +1 -1
  530. package/esm/void/is_not_void.d.ts +17 -10
  531. package/esm/void/is_not_void.d.ts.map +1 -1
  532. package/esm/void/is_void.d.ts +17 -10
  533. package/esm/void/is_void.d.ts.map +1 -1
  534. package/package.json +5 -5
  535. package/readme.md +74 -74
  536. package/src/{type_plus → $type}/$resolve_options.ts +4 -2
  537. package/src/$type/$type.ts +37 -0
  538. package/src/{type_plus → $type}/branch/$branch.ts +4 -2
  539. package/src/{type_plus → $type}/branch/$input_options.ts +2 -1
  540. package/src/$type/branch/$resolve_branch.ts +46 -0
  541. package/src/$type/branch/$selection.ts +170 -0
  542. package/src/$type/branch/readme.md +78 -0
  543. package/src/$type/distributive/$distributive.ts +34 -0
  544. package/src/$type/distributive/readme.md +26 -0
  545. package/src/$type/errors/$error.ts +20 -0
  546. package/src/{type_plus → $type/errors}/$infer_error.ts +7 -8
  547. package/src/{type → $type/errors}/failed.ts +4 -0
  548. package/src/$type/errors/readme.md +60 -0
  549. package/src/$type/exact/$exact.ts +34 -0
  550. package/src/$type/exact/readme.md +27 -0
  551. package/src/$type/readme.md +23 -0
  552. package/src/$type/special/$any.ts +34 -0
  553. package/src/$type/special/$never.ts +51 -0
  554. package/src/$type/special/$special.ts +40 -0
  555. package/src/$type/special/$unknown.ts +35 -0
  556. package/src/$type/special/$void.ts +44 -0
  557. package/src/$type/special/readme.md +51 -0
  558. package/src/$type/utils/$merge_options.ts +11 -0
  559. package/src/$type/utils/readme.md +10 -0
  560. package/src/any/is_any.ts +23 -20
  561. package/src/any/is_not_any.ts +15 -14
  562. package/src/any/readme.md +30 -19
  563. package/src/array/array.some.ts +1 -1
  564. package/src/array/array_plus.common_prop_keys.ts +1 -1
  565. package/src/array/array_plus.filter.ts +2 -2
  566. package/src/array/array_plus.find.ts +2 -2
  567. package/src/array/array_plus.index_at.ts +23 -29
  568. package/src/array/array_plus.is_readonly.ts +3 -3
  569. package/src/array/head.ts +3 -3
  570. package/src/array/is_array.ts +30 -23
  571. package/src/array/is_not_array.ts +30 -23
  572. package/src/array/last.ts +6 -14
  573. package/src/array/readme.md +3 -3
  574. package/src/assertion/assert_type.ts +1 -1
  575. package/src/bigint/is_bigint.ts +28 -21
  576. package/src/bigint/is_bigint_literal.ts +25 -17
  577. package/src/bigint/is_not_bigint.ts +27 -20
  578. package/src/bigint/is_not_bigint_literal.ts +26 -17
  579. package/src/bigint/readme.md +25 -8
  580. package/src/binary/_binary.ts +2 -1
  581. package/src/binary/bit.ts +29 -0
  582. package/src/binary/readme.md +11 -0
  583. package/src/boolean/is_boolean.ts +30 -23
  584. package/src/boolean/is_false.ts +18 -9
  585. package/src/boolean/is_not_boolean.ts +30 -22
  586. package/src/boolean/is_not_false.ts +19 -9
  587. package/src/boolean/is_not_true.ts +18 -9
  588. package/src/boolean/is_true.ts +18 -9
  589. package/src/equal/equal.ts +307 -89
  590. package/src/equal/identity_equal.ts +3 -7
  591. package/src/equal/is_equal.ts +150 -0
  592. package/src/equal/readme.md +20 -1
  593. package/src/function/is_function.ts +37 -5
  594. package/src/function/is_not_function.ts +1 -1
  595. package/src/function/is_not_strict_function.ts +16 -14
  596. package/src/function/is_strict_function.ts +29 -21
  597. package/src/functional/Maybe.ts +1 -1
  598. package/src/functional/compose.ts +1 -3
  599. package/src/index.ts +20 -21
  600. package/src/logical/logical.ts +52 -0
  601. package/src/logical/readme.md +53 -0
  602. package/src/math/abs.ts +1 -1
  603. package/src/mix_types/box.ts +2 -2
  604. package/src/mix_types/is_any_or_never.ts +2 -3
  605. package/src/mix_types/merge.ts +22 -17
  606. package/src/never/is_never.ts +16 -15
  607. package/src/never/is_not_never.ts +16 -15
  608. package/src/null/is_not_null.ts +18 -9
  609. package/src/null/is_null.ts +18 -9
  610. package/src/number/is_not_number.ts +27 -20
  611. package/src/number/is_not_number_literal.ts +25 -17
  612. package/src/number/is_number.ts +27 -20
  613. package/src/number/is_number_literal.ts +25 -17
  614. package/src/numeric/is_integer.ts +29 -30
  615. package/src/numeric/is_negative.ts +29 -20
  616. package/src/numeric/is_not_integer.ts +19 -10
  617. package/src/numeric/is_not_negative.ts +25 -13
  618. package/src/numeric/is_not_numeric.ts +1 -1
  619. package/src/numeric/is_not_positive.ts +19 -9
  620. package/src/numeric/is_numeric.ts +37 -5
  621. package/src/numeric/is_positive.ts +29 -21
  622. package/src/object/ANotB.ts +2 -2
  623. package/src/object/KeysWithDiffType.ts +1 -1
  624. package/src/object/adjust_exact_optional_props.ts +1 -1
  625. package/src/object/is_not_object.ts +29 -22
  626. package/src/object/is_object.ts +29 -22
  627. package/src/object/left_join.ts +2 -2
  628. package/src/object/mapProperties.ts +1 -1
  629. package/src/object/merge.ts +54 -50
  630. package/src/object/optional_key.ts +1 -1
  631. package/src/object/record.ts +1 -1
  632. package/src/object/split.ts +1 -1
  633. package/src/predicates/CanAssign.ts +1 -1
  634. package/src/predicates/assignable.ts +23 -25
  635. package/src/predicates/index.ts +1 -1
  636. package/src/predicates/not_assignable.ts +24 -26
  637. package/src/string/is_not_string.ts +29 -23
  638. package/src/string/is_not_string_literal.ts +36 -30
  639. package/src/string/is_not_template_literal.ts +24 -16
  640. package/src/string/is_string.ts +27 -20
  641. package/src/string/is_string_literal.ts +36 -30
  642. package/src/string/is_template_literal.ts +24 -16
  643. package/src/symbol/is_not_symbol.ts +18 -9
  644. package/src/symbol/is_symbol.ts +18 -9
  645. package/src/testing/stub.ts +0 -1
  646. package/src/testing/test_type.ts +1 -1
  647. package/src/tuple/is_not_tuple.ts +26 -17
  648. package/src/tuple/is_tuple.ts +25 -17
  649. package/src/tuple/tuple_plus.common_prop_keys.ts +1 -1
  650. package/src/tuple/tuple_plus.drop_match.ts +1 -1
  651. package/src/tuple/tuple_plus.find.ts +1 -1
  652. package/src/type-guard/is_type.ts +1 -1
  653. package/src/undefined/has_undefined.ts +5 -6
  654. package/src/undefined/is_not_undefined.ts +18 -9
  655. package/src/undefined/is_undefined.ts +18 -9
  656. package/src/unknown/is_not_unknown.ts +15 -14
  657. package/src/unknown/is_unknown.ts +15 -14
  658. package/src/unknown/not_unknown_or.ts +1 -1
  659. package/src/utils/Widen.ts +9 -2
  660. package/src/utils/excessive.ts +11 -0
  661. package/src/{type → utils}/no_infer.ts +13 -7
  662. package/src/utils/readme.md +17 -0
  663. package/src/void/is_not_void.ts +20 -10
  664. package/src/void/is_void.ts +20 -10
  665. package/cjs/any/any.d.ts +0 -49
  666. package/cjs/any/any.d.ts.map +0 -1
  667. package/cjs/any/any.js.map +0 -1
  668. package/cjs/binary/Bit.d.ts +0 -6
  669. package/cjs/binary/Bit.d.ts.map +0 -1
  670. package/cjs/binary/Bit.js.map +0 -1
  671. package/cjs/binary/index.d.ts +0 -3
  672. package/cjs/binary/index.d.ts.map +0 -1
  673. package/cjs/binary/index.js +0 -6
  674. package/cjs/binary/index.js.map +0 -1
  675. package/cjs/never/never.d.ts +0 -75
  676. package/cjs/never/never.d.ts.map +0 -1
  677. package/cjs/never/never.js.map +0 -1
  678. package/cjs/predicates/logical.d.ts +0 -5
  679. package/cjs/predicates/logical.d.ts.map +0 -1
  680. package/cjs/type/failed.d.ts.map +0 -1
  681. package/cjs/type/no_infer.d.ts.map +0 -1
  682. package/cjs/type_plus/$equality.d.ts +0 -12
  683. package/cjs/type_plus/$equality.d.ts.map +0 -1
  684. package/cjs/type_plus/$equality.js +0 -3
  685. package/cjs/type_plus/$equality.js.map +0 -1
  686. package/cjs/type_plus/$error.d.ts +0 -8
  687. package/cjs/type_plus/$error.d.ts.map +0 -1
  688. package/cjs/type_plus/$infer_error.d.ts.map +0 -1
  689. package/cjs/type_plus/$infer_error.js.map +0 -1
  690. package/cjs/type_plus/$merge_options.d.ts +0 -11
  691. package/cjs/type_plus/$merge_options.d.ts.map +0 -1
  692. package/cjs/type_plus/$merge_options.js.map +0 -1
  693. package/cjs/type_plus/$resolve_options.d.ts.map +0 -1
  694. package/cjs/type_plus/$resolve_options.js.map +0 -1
  695. package/cjs/type_plus/$special_type.d.ts +0 -19
  696. package/cjs/type_plus/$special_type.d.ts.map +0 -1
  697. package/cjs/type_plus/$special_type.js +0 -3
  698. package/cjs/type_plus/$special_type.js.map +0 -1
  699. package/cjs/type_plus/$type.d.ts +0 -11
  700. package/cjs/type_plus/$type.d.ts.map +0 -1
  701. package/cjs/type_plus/branch/$branch.d.ts.map +0 -1
  702. package/cjs/type_plus/branch/$branch.js.map +0 -1
  703. package/cjs/type_plus/branch/$distributive.d.ts +0 -19
  704. package/cjs/type_plus/branch/$distributive.d.ts.map +0 -1
  705. package/cjs/type_plus/branch/$distributive.js.map +0 -1
  706. package/cjs/type_plus/branch/$exact.d.ts +0 -21
  707. package/cjs/type_plus/branch/$exact.d.ts.map +0 -1
  708. package/cjs/type_plus/branch/$input_options.d.ts.map +0 -1
  709. package/cjs/type_plus/branch/$input_options.js.map +0 -1
  710. package/cjs/type_plus/branch/$is_distributive.d.ts +0 -6
  711. package/cjs/type_plus/branch/$is_distributive.d.ts.map +0 -1
  712. package/cjs/type_plus/branch/$is_distributive.js +0 -3
  713. package/cjs/type_plus/branch/$is_distributive.js.map +0 -1
  714. package/cjs/type_plus/branch/$override.d.ts +0 -21
  715. package/cjs/type_plus/branch/$override.d.ts.map +0 -1
  716. package/cjs/type_plus/branch/$override.js +0 -3
  717. package/cjs/type_plus/branch/$override.js.map +0 -1
  718. package/cjs/type_plus/branch/$resolve_branch.d.ts +0 -29
  719. package/cjs/type_plus/branch/$resolve_branch.d.ts.map +0 -1
  720. package/cjs/type_plus/branch/$resolve_branch.js.map +0 -1
  721. package/cjs/type_plus/branch/$select.d.ts +0 -77
  722. package/cjs/type_plus/branch/$select.d.ts.map +0 -1
  723. package/cjs/type_plus/branch/$select.js +0 -3
  724. package/cjs/type_plus/branch/$select.js.map +0 -1
  725. package/cjs/type_plus/branch/$select_invert.d.ts +0 -75
  726. package/cjs/type_plus/branch/$select_invert.d.ts.map +0 -1
  727. package/cjs/type_plus/branch/$select_invert.js +0 -3
  728. package/cjs/type_plus/branch/$select_invert.js.map +0 -1
  729. package/cjs/type_plus/branch/$select_invert_strict.d.ts +0 -75
  730. package/cjs/type_plus/branch/$select_invert_strict.d.ts.map +0 -1
  731. package/cjs/type_plus/branch/$select_invert_strict.js +0 -3
  732. package/cjs/type_plus/branch/$select_invert_strict.js.map +0 -1
  733. package/cjs/type_plus/branch/$select_strict.d.ts +0 -76
  734. package/cjs/type_plus/branch/$select_strict.d.ts.map +0 -1
  735. package/cjs/type_plus/branch/$select_strict.js +0 -3
  736. package/cjs/type_plus/branch/$select_strict.js.map +0 -1
  737. package/cjs/type_plus/branch/$selection.d.ts +0 -127
  738. package/cjs/type_plus/branch/$selection.d.ts.map +0 -1
  739. package/cjs/type_plus/branch/$selection.js.map +0 -1
  740. package/cjs/type_plus/branch/$selection_options.d.ts +0 -37
  741. package/cjs/type_plus/branch/$selection_options.d.ts.map +0 -1
  742. package/cjs/type_plus/branch/$selection_options.js +0 -3
  743. package/cjs/type_plus/branch/$selection_options.js.map +0 -1
  744. package/cjs/unknown/unknown.d.ts +0 -55
  745. package/cjs/unknown/unknown.d.ts.map +0 -1
  746. package/cjs/unknown/unknown.js +0 -3
  747. package/cjs/unknown/unknown.js.map +0 -1
  748. package/esm/any/any.d.ts +0 -49
  749. package/esm/any/any.d.ts.map +0 -1
  750. package/esm/any/any.js +0 -2
  751. package/esm/any/any.js.map +0 -1
  752. package/esm/binary/Bit.d.ts +0 -6
  753. package/esm/binary/Bit.d.ts.map +0 -1
  754. package/esm/binary/Bit.js +0 -2
  755. package/esm/binary/Bit.js.map +0 -1
  756. package/esm/binary/index.d.ts +0 -3
  757. package/esm/binary/index.d.ts.map +0 -1
  758. package/esm/binary/index.js +0 -3
  759. package/esm/binary/index.js.map +0 -1
  760. package/esm/never/never.d.ts +0 -75
  761. package/esm/never/never.d.ts.map +0 -1
  762. package/esm/never/never.js +0 -2
  763. package/esm/never/never.js.map +0 -1
  764. package/esm/predicates/logical.d.ts +0 -5
  765. package/esm/predicates/logical.d.ts.map +0 -1
  766. package/esm/type/failed.d.ts.map +0 -1
  767. package/esm/type/no_infer.d.ts.map +0 -1
  768. package/esm/type_plus/$equality.d.ts +0 -12
  769. package/esm/type_plus/$equality.d.ts.map +0 -1
  770. package/esm/type_plus/$equality.js +0 -2
  771. package/esm/type_plus/$equality.js.map +0 -1
  772. package/esm/type_plus/$error.d.ts +0 -8
  773. package/esm/type_plus/$error.d.ts.map +0 -1
  774. package/esm/type_plus/$infer_error.d.ts.map +0 -1
  775. package/esm/type_plus/$infer_error.js.map +0 -1
  776. package/esm/type_plus/$merge_options.d.ts +0 -11
  777. package/esm/type_plus/$merge_options.d.ts.map +0 -1
  778. package/esm/type_plus/$merge_options.js.map +0 -1
  779. package/esm/type_plus/$resolve_options.d.ts.map +0 -1
  780. package/esm/type_plus/$resolve_options.js.map +0 -1
  781. package/esm/type_plus/$special_type.d.ts +0 -19
  782. package/esm/type_plus/$special_type.d.ts.map +0 -1
  783. package/esm/type_plus/$special_type.js +0 -2
  784. package/esm/type_plus/$special_type.js.map +0 -1
  785. package/esm/type_plus/$type.d.ts +0 -11
  786. package/esm/type_plus/$type.d.ts.map +0 -1
  787. package/esm/type_plus/branch/$branch.d.ts.map +0 -1
  788. package/esm/type_plus/branch/$branch.js.map +0 -1
  789. package/esm/type_plus/branch/$distributive.d.ts +0 -19
  790. package/esm/type_plus/branch/$distributive.d.ts.map +0 -1
  791. package/esm/type_plus/branch/$distributive.js.map +0 -1
  792. package/esm/type_plus/branch/$exact.d.ts +0 -21
  793. package/esm/type_plus/branch/$exact.d.ts.map +0 -1
  794. package/esm/type_plus/branch/$input_options.d.ts.map +0 -1
  795. package/esm/type_plus/branch/$input_options.js.map +0 -1
  796. package/esm/type_plus/branch/$is_distributive.d.ts +0 -6
  797. package/esm/type_plus/branch/$is_distributive.d.ts.map +0 -1
  798. package/esm/type_plus/branch/$is_distributive.js +0 -2
  799. package/esm/type_plus/branch/$is_distributive.js.map +0 -1
  800. package/esm/type_plus/branch/$override.d.ts +0 -21
  801. package/esm/type_plus/branch/$override.d.ts.map +0 -1
  802. package/esm/type_plus/branch/$override.js +0 -2
  803. package/esm/type_plus/branch/$override.js.map +0 -1
  804. package/esm/type_plus/branch/$resolve_branch.d.ts +0 -29
  805. package/esm/type_plus/branch/$resolve_branch.d.ts.map +0 -1
  806. package/esm/type_plus/branch/$resolve_branch.js.map +0 -1
  807. package/esm/type_plus/branch/$select.d.ts +0 -77
  808. package/esm/type_plus/branch/$select.d.ts.map +0 -1
  809. package/esm/type_plus/branch/$select.js +0 -2
  810. package/esm/type_plus/branch/$select.js.map +0 -1
  811. package/esm/type_plus/branch/$select_invert.d.ts +0 -75
  812. package/esm/type_plus/branch/$select_invert.d.ts.map +0 -1
  813. package/esm/type_plus/branch/$select_invert.js +0 -2
  814. package/esm/type_plus/branch/$select_invert.js.map +0 -1
  815. package/esm/type_plus/branch/$select_invert_strict.d.ts +0 -75
  816. package/esm/type_plus/branch/$select_invert_strict.d.ts.map +0 -1
  817. package/esm/type_plus/branch/$select_invert_strict.js +0 -2
  818. package/esm/type_plus/branch/$select_invert_strict.js.map +0 -1
  819. package/esm/type_plus/branch/$select_strict.d.ts +0 -76
  820. package/esm/type_plus/branch/$select_strict.d.ts.map +0 -1
  821. package/esm/type_plus/branch/$select_strict.js +0 -2
  822. package/esm/type_plus/branch/$select_strict.js.map +0 -1
  823. package/esm/type_plus/branch/$selection.d.ts +0 -127
  824. package/esm/type_plus/branch/$selection.d.ts.map +0 -1
  825. package/esm/type_plus/branch/$selection.js.map +0 -1
  826. package/esm/type_plus/branch/$selection_options.d.ts +0 -37
  827. package/esm/type_plus/branch/$selection_options.d.ts.map +0 -1
  828. package/esm/type_plus/branch/$selection_options.js +0 -2
  829. package/esm/type_plus/branch/$selection_options.js.map +0 -1
  830. package/esm/unknown/unknown.d.ts +0 -55
  831. package/esm/unknown/unknown.d.ts.map +0 -1
  832. package/esm/unknown/unknown.js +0 -2
  833. package/esm/unknown/unknown.js.map +0 -1
  834. package/src/any/any.ts +0 -46
  835. package/src/binary/Bit.ts +0 -6
  836. package/src/binary/index.ts +0 -2
  837. package/src/never/never.ts +0 -78
  838. package/src/predicates/logical.ts +0 -19
  839. package/src/type/readme.md +0 -36
  840. package/src/type_plus/$equality.ts +0 -12
  841. package/src/type_plus/$error.ts +0 -8
  842. package/src/type_plus/$merge_options.ts +0 -8
  843. package/src/type_plus/$special_type.ts +0 -26
  844. package/src/type_plus/$type.ts +0 -10
  845. package/src/type_plus/branch/$distributive.ts +0 -19
  846. package/src/type_plus/branch/$exact.ts +0 -28
  847. package/src/type_plus/branch/$is_distributive.ts +0 -15
  848. package/src/type_plus/branch/$override.ts +0 -22
  849. package/src/type_plus/branch/$resolve_branch.ts +0 -71
  850. package/src/type_plus/branch/$select.ts +0 -89
  851. package/src/type_plus/branch/$select_invert.ts +0 -83
  852. package/src/type_plus/branch/$select_invert_strict.ts +0 -83
  853. package/src/type_plus/branch/$select_strict.ts +0 -88
  854. package/src/type_plus/branch/$selection.ts +0 -134
  855. package/src/type_plus/branch/$selection_options.ts +0 -36
  856. package/src/type_plus/readme.md +0 -25
  857. package/src/unknown/unknown.ts +0 -57
  858. /package/cjs/{type_plus → $type}/$resolve_options.js +0 -0
  859. /package/cjs/{type_plus → $type}/$type.js +0 -0
  860. /package/cjs/{type_plus → $type}/branch/$branch.js +0 -0
  861. /package/cjs/{type_plus → $type}/branch/$input_options.js +0 -0
  862. /package/cjs/{type_plus → $type}/branch/$resolve_branch.js +0 -0
  863. /package/cjs/{type_plus → $type}/branch/$selection.js +0 -0
  864. /package/cjs/{type_plus/branch → $type/distributive}/$distributive.js +0 -0
  865. /package/cjs/{type_plus → $type/errors}/$error.js +0 -0
  866. /package/cjs/{type_plus → $type/errors}/$infer_error.js +0 -0
  867. /package/cjs/{type → $type/errors}/failed.js +0 -0
  868. /package/cjs/{type_plus/branch → $type/exact}/$exact.js +0 -0
  869. /package/cjs/{type_plus → $type/utils}/$merge_options.js +0 -0
  870. /package/cjs/{predicates → logical}/logical.js +0 -0
  871. /package/cjs/{type → utils}/no_infer.js +0 -0
  872. /package/esm/{type_plus → $type}/$resolve_options.js +0 -0
  873. /package/esm/{type_plus → $type}/$type.js +0 -0
  874. /package/esm/{type_plus → $type}/branch/$branch.js +0 -0
  875. /package/esm/{type_plus → $type}/branch/$input_options.js +0 -0
  876. /package/esm/{type_plus → $type}/branch/$resolve_branch.js +0 -0
  877. /package/esm/{type_plus → $type}/branch/$selection.js +0 -0
  878. /package/esm/{type_plus/branch → $type/distributive}/$distributive.js +0 -0
  879. /package/esm/{type_plus → $type/errors}/$error.js +0 -0
  880. /package/esm/{type_plus → $type/errors}/$infer_error.js +0 -0
  881. /package/esm/{type → $type/errors}/failed.js +0 -0
  882. /package/esm/{type_plus/branch → $type/exact}/$exact.js +0 -0
  883. /package/esm/{type_plus → $type/utils}/$merge_options.js +0 -0
  884. /package/esm/{predicates → logical}/logical.js +0 -0
  885. /package/esm/{type → utils}/no_infer.js +0 -0
@@ -1,8 +1,14 @@
1
+ import type { $InputOptions } from '../$type/branch/$input_options.js';
2
+ import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
3
+ import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
4
+ import type { $Distributive } from '../$type/distributive/$distributive.js';
5
+ import type { $Exact } from '../$type/exact/$exact.js';
6
+ import type { $Any } from '../$type/special/$any.js';
7
+ import type { $Never } from '../$type/special/$never.js';
8
+ import type { $Unknown } from '../$type/special/$unknown.js';
9
+ import type { $Void } from '../$type/special/$void.js';
1
10
  import type { IsBigint } from '../bigint/is_bigint.js';
2
11
  import type { IsNumber } from '../number/is_number.js';
3
- import type { $Equality } from '../type_plus/$equality.js';
4
- import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
5
- import type { $Else, $Then } from '../type_plus/branch/$selection.js';
6
12
  /**
7
13
  * Is T an integer, including bigint.
8
14
  *
@@ -16,15 +22,15 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
16
22
  */
17
23
  export type IsInteger<T, $O extends IsInteger.$Options = {}> = IsNumber<T, {
18
24
  distributive: $O['distributive'];
19
- $then: $Then;
20
- $else: $Else;
21
- }> extends infer R ? R extends $Then ? number extends T ? $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : T extends number & infer U ? `${T}` extends `${number}.${number}` ? $ResolveBranch<T, $O, [$Else]> : [T, U] extends [U, T] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : never : R extends $Else ? IsBigint<T, {
22
- distributive: $O['distributive'];
23
- $then: $Then;
24
- $else: $Else;
25
- }> extends infer R ? R extends $Then ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : never : never : never;
25
+ $then: number extends T ? $ResolveBranch<$O, [$Then], number> | $ResolveBranch<$O, [$Else]> : T extends number & infer U ? `${T}` extends `${number}.${number}` ? $ResolveBranch<$O, [$Else]> : [T, U] extends [U, T] ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Then], number> | $ResolveBranch<$O, [$Else]> : never;
26
+ $else: IsBigint<T, {
27
+ distributive: $O['distributive'];
28
+ $then: $ResolveBranch<$O, [$Then], T>;
29
+ $else: $ResolveBranch<$O, [$Else]>;
30
+ }>;
31
+ }>;
26
32
  export declare namespace IsInteger {
27
- type $Options = $Equality.$Options;
28
- type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
33
+ type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
34
+ type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
29
35
  }
30
36
  //# sourceMappingURL=is_integer.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"is_integer.d.ts","sourceRoot":"","sources":["../../src/numeric/is_integer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACtE,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,MAAM,SAAS,CAAC,GACf,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACpE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACzB,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GACnC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACtE,KAAK,GACP,CAAC,SAAS,KAAK,GACd,QAAQ,CACR,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACf,CAAC,SAAS,KAAK,GACd,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACN,KAAK,GACP,KAAK,CAAA;AACR,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;CACrE"}
1
+ {"version":3,"file":"is_integer.d.ts","sourceRoot":"","sources":["../../src/numeric/is_integer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAEtD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACtE,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,MAAM,SAAS,CAAC,GACpB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACjE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACzB,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GACnC,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACnE,KAAK,CAAA;IACT,KAAK,EAAE,QAAQ,CACd,CAAC,EACD;QACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;QAChC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QACrC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KAClC,CACD,CAAA;CACD,CACD,CAAA;AACD,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;CACrE"}
@@ -1,8 +1,14 @@
1
+ import type { $InputOptions } from '../$type/branch/$input_options.js';
2
+ import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
3
+ import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
4
+ import type { $Distributive } from '../$type/distributive/$distributive.js';
5
+ import type { $Exact } from '../$type/exact/$exact.js';
6
+ import type { $Any } from '../$type/special/$any.js';
7
+ import type { $Never } from '../$type/special/$never.js';
8
+ import type { $Unknown } from '../$type/special/$unknown.js';
9
+ import type { $Void } from '../$type/special/$void.js';
1
10
  import type { IsBigint } from '../bigint/is_bigint.js';
2
11
  import type { IsNumber } from '../number/is_number.js';
3
- import type { $Equality } from '../type_plus/$equality.js';
4
- import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
5
- import type { $Else, $Then } from '../type_plus/branch/$selection.js';
6
12
  /**
7
13
  * Is `T` a negative numeric type.
8
14
  *
@@ -20,16 +26,16 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
20
26
  */
21
27
  export type IsNegative<T, $O extends IsNegative.$Options = {}> = IsBigint<T, {
22
28
  distributive: $O['distributive'];
23
- $then: $Then;
24
- $else: $Else;
25
- }> extends infer R ? R extends $Then ? IsNegative._Negative<T, bigint, $O> : IsNumber<Exclude<T, bigint>, {
26
- distributive: $O['distributive'];
27
- $then: $Then;
28
- $else: $Else;
29
- }> extends infer R ? R extends $Then ? IsNegative._Negative<T, number, $O> : $ResolveBranch<T, $O, [$Else]> : never : never;
29
+ $then: IsNegative._Negative<T, bigint, $O>;
30
+ $else: IsNumber<Exclude<T, bigint>, {
31
+ distributive: $O['distributive'];
32
+ $then: IsNegative._Negative<T, number, $O>;
33
+ $else: $ResolveBranch<$O, [$Else]>;
34
+ }>;
35
+ }>;
30
36
  export declare namespace IsNegative {
31
- type $Options = $Equality.$Options;
32
- type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
33
- type _Negative<T, U extends number | bigint, $O extends IsNegative.$Options> = T extends U & infer R ? `${T}` extends `-${string}` ? $ResolveBranch<T, $O, [$Then]> : U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : [T, R] extends [R, T] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : never;
37
+ type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
38
+ type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
39
+ type _Negative<T, U extends number | bigint, $O extends IsNegative.$Options> = T extends U & infer R ? `${T}` extends `-${string}` ? $ResolveBranch<$O, [$Then], T> : U extends T ? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]> : [T, R] extends [R, T] ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]> : never;
34
40
  }
35
41
  //# sourceMappingURL=is_negative.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"is_negative.d.ts","sourceRoot":"","sources":["../../src/numeric/is_negative.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxE,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACnC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,SAAS,MAAM,CAAC,GAC7G,CAAC,SAAS,KAAK,GACd,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACnC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACrE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,GACxG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACvE,KAAK,CAAA;CACR"}
1
+ {"version":3,"file":"is_negative.d.ts","sourceRoot":"","sources":["../../src/numeric/is_negative.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAEtD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxE,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC1C,KAAK,EAAE,QAAQ,CACd,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAClB;QACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;QAChC,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;QAC1C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KAClC,CACD,CAAA;CACD,CACD,CAAA;AAED,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,GACxG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5D,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,KAAK,CAAA;CACR"}
@@ -1,8 +1,14 @@
1
+ import type { $InputOptions } from '../$type/branch/$input_options.js';
2
+ import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
3
+ import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
4
+ import type { $Distributive } from '../$type/distributive/$distributive.js';
5
+ import type { $Exact } from '../$type/exact/$exact.js';
6
+ import type { $Any } from '../$type/special/$any.js';
7
+ import type { $Never } from '../$type/special/$never.js';
8
+ import type { $Unknown } from '../$type/special/$unknown.js';
9
+ import type { $Void } from '../$type/special/$void.js';
1
10
  import type { IsBigint } from '../bigint/is_bigint.js';
2
11
  import type { IsNumber } from '../number/is_number.js';
3
- import type { $Equality } from '../type_plus/$equality.js';
4
- import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
5
- import type { $Else, $Then } from '../type_plus/branch/$selection.js';
6
12
  /**
7
13
  * Is T not an integer, including bigint.
8
14
  *
@@ -20,13 +26,13 @@ export type IsNotInteger<T, $O extends IsNotInteger.$Options = {}> = IsNumber<T,
20
26
  distributive: $O['distributive'];
21
27
  $then: $Then;
22
28
  $else: $Else;
23
- }> extends infer R ? R extends $Then ? number extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : T extends number ? `${T}` extends `${number}.${number}` ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : never : R extends $Else ? IsBigint<T, {
29
+ }> extends infer R ? R extends $Then ? number extends T ? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]> : T extends number ? `${T}` extends `${number}.${number}` ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : never : R extends $Else ? IsBigint<T, {
24
30
  distributive: $O['distributive'];
25
31
  $then: $Then;
26
32
  $else: $Else;
27
- }> extends infer R ? R extends $Then ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<Exclude<T, number>, $O, [$Then]> : never : never : never;
33
+ }> extends infer R ? R extends $Then ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], Exclude<T, number>> : never : never : never;
28
34
  export declare namespace IsNotInteger {
29
- type $Options = $Equality.$Options;
30
- type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
35
+ type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
36
+ type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
31
37
  }
32
38
  //# sourceMappingURL=is_not_integer.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"is_not_integer.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_integer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC5E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,MAAM,SAAS,CAAC,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,CAAC,SAAS,MAAM,GACf,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GACnC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACP,CAAC,SAAS,KAAK,GACd,QAAQ,CACR,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACf,CAAC,SAAS,KAAK,GACd,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAChD,KAAK,GACN,KAAK,GACP,KAAK,CAAA;AACR,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CACrE"}
1
+ {"version":3,"file":"is_not_integer.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_integer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAEtD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC5E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,MAAM,SAAS,CAAC,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5D,CAAC,SAAS,MAAM,GACf,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GACnC,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,KAAK,GACP,CAAC,SAAS,KAAK,GACd,QAAQ,CACR,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACf,CAAC,SAAS,KAAK,GACd,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAChD,KAAK,GACN,KAAK,GACP,KAAK,CAAA;AACR,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;CACrE"}
@@ -1,8 +1,14 @@
1
+ import type { $InputOptions } from '../$type/branch/$input_options.js';
2
+ import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
3
+ import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
4
+ import type { $Distributive } from '../$type/distributive/$distributive.js';
5
+ import type { $Exact } from '../$type/exact/$exact.js';
6
+ import type { $Any } from '../$type/special/$any.js';
7
+ import type { $Never } from '../$type/special/$never.js';
8
+ import type { $Unknown } from '../$type/special/$unknown.js';
9
+ import type { $Void } from '../$type/special/$void.js';
1
10
  import type { IsBigint } from '../bigint/is_bigint.js';
2
11
  import type { IsNumber } from '../number/is_number.js';
3
- import type { $Equality } from '../type_plus/$equality.js';
4
- import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
5
- import type { $Else, $Then } from '../type_plus/branch/$selection.js';
6
12
  /**
7
13
  * Is `T` a not a negative numeric type.
8
14
  *
@@ -24,12 +30,12 @@ export type IsNotNegative<T, $O extends IsNotNegative.$Options = {}> = IsBigint<
24
30
  $else: $Else;
25
31
  }> extends infer R ? R extends $Then ? IsNotNegative._Negative<T, bigint, $O> : IsNumber<Exclude<T, bigint>, {
26
32
  distributive: $O['distributive'];
27
- $then: $Then;
28
- $else: $Else;
29
- }> extends infer R ? R extends $Then ? IsNotNegative._Negative<T, number, $O> : $ResolveBranch<Exclude<T, number | bigint>, $O, [$Then]> : never : never;
33
+ $then: IsNotNegative._Negative<T, number, $O>;
34
+ $else: $ResolveBranch<$O, [$Then], Exclude<T, number | bigint>>;
35
+ }> : never;
30
36
  export declare namespace IsNotNegative {
31
- type $Options = $Equality.$Options;
32
- type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
33
- type _Negative<T, U extends number | bigint, $O extends IsNotNegative.$Options> = T extends U ? `${T}` extends `-${string}` ? $ResolveBranch<T, $O, [$Else]> : U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : never;
37
+ type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
38
+ type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
39
+ type _Negative<T, U extends number | bigint, $O extends IsNotNegative.$Options> = T extends U ? `${T}` extends `-${string}` ? $ResolveBranch<$O, [$Else]> : U extends T ? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : never;
34
40
  }
35
41
  //# sourceMappingURL=is_not_negative.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"is_not_negative.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_negative.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC9E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,SAAS,MAAM,CAAC,GAC7G,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACzD,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACrE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GACjG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAChC,KAAK,CAAA;CACR"}
1
+ {"version":3,"file":"is_not_negative.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_negative.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAEtD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC9E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,QAAQ,CACR,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAClB;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC7C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAA;CAC/D,CACD,GACD,KAAK,CAAA;AAER,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACrE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GACjG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5D,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAChC,KAAK,CAAA;CACR"}
@@ -1,4 +1,4 @@
1
- import type { $SelectInvert } from '../type_plus/branch/$select_invert.js';
1
+ import type { $SelectInvert } from '../equal/equal.js';
2
2
  /**
3
3
  * Is `T` not numeric.
4
4
  *
@@ -1 +1 @@
1
- {"version":3,"file":"is_not_numeric.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_numeric.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAE1E;;;;;;;;;;GAUG;AAEH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,CAAA;AAE1G,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,OAAO,GAAG,aAAa,CAAC,OAAO,CAAA;CAC3C"}
1
+ {"version":3,"file":"is_not_numeric.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_numeric.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAEtD;;;;;;;;;;GAUG;AAEH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,CAAA;AAE1G,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,OAAO,GAAG,aAAa,CAAC,OAAO,CAAA;CAC3C"}
@@ -1,8 +1,14 @@
1
+ import type { $InputOptions } from '../$type/branch/$input_options.js';
2
+ import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
3
+ import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
4
+ import type { $Distributive } from '../$type/distributive/$distributive.js';
5
+ import type { $Exact } from '../$type/exact/$exact.js';
6
+ import type { $Any } from '../$type/special/$any.js';
7
+ import type { $Never } from '../$type/special/$never.js';
8
+ import type { $Unknown } from '../$type/special/$unknown.js';
9
+ import type { $Void } from '../$type/special/$void.js';
1
10
  import type { IsBigint } from '../bigint/is_bigint.js';
2
11
  import type { IsNumber } from '../number/is_number.js';
3
- import type { $Equality } from '../type_plus/$equality.js';
4
- import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
5
- import type { $Else, $Then } from '../type_plus/branch/$selection.js';
6
12
  /**
7
13
  * Is `T` not a positive numeric type.
8
14
  *
@@ -27,10 +33,10 @@ export type IsNotPositive<T, $O extends IsNotPositive.$Options = {}> = IsBigint<
27
33
  distributive: $O['distributive'];
28
34
  $then: $Then;
29
35
  $else: $Else;
30
- }> extends infer R ? R extends $Then ? IsNotPositive._Negative<T, number, $O> : $ResolveBranch<Exclude<T, number | bigint>, $O, [$Then]> : never : never;
36
+ }> extends infer R ? R extends $Then ? IsNotPositive._Negative<T, number, $O> : $ResolveBranch<$O, [$Then], Exclude<T, number | bigint>> : never : never;
31
37
  export declare namespace IsNotPositive {
32
- type $Options = $Equality.$Options;
33
- type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
34
- type _Negative<T, U extends number | bigint, $O extends IsNotPositive.$Options> = T extends U ? `${T}` extends `-${string}` ? $ResolveBranch<T, $O, [$Then]> : U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]> : never;
38
+ type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
39
+ type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
40
+ type _Negative<T, U extends number | bigint, $O extends IsNotPositive.$Options> = T extends U ? `${T}` extends `-${string}` ? $ResolveBranch<$O, [$Then], T> : U extends T ? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Else]> : never;
35
41
  }
36
42
  //# sourceMappingURL=is_not_positive.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"is_not_positive.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_positive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC9E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,SAAS,MAAM,CAAC,GAC7G,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACzD,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACrE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GACjG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAChC,KAAK,CAAA;CACR"}
1
+ {"version":3,"file":"is_not_positive.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_positive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAEtD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC9E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,SAAS,MAAM,CAAC,GAC7G,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,GACzD,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GACjG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5D,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC7B,KAAK,CAAA;CACR"}
@@ -1,4 +1,15 @@
1
- import type { $Select } from '../type_plus/branch/$select.js';
1
+ import type { $InputOptions } from '../$type/branch/$input_options.js';
2
+ import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
3
+ import type { $Else, $Selection } from '../$type/branch/$selection.js';
4
+ import type { $Distributive } from '../$type/distributive/$distributive.js';
5
+ import type { $Exact } from '../$type/exact/$exact.js';
6
+ import type { $Any } from '../$type/special/$any.js';
7
+ import type { $Never } from '../$type/special/$never.js';
8
+ import type { $Special } from '../$type/special/$special.js';
9
+ import type { $Unknown } from '../$type/special/$unknown.js';
10
+ import type { $Void } from '../$type/special/$void.js';
11
+ import type { $MergeOptions } from '../$type/utils/$merge_options.js';
12
+ import type { Assignable } from '../predicates/assignable.js';
2
13
  /**
3
14
  * Is `T` numeric.
4
15
  *
@@ -10,10 +21,22 @@ import type { $Select } from '../type_plus/branch/$select.js';
10
21
  * type R = IsNumeric<unknown> // false
11
22
  * ```
12
23
  */
13
- export type IsNumeric<T, $O extends IsNumeric.$Options = {}> = $Select<T, number | bigint, $O>;
24
+ export type IsNumeric<T, $O extends IsNumeric.$Options = {}> = $Special<T, $MergeOptions<$O, {
25
+ $then: $ResolveBranch<$O, [$Else]>;
26
+ $else: IsNumeric.$<T, $O>;
27
+ }>>;
14
28
  export declare namespace IsNumeric {
15
- type $Options = $Select.$Options;
16
- type $Default = $Select.$Default;
17
- type $Branch = $Select.$Branch;
29
+ type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
30
+ type $Default = $Selection.Predicate & $Distributive.Default & $Exact.Default;
31
+ type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
32
+ /**
33
+ * 🧰 *type util*
34
+ *
35
+ * Validate if `T` is `Function`.
36
+ *
37
+ * This is a type util for building custom types.
38
+ * It does not check against special types.
39
+ */
40
+ type $<T, $O extends Assignable.$UtilOptions> = Assignable.$<T, number | bigint, $O>;
18
41
  }
19
42
  //# sourceMappingURL=is_numeric.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"is_numeric.d.ts","sourceRoot":"","sources":["../../src/numeric/is_numeric.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,CAAA;AAE9F,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IACvC,KAAY,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IACvC,KAAY,OAAO,GAAG,OAAO,CAAC,OAAO,CAAA;CACrC"}
1
+ {"version":3,"file":"is_numeric.d.ts","sourceRoot":"","sources":["../../src/numeric/is_numeric.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAE7D;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACtE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACzB,CACD,CACD,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,QAAQ,GAAG,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;IACpF,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACrE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,YAAY,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,CAAA;CAC3F"}
@@ -1,8 +1,14 @@
1
+ import type { $InputOptions } from '../$type/branch/$input_options.js';
2
+ import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
3
+ import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
4
+ import type { $Distributive } from '../$type/distributive/$distributive.js';
5
+ import type { $Exact } from '../$type/exact/$exact.js';
6
+ import type { $Any } from '../$type/special/$any.js';
7
+ import type { $Never } from '../$type/special/$never.js';
8
+ import type { $Unknown } from '../$type/special/$unknown.js';
9
+ import type { $Void } from '../$type/special/$void.js';
1
10
  import type { IsBigint } from '../bigint/is_bigint.js';
2
11
  import type { IsNumber } from '../number/is_number.js';
3
- import type { $Equality } from '../type_plus/$equality.js';
4
- import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
5
- import type { $Else, $Then } from '../type_plus/branch/$selection.js';
6
12
  /**
7
13
  * Is `T` a positive numeric type.
8
14
  *
@@ -20,16 +26,16 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
20
26
  */
21
27
  export type IsPositive<T, $O extends IsPositive.$Options = {}> = IsBigint<T, {
22
28
  distributive: $O['distributive'];
23
- $then: $Then;
24
- $else: $Else;
25
- }> extends infer R ? R extends $Then ? IsPositive._Positive<T, bigint, $O> : IsNumber<Exclude<T, bigint>, {
26
- distributive: $O['distributive'];
27
- $then: $Then;
28
- $else: $Else;
29
- }> extends infer R ? R extends $Then ? IsPositive._Positive<T, number, $O> : $ResolveBranch<T, $O, [$Else]> : never : never;
29
+ $then: IsPositive._Positive<T, bigint, $O>;
30
+ $else: IsNumber<Exclude<T, bigint>, {
31
+ distributive: $O['distributive'];
32
+ $then: IsPositive._Positive<T, number, $O>;
33
+ $else: $ResolveBranch<$O, [$Else]>;
34
+ }>;
35
+ }>;
30
36
  export declare namespace IsPositive {
31
- type $Options = $Equality.$Options;
32
- type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
33
- type _Positive<T, U extends number | bigint, $O extends IsPositive.$Options> = T extends U & infer R ? `${T}` extends `-${string}` ? $ResolveBranch<T, $O, [$Else]> : U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : [T, R] extends [R, T] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : never;
37
+ type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
38
+ type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
39
+ type _Positive<T, U extends number | bigint, $O extends IsPositive.$Options> = T extends U & infer R ? `${T}` extends `-${string}` ? $ResolveBranch<$O, [$Else]> : U extends T ? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]> : [T, R] extends [R, T] ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]> : never;
34
40
  }
35
41
  //# sourceMappingURL=is_positive.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"is_positive.d.ts","sourceRoot":"","sources":["../../src/numeric/is_positive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxE,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACnC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,SAAS,MAAM,CAAC,GAC7G,CAAC,SAAS,KAAK,GACd,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACnC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACrE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,GACxG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACvE,KAAK,CAAA;CACR"}
1
+ {"version":3,"file":"is_positive.d.ts","sourceRoot":"","sources":["../../src/numeric/is_positive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAEtD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxE,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC1C,KAAK,EAAE,QAAQ,CACd,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAClB;QACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;QAChC,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;QAC1C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KAClC,CACD,CAAA;CACD,CACD,CAAA;AACD,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,GACxG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5D,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,KAAK,CAAA;CACR"}
@@ -1,7 +1,7 @@
1
- import type { IsEqual } from '../equal/equal.js';
2
- import type { AnyRecord } from './any_record.js';
1
+ import type { IsEqual } from '../equal/is_equal.js';
3
2
  import type { IsDisjoint } from './IsDisjoint.js';
4
3
  import type { KeysWithDiffType } from './KeysWithDiffType.js';
4
+ import type { AnyRecord } from './any_record.js';
5
5
  export type ANotB<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true ? never : IsDisjoint<A, B> extends true ? A : {
6
6
  [k in Exclude<keyof A, keyof B> | KeysWithDiffType<A, B>]: A[k];
7
7
  };
@@ -1 +1 @@
1
- {"version":3,"file":"ANotB.d.ts","sourceRoot":"","sources":["../../src/object/ANotB.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAE7D,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACrF,KAAK,GACL,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,CAAC,GACD;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAEvE,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
1
+ {"version":3,"file":"ANotB.d.ts","sourceRoot":"","sources":["../../src/object/ANotB.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACrF,KAAK,GACL,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,CAAC,GACD;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAEvE,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
@@ -1,6 +1,6 @@
1
- import type { AnyRecord } from './any_record.js';
2
1
  import type { IsDisjoint } from './IsDisjoint.js';
3
2
  import type { ValueOf } from './ValueOf.js';
3
+ import type { AnyRecord } from './any_record.js';
4
4
  export type KeysWithDiffType<A extends AnyRecord, B extends AnyRecord> = IsDisjoint<A, B> extends true ? never : ValueOf<{
5
5
  [k in keyof A & keyof B]: A[k] extends B[k] ? never : k;
6
6
  }>;
@@ -1 +1 @@
1
- {"version":3,"file":"KeysWithDiffType.d.ts","sourceRoot":"","sources":["../../src/object/KeysWithDiffType.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnG,KAAK,GACL,OAAO,CAAC;KACP,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CACvD,CAAC,CAAA"}
1
+ {"version":3,"file":"KeysWithDiffType.d.ts","sourceRoot":"","sources":["../../src/object/KeysWithDiffType.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnG,KAAK,GACL,OAAO,CAAC;KACP,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CACvD,CAAC,CAAA"}
@@ -1,6 +1,6 @@
1
+ import type { RequiredKeys } from './RequiredKeys.js';
1
2
  import type { AnyRecord } from './any_record.js';
2
3
  import type { OptionalKeys } from './optional_key.js';
3
- import type { RequiredKeys } from './RequiredKeys.js';
4
4
  /**
5
5
  * ⚗️ *transform*
6
6
  *
@@ -1 +1 @@
1
- {"version":3,"file":"adjust_exact_optional_props.d.ts","sourceRoot":"","sources":["../../src/object/adjust_exact_optional_props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAErD;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,SAAS,MAAM,GACzE;KAAG,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS;CAAE,GAAG;KAAG,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAChF,KAAK,CAAA"}
1
+ {"version":3,"file":"adjust_exact_optional_props.d.ts","sourceRoot":"","sources":["../../src/object/adjust_exact_optional_props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAErD;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,SAAS,MAAM,GACzE;KAAG,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS;CAAE,GAAG;KAAG,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAChF,KAAK,CAAA"}
@@ -1,14 +1,18 @@
1
+ import type { $ResolveOptions } from '../$type/$resolve_options.js';
2
+ import type { $InputOptions } from '../$type/branch/$input_options.js';
3
+ import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
4
+ import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
5
+ import type { $Distributive } from '../$type/distributive/$distributive.js';
6
+ import type { $Exact } from '../$type/exact/$exact.js';
7
+ import type { $Any } from '../$type/special/$any.js';
8
+ import type { $Never } from '../$type/special/$never.js';
9
+ import type { $Special } from '../$type/special/$special.js';
10
+ import type { $Unknown } from '../$type/special/$unknown.js';
11
+ import type { $Void } from '../$type/special/$void.js';
12
+ import type { $MergeOptions } from '../$type/utils/$merge_options.js';
1
13
  import type { IdentityEqual } from '../equal/identity_equal.js';
2
14
  import type { IsNever } from '../never/is_never.js';
3
15
  import type { NotAssignable } from '../predicates/not_assignable.js';
4
- import type { $Equality } from '../type_plus/$equality.js';
5
- import type { $MergeOptions } from '../type_plus/$merge_options.js';
6
- import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
7
- import type { $SpecialType } from '../type_plus/$special_type.js';
8
- import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js';
9
- import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
10
- import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
11
- import type { $Else, $Then } from '../type_plus/branch/$selection.js';
12
16
  /**
13
17
  * Is `T` not an `object`.
14
18
  *
@@ -88,13 +92,13 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
88
92
  * type R = IsNotObject<string, $SelectionBranch> // $Then
89
93
  * ```
90
94
  */
91
- export type IsNotObject<T, $O extends IsNotObject.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
92
- $then: $ResolveBranch<T, $O, [$Then]>;
95
+ export type IsNotObject<T, $O extends IsNotObject.$Options = {}> = $Special<T, $MergeOptions<$O, {
96
+ $then: $ResolveBranch<$O, [$Then], T>;
93
97
  $else: IsNotObject.$<T, $O>;
94
98
  }>>;
95
99
  export declare namespace IsNotObject {
96
- type $Options = $Equality.$Options & $ExactOptions;
97
- type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
100
+ type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
101
+ type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
98
102
  /**
99
103
  * 🧰 *type util*
100
104
  *
@@ -103,15 +107,15 @@ export declare namespace IsNotObject {
103
107
  * This is a type util for building custom types.
104
108
  * It does not check against special types.
105
109
  */
106
- type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true ? $IsDistributive<$O, {
110
+ type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.Default]> extends true ? $Distributive.Parse<$O, {
107
111
  $then: _D<T, $O>;
108
112
  $else: _N<T, $O>;
109
113
  }> : NotAssignable.$<T, object, $O>;
110
- type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions;
111
- type _D<T, $O extends $UtilOptions> = T extends object ? IdentityEqual<T, {}, $ResolveBranch<T, $O, [$Then]>, IsNever<keyof T, {
112
- $then: $ResolveBranch<T, $O, [$Else]>;
113
- $else: $ResolveBranch<T, $O, [$Then]>;
114
- }>> : $ResolveBranch<T, $O, [$Then]>;
115
- type _N<T, $O extends $UtilOptions> = [T] extends [object & infer U] ? U extends object ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
114
+ type $UtilOptions = NotAssignable.$UtilOptions & $Exact.Options;
115
+ type _D<T, $O extends $UtilOptions> = T extends object ? IdentityEqual<T, {}, $ResolveBranch<$O, [$Then], T>, IsNever<keyof T, {
116
+ $then: $ResolveBranch<$O, [$Else]>;
117
+ $else: $ResolveBranch<$O, [$Then], T>;
118
+ }>> : $ResolveBranch<$O, [$Then], T>;
119
+ type _N<T, $O extends $UtilOptions> = [T] extends [object & infer U] ? U extends object ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
116
120
  }
117
121
  //# sourceMappingURL=is_not_object.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"is_not_object.d.ts","sourceRoot":"","sources":["../../src/object/is_not_object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,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,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;GAYG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,EAAE,SAAS,WAAW,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC9E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC3B,CACD,CACD,CAAA;AACD,yBAAiB,WAAW,CAAC;IAC5B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,aAAa,CAAA;IACzD,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,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,SAAS,IAAI,GACnG,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC3D,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IACjC,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,aAAa,CAAA;IAErE,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAC1D,aAAa,CACb,CAAC,EACD,EAAE,EACF,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAC9B,OAAO,CACN,MAAM,CAAC,EACP;QACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QACrC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KACrC,CACD,CACD,GACA,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACxE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}
1
+ {"version":3,"file":"is_not_object.d.ts","sourceRoot":"","sources":["../../src/object/is_not_object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAEpE;;;;;;;;;;;;GAYG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,EAAE,SAAS,WAAW,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC1E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC3B,CACD,CACD,CAAA;AACD,yBAAiB,WAAW,CAAC;IAC5B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,IAAI,GACpG,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC/D,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IACjC,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAA;IAEtE,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAC1D,aAAa,CACb,CAAC,EACD,EAAE,EACF,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAC9B,OAAO,CACN,MAAM,CAAC,EACP;QACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QAClC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;KACrC,CACD,CACD,GACA,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAEjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACxE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACjC"}