type-plus 3.13.0 → 4.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (1206) hide show
  1. package/README.md +32 -88
  2. package/cjs/ComposableTypes.d.ts +8 -0
  3. package/cjs/ComposableTypes.js +3 -0
  4. package/cjs/ComposableTypes.js.map +1 -0
  5. package/{lib → cjs}/JSONTypes.d.ts +0 -0
  6. package/cjs/JSONTypes.js +27 -0
  7. package/cjs/JSONTypes.js.map +1 -0
  8. package/{lib → cjs}/PrimitiveTypes.d.ts +0 -0
  9. package/{lib → cjs}/PrimitiveTypes.js +0 -0
  10. package/cjs/PrimitiveTypes.js.map +1 -0
  11. package/{lib → cjs}/UnionKeys.d.ts +0 -0
  12. package/{lib → cjs}/UnionKeys.js +0 -0
  13. package/cjs/UnionKeys.js.map +1 -0
  14. package/{lib → cjs}/array/CommonPropKeys.d.ts +0 -0
  15. package/{lib → cjs}/array/CommonPropKeys.js +0 -0
  16. package/cjs/array/CommonPropKeys.js.map +1 -0
  17. package/{lib → cjs}/array/Concat.d.ts +0 -0
  18. package/{lib → cjs}/array/Concat.js +0 -0
  19. package/cjs/array/Concat.js.map +1 -0
  20. package/{lib → cjs}/array/CreateTuple.d.ts +0 -0
  21. package/{lib → cjs}/array/CreateTuple.js +0 -0
  22. package/cjs/array/CreateTuple.js.map +1 -0
  23. package/{lib → cjs}/array/DropFirst.d.ts +0 -0
  24. package/{lib → cjs}/array/DropFirst.js +0 -0
  25. package/cjs/array/DropFirst.js.map +1 -0
  26. package/{lib → cjs}/array/DropLast.d.ts +0 -0
  27. package/{lib → cjs}/array/DropLast.js +0 -0
  28. package/cjs/array/DropLast.js.map +1 -0
  29. package/{lib → cjs}/array/Filter.d.ts +0 -0
  30. package/{lib → cjs}/array/Filter.js +0 -0
  31. package/cjs/array/Filter.js.map +1 -0
  32. package/{lib → cjs}/array/FindFirst.d.ts +0 -0
  33. package/{lib → cjs}/array/FindFirst.js +0 -0
  34. package/cjs/array/FindFirst.js.map +1 -0
  35. package/{lib → cjs}/array/FindLast.d.ts +0 -0
  36. package/{lib → cjs}/array/FindLast.js +0 -0
  37. package/cjs/array/FindLast.js.map +1 -0
  38. package/{lib → cjs}/array/Head.d.ts +0 -0
  39. package/{lib → cjs}/array/Head.js +0 -0
  40. package/cjs/array/Head.js.map +1 -0
  41. package/{lib → cjs}/array/IntersectOfProps.d.ts +0 -0
  42. package/{lib → cjs}/array/IntersectOfProps.js +0 -0
  43. package/cjs/array/IntersectOfProps.js.map +1 -0
  44. package/{lib → cjs}/array/IsArray.d.ts +0 -0
  45. package/{lib → cjs}/array/IsArray.js +0 -0
  46. package/cjs/array/IsArray.js.map +1 -0
  47. package/{lib → cjs}/array/PadLeft.d.ts +0 -0
  48. package/{lib → cjs}/array/PadLeft.js +0 -0
  49. package/cjs/array/PadLeft.js.map +1 -0
  50. package/{lib → cjs}/array/Reverse.d.ts +0 -0
  51. package/{lib → cjs}/array/Reverse.js +0 -0
  52. package/cjs/array/Reverse.js.map +1 -0
  53. package/{lib → cjs}/array/Some.d.ts +0 -0
  54. package/{lib → cjs}/array/Some.js +0 -0
  55. package/cjs/array/Some.js.map +1 -0
  56. package/{lib → cjs}/array/Tail.d.ts +0 -0
  57. package/{lib → cjs}/array/Tail.js +0 -0
  58. package/cjs/array/Tail.js.map +1 -0
  59. package/{lib → cjs}/array/UnionOfProps.d.ts +0 -0
  60. package/{lib → cjs}/array/UnionOfProps.js +0 -0
  61. package/cjs/array/UnionOfProps.js.map +1 -0
  62. package/{lib → cjs}/array/UnionOfValues.d.ts +0 -0
  63. package/{lib → cjs}/array/UnionOfValues.js +0 -0
  64. package/cjs/array/UnionOfValues.js.map +1 -0
  65. package/{lib → cjs}/array/index.d.ts +0 -0
  66. package/{lib → cjs}/array/index.js +0 -0
  67. package/cjs/array/index.js.map +1 -0
  68. package/{lib → cjs}/array/literalArray.d.ts +0 -0
  69. package/{lib → cjs}/array/literalArray.js +0 -0
  70. package/cjs/array/literalArray.js.map +1 -0
  71. package/{lib → cjs}/array/reduceWhile.d.ts +0 -0
  72. package/{lib → cjs}/array/reduceWhile.js +0 -0
  73. package/cjs/array/reduceWhile.js.map +1 -0
  74. package/cjs/assertion/assertType.d.ts +32 -0
  75. package/cjs/assertion/assertType.js +107 -0
  76. package/cjs/assertion/assertType.js.map +1 -0
  77. package/{lib → cjs}/assertion/index.d.ts +0 -0
  78. package/{lib → cjs}/assertion/index.js +0 -0
  79. package/cjs/assertion/index.js.map +1 -0
  80. package/{lib → cjs}/class/AnyConstructor.d.ts +0 -0
  81. package/{lib → cjs}/class/AnyConstructor.js +0 -0
  82. package/cjs/class/AnyConstructor.js.map +1 -0
  83. package/{lib → cjs}/class/index.d.ts +0 -0
  84. package/{lib → cjs}/class/index.js +0 -0
  85. package/cjs/class/index.js.map +1 -0
  86. package/{lib → cjs}/class/isConstructor.d.ts +0 -0
  87. package/cjs/class/isConstructor.js +17 -0
  88. package/cjs/class/isConstructor.js.map +1 -0
  89. package/{lib → cjs}/function/AnyFunction.d.ts +0 -0
  90. package/{lib → cjs}/function/AnyFunction.js +0 -0
  91. package/cjs/function/AnyFunction.js.map +1 -0
  92. package/{lib → cjs}/function/index.d.ts +0 -0
  93. package/{lib → cjs}/function/index.js +0 -0
  94. package/cjs/function/index.js.map +1 -0
  95. package/{lib → cjs}/functional/ChainFn.d.ts +0 -0
  96. package/{lib → cjs}/functional/ChainFn.js +0 -0
  97. package/cjs/functional/ChainFn.js.map +1 -0
  98. package/{lib → cjs}/functional/index.d.ts +0 -0
  99. package/{lib → cjs}/functional/index.js +0 -0
  100. package/cjs/functional/index.js.map +1 -0
  101. package/cjs/index.d.ts +17 -0
  102. package/cjs/index.js +37 -0
  103. package/cjs/index.js.map +1 -0
  104. package/{lib → cjs}/math/Abs.d.ts +0 -0
  105. package/{lib → cjs}/math/Abs.js +0 -0
  106. package/cjs/math/Abs.js.map +1 -0
  107. package/{lib → cjs}/math/Add.d.ts +0 -0
  108. package/{lib → cjs}/math/Add.js +0 -0
  109. package/cjs/math/Add.js.map +1 -0
  110. package/{lib → cjs}/math/Digit.d.ts +0 -0
  111. package/{lib → cjs}/math/Digit.js +0 -0
  112. package/cjs/math/Digit.js.map +1 -0
  113. package/{lib → cjs}/math/GreaterThan.d.ts +0 -0
  114. package/{lib → cjs}/math/GreaterThan.js +0 -0
  115. package/cjs/math/GreaterThan.js.map +1 -0
  116. package/{lib → cjs}/math/IsPositive.d.ts +0 -0
  117. package/{lib → cjs}/math/IsPositive.js +0 -0
  118. package/cjs/math/IsPositive.js.map +1 -0
  119. package/{lib → cjs}/math/IsWhole.d.ts +0 -0
  120. package/{lib → cjs}/math/IsWhole.js +0 -0
  121. package/cjs/math/IsWhole.js.map +1 -0
  122. package/{lib → cjs}/math/Max.d.ts +0 -0
  123. package/{lib → cjs}/math/Max.js +0 -0
  124. package/cjs/math/Max.js.map +1 -0
  125. package/{lib → cjs}/math/Subtract.d.ts +0 -0
  126. package/{lib → cjs}/math/Subtract.js +0 -0
  127. package/cjs/math/Subtract.js.map +1 -0
  128. package/{lib → cjs}/math/index.d.ts +0 -0
  129. package/{lib → cjs}/math/index.js +0 -0
  130. package/cjs/math/index.js.map +1 -0
  131. package/cjs/nodejs/index.d.ts +1 -0
  132. package/cjs/nodejs/index.js +14 -0
  133. package/cjs/nodejs/index.js.map +1 -0
  134. package/cjs/nodejs/isNodeError.d.ts +31 -0
  135. package/cjs/nodejs/isNodeError.js +13 -0
  136. package/cjs/nodejs/isNodeError.js.map +1 -0
  137. package/{lib → cjs}/nominal-types/Brand.d.ts +0 -0
  138. package/{lib → cjs}/nominal-types/Brand.js +0 -0
  139. package/cjs/nominal-types/Brand.js.map +1 -0
  140. package/{lib → cjs}/nominal-types/Flavor.d.ts +0 -0
  141. package/{lib → cjs}/nominal-types/Flavor.js +0 -0
  142. package/cjs/nominal-types/Flavor.js.map +1 -0
  143. package/{lib → cjs}/nominal-types/index.d.ts +0 -0
  144. package/{lib → cjs}/nominal-types/index.js +0 -0
  145. package/cjs/nominal-types/index.js.map +1 -0
  146. package/{lib → cjs}/nominal-types/nominalMatch.d.ts +0 -0
  147. package/{lib → cjs}/nominal-types/nominalMatch.js +0 -0
  148. package/cjs/nominal-types/nominalMatch.js.map +1 -0
  149. package/{lib → cjs}/nominal-types/types.d.ts +0 -0
  150. package/{lib → cjs}/nominal-types/types.js +0 -0
  151. package/cjs/nominal-types/types.js.map +1 -0
  152. package/{lib → cjs}/object/ANotB.d.ts +0 -0
  153. package/{lib → cjs}/object/ANotB.js +0 -0
  154. package/cjs/object/ANotB.js.map +1 -0
  155. package/{lib → cjs}/object/AnyRecord.d.ts +0 -0
  156. package/{lib → cjs}/object/AnyRecord.js +0 -0
  157. package/cjs/object/AnyRecord.js.map +1 -0
  158. package/{lib → cjs}/object/ExcludePropType.d.ts +0 -0
  159. package/{lib → cjs}/object/ExcludePropType.js +0 -0
  160. package/cjs/object/ExcludePropType.js.map +1 -0
  161. package/{lib → cjs}/object/IsDisjoint.d.ts +0 -0
  162. package/{lib → cjs}/object/IsDisjoint.js +0 -0
  163. package/cjs/object/IsDisjoint.js.map +1 -0
  164. package/{lib → cjs}/object/IsRecord.d.ts +0 -0
  165. package/{lib → cjs}/object/IsRecord.js +0 -0
  166. package/cjs/object/IsRecord.js.map +1 -0
  167. package/{lib → cjs}/object/KeyTypes.d.ts +0 -0
  168. package/{lib → cjs}/object/KeyTypes.js +0 -0
  169. package/cjs/object/KeyTypes.js.map +1 -0
  170. package/{lib → cjs}/object/KeyofOptional.d.ts +0 -0
  171. package/{lib → cjs}/object/KeyofOptional.js +0 -0
  172. package/cjs/object/KeyofOptional.js.map +1 -0
  173. package/{lib → cjs}/object/KeysWithDiffType.d.ts +0 -0
  174. package/{lib → cjs}/object/KeysWithDiffType.js +0 -0
  175. package/cjs/object/KeysWithDiffType.js.map +1 -0
  176. package/{lib → cjs}/object/KnownKeys.d.ts +0 -0
  177. package/{lib → cjs}/object/KnownKeys.js +0 -0
  178. package/cjs/object/KnownKeys.js.map +1 -0
  179. package/{lib → cjs}/object/OptionalKeys.d.ts +0 -0
  180. package/{lib → cjs}/object/OptionalKeys.js +0 -0
  181. package/cjs/object/OptionalKeys.js.map +1 -0
  182. package/{lib → cjs}/object/Partial.d.ts +0 -0
  183. package/{lib → cjs}/object/Partial.js +0 -0
  184. package/cjs/object/Partial.js.map +1 -0
  185. package/{lib → cjs}/object/RecursiveIntersect.d.ts +0 -0
  186. package/{lib → cjs}/object/RecursiveIntersect.js +0 -0
  187. package/cjs/object/RecursiveIntersect.js.map +1 -0
  188. package/{lib → cjs}/object/RecursivePartial.d.ts +0 -0
  189. package/{lib → cjs}/object/RecursivePartial.js +0 -0
  190. package/cjs/object/RecursivePartial.js.map +1 -0
  191. package/{lib → cjs}/object/RecursiveRequired.d.ts +0 -0
  192. package/{lib → cjs}/object/RecursiveRequired.js +0 -0
  193. package/cjs/object/RecursiveRequired.js.map +1 -0
  194. package/{lib → cjs}/object/Required.d.ts +0 -0
  195. package/{lib → cjs}/object/Required.js +0 -0
  196. package/cjs/object/Required.js.map +1 -0
  197. package/{lib → cjs}/object/RequiredKeys.d.ts +0 -0
  198. package/{lib → cjs}/object/RequiredKeys.js +0 -0
  199. package/cjs/object/RequiredKeys.js.map +1 -0
  200. package/{lib → cjs}/object/SpreadRecord.d.ts +0 -0
  201. package/{lib → cjs}/object/SpreadRecord.js +0 -0
  202. package/cjs/object/SpreadRecord.js.map +1 -0
  203. package/{lib → cjs}/object/ValueOf.d.ts +0 -0
  204. package/{lib → cjs}/object/ValueOf.js +0 -0
  205. package/cjs/object/ValueOf.js.map +1 -0
  206. package/{lib → cjs}/object/everyKey.d.ts +0 -0
  207. package/{lib → cjs}/object/everyKey.js +0 -0
  208. package/cjs/object/everyKey.js.map +1 -0
  209. package/{lib → cjs}/object/facade.d.ts +0 -0
  210. package/{lib → cjs}/object/facade.js +0 -0
  211. package/cjs/object/facade.js.map +1 -0
  212. package/{lib → cjs}/object/filterKey.d.ts +0 -0
  213. package/{lib → cjs}/object/filterKey.js +0 -0
  214. package/cjs/object/filterKey.js.map +1 -0
  215. package/{lib → cjs}/object/findKey.d.ts +0 -0
  216. package/{lib → cjs}/object/findKey.js +0 -0
  217. package/cjs/object/findKey.js.map +1 -0
  218. package/{lib → cjs}/object/forEachKey.d.ts +0 -0
  219. package/{lib → cjs}/object/forEachKey.js +0 -0
  220. package/cjs/object/forEachKey.js.map +1 -0
  221. package/{lib → cjs}/object/getField.d.ts +0 -0
  222. package/{lib → cjs}/object/getField.js +0 -0
  223. package/cjs/object/getField.js.map +1 -0
  224. package/{lib → cjs}/object/hasKey.d.ts +0 -0
  225. package/{lib → cjs}/object/hasKey.js +0 -0
  226. package/cjs/object/hasKey.js.map +1 -0
  227. package/{lib → cjs}/object/hasProperty.d.ts +0 -0
  228. package/{lib → cjs}/object/hasProperty.js +0 -0
  229. package/cjs/object/hasProperty.js.map +1 -0
  230. package/{lib → cjs}/object/index.d.ts +0 -0
  231. package/{lib → cjs}/object/index.js +0 -0
  232. package/cjs/object/index.js.map +1 -0
  233. package/{lib → cjs}/object/mapKey.d.ts +0 -0
  234. package/{lib → cjs}/object/mapKey.js +0 -0
  235. package/cjs/object/mapKey.js.map +1 -0
  236. package/{lib → cjs}/object/mapProperties.d.ts +0 -0
  237. package/cjs/object/mapProperties.js +18 -0
  238. package/cjs/object/mapProperties.js.map +1 -0
  239. package/{lib → cjs}/object/omit.d.ts +0 -0
  240. package/cjs/object/omit.js +17 -0
  241. package/cjs/object/omit.js.map +1 -0
  242. package/{lib → cjs}/object/pick.d.ts +0 -0
  243. package/cjs/object/pick.js +17 -0
  244. package/cjs/object/pick.js.map +1 -0
  245. package/{lib → cjs}/object/reduceKey.d.ts +0 -0
  246. package/{lib → cjs}/object/reduceKey.js +0 -0
  247. package/cjs/object/reduceKey.js.map +1 -0
  248. package/{lib → cjs}/object/replaceProperty.d.ts +0 -0
  249. package/{lib → cjs}/object/replaceProperty.js +0 -0
  250. package/cjs/object/replaceProperty.js.map +1 -0
  251. package/{lib → cjs}/object/someKey.d.ts +0 -0
  252. package/{lib → cjs}/object/someKey.js +0 -0
  253. package/cjs/object/someKey.js.map +1 -0
  254. package/{lib → cjs}/object/typeOverrideIncompatible.d.ts +0 -0
  255. package/{lib → cjs}/object/typeOverrideIncompatible.js +0 -0
  256. package/cjs/object/typeOverrideIncompatible.js.map +1 -0
  257. package/{lib → cjs}/predicates/CanAssign.d.ts +0 -0
  258. package/{lib → cjs}/predicates/CanAssign.js +0 -0
  259. package/cjs/predicates/CanAssign.js.map +1 -0
  260. package/{lib → cjs}/predicates/Equal.d.ts +0 -0
  261. package/{lib → cjs}/predicates/Equal.js +0 -0
  262. package/cjs/predicates/Equal.js.map +1 -0
  263. package/{lib → cjs}/predicates/Extends.d.ts +0 -0
  264. package/{lib → cjs}/predicates/Extends.js +0 -0
  265. package/cjs/predicates/Extends.js.map +1 -0
  266. package/{lib → cjs}/predicates/If.d.ts +0 -0
  267. package/{lib → cjs}/predicates/If.js +0 -0
  268. package/cjs/predicates/If.js.map +1 -0
  269. package/{lib → cjs}/predicates/index.d.ts +0 -0
  270. package/{lib → cjs}/predicates/index.js +0 -0
  271. package/cjs/predicates/index.js.map +1 -0
  272. package/{lib → cjs}/predicates/isEmptyObject.d.ts +0 -0
  273. package/{lib → cjs}/predicates/isEmptyObject.js +0 -0
  274. package/cjs/predicates/isEmptyObject.js.map +1 -0
  275. package/cjs/predicates/isType.d.ts +10 -0
  276. package/cjs/predicates/isType.js +28 -0
  277. package/cjs/predicates/isType.js.map +1 -0
  278. package/{lib → cjs}/predicates/logical.d.ts +0 -0
  279. package/{lib → cjs}/predicates/logical.js +0 -0
  280. package/cjs/predicates/logical.js.map +1 -0
  281. package/{lib → cjs}/promise/PromiseValue.d.ts +0 -0
  282. package/{lib → cjs}/promise/PromiseValue.js +0 -0
  283. package/cjs/promise/PromiseValue.js.map +1 -0
  284. package/{lib → cjs}/promise/PromiseValueMerge.d.ts +0 -0
  285. package/{lib → cjs}/promise/PromiseValueMerge.js +0 -0
  286. package/cjs/promise/PromiseValueMerge.js.map +1 -0
  287. package/{lib → cjs}/promise/index.d.ts +0 -0
  288. package/{lib → cjs}/promise/index.js +0 -0
  289. package/cjs/promise/index.js.map +1 -0
  290. package/{lib → cjs}/promise/isPromise.d.ts +0 -0
  291. package/{lib → cjs}/promise/isPromise.js +0 -0
  292. package/cjs/promise/isPromise.js.map +1 -0
  293. package/{lib → cjs}/promise/mapSeries.d.ts +0 -0
  294. package/{lib → cjs}/promise/mapSeries.js +0 -0
  295. package/cjs/promise/mapSeries.js.map +1 -0
  296. package/{lib → cjs}/utils/Widen.d.ts +0 -0
  297. package/{lib → cjs}/utils/Widen.js +0 -0
  298. package/cjs/utils/Widen.js.map +1 -0
  299. package/{lib → cjs}/utils/as.d.ts +0 -0
  300. package/{lib → cjs}/utils/as.js +0 -0
  301. package/cjs/utils/as.js.map +1 -0
  302. package/{lib → cjs}/utils/index.d.ts +0 -0
  303. package/{lib → cjs}/utils/index.js +0 -0
  304. package/cjs/utils/index.js.map +1 -0
  305. package/esm/ComposableTypes.js +2 -0
  306. package/esm/ComposableTypes.js.map +1 -0
  307. package/{libm → esm}/JSONTypes.js +0 -0
  308. package/esm/JSONTypes.js.map +1 -0
  309. package/{libm → esm}/PrimitiveTypes.js +0 -0
  310. package/esm/PrimitiveTypes.js.map +1 -0
  311. package/{libm → esm}/UnionKeys.js +0 -0
  312. package/esm/UnionKeys.js.map +1 -0
  313. package/{libm → esm}/array/CommonPropKeys.js +0 -0
  314. package/esm/array/CommonPropKeys.js.map +1 -0
  315. package/{libm → esm}/array/Concat.js +0 -0
  316. package/esm/array/Concat.js.map +1 -0
  317. package/{libm → esm}/array/CreateTuple.js +0 -0
  318. package/esm/array/CreateTuple.js.map +1 -0
  319. package/{libm → esm}/array/DropFirst.js +0 -0
  320. package/esm/array/DropFirst.js.map +1 -0
  321. package/{libm → esm}/array/DropLast.js +0 -0
  322. package/esm/array/DropLast.js.map +1 -0
  323. package/{libm → esm}/array/Filter.js +0 -0
  324. package/esm/array/Filter.js.map +1 -0
  325. package/{libm → esm}/array/FindFirst.js +0 -0
  326. package/esm/array/FindFirst.js.map +1 -0
  327. package/{libm → esm}/array/FindLast.js +0 -0
  328. package/esm/array/FindLast.js.map +1 -0
  329. package/{libm → esm}/array/Head.js +0 -0
  330. package/esm/array/Head.js.map +1 -0
  331. package/{libm → esm}/array/IntersectOfProps.js +0 -0
  332. package/esm/array/IntersectOfProps.js.map +1 -0
  333. package/{libm → esm}/array/IsArray.js +0 -0
  334. package/esm/array/IsArray.js.map +1 -0
  335. package/{libm → esm}/array/PadLeft.js +0 -0
  336. package/esm/array/PadLeft.js.map +1 -0
  337. package/{libm → esm}/array/Reverse.js +0 -0
  338. package/esm/array/Reverse.js.map +1 -0
  339. package/{libm → esm}/array/Some.js +0 -0
  340. package/esm/array/Some.js.map +1 -0
  341. package/{libm → esm}/array/Tail.js +0 -0
  342. package/esm/array/Tail.js.map +1 -0
  343. package/{libm → esm}/array/UnionOfProps.js +0 -0
  344. package/esm/array/UnionOfProps.js.map +1 -0
  345. package/{libm → esm}/array/UnionOfValues.js +0 -0
  346. package/esm/array/UnionOfValues.js.map +1 -0
  347. package/{libm → esm}/array/index.js +0 -0
  348. package/esm/array/index.js.map +1 -0
  349. package/{libm → esm}/array/literalArray.js +0 -0
  350. package/esm/array/literalArray.js.map +1 -0
  351. package/{libm → esm}/array/reduceWhile.js +0 -0
  352. package/esm/array/reduceWhile.js.map +1 -0
  353. package/{libm → esm}/assertion/assertType.js +0 -0
  354. package/esm/assertion/assertType.js.map +1 -0
  355. package/{libm → esm}/assertion/index.js +0 -0
  356. package/esm/assertion/index.js.map +1 -0
  357. package/{libm → esm}/class/AnyConstructor.js +0 -0
  358. package/esm/class/AnyConstructor.js.map +1 -0
  359. package/{libm → esm}/class/index.js +0 -0
  360. package/esm/class/index.js.map +1 -0
  361. package/esm/class/isConstructor.js +13 -0
  362. package/esm/class/isConstructor.js.map +1 -0
  363. package/{libm → esm}/function/AnyFunction.js +0 -0
  364. package/esm/function/AnyFunction.js.map +1 -0
  365. package/{libm → esm}/function/index.js +0 -0
  366. package/esm/function/index.js.map +1 -0
  367. package/{libm → esm}/functional/ChainFn.js +0 -0
  368. package/esm/functional/ChainFn.js.map +1 -0
  369. package/{libm → esm}/functional/index.js +0 -0
  370. package/esm/functional/index.js.map +1 -0
  371. package/esm/index.js +22 -0
  372. package/esm/index.js.map +1 -0
  373. package/{libm → esm}/math/Abs.js +0 -0
  374. package/esm/math/Abs.js.map +1 -0
  375. package/{libm → esm}/math/Add.js +0 -0
  376. package/esm/math/Add.js.map +1 -0
  377. package/{libm → esm}/math/Digit.js +0 -0
  378. package/esm/math/Digit.js.map +1 -0
  379. package/{libm → esm}/math/GreaterThan.js +0 -0
  380. package/esm/math/GreaterThan.js.map +1 -0
  381. package/{libm → esm}/math/IsPositive.js +0 -0
  382. package/esm/math/IsPositive.js.map +1 -0
  383. package/{libm → esm}/math/IsWhole.js +0 -0
  384. package/esm/math/IsWhole.js.map +1 -0
  385. package/{libm → esm}/math/Max.js +0 -0
  386. package/esm/math/Max.js.map +1 -0
  387. package/{libm → esm}/math/Subtract.js +0 -0
  388. package/esm/math/Subtract.js.map +1 -0
  389. package/{libm → esm}/math/index.js +0 -0
  390. package/esm/math/index.js.map +1 -0
  391. package/esm/nodejs/index.js +2 -0
  392. package/esm/nodejs/index.js.map +1 -0
  393. package/esm/nodejs/isNodeError.js +9 -0
  394. package/esm/nodejs/isNodeError.js.map +1 -0
  395. package/{libm → esm}/nominal-types/Brand.js +0 -0
  396. package/esm/nominal-types/Brand.js.map +1 -0
  397. package/{libm → esm}/nominal-types/Flavor.js +0 -0
  398. package/esm/nominal-types/Flavor.js.map +1 -0
  399. package/{libm → esm}/nominal-types/index.js +0 -0
  400. package/esm/nominal-types/index.js.map +1 -0
  401. package/{libm → esm}/nominal-types/nominalMatch.js +0 -0
  402. package/esm/nominal-types/nominalMatch.js.map +1 -0
  403. package/{libm → esm}/nominal-types/types.js +0 -0
  404. package/esm/nominal-types/types.js.map +1 -0
  405. package/{libm → esm}/object/ANotB.js +0 -0
  406. package/esm/object/ANotB.js.map +1 -0
  407. package/{libm → esm}/object/AnyRecord.js +0 -0
  408. package/esm/object/AnyRecord.js.map +1 -0
  409. package/{libm → esm}/object/ExcludePropType.js +0 -0
  410. package/esm/object/ExcludePropType.js.map +1 -0
  411. package/{libm → esm}/object/IsDisjoint.js +0 -0
  412. package/esm/object/IsDisjoint.js.map +1 -0
  413. package/{libm → esm}/object/IsRecord.js +0 -0
  414. package/esm/object/IsRecord.js.map +1 -0
  415. package/{libm → esm}/object/KeyTypes.js +0 -0
  416. package/esm/object/KeyTypes.js.map +1 -0
  417. package/{libm → esm}/object/KeyofOptional.js +0 -0
  418. package/esm/object/KeyofOptional.js.map +1 -0
  419. package/{libm → esm}/object/KeysWithDiffType.js +0 -0
  420. package/esm/object/KeysWithDiffType.js.map +1 -0
  421. package/{libm → esm}/object/KnownKeys.js +0 -0
  422. package/esm/object/KnownKeys.js.map +1 -0
  423. package/{libm → esm}/object/OptionalKeys.js +0 -0
  424. package/esm/object/OptionalKeys.js.map +1 -0
  425. package/{libm → esm}/object/Partial.js +0 -0
  426. package/esm/object/Partial.js.map +1 -0
  427. package/{libm → esm}/object/RecursiveIntersect.js +0 -0
  428. package/esm/object/RecursiveIntersect.js.map +1 -0
  429. package/{libm → esm}/object/RecursivePartial.js +0 -0
  430. package/esm/object/RecursivePartial.js.map +1 -0
  431. package/{libm → esm}/object/RecursiveRequired.js +0 -0
  432. package/esm/object/RecursiveRequired.js.map +1 -0
  433. package/{libm → esm}/object/Required.js +0 -0
  434. package/esm/object/Required.js.map +1 -0
  435. package/{libm → esm}/object/RequiredKeys.js +0 -0
  436. package/esm/object/RequiredKeys.js.map +1 -0
  437. package/{libm → esm}/object/SpreadRecord.js +0 -0
  438. package/esm/object/SpreadRecord.js.map +1 -0
  439. package/{libm → esm}/object/ValueOf.js +0 -0
  440. package/esm/object/ValueOf.js.map +1 -0
  441. package/{libm → esm}/object/everyKey.js +0 -0
  442. package/esm/object/everyKey.js.map +1 -0
  443. package/{libm → esm}/object/facade.js +0 -0
  444. package/esm/object/facade.js.map +1 -0
  445. package/{libm → esm}/object/filterKey.js +0 -0
  446. package/esm/object/filterKey.js.map +1 -0
  447. package/{libm → esm}/object/findKey.js +0 -0
  448. package/esm/object/findKey.js.map +1 -0
  449. package/{libm → esm}/object/forEachKey.js +0 -0
  450. package/esm/object/forEachKey.js.map +1 -0
  451. package/{libm → esm}/object/getField.js +0 -0
  452. package/esm/object/getField.js.map +1 -0
  453. package/{libm → esm}/object/hasKey.js +0 -0
  454. package/esm/object/hasKey.js.map +1 -0
  455. package/{libm → esm}/object/hasProperty.js +0 -0
  456. package/esm/object/hasProperty.js.map +1 -0
  457. package/{libm → esm}/object/index.js +0 -0
  458. package/esm/object/index.js.map +1 -0
  459. package/{libm → esm}/object/mapKey.js +0 -0
  460. package/esm/object/mapKey.js.map +1 -0
  461. package/{libm → esm}/object/mapProperties.js +0 -0
  462. package/esm/object/mapProperties.js.map +1 -0
  463. package/{libm → esm}/object/omit.js +0 -0
  464. package/esm/object/omit.js.map +1 -0
  465. package/{libm → esm}/object/pick.js +0 -0
  466. package/esm/object/pick.js.map +1 -0
  467. package/{libm → esm}/object/reduceKey.js +0 -0
  468. package/esm/object/reduceKey.js.map +1 -0
  469. package/{libm → esm}/object/replaceProperty.js +0 -0
  470. package/esm/object/replaceProperty.js.map +1 -0
  471. package/{libm → esm}/object/someKey.js +0 -0
  472. package/esm/object/someKey.js.map +1 -0
  473. package/{libm → esm}/object/typeOverrideIncompatible.js +0 -0
  474. package/esm/object/typeOverrideIncompatible.js.map +1 -0
  475. package/{libm → esm}/predicates/CanAssign.js +0 -0
  476. package/esm/predicates/CanAssign.js.map +1 -0
  477. package/{libm → esm}/predicates/Equal.js +0 -0
  478. package/esm/predicates/Equal.js.map +1 -0
  479. package/{libm → esm}/predicates/Extends.js +0 -0
  480. package/esm/predicates/Extends.js.map +1 -0
  481. package/{libm → esm}/predicates/If.js +0 -0
  482. package/esm/predicates/If.js.map +1 -0
  483. package/{libm → esm}/predicates/index.js +0 -0
  484. package/esm/predicates/index.js.map +1 -0
  485. package/{libm → esm}/predicates/isEmptyObject.js +0 -0
  486. package/esm/predicates/isEmptyObject.js.map +1 -0
  487. package/{libm → esm}/predicates/isType.js +0 -0
  488. package/esm/predicates/isType.js.map +1 -0
  489. package/{libm → esm}/predicates/logical.js +0 -0
  490. package/esm/predicates/logical.js.map +1 -0
  491. package/{libm → esm}/promise/PromiseValue.js +0 -0
  492. package/esm/promise/PromiseValue.js.map +1 -0
  493. package/{libm → esm}/promise/PromiseValueMerge.js +0 -0
  494. package/esm/promise/PromiseValueMerge.js.map +1 -0
  495. package/{libm → esm}/promise/index.js +0 -0
  496. package/esm/promise/index.js.map +1 -0
  497. package/{libm → esm}/promise/isPromise.js +0 -0
  498. package/esm/promise/isPromise.js.map +1 -0
  499. package/{libm → esm}/promise/mapSeries.js +0 -0
  500. package/esm/promise/mapSeries.js.map +1 -0
  501. package/{libm → esm}/utils/Widen.js +0 -0
  502. package/esm/utils/Widen.js.map +1 -0
  503. package/{libm → esm}/utils/as.js +0 -0
  504. package/esm/utils/as.js.map +1 -0
  505. package/{libm → esm}/utils/index.js +0 -0
  506. package/esm/utils/index.js.map +1 -0
  507. package/package.json +47 -51
  508. package/ts/ComposableTypes.spec.ts +29 -0
  509. package/ts/ComposableTypes.ts +10 -0
  510. package/ts/JSONTypes.spec.ts +43 -0
  511. package/ts/JSONTypes.ts +18 -0
  512. package/ts/PrimitiveTypes.ts +2 -0
  513. package/{src → ts}/UnionKeys.ts +0 -0
  514. package/ts/UnionToIntersection.ts +7 -0
  515. package/ts/array/CommonPropKeys.spec.ts +20 -0
  516. package/ts/array/CommonPropKeys.ts +18 -0
  517. package/ts/array/Concat.spec.ts +21 -0
  518. package/ts/array/Concat.ts +1 -0
  519. package/ts/array/CreateTuple.spec.ts +21 -0
  520. package/ts/array/CreateTuple.ts +7 -0
  521. package/ts/array/DropFirst.spec.ts +21 -0
  522. package/ts/array/DropFirst.ts +9 -0
  523. package/ts/array/DropLast.spec.ts +21 -0
  524. package/ts/array/DropLast.ts +9 -0
  525. package/ts/array/Filter.spec.ts +21 -0
  526. package/ts/array/Filter.ts +12 -0
  527. package/ts/array/FindFirst.spec.ts +27 -0
  528. package/ts/array/FindFirst.ts +13 -0
  529. package/ts/array/FindLast.spec.ts +27 -0
  530. package/ts/array/FindLast.ts +8 -0
  531. package/ts/array/Head.spec.ts +21 -0
  532. package/ts/array/Head.ts +1 -0
  533. package/ts/array/IntersectOfProps.spec.ts +14 -0
  534. package/ts/array/IntersectOfProps.ts +20 -0
  535. package/ts/array/IsArray.ts +1 -0
  536. package/ts/array/PadLeft.spec.ts +26 -0
  537. package/ts/array/PadLeft.ts +16 -0
  538. package/ts/array/Reverse.spec.ts +17 -0
  539. package/ts/array/Reverse.ts +10 -0
  540. package/ts/array/Some.spec.ts +79 -0
  541. package/ts/array/Some.ts +24 -0
  542. package/ts/array/Tail.spec.ts +32 -0
  543. package/ts/array/Tail.ts +7 -0
  544. package/ts/array/UnionOfProps.spec.ts +14 -0
  545. package/ts/array/UnionOfProps.ts +18 -0
  546. package/ts/array/UnionOfValues.spec.ts +11 -0
  547. package/ts/array/UnionOfValues.ts +10 -0
  548. package/ts/array/index.ts +19 -0
  549. package/{src → ts}/array/literalArray.spec.ts +0 -0
  550. package/{src → ts}/array/literalArray.ts +0 -0
  551. package/{src → ts}/array/reduceWhile.spec.ts +0 -0
  552. package/{src → ts}/array/reduceWhile.ts +0 -0
  553. package/ts/assertion/assertType.spec.ts +507 -0
  554. package/ts/assertion/assertType.ts +105 -0
  555. package/ts/assertion/index.ts +1 -0
  556. package/{src → ts}/binary/Bit.ts +0 -0
  557. package/{src → ts}/binary/_binary.ts +0 -0
  558. package/{src → ts}/binary/index.spec.ts +0 -0
  559. package/{src → ts}/binary/index.ts +0 -0
  560. package/ts/class/AnyConstructor.spec.ts +13 -0
  561. package/{src → ts}/class/AnyConstructor.ts +0 -0
  562. package/{src → ts}/class/index.ts +0 -0
  563. package/ts/class/isConstructor.spec.ts +35 -0
  564. package/ts/class/isConstructor.ts +14 -0
  565. package/ts/function/AnyFunction.spec.ts +21 -0
  566. package/{src → ts}/function/AnyFunction.ts +0 -0
  567. package/{src → ts}/function/index.ts +0 -0
  568. package/ts/functional/ChainFn.spec.ts +7 -0
  569. package/ts/functional/ChainFn.ts +6 -0
  570. package/ts/functional/Maybe.spec.ts +42 -0
  571. package/ts/functional/Maybe.ts +19 -0
  572. package/ts/functional/index.ts +2 -0
  573. package/{src → ts}/index.spec.ts +0 -0
  574. package/ts/index.ts +21 -0
  575. package/ts/math/Abs.spec.ts +14 -0
  576. package/ts/math/Abs.ts +4 -0
  577. package/ts/math/Add.spec.ts +82 -0
  578. package/ts/math/Add.ts +49 -0
  579. package/ts/math/Digit.spec.ts +185 -0
  580. package/ts/math/Digit.ts +115 -0
  581. package/ts/math/GreaterThan.spec.ts +40 -0
  582. package/ts/math/GreaterThan.ts +36 -0
  583. package/{src → ts}/math/IsPositive.spec.ts +0 -0
  584. package/ts/math/IsPositive.ts +9 -0
  585. package/ts/math/IsWhole.spec.ts +19 -0
  586. package/ts/math/IsWhole.ts +9 -0
  587. package/ts/math/Max.spec.ts +35 -0
  588. package/ts/math/Max.ts +31 -0
  589. package/ts/math/README.md +7 -0
  590. package/ts/math/Subtract.spec.ts +40 -0
  591. package/ts/math/Subtract.ts +40 -0
  592. package/ts/math/index.ts +7 -0
  593. package/ts/nodejs/index.ts +1 -0
  594. package/ts/nodejs/isNodeError.spec.ts +11 -0
  595. package/ts/nodejs/isNodeError.ts +28 -0
  596. package/ts/nominal-types/Brand.spec.ts +43 -0
  597. package/ts/nominal-types/Brand.ts +32 -0
  598. package/ts/nominal-types/Flavor.spec.ts +51 -0
  599. package/ts/nominal-types/Flavor.ts +32 -0
  600. package/{src → ts}/nominal-types/index.ts +0 -0
  601. package/{src → ts}/nominal-types/nominalMatch.spec.ts +0 -0
  602. package/{src → ts}/nominal-types/nominalMatch.ts +0 -0
  603. package/{src → ts}/nominal-types/types.ts +0 -0
  604. package/{src → ts}/object/ANotB.spec.ts +0 -0
  605. package/ts/object/ANotB.ts +21 -0
  606. package/{src → ts}/object/AnyRecord.ts +0 -0
  607. package/ts/object/ExcludePropType.spec.ts +13 -0
  608. package/{src → ts}/object/ExcludePropType.ts +0 -0
  609. package/ts/object/IsDisjoint.spec.ts +25 -0
  610. package/ts/object/IsDisjoint.ts +12 -0
  611. package/ts/object/IsRecord.spec.ts +22 -0
  612. package/ts/object/IsRecord.ts +4 -0
  613. package/{src → ts}/object/KeyTypes.spec.ts +0 -0
  614. package/{src → ts}/object/KeyTypes.ts +0 -0
  615. package/ts/object/KeyofOptional.spec.ts +8 -0
  616. package/{src → ts}/object/KeyofOptional.ts +0 -0
  617. package/ts/object/KeysWithDiffType.spec.ts +21 -0
  618. package/{src → ts}/object/KeysWithDiffType.ts +0 -0
  619. package/ts/object/KnownKeys.spec.ts +39 -0
  620. package/ts/object/KnownKeys.ts +16 -0
  621. package/{src → ts}/object/OptionalKeys.spec.ts +0 -0
  622. package/{src → ts}/object/OptionalKeys.ts +0 -0
  623. package/ts/object/Partial.spec.ts +49 -0
  624. package/{src → ts}/object/Partial.ts +0 -0
  625. package/ts/object/RecursiveIntersect.spec.ts +39 -0
  626. package/{src → ts}/object/RecursiveIntersect.ts +0 -0
  627. package/{src → ts}/object/RecursivePartial.ts +0 -0
  628. package/{src → ts}/object/RecursiveRequired.spec.ts +0 -0
  629. package/{src → ts}/object/RecursiveRequired.ts +0 -0
  630. package/ts/object/Required.spec.ts +29 -0
  631. package/{src → ts}/object/Required.ts +0 -0
  632. package/{src → ts}/object/RequiredKeys.spec.ts +0 -0
  633. package/{src → ts}/object/RequiredKeys.ts +0 -0
  634. package/ts/object/SpreadRecord.spec.ts +14 -0
  635. package/ts/object/SpreadRecord.ts +6 -0
  636. package/ts/object/ValueOf.spec.ts +36 -0
  637. package/{src → ts}/object/ValueOf.ts +0 -0
  638. package/{src → ts}/object/everyKey.spec.ts +0 -0
  639. package/{src → ts}/object/everyKey.ts +0 -0
  640. package/{src → ts}/object/facade.spec.ts +0 -0
  641. package/ts/object/facade.ts +39 -0
  642. package/{src → ts}/object/filterKey.spec.ts +0 -0
  643. package/{src → ts}/object/filterKey.ts +0 -0
  644. package/{src → ts}/object/findKey.spec.ts +0 -0
  645. package/{src → ts}/object/findKey.ts +0 -0
  646. package/{src → ts}/object/forEachKey.spec.ts +0 -0
  647. package/{src → ts}/object/forEachKey.ts +0 -0
  648. package/ts/object/getField.spec.ts +21 -0
  649. package/ts/object/getField.ts +21 -0
  650. package/{src → ts}/object/hasKey.spec.ts +0 -0
  651. package/ts/object/hasKey.ts +7 -0
  652. package/ts/object/hasProperty.spec.ts +15 -0
  653. package/{src → ts}/object/hasProperty.ts +0 -0
  654. package/ts/object/index.ts +35 -0
  655. package/{src → ts}/object/mapKey.spec.ts +0 -0
  656. package/{src → ts}/object/mapKey.ts +0 -0
  657. package/ts/object/mapProperties.spec.ts +27 -0
  658. package/{src → ts}/object/mapProperties.ts +0 -0
  659. package/ts/object/omit.spec.ts +104 -0
  660. package/ts/object/omit.ts +36 -0
  661. package/ts/object/pick.spec.ts +66 -0
  662. package/ts/object/pick.ts +35 -0
  663. package/{src → ts}/object/reduceKey.spec.ts +0 -0
  664. package/{src → ts}/object/reduceKey.ts +0 -0
  665. package/{src → ts}/object/replaceProperty.spec.ts +0 -0
  666. package/{src → ts}/object/replaceProperty.ts +0 -0
  667. package/{src → ts}/object/someKey.spec.ts +0 -0
  668. package/{src → ts}/object/someKey.ts +0 -0
  669. package/ts/object/typeOverrideIncompatible.spec.ts +24 -0
  670. package/ts/object/typeOverrideIncompatible.ts +10 -0
  671. package/ts/predicates/CanAssign.spec.ts +57 -0
  672. package/{src → ts}/predicates/CanAssign.ts +0 -0
  673. package/ts/predicates/Equal.spec.ts +71 -0
  674. package/ts/predicates/Equal.ts +14 -0
  675. package/ts/predicates/Extends.ts +4 -0
  676. package/ts/predicates/If.spec.ts +14 -0
  677. package/ts/predicates/If.ts +5 -0
  678. package/ts/predicates/index.spec.ts +73 -0
  679. package/ts/predicates/index.ts +17 -0
  680. package/ts/predicates/isEmptyObject.spec.ts +15 -0
  681. package/ts/predicates/isEmptyObject.ts +2 -0
  682. package/ts/predicates/isType.spec.ts +106 -0
  683. package/ts/predicates/isType.ts +30 -0
  684. package/ts/predicates/logical.spec.ts +59 -0
  685. package/ts/predicates/logical.ts +4 -0
  686. package/ts/promise/PromiseValue.spec.ts +6 -0
  687. package/{src → ts}/promise/PromiseValue.ts +0 -0
  688. package/{src → ts}/promise/PromiseValueMerge.spec.ts +0 -0
  689. package/{src → ts}/promise/PromiseValueMerge.ts +0 -0
  690. package/{src → ts}/promise/index.ts +0 -0
  691. package/{src → ts}/promise/isPromise.spec.ts +0 -0
  692. package/ts/promise/isPromise.ts +4 -0
  693. package/{src → ts}/promise/mapSeries.spec.ts +0 -0
  694. package/ts/promise/mapSeries.ts +5 -0
  695. package/{src → ts}/type-checker/.eslintrc.json +0 -0
  696. package/{src → ts}/type-checker/AnyType.ts +0 -0
  697. package/{src → ts}/type-checker/Boolean.ts +0 -0
  698. package/{src → ts}/type-checker/Tuple.spec.ts +0 -0
  699. package/{src → ts}/type-checker/Tuple.ts +0 -0
  700. package/ts/type-checker/buildTypes.spec.ts +28 -0
  701. package/{src → ts}/type-checker/index.ts +0 -0
  702. package/ts/type-checker/typeChecker.spec.ts +14 -0
  703. package/{src → ts}/type-checker/typeChecker.ts +0 -0
  704. package/{src → ts}/type-checker/types.ts +0 -0
  705. package/{src → ts}/types/.eslintrc.json +0 -0
  706. package/{src → ts}/types/AllType.ts +0 -0
  707. package/{src → ts}/types/Any.ts +0 -0
  708. package/{src → ts}/types/Array.ts +0 -0
  709. package/{src → ts}/types/BigInt.ts +0 -0
  710. package/{src → ts}/types/Boolean.ts +0 -0
  711. package/ts/types/Generate.ts +48 -0
  712. package/{src → ts}/types/Null.ts +0 -0
  713. package/ts/types/Number.ts +56 -0
  714. package/ts/types/Object.ts +53 -0
  715. package/{src → ts}/types/Record.ts +0 -0
  716. package/ts/types/String.ts +56 -0
  717. package/ts/types/Symbol.ts +19 -0
  718. package/ts/types/Tuple.ts +50 -0
  719. package/{src → ts}/types/Undefined.ts +0 -0
  720. package/{src → ts}/types/Union.ts +0 -0
  721. package/{src → ts}/types/Unknown.ts +0 -0
  722. package/{src → ts}/types/analyze.spec.ts +0 -0
  723. package/{src → ts}/types/analyze.ts +0 -0
  724. package/ts/types/check.spec.ts +12 -0
  725. package/{src → ts}/types/check.ts +0 -0
  726. package/ts/types/conform.spec.ts +7 -0
  727. package/{src → ts}/types/conform.ts +0 -0
  728. package/{src → ts}/types/getPlainAnalysisReport.spec.ts +0 -0
  729. package/ts/types/getPlainAnalysisReport.ts +115 -0
  730. package/ts/types/index.ts +28 -0
  731. package/ts/types/optional.ts +30 -0
  732. package/ts/types/required.ts +30 -0
  733. package/ts/types/satisfy.accept.ts +39 -0
  734. package/ts/types/satisfy.spec.ts +600 -0
  735. package/{src → ts}/types/satisfy.ts +0 -0
  736. package/{src → ts}/types/types.ts +0 -0
  737. package/{src → ts}/utils/Widen.ts +0 -0
  738. package/ts/utils/as.spec.ts +24 -0
  739. package/ts/utils/as.ts +7 -0
  740. package/ts/utils/index.ts +2 -0
  741. package/lib/JSONTypes.js +0 -23
  742. package/lib/JSONTypes.js.map +0 -1
  743. package/lib/PrimitiveTypes.js.map +0 -1
  744. package/lib/UnionKeys.js.map +0 -1
  745. package/lib/array/CommonPropKeys.js.map +0 -1
  746. package/lib/array/Concat.js.map +0 -1
  747. package/lib/array/CreateTuple.js.map +0 -1
  748. package/lib/array/DropFirst.js.map +0 -1
  749. package/lib/array/DropLast.js.map +0 -1
  750. package/lib/array/Filter.js.map +0 -1
  751. package/lib/array/FindFirst.js.map +0 -1
  752. package/lib/array/FindLast.js.map +0 -1
  753. package/lib/array/Head.js.map +0 -1
  754. package/lib/array/IntersectOfProps.js.map +0 -1
  755. package/lib/array/IsArray.js.map +0 -1
  756. package/lib/array/PadLeft.js.map +0 -1
  757. package/lib/array/Reverse.js.map +0 -1
  758. package/lib/array/Some.js.map +0 -1
  759. package/lib/array/Tail.js.map +0 -1
  760. package/lib/array/UnionOfProps.js.map +0 -1
  761. package/lib/array/UnionOfValues.js.map +0 -1
  762. package/lib/array/index.js.map +0 -1
  763. package/lib/array/literalArray.js.map +0 -1
  764. package/lib/array/reduceWhile.js.map +0 -1
  765. package/lib/assertion/assertType.d.ts +0 -78
  766. package/lib/assertion/assertType.js +0 -107
  767. package/lib/assertion/assertType.js.map +0 -1
  768. package/lib/assertion/index.js.map +0 -1
  769. package/lib/class/AnyConstructor.js.map +0 -1
  770. package/lib/class/index.js.map +0 -1
  771. package/lib/class/isConstructor.js +0 -18
  772. package/lib/class/isConstructor.js.map +0 -1
  773. package/lib/function/AnyFunction.js.map +0 -1
  774. package/lib/function/index.js.map +0 -1
  775. package/lib/functional/ChainFn.js.map +0 -1
  776. package/lib/functional/index.js.map +0 -1
  777. package/lib/index.d.ts +0 -19
  778. package/lib/index.js +0 -48
  779. package/lib/index.js.map +0 -1
  780. package/lib/math/Abs.js.map +0 -1
  781. package/lib/math/Add.js.map +0 -1
  782. package/lib/math/Digit.js.map +0 -1
  783. package/lib/math/GreaterThan.js.map +0 -1
  784. package/lib/math/IsPositive.js.map +0 -1
  785. package/lib/math/IsWhole.js.map +0 -1
  786. package/lib/math/Max.js.map +0 -1
  787. package/lib/math/Subtract.js.map +0 -1
  788. package/lib/math/index.js.map +0 -1
  789. package/lib/nominal-types/Brand.js.map +0 -1
  790. package/lib/nominal-types/Flavor.js.map +0 -1
  791. package/lib/nominal-types/index.js.map +0 -1
  792. package/lib/nominal-types/nominalMatch.js.map +0 -1
  793. package/lib/nominal-types/types.js.map +0 -1
  794. package/lib/object/ANotB.js.map +0 -1
  795. package/lib/object/AnyRecord.js.map +0 -1
  796. package/lib/object/ExcludePropType.js.map +0 -1
  797. package/lib/object/IsDisjoint.js.map +0 -1
  798. package/lib/object/IsRecord.js.map +0 -1
  799. package/lib/object/KeyTypes.js.map +0 -1
  800. package/lib/object/KeyofOptional.js.map +0 -1
  801. package/lib/object/KeysWithDiffType.js.map +0 -1
  802. package/lib/object/KnownKeys.js.map +0 -1
  803. package/lib/object/OptionalKeys.js.map +0 -1
  804. package/lib/object/Partial.js.map +0 -1
  805. package/lib/object/RecursiveIntersect.js.map +0 -1
  806. package/lib/object/RecursivePartial.js.map +0 -1
  807. package/lib/object/RecursiveRequired.js.map +0 -1
  808. package/lib/object/Required.js.map +0 -1
  809. package/lib/object/RequiredKeys.js.map +0 -1
  810. package/lib/object/SpreadRecord.js.map +0 -1
  811. package/lib/object/ValueOf.js.map +0 -1
  812. package/lib/object/everyKey.js.map +0 -1
  813. package/lib/object/facade.js.map +0 -1
  814. package/lib/object/filterKey.js.map +0 -1
  815. package/lib/object/findKey.js.map +0 -1
  816. package/lib/object/forEachKey.js.map +0 -1
  817. package/lib/object/getField.js.map +0 -1
  818. package/lib/object/hasKey.js.map +0 -1
  819. package/lib/object/hasProperty.js.map +0 -1
  820. package/lib/object/index.js.map +0 -1
  821. package/lib/object/mapKey.js.map +0 -1
  822. package/lib/object/mapProperties.js +0 -18
  823. package/lib/object/mapProperties.js.map +0 -1
  824. package/lib/object/omit.js +0 -17
  825. package/lib/object/omit.js.map +0 -1
  826. package/lib/object/pick.js +0 -17
  827. package/lib/object/pick.js.map +0 -1
  828. package/lib/object/reduceKey.js.map +0 -1
  829. package/lib/object/replaceProperty.js.map +0 -1
  830. package/lib/object/someKey.js.map +0 -1
  831. package/lib/object/typeOverrideIncompatible.js.map +0 -1
  832. package/lib/predicates/CanAssign.js.map +0 -1
  833. package/lib/predicates/Equal.js.map +0 -1
  834. package/lib/predicates/Extends.js.map +0 -1
  835. package/lib/predicates/If.js.map +0 -1
  836. package/lib/predicates/index.js.map +0 -1
  837. package/lib/predicates/isEmptyObject.js.map +0 -1
  838. package/lib/predicates/isType.d.ts +0 -20
  839. package/lib/predicates/isType.js +0 -28
  840. package/lib/predicates/isType.js.map +0 -1
  841. package/lib/predicates/logical.js.map +0 -1
  842. package/lib/promise/PromiseValue.js.map +0 -1
  843. package/lib/promise/PromiseValueMerge.js.map +0 -1
  844. package/lib/promise/index.js.map +0 -1
  845. package/lib/promise/isPromise.js.map +0 -1
  846. package/lib/promise/mapSeries.js.map +0 -1
  847. package/lib/types/AllType.d.ts +0 -18
  848. package/lib/types/AllType.js +0 -3
  849. package/lib/types/AllType.js.map +0 -1
  850. package/lib/types/Any.d.ts +0 -6
  851. package/lib/types/Any.js +0 -5
  852. package/lib/types/Any.js.map +0 -1
  853. package/lib/types/Array.d.ts +0 -28
  854. package/lib/types/Array.js +0 -30
  855. package/lib/types/Array.js.map +0 -1
  856. package/lib/types/Boolean.d.ts +0 -29
  857. package/lib/types/Boolean.js +0 -28
  858. package/lib/types/Boolean.js.map +0 -1
  859. package/lib/types/Generate.d.ts +0 -32
  860. package/lib/types/Generate.js +0 -3
  861. package/lib/types/Generate.js.map +0 -1
  862. package/lib/types/Null.d.ts +0 -8
  863. package/lib/types/Null.js +0 -10
  864. package/lib/types/Null.js.map +0 -1
  865. package/lib/types/Number.d.ts +0 -36
  866. package/lib/types/Number.js +0 -46
  867. package/lib/types/Number.js.map +0 -1
  868. package/lib/types/Object.d.ts +0 -329
  869. package/lib/types/Object.js +0 -35
  870. package/lib/types/Object.js.map +0 -1
  871. package/lib/types/Record.d.ts +0 -16
  872. package/lib/types/Record.js +0 -17
  873. package/lib/types/Record.js.map +0 -1
  874. package/lib/types/String.d.ts +0 -36
  875. package/lib/types/String.js +0 -47
  876. package/lib/types/String.js.map +0 -1
  877. package/lib/types/Symbol.d.ts +0 -8
  878. package/lib/types/Symbol.js +0 -13
  879. package/lib/types/Symbol.js.map +0 -1
  880. package/lib/types/Tuple.d.ts +0 -35
  881. package/lib/types/Tuple.js +0 -39
  882. package/lib/types/Tuple.js.map +0 -1
  883. package/lib/types/Undefined.d.ts +0 -6
  884. package/lib/types/Undefined.js +0 -5
  885. package/lib/types/Undefined.js.map +0 -1
  886. package/lib/types/Union.d.ts +0 -20
  887. package/lib/types/Union.js +0 -48
  888. package/lib/types/Union.js.map +0 -1
  889. package/lib/types/Unknown.d.ts +0 -6
  890. package/lib/types/Unknown.js +0 -5
  891. package/lib/types/Unknown.js.map +0 -1
  892. package/lib/types/analyze.d.ts +0 -13
  893. package/lib/types/analyze.js +0 -158
  894. package/lib/types/analyze.js.map +0 -1
  895. package/lib/types/check.d.ts +0 -14
  896. package/lib/types/check.js +0 -25
  897. package/lib/types/check.js.map +0 -1
  898. package/lib/types/conform.d.ts +0 -15
  899. package/lib/types/conform.js +0 -26
  900. package/lib/types/conform.js.map +0 -1
  901. package/lib/types/getPlainAnalysisReport.d.ts +0 -2
  902. package/lib/types/getPlainAnalysisReport.js +0 -116
  903. package/lib/types/getPlainAnalysisReport.js.map +0 -1
  904. package/lib/types/index.d.ts +0 -26
  905. package/lib/types/index.js +0 -45
  906. package/lib/types/index.js.map +0 -1
  907. package/lib/types/optional.d.ts +0 -344
  908. package/lib/types/optional.js +0 -33
  909. package/lib/types/optional.js.map +0 -1
  910. package/lib/types/required.d.ts +0 -696
  911. package/lib/types/required.js +0 -33
  912. package/lib/types/required.js.map +0 -1
  913. package/lib/types/satisfy.d.ts +0 -15
  914. package/lib/types/satisfy.js +0 -26
  915. package/lib/types/satisfy.js.map +0 -1
  916. package/lib/types/types.d.ts +0 -9
  917. package/lib/types/types.js +0 -3
  918. package/lib/types/types.js.map +0 -1
  919. package/lib/utils/Widen.js.map +0 -1
  920. package/lib/utils/as.js.map +0 -1
  921. package/lib/utils/index.js.map +0 -1
  922. package/libm/JSONTypes.js.map +0 -1
  923. package/libm/PrimitiveTypes.js.map +0 -1
  924. package/libm/UnionKeys.js.map +0 -1
  925. package/libm/array/CommonPropKeys.js.map +0 -1
  926. package/libm/array/Concat.js.map +0 -1
  927. package/libm/array/CreateTuple.js.map +0 -1
  928. package/libm/array/DropFirst.js.map +0 -1
  929. package/libm/array/DropLast.js.map +0 -1
  930. package/libm/array/Filter.js.map +0 -1
  931. package/libm/array/FindFirst.js.map +0 -1
  932. package/libm/array/FindLast.js.map +0 -1
  933. package/libm/array/Head.js.map +0 -1
  934. package/libm/array/IntersectOfProps.js.map +0 -1
  935. package/libm/array/IsArray.js.map +0 -1
  936. package/libm/array/PadLeft.js.map +0 -1
  937. package/libm/array/Reverse.js.map +0 -1
  938. package/libm/array/Some.js.map +0 -1
  939. package/libm/array/Tail.js.map +0 -1
  940. package/libm/array/UnionOfProps.js.map +0 -1
  941. package/libm/array/UnionOfValues.js.map +0 -1
  942. package/libm/array/index.js.map +0 -1
  943. package/libm/array/literalArray.js.map +0 -1
  944. package/libm/array/reduceWhile.js.map +0 -1
  945. package/libm/assertion/assertType.js.map +0 -1
  946. package/libm/assertion/index.js.map +0 -1
  947. package/libm/class/AnyConstructor.js.map +0 -1
  948. package/libm/class/index.js.map +0 -1
  949. package/libm/class/isConstructor.js +0 -14
  950. package/libm/class/isConstructor.js.map +0 -1
  951. package/libm/function/AnyFunction.js.map +0 -1
  952. package/libm/function/index.js.map +0 -1
  953. package/libm/functional/ChainFn.js.map +0 -1
  954. package/libm/functional/index.js.map +0 -1
  955. package/libm/index.js +0 -20
  956. package/libm/index.js.map +0 -1
  957. package/libm/math/Abs.js.map +0 -1
  958. package/libm/math/Add.js.map +0 -1
  959. package/libm/math/Digit.js.map +0 -1
  960. package/libm/math/GreaterThan.js.map +0 -1
  961. package/libm/math/IsPositive.js.map +0 -1
  962. package/libm/math/IsWhole.js.map +0 -1
  963. package/libm/math/Max.js.map +0 -1
  964. package/libm/math/Subtract.js.map +0 -1
  965. package/libm/math/index.js.map +0 -1
  966. package/libm/nominal-types/Brand.js.map +0 -1
  967. package/libm/nominal-types/Flavor.js.map +0 -1
  968. package/libm/nominal-types/index.js.map +0 -1
  969. package/libm/nominal-types/nominalMatch.js.map +0 -1
  970. package/libm/nominal-types/types.js.map +0 -1
  971. package/libm/object/ANotB.js.map +0 -1
  972. package/libm/object/AnyRecord.js.map +0 -1
  973. package/libm/object/ExcludePropType.js.map +0 -1
  974. package/libm/object/IsDisjoint.js.map +0 -1
  975. package/libm/object/IsRecord.js.map +0 -1
  976. package/libm/object/KeyTypes.js.map +0 -1
  977. package/libm/object/KeyofOptional.js.map +0 -1
  978. package/libm/object/KeysWithDiffType.js.map +0 -1
  979. package/libm/object/KnownKeys.js.map +0 -1
  980. package/libm/object/OptionalKeys.js.map +0 -1
  981. package/libm/object/Partial.js.map +0 -1
  982. package/libm/object/RecursiveIntersect.js.map +0 -1
  983. package/libm/object/RecursivePartial.js.map +0 -1
  984. package/libm/object/RecursiveRequired.js.map +0 -1
  985. package/libm/object/Required.js.map +0 -1
  986. package/libm/object/RequiredKeys.js.map +0 -1
  987. package/libm/object/SpreadRecord.js.map +0 -1
  988. package/libm/object/ValueOf.js.map +0 -1
  989. package/libm/object/everyKey.js.map +0 -1
  990. package/libm/object/facade.js.map +0 -1
  991. package/libm/object/filterKey.js.map +0 -1
  992. package/libm/object/findKey.js.map +0 -1
  993. package/libm/object/forEachKey.js.map +0 -1
  994. package/libm/object/getField.js.map +0 -1
  995. package/libm/object/hasKey.js.map +0 -1
  996. package/libm/object/hasProperty.js.map +0 -1
  997. package/libm/object/index.js.map +0 -1
  998. package/libm/object/mapKey.js.map +0 -1
  999. package/libm/object/mapProperties.js.map +0 -1
  1000. package/libm/object/omit.js.map +0 -1
  1001. package/libm/object/pick.js.map +0 -1
  1002. package/libm/object/reduceKey.js.map +0 -1
  1003. package/libm/object/replaceProperty.js.map +0 -1
  1004. package/libm/object/someKey.js.map +0 -1
  1005. package/libm/object/typeOverrideIncompatible.js.map +0 -1
  1006. package/libm/predicates/CanAssign.js.map +0 -1
  1007. package/libm/predicates/Equal.js.map +0 -1
  1008. package/libm/predicates/Extends.js.map +0 -1
  1009. package/libm/predicates/If.js.map +0 -1
  1010. package/libm/predicates/index.js.map +0 -1
  1011. package/libm/predicates/isEmptyObject.js.map +0 -1
  1012. package/libm/predicates/isType.js.map +0 -1
  1013. package/libm/predicates/logical.js.map +0 -1
  1014. package/libm/promise/PromiseValue.js.map +0 -1
  1015. package/libm/promise/PromiseValueMerge.js.map +0 -1
  1016. package/libm/promise/index.js.map +0 -1
  1017. package/libm/promise/isPromise.js.map +0 -1
  1018. package/libm/promise/mapSeries.js.map +0 -1
  1019. package/libm/types/AllType.js +0 -2
  1020. package/libm/types/AllType.js.map +0 -1
  1021. package/libm/types/Any.js +0 -2
  1022. package/libm/types/Any.js.map +0 -1
  1023. package/libm/types/Array.js +0 -27
  1024. package/libm/types/Array.js.map +0 -1
  1025. package/libm/types/Boolean.js +0 -25
  1026. package/libm/types/Boolean.js.map +0 -1
  1027. package/libm/types/Generate.js +0 -2
  1028. package/libm/types/Generate.js.map +0 -1
  1029. package/libm/types/Null.js +0 -7
  1030. package/libm/types/Null.js.map +0 -1
  1031. package/libm/types/Number.js +0 -30
  1032. package/libm/types/Number.js.map +0 -1
  1033. package/libm/types/Object.js +0 -31
  1034. package/libm/types/Object.js.map +0 -1
  1035. package/libm/types/Record.js +0 -14
  1036. package/libm/types/Record.js.map +0 -1
  1037. package/libm/types/String.js +0 -31
  1038. package/libm/types/String.js.map +0 -1
  1039. package/libm/types/Symbol.js +0 -10
  1040. package/libm/types/Symbol.js.map +0 -1
  1041. package/libm/types/Tuple.js +0 -23
  1042. package/libm/types/Tuple.js.map +0 -1
  1043. package/libm/types/Undefined.js +0 -2
  1044. package/libm/types/Undefined.js.map +0 -1
  1045. package/libm/types/Union.js +0 -32
  1046. package/libm/types/Union.js.map +0 -1
  1047. package/libm/types/Unknown.js +0 -2
  1048. package/libm/types/Unknown.js.map +0 -1
  1049. package/libm/types/analyze.js +0 -142
  1050. package/libm/types/analyze.js.map +0 -1
  1051. package/libm/types/check.js +0 -21
  1052. package/libm/types/check.js.map +0 -1
  1053. package/libm/types/conform.js +0 -22
  1054. package/libm/types/conform.js.map +0 -1
  1055. package/libm/types/getPlainAnalysisReport.js +0 -106
  1056. package/libm/types/getPlainAnalysisReport.js.map +0 -1
  1057. package/libm/types/index.js +0 -28
  1058. package/libm/types/index.js.map +0 -1
  1059. package/libm/types/optional.js +0 -30
  1060. package/libm/types/optional.js.map +0 -1
  1061. package/libm/types/required.js +0 -30
  1062. package/libm/types/required.js.map +0 -1
  1063. package/libm/types/satisfy.js +0 -22
  1064. package/libm/types/satisfy.js.map +0 -1
  1065. package/libm/types/types.js +0 -2
  1066. package/libm/types/types.js.map +0 -1
  1067. package/libm/utils/Widen.js.map +0 -1
  1068. package/libm/utils/as.js.map +0 -1
  1069. package/libm/utils/index.js.map +0 -1
  1070. package/src/JSONTypes.spec.ts +0 -43
  1071. package/src/JSONTypes.ts +0 -18
  1072. package/src/PrimitiveTypes.ts +0 -2
  1073. package/src/UnionToIntersection.ts +0 -7
  1074. package/src/array/CommonPropKeys.spec.ts +0 -20
  1075. package/src/array/CommonPropKeys.ts +0 -18
  1076. package/src/array/Concat.spec.ts +0 -21
  1077. package/src/array/Concat.ts +0 -1
  1078. package/src/array/CreateTuple.spec.ts +0 -21
  1079. package/src/array/CreateTuple.ts +0 -7
  1080. package/src/array/DropFirst.spec.ts +0 -21
  1081. package/src/array/DropFirst.ts +0 -9
  1082. package/src/array/DropLast.spec.ts +0 -21
  1083. package/src/array/DropLast.ts +0 -9
  1084. package/src/array/Filter.spec.ts +0 -21
  1085. package/src/array/Filter.ts +0 -12
  1086. package/src/array/FindFirst.spec.ts +0 -27
  1087. package/src/array/FindFirst.ts +0 -13
  1088. package/src/array/FindLast.spec.ts +0 -27
  1089. package/src/array/FindLast.ts +0 -8
  1090. package/src/array/Head.spec.ts +0 -21
  1091. package/src/array/Head.ts +0 -1
  1092. package/src/array/IntersectOfProps.spec.ts +0 -14
  1093. package/src/array/IntersectOfProps.ts +0 -20
  1094. package/src/array/IsArray.ts +0 -1
  1095. package/src/array/PadLeft.spec.ts +0 -26
  1096. package/src/array/PadLeft.ts +0 -16
  1097. package/src/array/Reverse.spec.ts +0 -17
  1098. package/src/array/Reverse.ts +0 -10
  1099. package/src/array/Some.spec.ts +0 -79
  1100. package/src/array/Some.ts +0 -24
  1101. package/src/array/Tail.spec.ts +0 -32
  1102. package/src/array/Tail.ts +0 -7
  1103. package/src/array/UnionOfProps.spec.ts +0 -14
  1104. package/src/array/UnionOfProps.ts +0 -18
  1105. package/src/array/UnionOfValues.spec.ts +0 -11
  1106. package/src/array/UnionOfValues.ts +0 -10
  1107. package/src/array/index.ts +0 -19
  1108. package/src/assertion/assertType.spec.ts +0 -507
  1109. package/src/assertion/assertType.ts +0 -105
  1110. package/src/assertion/index.ts +0 -1
  1111. package/src/class/AnyConstructor.spec.ts +0 -13
  1112. package/src/class/isConstructor.spec.ts +0 -35
  1113. package/src/class/isConstructor.ts +0 -15
  1114. package/src/function/AnyFunction.spec.ts +0 -21
  1115. package/src/functional/ChainFn.spec.ts +0 -7
  1116. package/src/functional/ChainFn.ts +0 -6
  1117. package/src/functional/Maybe.spec.ts +0 -43
  1118. package/src/functional/Maybe.ts +0 -19
  1119. package/src/functional/index.ts +0 -2
  1120. package/src/index.ts +0 -19
  1121. package/src/math/Abs.spec.ts +0 -14
  1122. package/src/math/Abs.ts +0 -4
  1123. package/src/math/Add.spec.ts +0 -82
  1124. package/src/math/Add.ts +0 -49
  1125. package/src/math/Digit.spec.ts +0 -185
  1126. package/src/math/Digit.ts +0 -115
  1127. package/src/math/GreaterThan.spec.ts +0 -40
  1128. package/src/math/GreaterThan.ts +0 -36
  1129. package/src/math/IsPositive.ts +0 -9
  1130. package/src/math/IsWhole.spec.ts +0 -19
  1131. package/src/math/IsWhole.ts +0 -9
  1132. package/src/math/Max.spec.ts +0 -35
  1133. package/src/math/Max.ts +0 -31
  1134. package/src/math/README.md +0 -7
  1135. package/src/math/Subtract.spec.ts +0 -40
  1136. package/src/math/Subtract.ts +0 -40
  1137. package/src/math/index.ts +0 -7
  1138. package/src/nominal-types/Brand.spec.ts +0 -43
  1139. package/src/nominal-types/Brand.ts +0 -32
  1140. package/src/nominal-types/Flavor.spec.ts +0 -51
  1141. package/src/nominal-types/Flavor.ts +0 -32
  1142. package/src/object/ANotB.ts +0 -21
  1143. package/src/object/ExcludePropType.spec.ts +0 -13
  1144. package/src/object/IsDisjoint.spec.ts +0 -25
  1145. package/src/object/IsDisjoint.ts +0 -12
  1146. package/src/object/IsRecord.spec.ts +0 -22
  1147. package/src/object/IsRecord.ts +0 -4
  1148. package/src/object/KeyofOptional.spec.ts +0 -8
  1149. package/src/object/KeysWithDiffType.spec.ts +0 -21
  1150. package/src/object/KnownKeys.spec.ts +0 -39
  1151. package/src/object/KnownKeys.ts +0 -16
  1152. package/src/object/Partial.spec.ts +0 -49
  1153. package/src/object/RecursiveIntersect.spec.ts +0 -39
  1154. package/src/object/Required.spec.ts +0 -29
  1155. package/src/object/SpreadRecord.spec.ts +0 -14
  1156. package/src/object/SpreadRecord.ts +0 -6
  1157. package/src/object/ValueOf.spec.ts +0 -36
  1158. package/src/object/facade.ts +0 -39
  1159. package/src/object/getField.spec.ts +0 -21
  1160. package/src/object/getField.ts +0 -21
  1161. package/src/object/hasKey.ts +0 -7
  1162. package/src/object/hasProperty.spec.ts +0 -15
  1163. package/src/object/index.ts +0 -35
  1164. package/src/object/mapProperties.spec.ts +0 -27
  1165. package/src/object/omit.spec.ts +0 -104
  1166. package/src/object/omit.ts +0 -36
  1167. package/src/object/pick.spec.ts +0 -66
  1168. package/src/object/pick.ts +0 -35
  1169. package/src/object/typeOverrideIncompatible.spec.ts +0 -24
  1170. package/src/object/typeOverrideIncompatible.ts +0 -10
  1171. package/src/predicates/CanAssign.spec.ts +0 -57
  1172. package/src/predicates/Equal.spec.ts +0 -71
  1173. package/src/predicates/Equal.ts +0 -14
  1174. package/src/predicates/Extends.ts +0 -4
  1175. package/src/predicates/If.spec.ts +0 -14
  1176. package/src/predicates/If.ts +0 -5
  1177. package/src/predicates/index.spec.ts +0 -73
  1178. package/src/predicates/index.ts +0 -17
  1179. package/src/predicates/isEmptyObject.spec.ts +0 -15
  1180. package/src/predicates/isEmptyObject.ts +0 -2
  1181. package/src/predicates/isType.spec.ts +0 -106
  1182. package/src/predicates/isType.ts +0 -30
  1183. package/src/predicates/logical.spec.ts +0 -59
  1184. package/src/predicates/logical.ts +0 -4
  1185. package/src/promise/PromiseValue.spec.ts +0 -6
  1186. package/src/promise/isPromise.ts +0 -4
  1187. package/src/promise/mapSeries.ts +0 -5
  1188. package/src/type-checker/buildTypes.spec.ts +0 -28
  1189. package/src/type-checker/typeChecker.spec.ts +0 -13
  1190. package/src/types/Generate.ts +0 -48
  1191. package/src/types/Number.ts +0 -56
  1192. package/src/types/Object.ts +0 -53
  1193. package/src/types/String.ts +0 -56
  1194. package/src/types/Symbol.ts +0 -19
  1195. package/src/types/Tuple.ts +0 -50
  1196. package/src/types/check.spec.ts +0 -12
  1197. package/src/types/conform.spec.ts +0 -7
  1198. package/src/types/getPlainAnalysisReport.ts +0 -115
  1199. package/src/types/index.ts +0 -28
  1200. package/src/types/optional.ts +0 -30
  1201. package/src/types/required.ts +0 -30
  1202. package/src/types/satisfy.accept.ts +0 -38
  1203. package/src/types/satisfy.spec.ts +0 -599
  1204. package/src/utils/as.spec.ts +0 -24
  1205. package/src/utils/as.ts +0 -7
  1206. package/src/utils/index.ts +0 -2
