runtypex 0.1.3 → 0.1.5

package/dist/cjs/transformer/vite-plugin.js

@@ -1,137 +0,0 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.default = vitePluginRuntypex;
-const typescript_1 = __importDefault(require("typescript"));
-const node_path_1 = __importDefault(require("node:path"));
-const core_1 = require("../core");
-/**
- * 🧩 vitePluginRuntypex
- * A Vite plugin that performs build-time type → runtime validation transformation.
- *
- * 📘 Purpose
- *  - Replace calls like:
- *      makeValidate<T>(), makeAssert<T>()
- *    with *inline JavaScript guard functions* derived from TypeScript types.
- *
- * 💡 Features
- *  - Works in both dev & build mode
- *  - Optional: remove validation code in production (`removeInProd`)
- *  - Compatible with Rollup / Webpack (via Vite plugin API)
- */
-function vitePluginRuntypex(options) {
-    const removeInProd = !!options?.removeInProd;
-    const prod = process.env.NODE_ENV === "production";
-    return {
-        name: "vite-plugin-runtypex",
-        enforce: "pre",
-        transform(code, id) {
-            const isTS = id.endsWith(".ts") || id.endsWith(".tsx");
-            const isTargetFunction = /make(?:Validate|Assert)</.test(code);
-            if (!isTS || !isTargetFunction)
-                return;
-            const { program, checker } = _createProgramFor(id);
-            const sf = program.getSourceFile(id);
-            if (!sf)
-                return;
-            let mutated = code;
-            // ② makeAssert<T>()
-            mutated = mutated.replace(/makeAssert<\s*([^>]+)\s*>\s*\(\s*\)/g, (_m, typeName) => _emitMakeAssert({ program, checker, sf, typeName, prod, removeInProd }) ?? _m);
-            // ③ makeValidate<T>()
-            mutated = mutated.replace(/makeValidate<\s*([^>]+)\s*>\s*\(\s*\)/g, (_m, typeName) => _emitMakeValidate({ program, checker, sf, typeName, prod, removeInProd }) ?? _m);
-            return mutated === code ? null : { code: mutated, map: null };
-        },
-    };
-}
-// ──────────────────────────────────────────────
-// ① createProgram & TypeChecker
-// ──────────────────────────────────────────────
-function _createProgramFor(file) {
-    const tsconfig = _findNearestTsconfig(node_path_1.default.dirname(file));
-    const cfg = typescript_1.default.readConfigFile(tsconfig, typescript_1.default.sys.readFile);
-    if (cfg.error) {
-        throw new Error(typescript_1.default.flattenDiagnosticMessageText(cfg.error.messageText, "\n"));
-    }
-    const parsed = typescript_1.default.parseJsonConfigFileContent(cfg.config, typescript_1.default.sys, node_path_1.default.dirname(tsconfig));
-    const program = typescript_1.default.createProgram({ rootNames: parsed.fileNames, options: parsed.options });
-    const checker = program.getTypeChecker();
-    return { program, checker };
-}
-function _findNearestTsconfig(start) {
-    let dir = start;
-    while (true) {
-        const candidate = node_path_1.default.join(dir, "tsconfig.json");
-        if (typescript_1.default.sys.fileExists(candidate))
-            return candidate;
-        const parent = node_path_1.default.dirname(dir);
-        if (parent === dir)
-            break;
-        dir = parent;
-    }
-    const fallback = node_path_1.default.join(process.cwd(), "tsconfig.json");
-    if (typescript_1.default.sys.fileExists(fallback))
-        return fallback;
-    throw new Error("tsconfig.json not found");
-}
-function _emitMakeValidate({ program, checker, sf, typeName, prod, removeInProd, }) {
-    if (removeInProd && prod)
-        return `((_)=>true)`;
-    const type = _resolveTypeByName(program, sf, checker, typeName.trim());
-    if (!type)
-        return null;
-    return (0, core_1.emitGuardFromType)(checker, type);
-}
-function _emitMakeAssert({ program, checker, sf, typeName, prod, removeInProd, }) {
-    if (removeInProd && prod)
-        return `((_)=>{})`;
-    const type = _resolveTypeByName(program, sf, checker, typeName.trim());
-    if (!type)
-        return null;
-    const guard = (0, core_1.emitGuardFromType)(checker, type);
-    return `(function(){const G=${guard};return(i)=>{if(!G(i))throw new TypeError("[runtypex] Validation failed.");};})()`;
-}
-// ──────────────────────────────────────────────
-// ③ Type Resolution (support interface/type/enum)
-// ──────────────────────────────────────────────
-function _resolveTypeByName(program, sf, checker, name) {
-    // scan all source files for local declaration
-    for (const file of program.getSourceFiles()) {
-        const decl = _findLocalDeclaration(file, name);
-        if (!decl)
-            continue;
-        // interface / class / enum
-        if (typescript_1.default.isInterfaceDeclaration(decl) || typescript_1.default.isClassDeclaration(decl) || typescript_1.default.isEnumDeclaration(decl)) {
-            // @ts-ignore
-            const symbol = checker.getSymbolAtLocation(decl.name);
-            if (symbol)
-                return checker.getDeclaredTypeOfSymbol(symbol);
-        }
-        // type alias
-        if (typescript_1.default.isTypeAliasDeclaration(decl)) {
-            return checker.getTypeFromTypeNode(decl.type);
-        }
-    }
-    // Scope-based fallback
-    const symbol = checker
-        .getSymbolsInScope(sf, typescript_1.default.SymbolFlags.Type | typescript_1.default.SymbolFlags.Alias | typescript_1.default.SymbolFlags.Interface)
-        .find((s) => s.name === name);
-    return symbol ? checker.getDeclaredTypeOfSymbol(symbol) : null;
-}
-function _findLocalDeclaration(sf, name) {
-    let found;
-    (function walk(node) {
-        if ((typescript_1.default.isInterfaceDeclaration(node) ||
-            typescript_1.default.isTypeAliasDeclaration(node) ||
-            typescript_1.default.isEnumDeclaration(node) ||
-            typescript_1.default.isClassDeclaration(node)) &&
-            node.name?.text === name) {
-            found = node;
-            return;
-        }
-        if (!found)
-            node.forEachChild(walk);
-    })(sf);
-    return found;
-}

