@nudojs/core 0.3.0 → 0.3.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 (123) hide show
  1. package/dist/chunk-BU4A6XJ3.js +6856 -0
  2. package/dist/exec.d.ts +2 -0
  3. package/dist/exec.js +168 -0
  4. package/dist/index-CVYjXnwU.d.ts +902 -0
  5. package/dist/index.d.ts +64 -710
  6. package/dist/index.js +3258 -8426
  7. package/package.json +18 -5
  8. package/CHANGELOG.md +0 -34
  9. package/src/__tests__/environment.test.ts +0 -48
  10. package/src/__tests__/fn-sig-impl.test.ts +0 -57
  11. package/src/__tests__/ops-refined.test.ts +0 -196
  12. package/src/__tests__/ops.test.ts +0 -84
  13. package/src/__tests__/type-value-phase2.test.ts +0 -117
  14. package/src/__tests__/type-value-phase3.test.ts +0 -94
  15. package/src/__tests__/type-value-refined.test.ts +0 -210
  16. package/src/__tests__/type-value.test.ts +0 -319
  17. package/src/algebra/__tests__/abs-native.test.ts +0 -176
  18. package/src/algebra/__tests__/arithmetic.test.ts +0 -170
  19. package/src/algebra/__tests__/ast-eval.test.ts +0 -154
  20. package/src/algebra/__tests__/bridge.test.ts +0 -160
  21. package/src/algebra/__tests__/call-budget.test.ts +0 -117
  22. package/src/algebra/__tests__/check-case-consistency.test.ts +0 -69
  23. package/src/algebra/__tests__/check-gold.test.ts +0 -290
  24. package/src/algebra/__tests__/check-json.test.ts +0 -57
  25. package/src/algebra/__tests__/check-mini-repo.test.ts +0 -49
  26. package/src/algebra/__tests__/check-real-commander.test.ts +0 -43
  27. package/src/algebra/__tests__/check-real-packages.test.ts +0 -165
  28. package/src/algebra/__tests__/check-recall-gold.test.ts +0 -1024
  29. package/src/algebra/__tests__/check-require-dep-memo.test.ts +0 -45
  30. package/src/algebra/__tests__/check-return-contract.test.ts +0 -90
  31. package/src/algebra/__tests__/check-shape-gold.test.ts +0 -303
  32. package/src/algebra/__tests__/check-source-memo.test.ts +0 -204
  33. package/src/algebra/__tests__/check.test.ts +0 -69
  34. package/src/algebra/__tests__/denote.test.ts +0 -77
  35. package/src/algebra/__tests__/diagnostics.test.ts +0 -64
  36. package/src/algebra/__tests__/differential.test.ts +0 -124
  37. package/src/algebra/__tests__/div-mod.test.ts +0 -38
  38. package/src/algebra/__tests__/example0.test.ts +0 -103
  39. package/src/algebra/__tests__/exec-analyze-throws.test.ts +0 -60
  40. package/src/algebra/__tests__/exec-async.test.ts +0 -46
  41. package/src/algebra/__tests__/exec-bpath.test.ts +0 -193
  42. package/src/algebra/__tests__/exec-class.test.ts +0 -56
  43. package/src/algebra/__tests__/exec-e2e.test.ts +0 -97
  44. package/src/algebra/__tests__/exec-generator.test.ts +0 -53
  45. package/src/algebra/__tests__/exec-inherit-default.test.ts +0 -111
  46. package/src/algebra/__tests__/exec-optional-nested.test.ts +0 -87
  47. package/src/algebra/__tests__/exec-rest.test.ts +0 -55
  48. package/src/algebra/__tests__/exec-spread-forof.test.ts +0 -85
  49. package/src/algebra/__tests__/exec-static-computed.test.ts +0 -61
  50. package/src/algebra/__tests__/exec-switch.test.ts +0 -74
  51. package/src/algebra/__tests__/exec-trycatch.test.ts +0 -71
  52. package/src/algebra/__tests__/fn-fp-memo.test.ts +0 -166
  53. package/src/algebra/__tests__/fn-fp-multidecl.test.ts +0 -49
  54. package/src/algebra/__tests__/format.test.ts +0 -34
  55. package/src/algebra/__tests__/generalize-memo.test.ts +0 -285
  56. package/src/algebra/__tests__/generalize.test.ts +0 -113
  57. package/src/algebra/__tests__/hash-source.test.ts +0 -19
  58. package/src/algebra/__tests__/hof.test.ts +0 -80
  59. package/src/algebra/__tests__/inlay.test.ts +0 -30
  60. package/src/algebra/__tests__/language.test.ts +0 -77
  61. package/src/algebra/__tests__/leq.test.ts +0 -109
  62. package/src/algebra/__tests__/load-deps-fp-memo.test.ts +0 -132
  63. package/src/algebra/__tests__/methods.test.ts +0 -37
  64. package/src/algebra/__tests__/node-types.test.ts +0 -26
  65. package/src/algebra/__tests__/nudo-constraints.ts +0 -46
  66. package/src/algebra/__tests__/objects.test.ts +0 -117
  67. package/src/algebra/__tests__/parse-source-cache.test.ts +0 -42
  68. package/src/algebra/__tests__/refine-import.test.ts +0 -109
  69. package/src/algebra/__tests__/stable-source-key-block.test.ts +0 -23
  70. package/src/algebra/__tests__/stable-source-key.test.ts +0 -31
  71. package/src/algebra/__tests__/surface.test.ts +0 -41
  72. package/src/algebra/__tests__/this-inherit.test.ts +0 -130
  73. package/src/algebra/abs-fn.ts +0 -49
  74. package/src/algebra/abs-modules.ts +0 -139
  75. package/src/algebra/abs.ts +0 -206
  76. package/src/algebra/arithmetic.ts +0 -691
  77. package/src/algebra/ast-eval.ts +0 -1763
  78. package/src/algebra/bridge.ts +0 -350
  79. package/src/algebra/builtins.ts +0 -373
  80. package/src/algebra/check-report.ts +0 -150
  81. package/src/algebra/check.ts +0 -1867
  82. package/src/algebra/constraint.ts +0 -304
  83. package/src/algebra/denote.ts +0 -166
  84. package/src/algebra/diagnostics.ts +0 -210
  85. package/src/algebra/exec/call.ts +0 -29
  86. package/src/algebra/exec/calls.ts +0 -96
  87. package/src/algebra/exec/class-registry.ts +0 -29
  88. package/src/algebra/exec/class.ts +0 -329
  89. package/src/algebra/exec/index.ts +0 -6
  90. package/src/algebra/exec/member-diag.ts +0 -141
  91. package/src/algebra/exec/run.ts +0 -341
  92. package/src/algebra/exec/runtime.ts +0 -583
  93. package/src/algebra/exec/transpile.ts +0 -993
  94. package/src/algebra/fn-fp.ts +0 -294
  95. package/src/algebra/format.ts +0 -91
  96. package/src/algebra/generalize.ts +0 -776
  97. package/src/algebra/hash-source.ts +0 -27
  98. package/src/algebra/index.ts +0 -34
  99. package/src/algebra/inlay.ts +0 -198
  100. package/src/algebra/language.ts +0 -289
  101. package/src/algebra/leak.ts +0 -68
  102. package/src/algebra/leq.ts +0 -301
  103. package/src/algebra/load-deps-fp.ts +0 -97
  104. package/src/algebra/methods.ts +0 -128
  105. package/src/algebra/objects.ts +0 -251
  106. package/src/algebra/parse-source.ts +0 -64
  107. package/src/algebra/phi.ts +0 -42
  108. package/src/algebra/pred.ts +0 -395
  109. package/src/algebra/refine.ts +0 -227
  110. package/src/algebra/stable-source-key.ts +0 -81
  111. package/src/algebra/surface.ts +0 -206
  112. package/src/algebra/template.ts +0 -143
  113. package/src/algebra/term.ts +0 -119
  114. package/src/environment.ts +0 -74
  115. package/src/index.ts +0 -73
  116. package/src/mock-helpers.ts +0 -166
  117. package/src/ops.ts +0 -191
  118. package/src/refinements/range.ts +0 -86
  119. package/src/refinements/template-predicates.ts +0 -11
  120. package/src/refinements/template.ts +0 -176
  121. package/src/strip-types.ts +0 -236
  122. package/src/type-value.ts +0 -513
  123. package/tsconfig.json +0 -8
