functionalscript 0.2.0 → 0.2.1

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 (248) hide show
  1. package/dev/module.mjs +1 -1
  2. package/jsr.json +59 -59
  3. package/out/com/cpp/module.f.mjs +123 -0
  4. package/out/com/cpp/test.f.mjs +40 -0
  5. package/out/com/cpp/testlib.f.mjs +7 -0
  6. package/out/com/cs/module.f.mjs +95 -0
  7. package/out/com/cs/test.f.mjs +43 -0
  8. package/out/com/cs/testlib.f.mjs +7 -0
  9. package/out/com/rust/module.f.mjs +213 -0
  10. package/out/com/rust/test.f.mjs +123 -0
  11. package/out/com/rust/testlib.f.mjs +7 -0
  12. package/out/com/test/build.f.mjs +98 -0
  13. package/out/com/test/build.mjs +40 -0
  14. package/out/com/types/module.f.mjs +51 -0
  15. package/out/com/types/testlib.f.mjs +30 -0
  16. package/out/commonjs/build/module.f.mjs +107 -0
  17. package/out/commonjs/build/test.f.mjs +102 -0
  18. package/out/commonjs/module/function/module.f.mjs +15 -0
  19. package/out/commonjs/module/module.f.mjs +48 -0
  20. package/out/commonjs/module.f.mjs +10 -0
  21. package/out/commonjs/module.mjs +26 -0
  22. package/out/commonjs/package/dependencies/module.f.mjs +21 -0
  23. package/out/commonjs/package/dependencies/test.f.mjs +15 -0
  24. package/out/commonjs/package/module.f.mjs +40 -0
  25. package/out/commonjs/package/test.f.mjs +27 -0
  26. package/out/commonjs/path/module.f.mjs +171 -0
  27. package/out/commonjs/path/test.f.mjs +231 -0
  28. package/out/commonjs/test.mjs +87 -0
  29. package/out/dev/index.mjs +2 -0
  30. package/out/dev/module.f.mjs +2 -0
  31. package/out/dev/module.mjs +167 -0
  32. package/out/dev/test/module.f.mjs +134 -0
  33. package/out/dev/test.f.mjs +58 -0
  34. package/out/dev/test.mjs +52 -0
  35. package/out/djs/module.f.mjs +75 -0
  36. package/out/djs/parser/module.f.mjs +432 -0
  37. package/out/djs/parser/test.f.mjs +535 -0
  38. package/out/djs/test.f.mjs +84 -0
  39. package/out/djs/tokenizer/module.f.mjs +87 -0
  40. package/out/djs/tokenizer/test.f.mjs +480 -0
  41. package/out/fsc/module.f.mjs +105 -0
  42. package/out/fsc/test.f.mjs +19 -0
  43. package/out/fsm/module.f.mjs +80 -0
  44. package/out/fsm/test.f.mjs +138 -0
  45. package/out/html/module.f.mjs +94 -0
  46. package/out/html/test.f.mjs +45 -0
  47. package/out/issues/test.f.mjs +66 -0
  48. package/out/js/tokenizer/module.f.mjs +686 -0
  49. package/out/js/tokenizer/test.f.mjs +844 -0
  50. package/out/json/module.f.mjs +89 -0
  51. package/out/json/parser/module.f.mjs +224 -0
  52. package/out/json/parser/test.f.mjs +321 -0
  53. package/out/json/serializer/module.f.mjs +67 -0
  54. package/out/json/serializer/test.f.mjs +87 -0
  55. package/out/json/test.f.mjs +61 -0
  56. package/out/json/tokenizer/module.f.mjs +78 -0
  57. package/out/json/tokenizer/test.f.mjs +420 -0
  58. package/out/nanvm-lib/tests/test.f.mjs +87 -0
  59. package/out/nodejs/version/main.mjs +3 -0
  60. package/out/nodejs/version/module.f.mjs +34 -0
  61. package/out/nodejs/version/test.f.mjs +97 -0
  62. package/out/prime_field/module.f.mjs +87 -0
  63. package/out/prime_field/test.f.mjs +145 -0
  64. package/out/secp/module.f.mjs +113 -0
  65. package/out/secp/test.f.mjs +63 -0
  66. package/out/sha2/module.f.mjs +172 -0
  67. package/out/sha2/test.f.mjs +86 -0
  68. package/out/text/ascii/module.f.mjs +154 -0
  69. package/out/text/ascii/test.f.mjs +14 -0
  70. package/out/text/module.f.mjs +19 -0
  71. package/out/text/sgr/module.f.mjs +17 -0
  72. package/out/text/test.f.mjs +19 -0
  73. package/out/text/utf16/module.f.mjs +86 -0
  74. package/out/text/utf16/test.f.mjs +145 -0
  75. package/out/text/utf8/module.f.mjs +126 -0
  76. package/out/text/utf8/test.f.mjs +175 -0
  77. package/out/types/array/module.f.mjs +95 -0
  78. package/out/types/array/test.f.mjs +116 -0
  79. package/out/types/bigfloat/module.f.mjs +77 -0
  80. package/out/types/bigfloat/test.f.mjs +349 -0
  81. package/out/types/bigint/module.f.mjs +114 -0
  82. package/out/types/bigint/test.f.mjs +192 -0
  83. package/out/types/btree/find/module.f.mjs +137 -0
  84. package/out/types/btree/find/test.f.mjs +156 -0
  85. package/out/types/btree/module.f.mjs +34 -0
  86. package/out/types/btree/remove/module.f.mjs +209 -0
  87. package/out/types/btree/remove/test.f.mjs +638 -0
  88. package/out/types/btree/set/module.f.mjs +114 -0
  89. package/out/types/btree/set/test.f.mjs +390 -0
  90. package/out/types/btree/test.f.mjs +83 -0
  91. package/out/types/btree/types/module.f.mjs +50 -0
  92. package/out/types/byte_set/module.f.mjs +42 -0
  93. package/out/types/byte_set/test.f.mjs +123 -0
  94. package/out/types/function/compare/module.f.mjs +22 -0
  95. package/out/types/function/compare/test.f.mjs +8 -0
  96. package/out/types/function/module.f.mjs +44 -0
  97. package/out/types/function/operator/module.f.mjs +60 -0
  98. package/out/types/function/test.f.mjs +15 -0
  99. package/out/types/list/module.f.mjs +269 -0
  100. package/out/types/list/test.f.mjs +401 -0
  101. package/out/types/map/module.f.mjs +54 -0
  102. package/out/types/map/test.f.mjs +115 -0
  103. package/out/types/nibble_set/module.f.mjs +19 -0
  104. package/out/types/nibble_set/test.f.mjs +90 -0
  105. package/out/types/nullable/module.f.mjs +9 -0
  106. package/out/types/nullable/test.f.mjs +12 -0
  107. package/out/types/number/module.f.mjs +12 -0
  108. package/out/types/number/test.f.mjs +126 -0
  109. package/out/types/object/module.f.mjs +27 -0
  110. package/out/types/object/test.f.mjs +17 -0
  111. package/out/types/range/module.f.mjs +6 -0
  112. package/out/types/range/test.f.mjs +18 -0
  113. package/out/types/range_map/module.f.mjs +84 -0
  114. package/out/types/range_map/test.f.mjs +201 -0
  115. package/out/types/result/module.f.mjs +25 -0
  116. package/out/types/result/module.mjs +16 -0
  117. package/out/types/sorted_list/module.f.mjs +102 -0
  118. package/out/types/sorted_list/test.f.mjs +66 -0
  119. package/out/types/sorted_set/module.f.mjs +29 -0
  120. package/out/types/sorted_set/test.f.mjs +80 -0
  121. package/out/types/string/module.f.mjs +17 -0
  122. package/out/types/string/test.f.mjs +58 -0
  123. package/out/types/string_set/module.f.mjs +29 -0
  124. package/out/types/string_set/test.f.mjs +65 -0
  125. package/package.json +5 -4
  126. package/tsconfig.json +2 -2
  127. /package/{com → out/com}/cpp/module.f.d.mts +0 -0
  128. /package/{com → out/com}/cpp/test.f.d.mts +0 -0
  129. /package/{com → out/com}/cpp/testlib.f.d.mts +0 -0
  130. /package/{com → out/com}/cs/module.f.d.mts +0 -0
  131. /package/{com → out/com}/cs/test.f.d.mts +0 -0
  132. /package/{com → out/com}/cs/testlib.f.d.mts +0 -0
  133. /package/{com → out/com}/rust/module.f.d.mts +0 -0
  134. /package/{com → out/com}/rust/test.f.d.mts +0 -0
  135. /package/{com → out/com}/rust/testlib.f.d.mts +0 -0
  136. /package/{com → out/com}/test/build.d.mts +0 -0
  137. /package/{com → out/com}/test/build.f.d.mts +0 -0
  138. /package/{com → out/com}/types/module.f.d.mts +0 -0
  139. /package/{com → out/com}/types/testlib.f.d.mts +0 -0
  140. /package/{commonjs → out/commonjs}/build/module.f.d.mts +0 -0
  141. /package/{commonjs → out/commonjs}/build/test.f.d.mts +0 -0
  142. /package/{commonjs → out/commonjs}/module/function/module.f.d.mts +0 -0
  143. /package/{commonjs → out/commonjs}/module/module.f.d.mts +0 -0
  144. /package/{commonjs → out/commonjs}/module.d.mts +0 -0
  145. /package/{commonjs → out/commonjs}/module.f.d.mts +0 -0
  146. /package/{commonjs → out/commonjs}/package/dependencies/module.f.d.mts +0 -0
  147. /package/{commonjs → out/commonjs}/package/dependencies/test.f.d.mts +0 -0
  148. /package/{commonjs → out/commonjs}/package/module.f.d.mts +0 -0
  149. /package/{commonjs → out/commonjs}/package/test.f.d.mts +0 -0
  150. /package/{commonjs → out/commonjs}/path/module.f.d.mts +0 -0
  151. /package/{commonjs → out/commonjs}/path/test.f.d.mts +0 -0
  152. /package/{commonjs → out/commonjs}/test.d.mts +0 -0
  153. /package/{dev → out/dev}/index.d.mts +0 -0
  154. /package/{dev → out/dev}/module.d.mts +0 -0
  155. /package/{dev → out/dev}/module.f.d.mts +0 -0
  156. /package/{dev → out/dev}/test/module.f.d.mts +0 -0
  157. /package/{dev → out/dev}/test.d.mts +0 -0
  158. /package/{dev → out/dev}/test.f.d.mts +0 -0
  159. /package/{djs → out/djs}/module.f.d.mts +0 -0
  160. /package/{djs → out/djs}/parser/module.f.d.mts +0 -0
  161. /package/{djs → out/djs}/parser/test.f.d.mts +0 -0
  162. /package/{djs → out/djs}/test.f.d.mts +0 -0
  163. /package/{djs → out/djs}/tokenizer/module.f.d.mts +0 -0
  164. /package/{djs → out/djs}/tokenizer/test.f.d.mts +0 -0
  165. /package/{fsc → out/fsc}/module.f.d.mts +0 -0
  166. /package/{fsc → out/fsc}/test.f.d.mts +0 -0
  167. /package/{fsm → out/fsm}/module.f.d.mts +0 -0
  168. /package/{fsm → out/fsm}/test.f.d.mts +0 -0
  169. /package/{html → out/html}/module.f.d.mts +0 -0
  170. /package/{html → out/html}/test.f.d.mts +0 -0
  171. /package/{issues → out/issues}/test.f.d.mts +0 -0
  172. /package/{js → out/js}/tokenizer/module.f.d.mts +0 -0
  173. /package/{js → out/js}/tokenizer/test.f.d.mts +0 -0
  174. /package/{json → out/json}/module.f.d.mts +0 -0
  175. /package/{json → out/json}/parser/module.f.d.mts +0 -0
  176. /package/{json → out/json}/parser/test.f.d.mts +0 -0
  177. /package/{json → out/json}/serializer/module.f.d.mts +0 -0
  178. /package/{json → out/json}/serializer/test.f.d.mts +0 -0
  179. /package/{json → out/json}/test.f.d.mts +0 -0
  180. /package/{json → out/json}/tokenizer/module.f.d.mts +0 -0
  181. /package/{json → out/json}/tokenizer/test.f.d.mts +0 -0
  182. /package/{nanvm-lib → out/nanvm-lib}/tests/test.f.d.mts +0 -0
  183. /package/{nodejs → out/nodejs}/version/main.d.mts +0 -0
  184. /package/{nodejs → out/nodejs}/version/module.f.d.mts +0 -0
  185. /package/{nodejs → out/nodejs}/version/test.f.d.mts +0 -0
  186. /package/{prime_field → out/prime_field}/module.f.d.mts +0 -0
  187. /package/{prime_field → out/prime_field}/test.f.d.mts +0 -0
  188. /package/{secp → out/secp}/module.f.d.mts +0 -0
  189. /package/{secp → out/secp}/test.f.d.mts +0 -0
  190. /package/{sha2 → out/sha2}/module.f.d.mts +0 -0
  191. /package/{sha2 → out/sha2}/test.f.d.mts +0 -0
  192. /package/{text → out/text}/ascii/module.f.d.mts +0 -0
  193. /package/{text → out/text}/ascii/test.f.d.mts +0 -0
  194. /package/{text → out/text}/module.f.d.mts +0 -0
  195. /package/{text → out/text}/sgr/module.f.d.mts +0 -0
  196. /package/{text → out/text}/test.f.d.mts +0 -0
  197. /package/{text → out/text}/utf16/module.f.d.mts +0 -0
  198. /package/{text → out/text}/utf16/test.f.d.mts +0 -0
  199. /package/{text → out/text}/utf8/module.f.d.mts +0 -0
  200. /package/{text → out/text}/utf8/test.f.d.mts +0 -0
  201. /package/{types → out/types}/array/module.f.d.mts +0 -0
  202. /package/{types → out/types}/array/test.f.d.mts +0 -0
  203. /package/{types → out/types}/bigfloat/module.f.d.mts +0 -0
  204. /package/{types → out/types}/bigfloat/test.f.d.mts +0 -0
  205. /package/{types → out/types}/bigint/module.f.d.mts +0 -0
  206. /package/{types → out/types}/bigint/test.f.d.mts +0 -0
  207. /package/{types → out/types}/btree/find/module.f.d.mts +0 -0
  208. /package/{types → out/types}/btree/find/test.f.d.mts +0 -0
  209. /package/{types → out/types}/btree/module.f.d.mts +0 -0
  210. /package/{types → out/types}/btree/remove/module.f.d.mts +0 -0
  211. /package/{types → out/types}/btree/remove/test.f.d.mts +0 -0
  212. /package/{types → out/types}/btree/set/module.f.d.mts +0 -0
  213. /package/{types → out/types}/btree/set/test.f.d.mts +0 -0
  214. /package/{types → out/types}/btree/test.f.d.mts +0 -0
  215. /package/{types → out/types}/btree/types/module.f.d.mts +0 -0
  216. /package/{types → out/types}/byte_set/module.f.d.mts +0 -0
  217. /package/{types → out/types}/byte_set/test.f.d.mts +0 -0
  218. /package/{types → out/types}/function/compare/module.f.d.mts +0 -0
  219. /package/{types → out/types}/function/compare/test.f.d.mts +0 -0
  220. /package/{types → out/types}/function/module.f.d.mts +0 -0
  221. /package/{types → out/types}/function/operator/module.f.d.mts +0 -0
  222. /package/{types → out/types}/function/test.f.d.mts +0 -0
  223. /package/{types → out/types}/list/module.f.d.mts +0 -0
  224. /package/{types → out/types}/list/test.f.d.mts +0 -0
  225. /package/{types → out/types}/map/module.f.d.mts +0 -0
  226. /package/{types → out/types}/map/test.f.d.mts +0 -0
  227. /package/{types → out/types}/nibble_set/module.f.d.mts +0 -0
  228. /package/{types → out/types}/nibble_set/test.f.d.mts +0 -0
  229. /package/{types → out/types}/nullable/module.f.d.mts +0 -0
  230. /package/{types → out/types}/nullable/test.f.d.mts +0 -0
  231. /package/{types → out/types}/number/module.f.d.mts +0 -0
  232. /package/{types → out/types}/number/test.f.d.mts +0 -0
  233. /package/{types → out/types}/object/module.f.d.mts +0 -0
  234. /package/{types → out/types}/object/test.f.d.mts +0 -0
  235. /package/{types → out/types}/range/module.f.d.mts +0 -0
  236. /package/{types → out/types}/range/test.f.d.mts +0 -0
  237. /package/{types → out/types}/range_map/module.f.d.mts +0 -0
  238. /package/{types → out/types}/range_map/test.f.d.mts +0 -0
  239. /package/{types → out/types}/result/module.d.mts +0 -0
  240. /package/{types → out/types}/result/module.f.d.mts +0 -0
  241. /package/{types → out/types}/sorted_list/module.f.d.mts +0 -0
  242. /package/{types → out/types}/sorted_list/test.f.d.mts +0 -0
  243. /package/{types → out/types}/sorted_set/module.f.d.mts +0 -0
  244. /package/{types → out/types}/sorted_set/test.f.d.mts +0 -0
  245. /package/{types → out/types}/string/module.f.d.mts +0 -0
  246. /package/{types → out/types}/string/test.f.d.mts +0 -0
  247. /package/{types → out/types}/string_set/module.f.d.mts +0 -0
  248. /package/{types → out/types}/string_set/test.f.d.mts +0 -0
