functionalscript 0.3.4 → 0.3.6

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 (457) hide show
  1. package/com/cpp/module.f.d.ts +10 -0
  2. package/com/cpp/module.f.js +107 -0
  3. package/com/cpp/test.f.d.ts +2 -0
  4. package/com/cpp/{test.f.ts → test.f.js} +9 -11
  5. package/com/cpp/testlib.f.d.ts +2 -0
  6. package/com/cpp/testlib.f.js +5 -0
  7. package/com/cs/module.f.d.ts +12 -0
  8. package/com/cs/module.f.js +80 -0
  9. package/com/cs/test.f.d.ts +2 -0
  10. package/com/cs/{test.f.ts → test.f.js} +9 -11
  11. package/com/cs/testlib.f.d.ts +2 -0
  12. package/com/cs/testlib.f.js +5 -0
  13. package/com/rust/module.f.d.ts +15 -0
  14. package/com/rust/module.f.js +169 -0
  15. package/com/rust/test.f.d.ts +2 -0
  16. package/com/rust/{test.f.ts → test.f.js} +7 -7
  17. package/com/rust/testlib.f.d.ts +2 -0
  18. package/com/rust/testlib.f.js +5 -0
  19. package/com/test/build.f.d.ts +20 -0
  20. package/com/test/build.f.js +58 -0
  21. package/com/types/module.f.d.ts +28 -0
  22. package/com/types/module.f.js +8 -0
  23. package/com/types/testlib.f.d.ts +44 -0
  24. package/com/types/{testlib.f.ts → testlib.f.js} +2 -3
  25. package/commonjs/build/module.f.d.ts +6 -0
  26. package/commonjs/build/module.f.js +69 -0
  27. package/commonjs/build/test.f.d.ts +2 -0
  28. package/commonjs/build/test.f.js +96 -0
  29. package/commonjs/module/function/{module.f.ts → module.f.d.ts} +5 -10
  30. package/commonjs/module/function/module.f.js +4 -0
  31. package/commonjs/module/module.f.d.ts +18 -0
  32. package/commonjs/module/module.f.js +12 -0
  33. package/commonjs/module.f.d.ts +6 -0
  34. package/commonjs/module.f.js +1 -0
  35. package/commonjs/package/dependencies/module.f.d.ts +7 -0
  36. package/commonjs/package/dependencies/module.f.js +13 -0
  37. package/commonjs/package/dependencies/test.f.d.ts +2 -0
  38. package/commonjs/package/dependencies/test.f.js +15 -0
  39. package/commonjs/package/module.f.d.ts +17 -0
  40. package/commonjs/package/module.f.js +18 -0
  41. package/commonjs/package/test.f.d.ts +2 -0
  42. package/commonjs/package/test.f.js +27 -0
  43. package/commonjs/path/module.f.d.ts +24 -0
  44. package/commonjs/path/module.f.js +114 -0
  45. package/commonjs/path/test.f.d.ts +25 -0
  46. package/commonjs/path/{test.f.ts → test.f.js} +123 -89
  47. package/crypto/prime_field/module.f.d.ts +43 -0
  48. package/crypto/prime_field/module.f.js +78 -0
  49. package/crypto/prime_field/test.f.d.ts +13 -0
  50. package/crypto/prime_field/test.f.js +149 -0
  51. package/crypto/secp/module.f.d.ts +68 -0
  52. package/crypto/secp/module.f.js +127 -0
  53. package/crypto/secp/test.f.d.ts +5 -0
  54. package/crypto/secp/test.f.js +72 -0
  55. package/crypto/sha2/module.f.d.ts +13 -0
  56. package/crypto/sha2/module.f.js +145 -0
  57. package/crypto/sha2/test.f.d.ts +9 -0
  58. package/crypto/sha2/test.f.js +82 -0
  59. package/dev/module.f.d.ts +1 -0
  60. package/dev/module.f.js +1 -0
  61. package/dev/test/module.f.d.ts +20 -0
  62. package/dev/test/module.f.js +75 -0
  63. package/dev/test.f.d.ts +9 -0
  64. package/dev/{test.f.ts → test.f.js} +22 -24
  65. package/djs/module.f.d.ts +17 -0
  66. package/djs/module.f.js +63 -0
  67. package/djs/parser/module.f.d.ts +12 -0
  68. package/djs/parser/module.f.js +333 -0
  69. package/djs/parser/test.f.d.ts +12 -0
  70. package/djs/parser/test.f.js +717 -0
  71. package/djs/serializer/module.f.d.ts +9 -0
  72. package/djs/serializer/module.f.js +81 -0
  73. package/djs/test/input.f.d.ts +2 -0
  74. package/djs/test/input.f.js +4 -0
  75. package/djs/test/m.f.d.ts +2 -0
  76. package/djs/test/m.f.js +1 -0
  77. package/djs/test.f.d.ts +12 -0
  78. package/djs/test.f.js +84 -0
  79. package/djs/tokenizer/module.f.d.ts +8 -0
  80. package/djs/tokenizer/module.f.js +60 -0
  81. package/djs/tokenizer/test.f.d.ts +7 -0
  82. package/djs/tokenizer/test.f.js +529 -0
  83. package/fsc/module.f.d.ts +5 -0
  84. package/fsc/module.f.js +75 -0
  85. package/fsc/test.f.d.ts +4 -0
  86. package/fsc/test.f.js +19 -0
  87. package/fsm/module.f.d.ts +13 -0
  88. package/fsm/module.f.js +59 -0
  89. package/fsm/test.f.d.ts +5 -0
  90. package/fsm/test.f.js +137 -0
  91. package/html/module.f.d.ts +13 -0
  92. package/html/module.f.js +58 -0
  93. package/html/test.f.d.ts +9 -0
  94. package/html/test.f.js +42 -0
  95. package/issues/test.f.d.ts +16 -0
  96. package/issues/test.f.js +70 -0
  97. package/js/tokenizer/module.f.d.ts +86 -0
  98. package/js/tokenizer/module.f.js +503 -0
  99. package/js/tokenizer/test.f.d.ts +9 -0
  100. package/js/tokenizer/test.f.js +905 -0
  101. package/json/module.f.d.ts +20 -0
  102. package/json/module.f.js +68 -0
  103. package/json/parser/module.f.d.ts +5 -0
  104. package/json/parser/module.f.js +155 -0
  105. package/json/parser/test.f.d.ts +5 -0
  106. package/json/parser/test.f.js +328 -0
  107. package/json/serializer/module.f.d.ts +7 -0
  108. package/json/serializer/module.f.js +21 -0
  109. package/json/serializer/test.f.d.ts +8 -0
  110. package/json/serializer/test.f.js +87 -0
  111. package/json/test.f.d.ts +8 -0
  112. package/json/test.f.js +61 -0
  113. package/json/tokenizer/module.f.d.ts +8 -0
  114. package/json/tokenizer/module.f.js +52 -0
  115. package/json/tokenizer/test.f.d.ts +6 -0
  116. package/json/tokenizer/test.f.js +419 -0
  117. package/nanvm-lib/tests/test.f.d.ts +27 -0
  118. package/nanvm-lib/tests/test.f.js +84 -0
  119. package/nodejs/version/module.f.d.ts +11 -0
  120. package/nodejs/version/module.f.js +16 -0
  121. package/nodejs/version/test.f.d.ts +2 -0
  122. package/nodejs/version/{test.f.ts → test.f.js} +13 -22
  123. package/package.json +9 -5
  124. package/text/ascii/module.f.d.ts +129 -0
  125. package/text/ascii/module.f.js +148 -0
  126. package/text/ascii/test.f.d.ts +4 -0
  127. package/text/ascii/test.f.js +14 -0
  128. package/text/module.f.d.ts +8 -0
  129. package/text/module.f.js +10 -0
  130. package/text/sgr/module.f.d.ts +8 -0
  131. package/text/sgr/module.f.js +8 -0
  132. package/text/test.f.d.ts +2 -0
  133. package/text/test.f.js +18 -0
  134. package/text/utf16/module.f.d.ts +9 -0
  135. package/text/utf16/module.f.js +66 -0
  136. package/text/utf16/test.f.d.ts +6 -0
  137. package/text/utf16/test.f.js +144 -0
  138. package/text/utf8/module.f.d.ts +6 -0
  139. package/text/utf8/module.f.js +112 -0
  140. package/text/utf8/test.f.d.ts +6 -0
  141. package/text/utf8/test.f.js +175 -0
  142. package/types/array/module.f.d.ts +21 -0
  143. package/types/array/module.f.js +23 -0
  144. package/types/array/test.f.d.ts +10 -0
  145. package/types/array/test.f.js +116 -0
  146. package/types/bigfloat/module.f.d.ts +3 -0
  147. package/types/bigfloat/module.f.js +66 -0
  148. package/types/bigfloat/test.f.d.ts +6 -0
  149. package/types/bigfloat/test.f.js +349 -0
  150. package/types/bigint/module.f.d.ts +54 -0
  151. package/types/bigint/{module.f.ts → module.f.js} +42 -65
  152. package/types/bigint/test.f.d.ts +16 -0
  153. package/types/bigint/test.f.js +199 -0
  154. package/types/bit_vec/module.f.d.ts +134 -0
  155. package/types/bit_vec/{module.f.ts → module.f.js} +47 -65
  156. package/types/bit_vec/test.f.d.ts +22 -0
  157. package/types/bit_vec/test.f.js +210 -0
  158. package/types/btree/find/module.f.d.ts +20 -0
  159. package/types/btree/find/module.f.js +84 -0
  160. package/types/btree/find/test.f.d.ts +2 -0
  161. package/types/btree/find/test.f.js +152 -0
  162. package/types/btree/module.f.d.ts +4 -0
  163. package/types/btree/module.f.js +31 -0
  164. package/types/btree/remove/module.f.d.ts +4 -0
  165. package/types/btree/remove/module.f.js +174 -0
  166. package/types/btree/remove/test.f.d.ts +5 -0
  167. package/types/btree/remove/test.f.js +634 -0
  168. package/types/btree/set/module.f.d.ts +3 -0
  169. package/types/btree/set/module.f.js +103 -0
  170. package/types/btree/set/test.f.d.ts +2 -0
  171. package/types/btree/set/test.f.js +360 -0
  172. package/types/btree/test.f.d.ts +8 -0
  173. package/types/btree/test.f.js +75 -0
  174. package/types/btree/types/module.f.d.ts +11 -0
  175. package/types/btree/types/module.f.js +1 -0
  176. package/types/byte_set/module.f.d.ts +16 -0
  177. package/types/byte_set/module.f.js +28 -0
  178. package/types/byte_set/test.f.d.ts +12 -0
  179. package/types/byte_set/test.f.js +122 -0
  180. package/types/function/compare/module.f.d.ts +10 -0
  181. package/types/function/compare/module.f.js +7 -0
  182. package/types/function/compare/test.f.d.ts +2 -0
  183. package/types/function/compare/test.f.js +8 -0
  184. package/types/function/module.f.d.ts +28 -0
  185. package/types/function/module.f.js +19 -0
  186. package/types/function/operator/module.f.d.ts +20 -0
  187. package/types/function/operator/module.f.js +18 -0
  188. package/types/function/test.f.d.ts +2 -0
  189. package/types/function/test.f.js +12 -0
  190. package/types/list/module.f.d.ts +50 -0
  191. package/types/list/module.f.js +171 -0
  192. package/types/list/test.f.d.ts +22 -0
  193. package/types/list/test.f.js +395 -0
  194. package/types/map/module.f.d.ts +14 -0
  195. package/types/map/module.f.js +31 -0
  196. package/types/map/test.f.d.ts +5 -0
  197. package/types/map/test.f.js +114 -0
  198. package/types/nibble_set/module.f.d.ts +10 -0
  199. package/types/nibble_set/module.f.js +9 -0
  200. package/types/nibble_set/test.f.d.ts +12 -0
  201. package/types/nibble_set/test.f.js +90 -0
  202. package/types/nullable/module.f.d.ts +3 -0
  203. package/types/nullable/module.f.js +2 -0
  204. package/types/nullable/test.f.d.ts +2 -0
  205. package/types/nullable/test.f.js +12 -0
  206. package/types/number/module.f.d.ts +6 -0
  207. package/types/number/module.f.js +8 -0
  208. package/types/number/test.f.d.ts +11 -0
  209. package/types/number/test.f.js +124 -0
  210. package/types/object/module.f.d.ts +10 -0
  211. package/types/object/module.f.js +12 -0
  212. package/types/object/test.f.d.ts +5 -0
  213. package/types/object/test.f.js +17 -0
  214. package/types/range/module.f.d.ts +3 -0
  215. package/types/range/module.f.js +2 -0
  216. package/types/range/test.f.d.ts +2 -0
  217. package/types/range/test.f.js +18 -0
  218. package/types/range_map/module.f.d.ts +14 -0
  219. package/types/range_map/module.f.js +51 -0
  220. package/types/range_map/test.f.d.ts +6 -0
  221. package/types/range_map/test.f.js +176 -0
  222. package/types/result/module.f.d.ts +7 -0
  223. package/types/result/module.f.js +8 -0
  224. package/types/sorted_list/module.f.d.ts +16 -0
  225. package/types/sorted_list/module.f.js +56 -0
  226. package/types/sorted_list/test.f.d.ts +5 -0
  227. package/types/sorted_list/test.f.js +64 -0
  228. package/types/sorted_set/module.f.d.ts +7 -0
  229. package/types/sorted_set/module.f.js +14 -0
  230. package/types/sorted_set/test.f.d.ts +6 -0
  231. package/types/sorted_set/test.f.js +78 -0
  232. package/types/string/module.f.d.ts +6 -0
  233. package/types/string/module.f.js +11 -0
  234. package/types/string/test.f.d.ts +15 -0
  235. package/types/string/test.f.js +58 -0
  236. package/types/string_set/module.f.d.ts +9 -0
  237. package/types/string_set/module.f.js +22 -0
  238. package/types/string_set/test.f.d.ts +5 -0
  239. package/types/string_set/test.f.js +65 -0
  240. package/.github/FUNDING.yml +0 -12
  241. package/.github/dependabot.yml +0 -11
  242. package/.github/workflows/ci.yml +0 -88
  243. package/.github/workflows/npm-publish.yml +0 -53
  244. package/CHANGELOG.md +0 -29
  245. package/Cargo.lock +0 -18
  246. package/Cargo.toml +0 -7
  247. package/com/README.md +0 -3
  248. package/com/cpp/README.md +0 -80
  249. package/com/cpp/module.f.ts +0 -180
  250. package/com/cpp/nanocom.hpp +0 -195
  251. package/com/cpp/testlib.f.ts +0 -8
  252. package/com/cs/module.f.ts +0 -145
  253. package/com/cs/testlib.f.ts +0 -8
  254. package/com/proposals.md +0 -28
  255. package/com/rust/module.f.ts +0 -287
  256. package/com/rust/nanocom/Cargo.lock +0 -7
  257. package/com/rust/nanocom/Cargo.toml +0 -15
  258. package/com/rust/nanocom/README.md +0 -56
  259. package/com/rust/nanocom/src/class.rs +0 -6
  260. package/com/rust/nanocom/src/cobject.rs +0 -90
  261. package/com/rust/nanocom/src/guid.rs +0 -15
  262. package/com/rust/nanocom/src/hresult.rs +0 -7
  263. package/com/rust/nanocom/src/interface.rs +0 -9
  264. package/com/rust/nanocom/src/iunknown.rs +0 -13
  265. package/com/rust/nanocom/src/lib.rs +0 -20
  266. package/com/rust/nanocom/src/object.rs +0 -34
  267. package/com/rust/nanocom/src/ref.rs +0 -57
  268. package/com/rust/nanocom/src/vmt.rs +0 -7
  269. package/com/rust/nanocom/tests/it.rs +0 -186
  270. package/com/rust/nanocom/tests/itmod.rs +0 -195
  271. package/com/rust/testlib.f.ts +0 -8
  272. package/com/test/build.f.ts +0 -111
  273. package/com/test/build.ts +0 -45
  274. package/com/test/cpp/main.cpp +0 -74
  275. package/com/test/cs/Program.cs +0 -31
  276. package/com/test/cs/cs.csproj +0 -16
  277. package/com/test/rust/Cargo.toml +0 -12
  278. package/com/test/rust/src/lib.rs +0 -56
  279. package/com/types/module.f.ts +0 -62
  280. package/commonjs/README.md +0 -94
  281. package/commonjs/build/module.f.ts +0 -100
  282. package/commonjs/build/test.f.ts +0 -107
  283. package/commonjs/module/module.f.ts +0 -41
  284. package/commonjs/module.f.ts +0 -7
  285. package/commonjs/module.ts +0 -31
  286. package/commonjs/package/dependencies/module.f.ts +0 -22
  287. package/commonjs/package/dependencies/test.f.ts +0 -8
  288. package/commonjs/package/module.f.ts +0 -31
  289. package/commonjs/package/test.f.ts +0 -12
  290. package/commonjs/path/README.md +0 -17
  291. package/commonjs/path/module.f.ts +0 -171
  292. package/commonjs/test.ts +0 -64
  293. package/crypto/README.md +0 -3
  294. package/crypto/prime_field/module.f.ts +0 -114
  295. package/crypto/prime_field/test.f.ts +0 -95
  296. package/crypto/secp/module.f.ts +0 -182
  297. package/crypto/secp/test.f.ts +0 -68
  298. package/crypto/sha2/module.f.ts +0 -215
  299. package/crypto/sha2/test.f.ts +0 -83
  300. package/deno.json +0 -71
  301. package/dev/README.md +0 -8
  302. package/dev/index.ts +0 -3
  303. package/dev/module.f.ts +0 -1
  304. package/dev/module.ts +0 -195
  305. package/dev/test/module.f.ts +0 -135
  306. package/dev/test.ts +0 -53
  307. package/djs/README.md +0 -54
  308. package/djs/module.f.ts +0 -76
  309. package/djs/parser/module.f.ts +0 -509
  310. package/djs/parser/test.f.ts +0 -461
  311. package/djs/serializer/module.f.ts +0 -90
  312. package/djs/test.f.ts +0 -67
  313. package/djs/tokenizer/module.f.ts +0 -99
  314. package/djs/tokenizer/test.f.ts +0 -364
  315. package/doc/LANGUAGE.md +0 -255
  316. package/doc/README.md +0 -61
  317. package/doc/byte-code.md +0 -59
  318. package/doc/fa.md +0 -174
  319. package/doc/predefined.md +0 -143
  320. package/doc/proposals.md +0 -21
  321. package/doc/vm/README.md +0 -24
  322. package/doc/vm-rearchitecture.md +0 -129
  323. package/doc/vm.md +0 -150
  324. package/fsc/README.md +0 -111
  325. package/fsc/module.f.ts +0 -122
  326. package/fsc/test.f.ts +0 -21
  327. package/fsm/README.md +0 -113
  328. package/fsm/module.f.ts +0 -107
  329. package/fsm/test.f.ts +0 -139
  330. package/funding.json +0 -61
  331. package/html/README.md +0 -32
  332. package/html/module.f.ts +0 -109
  333. package/html/test.f.ts +0 -37
  334. package/issues/01-test-debug.md +0 -3
  335. package/issues/02-esm.md +0 -8
  336. package/issues/03-djs.md +0 -57
  337. package/issues/05-publish.md +0 -40
  338. package/issues/11-fs-load.md +0 -13
  339. package/issues/17-djs-extension.md +0 -6
  340. package/issues/README.md +0 -42
  341. package/issues/lang/1000-json.md +0 -50
  342. package/issues/lang/2110-default-export.md +0 -11
  343. package/issues/lang/2120-const.md +0 -14
  344. package/issues/lang/2130-default-import.md +0 -10
  345. package/issues/lang/2210-block-comment.md +0 -12
  346. package/issues/lang/2220-namespace-import.md +0 -25
  347. package/issues/lang/2310-undefined.md +0 -7
  348. package/issues/lang/2320-bigint.md +0 -7
  349. package/issues/lang/2330-property-accessor.md +0 -225
  350. package/issues/lang/2340-operators.md +0 -41
  351. package/issues/lang/2350-grouping.md +0 -11
  352. package/issues/lang/2360-built-in.md +0 -81
  353. package/issues/lang/2410-identifier-property.md +0 -9
  354. package/issues/lang/2420-line-comment.md +0 -10
  355. package/issues/lang/2430-trailing-comma.md +0 -13
  356. package/issues/lang/2440-shorthand.md +0 -8
  357. package/issues/lang/2450-destructuring.md +0 -12
  358. package/issues/lang/3110-function.md +0 -35
  359. package/issues/lang/3120-parameters.md +0 -9
  360. package/issues/lang/3130-body-const.md +0 -12
  361. package/issues/lang/3220-let.md +0 -11
  362. package/issues/lang/3240-export.md +0 -44
  363. package/issues/lang/3370-type-inference.md +0 -69
  364. package/issues/lang/3380-promise.md +0 -22
  365. package/issues/lang/3390-class.md +0 -3
  366. package/issues/lang/3410-expression.md +0 -12
  367. package/issues/lang/3420-one-parameter.md +0 -10
  368. package/issues/lang/3430-assignments.md +0 -23
  369. package/issues/lang/README.md +0 -193
  370. package/issues/test.f.ts +0 -58
  371. package/js/tokenizer/module.f.ts +0 -882
  372. package/js/tokenizer/test.f.ts +0 -617
  373. package/json/html/README.md +0 -49
  374. package/json/module.f.ts +0 -94
  375. package/json/parser/module.f.ts +0 -221
  376. package/json/parser/test.f.ts +0 -255
  377. package/json/serializer/module.f.ts +0 -74
  378. package/json/serializer/test.f.ts +0 -64
  379. package/json/test.f.ts +0 -48
  380. package/json/tokenizer/module.f.ts +0 -85
  381. package/json/tokenizer/test.f.ts +0 -290
  382. package/nanvm-lib/Cargo.toml +0 -6
  383. package/nanvm-lib/src/extension.rs +0 -130
  384. package/nanvm-lib/src/interface.rs +0 -133
  385. package/nanvm-lib/src/lib.rs +0 -7
  386. package/nanvm-lib/src/naive.rs +0 -236
  387. package/nanvm-lib/src/nanenum.rs +0 -236
  388. package/nanvm-lib/src/nullish.rs +0 -7
  389. package/nanvm-lib/src/sign.rs +0 -5
  390. package/nanvm-lib/src/simple.rs +0 -32
  391. package/nanvm-lib/tests/test.f.ts +0 -80
  392. package/nanvm-lib/tests/test.rs +0 -108
  393. package/nodejs/version/main.ts +0 -4
  394. package/nodejs/version/module.f.ts +0 -42
  395. package/text/README.md +0 -110
  396. package/text/ascii/module.f.ts +0 -219
  397. package/text/ascii/test.f.ts +0 -14
  398. package/text/module.f.ts +0 -30
  399. package/text/sgr/README.md +0 -3
  400. package/text/sgr/module.f.ts +0 -11
  401. package/text/test.f.ts +0 -19
  402. package/text/utf16/module.f.ts +0 -120
  403. package/text/utf16/test.f.ts +0 -107
  404. package/text/utf8/module.f.ts +0 -116
  405. package/text/utf8/test.f.ts +0 -125
  406. package/tsconfig.json +0 -104
  407. package/types/array/module.f.ts +0 -89
  408. package/types/array/test.f.ts +0 -88
  409. package/types/bigfloat/module.f.ts +0 -93
  410. package/types/bigfloat/test.f.ts +0 -218
  411. package/types/bigint/README.md +0 -35
  412. package/types/bigint/test.f.ts +0 -144
  413. package/types/bit_vec/README.md +0 -18
  414. package/types/bit_vec/test.f.ts +0 -129
  415. package/types/btree/README.md +0 -160
  416. package/types/btree/find/module.f.ts +0 -92
  417. package/types/btree/find/test.f.ts +0 -122
  418. package/types/btree/module.f.ts +0 -35
  419. package/types/btree/remove/module.f.ts +0 -151
  420. package/types/btree/remove/test.f.ts +0 -498
  421. package/types/btree/set/module.f.ts +0 -89
  422. package/types/btree/set/test.f.ts +0 -415
  423. package/types/btree/test.f.ts +0 -92
  424. package/types/btree/types/module.f.ts +0 -27
  425. package/types/byte_set/module.f.ts +0 -73
  426. package/types/byte_set/test.f.ts +0 -84
  427. package/types/function/compare/module.f.ts +0 -26
  428. package/types/function/compare/test.f.ts +0 -7
  429. package/types/function/module.f.ts +0 -43
  430. package/types/function/operator/module.f.ts +0 -65
  431. package/types/function/test.f.ts +0 -20
  432. package/types/list/module.f.ts +0 -350
  433. package/types/list/test.f.ts +0 -327
  434. package/types/map/module.f.ts +0 -65
  435. package/types/map/test.f.ts +0 -76
  436. package/types/nibble_set/module.f.ts +0 -34
  437. package/types/nibble_set/test.f.ts +0 -57
  438. package/types/nullable/module.f.ts +0 -9
  439. package/types/nullable/test.f.ts +0 -9
  440. package/types/number/module.f.ts +0 -20
  441. package/types/number/test.f.ts +0 -194
  442. package/types/object/module.f.ts +0 -30
  443. package/types/object/test.f.ts +0 -14
  444. package/types/range/module.f.ts +0 -10
  445. package/types/range/test.f.ts +0 -9
  446. package/types/range_map/module.f.ts +0 -70
  447. package/types/range_map/test.f.ts +0 -189
  448. package/types/result/module.f.ts +0 -20
  449. package/types/result/module.ts +0 -18
  450. package/types/sorted_list/module.f.ts +0 -83
  451. package/types/sorted_list/test.f.ts +0 -57
  452. package/types/sorted_set/module.f.ts +0 -36
  453. package/types/sorted_set/test.f.ts +0 -67
  454. package/types/string/module.f.ts +0 -26
  455. package/types/string/test.f.ts +0 -43
  456. package/types/string_set/module.f.ts +0 -37
  457. package/types/string_set/test.f.ts +0 -34
