@pithos/core 2.0.0

package/dist/kanon/schemas/wrappers/default.js

@@ -0,0 +1,82 @@
+/**
+ * Default schema - provides a default value if undefined.
+ *
+ * @param schema - Base schema.
+ * @param defaultValue - Default value or function that returns the default value.
+ * @param message - Custom error message.
+ * @returns Schema that uses the default value if undefined.
+ * @since 2.0.0
+ */
+export function default_(schema, defaultValue, message) {
+    // Validate static default value at creation
+    if (typeof defaultValue !== "function") {
+        const result = schema.validator(defaultValue);
+        if (typeof result === "string") {
+            throw new Error(`Invalid default value: ${result}`);
+        }
+    }
+    return {
+        type: "default",
+        message,
+        innerSchema: schema,
+        defaultValue,
+        validator: (value) => {
+            if (value === undefined) {
+                // For functions, we must validate each time
+                if (typeof defaultValue === "function") {
+                    const defaultVal = defaultValue();
+                    const result = schema.validator(defaultVal);
+                    // Stryker disable next-line ConditionalExpression: false positive - when result === true, `message || result` equals `true` (same behavior)
+                    if (typeof result === "string") {
+                        return message || result;
+                    }
+                }
+                return true;
+            }
+            const result = schema.validator(value);
+            // Stryker disable next-line ConditionalExpression: false positive - when result === true, `message || result` equals `true` (same behavior)
+            if (typeof result === "string") {
+                return message || result;
+            }
+            return result;
+        },
+    };
+}
+/**
+ * Helper to create dynamic default values.
+ *
+ * @since 2.0.0
+ */
+export const DefaultValues = {
+    /**
+     * Returns the current date.
+     */
+    now: () => new Date(),
+    /**
+     * Returns a UUID v4 (requires crypto.randomUUID).
+     */
+    uuid: () => {
+        if (typeof crypto !== "undefined" && crypto.randomUUID) {
+            return crypto.randomUUID();
+        }
+        // Simple fallback if crypto.randomUUID is not available
+        return "xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx".replace(/[xy]/g, (c) => {
+            const r = (Math.random() * 16) | 0;
+            const v = c === "x" ? r : (r & 0x3) | 0x8;
+            return v.toString(16);
+        });
+    },
+    /**
+     * Returns a Unix timestamp.
+     */
+    timestamp: () => Date.now(),
+    /**
+     * Returns an empty array.
+     */
+    emptyArray: () => [],
+    /**
+     * Returns an empty object.
+     */
+    emptyObject: () => ({}),
+};
+//# sourceMappingURL=default.js.map

package/dist/kanon/schemas/wrappers/default.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"default.js","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/default.ts"],"names":[],"mappings":"AAGA;;;;;;;;GAQG;AACH,MAAM,UAAU,QAAQ,CACtB,MAAa,EACb,YAAiD,EACjD,OAAgB;IAEhB,4CAA4C;IAC5C,IAAI,OAAO,YAAY,KAAK,UAAU,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC9C,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,SAAkB;QACxB,OAAO;QACP,WAAW,EAAE,MAAM;QACnB,YAAY;QACZ,SAAS,EAAE,CAAC,KAAc,EAAE,EAAE;YAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,4CAA4C;gBAC5C,IAAI,OAAO,YAAY,KAAK,UAAU,EAAE,CAAC;oBACvC,MAAM,UAAU,GAAI,YAAmC,EAAE,CAAC;oBAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;oBAC5C,4IAA4I;oBAC5I,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;wBAC/B,OAAO,OAAO,IAAI,MAAM,CAAC;oBAC3B,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACvC,4IAA4I;YAC5I,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,OAAO,IAAI,MAAM,CAAC;YAC3B,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B;;OAEG;IACH,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE;IAErB;;OAEG;IACH,IAAI,EAAE,GAAG,EAAE;QACT,IAAI,OAAO,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACvD,OAAO,MAAM,CAAC,UAAU,EAAE,CAAC;QAC7B,CAAC;QACD,wDAAwD;QACxD,OAAO,sCAAsC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;YACnE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;YAC1C,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;IAE3B;;OAEG;IACH,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE;IAEpB;;OAEG;IACH,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;CACf,CAAC"}

