@nudojs/core 0.2.0 → 0.3.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 (115) hide show
  1. package/CHANGELOG.md +19 -0
  2. package/README.md +26 -0
  3. package/dist/index.d.ts +1601 -12
  4. package/dist/index.js +9657 -110
  5. package/package.json +18 -2
  6. package/src/__tests__/fn-sig-impl.test.ts +57 -0
  7. package/src/__tests__/ops-refined.test.ts +3 -1
  8. package/src/__tests__/ops.test.ts +8 -33
  9. package/src/__tests__/type-value.test.ts +106 -0
  10. package/src/algebra/__tests__/abs-native.test.ts +176 -0
  11. package/src/algebra/__tests__/arithmetic.test.ts +170 -0
  12. package/src/algebra/__tests__/ast-eval.test.ts +154 -0
  13. package/src/algebra/__tests__/bridge.test.ts +160 -0
  14. package/src/algebra/__tests__/call-budget.test.ts +117 -0
  15. package/src/algebra/__tests__/check-case-consistency.test.ts +69 -0
  16. package/src/algebra/__tests__/check-gold.test.ts +290 -0
  17. package/src/algebra/__tests__/check-json.test.ts +57 -0
  18. package/src/algebra/__tests__/check-mini-repo.test.ts +49 -0
  19. package/src/algebra/__tests__/check-real-commander.test.ts +43 -0
  20. package/src/algebra/__tests__/check-real-packages.test.ts +165 -0
  21. package/src/algebra/__tests__/check-recall-gold.test.ts +1024 -0
  22. package/src/algebra/__tests__/check-require-dep-memo.test.ts +45 -0
  23. package/src/algebra/__tests__/check-return-contract.test.ts +90 -0
  24. package/src/algebra/__tests__/check-shape-gold.test.ts +303 -0
  25. package/src/algebra/__tests__/check-source-memo.test.ts +204 -0
  26. package/src/algebra/__tests__/check.test.ts +69 -0
  27. package/src/algebra/__tests__/denote.test.ts +77 -0
  28. package/src/algebra/__tests__/diagnostics.test.ts +64 -0
  29. package/src/algebra/__tests__/differential.test.ts +124 -0
  30. package/src/algebra/__tests__/div-mod.test.ts +38 -0
  31. package/src/algebra/__tests__/example0.test.ts +103 -0
  32. package/src/algebra/__tests__/exec-analyze-throws.test.ts +60 -0
  33. package/src/algebra/__tests__/exec-async.test.ts +46 -0
  34. package/src/algebra/__tests__/exec-bpath.test.ts +193 -0
  35. package/src/algebra/__tests__/exec-class.test.ts +56 -0
  36. package/src/algebra/__tests__/exec-e2e.test.ts +97 -0
  37. package/src/algebra/__tests__/exec-generator.test.ts +53 -0
  38. package/src/algebra/__tests__/exec-inherit-default.test.ts +111 -0
  39. package/src/algebra/__tests__/exec-optional-nested.test.ts +87 -0
  40. package/src/algebra/__tests__/exec-rest.test.ts +55 -0
  41. package/src/algebra/__tests__/exec-spread-forof.test.ts +85 -0
  42. package/src/algebra/__tests__/exec-static-computed.test.ts +61 -0
  43. package/src/algebra/__tests__/exec-switch.test.ts +74 -0
  44. package/src/algebra/__tests__/exec-trycatch.test.ts +71 -0
  45. package/src/algebra/__tests__/fn-fp-memo.test.ts +166 -0
  46. package/src/algebra/__tests__/fn-fp-multidecl.test.ts +49 -0
  47. package/src/algebra/__tests__/format.test.ts +34 -0
  48. package/src/algebra/__tests__/generalize-memo.test.ts +285 -0
  49. package/src/algebra/__tests__/generalize.test.ts +113 -0
  50. package/src/algebra/__tests__/hash-source.test.ts +19 -0
  51. package/src/algebra/__tests__/hof.test.ts +80 -0
  52. package/src/algebra/__tests__/inlay.test.ts +30 -0
  53. package/src/algebra/__tests__/language.test.ts +77 -0
  54. package/src/algebra/__tests__/leq.test.ts +109 -0
  55. package/src/algebra/__tests__/load-deps-fp-memo.test.ts +132 -0
  56. package/src/algebra/__tests__/methods.test.ts +37 -0
  57. package/src/algebra/__tests__/node-types.test.ts +26 -0
  58. package/src/algebra/__tests__/nudo-constraints.ts +46 -0
  59. package/src/algebra/__tests__/objects.test.ts +117 -0
  60. package/src/algebra/__tests__/parse-source-cache.test.ts +42 -0
  61. package/src/algebra/__tests__/refine-import.test.ts +109 -0
  62. package/src/algebra/__tests__/stable-source-key-block.test.ts +23 -0
  63. package/src/algebra/__tests__/stable-source-key.test.ts +31 -0
  64. package/src/algebra/__tests__/surface.test.ts +41 -0
  65. package/src/algebra/__tests__/this-inherit.test.ts +130 -0
  66. package/src/algebra/abs-fn.ts +49 -0
  67. package/src/algebra/abs-modules.ts +139 -0
  68. package/src/algebra/abs.ts +206 -0
  69. package/src/algebra/arithmetic.ts +691 -0
  70. package/src/algebra/ast-eval.ts +1763 -0
  71. package/src/algebra/bridge.ts +350 -0
  72. package/src/algebra/builtins.ts +373 -0
  73. package/src/algebra/check-report.ts +150 -0
  74. package/src/algebra/check.ts +1867 -0
  75. package/src/algebra/constraint.ts +304 -0
  76. package/src/algebra/denote.ts +166 -0
  77. package/src/algebra/diagnostics.ts +210 -0
  78. package/src/algebra/exec/call.ts +29 -0
  79. package/src/algebra/exec/calls.ts +96 -0
  80. package/src/algebra/exec/class-registry.ts +29 -0
  81. package/src/algebra/exec/class.ts +329 -0
  82. package/src/algebra/exec/index.ts +6 -0
  83. package/src/algebra/exec/member-diag.ts +141 -0
  84. package/src/algebra/exec/run.ts +341 -0
  85. package/src/algebra/exec/runtime.ts +583 -0
  86. package/src/algebra/exec/transpile.ts +993 -0
  87. package/src/algebra/fn-fp.ts +294 -0
  88. package/src/algebra/format.ts +91 -0
  89. package/src/algebra/generalize.ts +776 -0
  90. package/src/algebra/hash-source.ts +27 -0
  91. package/src/algebra/index.ts +34 -0
  92. package/src/algebra/inlay.ts +198 -0
  93. package/src/algebra/language.ts +289 -0
  94. package/src/algebra/leak.ts +68 -0
  95. package/src/algebra/leq.ts +301 -0
  96. package/src/algebra/load-deps-fp.ts +97 -0
  97. package/src/algebra/methods.ts +128 -0
  98. package/src/algebra/objects.ts +251 -0
  99. package/src/algebra/parse-source.ts +64 -0
  100. package/src/algebra/phi.ts +42 -0
  101. package/src/algebra/pred.ts +395 -0
  102. package/src/algebra/refine.ts +227 -0
  103. package/src/algebra/stable-source-key.ts +81 -0
  104. package/src/algebra/surface.ts +206 -0
  105. package/src/algebra/template.ts +143 -0
  106. package/src/algebra/term.ts +119 -0
  107. package/src/environment.ts +5 -0
  108. package/src/index.ts +33 -0
  109. package/src/mock-helpers.ts +166 -0
  110. package/src/ops.ts +44 -63
  111. package/src/refinements/template-predicates.ts +11 -0
  112. package/src/refinements/template.ts +1 -3
  113. package/src/strip-types.ts +236 -0
  114. package/src/type-value.ts +153 -12
  115. package/src/refinements/index.ts +0 -2

There are too many changes on this page to be displayed.

The amount of changes on this page would crash your brower.

You can still verify the content by downloading the package file manually.