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

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 (993) 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.reverse.d.ts +1 -1
  62. package/cjs/array/array.reverse.d.ts.map +1 -1
  63. package/cjs/array/array.some.d.ts +1 -1
  64. package/cjs/array/array.some.d.ts.map +1 -1
  65. package/cjs/array/array_plus.common_prop_keys.d.ts +1 -1
  66. package/cjs/array/array_plus.common_prop_keys.d.ts.map +1 -1
  67. package/cjs/array/array_plus.filter.d.ts +2 -2
  68. package/cjs/array/array_plus.filter.d.ts.map +1 -1
  69. package/cjs/array/array_plus.find.d.ts +2 -2
  70. package/cjs/array/array_plus.find.d.ts.map +1 -1
  71. package/cjs/array/array_plus.index_at.d.ts +16 -10
  72. package/cjs/array/array_plus.index_at.d.ts.map +1 -1
  73. package/cjs/array/array_plus.index_at.js.map +1 -1
  74. package/cjs/array/array_plus.is_readonly.d.ts +3 -3
  75. package/cjs/array/array_plus.is_readonly.d.ts.map +1 -1
  76. package/cjs/array/head.d.ts +3 -3
  77. package/cjs/array/head.d.ts.map +1 -1
  78. package/cjs/array/is_array.d.ts +23 -19
  79. package/cjs/array/is_array.d.ts.map +1 -1
  80. package/cjs/array/is_not_array.d.ts +23 -19
  81. package/cjs/array/is_not_array.d.ts.map +1 -1
  82. package/cjs/array/last.d.ts +5 -3
  83. package/cjs/array/last.d.ts.map +1 -1
  84. package/cjs/array/literal_array.js +1 -2
  85. package/cjs/array/literal_array.js.map +1 -1
  86. package/cjs/array/reduce_while.js +1 -2
  87. package/cjs/array/reduce_while.js.map +1 -1
  88. package/cjs/assertion/assert_type.d.ts +1 -1
  89. package/cjs/assertion/assert_type.d.ts.map +1 -1
  90. package/cjs/assertion/assert_type.js +1 -4
  91. package/cjs/assertion/assert_type.js.map +1 -1
  92. package/cjs/bigint/is_bigint.d.ts +20 -16
  93. package/cjs/bigint/is_bigint.d.ts.map +1 -1
  94. package/cjs/bigint/is_bigint_literal.d.ts +18 -13
  95. package/cjs/bigint/is_bigint_literal.d.ts.map +1 -1
  96. package/cjs/bigint/is_not_bigint.d.ts +20 -16
  97. package/cjs/bigint/is_not_bigint.d.ts.map +1 -1
  98. package/cjs/bigint/is_not_bigint_literal.d.ts +19 -13
  99. package/cjs/bigint/is_not_bigint_literal.d.ts.map +1 -1
  100. package/cjs/binary/_binary.d.ts +2 -1
  101. package/cjs/binary/_binary.d.ts.map +1 -1
  102. package/cjs/binary/_binary.js +3 -0
  103. package/cjs/binary/_binary.js.map +1 -1
  104. package/cjs/binary/bit.d.ts +26 -0
  105. package/cjs/binary/bit.d.ts.map +1 -0
  106. package/cjs/binary/{Bit.js → bit.js} +1 -1
  107. package/cjs/binary/bit.js.map +1 -0
  108. package/cjs/boolean/is_boolean.d.ts +20 -16
  109. package/cjs/boolean/is_boolean.d.ts.map +1 -1
  110. package/cjs/boolean/is_false.d.ts +15 -9
  111. package/cjs/boolean/is_false.d.ts.map +1 -1
  112. package/cjs/boolean/is_not_boolean.d.ts +21 -16
  113. package/cjs/boolean/is_not_boolean.d.ts.map +1 -1
  114. package/cjs/boolean/is_not_false.d.ts +16 -9
  115. package/cjs/boolean/is_not_false.d.ts.map +1 -1
  116. package/cjs/boolean/is_not_true.d.ts +15 -9
  117. package/cjs/boolean/is_not_true.d.ts.map +1 -1
  118. package/cjs/boolean/is_true.d.ts +15 -9
  119. package/cjs/boolean/is_true.d.ts.map +1 -1
  120. package/cjs/class/isConstructor.js +2 -3
  121. package/cjs/class/isConstructor.js.map +1 -1
  122. package/cjs/equal/equal.d.ts +189 -74
  123. package/cjs/equal/equal.d.ts.map +1 -1
  124. package/cjs/equal/identity_equal.d.ts +5 -1
  125. package/cjs/equal/identity_equal.d.ts.map +1 -1
  126. package/cjs/equal/is_equal.d.ts +102 -0
  127. package/cjs/equal/is_equal.d.ts.map +1 -0
  128. package/cjs/equal/is_equal.js +3 -0
  129. package/cjs/equal/is_equal.js.map +1 -0
  130. package/cjs/function/extract_function.d.ts.map +1 -1
  131. package/cjs/function/extract_function.js +1 -2
  132. package/cjs/function/extract_function.js.map +1 -1
  133. package/cjs/function/is_function.d.ts +28 -5
  134. package/cjs/function/is_function.d.ts.map +1 -1
  135. package/cjs/function/is_not_function.d.ts +1 -1
  136. package/cjs/function/is_not_function.d.ts.map +1 -1
  137. package/cjs/function/is_not_strict_function.d.ts +15 -13
  138. package/cjs/function/is_not_strict_function.d.ts.map +1 -1
  139. package/cjs/function/is_strict_function.d.ts +22 -17
  140. package/cjs/function/is_strict_function.d.ts.map +1 -1
  141. package/cjs/functional/Maybe.d.ts +1 -1
  142. package/cjs/functional/Maybe.d.ts.map +1 -1
  143. package/cjs/functional/Maybe.js +2 -3
  144. package/cjs/functional/Maybe.js.map +1 -1
  145. package/cjs/functional/compose.d.ts.map +1 -1
  146. package/cjs/functional/compose.js +2 -5
  147. package/cjs/functional/compose.js.map +1 -1
  148. package/cjs/functional/context.js +1 -2
  149. package/cjs/functional/context.js.map +1 -1
  150. package/cjs/index.d.ts +21 -22
  151. package/cjs/index.d.ts.map +1 -1
  152. package/cjs/index.js.map +1 -1
  153. package/cjs/json.js +1 -1
  154. package/cjs/json.js.map +1 -1
  155. package/cjs/logical/logical.d.ts +35 -0
  156. package/cjs/logical/logical.d.ts.map +1 -0
  157. package/cjs/{predicates → logical}/logical.js.map +1 -1
  158. package/cjs/math/abs.d.ts +1 -1
  159. package/cjs/math/abs.d.ts.map +1 -1
  160. package/cjs/math/numeric_struct.d.ts.map +1 -1
  161. package/cjs/mix_types/box.d.ts +2 -2
  162. package/cjs/mix_types/box.d.ts.map +1 -1
  163. package/cjs/mix_types/is_any_or_never.d.ts +2 -3
  164. package/cjs/mix_types/is_any_or_never.d.ts.map +1 -1
  165. package/cjs/mix_types/merge.d.ts +18 -6
  166. package/cjs/mix_types/merge.d.ts.map +1 -1
  167. package/cjs/mix_types/merge.js +1 -2
  168. package/cjs/mix_types/merge.js.map +1 -1
  169. package/cjs/never/is_never.d.ts +16 -15
  170. package/cjs/never/is_never.d.ts.map +1 -1
  171. package/cjs/never/is_not_never.d.ts +16 -15
  172. package/cjs/never/is_not_never.d.ts.map +1 -1
  173. package/cjs/nodejs/isNodeError.js +1 -2
  174. package/cjs/nodejs/isNodeError.js.map +1 -1
  175. package/cjs/nominal/brand.js +1 -2
  176. package/cjs/nominal/brand.js.map +1 -1
  177. package/cjs/nominal/flavor.js +1 -2
  178. package/cjs/nominal/flavor.js.map +1 -1
  179. package/cjs/nominal/nominal_match.js +1 -2
  180. package/cjs/nominal/nominal_match.js.map +1 -1
  181. package/cjs/null/is_not_null.d.ts +15 -9
  182. package/cjs/null/is_not_null.d.ts.map +1 -1
  183. package/cjs/null/is_null.d.ts +15 -9
  184. package/cjs/null/is_null.d.ts.map +1 -1
  185. package/cjs/number/is_not_number.d.ts +20 -16
  186. package/cjs/number/is_not_number.d.ts.map +1 -1
  187. package/cjs/number/is_not_number_literal.d.ts +18 -13
  188. package/cjs/number/is_not_number_literal.d.ts.map +1 -1
  189. package/cjs/number/is_number.d.ts +20 -16
  190. package/cjs/number/is_number.d.ts.map +1 -1
  191. package/cjs/number/is_number_literal.d.ts +18 -13
  192. package/cjs/number/is_number_literal.d.ts.map +1 -1
  193. package/cjs/numeric/is_integer.d.ts +18 -12
  194. package/cjs/numeric/is_integer.d.ts.map +1 -1
  195. package/cjs/numeric/is_negative.d.ts +19 -13
  196. package/cjs/numeric/is_negative.d.ts.map +1 -1
  197. package/cjs/numeric/is_not_integer.d.ts +13 -7
  198. package/cjs/numeric/is_not_integer.d.ts.map +1 -1
  199. package/cjs/numeric/is_not_negative.d.ts +15 -9
  200. package/cjs/numeric/is_not_negative.d.ts.map +1 -1
  201. package/cjs/numeric/is_not_numeric.d.ts +1 -1
  202. package/cjs/numeric/is_not_numeric.d.ts.map +1 -1
  203. package/cjs/numeric/is_not_positive.d.ts +13 -7
  204. package/cjs/numeric/is_not_positive.d.ts.map +1 -1
  205. package/cjs/numeric/is_numeric.d.ts +28 -5
  206. package/cjs/numeric/is_numeric.d.ts.map +1 -1
  207. package/cjs/numeric/is_positive.d.ts +19 -13
  208. package/cjs/numeric/is_positive.d.ts.map +1 -1
  209. package/cjs/object/ANotB.d.ts +1 -1
  210. package/cjs/object/ANotB.d.ts.map +1 -1
  211. package/cjs/object/adjust_exact_optional_props.d.ts +6 -3
  212. package/cjs/object/adjust_exact_optional_props.d.ts.map +1 -1
  213. package/cjs/object/everyKey.js +1 -2
  214. package/cjs/object/everyKey.js.map +1 -1
  215. package/cjs/object/facade.js +1 -2
  216. package/cjs/object/facade.js.map +1 -1
  217. package/cjs/object/filterKey.js +1 -2
  218. package/cjs/object/filterKey.js.map +1 -1
  219. package/cjs/object/findKey.js +1 -2
  220. package/cjs/object/findKey.js.map +1 -1
  221. package/cjs/object/forEachKey.js +1 -2
  222. package/cjs/object/forEachKey.js.map +1 -1
  223. package/cjs/object/getField.js +1 -2
  224. package/cjs/object/getField.js.map +1 -1
  225. package/cjs/object/hasKey.js +1 -2
  226. package/cjs/object/hasKey.js.map +1 -1
  227. package/cjs/object/hasProperty.js +1 -2
  228. package/cjs/object/hasProperty.js.map +1 -1
  229. package/cjs/object/index.d.ts +6 -6
  230. package/cjs/object/index.d.ts.map +1 -1
  231. package/cjs/object/index.js.map +1 -1
  232. package/cjs/object/is_not_object.d.ts +23 -19
  233. package/cjs/object/is_not_object.d.ts.map +1 -1
  234. package/cjs/object/is_object.d.ts +23 -19
  235. package/cjs/object/is_object.d.ts.map +1 -1
  236. package/cjs/object/left_join.d.ts +1 -1
  237. package/cjs/object/left_join.d.ts.map +1 -1
  238. package/cjs/object/mapKey.js +1 -2
  239. package/cjs/object/mapKey.js.map +1 -1
  240. package/cjs/object/mapProperties.js +1 -2
  241. package/cjs/object/mapProperties.js.map +1 -1
  242. package/cjs/object/merge.d.ts +54 -48
  243. package/cjs/object/merge.d.ts.map +1 -1
  244. package/cjs/object/omit.js +1 -2
  245. package/cjs/object/omit.js.map +1 -1
  246. package/cjs/object/pick.js +1 -2
  247. package/cjs/object/pick.js.map +1 -1
  248. package/cjs/object/properties.d.ts +29 -4
  249. package/cjs/object/properties.d.ts.map +1 -1
  250. package/cjs/object/properties.js +1 -0
  251. package/cjs/object/properties.js.map +1 -1
  252. package/cjs/object/record.js +1 -2
  253. package/cjs/object/record.js.map +1 -1
  254. package/cjs/object/reduceKey.js +2 -2
  255. package/cjs/object/reduceKey.js.map +1 -1
  256. package/cjs/object/replaceProperty.js +1 -2
  257. package/cjs/object/replaceProperty.js.map +1 -1
  258. package/cjs/object/someKey.js +1 -2
  259. package/cjs/object/someKey.js.map +1 -1
  260. package/cjs/object/split.js +1 -2
  261. package/cjs/object/split.js.map +1 -1
  262. package/cjs/object/typeOverrideIncompatible.d.ts.map +1 -1
  263. package/cjs/object/typeOverrideIncompatible.js +1 -2
  264. package/cjs/object/typeOverrideIncompatible.js.map +1 -1
  265. package/cjs/predicates/CanAssign.js +1 -2
  266. package/cjs/predicates/CanAssign.js.map +1 -1
  267. package/cjs/predicates/assignable.d.ts +23 -25
  268. package/cjs/predicates/assignable.d.ts.map +1 -1
  269. package/cjs/predicates/index.d.ts +1 -1
  270. package/cjs/predicates/index.d.ts.map +1 -1
  271. package/cjs/predicates/index.js.map +1 -1
  272. package/cjs/predicates/not_assignable.d.ts +24 -26
  273. package/cjs/predicates/not_assignable.d.ts.map +1 -1
  274. package/cjs/promise/MaybePromise.js +2 -2
  275. package/cjs/promise/MaybePromise.js.map +1 -1
  276. package/cjs/promise/index.d.ts +1 -1
  277. package/cjs/promise/index.d.ts.map +1 -1
  278. package/cjs/promise/index.js +1 -1
  279. package/cjs/promise/index.js.map +1 -1
  280. package/cjs/promise/isPromise.js +2 -3
  281. package/cjs/promise/isPromise.js.map +1 -1
  282. package/cjs/promise/mapSeries.js +1 -2
  283. package/cjs/promise/mapSeries.js.map +1 -1
  284. package/cjs/string/$extract_manipulated_string.d.ts.map +1 -1
  285. package/cjs/string/_string_type.d.ts.map +1 -1
  286. package/cjs/string/is_not_string.d.ts +20 -17
  287. package/cjs/string/is_not_string.d.ts.map +1 -1
  288. package/cjs/string/is_not_string_literal.d.ts +25 -22
  289. package/cjs/string/is_not_string_literal.d.ts.map +1 -1
  290. package/cjs/string/is_not_template_literal.d.ts +18 -13
  291. package/cjs/string/is_not_template_literal.d.ts.map +1 -1
  292. package/cjs/string/is_string.d.ts +20 -16
  293. package/cjs/string/is_string.d.ts.map +1 -1
  294. package/cjs/string/is_string_literal.d.ts +25 -22
  295. package/cjs/string/is_string_literal.d.ts.map +1 -1
  296. package/cjs/string/is_template_literal.d.ts +18 -13
  297. package/cjs/string/is_template_literal.d.ts.map +1 -1
  298. package/cjs/symbol/is_not_symbol.d.ts +15 -9
  299. package/cjs/symbol/is_not_symbol.d.ts.map +1 -1
  300. package/cjs/symbol/is_symbol.d.ts +15 -9
  301. package/cjs/symbol/is_symbol.d.ts.map +1 -1
  302. package/cjs/testing/stub.d.ts +2 -3
  303. package/cjs/testing/stub.d.ts.map +1 -1
  304. package/cjs/testing/stub.js +1 -2
  305. package/cjs/testing/stub.js.map +1 -1
  306. package/cjs/testing/test_type.d.ts +1 -1
  307. package/cjs/testing/test_type.d.ts.map +1 -1
  308. package/cjs/tuple/drop.js +1 -2
  309. package/cjs/tuple/drop.js.map +1 -1
  310. package/cjs/tuple/is_not_tuple.d.ts +18 -13
  311. package/cjs/tuple/is_not_tuple.d.ts.map +1 -1
  312. package/cjs/tuple/is_tuple.d.ts +18 -13
  313. package/cjs/tuple/is_tuple.d.ts.map +1 -1
  314. package/cjs/tuple/tuple_plus.common_prop_keys.d.ts +1 -1
  315. package/cjs/tuple/tuple_plus.common_prop_keys.d.ts.map +1 -1
  316. package/cjs/tuple/tuple_plus.drop_match.d.ts +1 -1
  317. package/cjs/tuple/tuple_plus.drop_match.d.ts.map +1 -1
  318. package/cjs/tuple/tuple_plus.find.d.ts +1 -1
  319. package/cjs/tuple/tuple_plus.find.d.ts.map +1 -1
  320. package/cjs/type-guard/is_type.d.ts +3 -3
  321. package/cjs/type-guard/is_type.d.ts.map +1 -1
  322. package/cjs/type-guard/is_type.js +1 -2
  323. package/cjs/type-guard/is_type.js.map +1 -1
  324. package/cjs/undefined/has_undefined.d.ts +4 -5
  325. package/cjs/undefined/has_undefined.d.ts.map +1 -1
  326. package/cjs/undefined/is_not_undefined.d.ts +15 -9
  327. package/cjs/undefined/is_not_undefined.d.ts.map +1 -1
  328. package/cjs/undefined/is_undefined.d.ts +15 -9
  329. package/cjs/undefined/is_undefined.d.ts.map +1 -1
  330. package/cjs/union/union_to_intersection.js +1 -2
  331. package/cjs/union/union_to_intersection.js.map +1 -1
  332. package/cjs/unknown/is_not_unknown.d.ts +15 -14
  333. package/cjs/unknown/is_not_unknown.d.ts.map +1 -1
  334. package/cjs/unknown/is_unknown.d.ts +15 -14
  335. package/cjs/unknown/is_unknown.d.ts.map +1 -1
  336. package/cjs/unknown/not_unknown_or.d.ts +1 -1
  337. package/cjs/unknown/not_unknown_or.d.ts.map +1 -1
  338. package/cjs/utils/Widen.d.ts +9 -2
  339. package/cjs/utils/Widen.d.ts.map +1 -1
  340. package/cjs/utils/as.d.ts +1 -1
  341. package/cjs/utils/as.d.ts.map +1 -1
  342. package/cjs/utils/as.js +3 -4
  343. package/cjs/utils/as.js.map +1 -1
  344. package/cjs/utils/excessive.d.ts +12 -0
  345. package/cjs/utils/excessive.d.ts.map +1 -0
  346. package/cjs/utils/excessive.js +3 -0
  347. package/cjs/utils/excessive.js.map +1 -0
  348. package/cjs/utils/inspect.js +1 -2
  349. package/cjs/utils/inspect.js.map +1 -1
  350. package/cjs/{type → utils}/no_infer.d.ts +9 -7
  351. package/cjs/utils/no_infer.d.ts.map +1 -0
  352. package/cjs/{type → utils}/no_infer.js.map +1 -1
  353. package/cjs/void/is_not_void.d.ts +17 -10
  354. package/cjs/void/is_not_void.d.ts.map +1 -1
  355. package/cjs/void/is_void.d.ts +17 -10
  356. package/cjs/void/is_void.d.ts.map +1 -1
  357. package/{cjs/type_plus → esm/$type}/$resolve_options.d.ts +2 -2
  358. package/esm/$type/$resolve_options.d.ts.map +1 -0
  359. package/esm/$type/$resolve_options.js.map +1 -0
  360. package/esm/$type/$type.d.ts +34 -0
  361. package/esm/$type/$type.d.ts.map +1 -0
  362. package/esm/{type_plus → $type}/$type.js.map +1 -1
  363. package/{cjs/type_plus → esm/$type}/branch/$branch.d.ts +3 -3
  364. package/esm/$type/branch/$branch.d.ts.map +1 -0
  365. package/esm/$type/branch/$branch.js.map +1 -0
  366. package/{cjs/type_plus → esm/$type}/branch/$input_options.d.ts +2 -1
  367. package/esm/$type/branch/$input_options.d.ts.map +1 -0
  368. package/esm/$type/branch/$input_options.js.map +1 -0
  369. package/esm/$type/branch/$resolve_branch.d.ts +22 -0
  370. package/esm/$type/branch/$resolve_branch.d.ts.map +1 -0
  371. package/esm/$type/branch/$resolve_branch.js.map +1 -0
  372. package/esm/$type/branch/$selection.d.ts +161 -0
  373. package/esm/$type/branch/$selection.d.ts.map +1 -0
  374. package/esm/$type/branch/$selection.js.map +1 -0
  375. package/esm/$type/distributive/$distributive.d.ts +27 -0
  376. package/esm/$type/distributive/$distributive.d.ts.map +1 -0
  377. package/esm/$type/distributive/$distributive.js.map +1 -0
  378. package/esm/$type/errors/$error.d.ts +23 -0
  379. package/esm/$type/errors/$error.d.ts.map +1 -0
  380. package/esm/{type_plus → $type/errors}/$error.js.map +1 -1
  381. package/{cjs/type_plus → esm/$type/errors}/$infer_error.d.ts +7 -6
  382. package/esm/$type/errors/$infer_error.d.ts.map +1 -0
  383. package/esm/$type/errors/$infer_error.js.map +1 -0
  384. package/{cjs/type → esm/$type/errors}/failed.d.ts +4 -0
  385. package/esm/$type/errors/failed.d.ts.map +1 -0
  386. package/esm/{type → $type/errors}/failed.js.map +1 -1
  387. package/esm/$type/exact/$exact.d.ts +27 -0
  388. package/esm/$type/exact/$exact.d.ts.map +1 -0
  389. package/esm/{type_plus/branch → $type/exact}/$exact.js.map +1 -1
  390. package/esm/$type/special/$any.d.ts +36 -0
  391. package/esm/$type/special/$any.d.ts.map +1 -0
  392. package/esm/$type/special/$any.js +2 -0
  393. package/esm/$type/special/$any.js.map +1 -0
  394. package/esm/$type/special/$never.d.ts +52 -0
  395. package/esm/$type/special/$never.d.ts.map +1 -0
  396. package/esm/$type/special/$never.js +2 -0
  397. package/esm/$type/special/$never.js.map +1 -0
  398. package/esm/$type/special/$special.d.ts +31 -0
  399. package/esm/$type/special/$special.d.ts.map +1 -0
  400. package/esm/$type/special/$special.js +2 -0
  401. package/esm/$type/special/$special.js.map +1 -0
  402. package/esm/$type/special/$unknown.d.ts +37 -0
  403. package/esm/$type/special/$unknown.d.ts.map +1 -0
  404. package/esm/$type/special/$unknown.js +2 -0
  405. package/esm/$type/special/$unknown.js.map +1 -0
  406. package/esm/$type/special/$void.d.ts +46 -0
  407. package/esm/$type/special/$void.d.ts.map +1 -0
  408. package/esm/$type/special/$void.js +2 -0
  409. package/esm/$type/special/$void.js.map +1 -0
  410. package/esm/$type/utils/$merge_options.d.ts +14 -0
  411. package/esm/$type/utils/$merge_options.d.ts.map +1 -0
  412. package/esm/$type/utils/$merge_options.js.map +1 -0
  413. package/esm/any/is_any.d.ts +23 -20
  414. package/esm/any/is_any.d.ts.map +1 -1
  415. package/esm/any/is_not_any.d.ts +15 -14
  416. package/esm/any/is_not_any.d.ts.map +1 -1
  417. package/esm/array/array.reverse.d.ts +1 -1
  418. package/esm/array/array.reverse.d.ts.map +1 -1
  419. package/esm/array/array.some.d.ts +1 -1
  420. package/esm/array/array.some.d.ts.map +1 -1
  421. package/esm/array/array_plus.common_prop_keys.d.ts +1 -1
  422. package/esm/array/array_plus.common_prop_keys.d.ts.map +1 -1
  423. package/esm/array/array_plus.filter.d.ts +2 -2
  424. package/esm/array/array_plus.filter.d.ts.map +1 -1
  425. package/esm/array/array_plus.find.d.ts +2 -2
  426. package/esm/array/array_plus.find.d.ts.map +1 -1
  427. package/esm/array/array_plus.index_at.d.ts +16 -10
  428. package/esm/array/array_plus.index_at.d.ts.map +1 -1
  429. package/esm/array/array_plus.index_at.js.map +1 -1
  430. package/esm/array/array_plus.is_readonly.d.ts +3 -3
  431. package/esm/array/array_plus.is_readonly.d.ts.map +1 -1
  432. package/esm/array/head.d.ts +3 -3
  433. package/esm/array/head.d.ts.map +1 -1
  434. package/esm/array/is_array.d.ts +23 -19
  435. package/esm/array/is_array.d.ts.map +1 -1
  436. package/esm/array/is_not_array.d.ts +23 -19
  437. package/esm/array/is_not_array.d.ts.map +1 -1
  438. package/esm/array/last.d.ts +5 -3
  439. package/esm/array/last.d.ts.map +1 -1
  440. package/esm/assertion/assert_type.d.ts +1 -1
  441. package/esm/assertion/assert_type.d.ts.map +1 -1
  442. package/esm/assertion/assert_type.js +0 -2
  443. package/esm/assertion/assert_type.js.map +1 -1
  444. package/esm/bigint/is_bigint.d.ts +20 -16
  445. package/esm/bigint/is_bigint.d.ts.map +1 -1
  446. package/esm/bigint/is_bigint_literal.d.ts +18 -13
  447. package/esm/bigint/is_bigint_literal.d.ts.map +1 -1
  448. package/esm/bigint/is_not_bigint.d.ts +20 -16
  449. package/esm/bigint/is_not_bigint.d.ts.map +1 -1
  450. package/esm/bigint/is_not_bigint_literal.d.ts +19 -13
  451. package/esm/bigint/is_not_bigint_literal.d.ts.map +1 -1
  452. package/esm/binary/_binary.d.ts +2 -1
  453. package/esm/binary/_binary.d.ts.map +1 -1
  454. package/esm/binary/_binary.js +2 -1
  455. package/esm/binary/_binary.js.map +1 -1
  456. package/esm/binary/bit.d.ts +26 -0
  457. package/esm/binary/bit.d.ts.map +1 -0
  458. package/esm/binary/bit.js +2 -0
  459. package/esm/binary/bit.js.map +1 -0
  460. package/esm/boolean/is_boolean.d.ts +20 -16
  461. package/esm/boolean/is_boolean.d.ts.map +1 -1
  462. package/esm/boolean/is_false.d.ts +15 -9
  463. package/esm/boolean/is_false.d.ts.map +1 -1
  464. package/esm/boolean/is_not_boolean.d.ts +21 -16
  465. package/esm/boolean/is_not_boolean.d.ts.map +1 -1
  466. package/esm/boolean/is_not_false.d.ts +16 -9
  467. package/esm/boolean/is_not_false.d.ts.map +1 -1
  468. package/esm/boolean/is_not_true.d.ts +15 -9
  469. package/esm/boolean/is_not_true.d.ts.map +1 -1
  470. package/esm/boolean/is_true.d.ts +15 -9
  471. package/esm/boolean/is_true.d.ts.map +1 -1
  472. package/esm/equal/equal.d.ts +189 -74
  473. package/esm/equal/equal.d.ts.map +1 -1
  474. package/esm/equal/identity_equal.d.ts +5 -1
  475. package/esm/equal/identity_equal.d.ts.map +1 -1
  476. package/esm/equal/is_equal.d.ts +102 -0
  477. package/esm/equal/is_equal.d.ts.map +1 -0
  478. package/esm/equal/is_equal.js +2 -0
  479. package/esm/equal/is_equal.js.map +1 -0
  480. package/esm/function/extract_function.d.ts.map +1 -1
  481. package/esm/function/is_function.d.ts +28 -5
  482. package/esm/function/is_function.d.ts.map +1 -1
  483. package/esm/function/is_not_function.d.ts +1 -1
  484. package/esm/function/is_not_function.d.ts.map +1 -1
  485. package/esm/function/is_not_strict_function.d.ts +15 -13
  486. package/esm/function/is_not_strict_function.d.ts.map +1 -1
  487. package/esm/function/is_strict_function.d.ts +22 -17
  488. package/esm/function/is_strict_function.d.ts.map +1 -1
  489. package/esm/functional/Maybe.d.ts +1 -1
  490. package/esm/functional/Maybe.d.ts.map +1 -1
  491. package/esm/functional/compose.d.ts.map +1 -1
  492. package/esm/functional/compose.js +1 -3
  493. package/esm/functional/compose.js.map +1 -1
  494. package/esm/index.d.ts +21 -22
  495. package/esm/index.d.ts.map +1 -1
  496. package/esm/index.js.map +1 -1
  497. package/esm/json.js +1 -1
  498. package/esm/json.js.map +1 -1
  499. package/esm/logical/logical.d.ts +35 -0
  500. package/esm/logical/logical.d.ts.map +1 -0
  501. package/esm/{predicates → logical}/logical.js.map +1 -1
  502. package/esm/math/abs.d.ts +1 -1
  503. package/esm/math/abs.d.ts.map +1 -1
  504. package/esm/math/numeric_struct.d.ts.map +1 -1
  505. package/esm/mix_types/box.d.ts +2 -2
  506. package/esm/mix_types/box.d.ts.map +1 -1
  507. package/esm/mix_types/is_any_or_never.d.ts +2 -3
  508. package/esm/mix_types/is_any_or_never.d.ts.map +1 -1
  509. package/esm/mix_types/merge.d.ts +18 -6
  510. package/esm/mix_types/merge.d.ts.map +1 -1
  511. package/esm/mix_types/merge.js.map +1 -1
  512. package/esm/never/is_never.d.ts +16 -15
  513. package/esm/never/is_never.d.ts.map +1 -1
  514. package/esm/never/is_not_never.d.ts +16 -15
  515. package/esm/never/is_not_never.d.ts.map +1 -1
  516. package/esm/null/is_not_null.d.ts +15 -9
  517. package/esm/null/is_not_null.d.ts.map +1 -1
  518. package/esm/null/is_null.d.ts +15 -9
  519. package/esm/null/is_null.d.ts.map +1 -1
  520. package/esm/number/is_not_number.d.ts +20 -16
  521. package/esm/number/is_not_number.d.ts.map +1 -1
  522. package/esm/number/is_not_number_literal.d.ts +18 -13
  523. package/esm/number/is_not_number_literal.d.ts.map +1 -1
  524. package/esm/number/is_number.d.ts +20 -16
  525. package/esm/number/is_number.d.ts.map +1 -1
  526. package/esm/number/is_number_literal.d.ts +18 -13
  527. package/esm/number/is_number_literal.d.ts.map +1 -1
  528. package/esm/numeric/is_integer.d.ts +18 -12
  529. package/esm/numeric/is_integer.d.ts.map +1 -1
  530. package/esm/numeric/is_negative.d.ts +19 -13
  531. package/esm/numeric/is_negative.d.ts.map +1 -1
  532. package/esm/numeric/is_not_integer.d.ts +13 -7
  533. package/esm/numeric/is_not_integer.d.ts.map +1 -1
  534. package/esm/numeric/is_not_negative.d.ts +15 -9
  535. package/esm/numeric/is_not_negative.d.ts.map +1 -1
  536. package/esm/numeric/is_not_numeric.d.ts +1 -1
  537. package/esm/numeric/is_not_numeric.d.ts.map +1 -1
  538. package/esm/numeric/is_not_positive.d.ts +13 -7
  539. package/esm/numeric/is_not_positive.d.ts.map +1 -1
  540. package/esm/numeric/is_numeric.d.ts +28 -5
  541. package/esm/numeric/is_numeric.d.ts.map +1 -1
  542. package/esm/numeric/is_positive.d.ts +19 -13
  543. package/esm/numeric/is_positive.d.ts.map +1 -1
  544. package/esm/object/ANotB.d.ts +1 -1
  545. package/esm/object/ANotB.d.ts.map +1 -1
  546. package/esm/object/adjust_exact_optional_props.d.ts +6 -3
  547. package/esm/object/adjust_exact_optional_props.d.ts.map +1 -1
  548. package/esm/object/index.d.ts +6 -6
  549. package/esm/object/index.d.ts.map +1 -1
  550. package/esm/object/index.js.map +1 -1
  551. package/esm/object/is_not_object.d.ts +23 -19
  552. package/esm/object/is_not_object.d.ts.map +1 -1
  553. package/esm/object/is_object.d.ts +23 -19
  554. package/esm/object/is_object.d.ts.map +1 -1
  555. package/esm/object/left_join.d.ts +1 -1
  556. package/esm/object/left_join.d.ts.map +1 -1
  557. package/esm/object/merge.d.ts +54 -48
  558. package/esm/object/merge.d.ts.map +1 -1
  559. package/esm/object/properties.d.ts +29 -4
  560. package/esm/object/properties.d.ts.map +1 -1
  561. package/esm/object/properties.js +1 -0
  562. package/esm/object/properties.js.map +1 -1
  563. package/esm/object/typeOverrideIncompatible.d.ts.map +1 -1
  564. package/esm/predicates/assignable.d.ts +23 -25
  565. package/esm/predicates/assignable.d.ts.map +1 -1
  566. package/esm/predicates/index.d.ts +1 -1
  567. package/esm/predicates/index.d.ts.map +1 -1
  568. package/esm/predicates/index.js.map +1 -1
  569. package/esm/predicates/not_assignable.d.ts +24 -26
  570. package/esm/predicates/not_assignable.d.ts.map +1 -1
  571. package/esm/promise/index.d.ts +1 -1
  572. package/esm/promise/index.d.ts.map +1 -1
  573. package/esm/promise/index.js +1 -1
  574. package/esm/promise/index.js.map +1 -1
  575. package/esm/promise/isPromise.js +1 -1
  576. package/esm/promise/isPromise.js.map +1 -1
  577. package/esm/string/$extract_manipulated_string.d.ts.map +1 -1
  578. package/esm/string/_string_type.d.ts.map +1 -1
  579. package/esm/string/is_not_string.d.ts +20 -17
  580. package/esm/string/is_not_string.d.ts.map +1 -1
  581. package/esm/string/is_not_string_literal.d.ts +25 -22
  582. package/esm/string/is_not_string_literal.d.ts.map +1 -1
  583. package/esm/string/is_not_template_literal.d.ts +18 -13
  584. package/esm/string/is_not_template_literal.d.ts.map +1 -1
  585. package/esm/string/is_string.d.ts +20 -16
  586. package/esm/string/is_string.d.ts.map +1 -1
  587. package/esm/string/is_string_literal.d.ts +25 -22
  588. package/esm/string/is_string_literal.d.ts.map +1 -1
  589. package/esm/string/is_template_literal.d.ts +18 -13
  590. package/esm/string/is_template_literal.d.ts.map +1 -1
  591. package/esm/symbol/is_not_symbol.d.ts +15 -9
  592. package/esm/symbol/is_not_symbol.d.ts.map +1 -1
  593. package/esm/symbol/is_symbol.d.ts +15 -9
  594. package/esm/symbol/is_symbol.d.ts.map +1 -1
  595. package/esm/testing/stub.d.ts +2 -3
  596. package/esm/testing/stub.d.ts.map +1 -1
  597. package/esm/testing/stub.js.map +1 -1
  598. package/esm/testing/test_type.d.ts +1 -1
  599. package/esm/testing/test_type.d.ts.map +1 -1
  600. package/esm/tuple/is_not_tuple.d.ts +18 -13
  601. package/esm/tuple/is_not_tuple.d.ts.map +1 -1
  602. package/esm/tuple/is_tuple.d.ts +18 -13
  603. package/esm/tuple/is_tuple.d.ts.map +1 -1
  604. package/esm/tuple/tuple_plus.common_prop_keys.d.ts +1 -1
  605. package/esm/tuple/tuple_plus.common_prop_keys.d.ts.map +1 -1
  606. package/esm/tuple/tuple_plus.drop_match.d.ts +1 -1
  607. package/esm/tuple/tuple_plus.drop_match.d.ts.map +1 -1
  608. package/esm/tuple/tuple_plus.find.d.ts +1 -1
  609. package/esm/tuple/tuple_plus.find.d.ts.map +1 -1
  610. package/esm/type-guard/is_type.d.ts +3 -3
  611. package/esm/type-guard/is_type.d.ts.map +1 -1
  612. package/esm/undefined/has_undefined.d.ts +4 -5
  613. package/esm/undefined/has_undefined.d.ts.map +1 -1
  614. package/esm/undefined/is_not_undefined.d.ts +15 -9
  615. package/esm/undefined/is_not_undefined.d.ts.map +1 -1
  616. package/esm/undefined/is_undefined.d.ts +15 -9
  617. package/esm/undefined/is_undefined.d.ts.map +1 -1
  618. package/esm/unknown/is_not_unknown.d.ts +15 -14
  619. package/esm/unknown/is_not_unknown.d.ts.map +1 -1
  620. package/esm/unknown/is_unknown.d.ts +15 -14
  621. package/esm/unknown/is_unknown.d.ts.map +1 -1
  622. package/esm/unknown/not_unknown_or.d.ts +1 -1
  623. package/esm/unknown/not_unknown_or.d.ts.map +1 -1
  624. package/esm/utils/Widen.d.ts +9 -2
  625. package/esm/utils/Widen.d.ts.map +1 -1
  626. package/esm/utils/as.d.ts +1 -1
  627. package/esm/utils/as.d.ts.map +1 -1
  628. package/esm/utils/excessive.d.ts +12 -0
  629. package/esm/utils/excessive.d.ts.map +1 -0
  630. package/esm/utils/excessive.js +2 -0
  631. package/esm/utils/excessive.js.map +1 -0
  632. package/esm/{type → utils}/no_infer.d.ts +9 -7
  633. package/esm/utils/no_infer.d.ts.map +1 -0
  634. package/esm/{type → utils}/no_infer.js.map +1 -1
  635. package/esm/void/is_not_void.d.ts +17 -10
  636. package/esm/void/is_not_void.d.ts.map +1 -1
  637. package/esm/void/is_void.d.ts +17 -10
  638. package/esm/void/is_void.d.ts.map +1 -1
  639. package/package.json +18 -22
  640. package/readme.md +74 -74
  641. package/src/{type_plus → $type}/$resolve_options.ts +4 -2
  642. package/src/$type/$type.ts +37 -0
  643. package/src/{type_plus → $type}/branch/$branch.ts +4 -2
  644. package/src/{type_plus → $type}/branch/$input_options.ts +2 -1
  645. package/src/$type/branch/$resolve_branch.ts +46 -0
  646. package/src/$type/branch/$selection.ts +170 -0
  647. package/src/$type/branch/readme.md +78 -0
  648. package/src/$type/distributive/$distributive.ts +34 -0
  649. package/src/$type/distributive/readme.md +26 -0
  650. package/src/$type/errors/$error.ts +20 -0
  651. package/src/{type_plus → $type/errors}/$infer_error.ts +7 -8
  652. package/src/{type → $type/errors}/failed.ts +4 -0
  653. package/src/$type/errors/readme.md +60 -0
  654. package/src/$type/exact/$exact.ts +34 -0
  655. package/src/$type/exact/readme.md +27 -0
  656. package/src/$type/readme.md +23 -0
  657. package/src/$type/special/$any.ts +34 -0
  658. package/src/$type/special/$never.ts +51 -0
  659. package/src/$type/special/$special.ts +40 -0
  660. package/src/$type/special/$unknown.ts +35 -0
  661. package/src/$type/special/$void.ts +44 -0
  662. package/src/$type/special/readme.md +51 -0
  663. package/src/$type/utils/$merge_options.ts +11 -0
  664. package/src/$type/utils/readme.md +10 -0
  665. package/src/any/is_any.ts +23 -20
  666. package/src/any/is_not_any.ts +15 -14
  667. package/src/any/readme.md +30 -19
  668. package/src/array/array.reverse.ts +2 -5
  669. package/src/array/array.some.ts +1 -1
  670. package/src/array/array_plus.common_prop_keys.ts +1 -1
  671. package/src/array/array_plus.filter.ts +2 -2
  672. package/src/array/array_plus.find.ts +2 -2
  673. package/src/array/array_plus.index_at.ts +23 -29
  674. package/src/array/array_plus.is_readonly.ts +3 -3
  675. package/src/array/head.ts +3 -3
  676. package/src/array/is_array.ts +30 -23
  677. package/src/array/is_not_array.ts +30 -23
  678. package/src/array/last.ts +6 -14
  679. package/src/array/readme.md +3 -3
  680. package/src/assertion/assert_type.ts +1 -3
  681. package/src/bigint/is_bigint.ts +28 -21
  682. package/src/bigint/is_bigint_literal.ts +25 -17
  683. package/src/bigint/is_not_bigint.ts +27 -20
  684. package/src/bigint/is_not_bigint_literal.ts +26 -17
  685. package/src/bigint/readme.md +25 -8
  686. package/src/binary/_binary.ts +2 -1
  687. package/src/binary/bit.ts +29 -0
  688. package/src/binary/readme.md +11 -0
  689. package/src/boolean/is_boolean.ts +30 -23
  690. package/src/boolean/is_false.ts +18 -9
  691. package/src/boolean/is_not_boolean.ts +30 -22
  692. package/src/boolean/is_not_false.ts +19 -9
  693. package/src/boolean/is_not_true.ts +18 -9
  694. package/src/boolean/is_true.ts +18 -9
  695. package/src/equal/equal.ts +307 -89
  696. package/src/equal/identity_equal.ts +3 -7
  697. package/src/equal/is_equal.ts +150 -0
  698. package/src/equal/readme.md +20 -1
  699. package/src/function/is_function.ts +37 -5
  700. package/src/function/is_not_function.ts +1 -1
  701. package/src/function/is_not_strict_function.ts +16 -14
  702. package/src/function/is_strict_function.ts +29 -21
  703. package/src/functional/Maybe.ts +1 -1
  704. package/src/functional/compose.ts +1 -3
  705. package/src/index.ts +21 -22
  706. package/src/json.ts +1 -1
  707. package/src/logical/logical.ts +52 -0
  708. package/src/logical/readme.md +53 -0
  709. package/src/math/abs.ts +1 -1
  710. package/src/math/numeric_struct.ts +6 -6
  711. package/src/mix_types/box.ts +2 -2
  712. package/src/mix_types/is_any_or_never.ts +2 -3
  713. package/src/mix_types/merge.ts +22 -17
  714. package/src/never/is_never.ts +16 -15
  715. package/src/never/is_not_never.ts +16 -15
  716. package/src/null/is_not_null.ts +18 -9
  717. package/src/null/is_null.ts +18 -9
  718. package/src/number/is_not_number.ts +27 -20
  719. package/src/number/is_not_number_literal.ts +25 -17
  720. package/src/number/is_number.ts +27 -20
  721. package/src/number/is_number_literal.ts +25 -17
  722. package/src/numeric/is_integer.ts +29 -30
  723. package/src/numeric/is_negative.ts +29 -20
  724. package/src/numeric/is_not_integer.ts +19 -10
  725. package/src/numeric/is_not_negative.ts +25 -13
  726. package/src/numeric/is_not_numeric.ts +1 -1
  727. package/src/numeric/is_not_positive.ts +19 -9
  728. package/src/numeric/is_numeric.ts +37 -5
  729. package/src/numeric/is_positive.ts +29 -21
  730. package/src/object/ANotB.ts +1 -1
  731. package/src/object/adjust_exact_optional_props.ts +10 -1
  732. package/src/object/index.ts +6 -6
  733. package/src/object/is_not_object.ts +29 -22
  734. package/src/object/is_object.ts +29 -22
  735. package/src/object/left_join.ts +1 -1
  736. package/src/object/merge.ts +53 -49
  737. package/src/object/properties.ts +35 -2
  738. package/src/predicates/assignable.ts +23 -25
  739. package/src/predicates/index.ts +1 -1
  740. package/src/predicates/not_assignable.ts +24 -26
  741. package/src/promise/index.ts +1 -1
  742. package/src/promise/isPromise.ts +1 -1
  743. package/src/string/$extract_manipulated_string.ts +32 -28
  744. package/src/string/_string_type.ts +9 -8
  745. package/src/string/is_not_string.ts +29 -23
  746. package/src/string/is_not_string_literal.ts +36 -30
  747. package/src/string/is_not_template_literal.ts +24 -16
  748. package/src/string/is_string.ts +27 -20
  749. package/src/string/is_string_literal.ts +36 -30
  750. package/src/string/is_template_literal.ts +24 -16
  751. package/src/symbol/is_not_symbol.ts +18 -9
  752. package/src/symbol/is_symbol.ts +18 -9
  753. package/src/testing/stub.ts +0 -1
  754. package/src/testing/test_type.ts +1 -1
  755. package/src/tuple/is_not_tuple.ts +26 -17
  756. package/src/tuple/is_tuple.ts +25 -17
  757. package/src/tuple/tuple_plus.common_prop_keys.ts +1 -1
  758. package/src/tuple/tuple_plus.drop_match.ts +1 -1
  759. package/src/tuple/tuple_plus.find.ts +1 -1
  760. package/src/type-guard/is_type.ts +1 -1
  761. package/src/undefined/has_undefined.ts +5 -6
  762. package/src/undefined/is_not_undefined.ts +18 -9
  763. package/src/undefined/is_undefined.ts +18 -9
  764. package/src/unknown/is_not_unknown.ts +15 -14
  765. package/src/unknown/is_unknown.ts +15 -14
  766. package/src/unknown/not_unknown_or.ts +1 -1
  767. package/src/utils/Widen.ts +9 -2
  768. package/src/utils/excessive.ts +11 -0
  769. package/src/{type → utils}/no_infer.ts +13 -7
  770. package/src/utils/readme.md +17 -0
  771. package/src/void/is_not_void.ts +20 -10
  772. package/src/void/is_void.ts +20 -10
  773. package/cjs/any/any.d.ts +0 -49
  774. package/cjs/any/any.d.ts.map +0 -1
  775. package/cjs/any/any.js.map +0 -1
  776. package/cjs/binary/Bit.d.ts +0 -6
  777. package/cjs/binary/Bit.d.ts.map +0 -1
  778. package/cjs/binary/Bit.js.map +0 -1
  779. package/cjs/binary/index.d.ts +0 -3
  780. package/cjs/binary/index.d.ts.map +0 -1
  781. package/cjs/binary/index.js +0 -6
  782. package/cjs/binary/index.js.map +0 -1
  783. package/cjs/never/never.d.ts +0 -75
  784. package/cjs/never/never.d.ts.map +0 -1
  785. package/cjs/never/never.js.map +0 -1
  786. package/cjs/predicates/logical.d.ts +0 -5
  787. package/cjs/predicates/logical.d.ts.map +0 -1
  788. package/cjs/type/failed.d.ts.map +0 -1
  789. package/cjs/type/no_infer.d.ts.map +0 -1
  790. package/cjs/type_plus/$equality.d.ts +0 -12
  791. package/cjs/type_plus/$equality.d.ts.map +0 -1
  792. package/cjs/type_plus/$equality.js +0 -3
  793. package/cjs/type_plus/$equality.js.map +0 -1
  794. package/cjs/type_plus/$error.d.ts +0 -8
  795. package/cjs/type_plus/$error.d.ts.map +0 -1
  796. package/cjs/type_plus/$infer_error.d.ts.map +0 -1
  797. package/cjs/type_plus/$infer_error.js.map +0 -1
  798. package/cjs/type_plus/$merge_options.d.ts +0 -11
  799. package/cjs/type_plus/$merge_options.d.ts.map +0 -1
  800. package/cjs/type_plus/$merge_options.js.map +0 -1
  801. package/cjs/type_plus/$resolve_options.d.ts.map +0 -1
  802. package/cjs/type_plus/$resolve_options.js.map +0 -1
  803. package/cjs/type_plus/$special_type.d.ts +0 -19
  804. package/cjs/type_plus/$special_type.d.ts.map +0 -1
  805. package/cjs/type_plus/$special_type.js +0 -3
  806. package/cjs/type_plus/$special_type.js.map +0 -1
  807. package/cjs/type_plus/$type.d.ts +0 -11
  808. package/cjs/type_plus/$type.d.ts.map +0 -1
  809. package/cjs/type_plus/branch/$branch.d.ts.map +0 -1
  810. package/cjs/type_plus/branch/$branch.js.map +0 -1
  811. package/cjs/type_plus/branch/$distributive.d.ts +0 -19
  812. package/cjs/type_plus/branch/$distributive.d.ts.map +0 -1
  813. package/cjs/type_plus/branch/$distributive.js.map +0 -1
  814. package/cjs/type_plus/branch/$exact.d.ts +0 -21
  815. package/cjs/type_plus/branch/$exact.d.ts.map +0 -1
  816. package/cjs/type_plus/branch/$input_options.d.ts.map +0 -1
  817. package/cjs/type_plus/branch/$input_options.js.map +0 -1
  818. package/cjs/type_plus/branch/$is_distributive.d.ts +0 -6
  819. package/cjs/type_plus/branch/$is_distributive.d.ts.map +0 -1
  820. package/cjs/type_plus/branch/$is_distributive.js +0 -3
  821. package/cjs/type_plus/branch/$is_distributive.js.map +0 -1
  822. package/cjs/type_plus/branch/$override.d.ts +0 -21
  823. package/cjs/type_plus/branch/$override.d.ts.map +0 -1
  824. package/cjs/type_plus/branch/$override.js +0 -3
  825. package/cjs/type_plus/branch/$override.js.map +0 -1
  826. package/cjs/type_plus/branch/$resolve_branch.d.ts +0 -29
  827. package/cjs/type_plus/branch/$resolve_branch.d.ts.map +0 -1
  828. package/cjs/type_plus/branch/$resolve_branch.js.map +0 -1
  829. package/cjs/type_plus/branch/$select.d.ts +0 -77
  830. package/cjs/type_plus/branch/$select.d.ts.map +0 -1
  831. package/cjs/type_plus/branch/$select.js +0 -3
  832. package/cjs/type_plus/branch/$select.js.map +0 -1
  833. package/cjs/type_plus/branch/$select_invert.d.ts +0 -75
  834. package/cjs/type_plus/branch/$select_invert.d.ts.map +0 -1
  835. package/cjs/type_plus/branch/$select_invert.js +0 -3
  836. package/cjs/type_plus/branch/$select_invert.js.map +0 -1
  837. package/cjs/type_plus/branch/$select_invert_strict.d.ts +0 -75
  838. package/cjs/type_plus/branch/$select_invert_strict.d.ts.map +0 -1
  839. package/cjs/type_plus/branch/$select_invert_strict.js +0 -3
  840. package/cjs/type_plus/branch/$select_invert_strict.js.map +0 -1
  841. package/cjs/type_plus/branch/$select_strict.d.ts +0 -76
  842. package/cjs/type_plus/branch/$select_strict.d.ts.map +0 -1
  843. package/cjs/type_plus/branch/$select_strict.js +0 -3
  844. package/cjs/type_plus/branch/$select_strict.js.map +0 -1
  845. package/cjs/type_plus/branch/$selection.d.ts +0 -127
  846. package/cjs/type_plus/branch/$selection.d.ts.map +0 -1
  847. package/cjs/type_plus/branch/$selection.js.map +0 -1
  848. package/cjs/type_plus/branch/$selection_options.d.ts +0 -37
  849. package/cjs/type_plus/branch/$selection_options.d.ts.map +0 -1
  850. package/cjs/type_plus/branch/$selection_options.js +0 -3
  851. package/cjs/type_plus/branch/$selection_options.js.map +0 -1
  852. package/cjs/unknown/unknown.d.ts +0 -55
  853. package/cjs/unknown/unknown.d.ts.map +0 -1
  854. package/cjs/unknown/unknown.js +0 -3
  855. package/cjs/unknown/unknown.js.map +0 -1
  856. package/esm/any/any.d.ts +0 -49
  857. package/esm/any/any.d.ts.map +0 -1
  858. package/esm/any/any.js +0 -2
  859. package/esm/any/any.js.map +0 -1
  860. package/esm/binary/Bit.d.ts +0 -6
  861. package/esm/binary/Bit.d.ts.map +0 -1
  862. package/esm/binary/Bit.js +0 -2
  863. package/esm/binary/Bit.js.map +0 -1
  864. package/esm/binary/index.d.ts +0 -3
  865. package/esm/binary/index.d.ts.map +0 -1
  866. package/esm/binary/index.js +0 -3
  867. package/esm/binary/index.js.map +0 -1
  868. package/esm/never/never.d.ts +0 -75
  869. package/esm/never/never.d.ts.map +0 -1
  870. package/esm/never/never.js +0 -2
  871. package/esm/never/never.js.map +0 -1
  872. package/esm/predicates/logical.d.ts +0 -5
  873. package/esm/predicates/logical.d.ts.map +0 -1
  874. package/esm/type/failed.d.ts.map +0 -1
  875. package/esm/type/no_infer.d.ts.map +0 -1
  876. package/esm/type_plus/$equality.d.ts +0 -12
  877. package/esm/type_plus/$equality.d.ts.map +0 -1
  878. package/esm/type_plus/$equality.js +0 -2
  879. package/esm/type_plus/$equality.js.map +0 -1
  880. package/esm/type_plus/$error.d.ts +0 -8
  881. package/esm/type_plus/$error.d.ts.map +0 -1
  882. package/esm/type_plus/$infer_error.d.ts.map +0 -1
  883. package/esm/type_plus/$infer_error.js.map +0 -1
  884. package/esm/type_plus/$merge_options.d.ts +0 -11
  885. package/esm/type_plus/$merge_options.d.ts.map +0 -1
  886. package/esm/type_plus/$merge_options.js.map +0 -1
  887. package/esm/type_plus/$resolve_options.d.ts.map +0 -1
  888. package/esm/type_plus/$resolve_options.js.map +0 -1
  889. package/esm/type_plus/$special_type.d.ts +0 -19
  890. package/esm/type_plus/$special_type.d.ts.map +0 -1
  891. package/esm/type_plus/$special_type.js +0 -2
  892. package/esm/type_plus/$special_type.js.map +0 -1
  893. package/esm/type_plus/$type.d.ts +0 -11
  894. package/esm/type_plus/$type.d.ts.map +0 -1
  895. package/esm/type_plus/branch/$branch.d.ts.map +0 -1
  896. package/esm/type_plus/branch/$branch.js.map +0 -1
  897. package/esm/type_plus/branch/$distributive.d.ts +0 -19
  898. package/esm/type_plus/branch/$distributive.d.ts.map +0 -1
  899. package/esm/type_plus/branch/$distributive.js.map +0 -1
  900. package/esm/type_plus/branch/$exact.d.ts +0 -21
  901. package/esm/type_plus/branch/$exact.d.ts.map +0 -1
  902. package/esm/type_plus/branch/$input_options.d.ts.map +0 -1
  903. package/esm/type_plus/branch/$input_options.js.map +0 -1
  904. package/esm/type_plus/branch/$is_distributive.d.ts +0 -6
  905. package/esm/type_plus/branch/$is_distributive.d.ts.map +0 -1
  906. package/esm/type_plus/branch/$is_distributive.js +0 -2
  907. package/esm/type_plus/branch/$is_distributive.js.map +0 -1
  908. package/esm/type_plus/branch/$override.d.ts +0 -21
  909. package/esm/type_plus/branch/$override.d.ts.map +0 -1
  910. package/esm/type_plus/branch/$override.js +0 -2
  911. package/esm/type_plus/branch/$override.js.map +0 -1
  912. package/esm/type_plus/branch/$resolve_branch.d.ts +0 -29
  913. package/esm/type_plus/branch/$resolve_branch.d.ts.map +0 -1
  914. package/esm/type_plus/branch/$resolve_branch.js.map +0 -1
  915. package/esm/type_plus/branch/$select.d.ts +0 -77
  916. package/esm/type_plus/branch/$select.d.ts.map +0 -1
  917. package/esm/type_plus/branch/$select.js +0 -2
  918. package/esm/type_plus/branch/$select.js.map +0 -1
  919. package/esm/type_plus/branch/$select_invert.d.ts +0 -75
  920. package/esm/type_plus/branch/$select_invert.d.ts.map +0 -1
  921. package/esm/type_plus/branch/$select_invert.js +0 -2
  922. package/esm/type_plus/branch/$select_invert.js.map +0 -1
  923. package/esm/type_plus/branch/$select_invert_strict.d.ts +0 -75
  924. package/esm/type_plus/branch/$select_invert_strict.d.ts.map +0 -1
  925. package/esm/type_plus/branch/$select_invert_strict.js +0 -2
  926. package/esm/type_plus/branch/$select_invert_strict.js.map +0 -1
  927. package/esm/type_plus/branch/$select_strict.d.ts +0 -76
  928. package/esm/type_plus/branch/$select_strict.d.ts.map +0 -1
  929. package/esm/type_plus/branch/$select_strict.js +0 -2
  930. package/esm/type_plus/branch/$select_strict.js.map +0 -1
  931. package/esm/type_plus/branch/$selection.d.ts +0 -127
  932. package/esm/type_plus/branch/$selection.d.ts.map +0 -1
  933. package/esm/type_plus/branch/$selection.js.map +0 -1
  934. package/esm/type_plus/branch/$selection_options.d.ts +0 -37
  935. package/esm/type_plus/branch/$selection_options.d.ts.map +0 -1
  936. package/esm/type_plus/branch/$selection_options.js +0 -2
  937. package/esm/type_plus/branch/$selection_options.js.map +0 -1
  938. package/esm/unknown/unknown.d.ts +0 -55
  939. package/esm/unknown/unknown.d.ts.map +0 -1
  940. package/esm/unknown/unknown.js +0 -2
  941. package/esm/unknown/unknown.js.map +0 -1
  942. package/src/any/any.ts +0 -46
  943. package/src/binary/Bit.ts +0 -6
  944. package/src/binary/index.ts +0 -2
  945. package/src/never/never.ts +0 -78
  946. package/src/predicates/logical.ts +0 -19
  947. package/src/type/readme.md +0 -36
  948. package/src/type_plus/$equality.ts +0 -12
  949. package/src/type_plus/$error.ts +0 -8
  950. package/src/type_plus/$merge_options.ts +0 -8
  951. package/src/type_plus/$special_type.ts +0 -26
  952. package/src/type_plus/$type.ts +0 -10
  953. package/src/type_plus/branch/$distributive.ts +0 -19
  954. package/src/type_plus/branch/$exact.ts +0 -28
  955. package/src/type_plus/branch/$is_distributive.ts +0 -15
  956. package/src/type_plus/branch/$override.ts +0 -22
  957. package/src/type_plus/branch/$resolve_branch.ts +0 -71
  958. package/src/type_plus/branch/$select.ts +0 -89
  959. package/src/type_plus/branch/$select_invert.ts +0 -83
  960. package/src/type_plus/branch/$select_invert_strict.ts +0 -83
  961. package/src/type_plus/branch/$select_strict.ts +0 -88
  962. package/src/type_plus/branch/$selection.ts +0 -134
  963. package/src/type_plus/branch/$selection_options.ts +0 -36
  964. package/src/type_plus/readme.md +0 -25
  965. package/src/unknown/unknown.ts +0 -57
  966. /package/cjs/{type_plus → $type}/$resolve_options.js +0 -0
  967. /package/cjs/{type_plus → $type}/$type.js +0 -0
  968. /package/cjs/{type_plus → $type}/branch/$branch.js +0 -0
  969. /package/cjs/{type_plus → $type}/branch/$input_options.js +0 -0
  970. /package/cjs/{type_plus → $type}/branch/$resolve_branch.js +0 -0
  971. /package/cjs/{type_plus → $type}/branch/$selection.js +0 -0
  972. /package/cjs/{type_plus/branch → $type/distributive}/$distributive.js +0 -0
  973. /package/cjs/{type_plus → $type/errors}/$error.js +0 -0
  974. /package/cjs/{type_plus → $type/errors}/$infer_error.js +0 -0
  975. /package/cjs/{type → $type/errors}/failed.js +0 -0
  976. /package/cjs/{type_plus/branch → $type/exact}/$exact.js +0 -0
  977. /package/cjs/{type_plus → $type/utils}/$merge_options.js +0 -0
  978. /package/cjs/{predicates → logical}/logical.js +0 -0
  979. /package/cjs/{type → utils}/no_infer.js +0 -0
  980. /package/esm/{type_plus → $type}/$resolve_options.js +0 -0
  981. /package/esm/{type_plus → $type}/$type.js +0 -0
  982. /package/esm/{type_plus → $type}/branch/$branch.js +0 -0
  983. /package/esm/{type_plus → $type}/branch/$input_options.js +0 -0
  984. /package/esm/{type_plus → $type}/branch/$resolve_branch.js +0 -0
  985. /package/esm/{type_plus → $type}/branch/$selection.js +0 -0
  986. /package/esm/{type_plus/branch → $type/distributive}/$distributive.js +0 -0
  987. /package/esm/{type_plus → $type/errors}/$error.js +0 -0
  988. /package/esm/{type_plus → $type/errors}/$infer_error.js +0 -0
  989. /package/esm/{type → $type/errors}/failed.js +0 -0
  990. /package/esm/{type_plus/branch → $type/exact}/$exact.js +0 -0
  991. /package/esm/{type_plus → $type/utils}/$merge_options.js +0 -0
  992. /package/esm/{predicates → logical}/logical.js +0 -0
  993. /package/esm/{type → utils}/no_infer.js +0 -0