package/dist/kanon/schemas/wrappers/lazy.d.ts

@@ -0,0 +1,12 @@
+import { LazySchema } from "../../types/wrappers";
+import { Schema } from "../../types/base";
+/**
+ * Lazy schema - allows creating recursive types by deferring evaluation.
+ *
+ * @param getter - Function that returns the schema to evaluate.
+ * @param message - Custom error message.
+ * @returns Lazy schema that evaluates the schema on demand.
+ * @since 2.0.0
+ */
+export declare function lazy<T>(getter: () => Schema<T>, message?: string): LazySchema<T>;
+//# sourceMappingURL=lazy.d.ts.map

package/dist/kanon/schemas/wrappers/lazy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy.d.ts","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/lazy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C;;;;;;;GAOG;AACH,wBAAgB,IAAI,CAAC,CAAC,EACpB,MAAM,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC,EACvB,OAAO,CAAC,EAAE,MAAM,GACf,UAAU,CAAC,CAAC,CAAC,CAYf"}

package/dist/kanon/schemas/wrappers/lazy.js

@@ -0,0 +1,21 @@
+/**
+ * Lazy schema - allows creating recursive types by deferring evaluation.
+ *
+ * @param getter - Function that returns the schema to evaluate.
+ * @param message - Custom error message.
+ * @returns Lazy schema that evaluates the schema on demand.
+ * @since 2.0.0
+ */
+export function lazy(getter, message) {
+    let cachedSchema = null;
+    return {
+        type: "lazy",
+        message,
+        getter,
+        validator: (value) => {
+            cachedSchema ?? (cachedSchema = getter());
+            return cachedSchema.validator(value);
+        },
+    };
+}
+//# sourceMappingURL=lazy.js.map

package/dist/kanon/schemas/wrappers/lazy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy.js","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/lazy.ts"],"names":[],"mappings":"AAGA;;;;;;;GAOG;AACH,MAAM,UAAU,IAAI,CAClB,MAAuB,EACvB,OAAgB;IAEhB,IAAI,YAAY,GAAqB,IAAI,CAAC;IAE1C,OAAO;QACL,IAAI,EAAE,MAAe;QACrB,OAAO;QACP,MAAM;QACN,SAAS,EAAE,CAAC,KAAc,EAAE,EAAE;YAC5B,YAAY,KAAZ,YAAY,GAAK,MAAM,EAAE,EAAC;YAC1B,OAAO,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/kanon/schemas/wrappers/nullable.d.ts

@@ -0,0 +1,12 @@
+import { Schema } from "../../types/base";
+import { NullableSchema } from "../../types/wrappers";
+/**
+ * Makes a schema nullable (accepts null).
+ *
+ * @param schema - The schema to make nullable
+ * @param message - Custom error message
+ * @returns Schema that accepts the original type or null
+ * @since 2.0.0
+ */
+export declare function nullable<T>(schema: Schema<T>, message?: string): NullableSchema<Schema<T>>;
+//# sourceMappingURL=nullable.d.ts.map

package/dist/kanon/schemas/wrappers/nullable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EACxB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAiB3B"}

package/dist/kanon/schemas/wrappers/nullable.js

