@pithos/core 2.0.0

package/dist/kanon/types/guards.js

@@ -0,0 +1,262 @@
+/**
+ * Type guards and schema type discrimination utilities for Kanon V3.
+ *
+ * @since 2.0.0
+ */
+/**
+ * Type guard to check if a schema matches a specific schema type.
+ *
+ * @param schema - The schema to check
+ * @param type - The schema type to check against
+ * @returns True if the schema matches the specified type
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema: GenericSchema = string();
+ * if (isSchemaType(schema, "string")) {
+ *   // schema is narrowed to StringSchema (base type, without constraint methods)
+ *   console.log(schema.type); // "string"
+ * }
+ * ```
+ */
+export function isSchemaType(schema, type
+// INTENTIONAL: Type assertion needed due to TypeScript variance.
+// NeverSchema and other specific schemas are not assignable to GenericSchema
+// due to contravariant refinements, but at runtime all schemas have compatible structure.
+// The runtime check ensures type safety.
+) {
+    return schema.type === type;
+}
+/**
+ * Grouped type guards for common schema types.
+ * Provides convenient type narrowing for frequently used schemas.
+ *
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema: GenericSchema = string();
+ * if (schemaGuards.isString(schema)) {
+ *   // schema is narrowed to StringSchema (base type, without constraint methods)
+ *   console.log(schema.type); // "string"
+ * }
+ * ```
+ */
+const guard = (type) => (s) => s.type === type;
+/**
+ * Collection of type guards for all schema types.
+ *
+ * @since 2.0.0
+ */
+export const schemaGuards = {
+    isString: guard("string"),
+    isNumber: guard("number"),
+    isBoolean: guard("boolean"),
+    isDate: guard("date"),
+    isBigInt: guard("bigint"),
+    isSymbol: guard("symbol"),
+    isInt: guard("int"),
+    isEnum: guard("enum"),
+    isLiteral: guard("literal"),
+    isNativeEnum: guard("nativeEnum"),
+    isAny: guard("any"),
+    isUnknown: guard("unknown"),
+    isNever: guard("never"),
+    isNull: guard("null"),
+    isUndefined: guard("undefined"),
+    isVoid: guard("void"),
+    isArray: guard("array"),
+    isObject: guard("object"),
+    isTuple: guard("tuple"),
+    isRecord: guard("record"),
+    isMap: guard("map"),
+    isSet: guard("set"),
+    isUnion: guard("union"),
+    isIntersection: guard("intersection"),
+    isKeyof: guard("keyof"),
+    isPartial: guard("partial"),
+    isRequired: guard("required"),
+    isPick: guard("pick"),
+    isOmit: guard("omit"),
+    isNullable: guard("nullable"),
+    isNullish: guard("nullish"),
+    isOptional: guard("optional"),
+    isDefault: guard("default"),
+    isReadonly: guard("readonly"),
+    isLazy: guard("lazy"),
+};
+// ============================================================================
+// Constraint Type Guards
+// ============================================================================
+/**
+ * Type guard for StringConstraint.
+ * Checks that the schema is a string type and has constraint methods.
+ *
+ * @param schema - The schema to check
+ * @returns True if the schema is a StringConstraint with constraint methods
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema = string().minLength(5);
+ * if (isStringConstraint(schema)) {
+ *   // schema is narrowed to StringConstraint
+ *   schema.maxLength(10); // constraint methods available
+ * }
+ * ```
+ */
+export function isStringConstraint(schema) {
+    return (schema.type === "string" &&
+        // Stryker disable next-line ConditionalExpression: defensive guard - Kanon schema factories always return Constraints with methods
+        typeof schema.minLength === "function");
+}
+/**
+ * Type guard for NumberConstraint.
+ * Checks that the schema is a number type and has constraint methods.
+ *
+ * @param schema - The schema to check
+ * @returns True if the schema is a NumberConstraint with constraint methods
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema = number().min(0);
+ * if (isNumberConstraint(schema)) {
+ *   // schema is narrowed to NumberConstraint
+ *   schema.max(100); // constraint methods available
+ * }
+ * ```
+ */
+export function isNumberConstraint(schema) {
+    return (
+    // Stryker disable next-line ConditionalExpression,LogicalOperator: defensive guard - Kanon schema factories always return Constraints with methods
+    schema.type === "number" &&
+        // Stryker disable next-line ConditionalExpression: defensive guard - Kanon schema factories always return Constraints with methods
+        typeof schema.min === "function");
+}
+/**
+ * Type guard for ArrayConstraint.
+ * Checks that the schema is an array type and has constraint methods.
+ *
+ * @param schema - The schema to check
+ * @returns True if the schema is an ArrayConstraint with constraint methods
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema = array(string()).minLength(1);
+ * if (isArrayConstraint(schema)) {
+ *   // schema is narrowed to ArrayConstraint
+ *   schema.maxLength(10); // constraint methods available
+ * }
+ * ```
+ */
+export function isArrayConstraint(schema) {
+    return (schema.type === "array" &&
+        // Stryker disable next-line ConditionalExpression: defensive guard - Kanon schema factories always return Constraints with methods
+        typeof schema.minLength === "function");
+}
+/**
+ * Type guard for ObjectConstraint.
+ * Checks that the schema is an object type and has constraint methods.
+ *
+ * @param schema - The schema to check
+ * @returns True if the schema is an ObjectConstraint with constraint methods
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema = object({ name: string() }).minKeys(1);
+ * if (isObjectConstraint(schema)) {
+ *   // schema is narrowed to ObjectConstraint
+ *   schema.maxKeys(5); // constraint methods available
+ * }
+ * ```
+ */
+export function isObjectConstraint(schema) {
+    return (
+    // Stryker disable next-line ConditionalExpression,LogicalOperator: defensive guard - Kanon schema factories always return Constraints with methods
+    schema.type === "object" &&
+        // Stryker disable next-line ConditionalExpression: defensive guard - Kanon schema factories always return Constraints with methods
+        typeof schema.minKeys === "function");
+}
+/**
+ * Type guard for DateConstraint.
+ * Checks that the schema is a date type and has constraint methods.
+ *
+ * @param schema - The schema to check
+ * @returns True if the schema is a DateConstraint with constraint methods
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema = date().min(new Date('2020-01-01'));
+ * if (isDateConstraint(schema)) {
+ *   // schema is narrowed to DateConstraint
+ *   schema.max(new Date('2030-01-01')); // constraint methods available
+ * }
+ * ```
+ */
+export function isDateConstraint(schema) {
+    return (schema.type === "date" &&
+        // Stryker disable next-line ConditionalExpression: defensive guard - Kanon schema factories always return Constraints with methods
+        typeof schema.min === "function");
+}
+/**
+ * Type guard for BigIntConstraint.
+ * Checks that the schema is a bigint type and has constraint methods.
+ *
+ * @param schema - The schema to check
+ * @returns True if the schema is a BigIntConstraint with constraint methods
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema = bigint().min(0n);
+ * if (isBigIntConstraint(schema)) {
+ *   // schema is narrowed to BigIntConstraint
+ *   schema.max(100n); // constraint methods available
+ * }
+ * ```
+ */
+export function isBigIntConstraint(schema) {
+    return (schema.type === "bigint" &&
+        // Stryker disable next-line ConditionalExpression: defensive guard - Kanon schema factories always return Constraints with methods
+        typeof schema.min === "function");
+}
+/**
+ * Type guard for SetConstraint.
+ * Checks that the schema is a set type and has constraint methods.
+ *
+ * @param schema - The schema to check
+ * @returns True if the schema is a SetConstraint with constraint methods
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema = set(string()).minSize(1);
+ * if (isSetConstraint(schema)) {
+ *   // schema is narrowed to SetConstraint
+ *   schema.maxSize(10); // constraint methods available
+ * }
+ * ```
+ */
+export function isSetConstraint(schema) {
+    return (schema.type === "set" &&
+        // Stryker disable next-line ConditionalExpression: defensive guard - Kanon schema factories always return Constraints with methods
+        typeof schema.minSize === "function");
+}
+/**
+ * Type guard for MapConstraint.
+ * Checks that the schema is a map type and has constraint methods.
+ *
+ * @param schema - The schema to check
+ * @returns True if the schema is a MapConstraint with constraint methods
+ * @since 2.0.0
+ * @example
+ * ```typescript
+ * const schema = map(string(), number()).minSize(1);
+ * if (isMapConstraint(schema)) {
+ *   // schema is narrowed to MapConstraint
+ *   schema.maxSize(10); // constraint methods available
+ * }
+ * ```
+ */
+export function isMapConstraint(schema) {
+    return (schema.type === "map" &&
+        // Stryker disable next-line ConditionalExpression: defensive guard - Kanon schema factories always return Constraints with methods
+        typeof schema.minSize === "function");
+}
+//# sourceMappingURL=guards.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"guards.js","sourceRoot":"","sources":["../../../src/kanon/types/guards.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0GH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAqB,EACrB,IAAO;AACP,iEAAiE;AACjE,6EAA6E;AAC7E,0FAA0F;AAC1F,yCAAyC;;IAEzC,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,KAAK,GACT,CAAuB,IAAO,EAAE,EAAE,CAClC,CAAC,CAAgB,EAAwC,EAAE,CACzD,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;AAEpB;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;IACzB,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;IACzB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;IAC3B,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;IACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;IACzB,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;IACzB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IACnB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;IACrB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;IAC3B,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC;IACjC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IACnB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;IAC3B,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;IACvB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;IACrB,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC;IAC/B,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;IACrB,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;IACvB,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;IACzB,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;IACvB,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;IACzB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IACnB,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;IACvB,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC;IACrC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;IACvB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;IAC3B,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;IAC7B,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;IACrB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;IACrB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;IAC7B,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;IAC3B,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;IAC7B,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;IAC3B,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;IAC7B,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;CACb,CAAC;AAEX,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAqB;IAErB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,mIAAmI;QACnI,OAAQ,MAA2B,CAAC,SAAS,KAAK,UAAU,CAC7D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAqB;IAErB,OAAO;IACL,mJAAmJ;IACnJ,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,mIAAmI;QACnI,OAAQ,MAA2B,CAAC,GAAG,KAAK,UAAU,CACvD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAqB;IAErB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,mIAAmI;QACnI,OAAQ,MAA6B,CAAC,SAAS,KAAK,UAAU,CAC/D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kBAAkB,CAEhC,MAAqB;IACrB,OAAO;IACL,mJAAmJ;IACnJ,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,mIAAmI;QACnI,OAAQ,MAA8B,CAAC,OAAO,KAAK,UAAU,CAC9D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAqB;IAErB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,MAAM;QACtB,mIAAmI;QACnI,OAAQ,MAAyB,CAAC,GAAG,KAAK,UAAU,CACrD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAqB;IAErB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,mIAAmI;QACnI,OAAQ,MAA2B,CAAC,GAAG,KAAK,UAAU,CACvD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAqB;IAErB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,KAAK;QACrB,mIAAmI;QACnI,OAAQ,MAA2B,CAAC,OAAO,KAAK,UAAU,CAC3D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAG7B,MAAqB;IACrB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,KAAK;QACrB,mIAAmI;QACnI,OAAQ,MAA8B,CAAC,OAAO,KAAK,UAAU,CAC9D,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,69 @@
+/**
+ * Specialized types for V3 operators (union, intersection).
+ *
+ * @since 2.0.0
+ */
+import { Schema, GenericSchema, Infer } from "./base";
+import { LiteralSchema, EnumValue } from "./primitives";
+type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+/**
+ * Schema for union types.
+ *
+ * @template Schemas - The union member schemas
+ * @template T - The inferred union type
+ * @since 2.0.0
+ */
+export type UnionSchema<Schemas extends readonly GenericSchema[], T = Infer<Schemas[number]>> = Schema<T> & {
+    type: "union";
+    schemas: Schemas;
+};
+/**
+ * Schema for intersection types.
+ *
+ * @template Schemas - The intersection member schemas
+ * @template T - The inferred intersection type
+ * @since 2.0.0
+ */
+export type IntersectionSchema<Schemas extends readonly GenericSchema[], T = UnionToIntersection<Infer<Schemas[number]>>> = Schema<T> & {
+    type: "intersection";
+    schemas: Schemas;
+};
+/**
+ * Base constraint for object schemas that can be discriminated.
+ * This is a looser type that accepts both ObjectSchema and ObjectConstraint.
+ *
+ * @internal
+ * @since 2.0.0
+ */
+export interface DiscriminableObjectBase {
+    type: "object";
+    entries: Record<string, GenericSchema>;
+    validator: (value: unknown) => true | string;
+}
+/**
+ * A discriminated union schema with O(1) lookup based on a discriminator key.
+ *
+ * @template Discriminator - The key used to discriminate between variants.
+ * @template Schemas - Array of object schemas with a literal discriminator field.
+ * @since 2.0.0
+ */
+export type DiscriminatedUnionSchema<Discriminator extends string, Schemas extends readonly GenericSchema[], T = Infer<Schemas[number]>> = Schema<T> & {
+    type: "union";
+    discriminator: Discriminator;
+    schemas: Schemas;
+    schemaMap: Map<EnumValue, GenericSchema>;
+};
+/**
+ * An object schema that can be used in a discriminated union.
+ * The discriminator field must be a literal schema.
+ *
+ * @template Discriminator - The key of the discriminator field.
+ * @since 2.0.0
+ */
+export type DiscriminableSchema<Discriminator extends string> = DiscriminableObjectBase & {
+    entries: Record<string, GenericSchema> & {
+        [K in Discriminator]: LiteralSchema<EnumValue>;
+    };
+};
+export {};
+//# sourceMappingURL=operators.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../../../src/kanon/types/operators.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAOxD,KAAK,mBAAmB,CAAC,CAAC,IACxB,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GACrE,CAAC,GACD,KAAK,CAAC;AAEZ;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,CACrB,OAAO,SAAS,SAAS,aAAa,EAAE,EACxC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IACxB,MAAM,CAAC,CAAC,CAAC,GAAG;IACd,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,CAC5B,OAAO,SAAS,SAAS,aAAa,EAAE,EACxC,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAC7C,MAAM,CAAC,CAAC,CAAC,GAAG;IACd,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACvC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,GAAG,MAAM,CAAC;CAC9C;AAED;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,CAClC,aAAa,SAAS,MAAM,EAI5B,OAAO,SAAS,SAAS,aAAa,EAAE,EACxC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IACxB,MAAM,CAAC,CAAC,CAAC,GAAG;IACd,IAAI,EAAE,OAAO,CAAC;IACd,aAAa,EAAE,aAAa,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;CAC1C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,CAAC,aAAa,SAAS,MAAM,IAC1D,uBAAuB,GAAG;IACxB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG;SACtC,CAAC,IAAI,aAAa,GAAG,aAAa,CAAC,SAAS,CAAC;KAC/C,CAAC;CACH,CAAC"}

