stringent 0.0.1 → 0.0.4

package/dist/schema/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AA6GH,gDAAgD;AAChD,SAAS,MAAM,CACb,MAAe;IAEf,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE;QAC3B,EAAE,CAAuB,IAAW;YAClC,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,IAAa,EAAE,IAAI,EAAE,CAAC;QACrD,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAEhF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAErE,8CAA8C;AAC9C,MAAM,CAAC,MAAM,MAAM,GAAG,CAA0C,MAAe,EAAE,EAAE,CACjF,MAAM,CAAwB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAE5D,2CAA2C;AAC3C,MAAM,CAAC,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,MAAM,CAAc,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAElE,sDAAsD;AACtD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAA8B,KAAa,EAAE,EAAE,CACrE,MAAM,CAAsB,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AAExD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,MAAM,CAAa,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAEtE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,cAAc,GAAG,GAAG,EAAE,CAAC,MAAM,CAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AAE/E,kDAAkD;AAClD,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAG,EAAE,CAAC,MAAM,CAAkB,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;AAErF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAmC,UAAuC,EAAE,EAAE,CAC/F,MAAM,CAAiC;IACrC,IAAI,EAAE,MAAM;IACZ,UAAU,EAAE,UAAyB;IACrC,IAAI,EAAE,KAAK;CACZ,CAAC,CAAC;AAEL;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAmC,UAAuC,EAAE,EAAE,CAC/F,MAAM,CAAiC;IACrC,IAAI,EAAE,MAAM;IACZ,UAAU,EAAE,UAAyB;IACrC,IAAI,EAAE,KAAK;CACZ,CAAC,CAAC;AAEL;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAmC,UAAuC,EAAE,EAAE,CAChG,MAAM,CAAkC;IACtC,IAAI,EAAE,MAAM;IACZ,UAAU,EAAE,UAAyB;IACrC,IAAI,EAAE,MAAM;CACb,CAAC,CAAC;AAsNL,iBAAiB;AACjB,MAAM,UAAU,UAAU,CAKxB,MAOD;IACC,OAAO,MAAe,CAAC;AACzB,CAAC"}

package/dist/static/infer.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Type-Level Inference
+ *
+ * Infer<AST, Context> computes the result type of a parsed AST.
+ *
+ * With the new architecture, nodes carry their outputSchema directly,
+ * so inference is simpler - just extract the outputSchema field.
+ */
+import type { Context } from '../context.js';
+/**
+ * Infer the result type of an AST node.
+ *
+ * Nodes now carry their outputSchema directly:
+ * - NumberNode has outputSchema: "number"
+ * - BinaryNode<Name, Left, Right, OutputSchema> has outputSchema: OutputSchema
+ * - IdentNode<Name, OutputSchema> has outputSchema: OutputSchema
+ *
+ * @example
+ * ```ts
+ * type Num = Infer<NumberNode<"42">, {}>;  // "number"
+ * type Add = Infer<BinaryNode<"add", NumberNode<"1">, NumberNode<"2">, "number">, {}>; // "number"
+ * ```
+ */
+export type Infer<AST, _$ extends Context> = AST extends {
+    outputSchema: infer R;
+} ? R : never;
+//# sourceMappingURL=infer.d.ts.map

package/dist/static/infer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.d.ts","sourceRoot":"","sources":["../../src/static/infer.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,OAAO,IAEvC,GAAG,SAAS;IAAE,YAAY,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/static/infer.js

@@ -0,0 +1,10 @@
+/**
+ * Type-Level Inference
+ *
+ * Infer<AST, Context> computes the result type of a parsed AST.
+ *
+ * With the new architecture, nodes carry their outputSchema directly,
+ * so inference is simpler - just extract the outputSchema field.
+ */
+export {};
+//# sourceMappingURL=infer.js.map

package/dist/static/infer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.js","sourceRoot":"","sources":["../../src/static/infer.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/package.json

@@ -1,25 +1,79 @@
 {
   "name": "stringent",
-  "version": "0.0.1",
+  "version": "0.0.4",
   "description": "A smart and type-safe expression parser",
   "keywords": [
     "parser",
     "expression",
-    "typescript"
+    "typescript",
+    "type-safe",
+    "compile-time",
+    "type-level",
+    "expression-parser",
+    "dsl",
+    "ast",
+    "grammar",
+    "validation",
+    "inference"
   ],
-  "homepage": "https://github.com/eralmansouri/stringent#readme",
+  "homepage": "https://github.com/formeddable/stringent#readme",
   "bugs": {
-    "url": "https://github.com/eralmansouri/stringent/issues"
+    "url": "https://github.com/formeddable/stringent/issues"
   },
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/eralmansouri/stringent.git"
+    "url": "git+https://github.com/formeddable/stringent.git"
   },
   "license": "MIT",
   "author": "Essam Almansouri",
   "type": "module",
-  "main": "index.js",
+  "engines": {
+    "node": ">=18.0.0"
+  },
+  "files": [
+    "dist"
+  ],
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "packageManager": "pnpm@10.28.1",
   "scripts": {
-    "test": "echo \"Error: no test specified\" && exit 1"
+    "build": "tsc -p tsconfig.build.json",
+    "typecheck": "tsc --noEmit",
+    "lint": "eslint src/",
+    "lint:fix": "eslint src/ --fix",
+    "format": "prettier --write \"src/**/*.ts\" \"examples/**/*.ts\"",
+    "format:check": "prettier --check \"src/**/*.ts\" \"examples/**/*.ts\"",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "test:coverage": "vitest run --coverage",
+    "bench": "vitest bench",
+    "docs": "typedoc",
+    "docs:watch": "typedoc --watch",
+    "prepublishOnly": "pnpm build"
+  },
+  "dependencies": {
+    "@sinclair/parsebox": "^0.11.1",
+    "arktype": "^2.1.29"
+  },
+  "devDependencies": {
+    "@eslint/js": "^9.39.2",
+    "@types/node": "^22.10.5",
+    "@vitest/coverage-v8": "^4.0.17",
+    "eslint": "^9.39.2",
+    "eslint-config-prettier": "^10.1.8",
+    "eslint-plugin-prettier": "^5.5.5",
+    "hotscript": "^1.0.13",
+    "prettier": "^3.8.0",
+    "tsx": "^4.21.0",
+    "typedoc": "^0.28.16",
+    "typescript": "^5.7.2",
+    "typescript-eslint": "^8.53.0",
+    "vitest": "^4.0.17"
   }
-}
+}