@@ -0,0 +1,600 @@
1
+ import { satisfies } from 'satisfier'
2
+ import { assertType, Equal } from '..'
3
+ import * as T from '.'
4
+
5
+ describe('undefined', () => {
6
+ test('satisfies only undefined', () => {
7
+ expect(T.satisfy(T.undefined, undefined)).toBe(true)
8
+ notSatisfyTypesOtherThan(T.undefined, undefined)
9
+
10
+ const value: unknown = undefined
11
+ if (T.satisfy(T.undefined, value)) {
12
+ assertType<undefined>(value)
13
+ }
14
+ })
15
+ })
16
+
17
+ describe('null', () => {
18
+ test('satisfies only null', () => {
19
+ expect(T.satisfy(T.null, null)).toBe(true)
20
+ notSatisfyTypesOtherThan(T.null, null)
21
+
22
+ const value: unknown = null
23
+ if (T.satisfy(T.null, value)) {
24
+ assertType<null>(value)
25
+ }
26
+ })
27
+ test('optional', () => {
28
+ const t = T.null.optional
29
+ expect(T.satisfy(t, undefined)).toBe(true)
30
+
31
+ const value: unknown = undefined
32
+ if (T.satisfy(t, value)) {
33
+ assertType<null | undefined>(value)
34
+ }
35
+ })
36
+ })
37
+
38
+ describe('boolean', () => {
39
+ test('base type satisfies both true and false', () => {
40
+ expect(T.satisfy(T.boolean, true)).toBe(true)
41
+ expect(T.satisfy(T.boolean, false)).toBe(true)
42
+ notSatisfyTypesOtherThan(T.boolean, true, false)
43
+
44
+ const value: unknown = undefined
45
+ if (T.satisfy(T.boolean, value)) {
46
+ assertType<boolean>(value)
47
+ }
48
+ })
49
+ test('true', () => {
50
+ expect(T.satisfy(T.boolean.true, true)).toBe(true)
51
+ notSatisfyTypesOtherThan(T.boolean.true, true)
52
+
53
+ const value: unknown = true
54
+ if (T.satisfy(T.boolean.true, value)) {
55
+ assertType<true>(value)
56
+ }
57
+ })
58
+ test('false', () => {
59
+ expect(T.satisfy(T.boolean.false, false)).toBe(true)
60
+ notSatisfyTypesOtherThan(T.boolean.false, false)
61
+
62
+ const value: unknown = false
63
+ if (T.satisfy(T.boolean.false, value)) {
64
+ assertType<false>(value)
65
+ }
66
+ })
67
+ test('true does not satisfy False', () => {
68
+ expect(T.satisfy(T.boolean.false, true)).toBe(false)
69
+ })
70
+ test('false does not satisfy True', () => {
71
+ expect(T.satisfy(T.boolean.true, false)).toBe(false)
72
+ })
73
+ test('optional', () => {
74
+ const t = T.boolean.optional
75
+ expect(T.satisfy(t, undefined)).toBe(true)
76
+
77
+ const value: unknown = undefined
78
+ if (T.satisfy(t, value)) {
79
+ assertType<boolean | undefined>(value)
80
+ }
81
+ })
82
+ test('optional create', () => {
83
+ const t = T.boolean.optional.create(true)
84
+ expect(T.satisfy(t, undefined)).toBe(true)
85
+
86
+ const value: unknown = undefined
87
+ if (T.satisfy(t, value)) {
88
+ assertType<true | undefined>(value)
89
+ }
90
+ })
91
+ })
92
+
93
+ describe('number', () => {
94
+ test('base type satisfy all numbers', () => {
95
+ expect(T.satisfy(T.number, 0)).toBe(true)
96
+ expect(T.satisfy(T.number, -1)).toBe(true)
97
+ expect(T.satisfy(T.number, 1)).toBe(true)
98
+ notSatisfyTypesOtherThan(T.number, -1, 0, 1)
99
+
100
+ const value: unknown = 0
101
+ if (T.satisfy(T.number, value)) {
102
+ assertType<number>(value)
103
+ assertType.isTrue(true as Equal<number, typeof value>)
104
+ assertType.isFalse(false as Equal<0, typeof value>)
105
+ }
106
+ })
107
+ test('0', () => {
108
+ expect(T.satisfy(T.number.create(0), 0)).toBe(true)
109
+ notSatisfyTypesOtherThan(T.number.create(0), 0)
110
+
111
+ const value: unknown = 0
112
+ if (T.satisfy(T.number.create(0), value)) {
113
+ assertType<0>(value)
114
+ }
115
+ })
116
+ test('1', () => {
117
+ expect(T.satisfy(T.number.create(1), 1)).toBe(true)
118
+ notSatisfyTypesOtherThan(T.number.create(1), 1)
119
+
120
+ const value: unknown = 1
121
+ if (T.satisfy(T.number.create(1), value)) {
122
+ assertType<1>(value)
123
+ }
124
+ })
125
+ test('0 does not satisfy 1', () => {
126
+ expect(T.satisfy(T.number.create(1), 0)).toBe(false)
127
+ })
128
+ test('1 does not satisfy 0', () => {
129
+ expect(T.satisfy(T.number.create(0), 1)).toBe(false)
130
+ })
131
+ test('optional', () => {
132
+ const t = T.number.optional
133
+ expect(T.satisfy(t, undefined)).toBe(true)
134
+
135
+ const value: unknown = undefined
136
+ if (T.satisfy(t, value)) {
137
+ assertType<number | undefined>(value)
138
+ }
139
+ })
140
+ test('optional const', () => {
141
+ const t = T.number.optional.create(1)
142
+ expect(T.satisfy(t, undefined)).toBe(true)
143
+
144
+ const value: unknown = undefined
145
+ if (T.satisfy(t, value)) {
146
+ assertType<1 | undefined>(value)
147
+ }
148
+ })
149
+ test('list: single', () => {
150
+ const t = T.number.list(0)
151
+ const value: unknown = 0
152
+
153
+ expect(T.satisfy(t, value)).toBe(true)
154
+ if (T.satisfy(t, value)) {
155
+ assertType<0>(value)
156
+ }
157
+ })
158
+ test('list: multiple', () => {
159
+ const t = T.number.list(1, 2, 3)
160
+ const value: unknown = 1
161
+
162
+ expect(T.satisfy(t, value)).toBe(true)
163
+ if (T.satisfy(t, value)) {
164
+ assertType<1 | 2 | 3>(value)
165
+ }
166
+ })
167
+ test('optional.list: multiple', () => {
168
+ const t = T.number.optional.list(1, 2, 3)
169
+ const value: unknown = 1
170
+
171
+ expect(T.satisfy(t, value)).toBe(true)
172
+ if (T.satisfy(t, value)) {
173
+ assertType<1 | 2 | 3 | undefined>(value)
174
+ }
175
+ })
176
+ })
177
+
178
+ describe('string', () => {
179
+ test('base type satisfies any string', () => {
180
+ expect(T.satisfy(T.string, '')).toBe(true)
181
+ expect(T.satisfy(T.string, 'a')).toBe(true)
182
+ notSatisfyTypesOtherThan(T.string, '', 'a')
183
+
184
+ const value: unknown = ''
185
+ if (T.satisfy(T.string, value)) {
186
+ assertType<string>(value)
187
+ assertType.isTrue(true as Equal<string, typeof value>)
188
+ assertType.isFalse(false as Equal<'', typeof value>)
189
+ }
190
+ })
191
+ test(`''`, () => {
192
+ expect(T.satisfy(T.string, '')).toBe(true)
193
+ notSatisfyTypesOtherThan(T.string, '')
194
+
195
+ const value: unknown = ''
196
+ if (T.satisfy(T.string.create(''), value)) {
197
+ assertType<''>(value)
198
+ }
199
+ })
200
+ test(`'a'`, () => {
201
+ expect(T.satisfy(T.string, 'a')).toBe(true)
202
+ notSatisfyTypesOtherThan(T.string, '', 'a')
203
+
204
+ const value: unknown = 'a'
205
+ if (T.satisfy(T.string.create('a'), value)) {
206
+ assertType<'a'>(value)
207
+ }
208
+ })
209
+ test(`'' does not satisfy 'a'`, () => {
210
+ expect(T.satisfy(T.string.create('a'), '')).toBe(false)
211
+ })
212
+ test(`'a' does not satisfy ''`, () => {
213
+ expect(T.satisfy(T.string.create(''), 'a')).toBe(false)
214
+ })
215
+ test('optional', () => {
216
+ const t = T.string.optional
217
+ expect(T.satisfy(t, undefined)).toBe(true)
218
+
219
+ const value: unknown = undefined
220
+ if (T.satisfy(t, value)) {
221
+ assertType<string | undefined>(value)
222
+ }
223
+ })
224
+ test('optional const', () => {
225
+ const t = T.string.optional.create('a')
226
+ expect(T.satisfy(t, undefined)).toBe(true)
227
+
228
+ const value: unknown = undefined
229
+ if (T.satisfy(t, value)) {
230
+ assertType<'a' | undefined>(value)
231
+ }
232
+ })
233
+ test('list: single', () => {
234
+ const t = T.string.list('a')
235
+ const value: unknown = 'a'
236
+
237
+ expect(T.satisfy(t, value)).toBe(true)
238
+ if (T.satisfy(t, value)) {
239
+ assertType<'a'>(value)
240
+ }
241
+ })
242
+ test('list: multiple', () => {
243
+ const t = T.string.list('1', '2', '3')
244
+ const value: unknown = '1'
245
+
246
+ expect(T.satisfy(t, value)).toBe(true)
247
+ if (T.satisfy(t, value)) {
248
+ assertType<'1' | '2' | '3'>(value)
249
+ }
250
+ })
251
+ test('optional list: multiple', () => {
252
+ const t = T.string.optional.list('1', '2', '3')
253
+ const value: unknown = '1'
254
+
255
+ expect(T.satisfy(t, value)).toBe(true)
256
+ if (T.satisfy(t, value)) {
257
+ assertType<'1' | '2' | '3' | undefined>(value)
258
+ }
259
+ })
260
+ })
261
+
262
+ describe('bigint', () => {
263
+ // test('bigint', () => {
264
+ // expect(T.satisfy(T.bigint, 0n)).toBe(true)
265
+ // notSatisfyTypesOtherThan(T.bigint, 0n, 1n)
266
+
267
+ // const value: unknown = 0n
268
+ // if (T.satisfy(T.bigint, value)) {
269
+ // assertType<bigint>(value)
270
+ // assertType.isFalse(assignability<0>()(value))
271
+ // }
272
+ // })
273
+
274
+ // test('bigint:0', () => {
275
+ // expect(T.satisfy(T.bigint.create(0n), 0n)).toBe(true)
276
+ // notSatisfyTypesOtherThan(T.bigint.create(0n), 0n)
277
+
278
+ // const value: unknown = 0n
279
+ // if (T.satisfy(T.bigint.create(0n), value)) {
280
+ // assertType<0n>(value)
281
+ // }
282
+ // })
283
+
284
+ // test('bigint:1', () => {
285
+ // expect(T.satisfy(T.bigint.create(1n), 1n)).toBe(true)
286
+ // notSatisfyTypesOtherThan(T.bigint.create(1n), 1n)
287
+
288
+ // const value: unknown = 1n
289
+ // if (T.satisfy(T.bigint.create(1n), value)) {
290
+ // assertType<1n>(value)
291
+ // }
292
+ // })
293
+
294
+ // test('0n not satisfy 1n', () => {
295
+ // expect(T.satisfy(T.bigint.create(1n), 0n)).toBe(false)
296
+ // })
297
+
298
+ // test('1n not satisfy 0n', () => {
299
+ // expect(T.satisfy(T.bigint.create(0n), 1n)).toBe(false)
300
+ // })
301
+ })
302
+
303
+ describe('symbol', () => {
304
+ test('base type satisfies any symbol', () => {
305
+ expect(T.satisfy(T.symbol, Symbol())).toBe(true)
306
+ notSatisfyTypesOtherThan(T.symbol, Symbol())
307
+
308
+ const value: unknown = Symbol()
309
+ if (T.satisfy(T.symbol, value)) {
310
+ assertType<symbol>(value)
311
+ }
312
+ })
313
+ test('optional', () => {
314
+ const t = T.symbol.optional
315
+ const value: unknown = Symbol()
316
+
317
+ expect(T.satisfy(t, value)).toBe(true)
318
+
319
+ if (T.satisfy(t, value)) {
320
+ assertType<symbol | undefined>(value)
321
+ }
322
+ })
323
+ })
324
+
325
+ describe('union', () => {
326
+ test('single type gets the type back', () => {
327
+ const t = T.union.create(T.boolean)
328
+ assertType<T.Boolean>(t)
329
+ })
330
+ test('on two types', () => {
331
+ const t = T.union.create(T.boolean, T.number)
332
+ expect(T.satisfy(t, 0)).toBe(true)
333
+ expect(T.satisfy(t, false)).toBe(true)
334
+
335
+ const value: unknown = 0
336
+ if (T.satisfy(t, value)) {
337
+ assertType<boolean | number>(value)
338
+ }
339
+ })
340
+ test('on multiple primitive types', () => {
341
+ const t = T.union.create(T.boolean, T.null, T.number)
342
+ expect(T.satisfy(t, false)).toBe(true)
343
+
344
+ const value: unknown = true
345
+ if (T.satisfy(t, value)) {
346
+ assertType<boolean | null | number>(value)
347
+ }
348
+ })
349
+ test('nested union is flatten', () => {
350
+ const t = T.union.create(T.union.create(T.boolean, T.null), T.string)
351
+ expect(T.satisfy(t, false)).toBe(true)
352
+ const value: unknown = true
353
+ if (T.satisfy(t, value)) {
354
+ assertType<boolean | string | null>(value)
355
+ }
356
+ })
357
+ test.todo('remove duplicates')
358
+ test('optional create', () => {
359
+ const t = T.union.optional.create(T.boolean)
360
+ expect(T.satisfy(t, undefined)).toBe(true)
361
+
362
+ const value: unknown = undefined
363
+ if (T.satisfy(t, value)) {
364
+ assertType<boolean | undefined>(value)
365
+ }
366
+ })
367
+ })
368
+
369
+ describe('array', () => {
370
+ test('base type satisfies any array and type guard it to any[]', () => {
371
+ expect(T.satisfy(T.array, [])).toBe(true)
372
+ expect(T.satisfy(T.array, ['a'])).toBe(true)
373
+
374
+ const value: unknown = []
375
+ if (T.satisfy(T.array, value)) {
376
+ // Note that this test is weak.
377
+ // I don't have a good way to nail it down as it is a top type.
378
+ assertType<any[]>(value)
379
+ }
380
+ })
381
+ test('base type does not satisfy non-array', () => {
382
+ notSatisfyTypesOtherThan(T.array, [], ['a'])
383
+ })
384
+ test('unknown type assert result to unknown[]', () => {
385
+ expect(T.satisfy(T.array.unknown, [])).toBe(true)
386
+ expect(T.satisfy(T.array.unknown, ['a'])).toBe(true)
387
+
388
+ const value: unknown = []
389
+ if (T.satisfy(T.array.unknown, value)) {
390
+ // Note that this test is weak.
391
+ // I don't have a good way to nail it down as it is a top type.
392
+ assertType<unknown[]>(value)
393
+ }
394
+ })
395
+ test('unknown type does not satisfy non-array', () => {
396
+ notSatisfyTypesOtherThan(T.array.unknown, [], ['a'])
397
+ })
398
+ test('specific type', () => {
399
+ const t = T.array.create(T.number)
400
+ expect(T.satisfy(t, [])).toBe(true)
401
+ expect(T.satisfy(t, [0])).toBe(true)
402
+ expect(T.satisfy(t, [1, 2])).toBe(true)
403
+ expect(T.satisfy(t, ['a'])).toBe(false)
404
+ expect(T.satisfy(t, [1, 'a'])).toBe(false)
405
+ expect(T.satisfy(t, ['a', 1])).toBe(false)
406
+
407
+ const value: unknown = ['a']
408
+ if (T.satisfy(t, value)) {
409
+ assertType<number[]>(value)
410
+ }
411
+ })
412
+ test(`array's value type can be union type`, () => {
413
+ const t = T.array.create(T.union.create(T.number, T.boolean))
414
+ expect(T.satisfy(t, [])).toBe(true)
415
+ expect(T.satisfy(t, [0])).toBe(true)
416
+ expect(T.satisfy(t, [false])).toBe(true)
417
+ expect(T.satisfy(t, [false, 0])).toBe(true)
418
+ expect(T.satisfy(t, [0, false, ''])).toBe(false)
419
+
420
+ const value: unknown = [0, false]
421
+ if (T.satisfy(t, value)) {
422
+ assertType<Array<number | boolean>>(value)
423
+ }
424
+ })
425
+ test('optional', () => {
426
+ const t = T.array.optional
427
+ expect(T.satisfy(t, undefined)).toBe(true)
428
+
429
+ const value: unknown = undefined
430
+ if (T.satisfy(t, value)) {
431
+ assertType<any[] | undefined>(value)
432
+ }
433
+ })
434
+ test('optional create', () => {
435
+ const t = T.array.optional.create(T.string)
436
+ expect(T.satisfy(t, undefined)).toBe(true)
437
+
438
+ const value: unknown = undefined
439
+ if (T.satisfy(t, value)) {
440
+ assertType<string[] | undefined>(value)
441
+ }
442
+ })
443
+ })
444
+
445
+ describe('tuple', () => {
446
+ test('single value', () => {
447
+ const t = T.tuple.create(T.number)
448
+ expect(T.satisfy(t, [0])).toBe(true)
449
+ expect(T.satisfy(t, [''])).toBe(false)
450
+
451
+ const value: unknown = [1]
452
+ if (T.satisfy(t, value)) {
453
+ assertType<[number]>(value)
454
+ }
455
+ })
456
+ test('two values', () => {
457
+ const t = T.tuple.create(T.number, T.string)
458
+ expect(T.satisfy(t, [0, ''])).toBe(true)
459
+ expect(T.satisfy(t, [0])).toBe(false)
460
+
461
+ const value: unknown = [1, 'a']
462
+ if (T.satisfy(t, value)) {
463
+ assertType<[number, string]>(value)
464
+ }
465
+ })
466
+ test('pass with more values than what specified in the type', () => {
467
+ expect(T.satisfy(T.tuple.create(T.number), [1, 'a'])).toBe(true)
468
+ })
469
+ test('optional', () => {
470
+ const t = T.tuple.optional.create(T.boolean)
471
+ expect(T.satisfy(t, undefined)).toBe(true)
472
+
473
+ const value: unknown = undefined
474
+ if (T.satisfy(t, value)) {
475
+ assertType<[boolean] | undefined>(value)
476
+ }
477
+ })
478
+ })
479
+
480
+ describe('object', () => {
481
+ test('base type satisfies any object', () => {
482
+ expect(T.satisfy(T.object, {})).toBe(true)
483
+ expect(T.satisfy(T.object, { a: 1 })).toBe(true)
484
+ expect(T.satisfy(T.object, { 0: 0 })).toBe(true)
485
+
486
+ const value: unknown = { a: 1 }
487
+ if (T.satisfy(T.object, value)) {
488
+ assertType<Record<string, any>>(value)
489
+ }
490
+ })
491
+ test('base type does not satisfy non-object including array and null', () => {
492
+ notSatisfyTypesOtherThan(T.object, {}, { a: 1 })
493
+ })
494
+ test('single prop', () => {
495
+ const t = T.object.create({ a: T.number })
496
+ expect(T.satisfy(t, { a: 0 })).toBe(true)
497
+ expect(T.satisfy(t, { a: 1 })).toBe(true)
498
+
499
+ const value: unknown = { a: 1 }
500
+ if (T.satisfy(t, value)) {
501
+ assertType<{ a: number }>(value)
502
+ }
503
+ })
504
+ test('two props', () => {
505
+ const t = T.object.create({
506
+ a: T.number.create(1),
507
+ b: T.string
508
+ })
509
+ expect(T.satisfy(t, { a: 1, b: '' })).toBe(true)
510
+ expect(T.satisfy(t, { a: 1, b: 'b' })).toBe(true)
511
+
512
+ const value: unknown = { a: 1, b: '' }
513
+ if (T.satisfy(t, value)) {
514
+ assertType<{ a: 1, b: string }>(value)
515
+ }
516
+ })
517
+ test('props with union', () => {
518
+ const t = T.object.create({
519
+ a: T.union.create(T.number.create(1), T.boolean.true),
520
+ b: T.string
521
+ })
522
+ expect(T.satisfy(t, { a: 1, b: '' })).toBe(true)
523
+ expect(T.satisfy(t, { a: true, b: '' })).toBe(true)
524
+ expect(T.satisfy(t, { a: false, b: '' })).toBe(false)
525
+
526
+ const value: unknown = { a: 1, b: '' }
527
+ if (T.satisfy(t, value)) {
528
+ assertType<{ a: true | 1, b: string }>(value)
529
+ }
530
+ })
531
+ test('nested object', () => {
532
+ const t = T.object.create({
533
+ a: T.object.create({
534
+ b: T.number
535
+ })
536
+ })
537
+ expect(T.satisfy(t, { a: { b: 0 } })).toBe(true)
538
+
539
+ const value: unknown = { a: { b: 0 } }
540
+ if (T.satisfy(t, value)) {
541
+ assertType<{ a: { b: number } }>(value)
542
+ }
543
+ })
544
+ test('keys is string + number + symbol', () => {
545
+ // technically empty string is not a valid key.
546
+ // maybe we can do a disjoint or something
547
+ expect(T.satisfy(T.keys, '')).toBe(true)
548
+ expect(T.satisfy(T.keys, 'a')).toBe(true)
549
+ expect(T.satisfy(T.keys, 0)).toBe(true)
550
+ expect(T.satisfy(T.keys, Symbol.for('abc'))).toBe(true)
551
+ })
552
+ test('optional', () => {
553
+ const t = T.object.optional
554
+ expect(T.satisfy(t, undefined)).toBe(true)
555
+
556
+ const value: unknown = undefined
557
+ if (T.satisfy(t, value)) {
558
+ assertType<Record<string, any> | undefined>(value)
559
+ }
560
+ })
561
+ test('optional create', () => {
562
+ const t = T.object.optional.create({
563
+ a: T.string
564
+ })
565
+ expect(T.satisfy(t, undefined)).toBe(true)
566
+
567
+ const value: unknown = undefined
568
+ if (T.satisfy(t, value)) {
569
+ assertType<{ a: string } | undefined>(value)
570
+ }
571
+ })
572
+ })
573
+
574
+ describe('record', () => {
575
+ test('base case', () => {
576
+ const t = T.record.create(T.number)
577
+ const value: any = { 'a': 1 }
578
+ expect(T.satisfy(t, value)).toBe(true)
579
+
580
+ if (T.satisfy(t, value)) {
581
+ assertType<Record<string, number>>(value)
582
+ }
583
+ })
584
+ test('base type does not satisfy non-object including array and null', () => {
585
+ notSatisfyTypesOtherThan(T.record.create(T.null), {}, { a: 1 })
586
+ })
587
+ })
588
+
589
+ // test('if condition', () => {
590
+ // T.If(T.boolean.false, {}, false as const)
591
+ // })
592
+
593
+ function notSatisfyTypesOtherThan(type: T.AllType, ...excepts: any[]) {
594
+ const values = [undefined, null, true, false, 0, 1, 0n, 1n, '', 'a', [], ['a'], {}, { a: 1 }, Symbol(), Symbol.for('a')]
595
+ values.forEach(v => {
596
+ if (!excepts.some(e => satisfies(v, e))) {
597
+ expect(T.satisfy(type, v))
598
+ }
599
+ })
600
+ }
File without changes
File without changes
File without changes
@@ -0,0 +1,24 @@
1
+ import { as, asAny, isType } from '..'
2
+
3
+ describe('as<T>()', () => {
4
+ test('defaults subject type to unknown', () => {
5
+ const s: any = {}
6
+ if (as(s)) isType.equal<true, unknown, typeof s>()
7
+ })
8
+
9
+ test('cast type to T', () => {
10
+ const s: any = {}
11
+ if (as<number>(s)) isType.equal<true, number, typeof s>()
12
+ if (as<string>(s)) isType.equal<true, string, typeof s>()
13
+ if (as<{ a: number }>(s)) isType.equal<true, { a: number }, typeof s>()
14
+ if (as<any>(s)) isType.equal<true, any, typeof s>()
15
+ })
16
+ })
17
+
18
+ describe('asAny()', () => {
19
+ test('cast type to any', () => {
20
+ const s: unknown = {}
21
+ if (asAny(s)) isType.equal<true, any, typeof s>()
22
+ })
23
+ })
24
+
package/ts/utils/as.ts ADDED
@@ -0,0 +1,7 @@
1
+ export function as<T>(subject: unknown): subject is T {
2
+ return true
3
+ }
4
+
5
+ export function asAny(subject: unknown): subject is any {
6
+ return true
7
+ }
@@ -0,0 +1,2 @@
1
+ export * from './as'
2
+ export * from './Widen'
package/lib/JSONTypes.js DELETED
@@ -1,23 +0,0 @@
1
- "use strict";
2
- var __spreadArray = (this && this.__spreadArray) || function (to, from) {
3
- for (var i = 0, il = from.length, j = to.length; i < il; i++, j++)
4
- to[j] = from[i];
5
- return to;
6
- };
7
- Object.defineProperty(exports, "__esModule", { value: true });
8
- exports.JSONTypes = void 0;
9
- exports.JSONTypes = { get: get };
10
- function get(obj) {
11
- var props = [];
12
- for (var _i = 1; _i < arguments.length; _i++) {
13
- props[_i - 1] = arguments[_i];
14
- }
15
- if (props.length === 0)
16
- return obj;
17
- if (typeof obj !== 'object' || obj === null)
18
- return undefined;
19
- var p = props.shift();
20
- // @ts-ignore
21
- return get.apply(void 0, __spreadArray([obj[p]], props));
22
- }
23
- //# sourceMappingURL=JSONTypes.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"JSONTypes.js","sourceRoot":"","sources":["../src/JSONTypes.ts"],"names":[],"mappings":";;;;;;;;AASa,QAAA,SAAS,GAAG,EAAE,GAAG,KAAA,EAAE,CAAA;AAEhC,SAAS,GAAG,CAAsB,GAAc;IAAE,eAAgC;SAAhC,UAAgC,EAAhC,qBAAgC,EAAhC,IAAgC;QAAhC,8BAAgC;;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAQ,CAAA;IACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IAC7D,IAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;IACxB,aAAa;IACb,OAAO,GAAG,8BAAC,GAAG,CAAC,CAAC,CAAC,GAAK,KAAK,EAAM,CAAA;AACnC,CAAC"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"PrimitiveTypes.js","sourceRoot":"","sources":["../src/PrimitiveTypes.ts"],"names":[],"mappings":""}
@@ -1 +0,0 @@
1
- {"version":3,"file":"UnionKeys.js","sourceRoot":"","sources":["../src/UnionKeys.ts"],"names":[],"mappings":""}
@@ -1 +0,0 @@
1
- {"version":3,"file":"CommonPropKeys.js","sourceRoot":"","sources":["../../src/array/CommonPropKeys.ts"],"names":[],"mappings":""}
@@ -1 +0,0 @@
1
- {"version":3,"file":"Concat.js","sourceRoot":"","sources":["../../src/array/Concat.ts"],"names":[],"mappings":""}
@@ -1 +0,0 @@
1
- {"version":3,"file":"CreateTuple.js","sourceRoot":"","sources":["../../src/array/CreateTuple.ts"],"names":[],"mappings":""}
@@ -1 +0,0 @@
1
- {"version":3,"file":"DropFirst.js","sourceRoot":"","sources":["../../src/array/DropFirst.ts"],"names":[],"mappings":""}
@@ -1 +0,0 @@
1
- {"version":3,"file":"DropLast.js","sourceRoot":"","sources":["../../src/array/DropLast.ts"],"names":[],"mappings":""}
@@ -1 +0,0 @@
1
- {"version":3,"file":"Filter.js","sourceRoot":"","sources":["../../src/array/Filter.ts"],"names":[],"mappings":""}