@@ -1,133 +0,0 @@
1
- use core::fmt;
2
-
3
- use crate::{nullish::Nullish, sign::Sign, simple::Simple};
4
-
5
- pub trait Container: Clone {
6
- type Header;
7
- type Item;
8
- fn header(&self) -> &Self::Header;
9
- /// For now, we use a slice.
10
- /// We may change it in the future to support more sophisticated containers.
11
- fn items(&self) -> &[Self::Item];
12
- fn new(header: Self::Header, items: impl IntoIterator<Item = Self::Item>) -> Self;
13
- }
14
-
15
- pub trait Complex<U: Any>: PartialEq + Sized + Container {
16
- fn to_unknown(self) -> U;
17
- fn try_from_unknown(u: U) -> Result<Self, U>;
18
- }
19
-
20
- pub trait String16<U: Any<String16 = Self>>:
21
- Complex<U> + Container<Header = (), Item = u16>
22
- {
23
- }
24
-
25
- pub trait BigInt<U: Any<BigInt = Self>>: Complex<U> + Container<Header = Sign, Item = u64> {}
26
-
27
- pub trait Array<U: Any<Array = Self>>: Complex<U> + Container<Header = (), Item = U> {}
28
-
29
- pub trait Object<U: Any<Object = Self>>:
30
- Complex<U> + Container<Header = (), Item = (U::String16, U)>
31
- {
32
- }
33
-
34
- pub trait Function<U: Any<Function = Self>>:
35
- Complex<U> + Container<Header = u32, Item = u8>
36
- {
37
- }
38
-
39
- pub trait Any: PartialEq + Sized + Clone + fmt::Debug {
40
- type String16: String16<Self>;
41
- type BigInt: BigInt<Self>;
42
- type Array: Array<Self>;
43
- type Object: Object<Self>;
44
- type Function: Function<Self>;
45
-
46
- fn pack(u: Unpacked<Self>) -> Self;
47
- fn unpack(self) -> Unpacked<Self>;
48
-
49
- fn new_simple(value: Simple) -> Self;
50
- fn try_to_simple(&self) -> Option<Simple>;
51
-
52
- fn try_to<C: Complex<Self>>(self) -> Result<C, Self> {
53
- C::try_from_unknown(self)
54
- }
55
-
56
- fn to_string(self) -> Self::String16 {
57
- if let Some(simple) = self.try_to_simple() {
58
- return simple.to_string::<Self>();
59
- }
60
- if let Ok(v) = self.clone().try_to::<Self::String16>() {
61
- return v;
62
- }
63
- if self.clone().try_to::<Self::Array>().is_ok() {
64
- return "".to_string16::<Self>();
65
- }
66
- if self.clone().try_to::<Self::Object>().is_ok() {
67
- return "[object Object]".to_string16::<Self>();
68
- }
69
- // bigint and function
70
- todo!()
71
- }
72
- }
73
-
74
- #[derive(PartialEq, Debug, Clone)]
75
- pub enum Unpacked<U: Any> {
76
- Nullish(Nullish),
77
- Bool(bool),
78
- Number(f64),
79
- String16(U::String16),
80
- BigInt(U::BigInt),
81
- Array(U::Array),
82
- Object(U::Object),
83
- Function(U::Function),
84
- }
85
-
86
- pub trait Extension: Sized {
87
- fn to_complex<C: Complex<impl Any> + Container<Header = ()>>(self) -> C
88
- where
89
- Self: IntoIterator<Item = C::Item>,
90
- {
91
- C::new((), self)
92
- }
93
-
94
- fn to_string16_unknown<U: Any>(self) -> U
95
- where
96
- Self: IntoIterator<Item = u16>,
97
- {
98
- self.to_complex::<U::String16>().to_unknown()
99
- }
100
-
101
- fn to_array_unknown(self) -> Self::Item
102
- where
103
- Self: IntoIterator<Item: Any>,
104
- {
105
- self.to_complex::<<Self::Item as Any>::Array>().to_unknown()
106
- }
107
-
108
- fn to_object_unknown<U: Any>(self) -> U
109
- where
110
- Self: IntoIterator<Item = (U::String16, U)>,
111
- {
112
- self.to_complex::<U::Object>().to_unknown()
113
- }
114
- }
115
-
116
- impl<T> Extension for T {}
117
-
118
- // Utf8
119
-
120
- pub trait Utf8 {
121
- fn to_string16<U: Any>(&self) -> U::String16;
122
- fn to_unknown<U: Any>(&self) -> U;
123
- }
124
-
125
- impl Utf8 for str {
126
- fn to_string16<U: Any>(&self) -> U::String16 {
127
- self.encode_utf16().to_complex()
128
- }
129
-
130
- fn to_unknown<U: Any>(&self) -> U {
131
- self.to_string16::<U>().to_unknown()
132
- }
133
- }
@@ -1,7 +0,0 @@
1
- pub mod extension;
2
- pub mod interface;
3
- pub mod naive;
4
- pub mod nanenum;
5
- pub mod nullish;
6
- pub mod sign;
7
- pub mod simple;
@@ -1,236 +0,0 @@
1
- use core::{fmt, marker::PhantomData};
2
- use std::rc;
3
-
4
- use crate::{
5
- interface::{self},
6
- sign::Sign,
7
- simple::Simple,
8
- };
9
-
10
- pub trait Policy {
11
- type Header: PartialEq + fmt::Debug + Clone;
12
- type Item: fmt::Debug;
13
- fn items_eq(a: &[Self::Item], b: &[Self::Item]) -> bool;
14
- }
15
-
16
- #[derive(Clone)]
17
- pub struct ValuePolicy<H, T>(PhantomData<(H, T)>);
18
-
19
- impl<H: PartialEq + fmt::Debug + Clone, T: PartialEq + fmt::Debug> Policy for ValuePolicy<H, T> {
20
- type Header = H;
21
- type Item = T;
22
- fn items_eq(a: &[Self::Item], b: &[Self::Item]) -> bool {
23
- a == b
24
- }
25
- }
26
-
27
- #[derive(Clone)]
28
- pub struct RefPolicy<H, T>(PhantomData<(H, T)>);
29
-
30
- impl<H: PartialEq + fmt::Debug + Clone, T: fmt::Debug> Policy for RefPolicy<H, T> {
31
- type Header = H;
32
- type Item = T;
33
- fn items_eq(a: &[Self::Item], b: &[Self::Item]) -> bool {
34
- a.as_ptr() == b.as_ptr()
35
- }
36
- }
37
-
38
- pub struct Complex<P: Policy> {
39
- header: P::Header,
40
- items: rc::Rc<[P::Item]>,
41
- }
42
-
43
- impl<P: Policy> Clone for Complex<P> {
44
- fn clone(&self) -> Self {
45
- Self {
46
- header: self.header.clone(),
47
- items: self.items.clone(),
48
- }
49
- }
50
- }
51
-
52
- impl<P: Policy> fmt::Debug for Complex<P> {
53
- fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
54
- f.debug_struct("Complex")
55
- .field("header", &self.header)
56
- .field("items", &self.items)
57
- .finish()
58
- }
59
- }
60
-
61
- impl<P: Policy> PartialEq for Complex<P> {
62
- fn eq(&self, other: &Self) -> bool {
63
- self.header == other.header && P::items_eq(&self.items, &other.items)
64
- }
65
- }
66
-
67
- impl<P: Policy> interface::Container for Complex<P> {
68
- type Header = P::Header;
69
- type Item = P::Item;
70
- fn items(&self) -> &[Self::Item] {
71
- &self.items
72
- }
73
- fn header(&self) -> &Self::Header {
74
- &self.header
75
- }
76
- fn new(header: Self::Header, items: impl IntoIterator<Item = Self::Item>) -> Self {
77
- Self {
78
- header,
79
- items: rc::Rc::from_iter(items),
80
- }
81
- }
82
- }
83
-
84
- // String
85
-
86
- pub type String16 = Complex<ValuePolicy<(), u16>>;
87
-
88
- impl interface::Complex<Any> for String16 {
89
- fn to_unknown(self) -> Any {
90
- Any::String16(self)
91
- }
92
- fn try_from_unknown(u: Any) -> Result<Self, Any> {
93
- if let Any::String16(v) = u {
94
- Ok(v)
95
- } else {
96
- Err(u)
97
- }
98
- }
99
- }
100
-
101
- impl interface::String16<Any> for String16 {}
102
-
103
- // BigInt
104
-
105
- pub type BigInt = Complex<ValuePolicy<Sign, u64>>;
106
-
107
- impl interface::Complex<Any> for BigInt {
108
- fn to_unknown(self) -> Any {
109
- Any::BigInt(self)
110
- }
111
- fn try_from_unknown(u: Any) -> Result<Self, Any> {
112
- if let Any::BigInt(v) = u {
113
- Ok(v)
114
- } else {
115
- Err(u)
116
- }
117
- }
118
- }
119
-
120
- impl interface::BigInt<Any> for BigInt {}
121
-
122
- // Array
123
-
124
- pub type Array = Complex<RefPolicy<(), Any>>;
125
-
126
- impl interface::Complex<Any> for Array {
127
- fn to_unknown(self) -> Any {
128
- Any::Array(self)
129
- }
130
- fn try_from_unknown(u: Any) -> Result<Self, Any> {
131
- if let Any::Array(v) = u {
132
- Ok(v)
133
- } else {
134
- Err(u)
135
- }
136
- }
137
- }
138
-
139
- impl interface::Array<Any> for Array {}
140
-
141
- // Object
142
-
143
- pub type Object = Complex<RefPolicy<(), (String16, Any)>>;
144
-
145
- impl interface::Complex<Any> for Object {
146
- fn to_unknown(self) -> Any {
147
- Any::Object(self)
148
- }
149
- fn try_from_unknown(u: Any) -> Result<Self, Any> {
150
- if let Any::Object(v) = u {
151
- Ok(v)
152
- } else {
153
- Err(u)
154
- }
155
- }
156
- }
157
-
158
- impl interface::Object<Any> for Object {}
159
-
160
- // Function
161
-
162
- pub type Function = Complex<RefPolicy<u32, u8>>;
163
-
164
- impl interface::Complex<Any> for Function {
165
- fn to_unknown(self) -> Any {
166
- Any::Function(self)
167
- }
168
-
169
- fn try_from_unknown(u: Any) -> Result<Self, Any> {
170
- if let Any::Function(v) = u {
171
- Ok(v)
172
- } else {
173
- Err(u)
174
- }
175
- }
176
- }
177
-
178
- impl interface::Function<Any> for Function {}
179
-
180
- // Unknown
181
-
182
- #[derive(PartialEq, Debug, Clone)]
183
- pub enum Any {
184
- Simple(Simple),
185
- String16(String16),
186
- BigInt(BigInt),
187
- Array(Array),
188
- Object(Object),
189
- Function(Function),
190
- }
191
-
192
- impl interface::Any for Any {
193
- type String16 = String16;
194
- type BigInt = BigInt;
195
- type Array = Array;
196
- type Object = Object;
197
- type Function = Function;
198
-
199
- fn new_simple(value: Simple) -> Self {
200
- Self::Simple(value)
201
- }
202
-
203
- fn try_to_simple(&self) -> Option<Simple> {
204
- if let Self::Simple(v) = self {
205
- Some(v.clone())
206
- } else {
207
- None
208
- }
209
- }
210
-
211
- fn pack(u: interface::Unpacked<Self>) -> Self {
212
- match u {
213
- interface::Unpacked::Nullish(n) => Self::Simple(Simple::Nullish(n)),
214
- interface::Unpacked::Bool(n) => Self::Simple(Simple::Boolean(n)),
215
- interface::Unpacked::Number(n) => Self::Simple(Simple::Number(n)),
216
- interface::Unpacked::String16(n) => Self::String16(n),
217
- interface::Unpacked::BigInt(n) => Self::BigInt(n),
218
- interface::Unpacked::Array(n) => Self::Array(n),
219
- interface::Unpacked::Object(n) => Self::Object(n),
220
- interface::Unpacked::Function(n) => Self::Function(n),
221
- }
222
- }
223
-
224
- fn unpack(self) -> interface::Unpacked<Self> {
225
- match self {
226
- Any::Simple(Simple::Nullish(n)) => interface::Unpacked::Nullish(n),
227
- Any::Simple(Simple::Boolean(n)) => interface::Unpacked::Bool(n),
228
- Any::Simple(Simple::Number(n)) => interface::Unpacked::Number(n),
229
- Any::String16(complex) => interface::Unpacked::String16(complex),
230
- Any::BigInt(complex) => interface::Unpacked::BigInt(complex),
231
- Any::Array(complex) => interface::Unpacked::Array(complex),
232
- Any::Object(complex) => interface::Unpacked::Object(complex),
233
- Any::Function(complex) => interface::Unpacked::Function(complex),
234
- }
235
- }
236
- }
@@ -1,236 +0,0 @@
1
- use core::{marker::PhantomData, mem::forget};
2
- use std::rc::Rc;
3
-
4
- trait Raw64: Clone {
5
- /// Number of bits in the packed structure.
6
- const BIT_SIZE: u64;
7
- /// Moving ownership from `v` to `Self`.`
8
- unsafe fn from_raw64(v: u64) -> Self;
9
- /// Moving ownership from `self` to `u64`.
10
- unsafe fn into_raw64(self) -> u64;
11
- }
12
-
13
- impl<T> Raw64 for Rc<T> {
14
- const BIT_SIZE: u64 = 48;
15
- unsafe fn from_raw64(v: u64) -> Self {
16
- Rc::from_raw(v as _)
17
- }
18
- unsafe fn into_raw64(self) -> u64 {
19
- Rc::into_raw(self) as *const _ as _
20
- }
21
- }
22
-
23
- #[derive(Clone)]
24
- enum NaNEnum<T: Raw64> {
25
- Number(f64),
26
- Else(T),
27
- }
28
-
29
- const NEGATIVE: u64 = 1 << 63;
30
-
31
- const NOT_FINITE: u64 = 0b0111_1111_1111_0000 << 48;
32
-
33
- const INFINITY: u64 = NOT_FINITE;
34
-
35
- const NEG_INFINITY: u64 = INFINITY | NEGATIVE;
36
-
37
- const NAN: u64 = NOT_FINITE | (1 << 51);
38
-
39
- const ELSE: u64 = NAN | NEGATIVE;
40
-
41
- const ELSE_DATA: u64 = (1 << 51) - 1;
42
-
43
- // INFINITY: 7FF0...
44
- // -INFINITY: FFF0...
45
- // NAN : 7FF8...
46
- // ELSE : FFF8...
47
- // NUMBER : ...
48
-
49
- /// Represents packed implementation of `NaNEnum`.
50
- ///
51
- /// Note: currently, only `2^51` values are allowed for `Else`.
52
- /// However, there are `2^53 - 3` are available,
53
- /// so it's possible to use more than 51 bits in the future.
54
- struct NaNEnumPack<T: Raw64>(u64, PhantomData<T>);
55
-
56
- impl<T: Raw64> NaNEnumPack<T> {
57
- fn check(&self, mask: u64) -> bool {
58
- self.0 & mask == mask
59
- }
60
- /// Creates a temporary object that should be `forget` after using.
61
- unsafe fn tmp_unpack(&self) -> NaNEnum<T> {
62
- if self.check(ELSE) {
63
- NaNEnum::Else(T::from_raw64(self.0 & ELSE_DATA))
64
- } else {
65
- NaNEnum::Number(f64::from_bits(self.0))
66
- }
67
- }
68
- fn unpack(self) -> NaNEnum<T> {
69
- let result = unsafe { self.tmp_unpack() };
70
- forget(self);
71
- result
72
- }
73
- fn pack(v: NaNEnum<T>) -> Self {
74
- assert!(T::BIT_SIZE <= 51);
75
- Self(
76
- match v {
77
- NaNEnum::Number(n) => n.to_bits(),
78
- NaNEnum::Else(e) => unsafe { e.into_raw64() | ELSE },
79
- },
80
- PhantomData,
81
- )
82
- }
83
- }
84
-
85
- impl<T: Raw64> Clone for NaNEnumPack<T> {
86
- fn clone(&self) -> Self {
87
- let tmp = unsafe { self.tmp_unpack() };
88
- let c = tmp.clone();
89
- forget(tmp);
90
- Self::pack(c)
91
- }
92
- }
93
-
94
- impl<T: Raw64> Drop for NaNEnumPack<T> {
95
- fn drop(&mut self) {
96
- unsafe { self.tmp_unpack() };
97
- }
98
- }
99
-
100
- #[cfg(test)]
101
- mod test {
102
- use core::{
103
- mem::forget,
104
- ptr::null,
105
- sync::atomic::{AtomicUsize, Ordering},
106
- };
107
- use std::rc::Rc;
108
-
109
- use crate::nanenum::{Raw64, NEGATIVE, NOT_FINITE};
110
-
111
- use super::{NaNEnum, NaNEnumPack};
112
-
113
- // See https://doc.rust-lang.org/std/mem/fn.needs_drop.html
114
-
115
- /*
116
- trait Dropable {
117
- const _A: () = assert!(needs_drop::<Self>());
118
- }
119
-
120
- trait NonDropable {
121
- const _A: () = assert!(!needs_drop::<Self>());
122
- }
123
- */
124
-
125
- #[test]
126
- fn test_f64() {
127
- assert_eq!(f64::INFINITY.to_bits(), NOT_FINITE);
128
- assert_eq!((f64::NEG_INFINITY).to_bits(), NOT_FINITE | NEGATIVE);
129
- assert_eq!(f64::NAN.to_bits(), NOT_FINITE | (1 << 51));
130
- }
131
-
132
- #[test]
133
- fn test_pack() {
134
- static I: AtomicUsize = AtomicUsize::new(0);
135
-
136
- struct P();
137
-
138
- impl Default for P {
139
- fn default() -> Self {
140
- I.fetch_add(1, Ordering::Relaxed);
141
- Self()
142
- }
143
- }
144
-
145
- impl Clone for P {
146
- fn clone(&self) -> Self {
147
- Self::default()
148
- }
149
- }
150
-
151
- impl Drop for P {
152
- fn drop(&mut self) {
153
- I.fetch_sub(1, Ordering::Relaxed);
154
- }
155
- }
156
-
157
- impl Raw64 for P {
158
- const BIT_SIZE: u64 = 0;
159
- unsafe fn from_raw64(v: u64) -> Self {
160
- Self()
161
- }
162
- unsafe fn into_raw64(self) -> u64 {
163
- forget(self);
164
- 0
165
- }
166
- }
167
-
168
- //
169
-
170
- {
171
- assert_eq!(I.load(Ordering::Relaxed), 0);
172
- {
173
- let x = P::default();
174
- assert_eq!(I.load(Ordering::Relaxed), 1);
175
- let m = NaNEnum::Else(x);
176
- assert_eq!(I.load(Ordering::Relaxed), 1);
177
- let p = NaNEnumPack::pack(m);
178
- assert_eq!(I.load(Ordering::Relaxed), 1);
179
- let p1 = p.clone();
180
- assert_eq!(I.load(Ordering::Relaxed), 2);
181
- let m1 = p1.unpack();
182
- assert_eq!(I.load(Ordering::Relaxed), 2);
183
- if let NaNEnum::Else(x1) = m1 {
184
- assert_eq!(I.load(Ordering::Relaxed), 2);
185
- // assert_ne!(&x as *const _, null())
186
- // assert_ne!(&m as *const _, null())
187
- assert_ne!(&p as *const _, null());
188
- // assert_ne!(&p1 as *const _, null());
189
- // assert_ne!(&m1 as *const _, null());
190
- assert_ne!(&x1 as *const _, null());
191
- } else {
192
- panic!()
193
- }
194
- }
195
- assert_eq!(I.load(Ordering::Relaxed), 0);
196
- }
197
-
198
- //
199
-
200
- {
201
- assert_eq!(I.load(Ordering::Relaxed), 0);
202
- {
203
- let x = P::default();
204
- assert_eq!(I.load(Ordering::Relaxed), 1);
205
- let m = NaNEnum::Else(x.clone());
206
- assert_eq!(I.load(Ordering::Relaxed), 2);
207
- let p = NaNEnumPack::pack(m.clone());
208
- assert_eq!(I.load(Ordering::Relaxed), 3);
209
- let p1 = p.clone();
210
- assert_eq!(I.load(Ordering::Relaxed), 4);
211
- let m1 = p1.clone().unpack();
212
- assert_eq!(I.load(Ordering::Relaxed), 5);
213
- if let NaNEnum::Else(x1) = m1.clone() {
214
- assert_eq!(I.load(Ordering::Relaxed), 6);
215
- assert_ne!(&x as *const _, null());
216
- assert_ne!(&m as *const _, null());
217
- assert_ne!(&p as *const _, null());
218
- assert_ne!(&p1 as *const _, null());
219
- assert_ne!(&m1 as *const _, null());
220
- assert_ne!(&x1 as *const _, null());
221
- } else {
222
- panic!()
223
- }
224
- }
225
- assert_eq!(I.load(Ordering::Relaxed), 0);
226
- }
227
- }
228
-
229
- #[test]
230
- fn test_ptr() {
231
- let x = Rc::new("hello");
232
- let m = NaNEnum::Else(x);
233
- let p = NaNEnumPack::pack(m);
234
- let p1 = p.clone();
235
- }
236
- }
@@ -1,7 +0,0 @@
1
- /// https://developer.mozilla.org/en-US/docs/Glossary/Nullish
2
- /// "In JavaScript, a nullish value is the value which is either null or undefined. Nullish values are always falsy."
3
- #[derive(Debug, PartialEq, Clone, Copy)]
4
- pub enum Nullish {
5
- Null,
6
- Undefined,
7
- }
@@ -1,5 +0,0 @@
1
- #[derive(PartialEq, Debug, Clone)]
2
- pub enum Sign {
3
- Positive = 1,
4
- Negative = -1,
5
- }
@@ -1,32 +0,0 @@
1
- use crate::{
2
- interface::{Any, Utf8},
3
- nullish::Nullish,
4
- };
5
-
6
- #[derive(PartialEq, Debug, Clone)]
7
- pub enum Simple {
8
- Nullish(Nullish),
9
- Boolean(bool),
10
- Number(f64),
11
- }
12
-
13
- impl Simple {
14
- pub fn to_unknown<U: Any>(self) -> U {
15
- U::new_simple(self)
16
- }
17
- pub fn to_string<U: Any>(self) -> U::String16 {
18
- match self {
19
- Simple::Nullish(v) => (match v {
20
- Nullish::Null => "null",
21
- Nullish::Undefined => "undefined",
22
- })
23
- .to_string16::<U>(),
24
- Simple::Boolean(v) => (match v {
25
- true => "true",
26
- false => "false",
27
- })
28
- .to_string16::<U>(),
29
- Simple::Number(_) => todo!(),
30
- }
31
- }
32
- }