@@ -0,0 +1,52 @@
1
+ import { loadModuleMap, exit, env } from './module.mjs';
2
+ import test from './test/module.f.mjs';
3
+ /** @type {(f: (s: string) => void) => (s: string) => <T>(_: T) => T} */
4
+ const anyLog = f => s => state => {
5
+ f(s);
6
+ return state;
7
+ };
8
+ /**
9
+ * @template T
10
+ * @typedef {readonly['ok', T]} Ok
11
+ */
12
+ /**
13
+ * @template E
14
+ * @typedef {readonly['error', E]} Error
15
+ */
16
+ /**
17
+ * @template T
18
+ * @template E
19
+ * @typedef {Ok<T>|Error<E>} Result
20
+ */
21
+ /** @type {<T>(f: () => T) => Result<T, unknown>} */
22
+ const tryCatch = f => {
23
+ // `try catch` is not allowed in FunctionalScript.
24
+ try {
25
+ return ['ok', f()];
26
+ }
27
+ catch (e) {
28
+ return ['error', e];
29
+ }
30
+ };
31
+ /** @type {<R>(f: () => R) => <T>(state: T) => readonly[R, number, T]} Measure} */
32
+ const measure = f => state => {
33
+ const b = performance.now();
34
+ const r = f();
35
+ const e = performance.now();
36
+ return [r, e - b, state];
37
+ };
38
+ // test runner.
39
+ const main = async () => {
40
+ const moduleMap = await loadModuleMap();
41
+ const r = test({
42
+ moduleMap,
43
+ log: anyLog(console.log),
44
+ error: anyLog(console.error),
45
+ measure,
46
+ tryCatch,
47
+ env,
48
+ state: void 0,
49
+ });
50
+ exit(r[0]);
51
+ };
52
+ main();
@@ -0,0 +1,75 @@
1
+ // @ts-self-types="./module.f.d.mts"
2
+ import * as list from '../types/list/module.f.mjs';
3
+ const { flat, map } = list;
4
+ import * as string from '../types/string/module.f.mjs';
5
+ const { concat } = string;
6
+ import * as O from '../types/object/module.f.mjs';
7
+ import * as f from '../types/function/module.f.mjs';
8
+ const { compose, fn } = f;
9
+ const { entries } = Object;
10
+ import * as bi from '../types/bigint/module.f.mjs';
11
+ const { serialize: bigintSerialize } = bi;
12
+ import * as j from '../json/serializer/module.f.mjs';
13
+ const { objectWrap, arrayWrap, stringSerialize, numberSerialize, nullSerialize, boolSerialize } = j;
14
+ /**
15
+ * @typedef {{
16
+ * readonly [k in string]: Unknown
17
+ * }} Object
18
+ */
19
+ /** @typedef {readonly Unknown[]} Array */
20
+ /** @typedef {Object|boolean|string|number|null|Array|bigint} Unknown */
21
+ const colon = [':'];
22
+ /** @typedef {O.Entry<Unknown>} Entry*/
23
+ /** @typedef {(list.List<Entry>)} Entries */
24
+ /** @typedef {(entries: Entries) => Entries} MapEntries */
25
+ /** @type {(mapEntries: MapEntries) => (value: Unknown) => list.List<string>} */
26
+ export const serialize = sort => {
27
+ /** @type {(kv: readonly[string, Unknown]) => list.List<string>} */
28
+ const propertySerialize = ([k, v]) => flat([
29
+ stringSerialize(k),
30
+ colon,
31
+ f(v)
32
+ ]);
33
+ const mapPropertySerialize = map(propertySerialize);
34
+ /** @type {(object: Object) => list.List<string>} */
35
+ const objectSerialize = fn(entries)
36
+ .then(sort)
37
+ .then(mapPropertySerialize)
38
+ .then(objectWrap)
39
+ .result;
40
+ /** @type {(value: Unknown) => list.List<string>} */
41
+ const f = value => {
42
+ switch (typeof value) {
43
+ case 'boolean': {
44
+ return boolSerialize(value);
45
+ }
46
+ case 'number': {
47
+ return numberSerialize(value);
48
+ }
49
+ case 'string': {
50
+ return stringSerialize(value);
51
+ }
52
+ case 'bigint': {
53
+ return [bigintSerialize(value)];
54
+ }
55
+ default: {
56
+ if (value === null) {
57
+ return nullSerialize;
58
+ }
59
+ if (value instanceof Array) {
60
+ return arraySerialize(value);
61
+ }
62
+ return objectSerialize(value);
63
+ }
64
+ }
65
+ };
66
+ const arraySerialize = compose(map(f))(arrayWrap);
67
+ return f;
68
+ };
69
+ /**
70
+ * The standard `JSON.stringify` rules determined by
71
+ * https://262.ecma-international.org/6.0/#sec-ordinary-object-internal-methods-and-internal-slots-ownpropertykeys
72
+ *
73
+ * @type {(mapEntries: MapEntries) => (value: Unknown) => string}
74
+ */
75
+ export const stringify = sort => compose(serialize(sort))(concat);
@@ -0,0 +1,432 @@
1
+ // @ts-self-types="./module.f.d.mts"
2
+ import * as result from '../../types/result/module.f.mjs';
3
+ import * as list from '../../types/list/module.f.mjs';
4
+ const { fold, first, drop, toArray, map: listMap, length } = list;
5
+ import * as Operator from '../../types/function/operator/module.f.mjs';
6
+ import * as tokenizerT from '../tokenizer/module.f.mjs';
7
+ import * as map from '../../types/map/module.f.mjs';
8
+ const { setReplace, at } = map;
9
+ import * as o from '../../types/object/module.f.mjs';
10
+ const { fromMap } = o;
11
+ /** @typedef {[readonly string[], readonly DjsConst[]] } DjsModule */
12
+ /** @typedef {boolean|string|number|null|bigint|DjsModuleRef|DjsArray|DjsObject} DjsConst */
13
+ /** @typedef {['aref' | 'cref', number]} DjsModuleRef */
14
+ /** @typedef {['array', readonly DjsConst[]]} DjsArray */
15
+ /**
16
+ * @typedef {{
17
+ * readonly [k in string]: DjsConst
18
+ * }} DjsObject
19
+ */
20
+ /** @typedef {['array', list.List<DjsConst>]} DjsStackArray */
21
+ /** @typedef {['object', map.Map<DjsConst>, string]} DjsStackObject */
22
+ /**
23
+ * @typedef {|
24
+ * DjsStackArray |
25
+ * DjsStackObject
26
+ * } DjsStackElement
27
+ */
28
+ /** @typedef {list.List<DjsStackElement>} DjsStack */
29
+ /** @typedef {InitialState | NewLineRequiredState | ImportState | ConstState | ExportState | ParseValueState | ResultState | ErrorState} ParserState */
30
+ /**
31
+ * @typedef {{
32
+ * readonly refs: map.Map<DjsModuleRef>
33
+ * readonly modules: list.List<string>
34
+ * readonly consts: list.List<DjsConst>
35
+ * }} ModuleState
36
+ */
37
+ /**
38
+ * @typedef {{
39
+ * readonly state: ''
40
+ * readonly module: ModuleState
41
+ * }} InitialState
42
+ */
43
+ /**
44
+ * @typedef {{
45
+ * readonly state: 'nl'
46
+ * readonly module: ModuleState
47
+ * }} NewLineRequiredState
48
+ */
49
+ /**
50
+ * @typedef {{
51
+ * readonly state: 'import' | 'import+name' | 'import+from'
52
+ * readonly module: ModuleState
53
+ * }} ImportState
54
+ */
55
+ /**
56
+ * @typedef {{
57
+ * readonly state: 'const' | 'const+name'
58
+ * readonly module: ModuleState
59
+ * }} ConstState
60
+ */
61
+ /**
62
+ * @typedef {{
63
+ * readonly state: 'export'
64
+ * readonly module: ModuleState
65
+ * }} ExportState
66
+ */
67
+ /**
68
+ * @typedef {{
69
+ * readonly state: 'constValue' | 'exportValue'
70
+ * readonly module: ModuleState
71
+ * readonly valueState: '' | '[' | '[v' | '[,' | '{' | '{k' | '{:' | '{v' | '{,'
72
+ * readonly top: DjsStackElement | null
73
+ * readonly stack: DjsStack
74
+ * }} ParseValueState
75
+ */
76
+ /**
77
+ * @typedef {{
78
+ * readonly state: 'result'
79
+ * readonly module: ModuleState
80
+ * }} ResultState
81
+ */
82
+ /**
83
+ * @typedef {{
84
+ * readonly state: 'error'
85
+ * readonly message: string
86
+ * }} ErrorState
87
+ */
88
+ /** @type {(token: tokenizerT.DjsToken) => (state: InitialState) => ParserState}} */
89
+ const parseInitialOp = token => state => {
90
+ switch (token.kind) {
91
+ case 'ws':
92
+ case 'nl': return state;
93
+ case 'id': {
94
+ switch (token.value) {
95
+ case 'import': return { ...state, state: 'import' };
96
+ case 'const': return { ...state, state: 'const' };
97
+ case 'export': return { ...state, state: 'export' };
98
+ }
99
+ }
100
+ }
101
+ return { state: 'error', message: 'unexpected token' };
102
+ };
103
+ /** @type {(token: tokenizerT.DjsToken) => (state: NewLineRequiredState) => ParserState}} */
104
+ const parseNewLineRequiredOp = token => state => {
105
+ switch (token.kind) {
106
+ case 'ws': return state;
107
+ case 'nl': return { ...state, state: '' };
108
+ default: return { state: 'error', message: 'unexpected token' };
109
+ }
110
+ };
111
+ /** @type {(token: tokenizerT.DjsToken) => (state: ExportState) => ParserState}} */
112
+ const parseExportOp = token => state => {
113
+ switch (token.kind) {
114
+ case 'ws':
115
+ case 'nl': return state;
116
+ case 'id': {
117
+ if (token.value === 'default')
118
+ return { ...state, state: 'exportValue', valueState: '', top: null, stack: null };
119
+ }
120
+ }
121
+ return { state: 'error', message: 'unexpected token' };
122
+ };
123
+ /** @type {(token: tokenizerT.DjsToken) => (state: ConstState) => ParserState}} */
124
+ const parseConstOp = token => state => {
125
+ switch (token.kind) {
126
+ case 'ws':
127
+ case 'nl': return state;
128
+ case 'id': {
129
+ if (map.at(token.value)(state.module.refs) !== null)
130
+ return { state: 'error', message: 'duplicate id' };
131
+ /** @type {DjsModuleRef} */
132
+ let cref = ['cref', length(state.module.consts)];
133
+ let refs = map.setReplace(token.value)(cref)(state.module.refs);
134
+ return { ...state, state: 'const+name', module: { ...state.module, refs: refs } };
135
+ }
136
+ default: return { state: 'error', message: 'unexpected token' };
137
+ }
138
+ };
139
+ /** @type {(token: tokenizerT.DjsToken) => (state: ConstState) => ParserState}} */
140
+ const parseConstNameOp = token => state => {
141
+ switch (token.kind) {
142
+ case 'ws':
143
+ case 'nl': return state;
144
+ case '=': return { ...state, state: 'constValue', valueState: '', top: null, stack: null };
145
+ default: return { state: 'error', message: 'unexpected token' };
146
+ }
147
+ };
148
+ /** @type {(token: tokenizerT.DjsToken) => (state: ImportState) => ParserState}} */
149
+ const parseImportOp = token => state => {
150
+ switch (token.kind) {
151
+ case 'ws':
152
+ case 'nl': return state;
153
+ case 'id': {
154
+ if (map.at(token.value)(state.module.refs) !== null)
155
+ return { state: 'error', message: 'duplicate id' };
156
+ /** @type {DjsModuleRef} */
157
+ let aref = ['aref', length(state.module.modules)];
158
+ let refs = map.setReplace(token.value)(aref)(state.module.refs);
159
+ return { ...state, state: 'import+name', module: { ...state.module, refs: refs } };
160
+ }
161
+ default: return { state: 'error', message: 'unexpected token' };
162
+ }
163
+ };
164
+ /** @type {(token: tokenizerT.DjsToken) => (state: ImportState) => ParserState}} */
165
+ const parseImportNameOp = token => state => {
166
+ switch (token.kind) {
167
+ case 'ws':
168
+ case 'nl': return state;
169
+ case 'id': {
170
+ if (token.value === 'from')
171
+ return { ...state, state: 'import+from' };
172
+ }
173
+ }
174
+ return { state: 'error', message: 'unexpected token' };
175
+ };
176
+ /** @type {(token: tokenizerT.DjsToken) => (state: ImportState) => ParserState}} */
177
+ const parseImportFromOp = token => state => {
178
+ switch (token.kind) {
179
+ case 'ws':
180
+ case 'nl': return state;
181
+ case 'string': {
182
+ const modules = list.concat(state.module.modules)([token.value]);
183
+ return { ...state, state: 'nl', module: { ...state.module, modules: modules } };
184
+ }
185
+ default: return { state: 'error', message: 'unexpected token' };
186
+ }
187
+ };
188
+ /** @type {(obj: DjsStackObject) => (key: string) => DjsStackObject} */
189
+ const addKeyToObject = obj => key => (['object', obj[1], key]);
190
+ /** @type {(obj: DjsStackObject) => (value: DjsConst) => DjsStackObject} */
191
+ const addValueToObject = obj => value => (['object', setReplace(obj[2])(value)(obj[1]), '']);
192
+ /** @type {(array: DjsStackArray) => (value: DjsConst) => DjsStackArray} */
193
+ const addToArray = array => value => (['array', list.concat(array[1])([value])]);
194
+ /** @type {(state: ParseValueState) => (key: string) => ParserState} */
195
+ const pushKey = state => key => {
196
+ if (state.top?.[0] === 'object') {
197
+ return { ...state, valueState: '{k', top: addKeyToObject(state.top)(key), stack: state.stack };
198
+ }
199
+ return { state: 'error', message: 'error' };
200
+ };
201
+ /** @type {(state: ParseValueState) => (value: DjsConst) => ParserState} */
202
+ const pushValue = state => value => {
203
+ if (state.top === null) {
204
+ let consts = list.concat(state.module.consts)([value]);
205
+ switch (state.state) {
206
+ case 'exportValue': return { ...state, state: 'result', module: { ...state.module, consts: consts } };
207
+ case 'constValue': return { ...state, state: 'nl', module: { ...state.module, consts: consts } };
208
+ }
209
+ }
210
+ if (state.top?.[0] === 'array') {
211
+ return { ...state, valueState: '[v', top: addToArray(state.top)(value), stack: state.stack };
212
+ }
213
+ return { ...state, valueState: '{v', top: addValueToObject(state.top)(value), stack: state.stack };
214
+ };
215
+ /** @type {(state: ParseValueState) => (name: string) => ParserState} */
216
+ const pushRef = state => name => {
217
+ const ref = at(name)(state.module.refs);
218
+ if (ref === null)
219
+ return { state: 'error', message: 'const not found' };
220
+ return pushValue(state)(ref);
221
+ };
222
+ /** @type {(state: ParseValueState) => ParserState} */
223
+ const startArray = state => {
224
+ const newStack = state.top === null ? null : { first: state.top, tail: state.stack };
225
+ return { ...state, valueState: '[', top: ['array', null], stack: newStack };
226
+ };
227
+ /** @type {(state: ParseValueState) => ParserState} */
228
+ const endArray = state => {
229
+ const top = state.top;
230
+ /** @type {ParseValueState} */
231
+ const newState = { ...state, valueState: '', top: first(null)(state.stack), stack: drop(1)(state.stack) };
232
+ if (top !== null && top[0] === 'array') {
233
+ /** @type {DjsArray} */
234
+ const array = ['array', toArray(top[1])];
235
+ return pushValue(newState)(array);
236
+ }
237
+ return pushValue(newState)(null);
238
+ };
239
+ /** @type {(state: ParseValueState) => ParserState} */
240
+ const startObject = state => {
241
+ const newStack = state.top === null ? null : { first: state.top, tail: state.stack };
242
+ return { ...state, valueState: '{', top: ['object', null, ''], stack: newStack };
243
+ };
244
+ /** @type {(state: ParseValueState) => ParserState} */
245
+ const endObject = state => {
246
+ const obj = state?.top !== null && state?.top[0] === 'object' ? fromMap(state.top[1]) : null;
247
+ /** @type {ParseValueState} */
248
+ const newState = { ...state, valueState: '', top: first(null)(state.stack), stack: drop(1)(state.stack) };
249
+ return pushValue(newState)(obj);
250
+ };
251
+ /** @type {(token: tokenizerT.DjsToken) => DjsConst} */
252
+ const tokenToValue = token => {
253
+ switch (token.kind) {
254
+ case 'null': return null;
255
+ case 'false': return false;
256
+ case 'true': return true;
257
+ case 'number': return parseFloat(token.value);
258
+ case 'string': return token.value;
259
+ case 'bigint': return token.value;
260
+ default: return null;
261
+ }
262
+ };
263
+ /** @type {(token: tokenizerT.DjsToken) => boolean} */
264
+ const isValueToken = token => {
265
+ switch (token.kind) {
266
+ case 'null':
267
+ case 'false':
268
+ case 'true':
269
+ case 'number':
270
+ case 'string':
271
+ case 'bigint': return true;
272
+ default: return false;
273
+ }
274
+ };
275
+ /** @type {(token: tokenizerT.DjsToken) => (state: ParseValueState) => ParserState}} */
276
+ const parseValueOp = token => state => {
277
+ if (isValueToken(token)) {
278
+ return pushValue(state)(tokenToValue(token));
279
+ }
280
+ if (token.kind === 'id') {
281
+ return pushRef(state)(token.value);
282
+ }
283
+ if (token.kind === '[') {
284
+ return startArray(state);
285
+ }
286
+ if (token.kind === '{') {
287
+ return startObject(state);
288
+ }
289
+ if (token.kind === 'ws') {
290
+ return state;
291
+ }
292
+ return { state: 'error', message: 'unexpected token' };
293
+ };
294
+ /** @type {(token: tokenizerT.DjsToken) => (state: ParseValueState) => ParserState}} */
295
+ const parseArrayStartOp = token => state => {
296
+ if (isValueToken(token)) {
297
+ return pushValue(state)(tokenToValue(token));
298
+ }
299
+ if (token.kind === 'id') {
300
+ return pushRef(state)(token.value);
301
+ }
302
+ if (token.kind === '[') {
303
+ return startArray(state);
304
+ }
305
+ if (token.kind === ']') {
306
+ return endArray(state);
307
+ }
308
+ if (token.kind === '{') {
309
+ return startObject(state);
310
+ }
311
+ if (token.kind === 'ws') {
312
+ return state;
313
+ }
314
+ return { state: 'error', message: 'unexpected token' };
315
+ };
316
+ /** @type {(token: tokenizerT.DjsToken) => (state: ParseValueState) => ParserState}} */
317
+ const parseArrayValueOp = token => state => {
318
+ if (token.kind === ']') {
319
+ return endArray(state);
320
+ }
321
+ if (token.kind === ',') {
322
+ return { ...state, valueState: '[,', top: state.top, stack: state.stack };
323
+ }
324
+ if (token.kind === 'ws') {
325
+ return state;
326
+ }
327
+ return { state: 'error', message: 'unexpected token' };
328
+ };
329
+ /** @type {(token: tokenizerT.DjsToken) => (state: ParseValueState) => ParserState}} */
330
+ const parseObjectStartOp = token => state => {
331
+ if (token.kind === 'string') {
332
+ return pushKey(state)(token.value);
333
+ }
334
+ if (token.kind === '}') {
335
+ return endObject(state);
336
+ }
337
+ if (token.kind === 'ws') {
338
+ return state;
339
+ }
340
+ return { state: 'error', message: 'unexpected token' };
341
+ };
342
+ /** @type {(token: tokenizerT.DjsToken) => (state: ParseValueState) => ParserState}} */
343
+ const parseObjectKeyOp = token => state => {
344
+ if (token.kind === ':') {
345
+ return { ...state, valueState: '{:', top: state.top, stack: state.stack };
346
+ }
347
+ if (token.kind === 'ws') {
348
+ return state;
349
+ }
350
+ return { state: 'error', message: 'unexpected token' };
351
+ };
352
+ /** @type {(token: tokenizerT.DjsToken) => (state: ParseValueState) => ParserState}} */
353
+ const parseObjectColonOp = token => state => {
354
+ if (isValueToken(token)) {
355
+ return pushValue(state)(tokenToValue(token));
356
+ }
357
+ if (token.kind === 'id') {
358
+ return pushRef(state)(token.value);
359
+ }
360
+ if (token.kind === '[') {
361
+ return startArray(state);
362
+ }
363
+ if (token.kind === '{') {
364
+ return startObject(state);
365
+ }
366
+ if (token.kind === 'ws') {
367
+ return state;
368
+ }
369
+ return { state: 'error', message: 'unexpected token' };
370
+ };
371
+ /** @type {(token: tokenizerT.DjsToken) => (state: ParseValueState) => ParserState}} */
372
+ const parseObjectNextOp = token => state => {
373
+ if (token.kind === '}') {
374
+ return endObject(state);
375
+ }
376
+ if (token.kind === ',') {
377
+ return { ...state, valueState: '{,', top: state.top, stack: state.stack };
378
+ }
379
+ if (token.kind === 'ws') {
380
+ return state;
381
+ }
382
+ return { state: 'error', message: 'unexpected token' };
383
+ };
384
+ /** @type {(token: tokenizerT.DjsToken) => (state: ParseValueState) => ParserState}} */
385
+ const parseObjectCommaOp = token => state => {
386
+ if (token.kind === 'string') {
387
+ return pushKey(state)(token.value);
388
+ }
389
+ if (token.kind === 'ws') {
390
+ return state;
391
+ }
392
+ return { state: 'error', message: 'unexpected token' };
393
+ };
394
+ /** @type {Operator.Fold<tokenizerT.DjsToken, ParserState>} */
395
+ const foldOp = token => state => {
396
+ switch (state.state) {
397
+ case '': return parseInitialOp(token)(state);
398
+ case 'nl': return parseNewLineRequiredOp(token)(state);
399
+ case 'import': return parseImportOp(token)(state);
400
+ case 'import+name': return parseImportNameOp(token)(state);
401
+ case 'import+from': return parseImportFromOp(token)(state);
402
+ case 'const': return parseConstOp(token)(state);
403
+ case 'const+name': return parseConstNameOp(token)(state);
404
+ case 'export': return parseExportOp(token)(state);
405
+ case 'result': return { state: 'error', message: 'unexpected token' };
406
+ case 'error': return { state: 'error', message: state.message };
407
+ case 'constValue':
408
+ case 'exportValue':
409
+ {
410
+ switch (state.valueState) {
411
+ case '': return parseValueOp(token)(state);
412
+ case '[': return parseArrayStartOp(token)(state);
413
+ case '[v': return parseArrayValueOp(token)(state);
414
+ case '[,': return parseValueOp(token)(state);
415
+ case '{': return parseObjectStartOp(token)(state);
416
+ case '{k': return parseObjectKeyOp(token)(state);
417
+ case '{:': return parseObjectColonOp(token)(state);
418
+ case '{v': return parseObjectNextOp(token)(state);
419
+ case '{,': return parseObjectCommaOp(token)(state);
420
+ }
421
+ }
422
+ }
423
+ };
424
+ /** @type {(tokenList: list.List<tokenizerT.DjsToken>) => result.Result<DjsModule, string>} */
425
+ export const parse = tokenList => {
426
+ const state = fold(foldOp)({ state: '', module: { refs: null, modules: null, consts: null } })(tokenList);
427
+ switch (state.state) {
428
+ case 'result': return result.ok([toArray(state.module.modules), toArray(state.module.consts)]);
429
+ case 'error': return result.error(state.message);
430
+ default: return result.error('unexpected end');
431
+ }
432
+ };