@@ -0,0 +1,27 @@
+/**
+ * Makes a schema nullable (accepts null).
+ *
+ * @param schema - The schema to make nullable
+ * @param message - Custom error message
+ * @returns Schema that accepts the original type or null
+ * @since 2.0.0
+ */
+export function nullable(schema, message) {
+    return {
+        type: "nullable",
+        innerSchema: schema,
+        message,
+        validator: (value) => {
+            if (value === null) {
+                return true;
+            }
+            const result = schema.validator(value);
+            // Stryker disable next-line ConditionalExpression: false positive - when result === true, `message || result` equals `true` (same behavior)
+            if (typeof result === "string") {
+                return message || result;
+            }
+            return result;
+        },
+    };
+}
+//# sourceMappingURL=nullable.js.map

package/dist/kanon/schemas/wrappers/nullable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/nullable.ts"],"names":[],"mappings":"AAGA;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CACtB,MAAiB,EACjB,OAAgB;IAEhB,OAAO;QACL,IAAI,EAAE,UAAmB;QACzB,WAAW,EAAE,MAAM;QACnB,OAAO;QACP,SAAS,EAAE,CAAC,KAAc,EAAE,EAAE;YAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACvC,4IAA4I;YAC5I,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,OAAO,IAAI,MAAM,CAAC;YAC3B,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/kanon/schemas/wrappers/nullish.d.ts

@@ -0,0 +1,12 @@
+import { Schema } from "../../types/base";
+import { NullishSchema } from "../../types/wrappers";
+/**
+ * Makes a schema nullish (accepts null or undefined).
+ *
+ * @param schema - The schema to make nullish.
+ * @param message - Custom error message.
+ * @returns Schema that accepts the original type, null, or undefined.
+ * @since 2.0.0
+ */
+export declare function nullish<T>(schema: Schema<T>, message?: string): NullishSchema<Schema<T>>;
+//# sourceMappingURL=nullish.d.ts.map

package/dist/kanon/schemas/wrappers/nullish.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullish.d.ts","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/nullish.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,CAAC,EACvB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAmB1B"}

package/dist/kanon/schemas/wrappers/nullish.js

@@ -0,0 +1,29 @@
+/**
+ * Makes a schema nullish (accepts null or undefined).
+ *
+ * @param schema - The schema to make nullish.
+ * @param message - Custom error message.
+ * @returns Schema that accepts the original type, null, or undefined.
+ * @since 2.0.0
+ */
+export function nullish(schema, message) {
+    return {
+        type: "nullish",
+        innerSchema: schema,
+        message,
+        validator: (value) => {
+            if (value === null || value === undefined) {
+                return true;
+            }
+            const result = schema.validator(value);
+            // Success case: propagate result (true or CoercedResult)
+            // Error case: use custom message or inner schema error
+            // Stryker disable next-line ConditionalExpression: false positive - when result === true, `message || result` equals `true` (same behavior)
+            if (typeof result === "string") {
+                return message || result;
+            }
+            return result;
+        },
+    };
+}
+//# sourceMappingURL=nullish.js.map

package/dist/kanon/schemas/wrappers/nullish.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullish.js","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/nullish.ts"],"names":[],"mappings":"AAGA;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CACrB,MAAiB,EACjB,OAAgB;IAEhB,OAAO;QACL,IAAI,EAAE,SAAkB;QACxB,WAAW,EAAE,MAAM;QACnB,OAAO;QACP,SAAS,EAAE,CAAC,KAAc,EAAE,EAAE;YAC5B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC1C,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACvC,yDAAyD;YACzD,uDAAuD;YACvD,4IAA4I;YAC5I,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,OAAO,IAAI,MAAM,CAAC;YAC3B,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/kanon/schemas/wrappers/optional.d.ts

@@ -0,0 +1,11 @@
+import { Schema } from "../../types/base";
+import { OptionalSchema } from "../../types/wrappers";
+/**
+ * Makes a schema optional (accepts undefined).
+ *
+ * @param schema - The schema to make optional
+ * @returns Schema that accepts the original type or undefined
+ * @since 2.0.0
+ */
+export declare function optional<T>(schema: Schema<T>): OptionalSchema<Schema<T>>;
+//# sourceMappingURL=optional.d.ts.map