package/dist/kanon/types/operators.js

@@ -0,0 +1,7 @@
+/**
+ * Specialized types for V3 operators (union, intersection).
+ *
+ * @since 2.0.0
+ */
+export {};
+//# sourceMappingURL=operators.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"operators.js","sourceRoot":"","sources":["../../../src/kanon/types/operators.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

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

@@ -0,0 +1,149 @@
+/**
+ * Specialized types for V3 primitives.
+ *
+ * @since 2.0.0
+ */
+import { Schema } from "./base";
+/**
+ * Valid values for enum schemas.
+ *
+ * @since 2.0.0
+ */
+export type EnumValue = string | number | boolean;
+/**
+ * Schema for any type (bypasses validation).
+ *
+ * @since 2.0.0
+ */
+export type AnySchema = Schema<any> & {
+    type: "any";
+};
+/**
+ * Schema for string values.
+ *
+ * @since 2.0.0
+ */
+export type StringSchema = Schema<string> & {
+    type: "string";
+};
+/**
+ * Schema for number values.
+ *
+ * @since 2.0.0
+ */
+export type NumberSchema = Schema<number> & {
+    type: "number";
+};
+/**
+ * Schema for boolean values.
+ *
+ * @since 2.0.0
+ */
+export type BooleanSchema = Schema<boolean> & {
+    type: "boolean";
+};
+/**
+ * Schema for Date values.
+ *
+ * @since 2.0.0
+ */
+export type DateSchema = Schema<Date> & {
+    type: "date";
+};
+/**
+ * Schema for bigint values.
+ *
+ * @since 2.0.0
+ */
+export type BigIntSchema = Schema<bigint> & {
+    type: "bigint";
+};
+/**
+ * Schema for unknown values.
+ *
+ * @since 2.0.0
+ */
+export type UnknownSchema = Schema<unknown> & {
+    type: "unknown";
+};
+/**
+ * Schema for null values.
+ *
+ * @since 2.0.0
+ */
+export type NullSchema = Schema<null> & {
+    type: "null";
+};
+/**
+ * Schema for undefined values.
+ *
+ * @since 2.0.0
+ */
+export type UndefinedSchema = Schema<undefined> & {
+    type: "undefined";
+};
+/**
+ * Schema for void values.
+ *
+ * @since 2.0.0
+ */
+export type VoidSchema = Schema<void> & {
+    type: "void";
+};
+/**
+ * Schema for never type (always fails validation).
+ *
+ * @since 2.0.0
+ */
+export type NeverSchema = Schema<never> & {
+    type: "never";
+};
+/**
+ * Schema for symbol values.
+ *
+ * @since 2.0.0
+ */
+export type SymbolSchema = Schema<symbol> & {
+    type: "symbol";
+};
+/**
+ * Schema for integer values.
+ *
+ * @since 2.0.0
+ */
+export type IntSchema = Schema<number> & {
+    type: "int";
+};
+/**
+ * Schema for enum values.
+ *
+ * @template T - The enum value type
+ * @since 2.0.0
+ */
+export type EnumSchema<T extends EnumValue> = Schema<T> & {
+    type: "enum";
+    enumValues: readonly T[];
+};
+/**
+ * Schema for literal values.
+ *
+ * @template T - The literal value type
+ * @since 2.0.0
+ */
+export type LiteralSchema<T extends EnumValue> = Schema<T> & {
+    type: "literal";
+    literalValue: T;
+};
+/**
+ * Schema for native TypeScript enums.
+ *
+ * @template T - The enum member type
+ * @template E - The enum object type
+ * @since 2.0.0
+ */
+export type NativeEnumSchema<T extends string | number, E extends Record<string, string | number> = Record<string, string | number>> = Schema<T> & {
+    type: "nativeEnum";
+    enumValues: readonly T[];
+    enumObj: E;
+};
+//# sourceMappingURL=primitives.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../src/kanon/types/primitives.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAElD;;;;GAIG;AAGH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAEtD;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE/D;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE/D;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE/D;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAExE;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE5D;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE/D;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,SAAS,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG;IACxD,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC;CAC1B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG;IAC3D,IAAI,EAAE,SAAS,CAAC;IAChB,YAAY,EAAE,CAAC,CAAC;CACjB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAC1B,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,IACzE,MAAM,CAAC,CAAC,CAAC,GAAG;IACd,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC;CACZ,CAAC"}