package/dist/core/emitArrayOrTuple.d.ts

@@ -1,6 +0,0 @@
-import ts from "typescript";
-import type { GenContext } from "./index";
-/**
- * Handles array (T[]) and tuple ([A, B]) types.
- */
-export declare function emitArrayOrTuple(ctx: GenContext, expr: string, t: ts.Type): string | null;

package/dist/core/emitArrayOrTuple.js

@@ -1,38 +0,0 @@
-/**
- * Handles array (T[]) and tuple ([A, B]) types.
- */
-export function emitArrayOrTuple(ctx, expr, t) {
-    if (ctx.checker.isTupleType(t)) {
-        return _emitTuple(t, expr, ctx);
-    }
-    if (ctx.checker.isArrayType(t)) {
-        return _emitArray(ctx, expr, t);
-    }
-    return null;
-}
-/**
- * Generate validation for Array<T>
- */
-function _emitArray(ctx, expr, t) {
-    const arrayCheck = `Array.isArray(${expr})`;
-    // Try extracting element type
-    const element = ctx.checker.getElementTypeOfArrayType?.(t) ||
-        t.typeArguments?.[0] ||
-        t.getNumberIndexType?.();
-    if (!element)
-        return arrayCheck;
-    const eachCheck = `${expr}.every(e=>${ctx.emit("e", element)})`;
-    return `(${arrayCheck}&&${eachCheck})`;
-}
-/**
- * Generate validation for Tuple [A, B, ...]
- */
-function _emitTuple(ref, expr, ctx) {
-    const elements = ref.typeArguments ?? ctx.checker.getTypeArguments?.(ref) ?? [];
-    const arrayCheck = `Array.isArray(${expr})`;
-    const lenCheck = `${expr}.length===${elements.length}`;
-    const elementChecks = elements.map((el, i) => ctx.emit(`${expr}[${i}]`, el));
-    const parts = [arrayCheck, lenCheck, ...elementChecks];
-    return `(${parts.join("&&")})`;
-}
-//# sourceMappingURL=emitArrayOrTuple.js.map