package/dist/kanon/schemas/wrappers/optional.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAYxE"}

package/dist/kanon/schemas/wrappers/optional.js

@@ -0,0 +1,21 @@
+/**
+ * Makes a schema optional (accepts undefined).
+ *
+ * @param schema - The schema to make optional
+ * @returns Schema that accepts the original type or undefined
+ * @since 2.0.0
+ */
+export function optional(schema) {
+    return {
+        type: "optional",
+        innerSchema: schema,
+        message: schema.message,
+        validator: (value) => {
+            if (value === undefined) {
+                return true;
+            }
+            return schema.validator(value);
+        },
+    };
+}
+//# sourceMappingURL=optional.js.map

package/dist/kanon/schemas/wrappers/optional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/optional.ts"],"names":[],"mappings":"AAGA;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAI,MAAiB;IAC3C,OAAO;QACL,IAAI,EAAE,UAAmB;QACzB,WAAW,EAAE,MAAM;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,SAAS,EAAE,CAAC,KAAc,EAAE,EAAE;YAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/kanon/schemas/wrappers/readonly.d.ts

@@ -0,0 +1,12 @@
+import { GenericSchema } from "../../types/base";
+import { ReadonlySchema } from "../../types/wrappers";
+/**
+ * Readonly schema - makes properties read-only (TypeScript semantics).
+ *
+ * @param schema - Base schema.
+ * @param message - Custom error message.
+ * @returns Schema that marks properties as readonly.
+ * @since 2.0.0
+ */
+export declare function readonly<Inner extends GenericSchema>(schema: Inner, message?: string): ReadonlySchema<Inner>;
+//# sourceMappingURL=readonly.d.ts.map

package/dist/kanon/schemas/wrappers/readonly.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"readonly.d.ts","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/readonly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,KAAK,SAAS,aAAa,EAClD,MAAM,EAAE,KAAK,EACb,OAAO,CAAC,EAAE,MAAM,GACf,cAAc,CAAC,KAAK,CAAC,CAgBvB"}

package/dist/kanon/schemas/wrappers/readonly.js

@@ -0,0 +1,26 @@
+/**
+ * Readonly schema - makes properties read-only (TypeScript semantics).
+ *
+ * @param schema - Base schema.
+ * @param message - Custom error message.
+ * @returns Schema that marks properties as readonly.
+ * @since 2.0.0
+ */
+export function readonly(schema, message) {
+    return {
+        type: "readonly",
+        message,
+        innerSchema: schema,
+        validator: (value) => {
+            // Validation is identical to the base schema
+            // readonly is mainly a TypeScript annotation
+            const result = schema.validator(value);
+            // Stryker disable next-line ConditionalExpression: false positive - when result === true, `message || result` equals `true` (same behavior)
+            if (typeof result === "string") {
+                return message || result;
+            }
+            return result;
+        },
+    };
+}
+//# sourceMappingURL=readonly.js.map

package/dist/kanon/schemas/wrappers/readonly.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"readonly.js","sourceRoot":"","sources":["../../../../src/kanon/schemas/wrappers/readonly.ts"],"names":[],"mappings":"AAGA;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CACtB,MAAa,EACb,OAAgB;IAEhB,OAAO;QACL,IAAI,EAAE,UAAmB;QACzB,OAAO;QACP,WAAW,EAAE,MAAM;QACnB,SAAS,EAAE,CAAC,KAAc,EAAE,EAAE;YAC5B,6CAA6C;YAC7C,6CAA6C;YAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACvC,4IAA4I;YAC5I,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,OAAO,IAAI,MAAM,CAAC;YAC3B,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/kanon/types/base.d.ts

