@systemfsoftware/effect-schema-vite 1.1.7 → 1.3.0

package/dist/effect-schema-vite.d.ts

@@ -0,0 +1,26 @@
+import { Plugin as Plugin_2 } from 'vite';
+
+/**
+ * Vite plugin that walks the consumer's `src/` directory, finds every
+ * exported Effect `Schema`, and auto-injects `ruleOfSchemas` round-trip
+ * property tests for each one.
+ *
+ * @example
+ * ```ts
+ * // vitest.config.ts
+ * import { inlineSchemaTests } from '@systemfsoftware/effect-schema-vite'
+ *
+ * export default defineConfig({
+ *   plugins: [inlineSchemaTests()],
+ * })
+ * ```
+ */
+export declare const inlineSchemaTests: (options?: InlineSchemaTestsOptions) => Plugin_2;
+
+/** @since 0.1.0 */
+export declare interface InlineSchemaTestsOptions {
+    /** Directory to scan for schema files, relative to Vite root. Default: `"src"`. */
+    dir?: string;
+}
+
+export { }

package/dist/index.mjs

@@ -45,7 +45,13 @@ function findExportedSchemaNames(source) {
 		for (const node of result.program.body) {
 			if (node.type !== "ExportNamedDeclaration") continue;
 			const decl = node.declaration;
-			if (!decl || decl.type !== "VariableDeclaration") continue;
+			if (!decl) continue;
+			if (decl.type === "ClassDeclaration") {
+				const className = decl.id?.name;
+				if (typeof className === "string" && !className.startsWith("_") && extendsSchemaClass(decl.superClass)) names.push(className);
+				continue;
+			}
+			if (decl.type !== "VariableDeclaration") continue;
 			for (const declarator of decl.declarations) {
 				const id = declarator.id;
 				if (id.type !== "Identifier") continue;
@@ -63,51 +69,55 @@ function findExportedSchemaNames(source) {
 	}
 }
 function typeRefContainsSchema(t) {
-	if (!t || typeof t !== "object") return false;
-	const node = t;
-	if (node.type === "TSTypeReference" && node.typeName) {
-		const tn = node.typeName;
-		if (tn.type === "Identifier" && typeof tn.name === "string" && tn.name.includes("Schema")) return true;
-		if (tn.type === "TSQualifiedName" && typeof tn.name === "string" && tn.name.includes("Schema")) return true;
-	}
-	if (node.typeParameters) {
-		const params = node.typeParameters;
-		if (Array.isArray(params.params)) {
-			for (const p of params.params) if (typeRefContainsSchema(p)) return true;
-		}
-	}
-	if (node.types && Array.isArray(node.types)) {
-		for (const m of node.types) if (typeRefContainsSchema(m)) return true;
-	}
+	if (!t) return false;
+	if (t.type === "TSTypeReference" && t.typeName.type === "Identifier") return t.typeName.name.includes("Schema");
+	if (t.type === "TSUnionType" || t.type === "TSIntersectionType") return t.types.some((member) => typeRefContainsSchema(member));
 	return false;
 }
 function initRefersToSchema(expr) {
-	if (!expr || typeof expr !== "object") return false;
-	const node = expr;
-	if (node.type === "CallExpression" && node.callee) {
-		const callee = node.callee;
-		if (callee.type === "Identifier" && callee.name === "pipe") {
-			const args = node.arguments;
-			if (Array.isArray(args)) {
-				for (const arg of args) if (initRefersToSchema(arg)) return true;
-			}
-			return false;
-		}
+	if (!expr) return false;
+	if (expr.type === "CallExpression") {
+		const callee = expr.callee;
+		if (callee.type === "Identifier" && callee.name === "pipe") return expr.arguments.some((arg) => arg.type !== "SpreadElement" && initRefersToSchema(arg));
 		if (callee.type === "MemberExpression") return memberChainStartsWithS(callee);
-		if (callee.type === "Identifier" && callee.name.includes("Schema")) return true;
+		if (callee.type === "Identifier") return callee.name.includes("Schema");
+		return false;
 	}
-	if (node.type === "MemberExpression") return memberChainStartsWithS(node);
+	if (expr.type === "MemberExpression") return memberChainStartsWithS(expr);
 	return false;
 }
 function memberChainStartsWithS(node) {
 	const obj = node.object;
-	if (!obj) return false;
-	if (obj.type === "Identifier" && obj.name === "S") return true;
-	if (obj.type === "Identifier" && typeof obj.name === "string" && obj.name.includes("Schema")) return true;
+	if (obj.type === "Identifier") return obj.name === "S" || obj.name.includes("Schema");
 	if (obj.type === "MemberExpression") return memberChainStartsWithS(obj);
+	if (obj.type === "CallExpression") {
+		const callee = obj.callee;
+		if (callee.type === "MemberExpression") return memberChainStartsWithS(callee);
+		if (callee.type === "Identifier") return callee.name === "S" || callee.name.includes("Schema");
+	}
 	return false;
 }
 /**
+* True when a class extends `Schema.Class(...)` or `Schema.TaggedClass(...)`.
+* The constructor is curried — `Schema.Class<Foo>()({...})` is two nested
+* CallExpressions wrapping one MemberExpression — so unwrap the call chain
+* before inspecting the member.
+*
+* `Schema.TaggedError` is deliberately excluded: an error is a failure value,
+* not a codec, so it is not subject to the round-trip laws (and its `cause`
+* field is routinely `S.Unknown`, which does not round-trip).
+*/
+function extendsSchemaClass(superClass) {
+	if (!superClass) return false;
+	let callee = superClass;
+	while (callee.type === "CallExpression") callee = callee.callee;
+	if (callee.type !== "MemberExpression") return false;
+	if (callee.property.type !== "Identifier") return false;
+	const propName = callee.property.name;
+	if (propName !== "Class" && propName !== "TaggedClass") return false;
+	return memberChainStartsWithS(callee);
+}
+/**
 * Vite plugin that walks the consumer's `src/` directory, finds every
 * exported Effect `Schema`, and auto-injects `ruleOfSchemas` round-trip
 * property tests for each one.
@@ -131,7 +141,7 @@ const inlineSchemaTests = (options) => {
 			config = c;
 		},
 		resolveId(id) {
-			if (id === "virtual:@systemfsoftware/inline-schema-tests") return "\0virtual:@systemfsoftware/inline-schema-tests";
+			return id === "virtual:@systemfsoftware/inline-schema-tests" ? "\0virtual:@systemfsoftware/inline-schema-tests" : void 0;
 		},
 		load(id) {
 			if (id !== "\0virtual:@systemfsoftware/inline-schema-tests") return;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@systemfsoftware/effect-schema-vite",
   "license": "MIT",
-  "version": "1.1.7",
+  "version": "1.3.0",
   "author": "Ryan Lee <drdgvhbh@gmail.com>",
   "repository": {
     "type": "git",
@@ -46,10 +46,10 @@
     "vite": "^7",
     "vitest": "^4",
     "@systemfsoftware/arethetypeswrong-cli": "^1.0.7",
+    "@systemfsoftware/tsconfig": "^1.2.6",
     "@systemfsoftware/oxlint-config": "^0.1.0",
-    "@systemfsoftware/effect-schema-law": "^0.3.9",
-    "@systemfsoftware/tsconfig": "^1.2.5",
-    "@systemfsoftware/vitest-config": "^0.1.0"
+    "@systemfsoftware/vitest-config": "^0.1.0",
+    "@systemfsoftware/effect-schema-law": "^0.5.0"
   },
   "peerDependencies": {
     "@systemfsoftware/effect-schema-law": "*",
@@ -62,7 +62,7 @@
   },
   "scripts": {
     "clean": "rimraf dist",
-    "build": "tsdown",
+    "build": "tsdown && pnpm api:check",
     "typecheck": "tsc --noEmit --incremental",
     "test": "vitest run",
     "test:run": "vitest run",