package/dist/core/emitArrayOrTuple.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"emitArrayOrTuple.js","sourceRoot":"","sources":["../../src/core/emitArrayOrTuple.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAe,EAAE,IAAY,EAAE,CAAU;IACxE,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,OAAO,UAAU,CAAC,CAAqB,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,GAAe,EAAE,IAAY,EAAE,CAAU;IAC3D,MAAM,UAAU,GAAG,iBAAiB,IAAI,GAAG,CAAC;IAE5C,8BAA8B;IAC9B,MAAM,OAAO,GACV,GAAG,CAAC,OAAe,CAAC,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClD,CAAsB,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,kBAAkB,EAAE,EAAE,CAAC;IAE3B,IAAI,CAAC,OAAO;QAAE,OAAO,UAAU,CAAC;IAChC,MAAM,SAAS,GAAG,GAAG,IAAI,aAAa,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;IAChE,OAAO,IAAI,UAAU,KAAK,SAAS,GAAG,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,GAAqB,EAAE,IAAY,EAAE,GAAe;IACtE,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,IAAK,GAAG,CAAC,OAAe,CAAC,gBAAgB,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAEzF,MAAM,UAAU,GAAG,iBAAiB,IAAI,GAAG,CAAC;IAC5C,MAAM,QAAQ,GAAG,GAAG,IAAI,aAAa,QAAQ,CAAC,MAAM,EAAE,CAAC;IACvD,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAW,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAE9F,MAAM,KAAK,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,CAAC;IACvD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACjC,CAAC"}

package/dist/core/emitLiteralOrEnum.d.ts

@@ -1,4 +0,0 @@
-import ts from "typescript";
-import type { GenContext } from "./index";
-/** Handles literal types and enum-like types. */
-export declare function emitLiteralOrEnum(_: GenContext, expr: string, t: ts.Type): string | null;

package/dist/core/emitLiteralOrEnum.js

@@ -1,42 +0,0 @@
-import ts from "typescript";
-/** Handles literal types and enum-like types. */
-export function emitLiteralOrEnum(_, expr, t) {
-    if (t.isLiteral()) {
-        const value = t.value;
-        const isString = typeof value === "string";
-        const newValue = isString ? JSON.stringify(value) : String(value);
-        return `${expr}===${newValue}`;
-    }
-    const isEnum = t.flags & ts.TypeFlags.EnumLike;
-    if (isEnum) {
-        const enumValues = _extractEnumValues(t);
-        if (enumValues.length) {
-            return `(${enumValues.map(v => `${expr}===${v}`).join("||")})`;
-        }
-    }
-    return null;
-}
-// Extracts numeric or string values from an Enum declaration.
-function _extractEnumValues(t) {
-    const symbol = t.getSymbol();
-    if (!symbol)
-        return [];
-    const values = [];
-    const declarations = symbol.getDeclarations() ?? [];
-    for (const declaration of declarations) {
-        const isEnum = ts.isEnumDeclaration(declaration);
-        if (!isEnum)
-            continue;
-        for (const member of declaration.members) {
-            const init = member.initializer;
-            if (!init)
-                continue;
-            if (ts.isStringLiteral(init) || ts.isNumericLiteral(init)) {
-                const value = ts.isStringLiteral(init) ? JSON.stringify(init.text) : init.text;
-                values.push(value);
-            }
-        }
-    }
-    return values;
-}
-//# sourceMappingURL=emitLiteralOrEnum.js.map

