@pithos/core 2.0.0

package/dist/kanon/jit/builders/primitives/number.js

@@ -0,0 +1,405 @@
+/**
+ * @module kanon/jit/builders/primitives/number
+ *
+ * Number Code Builder - Complete Implementation
+ *
+ * Generates inline JavaScript code for number type validation
+ * including all constraints: min, max, lt, lte, gt, gte, positive, negative,
+ * int, multipleOf.
+ *
+ * This file merges and extends number-base.ts with advanced constraints.
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import { formatPath, getIndent } from "../../context";
+import { escapeString, debugComment } from "../../utils/code";
+import { ERROR_MESSAGES_COMPOSITION } from "../../../core/consts/messages";
+// ============================================================================
+// Base constraint generators (from number-base.ts)
+// ============================================================================
+/**
+ * Generates the type check code for a number value.
+ * Includes NaN check as NaN is technically a number but invalid for validation.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export function generateNumberTypeCheck(varName, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.number}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, "Type check: number");
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (typeof ${varName} !== "number" || Number.isNaN(${varName})) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the min constraint (inclusive).
+ *
+ * @param varName - The variable name to check
+ * @param min - Minimum value (inclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export function generateMinCheck(varName, min, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.min(min)}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, `Constraint: min(${min})`);
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (${varName} < ${min}) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the max constraint (inclusive).
+ *
+ * @param varName - The variable name to check
+ * @param max - Maximum value (inclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export function generateMaxCheck(varName, max, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.max(max)}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, `Constraint: max(${max})`);
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (${varName} > ${max}) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the lt constraint (exclusive less than).
+ *
+ * @param varName - The variable name to check
+ * @param lessThan - Upper bound (exclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export function generateLtCheck(varName, lessThan, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.lt(lessThan)}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, `Constraint: lt(${lessThan})`);
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (${varName} >= ${lessThan}) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the lte constraint (inclusive less than or equal).
+ *
+ * @param varName - The variable name to check
+ * @param lessThanOrEqual - Upper bound (inclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export function generateLteCheck(varName, lessThanOrEqual, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.lte(lessThanOrEqual)}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, `Constraint: lte(${lessThanOrEqual})`);
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (${varName} > ${lessThanOrEqual}) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the gt constraint (exclusive greater than).
+ *
+ * @param varName - The variable name to check
+ * @param greaterThan - Lower bound (exclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export function generateGtCheck(varName, greaterThan, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.gt(greaterThan)}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, `Constraint: gt(${greaterThan})`);
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (${varName} <= ${greaterThan}) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the gte constraint (inclusive greater than or equal).
+ *
+ * @param varName - The variable name to check
+ * @param greaterThanOrEqual - Lower bound (inclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export function generateGteCheck(varName, greaterThanOrEqual, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.gte(greaterThanOrEqual)}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, `Constraint: gte(${greaterThanOrEqual})`);
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (${varName} < ${greaterThanOrEqual}) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+// ============================================================================
+// Advanced constraint generators
+// ============================================================================
+/**
+ * Generates inline code for the positive constraint (value > 0).
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generatePositiveCheck("value", ctx);
+ * // result.code = 'if (value <= 0) return "Number must be positive";'
+ * ```
+ */
+export function generatePositiveCheck(varName, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.positive}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, "Constraint: positive()");
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (${varName} <= 0) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the negative constraint (value < 0).
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateNegativeCheck("value", ctx);
+ * // result.code = 'if (value >= 0) return "Number must be negative";'
+ * ```
+ */
+export function generateNegativeCheck(varName, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.negative}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, "Constraint: negative()");
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (${varName} >= 0) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the integer constraint.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateIntCheck("value", ctx);
+ * // result.code = 'if (!Number.isInteger(value)) return "Number must be an integer";'
+ * ```
+ */
+export function generateIntCheck(varName, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.int}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, "Constraint: int()");
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (!Number.isInteger(${varName})) return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates inline code for the multipleOf constraint.
+ *
+ * Uses modulo operation to check if value is a multiple of the given divisor.
+ * Handles floating point precision issues by using a small epsilon for comparison.
+ *
+ * @param varName - The variable name to check
+ * @param divisor - The value that the number must be a multiple of
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateMultipleOfCheck("value", 5, ctx);
+ * // result.code = 'if (value % 5 !== 0) return "Number must be a multiple of 5";'
+ * ```
+ */
+export function generateMultipleOfCheck(varName, divisor, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.multipleOf(divisor)}`;
+    // For integer divisors, use simple modulo
+    // For floating point divisors, use epsilon comparison to handle precision issues
+    const isIntegerDivisor = Number.isInteger(divisor);
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, `Constraint: multipleOf(${divisor})`);
+    if (comment)
+        lines.push(comment);
+    let code;
+    if (isIntegerDivisor) {
+        code = `${indent}if (${varName} % ${divisor} !== 0) return "${escapeString(errorMsg)}";`;
+    }
+    else {
+        // Use epsilon comparison for floating point: Math.abs(value % divisor) > 1e-10
+        code = `${indent}if (Math.abs(${varName} % ${divisor}) > 1e-10 && Math.abs(${varName} % ${divisor} - ${divisor}) > 1e-10) return "${escapeString(errorMsg)}";`;
+    }
+    lines.push(code);
+    return { code: lines.join("\n"), ctx };
+}
+// ============================================================================
+// Complete validation generator
+// ============================================================================
+/**
+ * Generates complete validation code for a number schema with all constraints.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param constraints - Optional constraint metadata
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateNumberValidation("value", ctx, {
+ *   min: { value: 0 },
+ *   max: { value: 100 },
+ *   int: {}
+ * });
+ * // result.code = [
+ * //   'if (typeof value !== "number" || Number.isNaN(value)) return "Expected number";',
+ * //   'if (value < 0) return "Number must be at least 0";',
+ * //   'if (value > 100) return "Number must be at most 100";',
+ * //   'if (!Number.isInteger(value)) return "Number must be an integer";'
+ * // ]
+ * ```
+ */
+export function generateNumberValidation(varName, ctx, constraints, customTypeMessage) {
+    const lines = [];
+    let currentCtx = ctx;
+    // Type check
+    const typeCheck = generateNumberTypeCheck(varName, currentCtx, customTypeMessage);
+    lines.push(typeCheck.code);
+    currentCtx = typeCheck.ctx;
+    // Constraint checks
+    if (constraints) {
+        // Range constraints (from base)
+        if (constraints.min !== undefined) {
+            const check = generateMinCheck(varName, constraints.min.value, currentCtx, constraints.min.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        if (constraints.max !== undefined) {
+            const check = generateMaxCheck(varName, constraints.max.value, currentCtx, constraints.max.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        if (constraints.lt !== undefined) {
+            const check = generateLtCheck(varName, constraints.lt.value, currentCtx, constraints.lt.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        if (constraints.lte !== undefined) {
+            const check = generateLteCheck(varName, constraints.lte.value, currentCtx, constraints.lte.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        if (constraints.gt !== undefined) {
+            const check = generateGtCheck(varName, constraints.gt.value, currentCtx, constraints.gt.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        if (constraints.gte !== undefined) {
+            const check = generateGteCheck(varName, constraints.gte.value, currentCtx, constraints.gte.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        // Sign constraints
+        if (constraints.positive !== undefined) {
+            const check = generatePositiveCheck(varName, currentCtx, constraints.positive.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        if (constraints.negative !== undefined) {
+            const check = generateNegativeCheck(varName, currentCtx, constraints.negative.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        // Type constraints
+        if (constraints.int !== undefined) {
+            const check = generateIntCheck(varName, currentCtx, constraints.int.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+        if (constraints.multipleOf !== undefined) {
+            const check = generateMultipleOfCheck(varName, constraints.multipleOf.value, currentCtx, constraints.multipleOf.message);
+            lines.push(check.code);
+            currentCtx = check.ctx;
+        }
+    }
+    return { code: lines, ctx: currentCtx };
+}
+//# sourceMappingURL=number.js.map

package/dist/kanon/jit/builders/primitives/number.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../../src/kanon/jit/builders/primitives/number.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAsB,MAAM,kBAAkB,CAAC;AAClF,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AA+B3E,+EAA+E;AAC/E,mDAAmD;AACnD,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,MAAM,EAAE,CAAC;IAEvF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;IACxD,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,OAAO,iCAAiC,OAAO,cAAc,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAE3H,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAe,EACf,GAAW,EACX,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IAEzF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,mBAAmB,GAAG,GAAG,CAAC,CAAC;IAC7D,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,OAAO,MAAM,GAAG,aAAa,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEpF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAe,EACf,GAAW,EACX,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IAEzF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,mBAAmB,GAAG,GAAG,CAAC,CAAC;IAC7D,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,OAAO,MAAM,GAAG,aAAa,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEpF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAe,EACf,QAAgB,EAChB,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;IAE7F,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,kBAAkB,QAAQ,GAAG,CAAC,CAAC;IACjE,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,OAAO,OAAO,QAAQ,aAAa,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAE1F,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAe,EACf,eAAuB,EACvB,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GACZ,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;IAEtF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,mBAAmB,eAAe,GAAG,CAAC,CAAC;IACzE,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,OAAO,MAAM,eAAe,aAAa,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEhG,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAe,EACf,WAAmB,EACnB,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IAEhG,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,kBAAkB,WAAW,GAAG,CAAC,CAAC;IACpE,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,OAAO,OAAO,WAAW,aAAa,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAE7F,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAe,EACf,kBAA0B,EAC1B,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GACZ,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;IAEzF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,mBAAmB,kBAAkB,GAAG,CAAC,CAAC;IAC5E,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,OAAO,MAAM,kBAAkB,aAAa,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEnG,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED,+EAA+E;AAC/E,iCAAiC;AACjC,+EAA+E;AAE/E;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,QAAQ,EAAE,CAAC;IAEzF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;IAC5D,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,OAAO,kBAAkB,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEhF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,QAAQ,EAAE,CAAC;IAEzF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;IAC5D,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,OAAO,kBAAkB,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEhF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,GAAG,EAAE,CAAC;IAEpF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC;IACvD,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,yBAAyB,OAAO,cAAc,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAE9F,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAe,EACf,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;IAEpG,0CAA0C;IAC1C,iFAAiF;IACjF,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAEnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,0BAA0B,OAAO,GAAG,CAAC,CAAC;IACxE,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,IAAI,IAAY,CAAC;IACjB,IAAI,gBAAgB,EAAE,CAAC;QACrB,IAAI,GAAG,GAAG,MAAM,OAAO,OAAO,MAAM,OAAO,mBAAmB,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3F,CAAC;SAAM,CAAC;QACN,+EAA+E;QAC/E,IAAI,GAAG,GAAG,MAAM,gBAAgB,OAAO,MAAM,OAAO,yBAAyB,OAAO,MAAM,OAAO,MAAM,OAAO,sBAAsB,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjK,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjB,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED,+EAA+E;AAC/E,gCAAgC;AAChC,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAe,EACf,GAAqB,EACrB,WAAkC,EAClC,iBAA0B;IAE1B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,UAAU,GAAG,GAAG,CAAC;IAErB,aAAa;IACb,MAAM,SAAS,GAAG,uBAAuB,CAAC,OAAO,EAAE,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAClF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC3B,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC;IAE3B,oBAAoB;IACpB,IAAI,WAAW,EAAE,CAAC;QAChB,gCAAgC;QAChC,IAAI,WAAW,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,gBAAgB,CAC5B,OAAO,EACP,WAAW,CAAC,GAAG,CAAC,KAAK,EACrB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,OAAO,CACxB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,IAAI,WAAW,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,gBAAgB,CAC5B,OAAO,EACP,WAAW,CAAC,GAAG,CAAC,KAAK,EACrB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,OAAO,CACxB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,IAAI,WAAW,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,eAAe,CAC3B,OAAO,EACP,WAAW,CAAC,EAAE,CAAC,KAAK,EACpB,UAAU,EACV,WAAW,CAAC,EAAE,CAAC,OAAO,CACvB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,IAAI,WAAW,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,gBAAgB,CAC5B,OAAO,EACP,WAAW,CAAC,GAAG,CAAC,KAAK,EACrB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,OAAO,CACxB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,IAAI,WAAW,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,eAAe,CAC3B,OAAO,EACP,WAAW,CAAC,EAAE,CAAC,KAAK,EACpB,UAAU,EACV,WAAW,CAAC,EAAE,CAAC,OAAO,CACvB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,IAAI,WAAW,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,gBAAgB,CAC5B,OAAO,EACP,WAAW,CAAC,GAAG,CAAC,KAAK,EACrB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,OAAO,CACxB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,mBAAmB;QACnB,IAAI,WAAW,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACvF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,IAAI,WAAW,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACvF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,mBAAmB;QACnB,IAAI,WAAW,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC7E,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;QAED,IAAI,WAAW,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,uBAAuB,CACnC,OAAO,EACP,WAAW,CAAC,UAAU,CAAC,KAAK,EAC5B,UAAU,EACV,WAAW,CAAC,UAAU,CAAC,OAAO,CAC/B,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC1C,CAAC"}

package/dist/kanon/jit/builders/primitives/others.d.ts

@@ -0,0 +1,200 @@
+/**
+ * @module kanon/jit/builders/primitives/others
+ *
+ * Primitives Code Builder
+ *
+ * Generates inline JavaScript code for primitive type validation:
+ * null, undefined, any, unknown, never, void, symbol.
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import type { GeneratorContext } from "../../context";
+import { type CodeGenResult } from "../../utils/code";
+/**
+ * Generates the type check code for a null value.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateNullTypeCheck("value", ctx);
+ * // result.code = 'if (value !== null) return "Expected null";'
+ * ```
+ */
+export declare function generateNullTypeCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates complete validation code for a null schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateNullValidation(varName: string, ctx: GeneratorContext, customTypeMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates the type check code for an undefined value.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateUndefinedTypeCheck("value", ctx);
+ * // result.code = 'if (value !== undefined) return "Expected undefined";'
+ * ```
+ */
+export declare function generateUndefinedTypeCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates complete validation code for an undefined schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateUndefinedValidation(varName: string, ctx: GeneratorContext, customTypeMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates validation code for an any type.
+ * Any type accepts all values, so no validation is performed.
+ *
+ * @param _varName - The variable name (unused, any accepts everything)
+ * @param ctx - The generator context
+ * @returns Generated code (empty) and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateAnyValidation("value", ctx);
+ * // result.code = [] (no validation needed)
+ * ```
+ */
+export declare function generateAnyValidation(_varName: string, ctx: GeneratorContext): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates validation code for an unknown type.
+ * Unknown type accepts all values at runtime (validation happens at type level).
+ *
+ * @param _varName - The variable name (unused, unknown accepts everything at runtime)
+ * @param ctx - The generator context
+ * @returns Generated code (empty) and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateUnknownValidation("value", ctx);
+ * // result.code = [] (no runtime validation needed)
+ * ```
+ */
+export declare function generateUnknownValidation(_varName: string, ctx: GeneratorContext): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates the type check code for a never type.
+ * Never type rejects all values - nothing can satisfy it.
+ *
+ * @param _varName - The variable name (unused, never always fails)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateNeverTypeCheck("value", ctx);
+ * // result.code = 'return "No value can satisfy never type";'
+ * ```
+ */
+export declare function generateNeverTypeCheck(_varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates complete validation code for a never schema.
+ * Always returns an error since no value can satisfy never.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateNeverValidation(varName: string, ctx: GeneratorContext, customTypeMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates the type check code for a void type.
+ * Void type only accepts undefined.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateVoidTypeCheck("value", ctx);
+ * // result.code = 'if (value !== undefined) return "Expected void (undefined)";'
+ * ```
+ */
+export declare function generateVoidTypeCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates complete validation code for a void schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateVoidValidation(varName: string, ctx: GeneratorContext, customTypeMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates the type check code for a symbol value.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateSymbolTypeCheck("value", ctx);
+ * // result.code = 'if (typeof value !== "symbol") return "Expected symbol";'
+ * ```
+ */
+export declare function generateSymbolTypeCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates complete validation code for a symbol schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateSymbolValidation(varName: string, ctx: GeneratorContext, customTypeMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+//# sourceMappingURL=others.d.ts.map

package/dist/kanon/jit/builders/primitives/others.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"others.d.ts","sourceRoot":"","sources":["../../../../../src/kanon/jit/builders/primitives/others.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAAgB,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAOpE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CASf;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,iBAAiB,CAAC,EAAE,MAAM,GACzB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAMD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CASf;AAED;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,iBAAiB,CAAC,EAAE,MAAM,GACzB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAMD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,gBAAgB,GACpB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAMD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,gBAAgB,GACpB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAMD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAUf;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,iBAAiB,CAAC,EAAE,MAAM,GACzB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAMD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CASf;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,iBAAiB,CAAC,EAAE,MAAM,GACzB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAMD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CASf;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,iBAAiB,CAAC,EAAE,MAAM,GACzB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C"}