@@ -1,37 +0,0 @@
1
- /**
2
- * 🧰 *type util*
3
- *
4
- * Options for selection (if-then-else) logic.
5
- *
6
- * The word "selection" refers to the basic elements in structural programming:
7
- * sequence, selection, and iteration.
8
- *
9
- * @example
10
- * ```ts
11
- * type YourType<
12
- * T,
13
- * $Options extends YourType.$Options = YourType.$Branch
14
- * > = ...
15
- *
16
- * namespace YourType {
17
- * export type $Options = $SelectionOptions
18
- * export type $Branch = $SelectionBranch
19
- * }
20
- * ```
21
- */
22
- export type $SelectionOptions = {
23
- /**
24
- * Specifies which default selection logic to use.
25
- *
26
- * `filter` returns `T` when the condition is met,
27
- * and returns `never` otherwise.
28
- *
29
- * `predicate` returns boolean depends on the condition.
30
- *
31
- * Note that setting `$then` and `$else` overrides the default selection logic.
32
- */
33
- selection?: 'predicate' | 'filter' | undefined;
34
- $then?: unknown;
35
- $else?: unknown;
36
- };
37
- //# sourceMappingURL=$selection_options.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$selection_options.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$selection_options.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC/B;;;;;;;;;OASG;IACH,SAAS,CAAC,EAAE,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAA;IAC9C,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,KAAK,CAAC,EAAE,OAAO,CAAA;CACf,CAAA"}
@@ -1,3 +0,0 @@
1
- "use strict";
2
- Object.defineProperty(exports, "__esModule", { value: true });
3
- //# sourceMappingURL=$selection_options.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$selection_options.js","sourceRoot":"","sources":["../../../src/type_plus/branch/$selection_options.ts"],"names":[],"mappings":""}
@@ -1,55 +0,0 @@
1
- import type { $Branch } from '../type_plus/branch/$branch.js';
2
- /**
3
- * 🧰 *type util*
4
- *
5
- * A special branch for `unknown` check to represent the value is `unknown`.
6
- */
7
- export type $Unknown = $Branch<'$unknown'>;
8
- export declare namespace $Unknown {
9
- /**
10
- * 🧰 *type util*
11
- *
12
- * Options for specifically handling the type `unknown`.
13
- *
14
- * @example
15
- * ```ts
16
- * type YourType<
17
- * T,
18
- * $Options extends YourType.$Options = YourType.$Default
19
- * > = ...
20
- *
21
- * namespace YourType {
22
- * export type $Options = $Unknown.$Options
23
- * export type $Branch = $Unknown.$Branch
24
- * }
25
- * ```
26
- */
27
- type $Options = {
28
- $unknown?: unknown;
29
- };
30
- /**
31
- * 🧰 *type util*
32
- *
33
- * Branch option for specifically handling the type `unknown`.
34
- *
35
- * Use this to finely customize the behavior of your type.
36
- *
37
- * ```ts
38
- * type YourType<
39
- * T,
40
- * $Options extends YourType.$Options = YourType.$Default
41
- * > = ...
42
- *
43
- * namespace YourType {
44
- * export type $Options = $Unknown.$Options
45
- * export type $Branch = $Unknown.$Branch
46
- * }
47
- *
48
- * type R = YourType<T, YourType.$Branch> extends $Unknown ? HandleUnknown : HandleOthers
49
- * ```
50
- */
51
- type $Branch = {
52
- $unknown: $Unknown;
53
- };
54
- }
55
- //# sourceMappingURL=unknown.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;AAE1C,yBAAiB,QAAQ,CAAC;IACzB;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAY,QAAQ,GAAG;QACtB,QAAQ,CAAC,EAAE,OAAO,CAAA;KAClB,CAAA;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,OAAO,GAAG;QACrB,QAAQ,EAAE,QAAQ,CAAA;KAClB,CAAA;CACD"}
@@ -1,3 +0,0 @@
1
- "use strict";
2
- Object.defineProperty(exports, "__esModule", { value: true });
3
- //# sourceMappingURL=unknown.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"unknown.js","sourceRoot":"","sources":["../../src/unknown/unknown.ts"],"names":[],"mappings":""}
package/esm/any/any.d.ts DELETED
@@ -1,49 +0,0 @@
1
- import type { $Branch } from '../type_plus/branch/$branch.js';
2
- export type $Any = $Branch<'$any'>;
3
- export declare namespace $Any {
4
- /**
5
- * 🧰 *type util*
6
- *
7
- * Options for specifically handling the type `any`.
8
- *
9
- * @example
10
- * ```ts
11
- * type YourType<
12
- * T,
13
- * $Options extends YourType.$Options = YourType.$Default
14
- * > = ...
15
- *
16
- * namespace YourType {
17
- * export type $Options = $AnyOptions
18
- * }
19
- * ```
20
- */
21
- type $Options = {
22
- $any?: unknown;
23
- };
24
- /**
25
- * 🧰 *type util*
26
- *
27
- * Branch option for specifically handling the type `any`.
28
- *
29
- * Use this to finely customize the behavior of your type.
30
- *
31
- * ```ts
32
- * type YourType<
33
- * T,
34
- * $Options extends YourType.$Options = YourType.$Default
35
- * > = ...
36
- *
37
- * namespace YourType {
38
- * export type $Options = $Any.$Options
39
- * export type $Branch = $Any.$Branch
40
- * }
41
- *
42
- * type R = YourType<T, YourType.$Branch> extends $Any ? HandleAny : HandleOthers
43
- * ```
44
- */
45
- type $Branch = {
46
- $any: $Any;
47
- };
48
- }
49
- //# sourceMappingURL=any.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"any.d.ts","sourceRoot":"","sources":["../../src/any/any.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D,MAAM,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;AAElC,yBAAiB,IAAI,CAAC;IACrB;;;;;;;;;;;;;;;;OAgBG;IACH,KAAY,QAAQ,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;IACzC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,OAAO,GAAG;QAAE,IAAI,EAAE,IAAI,CAAA;KAAE,CAAA;CACpC"}
package/esm/any/any.js DELETED
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=any.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"any.js","sourceRoot":"","sources":["../../src/any/any.ts"],"names":[],"mappings":""}
@@ -1,6 +0,0 @@
1
- export type Bit = 0 | 1;
2
- export type BitNot<X extends Bit> = X extends 0 ? 1 : 0;
3
- export type BitAnd<A extends Bit, B extends Bit> = A extends 1 ? (B extends 1 ? 1 : 0) : 0;
4
- export type BitOr<A extends Bit, B extends Bit> = A extends 1 ? 1 : B extends 1 ? 1 : 0;
5
- export type BitXor<A extends Bit, B extends Bit> = A extends 1 ? BitNot<B> : B;
6
- //# sourceMappingURL=Bit.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"Bit.d.ts","sourceRoot":"","sources":["../../src/binary/Bit.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;AAEvB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACvD,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;AAC1F,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACvF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA"}
package/esm/binary/Bit.js DELETED
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=Bit.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"Bit.js","sourceRoot":"","sources":["../../src/binary/Bit.ts"],"names":[],"mappings":""}
@@ -1,3 +0,0 @@
1
- export * as B from './_binary.js';
2
- export * as Bit from './_binary.js';
3
- //# sourceMappingURL=index.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/binary/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AACjC,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}
@@ -1,3 +0,0 @@
1
- export * as B from './_binary.js';
2
- export * as Bit from './_binary.js';
3
- //# sourceMappingURL=index.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/binary/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AACjC,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}
@@ -1,75 +0,0 @@
1
- import type { $Branch } from '../type_plus/branch/$branch.js';
2
- /**
3
- * 🧰 *type util*
4
- *
5
- * A special branch type to indicate the type is `never`.
6
- */
7
- export type $Never = $Branch<'$never'>;
8
- export declare namespace $Never {
9
- /**
10
- * 🧰 *type util*
11
- *
12
- * `$Never.$Options` enables customizing the behavior of the `$never` branch.
13
- *
14
- * The `$never` branch is used to handle when the input type is `never`.
15
- *
16
- * @example
17
- * ```ts
18
- * type YourType<
19
- * T,
20
- * $Options extends YourType.$Options = YourType.$Default
21
- * > = ...
22
- *
23
- * namespace YourType {
24
- * export type $Options = $Never.$Options
25
- * export type $Branch = $Never.$Branch
26
- * }
27
- * ```
28
- */
29
- type $Options = {
30
- $never?: unknown;
31
- };
32
- /**
33
- * 🧰 *type util*
34
- *
35
- * `$Never.$Branch` is the branch option for the `$never` branch.
36
- *
37
- * It sets the value to `$Never`,
38
- * so that the branch can be uniquely identified and handled.
39
- *
40
- * Use this to allow the consumer to customize the behavior of your type.
41
- *
42
- * @example
43
- * ```ts
44
- * type YourType<T, $O extends $NeverOptions> = NeverType<T> extends infer R
45
- * ? R extends $Never
46
- * ? $ResolveOptions<[$O['$never'], never]>
47
- * : HandleOtherBranches<R> // R is narrowed
48
- * : never
49
- *
50
- * type R = YourType<T, $Never.$Branch> extends $Never ? HandleNever : HandleOthers
51
- * ```
52
- */
53
- type $Branch = {
54
- $never: $Never;
55
- };
56
- /**
57
- * 🧰 *type util*
58
- *
59
- * Default option for the `$never` branch.
60
- *
61
- * Unsurprisingly, defaulting `$never` to `never`.
62
- */
63
- type $Default = {
64
- $never: never;
65
- };
66
- }
67
- /**
68
- * 🧰 *type util*
69
- *
70
- * `$NotNever` is a special branch type to indicate the type is not `never`.
71
- *
72
- * It is used in [`NeverType`](./never_type.ts).
73
- */
74
- export type $NotNever = $Branch<'$not_never'>;
75
- //# sourceMappingURL=never.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"never.d.ts","sourceRoot":"","sources":["../../src/never/never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;AAEtC,yBAAiB,MAAM,CAAC;IACvB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,KAAY,QAAQ,GAAG;QACtB,MAAM,CAAC,EAAE,OAAO,CAAA;KAChB,CAAA;IACD;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,OAAO,GAAG;QACrB,MAAM,EAAE,MAAM,CAAA;KACd,CAAA;IAED;;;;;;OAMG;IACH,KAAY,QAAQ,GAAG;QACtB,MAAM,EAAE,KAAK,CAAA;KACb,CAAA;CACD;AAED;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=never.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"never.js","sourceRoot":"","sources":["../../src/never/never.ts"],"names":[],"mappings":""}
@@ -1,5 +0,0 @@
1
- export type And<A extends boolean, B extends boolean, Then = true, Else = false> = A extends true ? B extends true ? Then : Else : Else;
2
- export type Or<A extends boolean, B extends boolean, Then = true, Else = false> = A extends true ? Then : B extends true ? Then : Else;
3
- export type Not<X extends boolean, Then = true, Else = false> = X extends true ? Else : Then;
4
- export type Xor<A extends boolean, B extends boolean, Then = true, Else = false> = A extends Then ? Not<B> : B extends true ? Then : Else;
5
- //# sourceMappingURL=logical.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"logical.d.ts","sourceRoot":"","sources":["../../src/predicates/logical.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,IAAI,GAC9F,CAAC,SAAS,IAAI,GACb,IAAI,GACJ,IAAI,GACL,IAAI,CAAA;AAEP,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,IAAI,GAC7F,IAAI,GACJ,CAAC,SAAS,IAAI,GACb,IAAI,GACJ,IAAI,CAAA;AAER,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;AAE5F,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,IAAI,GAC9F,GAAG,CAAC,CAAC,CAAC,GACN,CAAC,SAAS,IAAI,GACb,IAAI,GACJ,IAAI,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"failed.d.ts","sourceRoot":"","sources":["../../src/type/failed.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAA;AAEnC;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,MAAM,CAAC,GAAG,SAAS,MAAM;IACzC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,OAAO,CAAC,GAAG,SAAS,MAAM,EAAE,EAAE;IAC9C,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"no_infer.d.ts","sourceRoot":"","sources":["../../src/type/no_infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAA;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA"}
@@ -1,12 +0,0 @@
1
- import type { $Any } from '../any/any.js';
2
- import type { $Never } from '../never/never.js';
3
- import type { $Unknown } from '../unknown/unknown.js';
4
- import type { $DistributiveOptions } from './branch/$distributive.js';
5
- import type { $InputOptions } from './branch/$input_options.js';
6
- import type { $SelectionBranch } from './branch/$selection.js';
7
- import type { $SelectionOptions } from './branch/$selection_options.js';
8
- export declare namespace $Equality {
9
- type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>;
10
- type $Branch<$O extends $SelectionOptions = {}> = $SelectionBranch<$O>;
11
- }
12
- //# sourceMappingURL=$equality.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$equality.d.ts","sourceRoot":"","sources":["../../src/type_plus/$equality.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAEvE,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,oBAAoB,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IACzG,KAAY,OAAO,CAAC,EAAE,SAAS,iBAAiB,GAAG,EAAE,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAA;CAC7E"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=$equality.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$equality.js","sourceRoot":"","sources":["../../src/type_plus/$equality.ts"],"names":[],"mappings":""}
@@ -1,8 +0,0 @@
1
- import type { $Type } from './$type.js';
2
- /**
3
- * 🧰 *type util*
4
- *
5
- * A basic type-level error.
6
- */
7
- export type $Error<M extends string, T = unknown> = M extends any ? $Type<'error', M, T> : never;
8
- //# sourceMappingURL=$error.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$error.d.ts","sourceRoot":"","sources":["../../src/type_plus/$error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS,GAAG,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$infer_error.d.ts","sourceRoot":"","sources":["../../src/type_plus/$infer_error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS,GAAG,GACnE,KAAK,CAAC,OAAO,EAAE,oBAAoB,CAAC,EAAE,EAAE,CAAC,CAAC,GAC1C,KAAK,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$infer_error.js","sourceRoot":"","sources":["../../src/type_plus/$infer_error.ts"],"names":[],"mappings":""}
@@ -1,11 +0,0 @@
1
- /**
2
- * 🧰 *type util*
3
- *
4
- * Merge type options.
5
- */
6
- export type $MergeOptions<$O extends Record<string, any>, $V extends {
7
- [k in keyof $O]?: unknown;
8
- }> = {
9
- [k in Exclude<keyof $O, keyof $V>]: $O[k];
10
- } & $V;
11
- //# sourceMappingURL=$merge_options.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$merge_options.d.ts","sourceRoot":"","sources":["../../src/type_plus/$merge_options.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS;KAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,EAAE,OAAO;CAAE,IAAI;KACpG,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACzC,GAAG,EAAE,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$merge_options.js","sourceRoot":"","sources":["../../src/type_plus/$merge_options.ts"],"names":[],"mappings":""}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$resolve_options.d.ts","sourceRoot":"","sources":["../../src/type_plus/$resolve_options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAEpD;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GACnE,CAAC,GACD,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GAC9B,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAChC,eAAe,CAAC,CAAC,CAAC,GAClB,CAAC,GACF,WAAW,CAAC,mCAAmC,EAAE,CAAC,CAAC,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$resolve_options.js","sourceRoot":"","sources":["../../src/type_plus/$resolve_options.ts"],"names":[],"mappings":""}
@@ -1,19 +0,0 @@
1
- import type { $Any } from '../any/any.js';
2
- import type { $Never } from '../never/never.js';
3
- import type { $Unknown } from '../unknown/unknown.js';
4
- import type { $BranchOptions } from './branch/$branch.js';
5
- import type { $InputOptions } from './branch/$input_options.js';
6
- import type { $ResolveBranch } from './branch/$resolve_branch.js';
7
- import type { $Else, $SelectionBranch, $Then } from './branch/$selection.js';
8
- import type { $SelectionOptions } from './branch/$selection_options.js';
9
- /**
10
- * 🧰 *type util*
11
- *
12
- * A type utility to handle special types: `any`, `unknown`, and `never`.
13
- */
14
- export type $SpecialType<T, $O extends $SpecialType.$Options> = 0 extends 1 & T ? $ResolveBranch<T, $O, [$Any, $Then]> : [T, unknown] extends [unknown, T] ? $ResolveBranch<T, $O, [$Unknown, $Then]> : [T, never] extends [never, T] ? $ResolveBranch<T, $O, [$Never, $Then]> : $ResolveBranch<T, $O, [$Else]>;
15
- export declare namespace $SpecialType {
16
- type $Options = $SelectionOptions & $InputOptions<$Any | $Unknown | $Never>;
17
- type $Branch = $SelectionBranch & $BranchOptions<$Any | $Unknown | $Never>;
18
- }
19
- //# sourceMappingURL=$special_type.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$special_type.d.ts","sourceRoot":"","sources":["../../src/type_plus/$special_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AAC5E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAEvE;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAC5E,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GACpC,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAChC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,GACxC,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAC5B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GACtC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;AAEnC,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IAClF,KAAY,OAAO,GAAG,gBAAgB,GAAG,cAAc,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;CACjF"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=$special_type.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$special_type.js","sourceRoot":"","sources":["../../src/type_plus/$special_type.ts"],"names":[],"mappings":""}
@@ -1,11 +0,0 @@
1
- /**
2
- * 🧰 *type util*
3
- *
4
- * Special `type-plus` interface to represent unique types with messages.
5
- */
6
- export interface $Type<T extends string, M extends string = '', V = unknown> {
7
- type: T;
8
- message: M;
9
- value: V;
10
- }
11
- //# sourceMappingURL=$type.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$type.d.ts","sourceRoot":"","sources":["../../src/type_plus/$type.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,EAAE,EAAE,CAAC,GAAG,OAAO;IAC1E,IAAI,EAAE,CAAC,CAAA;IACP,OAAO,EAAE,CAAC,CAAA;IACV,KAAK,EAAE,CAAC,CAAA;CACR"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$branch.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$branch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAExC;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,IAAI,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnE;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,CAAC,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI;KAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,GAAG,KAAK;CAAE,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$branch.js","sourceRoot":"","sources":["../../../src/type_plus/branch/$branch.ts"],"names":[],"mappings":""}
@@ -1,19 +0,0 @@
1
- /**
2
- * 🧰 *type util*
3
- *
4
- * Options for to control if the type is distributive.
5
- */
6
- export type $DistributiveOptions = {
7
- distributive?: boolean | undefined;
8
- };
9
- /**
10
- * 🧰 *type util*
11
- *
12
- * Default options for `distributive` behavior.
13
- *
14
- * By default it is `true`.
15
- */
16
- export type $DistributiveDefault = {
17
- distributive: true;
18
- };
19
- //# sourceMappingURL=$distributive.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$distributive.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$distributive.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAClC,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAClC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAClC,YAAY,EAAE,IAAI,CAAA;CAClB,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$distributive.js","sourceRoot":"","sources":["../../../src/type_plus/branch/$distributive.ts"],"names":[],"mappings":""}
@@ -1,21 +0,0 @@
1
- import type { $ResolveOptions } from '../$resolve_options.js';
2
- import type { $InputOptions } from './$input_options.js';
3
- import type { $Else, $Then } from './$selection.js';
4
- /**
5
- * 🧰 *type util*
6
- *
7
- * `$Exact.$Options` enables customizing the behavior of the `$exact` branch.
8
- *
9
- * The `$exact` branch is used to handle when it is an exact comparison.
10
- */
11
- export type $ExactOptions = {
12
- exact?: boolean | undefined;
13
- };
14
- export type $ExactDefault = {
15
- exact: false;
16
- };
17
- export type $IsExact<$Opt extends $ExactOptions, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<[
18
- $Opt['exact'],
19
- $ExactDefault
20
- ]> extends true ? '$then' extends keyof $O ? $O['$then'] : true : '$else' extends keyof $O ? $O['$else'] : false;
21
- //# sourceMappingURL=$exact.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$exact.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$exact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC3B,KAAK,EAAE,KAAK,CAAA;CACZ,CAAA;AAED,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,aAAa,EAAE,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,eAAe,CAC/G;IAAC,IAAI,CAAC,OAAO,CAAC;IAAE,aAAa;CAAC,CAC9B,SAAS,IAAI,GACX,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,IAAI,GACL,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,KAAK,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$input_options.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$input_options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI;KAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO;CAAE,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$input_options.js","sourceRoot":"","sources":["../../../src/type_plus/branch/$input_options.ts"],"names":[],"mappings":""}
@@ -1,6 +0,0 @@
1
- import type { $ResolveOptions } from '../$resolve_options.js';
2
- import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js';
3
- import type { $InputOptions } from './$input_options.js';
4
- import type { $Else, $Then } from './$selection.js';
5
- export type $IsDistributive<$Options extends $DistributiveOptions, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<[$Options['distributive'], $DistributiveDefault['distributive']]> extends true ? '$then' extends keyof $O ? $O['$then'] : true : '$else' extends keyof $O ? $O['$else'] : false;
6
- //# sourceMappingURL=$is_distributive.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$is_distributive.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$is_distributive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACpF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD,MAAM,MAAM,eAAe,CAC1B,QAAQ,SAAS,oBAAoB,EACrC,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IACzC,eAAe,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,IAAI,GAC/F,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,IAAI,GACL,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,KAAK,CAAA"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=$is_distributive.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$is_distributive.js","sourceRoot":"","sources":["../../../src/type_plus/branch/$is_distributive.ts"],"names":[],"mappings":""}
@@ -1,21 +0,0 @@
1
- import type { $Type } from '../$type.js';
2
- /**
3
- * 🧰 *type util*
4
- *
5
- * A utility type to override the behavior of a branch.
6
- *
7
- * ```ts
8
- * type R = IsString<any, { $any: DoThisInstead }> // DoThisInstead
9
- * type R = IsString<any, { $any: $Override<DoThisInstead> }> // use DoThisInstead as the sole branch logic
10
- * ```
11
- */
12
- export type $Override<T> = $Type<'override', 'override', T>;
13
- export declare namespace $Override {
14
- /**
15
- * 🧰 *type util*
16
- *
17
- * A utility type to unwrap an override.
18
- */
19
- type $Unwrap<T> = T extends $Override<infer U> ? U : T;
20
- }
21
- //# sourceMappingURL=$override.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$override.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$override.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAExC;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;AAE3D,yBAAiB,SAAS,CAAC;IAC1B;;;;OAIG;IACH,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAC7D"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=$override.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$override.js","sourceRoot":"","sources":["../../../src/type_plus/branch/$override.ts"],"names":[],"mappings":""}
@@ -1,29 +0,0 @@
1
- import type { $Branch } from './$branch.js';
2
- import type { $Override } from './$override.js';
3
- import type { $Else, $Then } from './$selection.js';
4
- /**
5
- * 🧰 *type util*
6
- *
7
- * Resolve option value based on list of branches.
8
- * It returns the first branch value that is specified in the option,
9
- * otherwise will return the default value.
10
- *
11
- * Since this is an type utility,
12
- * it does not perform extensive validations.
13
- * Please check the description of each input below for information.
14
- *
15
- * @typeparam $O Should be a Record, not any, unknown, or never
16
- * @typeparam $B Tuple of branches with at least one entry.
17
- * @typeparam $D When specified, resolve the branch in override mode.
18
- * If no branch in `$B` is resolved to `$Override<X>`, `$D` will be returned.
19
- */
20
- export type $ResolveBranch<T, $O extends Record<string, any>, $B extends Array<$Branch<any> | unknown>, $D = unknown> = [unknown, $D] extends [$D, unknown] ? $B extends [infer B] ? $ResolveBranch._Last<T, $O, B> : $B extends [infer B, ...infer Bs extends Array<$Branch<any> | unknown>] ? $ResolveBranch._<$ResolveBranch<T, $O, Bs>, $O, B> : never : $ResolveBranch._Override<$D, $O, $B>;
21
- export declare namespace $ResolveBranch {
22
- type _Override<$D, $O extends Record<string, any>, $B extends Array<$Branch<any> | unknown>> = $B extends [
23
- infer B
24
- ] ? _OLast<$D, $O, B> : $B extends [infer B, ...infer Bs extends Array<$Branch<any> | unknown>] ? _OLast<_Override<$D, $O, Bs>, $O, B> : never;
25
- type _OLast<$D, $O extends Record<string, any>, $B extends $Branch<any> | unknown> = $B extends $Branch<any> ? $B['value'] extends keyof $O ? $O[$B['value']] extends infer R extends $Override<any> ? [R, never] extends [never, R] ? $D : R['value'] : $D : $D : $D;
26
- type _<T, $O extends Record<string, any>, $B> = $B extends $Branch<any> ? $B['value'] extends keyof $O ? $Override.$Unwrap<$O[$B['value']]> : T : T;
27
- type _Last<T, $O extends Record<string, any>, $B> = $B extends $Then ? '$then' extends keyof $O ? $Override.$Unwrap<$O['$then']> : $O['selection'] extends 'filter' ? T : true : $B extends $Else ? '$else' extends keyof $O ? $Override.$Unwrap<$O['$else']> : $O['selection'] extends 'filter' ? never : false : _<T, $O, $B>;
28
- }
29
- //# sourceMappingURL=$resolve_branch.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"$resolve_branch.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$resolve_branch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,cAAc,CACzB,CAAC,EACD,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC9B,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,EACxC,EAAE,GAAG,OAAO,IACT,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,CAAC,GACpC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GACnB,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAC9B,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GACtE,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAClD,KAAK,GACP,cAAc,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;AAEvC,yBAAiB,cAAc,CAAC;IAC/B,KAAY,SAAS,CAAC,EAAE,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS;QAChH,MAAM,CAAC;KACP,GACE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GACjB,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GACtE,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACpC,KAAK,CAAA;IAET,KAAY,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAChH,EAAE,CAAC,OAAO,CAAC,SAAS,MAAM,EAAE,GAC3B,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GACrD,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAC5B,EAAE,GACF,CAAC,CAAC,OAAO,CAAC,GACX,EAAE,GACH,EAAE,GACH,EAAE,CAAA;IAEL,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAC3E,EAAE,CAAC,OAAO,CAAC,SAAS,MAAM,EAAE,GAC3B,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAClC,CAAC,GACF,CAAC,CAAA;IACJ,KAAY,KAAK,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,KAAK,GACxE,OAAO,SAAS,MAAM,EAAE,GACvB,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,GAC9B,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAC/B,CAAC,GACD,IAAI,GACN,EAAE,SAAS,KAAK,GACf,OAAO,SAAS,MAAM,EAAE,GACvB,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,GAC9B,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAC/B,KAAK,GACL,KAAK,GACP,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;CAChB"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"$resolve_branch.js","sourceRoot":"","sources":["../../../src/type_plus/branch/$resolve_branch.ts"],"names":[],"mappings":""}