functionalscript 0.19.0 → 0.20.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 (219) hide show
  1. package/fs/asn.1/{test.f.d.ts → proof.f.d.ts} +1 -2
  2. package/fs/asn.1/{test.f.js → proof.f.js} +1 -1
  3. package/fs/base128/proof.f.d.ts +1 -0
  4. package/fs/base128/{test.f.js → proof.f.js} +1 -1
  5. package/fs/bnf/data/{test.f.d.ts → proof.f.d.ts} +1 -2
  6. package/fs/bnf/data/{test.f.js → proof.f.js} +1 -1
  7. package/fs/bnf/proof.f.d.ts +3 -0
  8. package/fs/bnf/{test.f.js → proof.f.js} +1 -1
  9. package/fs/cas/module.f.js +2 -12
  10. package/fs/cas/proof.f.d.ts +1 -0
  11. package/fs/cas/proof.f.js +1 -0
  12. package/fs/cbase32/{test.f.d.ts → proof.f.d.ts} +1 -2
  13. package/fs/cbase32/{test.f.js → proof.f.js} +1 -1
  14. package/fs/ci/node/module.f.js +12 -7
  15. package/fs/ci/{test.f.d.ts → proof.f.d.ts} +1 -2
  16. package/fs/ci/{test.f.js → proof.f.js} +1 -1
  17. package/fs/crypto/hmac/{test.f.d.ts → proof.f.d.ts} +1 -2
  18. package/fs/crypto/hmac/{test.f.js → proof.f.js} +1 -1
  19. package/fs/crypto/secp/{test.f.d.ts → proof.f.d.ts} +1 -2
  20. package/fs/crypto/secp/{test.f.js → proof.f.js} +1 -1
  21. package/fs/crypto/sha2/{test.f.d.ts → proof.f.d.ts} +1 -2
  22. package/fs/crypto/sha2/{test.f.js → proof.f.js} +1 -1
  23. package/fs/crypto/sign/{test.f.d.ts → proof.f.d.ts} +1 -2
  24. package/fs/crypto/sign/{test.f.js → proof.f.js} +1 -1
  25. package/fs/dev/module.f.d.ts +28 -2
  26. package/fs/dev/module.f.js +38 -22
  27. package/fs/dev/{test.f.d.ts → proof.f.d.ts} +5 -2
  28. package/fs/dev/{test.f.js → proof.f.js} +25 -2
  29. package/fs/dev/tf/module.f.d.ts +63 -5
  30. package/fs/dev/tf/module.f.js +77 -20
  31. package/fs/dev/tf/{test.f.d.ts → proof.f.d.ts} +26 -0
  32. package/fs/dev/tf/{test.f.js → proof.f.js} +76 -34
  33. package/fs/dev/tf/scenarios/async-subtests.fail.d.ts +4 -0
  34. package/fs/dev/tf/scenarios/async-subtests.fail.js +7 -0
  35. package/fs/dev/tf/scenarios/async-subtests.pass.d.ts +4 -0
  36. package/fs/dev/tf/scenarios/async-subtests.pass.js +7 -0
  37. package/fs/dev/tf/scenarios/async.fail.d.ts +1 -0
  38. package/fs/dev/tf/scenarios/async.fail.js +4 -0
  39. package/fs/dev/tf/scenarios/async.pass.d.ts +1 -0
  40. package/fs/dev/tf/scenarios/async.pass.js +3 -0
  41. package/fs/dev/tf/scenarios/thenable.pass.d.ts +3 -0
  42. package/fs/dev/tf/scenarios/thenable.pass.js +9 -0
  43. package/fs/dev/tf/scenarios/thenable2.pass.f.d.ts +3 -0
  44. package/fs/dev/tf/scenarios/thenable2.pass.f.js +3 -0
  45. package/fs/dev/version/proof.f.d.ts +3 -0
  46. package/fs/dev/version/{test.f.js → proof.f.js} +1 -1
  47. package/fs/djs/ast/{test.f.d.ts → proof.f.d.ts} +1 -2
  48. package/fs/djs/ast/{test.f.js → proof.f.js} +1 -1
  49. package/fs/djs/parser/{test.f.d.ts → proof.f.d.ts} +1 -2
  50. package/fs/djs/parser/{test.f.js → proof.f.js} +1 -1
  51. package/fs/djs/{test.f.d.ts → proof.f.d.ts} +1 -2
  52. package/fs/djs/{test.f.js → proof.f.js} +1 -1
  53. package/fs/djs/serializer/module.f.d.ts +2 -2
  54. package/fs/djs/serializer/module.f.js +47 -79
  55. package/fs/djs/serializer/{test.f.d.ts → proof.f.d.ts} +1 -2
  56. package/fs/djs/serializer/{test.f.js → proof.f.js} +8 -8
  57. package/fs/djs/tokenizer/{test.f.d.ts → proof.f.d.ts} +1 -2
  58. package/fs/djs/tokenizer/{test.f.js → proof.f.js} +1 -1
  59. package/fs/djs/tokenizer-new/{test.f.d.ts → proof.f.d.ts} +1 -2
  60. package/fs/djs/tokenizer-new/{test.f.js → proof.f.js} +1 -1
  61. package/fs/djs/transpiler/module.f.d.ts +15 -0
  62. package/fs/djs/transpiler/module.f.js +10 -2
  63. package/fs/djs/transpiler/{test.f.d.ts → proof.f.d.ts} +1 -2
  64. package/fs/djs/transpiler/{test.f.js → proof.f.js} +1 -1
  65. package/fs/fsc/{test.f.d.ts → proof.f.d.ts} +1 -2
  66. package/fs/fsc/{test.f.js → proof.f.js} +1 -1
  67. package/fs/fsm/proof.f.d.ts +4 -0
  68. package/fs/fsm/{test.f.js → proof.f.js} +1 -1
  69. package/fs/html/{test.f.d.ts → proof.f.d.ts} +1 -2
  70. package/fs/html/{test.f.js → proof.f.js} +1 -1
  71. package/fs/io/module.d.ts +1 -1
  72. package/fs/io/module.f.d.ts +3 -2
  73. package/fs/io/module.f.js +4 -3
  74. package/fs/io/module.js +19 -11
  75. package/fs/js/tokenizer/{test.f.d.ts → proof.f.d.ts} +1 -2
  76. package/fs/js/tokenizer/{test.f.js → proof.f.js} +1 -1
  77. package/fs/json/parser/{test.f.d.ts → proof.f.d.ts} +1 -2
  78. package/fs/json/parser/{test.f.js → proof.f.js} +1 -1
  79. package/fs/json/{test.f.d.ts → proof.f.d.ts} +1 -2
  80. package/fs/json/{test.f.js → proof.f.js} +1 -1
  81. package/fs/json/serializer/{test.f.d.ts → proof.f.d.ts} +1 -2
  82. package/fs/json/serializer/{test.f.js → proof.f.js} +1 -1
  83. package/fs/json/tokenizer/{test.f.d.ts → proof.f.d.ts} +1 -2
  84. package/fs/json/tokenizer/{test.f.js → proof.f.js} +1 -1
  85. package/fs/path/proof.f.d.ts +5 -0
  86. package/fs/path/{test.f.js → proof.f.js} +4 -3
  87. package/fs/sul/id/{test.f.d.ts → proof.f.d.ts} +1 -2
  88. package/fs/sul/id/{test.f.js → proof.f.js} +1 -1
  89. package/fs/sul/level/hash/{test.f.d.ts → proof.f.d.ts} +1 -2
  90. package/fs/sul/level/hash/{test.f.js → proof.f.js} +1 -1
  91. package/fs/sul/level/literal/{test.f.d.ts → proof.f.d.ts} +1 -2
  92. package/fs/sul/level/literal/{test.f.js → proof.f.js} +1 -1
  93. package/fs/sul/{test.f.d.ts → proof.f.d.ts} +1 -2
  94. package/fs/sul/{test.f.js → proof.f.js} +1 -1
  95. package/fs/text/ascii/proof.f.d.ts +3 -0
  96. package/fs/text/ascii/{test.f.js → proof.f.js} +1 -1
  97. package/fs/text/code_point/module.f.d.ts +28 -0
  98. package/fs/text/code_point/module.f.js +31 -0
  99. package/fs/text/{test.f.d.ts → proof.f.d.ts} +1 -2
  100. package/fs/text/{test.f.js → proof.f.js} +1 -1
  101. package/fs/text/sgr/proof.f.d.ts +1 -0
  102. package/fs/text/sgr/{test.f.js → proof.f.js} +1 -1
  103. package/fs/text/utf16/module.f.js +3 -53
  104. package/fs/text/utf16/{test.f.d.ts → proof.f.d.ts} +1 -2
  105. package/fs/text/utf16/{test.f.js → proof.f.js} +1 -1
  106. package/fs/text/utf8/module.f.js +3 -25
  107. package/fs/text/utf8/{test.f.d.ts → proof.f.d.ts} +1 -2
  108. package/fs/text/utf8/{test.f.js → proof.f.js} +1 -1
  109. package/fs/types/array/{test.f.d.ts → proof.f.d.ts} +1 -2
  110. package/fs/types/array/{test.f.js → proof.f.js} +1 -1
  111. package/fs/types/bigfloat/{test.f.d.ts → proof.f.d.ts} +1 -2
  112. package/fs/types/bigfloat/{test.f.js → proof.f.js} +1 -1
  113. package/fs/types/bigint/{test.f.d.ts → proof.f.d.ts} +1 -2
  114. package/fs/types/bigint/{test.f.js → proof.f.js} +1 -1
  115. package/fs/types/bit_vec/{test.f.d.ts → proof.f.d.ts} +1 -2
  116. package/fs/types/bit_vec/{test.f.js → proof.f.js} +1 -1
  117. package/fs/types/btree/find/proof.f.d.ts +1 -0
  118. package/fs/types/btree/find/{test.f.js → proof.f.js} +1 -1
  119. package/fs/types/btree/{test.f.d.ts → proof.f.d.ts} +1 -2
  120. package/fs/types/btree/{test.f.js → proof.f.js} +1 -1
  121. package/fs/types/btree/remove/proof.f.d.ts +4 -0
  122. package/fs/types/btree/remove/{test.f.js → proof.f.js} +1 -1
  123. package/fs/types/btree/set/proof.f.d.ts +1 -0
  124. package/fs/types/btree/set/{test.f.js → proof.f.js} +1 -1
  125. package/fs/types/btree/types/module.f.d.ts +8 -0
  126. package/fs/types/btree/types/module.f.js +8 -0
  127. package/fs/types/byte_set/{test.f.d.ts → proof.f.d.ts} +1 -2
  128. package/fs/types/byte_set/{test.f.js → proof.f.js} +1 -1
  129. package/fs/types/effects/module.f.d.ts +17 -0
  130. package/fs/types/effects/module.f.js +17 -0
  131. package/fs/types/effects/node/module.f.d.ts +54 -5
  132. package/fs/types/effects/node/module.f.js +4 -1
  133. package/fs/types/effects/node/{test.f.d.ts → proof.f.d.ts} +1 -2
  134. package/fs/types/effects/node/{test.f.js → proof.f.js} +1 -1
  135. package/fs/types/effects/node/virtual/module.f.js +1 -0
  136. package/fs/types/effects/proof.f.d.ts +11 -0
  137. package/fs/types/effects/proof.f.js +57 -0
  138. package/fs/types/function/compare/proof.f.d.ts +1 -0
  139. package/fs/types/function/compare/{test.f.js → proof.f.js} +1 -1
  140. package/fs/types/function/operator/proof.f.d.ts +12 -0
  141. package/fs/types/function/operator/{test.f.js → proof.f.js} +11 -10
  142. package/fs/types/function/proof.f.d.ts +1 -0
  143. package/fs/types/function/{test.f.js → proof.f.js} +1 -1
  144. package/fs/types/list/{test.f.d.ts → proof.f.d.ts} +1 -2
  145. package/fs/types/list/{test.f.js → proof.f.js} +1 -1
  146. package/fs/types/map/proof.f.d.ts +4 -0
  147. package/fs/types/map/{test.f.js → proof.f.js} +1 -1
  148. package/fs/types/monoid/{test.f.d.ts → proof.f.d.ts} +1 -2
  149. package/fs/types/monoid/{test.f.js → proof.f.js} +1 -1
  150. package/fs/types/nibble_set/{test.f.d.ts → proof.f.d.ts} +1 -2
  151. package/fs/types/nibble_set/{test.f.js → proof.f.js} +1 -1
  152. package/fs/types/nominal/proof.f.d.ts +4 -0
  153. package/fs/types/nominal/{test.f.js → proof.f.js} +1 -1
  154. package/fs/types/nullable/proof.f.d.ts +1 -0
  155. package/fs/types/nullable/{test.f.js → proof.f.js} +1 -1
  156. package/fs/types/number/{test.f.d.ts → proof.f.d.ts} +1 -2
  157. package/fs/types/number/{test.f.js → proof.f.js} +1 -1
  158. package/fs/types/object/{test.f.d.ts → proof.f.d.ts} +1 -2
  159. package/fs/types/object/{test.f.js → proof.f.js} +1 -1
  160. package/fs/types/ordered_map/{test.f.d.ts → proof.f.d.ts} +1 -2
  161. package/fs/types/ordered_map/{test.f.js → proof.f.js} +1 -1
  162. package/fs/types/patricia_trie/{test.f.d.ts → proof.f.d.ts} +1 -2
  163. package/fs/types/patricia_trie/{test.f.js → proof.f.js} +1 -1
  164. package/fs/types/prime_field/{test.f.d.ts → proof.f.d.ts} +1 -2
  165. package/fs/types/prime_field/{test.f.js → proof.f.js} +1 -1
  166. package/fs/types/range/proof.f.d.ts +1 -0
  167. package/fs/types/range/{test.f.js → proof.f.js} +1 -1
  168. package/fs/types/range_map/{test.f.d.ts → proof.f.d.ts} +1 -2
  169. package/fs/types/range_map/{test.f.js → proof.f.js} +1 -1
  170. package/fs/types/result/proof.f.d.ts +5 -0
  171. package/fs/types/result/{test.f.js → proof.f.js} +18 -2
  172. package/fs/types/rtti/parse/{test.f.d.ts → proof.f.d.ts} +1 -2
  173. package/fs/types/rtti/parse/{test.f.js → proof.f.js} +1 -1
  174. package/fs/types/rtti/{test.f.d.ts → proof.f.d.ts} +1 -2
  175. package/fs/types/rtti/{test.f.js → proof.f.js} +1 -1
  176. package/fs/types/rtti/ts/{test.f.d.ts → proof.f.d.ts} +1 -2
  177. package/fs/types/rtti/ts/{test.f.js → proof.f.js} +1 -1
  178. package/fs/types/rtti/validate/{test.f.d.ts → proof.f.d.ts} +1 -2
  179. package/fs/types/rtti/validate/{test.f.js → proof.f.js} +1 -1
  180. package/fs/types/sorted_list/{test.f.d.ts → proof.f.d.ts} +1 -2
  181. package/fs/types/sorted_list/{test.f.js → proof.f.js} +1 -1
  182. package/fs/types/sorted_set/{test.f.d.ts → proof.f.d.ts} +1 -2
  183. package/fs/types/sorted_set/{test.f.js → proof.f.js} +1 -1
  184. package/fs/types/string/{test.f.d.ts → proof.f.d.ts} +1 -2
  185. package/fs/types/string/{test.f.js → proof.f.js} +1 -1
  186. package/fs/types/string_set/{test.f.d.ts → proof.f.d.ts} +1 -2
  187. package/fs/types/string_set/{test.f.js → proof.f.js} +1 -1
  188. package/fs/types/ts/{test.f.d.ts → proof.f.d.ts} +20 -0
  189. package/fs/types/ts/{test.f.js → proof.f.js} +1 -0
  190. package/fs/types/uint8array/{test.f.d.ts → proof.f.d.ts} +1 -2
  191. package/fs/types/uint8array/{test.f.js → proof.f.js} +1 -1
  192. package/issues/demo/sample/{test.f.js → proof.f.js} +1 -1
  193. package/issues/{test.f.d.ts → proof.f.d.ts} +1 -2
  194. package/issues/{test.f.js → proof.f.js} +1 -1
  195. package/nanvm-lib/tests/{test.f.d.ts → proof.f.d.ts} +1 -2
  196. package/nanvm-lib/tests/{test.f.js → proof.f.js} +1 -1
  197. package/nanvm-lib/tests/vm/{test.f.d.ts → proof.f.d.ts} +1 -2
  198. package/nanvm-lib/tests/vm/{test.f.js → proof.f.js} +1 -1
  199. package/package.json +2 -2
  200. package/fs/base128/test.f.d.ts +0 -2
  201. package/fs/bnf/test.f.d.ts +0 -4
  202. package/fs/cas/test.f.d.ts +0 -2
  203. package/fs/cas/test.f.js +0 -1
  204. package/fs/dev/version/test.f.d.ts +0 -4
  205. package/fs/fsm/test.f.d.ts +0 -5
  206. package/fs/path/test.f.d.ts +0 -3
  207. package/fs/text/ascii/test.f.d.ts +0 -4
  208. package/fs/text/sgr/test.f.d.ts +0 -2
  209. package/fs/types/btree/find/test.f.d.ts +0 -2
  210. package/fs/types/btree/remove/test.f.d.ts +0 -5
  211. package/fs/types/btree/set/test.f.d.ts +0 -2
  212. package/fs/types/function/compare/test.f.d.ts +0 -2
  213. package/fs/types/function/operator/test.f.d.ts +0 -10
  214. package/fs/types/function/test.f.d.ts +0 -2
  215. package/fs/types/map/test.f.d.ts +0 -5
  216. package/fs/types/nominal/test.f.d.ts +0 -5
  217. package/fs/types/nullable/test.f.d.ts +0 -2
  218. package/fs/types/range/test.f.d.ts +0 -2
  219. package/fs/types/result/test.f.d.ts +0 -2
