@systemfsoftware/effect-schema-vite 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Ryan Lee
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

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.d.mts

@@ -0,0 +1,25 @@
+import { Plugin } from "vite";
+//#region src/vite-inline-schema-tests.d.ts
+/** @since 0.1.0 */
+interface InlineSchemaTestsOptions {
+  /** Directory to scan for schema files, relative to Vite root. Default: `"src"`. */
+  dir?: string;
+}
+/**
+ * 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()],
+ * })
+ * ```
+ */
+declare const inlineSchemaTests: (options?: InlineSchemaTestsOptions) => Plugin;
+//#endregion
+export { type InlineSchemaTestsOptions, inlineSchemaTests };

package/dist/index.d.ts

@@ -0,0 +1,25 @@
+import { Plugin } from "vite";
+//#region src/vite-inline-schema-tests.d.ts
+/** @since 0.1.0 */
+interface InlineSchemaTestsOptions {
+  /** Directory to scan for schema files, relative to Vite root. Default: `"src"`. */
+  dir?: string;
+}
+/**
+ * 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()],
+ * })
+ * ```
+ */
+declare const inlineSchemaTests: (options?: InlineSchemaTestsOptions) => Plugin;
+//#endregion
+export { type InlineSchemaTestsOptions, inlineSchemaTests };

package/dist/index.mjs

@@ -0,0 +1,151 @@
+import { readFileSync, readdirSync, statSync } from "node:fs";
+import { extname, join, relative, resolve } from "node:path";
+import { parseSync } from "oxc-parser";
+//#region src/vite-inline-schema-tests.ts
+/**
+* Walk a directory and return every exported const whose type annotation
+* or initialiser references Effect Schema APIs.
+*/
+function findExportedSchemas(root, dir) {
+	const schemas = [];
+	function walk(current) {
+		let entries;
+		try {
+			entries = readdirSync(current);
+		} catch {
+			return;
+		}
+		for (const entry of entries) {
+			const full = join(current, entry);
+			let stat;
+			try {
+				stat = statSync(full);
+			} catch {
+				continue;
+			}
+			if (stat.isDirectory()) {
+				if (entry === "__tests__" || entry === "node_modules" || entry === ".git") continue;
+				walk(full);
+			} else if (stat.isFile() && extname(entry) === ".ts" && !entry.endsWith(".test.ts") && !entry.endsWith(".spec.ts")) {
+				const names = findExportedSchemaNames(readFileSync(full, "utf-8"));
+				for (const name of names) schemas.push({
+					name,
+					importPath: `./${relative(root, full).replace(/\.ts$/, "")}`
+				});
+			}
+		}
+	}
+	walk(dir);
+	return schemas;
+}
+function findExportedSchemaNames(source) {
+	try {
+		const result = parseSync("temp.ts", source);
+		const names = [];
+		for (const node of result.program.body) {
+			if (node.type !== "ExportNamedDeclaration") continue;
+			const decl = node.declaration;
+			if (!decl || decl.type !== "VariableDeclaration") continue;
+			for (const declarator of decl.declarations) {
+				const id = declarator.id;
+				if (id.type !== "Identifier") continue;
+				const name = id.name;
+				if (name.startsWith("_")) continue;
+				let isSchema = false;
+				if (id.typeAnnotation?.typeAnnotation) isSchema = typeRefContainsSchema(id.typeAnnotation.typeAnnotation);
+				if (!isSchema && declarator.init) isSchema = initRefersToSchema(declarator.init);
+				if (isSchema) names.push(name);
+			}
+		}
+		return names;
+	} catch {
+		return [];
+	}
+}
+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;
+	}
+	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 (callee.type === "MemberExpression") return memberChainStartsWithS(callee);
+		if (callee.type === "Identifier" && callee.name.includes("Schema")) return true;
+	}
+	if (node.type === "MemberExpression") return memberChainStartsWithS(node);
+	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 === "MemberExpression") return memberChainStartsWithS(obj);
+	return false;
+}
+/**
+* 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()],
+* })
+* ```
+*/
+const inlineSchemaTests = (options) => {
+	let config;
+	return {
+		name: "@systemfsoftware/inline-schema-tests",
+		enforce: "pre",
+		configResolved(c) {
+			config = c;
+		},
+		resolveId(id) {
+			if (id === "virtual:@systemfsoftware/inline-schema-tests") return "\0virtual:@systemfsoftware/inline-schema-tests";
+		},
+		load(id) {
+			if (id !== "\0virtual:@systemfsoftware/inline-schema-tests") return;
+			const srcDir = resolve(config.root, options?.dir ?? "src");
+			const schemas = findExportedSchemas(config.root, srcDir);
+			if (schemas.length === 0) return "// no schemas found";
+			return [
+				`import { ruleOfSchemas } from '@systemfsoftware/effect-schema-law'`,
+				schemas.map((s) => `import { ${s.name} } from '${s.importPath}'`).join("\n"),
+				"",
+				schemas.map((s) => `ruleOfSchemas('${s.name}', ${s.name})`).join("\n")
+			].join("\n");
+		}
+	};
+};
+//#endregion
+export { inlineSchemaTests };

package/package.json

@@ -0,0 +1,69 @@
+{
+  "name": "@systemfsoftware/effect-schema-vite",
+  "license": "MIT",
+  "version": "0.1.0",
+  "author": "Ryan Lee <drdgvhbh@gmail.com>",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/systemfsoftware/systemfsoftware.git",
+    "directory": "packages/effect-schema-vite"
+  },
+  "homepage": "https://github.com/systemfsoftware/systemfsoftware/tree/main/packages/effect-schema-vite#readme",
+  "bugs": "https://github.com/systemfsoftware/systemfsoftware/issues",
+  "description": "Vite plugin that auto-discovers Effect Schema exports and injects round-trip property tests via @systemfsoftware/effect-schema-law.",
+  "keywords": [
+    "effect",
+    "effect-ts",
+    "schema",
+    "vite",
+    "vitest",
+    "plugin",
+    "property-testing",
+    "law-testing",
+    "typescript"
+  ],
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/effect-schema-vite.d.ts",
+      "default": "./dist/index.mjs"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "dist"
+  ],
+  "dependencies": {
+    "oxc-parser": "^0.140.0",
+    "@oxc-project/types": "^0.140.0"
+  },
+  "devDependencies": {
+    "@microsoft/api-extractor": "^7.58.7",
+    "@types/node": "^24",
+    "effect": "^3.22.0",
+    "rimraf": "^6.1.3",
+    "tsdown": "^0.22.9",
+    "vite": "^7",
+    "vitest": "^4",
+    "@systemfsoftware/effect-schema-law": "^0.1.0",
+    "@systemfsoftware/oxlint-config": "^0.1.0",
+    "@systemfsoftware/tsconfig": "^1.0.0",
+    "@systemfsoftware/vitest-config": "^0.1.0"
+  },
+  "peerDependencies": {
+    "@systemfsoftware/effect-schema-law": "*",
+    "effect": "*",
+    "vite": ">5.0.0",
+    "vitest": "*"
+  },
+  "scripts": {
+    "clean": "rimraf dist",
+    "build": "tsdown",
+    "typecheck": "tsc --noEmit --incremental",
+    "test": "vitest run",
+    "test:run": "vitest run",
+    "api:check": "api-extractor run",
+    "api:update": "api-extractor run --local",
+    "lint": "oxlint . ${AGENT:+--format=unix --quiet}"
+  }
+}