@@ -0,0 +1,95 @@
+/**
+ * Union of all schema type literals.
+ *
+ * @since 2.0.0
+ */
+export type SchemaType = SchemaCompositeType | SchemaOperatorType | SchemaPrimitiveType | SchemaTransformType | SchemaWrapperType;
+/**
+ * Primitive schema type literals.
+ *
+ * @since 2.0.0
+ */
+export type SchemaPrimitiveType = "any" | "bigint" | "boolean" | "date" | "enum" | "int" | "literal" | "nativeEnum" | "never" | "null" | "number" | "string" | "symbol" | "undefined" | "unknown" | "void";
+/**
+ * Composite schema type literals.
+ *
+ * @since 2.0.0
+ */
+export type SchemaCompositeType = "array" | "map" | "object" | "record" | "set" | "tuple";
+/**
+ * Operator schema type literals.
+ *
+ * @since 2.0.0
+ */
+export type SchemaOperatorType = "union" | "intersection";
+/**
+ * Transform schema type literals.
+ *
+ * @since 2.0.0
+ */
+export type SchemaTransformType = "keyof" | "partial" | "required" | "pick" | "omit";
+/**
+ * Wrapper schema type literals.
+ *
+ * @since 2.0.0
+ */
+export type SchemaWrapperType = "default" | "lazy" | "nullable" | "nullish" | "optional" | "readonly";
+/**
+ * Base interface for all Kanon schemas.
+ *
+ * @template T - The type that this schema validates
+ * @since 2.0.0
+ */
+export interface Schema<T = unknown> {
+    type: SchemaType;
+    message?: string;
+    refinements?: Array<(value: T) => true | string>;
+    validator: (value: unknown) => ValidatorResult<T>;
+}
+/**
+ * Result type for coerced values.
+ * Used by coerce schemas to return the transformed value.
+ * @since 2.0.0
+ */
+export type CoercedResult<T> = {
+    coerced: T;
+};
+/**
+ * Validator return type.
+ * - `true` for valid values (no transformation)
+ * - `string` for validation errors
+ * - `CoercedResult<T>` for coerced values
+ * @since 2.0.0
+ */
+export type ValidatorResult<T> = true | string | CoercedResult<T>;
+/**
+ * Check if a validator result is a coerced value (success case).
+ *
+ * @param result - The validator result to check
+ * @returns True if the result contains a coerced value
+ * @since 2.0.0
+ */
+export declare function isCoerced<T>(result: ValidatorResult<T>): result is CoercedResult<T>;
+/**
+ * Generic schema type that accepts any schema regardless of its specific type.
+ * Use this for constraints where you need to accept any schema.
+ *
+ * @since 2.0.0
+ */
+export type GenericSchema = Schema<any> & {
+    type: SchemaType;
+};
+/**
+ * Extracts the inferred TypeScript type from a Kanon schema.
+ *
+ * @template S - The schema type to extract from
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const userSchema = object({ name: string(), age: number() });
+ * type User = Infer<typeof userSchema>;
+ * // ^? { name: string; age: number }
+ * ```
+ */
+export type Infer<S> = S extends Schema<infer T> ? T : never;
+//# sourceMappingURL=base.d.ts.map