@@ -1,4 +1,4 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  tag0: {
3
3
  boolean: () => void;
4
4
  number: () => void;
@@ -57,4 +57,3 @@ declare const _default: {
57
57
  struct: () => void;
58
58
  };
59
59
  };
60
- export default _default;
@@ -14,7 +14,7 @@ const eq = (rtti, expected) => {
14
14
  throw `expected ${JSON.stringify(expected)}, got ${JSON.stringify(result)}`;
15
15
  }
16
16
  };
17
- export default {
17
+ export const proof = {
18
18
  tag0: {
19
19
  boolean: () => eq(boolean, 'boolean'),
20
20
  number: () => eq(number, 'number'),
@@ -1,4 +1,4 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  boolean: {
3
3
  ok: () => void;
4
4
  error: () => void;
@@ -114,4 +114,3 @@ declare const _default: {
114
114
  recordOfRecords: () => void;
115
115
  };
116
116
  };
117
- export default _default;
@@ -20,7 +20,7 @@ const assertErrorPath = (expected) => (r) => {
20
20
  }
21
21
  }
22
22
  };
23
- export default {
23
+ export const proof = {
24
24
  boolean: {
25
25
  ok: () => {
26
26
  assertOk(validate(boolean)(true));
@@ -1,5 +1,4 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  sortedMergre: (() => void)[];
3
3
  find: (() => void)[];
4
4
  };
5
- export default _default;
@@ -6,7 +6,7 @@ import { flip } from "../function/module.f.js";
6
6
  import { cmp } from "../number/module.f.js";
7
7
  const str = stringify(sort);
8
8
  const reverseCmp = flip(cmp);
9
- export default {
9
+ export const proof = {
10
10
  sortedMergre: [
11
11
  () => {
12
12
  const result = str(toArray(merge(cmp)([2, 3, 4])([1, 3, 5])));
@@ -1,7 +1,6 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  example: () => void;
3
3
  union: (() => void)[];
4
4
  intersect: (() => void)[];
5
5
  has: (() => void)[];
6
6
  };
7
- export default _default;
@@ -6,7 +6,7 @@ import { flip } from "../function/module.f.js";
6
6
  import { cmp } from "../number/module.f.js";
7
7
  const str = a => stringify(sort)(a);
8
8
  const reverseCmp = flip(cmp);
9
- export default {
9
+ export const proof = {
10
10
  example: () => {
11
11
  const cmp = (a) => (b) => a < b ? -1 : a > b ? 1 : 0;
12
12
  const setA = [1, 3, 5];
@@ -1,4 +1,4 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  example: () => void;
3
3
  join: {
4
4
  0: () => void;
@@ -20,4 +20,3 @@ declare const _default: {
20
20
  empty: () => void;
21
21
  };
22
22
  };
23
- export default _default;
@@ -1,6 +1,6 @@
1
1
  import { join, concat, repeat, cmp, splitAt } from "./module.f.js";
2
2
  import { repeat as repeatList } from "../list/module.f.js";
3
- export default {
3
+ export const proof = {
4
4
  example: () => {
5
5
  const words = ['hello', 'world'];
6
6
  if (join(' ')(words) !== 'hello world') {
@@ -1,6 +1,5 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  example: () => void;
3
3
  contains: () => void;
4
4
  remove: () => void;
5
5
  };
6
- export default _default;
@@ -1,5 +1,5 @@
1
1
  import { contains, fromValues, remove, set } from "./module.f.js";
2
- export default {
2
+ export const proof = {
3
3
  example: () => {
4
4
  let mySet = fromValues(['apple', 'banana', 'cherry']);
5
5
  if (!contains('banana')(mySet)) {
@@ -16,3 +16,23 @@ export declare const printerMutableTuple: () => void;
16
16
  export declare const printerMutableStruct: () => void;
17
17
  export declare const printerMutableArray: () => void;
18
18
  export declare const printerMutableRecord: () => void;
19
+ export declare const proof: {
20
+ primitiveNull: () => void;
21
+ primitiveBigint: () => void;
22
+ primitiveString: () => void;
23
+ primitiveNumberFinite: () => void;
24
+ primitiveNumberInfinite: () => void;
25
+ primitiveUndefined: () => void;
26
+ primitiveBoolean: () => void;
27
+ unionEmpty: () => void;
28
+ unionSingle: () => void;
29
+ unionMulti: () => void;
30
+ printerReadonlyTuple: () => void;
31
+ printerReadonlyStruct: () => void;
32
+ printerReadonlyArray: () => void;
33
+ printerReadonlyRecord: () => void;
34
+ printerMutableTuple: () => void;
35
+ printerMutableStruct: () => void;
36
+ printerMutableArray: () => void;
37
+ printerMutableRecord: () => void;
38
+ };
@@ -109,3 +109,4 @@ export const printerMutableRecord = () => {
109
109
  throw r;
110
110
  }
111
111
  };
112
+ export const proof = { primitiveNull, primitiveBigint, primitiveString, primitiveNumberFinite, primitiveNumberInfinite, primitiveUndefined, primitiveBoolean, unionEmpty, unionSingle, unionMulti, printerReadonlyTuple, printerReadonlyStruct, printerReadonlyArray, printerReadonlyRecord, printerMutableTuple, printerMutableStruct, printerMutableArray, printerMutableRecord };
@@ -1,4 +1,4 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  empty: () => void;
3
3
  roundTrip: () => void;
4
4
  unalignedLength: () => void;
@@ -10,4 +10,3 @@ declare const _default: {
10
10
  utf8RoundTrip: () => void;
11
11
  listToVec: () => void;
12
12
  };
13
- export default _default;
@@ -12,7 +12,7 @@ const assertArrayEq = (a, b) => {
12
12
  throw [a, b];
13
13
  }
14
14
  };
15
- export default {
15
+ export const proof = {
16
16
  empty: () => {
17
17
  const input = new Uint8Array();
18
18
  const vec = toVec(input);
@@ -7,7 +7,7 @@ const arrayOfTests = [
7
7
  }
8
8
  ]
9
9
 
10
- export default {
10
+ export const proof = {
11
11
  arrayOfTests,
12
12
  generatingTests: () => arrayOfTests,
13
13
  }
@@ -1,4 +1,4 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  literal: () => void;
3
3
  ownProperty: {
4
4
  null: {
@@ -18,4 +18,3 @@ declare const _default: {
18
18
  };
19
19
  };
20
20
  };
21
- export default _default;
@@ -1,6 +1,6 @@
1
1
  const at = a => i => Object.getOwnPropertyDescriptor(a, i)?.value;
2
2
  const utf8 = (...x) => x;
3
- export default {
3
+ export const proof = {
4
4
  literal: () => {
5
5
  const x = utf8 `17`;
6
6
  const m = '<html>Hello</html>';
@@ -1,4 +1,4 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  eq: () => {
3
3
  nullish: () => void;
4
4
  boolean: {
@@ -89,4 +89,3 @@ declare const _default: {
89
89
  function: () => void;
90
90
  };
91
91
  };
92
- export default _default;
@@ -12,7 +12,7 @@ const nanRes = (op) => (n) => {
12
12
  throw result;
13
13
  }
14
14
  };
15
- export default {
15
+ export const proof = {
16
16
  eq: () => {
17
17
  const e = (a) => (b) => {
18
18
  if (a === b) { }
@@ -1,4 +1,4 @@
1
- declare const _default: {
1
+ export declare const proof: {
2
2
  stringCoercion: {
3
3
  number: () => void;
4
4
  bool: () => void;
@@ -22,4 +22,3 @@ declare const _default: {
22
22
  };
23
23
  };
24
24
  };
25
- export default _default;
@@ -1,5 +1,5 @@
1
1
  const stringCoercion = String;
2
- export default {
2
+ export const proof = {
3
3
  stringCoercion: {
4
4
  number: () => {
5
5
  if (stringCoercion(123) !== '123') {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "functionalscript",
3
- "version": "0.19.0",
3
+ "version": "0.20.0",
4
4
  "type": "module",
5
5
  "files": [
6
6
  "**/*.js",
@@ -44,7 +44,7 @@
44
44
  },
45
45
  "homepage": "https://github.com/functionalscript/functionalscript#readme",
46
46
  "devDependencies": {
47
- "@playwright/test": "*",
47
+ "@playwright/test": "1",
48
48
  "@types/node": "*",
49
49
  "typescript": "*"
50
50
  }
@@ -1,2 +0,0 @@
1
- declare const _default: () => void;
2
- export default _default;
@@ -1,4 +0,0 @@
1
- declare const _default: {
2
- test: () => void;
3
- };
4
- export default _default;
@@ -1,2 +0,0 @@
1
- declare const _default: () => void;
2
- export default _default;
package/fs/cas/test.f.js DELETED
@@ -1 +0,0 @@
1
- export default () => { };
@@ -1,4 +0,0 @@
1
- declare const _default: {
2
- new: () => void;
3
- };
4
- export default _default;
@@ -1,5 +0,0 @@
1
- declare const _default: {
2
- dfa: () => void;
3
- run: (() => void)[];
4
- };
5
- export default _default;
@@ -1,3 +0,0 @@
1
- export declare const normalizeTest: (() => void)[];
2
- export declare const concatTest: (() => void)[];
3
- export declare const relativizeTest: (() => void)[];
@@ -1,4 +0,0 @@
1
- declare const _default: {
2
- range: () => void;
3
- };
4
- export default _default;
@@ -1,2 +0,0 @@
1
- declare const _default: (() => void)[];
2
- export default _default;
@@ -1,2 +0,0 @@
1
- declare const test: () => void;
2
- export default test;
@@ -1,5 +0,0 @@
1
- declare const _default: {
2
- test: () => void;
3
- test2: () => void;
4
- };
5
- export default _default;
@@ -1,2 +0,0 @@
1
- declare const test: (() => void)[];
2
- export default test;
@@ -1,2 +0,0 @@
1
- declare const _default: () => void;
2
- export default _default;
@@ -1,10 +0,0 @@
1
- export declare const joinTest: () => void;
2
- export declare const concatTest: () => void;
3
- export declare const logicalNotTest: () => void;
4
- export declare const strictEqualTest: () => void;
5
- export declare const additionTest: () => void;
6
- export declare const minTest: () => void;
7
- export declare const maxTest: () => void;
8
- export declare const incrementTest: () => void;
9
- export declare const foldToScanTest: () => void;
10
- export declare const reduceToScanTest: () => void;
@@ -1,2 +0,0 @@
1
- declare const _default: () => void;
2
- export default _default;
@@ -1,5 +0,0 @@
1
- declare const _default: {
2
- set: () => void;
3
- delete: () => void;
4
- };
5
- export default _default;
@@ -1,5 +0,0 @@
1
- declare const _default: {
2
- pre: () => void;
3
- nominal: () => void;
4
- };
5
- export default _default;
@@ -1,2 +0,0 @@
1
- declare const _default: (() => void)[];
2
- export default _default;
@@ -1,2 +0,0 @@
1
- declare const _default: () => void;
2
- export default _default;
@@ -1,2 +0,0 @@
1
- export declare const example: () => void;
2
- export declare const invertTest: () => void;