package/dist/exec.d.ts ADDED
@@ -0,0 +1,2 @@
1
+ export { $ as $add, d as $arr, e as $async, f as $asyncReturn, g as $await, h as $call, i as $callNamed, j as $catchVal, k as $class, l as $concat, m as $div, n as $elems, o as $eq, p as $fnVal, q as $for, r as $forIter, s as $forOf, t as $fork, u as $ge, v as $gen, w as $get, x as $gt, y as $idx, z as $idxSet, B as $invoke, D as $invokeSuper, E as $join, F as $le, G as $len, I as $lit, J as $lt, K as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $set, _ as $setKey, a0 as $spread, a1 as $staticInvoke, a2 as $sub, a3 as $super, a4 as $switch, a5 as $thisGet, a6 as $thisSet, a7 as $throw, a8 as $typeof, a9 as $while, aa as $whileSeq, ab as $yield, af as BCallRecord, ag as BClassSpec, ah as BMemberDiag, ai as DEFAULT_MAX_LOOP_ITERS, ao as NudoThrow, ap as RunTranspiledOptions, aq as TranspileOptions, ar as TranspiledCallResult, aC as asAbsVal, aI as callTranspiledExport, aJ as callTranspiledExportFull, aK as clearBClasses, aP as currentExecPhi, b0 as getAbsOrigin, b1 as getBCallCollector, b2 as getBClass, b7 as isDefinitelyFalse, b8 as isDefinitelyTrue, ba as isNudoThrow, bq as noteMemberDispatchMiss, br as notePrimMemberMissing, bs as noteUnknownMemberMissing, bH as recordMemberDiag, bI as registerBClass, bL as runTranspiled, bR as setBCallCollector, bS as setMemberDiagCollector, c0 as tagAbsOrigin, c5 as transpile, c6 as transpileExpression, c7 as transpileFile, c8 as transpileSource, cg as withExecPhi } from './index-CVYjXnwU.js';
2
+ import '@babel/types';
package/dist/exec.js ADDED
@@ -0,0 +1,168 @@
1
+ import {
2
+ $add,
3
+ $arr,
4
+ $async,
5
+ $asyncReturn,
6
+ $await,
7
+ $call,
8
+ $callNamed,
9
+ $catchVal,
10
+ $class,
11
+ $concat,
12
+ $div,
13
+ $elems,
14
+ $eq,
15
+ $fnVal,
16
+ $for,
17
+ $forIter,
18
+ $forOf,
19
+ $fork,
20
+ $ge,
21
+ $gen,
22
+ $get,
23
+ $gt,
24
+ $idx,
25
+ $idxSet,
26
+ $invoke,
27
+ $invokeSuper,
28
+ $join,
29
+ $le,
30
+ $len,
31
+ $lit,
32
+ $lt,
33
+ $mod,
34
+ $mul,
35
+ $ne,
36
+ $neg,
37
+ $new,
38
+ $not,
39
+ $obj,
40
+ $optionalGet,
41
+ $optionalInvoke,
42
+ $orDefault,
43
+ $set,
44
+ $setKey,
45
+ $spread,
46
+ $staticInvoke,
47
+ $sub,
48
+ $super,
49
+ $switch,
50
+ $thisGet,
51
+ $thisSet,
52
+ $throw,
53
+ $typeof,
54
+ $while,
55
+ $whileSeq,
56
+ $yield,
57
+ DEFAULT_MAX_LOOP_ITERS,
58
+ NudoThrow,
59
+ asAbsVal,
60
+ callTranspiledExport,
61
+ callTranspiledExportFull,
62
+ clearBClasses,
63
+ currentExecPhi,
64
+ getAbsOrigin,
65
+ getBCallCollector,
66
+ getBClass,
67
+ isDefinitelyFalse,
68
+ isDefinitelyTrue,
69
+ isNudoThrow,
70
+ noteMemberDispatchMiss,
71
+ notePrimMemberMissing,
72
+ noteUnknownMemberMissing,
73
+ recordMemberDiag,
74
+ registerBClass,
75
+ runTranspiled,
76
+ setBCallCollector,
77
+ setMemberDiagCollector,
78
+ tagAbsOrigin,
79
+ transpile,
80
+ transpileExpression,
81
+ transpileFile,
82
+ transpileSource,
83
+ withExecPhi
84
+ } from "./chunk-BU4A6XJ3.js";
85
+ export {
86
+ $add,
87
+ $arr,
88
+ $async,
89
+ $asyncReturn,
90
+ $await,
91
+ $call,
92
+ $callNamed,
93
+ $catchVal,
94
+ $class,
95
+ $concat,
96
+ $div,
97
+ $elems,
98
+ $eq,
99
+ $fnVal,
100
+ $for,
101
+ $forIter,
102
+ $forOf,
103
+ $fork,
104
+ $ge,
105
+ $gen,
106
+ $get,
107
+ $gt,
108
+ $idx,
109
+ $idxSet,
110
+ $invoke,
111
+ $invokeSuper,
112
+ $join,
113
+ $le,
114
+ $len,
115
+ $lit,
116
+ $lt,
117
+ $mod,
118
+ $mul,
119
+ $ne,
120
+ $neg,
121
+ $new,
122
+ $not,
123
+ $obj,
124
+ $optionalGet,
125
+ $optionalInvoke,
126
+ $orDefault,
127
+ $set,
128
+ $setKey,
129
+ $spread,
130
+ $staticInvoke,
131
+ $sub,
132
+ $super,
133
+ $switch,
134
+ $thisGet,
135
+ $thisSet,
136
+ $throw,
137
+ $typeof,
138
+ $while,
139
+ $whileSeq,
140
+ $yield,
141
+ DEFAULT_MAX_LOOP_ITERS,
142
+ NudoThrow,
143
+ asAbsVal,
144
+ callTranspiledExport,
145
+ callTranspiledExportFull,
146
+ clearBClasses,
147
+ currentExecPhi,
148
+ getAbsOrigin,
149
+ getBCallCollector,
150
+ getBClass,
151
+ isDefinitelyFalse,
152
+ isDefinitelyTrue,
153
+ isNudoThrow,
154
+ noteMemberDispatchMiss,
155
+ notePrimMemberMissing,
156
+ noteUnknownMemberMissing,
157
+ recordMemberDiag,
158
+ registerBClass,
159
+ runTranspiled,
160
+ setBCallCollector,
161
+ setMemberDiagCollector,
162
+ tagAbsOrigin,
163
+ transpile,
164
+ transpileExpression,
165
+ transpileFile,
166
+ transpileSource,
167
+ withExecPhi
168
+ };