package/dist/kanon/types/base.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"base.d.ts","sourceRoot":"","sources":["../../../src/kanon/types/base.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAClB,mBAAmB,GACnB,kBAAkB,GAClB,mBAAmB,GACnB,mBAAmB,GACnB,iBAAiB,CAAC;AAEtB;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAC3B,KAAK,GACL,QAAQ,GACR,SAAS,GACT,MAAM,GACN,MAAM,GACN,KAAK,GACL,SAAS,GACT,YAAY,GACZ,OAAO,GACP,MAAM,GACN,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,WAAW,GACX,SAAS,GACT,MAAM,CAAC;AAEX;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAC3B,OAAO,GACP,KAAK,GACL,QAAQ,GACR,QAAQ,GACR,KAAK,GACL,OAAO,CAAC;AAEZ;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,cAAc,CAAC;AAE1D;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAC3B,OAAO,GACP,SAAS,GACT,UAAU,GACV,MAAM,GACN,MAAM,CAAC;AAEX;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;AAEtG;;;;;GAKG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,GAAG,OAAO;IACjC,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,MAAM,CAAC,CAAC;IACjD,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;CACnD;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI;IAAE,OAAO,EAAE,CAAC,CAAA;CAAE,CAAC;AAE9C;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,IAAI,GAAG,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;AAElE;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,CAAC,EACzB,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,GACzB,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,CAE5B;AAKD;;;;;GAKG;AAEH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAE/D;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/kanon/types/base.js

@@ -0,0 +1,11 @@
+/**
+ * Check if a validator result is a coerced value (success case).
+ *
+ * @param result - The validator result to check
+ * @returns True if the result contains a coerced value
+ * @since 2.0.0
+ */
+export function isCoerced(result) {
+    return typeof result === "object" && result !== null && "coerced" in result;
+}
+//# sourceMappingURL=base.js.map

package/dist/kanon/types/base.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"base.js","sourceRoot":"","sources":["../../../src/kanon/types/base.ts"],"names":[],"mappings":"AAuGA;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,MAA0B;IAE1B,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,SAAS,IAAI,MAAM,CAAC;AAC9E,CAAC"}

package/dist/kanon/types/composites.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Specialized types for V3 composite schemas.
+ *
+ * @since 2.0.0
+ */
+import { GenericSchema, Schema, Infer } from "./base";
+/**
+ * Schema for object values with typed entries.
+ *
+ * @template T - The object entries type
+ * @since 2.0.0
+ */
+export type ObjectSchema<T extends Record<string, GenericSchema> = Record<string, GenericSchema>> = Schema<{
+    [K in keyof T]: Infer<T[K]>;
+}> & {
+    type: "object";
+    entries: T;
+};
+/**
+ * Schema for array values with typed items.
+ *
+ * @template T - The item schema type
+ * @since 2.0.0
+ */
+export type ArraySchema<T extends GenericSchema = GenericSchema> = Schema<Infer<T>[]> & {
+    type: "array";
+    itemSchema: T;
+};
+/**
+ * Schema for tuple values with typed items.
+ *
+ * @template T - The tuple items type
+ * @since 2.0.0
+ */
+export type TupleSchema<T extends readonly GenericSchema[] = readonly GenericSchema[]> = Schema<{
+    [K in keyof T]: Infer<T[K]>;
+}> & {
+    type: "tuple";
+    items: T;
+};
+/**
+ * Tuple schema with rest elements.
+ *
+ * @template T - The tuple items type
+ * @template Rest - The rest element schema type
+ * @since 2.0.0
+ * @note To distinguish from `TupleSchema` at runtime, use the `hasTupleRest` type guard:
+ * ```typescript
+ * if (hasTupleRest(schema)) {
+ *   // This is a TupleWithRestSchema
+ * }
+ * ```
+ */
+export type TupleWithRestSchema<T extends readonly GenericSchema[], Rest extends GenericSchema> = Schema<[...{
+    [K in keyof T]: Infer<T[K]>;
+}, ...Infer<Rest>[]]> & {
+    type: "tuple";
+    items: T;
+    restSchema: Rest;
+};
+/**
+ * Type guard to distinguish TupleWithRestSchema from TupleSchema at runtime.
+ *
+ * @param schema - Schema to check
+ * @returns True if the schema is a TupleWithRestSchema
+ * @since 2.0.0
+ */
+export declare function hasTupleRest<T extends readonly GenericSchema[], R extends GenericSchema>(schema: TupleSchema<T> | TupleWithRestSchema<T, R>): schema is TupleWithRestSchema<T, R>;
+/**
+ * Schema for record values with typed keys and values.
+ *
+ * @template KeySchema - The key schema type
+ * @template ValueSchema - The value schema type
+ * @since 2.0.0
+ */
+export type RecordSchema<KeySchema extends GenericSchema, ValueSchema extends GenericSchema> = Schema<Record<Infer<KeySchema> & string, Infer<ValueSchema>>> & {
+    type: "record";
+    keySchema: KeySchema;
+    valueSchema: ValueSchema;
+};
+/**
+ * Schema for Map values with typed keys and values.
+ *
+ * @template KeySchema - The key schema type
+ * @template ValueSchema - The value schema type
+ * @since 2.0.0
+ */
+export type MapSchema<KeySchema extends GenericSchema = GenericSchema, ValueSchema extends GenericSchema = GenericSchema> = Schema<Map<Infer<KeySchema>, Infer<ValueSchema>>> & {
+    type: "map";
+    keySchema: KeySchema;
+    valueSchema: ValueSchema;
+};
+/**
+ * Schema for Set values with typed items.
+ *
+ * @template ItemSchema - The item schema type
+ * @since 2.0.0
+ */
+export type SetSchema<ItemSchema extends GenericSchema = GenericSchema> = Schema<Set<Infer<ItemSchema>>> & {
+    type: "set";
+    itemSchema: ItemSchema;
+};
+//# sourceMappingURL=composites.d.ts.map

