@nudojs/core 0.2.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.
- package/README.md +26 -0
- package/dist/chunk-BU4A6XJ3.js +6856 -0
- package/dist/exec.d.ts +2 -0
- package/dist/exec.js +168 -0
- package/dist/index-CVYjXnwU.d.ts +902 -0
- package/dist/index.d.ts +953 -10
- package/dist/index.js +4489 -110
- package/package.json +33 -4
- package/CHANGELOG.md +0 -15
- package/src/__tests__/environment.test.ts +0 -48
- package/src/__tests__/ops-refined.test.ts +0 -194
- package/src/__tests__/ops.test.ts +0 -109
- package/src/__tests__/type-value-phase2.test.ts +0 -117
- package/src/__tests__/type-value-phase3.test.ts +0 -94
- package/src/__tests__/type-value-refined.test.ts +0 -210
- package/src/__tests__/type-value.test.ts +0 -213
- package/src/environment.ts +0 -69
- package/src/index.ts +0 -40
- package/src/ops.ts +0 -210
- package/src/refinements/index.ts +0 -2
- package/src/refinements/range.ts +0 -86
- package/src/refinements/template.ts +0 -178
- package/src/type-value.ts +0 -372
- package/tsconfig.json +0 -8
package/README.md
ADDED
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
# @nudojs/core
|
|
2
|
+
|
|
3
|
+
Core type value primitives and type system for the [Nudo](https://github.com/nudojs/nudo) inference engine.
|
|
4
|
+
|
|
5
|
+
## What is Nudo?
|
|
6
|
+
|
|
7
|
+
Nudo is a type inference engine for JavaScript. Instead of a separate type system, it runs your code with symbolic type values via abstract interpretation — no TypeScript, no build step.
|
|
8
|
+
|
|
9
|
+
## This package
|
|
10
|
+
|
|
11
|
+
`@nudojs/core` provides the foundational type representations and operations:
|
|
12
|
+
|
|
13
|
+
- **Type values** — `TypeValue`, `LiteralValue`, `Refinement`, and the `T` namespace of built-in types
|
|
14
|
+
- **Type operations** — union simplification, subtype checking, narrowing, widening
|
|
15
|
+
- **Operators & dispatch** — binary ops, property access, method calls on type values
|
|
16
|
+
- **Environment** — scoped variable bindings for the abstract interpreter
|
|
17
|
+
|
|
18
|
+
## Install
|
|
19
|
+
|
|
20
|
+
```bash
|
|
21
|
+
npm install @nudojs/core
|
|
22
|
+
```
|
|
23
|
+
|
|
24
|
+
## License
|
|
25
|
+
|
|
26
|
+
[MIT](https://github.com/nudojs/nudo/blob/main/LICENSE)
|