@nudojs/core 0.3.0 → 0.4.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 (123) hide show
  1. package/dist/chunk-N7E2A7IK.js +7216 -0
  2. package/dist/exec.d.ts +2 -0
  3. package/dist/exec.js +174 -0
  4. package/dist/index-DgyudAkw.d.ts +911 -0
  5. package/dist/index.d.ts +64 -710
  6. package/dist/index.js +3269 -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 $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ag as BCallRecord, ah as BClassSpec, ai as BMemberDiag, aj as DEFAULT_MAX_LOOP_ITERS, ap as NudoThrow, aq as RunTranspiledOptions, ar as TranspileOptions, as as TranspiledCallResult, aD as asAbsVal, aJ as callTranspiledExport, aK as callTranspiledExportFull, aL as clearBClasses, aQ as currentExecPhi, b1 as getAbsOrigin, b2 as getBCallCollector, b3 as getBClass, b8 as isDefinitelyFalse, b9 as isDefinitelyTrue, bb as isNudoThrow, bj as litTruth, bp as namespaceNameOf, bt as noteMemberDispatchMiss, bu as notePrimMemberMissing, bv as noteUnknownMemberMissing, bK as recordMemberDiag, bL as registerBClass, bO as runTranspiled, bU as setBCallCollector, bV as setMemberDiagCollector, c3 as tagAbsOrigin, c8 as transpile, c9 as transpileExpression, ca as transpileFile, cb as transpileSource, cj as withExecPhi } from './index-DgyudAkw.js';
2
+ import '@babel/types';
package/dist/exec.js ADDED
@@ -0,0 +1,174 @@
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
+ $regex,
44
+ $set,
45
+ $setKey,
46
+ $spread,
47
+ $staticInvoke,
48
+ $sub,
49
+ $super,
50
+ $switch,
51
+ $thisGet,
52
+ $thisSet,
53
+ $throw,
54
+ $typeof,
55
+ $while,
56
+ $whileSeq,
57
+ $yield,
58
+ DEFAULT_MAX_LOOP_ITERS,
59
+ NudoThrow,
60
+ asAbsVal,
61
+ callTranspiledExport,
62
+ callTranspiledExportFull,
63
+ clearBClasses,
64
+ currentExecPhi,
65
+ getAbsOrigin,
66
+ getBCallCollector,
67
+ getBClass,
68
+ isDefinitelyFalse,
69
+ isDefinitelyTrue,
70
+ isNudoThrow,
71
+ litTruth,
72
+ namespaceNameOf,
73
+ noteMemberDispatchMiss,
74
+ notePrimMemberMissing,
75
+ noteUnknownMemberMissing,
76
+ recordMemberDiag,
77
+ registerBClass,
78
+ runTranspiled,
79
+ setBCallCollector,
80
+ setMemberDiagCollector,
81
+ tagAbsOrigin,
82
+ transpile,
83
+ transpileExpression,
84
+ transpileFile,
85
+ transpileSource,
86
+ withExecPhi
87
+ } from "./chunk-N7E2A7IK.js";
88
+ export {
89
+ $add,
90
+ $arr,
91
+ $async,
92
+ $asyncReturn,
93
+ $await,
94
+ $call,
95
+ $callNamed,
96
+ $catchVal,
97
+ $class,
98
+ $concat,
99
+ $div,
100
+ $elems,
101
+ $eq,
102
+ $fnVal,
103
+ $for,
104
+ $forIter,
105
+ $forOf,
106
+ $fork,
107
+ $ge,
108
+ $gen,
109
+ $get,
110
+ $gt,
111
+ $idx,
112
+ $idxSet,
113
+ $invoke,
114
+ $invokeSuper,
115
+ $join,
116
+ $le,
117
+ $len,
118
+ $lit,
119
+ $lt,
120
+ $mod,
121
+ $mul,
122
+ $ne,
123
+ $neg,
124
+ $new,
125
+ $not,
126
+ $obj,
127
+ $optionalGet,
128
+ $optionalInvoke,
129
+ $orDefault,
130
+ $regex,
131
+ $set,
132
+ $setKey,
133
+ $spread,
134
+ $staticInvoke,
135
+ $sub,
136
+ $super,
137
+ $switch,
138
+ $thisGet,
139
+ $thisSet,
140
+ $throw,
141
+ $typeof,
142
+ $while,
143
+ $whileSeq,
144
+ $yield,
145
+ DEFAULT_MAX_LOOP_ITERS,
146
+ NudoThrow,
147
+ asAbsVal,
148
+ callTranspiledExport,
149
+ callTranspiledExportFull,
150
+ clearBClasses,
151
+ currentExecPhi,
152
+ getAbsOrigin,
153
+ getBCallCollector,
154
+ getBClass,
155
+ isDefinitelyFalse,
156
+ isDefinitelyTrue,
157
+ isNudoThrow,
158
+ litTruth,
159
+ namespaceNameOf,
160
+ noteMemberDispatchMiss,
161
+ notePrimMemberMissing,
162
+ noteUnknownMemberMissing,
163
+ recordMemberDiag,
164
+ registerBClass,
165
+ runTranspiled,
166
+ setBCallCollector,
167
+ setMemberDiagCollector,
168
+ tagAbsOrigin,
169
+ transpile,
170
+ transpileExpression,
171
+ transpileFile,
172
+ transpileSource,
173
+ withExecPhi
174
+ };