package/dist/kanon/types/composites.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"composites.d.ts","sourceRoot":"","sources":["../../../src/kanon/types/composites.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEtD;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,IACrE,MAAM,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAAG;IAC5C,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,CAAC,CAAC;CACZ,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,aAAa,GAAG,aAAa,IAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG;IACnB,IAAI,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,CAAC,CAAC;CACf,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,SAAS,aAAa,EAAE,GAAG,SAAS,aAAa,EAAE,IAC3D,MAAM,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAAG;IAC5C,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,CAAC,CAAC;CACV,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,SAAS,aAAa,EAAE,EAClC,IAAI,SAAS,aAAa,IACxB,MAAM,CAAC,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG;IACnE,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,CAAC,CAAC;IACT,UAAU,EAAE,IAAI,CAAC;CAClB,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,CAAC,SAAS,SAAS,aAAa,EAAE,EAClC,CAAC,SAAS,aAAa,EAEvB,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,GACjD,MAAM,IAAI,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAErC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,CACtB,SAAS,SAAS,aAAa,EAC/B,WAAW,SAAS,aAAa,IAC/B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG;IAClE,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,SAAS,CAAC;IACrB,WAAW,EAAE,WAAW,CAAC;CAC1B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,CACnB,SAAS,SAAS,aAAa,GAAG,aAAa,EAC/C,WAAW,SAAS,aAAa,GAAG,aAAa,IAC/C,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG;IACtD,IAAI,EAAE,KAAK,CAAC;IACZ,SAAS,EAAE,SAAS,CAAC;IACrB,WAAW,EAAE,WAAW,CAAC;CAC1B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,UAAU,SAAS,aAAa,GAAG,aAAa,IAAI,MAAM,CAC9E,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CACvB,GAAG;IACF,IAAI,EAAE,KAAK,CAAC;IACZ,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC"}

package/dist/kanon/types/composites.js

@@ -0,0 +1,16 @@
+/**
+ * Specialized types for V3 composite schemas.
+ *
+ * @since 2.0.0
+ */
+/**
+ * Type guard to distinguish TupleWithRestSchema from TupleSchema at runtime.
+ *
+ * @param schema - Schema to check
+ * @returns True if the schema is a TupleWithRestSchema
+ * @since 2.0.0
+ */
+export function hasTupleRest(schema) {
+    return "restSchema" in schema;
+}
+//# sourceMappingURL=composites.js.map

package/dist/kanon/types/composites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composites.js","sourceRoot":"","sources":["../../../src/kanon/types/composites.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAgEH;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAI1B,MAAkD;IAElD,OAAO,YAAY,IAAI,MAAM,CAAC;AAChC,CAAC"}