package/dist/kanon/types/primitives.js

@@ -0,0 +1,7 @@
+/**
+ * Specialized types for V3 primitives.
+ *
+ * @since 2.0.0
+ */
+export {};
+//# sourceMappingURL=primitives.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../src/kanon/types/primitives.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

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

@@ -0,0 +1,61 @@
+/**
+ * Specialized types for V3 schema transforms (partial, required, pick, omit, keyof).
+ *
+ * @since 2.0.0
+ */
+import { Schema, GenericSchema, Infer } from "./base";
+/**
+ * Schema for keyof transform.
+ *
+ * @template ObjectSchema - The object schema type
+ * @since 2.0.0
+ */
+export type KeyofSchema<ObjectSchema extends GenericSchema> = Schema<keyof Infer<ObjectSchema> & string> & {
+    type: "keyof";
+    objectSchema: ObjectSchema;
+};
+/**
+ * Schema for partial transform.
+ *
+ * @template Inner - The inner schema type
+ * @since 2.0.0
+ */
+export type PartialSchema<Inner extends GenericSchema> = Schema<Partial<Infer<Inner>>> & {
+    type: "partial";
+    innerSchema: Inner;
+};
+/**
+ * Schema for required transform.
+ *
+ * @template Inner - The inner schema type
+ * @since 2.0.0
+ */
+export type RequiredSchema<Inner extends GenericSchema> = Schema<Required<Infer<Inner>>> & {
+    type: "required";
+    innerSchema: Inner;
+};
+/**
+ * Schema for pick transform.
+ *
+ * @template Inner - The inner schema type
+ * @template Keys - The keys to pick
+ * @since 2.0.0
+ */
+export type PickSchema<Inner extends GenericSchema, Keys extends keyof Infer<Inner>> = Schema<Pick<Infer<Inner>, Keys>> & {
+    type: "pick";
+    innerSchema: Inner;
+    keys: readonly Keys[];
+};
+/**
+ * Schema for omit transform.
+ *
+ * @template Inner - The inner schema type
+ * @template Keys - The keys to omit
+ * @since 2.0.0
+ */
+export type OmitSchema<Inner extends GenericSchema, Keys extends keyof Infer<Inner>> = Schema<Omit<Infer<Inner>, Keys>> & {
+    type: "omit";
+    innerSchema: Inner;
+    keys: readonly Keys[];
+};
+//# sourceMappingURL=transforms.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transforms.d.ts","sourceRoot":"","sources":["../../../src/kanon/types/transforms.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEtD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,YAAY,SAAS,aAAa,IAAI,MAAM,CAClE,MAAM,KAAK,CAAC,YAAY,CAAC,GAAG,MAAM,CACnC,GAAG;IACF,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,EAAE,YAAY,CAAC;CAC5B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,aAAa,IAAI,MAAM,CAC7D,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CACtB,GAAG;IACF,IAAI,EAAE,SAAS,CAAC;IAChB,WAAW,EAAE,KAAK,CAAC;CACpB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,aAAa,IAAI,MAAM,CAC9D,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CACvB,GAAG;IACF,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,KAAK,CAAC;CACpB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CACpB,KAAK,SAAS,aAAa,EAC3B,IAAI,SAAS,MAAM,KAAK,CAAC,KAAK,CAAC,IAC7B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,KAAK,CAAC;IACnB,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;CACvB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CACpB,KAAK,SAAS,aAAa,EAC3B,IAAI,SAAS,MAAM,KAAK,CAAC,KAAK,CAAC,IAC7B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,KAAK,CAAC;IACnB,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;CACvB,CAAC"}

package/dist/kanon/types/transforms.js

@@ -0,0 +1,7 @@
+/**
+ * Specialized types for V3 schema transforms (partial, required, pick, omit, keyof).
+ *
+ * @since 2.0.0
+ */
+export {};
+//# sourceMappingURL=transforms.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transforms.js","sourceRoot":"","sources":["../../../src/kanon/types/transforms.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}