package/dist/core/emitLiteralOrEnum.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"emitLiteralOrEnum.js","sourceRoot":"","sources":["../../src/core/emitLiteralOrEnum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,iDAAiD;AACjD,MAAM,UAAU,iBAAiB,CAAC,CAAa,EAAE,IAAY,EAAE,CAAU;IACvE,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;QAClB,MAAM,KAAK,GAAI,CAAoB,CAAC,KAAK,CAAC;QAC1C,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC;QAC3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAElE,OAAO,GAAG,IAAI,MAAM,QAAQ,EAAE,CAAC;IACjC,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC;IAC/C,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACtB,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8DAA8D;AAC9D,SAAS,kBAAkB,CAAC,CAAU;IACpC,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC;IAC7B,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAEvB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC;IAEpD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QAEjD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC;YAChC,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1D,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/E,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/core/emitObject.d.ts

@@ -1,6 +0,0 @@
-import ts from "typescript";
-import type { GenContext } from "./index";
-/**
- * Handles interfaces, classes, and object-like structures.
- */
-export declare function emitObject(ctx: GenContext, expr: string, t: ts.Type): string | null;

package/dist/core/emitObject.js

@@ -1,23 +0,0 @@
-import ts from "typescript";
-/**
- * Handles interfaces, classes, and object-like structures.
- */
-export function emitObject(ctx, expr, t) {
-    const isObject = (t.getFlags() & ts.TypeFlags.Object) !== 0;
-    if (!isObject)
-        return null;
-    const props = ctx.checker.getPropertiesOfType(t);
-    const parts = [`typeof ${expr}==="object"`, `${expr}!==null`];
-    for (const prop of props) {
-        const declaration = prop.valueDeclaration ?? prop.declarations?.[0];
-        if (!declaration)
-            continue;
-        const propType = ctx.checker.getTypeOfSymbolAtLocation(prop, declaration);
-        const isOptional = (prop.getFlags() & ts.SymbolFlags.Optional) !== 0;
-        const condition = ctx.emit(`${expr}.${prop.name}`, propType);
-        const checkExpr = isOptional ? `(${expr}.${prop.name}===undefined||${condition})` : condition;
-        parts.push(checkExpr);
-    }
-    return `(${parts.join("&&")})`;
-}
-//# sourceMappingURL=emitObject.js.map

package/dist/core/emitObject.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"emitObject.js","sourceRoot":"","sources":["../../src/core/emitObject.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,GAAe,EAAE,IAAY,EAAE,CAAU;IAClE,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAE5D,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAa,CAAC,UAAU,IAAI,aAAa,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;IAExE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,yBAAyB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrE,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,iBAAiB,SAAS,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QAE9F,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACjC,CAAC"}

package/dist/core/emitPrimitive.d.ts

@@ -1,6 +0,0 @@
-import ts from "typescript";
-import type { GenContext } from "./index";
-/**
- * Handles primitive types like number, string, boolean...
- */
-export declare function emitPrimitive(ctx: GenContext, expr: string, t: ts.Type): string | null;

package/dist/core/emitPrimitive.js

@@ -1,24 +0,0 @@
-import ts from "typescript";
-/**
- * Handles primitive types like number, string, boolean...
- */
-export function emitPrimitive(ctx, expr, t) {
-    if ((t.flags & (ts.TypeFlags.Any | ts.TypeFlags.Unknown)) !== 0)
-        return "true";
-    if (t.flags & ts.TypeFlags.Null)
-        return `${expr}===null`;
-    if (t.flags & ts.TypeFlags.Undefined)
-        return `${expr}===undefined`;
-    if (t.flags & ts.TypeFlags.BooleanLike)
-        return `typeof ${expr}==="boolean"`;
-    if (t.flags & ts.TypeFlags.NumberLike)
-        return `typeof ${expr}==="number"`;
-    if (t.flags & ts.TypeFlags.StringLike)
-        return `typeof ${expr}==="string"`;
-    if (t.flags & ts.TypeFlags.BigIntLike)
-        return `typeof ${expr}==="bigint"`;
-    if (t.flags & ts.TypeFlags.ESSymbolLike)
-        return `typeof ${expr}==="symbol"`;
-    return null;
-}
-//# sourceMappingURL=emitPrimitive.js.map

package/dist/core/emitPrimitive.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"emitPrimitive.js","sourceRoot":"","sources":["../../src/core/emitPrimitive.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,GAAe,EAAE,IAAY,EAAE,CAAU;IACrE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAC/E,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI;QAAE,OAAO,GAAG,IAAI,SAAS,CAAC;IACzD,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS;QAAE,OAAO,GAAG,IAAI,cAAc,CAAC;IACnE,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,WAAW;QAAE,OAAO,UAAU,IAAI,cAAc,CAAC;IAC5E,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU;QAAE,OAAO,UAAU,IAAI,aAAa,CAAC;IAC1E,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU;QAAE,OAAO,UAAU,IAAI,aAAa,CAAC;IAC1E,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU;QAAE,OAAO,UAAU,IAAI,aAAa,CAAC;IAC1E,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY;QAAE,OAAO,UAAU,IAAI,aAAa,CAAC;IAC5E,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/emitUnionOrIntersection.d.ts

@@ -1,6 +0,0 @@
-import ts from "typescript";
-import type { GenContext } from "./index";
-/**
- * Handles union (A | B) and intersection (A & B) types.
- */
-export declare function emitUnionOrIntersection(ctx: GenContext, expr: string, t: ts.Type): string | null;

package/dist/core/emitUnionOrIntersection.js

@@ -1,13 +0,0 @@
-/**
- * Handles union (A | B) and intersection (A & B) types.
- */
-export function emitUnionOrIntersection(ctx, expr, t) {
-    if (t.isUnion()) {
-        return `(${t.types.map(tt => ctx.emit(expr, tt)).join("||")})`;
-    }
-    if (t.isIntersection()) {
-        return `(${t.types.map(tt => ctx.emit(expr, tt)).join("&&")})`;
-    }
-    return null;
-}
-//# sourceMappingURL=emitUnionOrIntersection.js.map

package/dist/core/emitUnionOrIntersection.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"emitUnionOrIntersection.js","sourceRoot":"","sources":["../../src/core/emitUnionOrIntersection.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,GAAe,EAAE,IAAY,EAAE,CAAU;IAC/E,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACjE,CAAC;IACD,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/index.d.ts

@@ -1,17 +0,0 @@
-import ts from "typescript";
-/**
- * ✅ emitGuardFromType
- * Converts a TypeScript type to a JavaScript runtime validation function string.
- */
-export declare function emitGuardFromType(checker: ts.TypeChecker, type: ts.Type): string;
-/**
- * ✅ GenContext
- * Internal helper for converting TypeScript types to JS validation expressions.
- */
-export declare class GenContext {
-    checker: ts.TypeChecker;
-    private seen;
-    constructor(checker: ts.TypeChecker);
-    /** Top-level router — delegates each type to the correct handler. */
-    emit(expr: string, t: ts.Type): string;
-}

package/dist/core/index.js

@@ -1,37 +0,0 @@
-import { emitPrimitive } from "./emitPrimitive";
-import { emitLiteralOrEnum } from "./emitLiteralOrEnum";
-import { emitUnionOrIntersection } from "./emitUnionOrIntersection";
-import { emitArrayOrTuple } from "./emitArrayOrTuple";
-import { emitObject } from "./emitObject";
-/**
- * ✅ emitGuardFromType
- * Converts a TypeScript type to a JavaScript runtime validation function string.
- */
-export function emitGuardFromType(checker, type) {
-    const ctx = new GenContext(checker);
-    const condition = ctx.emit("input", type);
-    return `(input)=>${condition}`;
-}
-/**
- * ✅ GenContext
- * Internal helper for converting TypeScript types to JS validation expressions.
- */
-export class GenContext {
-    checker;
-    seen = new Map();
-    constructor(checker) {
-        this.checker = checker;
-    }
-    /** Top-level router — delegates each type to the correct handler. */
-    emit(expr, t) {
-        if (this.seen.has(t))
-            return this.seen.get(t);
-        return (emitPrimitive(this, expr, t) ??
-            emitLiteralOrEnum(this, expr, t) ??
-            emitUnionOrIntersection(this, expr, t) ??
-            emitArrayOrTuple(this, expr, t) ??
-            emitObject(this, expr, t) ??
-            "true");
-    }
-}
-//# sourceMappingURL=index.js.map

package/dist/core/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAuB,EAAE,IAAa;IACtE,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1C,OAAO,YAAY,SAAS,EAAE,CAAC;AACjC,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,UAAU;IAGF;IAFX,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE1C,YAAmB,OAAuB;QAAvB,YAAO,GAAP,OAAO,CAAgB;IAAG,CAAC;IAE9C,qEAAqE;IACrE,IAAI,CAAC,IAAY,EAAE,CAAU;QAC3B,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAE/C,OAAO,CACL,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5B,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAChC,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACtC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/B,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACzB,MAAM,CACP,CAAC;IACJ,CAAC;CACF"}

package/dist/index.d.ts

@@ -1,3 +0,0 @@
-export { makeValidate, makeAssert, type ValidateFn } from "./runtime/validate";
-export { default as vitePlugin } from "./transformer/vite-plugin";
-export { default as tsTransformer } from "./transformer/ts-transformer";

package/dist/index.js

@@ -1,4 +0,0 @@
-export { makeValidate, makeAssert } from "./runtime/validate";
-export { default as vitePlugin } from "./transformer/vite-plugin";
-export { default as tsTransformer } from "./transformer/ts-transformer";
-//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,UAAU,EAAmB,MAAM,oBAAoB,CAAA;AAC9E,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACjE,OAAO,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,8BAA8B,CAAA"}

package/dist/runtime/validate.d.ts

@@ -1,10 +0,0 @@
-/**
- * runtypex — runtime APIs
- * 1) makeValidate<T>()  : (v) => v is T
- * 2) makeAssert<T>()    : throws on invalid
- *
- * NOTE: These factories are replaced at build-time by the transformer.
- */
-export type ValidateFn<T> = (value: unknown) => value is T;
-export declare function makeValidate<T>(): ValidateFn<T>;
-export declare function makeAssert<T>(): (value: unknown) => asserts value is T;

package/dist/runtime/validate.js

@@ -1,15 +0,0 @@
-// Replaced by transformer to generated guard
-function __validate(_value) {
-    throw new Error("[runtypex] makeValidate() was not transformed. Add the plugin/transformer.");
-}
-export function makeValidate() {
-    return (value) => __validate(value);
-}
-export function makeAssert() {
-    const validate = makeValidate();
-    return (value) => {
-        if (!validate(value))
-            throw new TypeError("[runtypex] Validation failed.");
-    };
-}
-//# sourceMappingURL=validate.js.map

package/dist/runtime/validate.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/runtime/validate.ts"],"names":[],"mappings":"AASA,6CAA6C;AAC7C,SAAS,UAAU,CAAI,MAAe;IACpC,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,YAAY;IAC1B,OAAO,CAAC,KAAc,EAAc,EAAE,CAAC,UAAU,CAAI,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,UAAU;IACxB,MAAM,QAAQ,GAAG,YAAY,EAAK,CAAC;IAEnC,OAAO,CAAC,KAAc,EAAsB,EAAE;QAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;IAC7E,CAAC,CAAC;AACJ,CAAC"}

package/dist/transformer/ts-transformer.d.ts

@@ -1,25 +0,0 @@
-import ts from "typescript";
-/**
- * 🧩 tsTransformer
- * TypeScript custom transformer (BEFORE) factory.
- *
- * 📘 Usage (ts-loader / ttypescript):
- * ```ts
- * getCustomTransformers: (program) => ({
- *   before: [ tsTransformer({ program, removeInProd: true }) ]
- * })
- * ```
- *
- * 🧠 Purpose:
- *  - Replace makeValidate<T>(), makeAssert<T>() calls
- *    with *pre-generated runtime validation code* derived from T.
- *
- * 💡 Effect:
- *   ✅ No reflection or runtime type parsing
- *   ✅ Validation logic embedded at build-time
- *   ✅ Optionally removed in production builds
- */
-export default function tsTransformer(options: {
-    program: ts.Program;
-    removeInProd?: boolean;
-}): (context: ts.TransformationContext) => (sf: ts.SourceFile) => ts.Node | undefined;

package/dist/transformer/ts-transformer.js

@@ -1,98 +0,0 @@
-import ts from "typescript";
-import { emitGuardFromType } from "../core";
-/**
- * 🧩 tsTransformer
- * TypeScript custom transformer (BEFORE) factory.
- *
- * 📘 Usage (ts-loader / ttypescript):
- * ```ts
- * getCustomTransformers: (program) => ({
- *   before: [ tsTransformer({ program, removeInProd: true }) ]
- * })
- * ```
- *
- * 🧠 Purpose:
- *  - Replace makeValidate<T>(), makeAssert<T>() calls
- *    with *pre-generated runtime validation code* derived from T.
- *
- * 💡 Effect:
- *   ✅ No reflection or runtime type parsing
- *   ✅ Validation logic embedded at build-time
- *   ✅ Optionally removed in production builds
- */
-export default function tsTransformer(options) {
-    const { program } = options;
-    const checker = options.program.getTypeChecker();
-    const removeInProd = !!options.removeInProd;
-    const prod = process.env.NODE_ENV === "production";
-    return (context) => {
-        const visit = (node) => {
-            if (ts.isCallExpression(node) && ts.isIdentifier(node.expression)) {
-                const name = node.expression.text;
-                const targetFunctions = ["makeValidate", "makeAssert"];
-                if (targetFunctions.includes(name) && node.typeArguments?.length) {
-                    const typeNode = node.typeArguments[0];
-                    const typeName = typeNode.getText();
-                    const type = _resolveTypeByName(program, node.getSourceFile(), checker, typeName);
-                    if (!type)
-                        return node;
-                    const isRemovedInProd = removeInProd && prod;
-                    switch (name) {
-                        case "makeValidate":
-                            return _emitMakeValidate(checker, type, isRemovedInProd);
-                        case "makeAssert":
-                            return _emitMakeAssert(checker, type, isRemovedInProd);
-                    }
-                }
-            }
-            return ts.visitEachChild(node, visit, context);
-        };
-        return (sf) => ts.visitNode(sf, visit);
-    };
-}
-function _resolveTypeByName(program, sf, checker, name) {
-    for (const file of program.getSourceFiles()) {
-        const decl = _findLocalDeclaration(file, name);
-        if (!decl)
-            continue;
-        if (ts.isInterfaceDeclaration(decl) || ts.isClassDeclaration(decl) || ts.isEnumDeclaration(decl)) {
-            // @ts-ignore
-            const sym = checker.getSymbolAtLocation(decl.name);
-            if (sym)
-                return checker.getDeclaredTypeOfSymbol(sym);
-        }
-        if (ts.isTypeAliasDeclaration(decl)) {
-            return checker.getTypeFromTypeNode(decl.type);
-        }
-    }
-    const sym = checker
-        .getSymbolsInScope(sf, ts.SymbolFlags.Type | ts.SymbolFlags.Alias | ts.SymbolFlags.Interface)
-        .find((s) => s.name === name);
-    return sym ? checker.getDeclaredTypeOfSymbol(sym) : null;
-}
-function _findLocalDeclaration(sf, name) {
-    let found;
-    (function walk(node) {
-        if ((ts.isInterfaceDeclaration(node) ||
-            ts.isTypeAliasDeclaration(node) ||
-            ts.isEnumDeclaration(node) ||
-            ts.isClassDeclaration(node)) &&
-            node.name?.text === name) {
-            found = node;
-            return;
-        }
-        if (!found)
-            node.forEachChild(walk);
-    })(sf);
-    return found;
-}
-function _emitMakeValidate(checker, type, isRemovedInProd) {
-    const guard = isRemovedInProd ? "((_)=>true)" : emitGuardFromType(checker, type);
-    return ts.factory.createIdentifier(guard);
-}
-function _emitMakeAssert(checker, type, isRemovedInProd) {
-    const guard = isRemovedInProd ? "((_)=>{})" : emitGuardFromType(checker, type);
-    const txt = `(function(){const G=${guard};return(i)=>{if(!G(i))throw new TypeError("[runtypex] Validation failed.");};})()`;
-    return ts.factory.createIdentifier(txt);
-}
-//# sourceMappingURL=ts-transformer.js.map

package/dist/transformer/ts-transformer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ts-transformer.js","sourceRoot":"","sources":["../../src/transformer/ts-transformer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAE5C;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,OAAO,UAAU,aAAa,CAAC,OAAwD;IAC5F,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;IACjD,MAAM,YAAY,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,YAAY,CAAC;IAEnD,OAAO,CAAC,OAAiC,EAAE,EAAE;QAC3C,MAAM,KAAK,GAAe,CAAC,IAAa,EAAW,EAAE;YACnD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAClC,MAAM,eAAe,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;gBAEvD,IAAI,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;oBACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;oBACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;oBACpC,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;oBAElF,IAAI,CAAC,IAAI;wBAAE,OAAO,IAAI,CAAC;oBAEvB,MAAM,eAAe,GAAG,YAAY,IAAI,IAAI,CAAC;oBAC7C,QAAQ,IAAI,EAAE,CAAC;wBACb,KAAK,cAAc;4BACjB,OAAO,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;wBAC3D,KAAK,YAAY;4BACf,OAAO,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;oBAC3D,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,OAAO,CAAC,EAAiB,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC;AACJ,CAAC;AAGD,SAAS,kBAAkB,CACzB,OAAmB,EACnB,EAAiB,EACjB,OAAuB,EACvB,IAAY;IAEZ,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjG,aAAa;YACb,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,GAAG;gBAAE,OAAO,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAG,OAAO;SAChB,iBAAiB,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC;SAC5F,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAChC,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,SAAS,qBAAqB,CAAC,EAAiB,EAAE,IAAY;IAC5D,IAAI,KAA0B,CAAC;IAC/B,CAAC,SAAS,IAAI,CAAC,IAAa;QAC1B,IACE,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAY,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,EACjC,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACP,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAuB,EAAE,IAAa,EAAE,eAAwB;IACzF,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAEjF,OAAO,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAQ,CAAC;AACnD,CAAC;AAED,SAAS,eAAe,CAAC,OAAuB,EAAE,IAAa,EAAE,eAAwB;IACvF,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,uBAAuB,KAAK,mFAAmF,CAAC;IAE5H,OAAO,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAQ,CAAC;AACjD,CAAC"}

package/dist/transformer/vite-plugin.d.ts

@@ -1,18 +0,0 @@
-import type { Plugin } from "vite";
-/**
- * 🧩 vitePluginRuntypex
- * A Vite plugin that performs build-time type → runtime validation transformation.
- *
- * 📘 Purpose
- *  - Replace calls like:
- *      makeValidate<T>(), makeAssert<T>()
- *    with *inline JavaScript guard functions* derived from TypeScript types.
- *
- * 💡 Features
- *  - Works in both dev & build mode
- *  - Optional: remove validation code in production (`removeInProd`)
- *  - Compatible with Rollup / Webpack (via Vite plugin API)
- */
-export default function vitePluginRuntypex(options?: {
-    removeInProd?: boolean;
-}): Plugin;