@pithos/core 2.0.0

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

@@ -0,0 +1,171 @@
+/**
+ * Constraint extensions for V3 schemas.
+ *
+ * @since 2.0.0
+ */
+import { Schema, GenericSchema, Infer } from "./base";
+/**
+ * Extension methods for string constraints.
+ *
+ * @since 2.0.0
+ */
+export type StringExtension = {
+    minLength: (min: number, errorMessage?: string) => StringConstraint;
+    maxLength: (max: number, errorMessage?: string) => StringConstraint;
+    email: (errorMessage?: string) => StringConstraint;
+    url: (errorMessage?: string) => StringConstraint;
+    uuid: (errorMessage?: string) => StringConstraint;
+    pattern: (regex: RegExp, errorMessage?: string) => StringConstraint;
+    length: (length: number, errorMessage?: string) => StringConstraint;
+    includes: (substring: string, errorMessage?: string) => StringConstraint;
+    startsWith: (prefix: string, errorMessage?: string) => StringConstraint;
+    endsWith: (suffix: string, errorMessage?: string) => StringConstraint;
+};
+/**
+ * Extension methods for number constraints.
+ *
+ * @since 2.0.0
+ */
+export type NumberExtension = {
+    min: (min: number, errorMessage?: string) => NumberConstraint;
+    max: (max: number, errorMessage?: string) => NumberConstraint;
+    int: (errorMessage?: string) => NumberConstraint;
+    positive: (errorMessage?: string) => NumberConstraint;
+    negative: (errorMessage?: string) => NumberConstraint;
+    lt: (lessThan: number, errorMessage?: string) => NumberConstraint;
+    lte: (lessThanOrEqual: number, errorMessage?: string) => NumberConstraint;
+    gt: (greaterThan: number, errorMessage?: string) => NumberConstraint;
+    gte: (greaterThanOrEqual: number, errorMessage?: string) => NumberConstraint;
+    multipleOf: (multiple: number, errorMessage?: string) => NumberConstraint;
+};
+/**
+ * Extension methods for array constraints.
+ *
+ * @template ItemSchema - The item schema type
+ * @since 2.0.0
+ */
+export type ArrayExtension<ItemSchema extends GenericSchema> = {
+    minLength: (min: number, errorMessage?: string) => ArrayConstraint<ItemSchema>;
+    maxLength: (max: number, errorMessage?: string) => ArrayConstraint<ItemSchema>;
+    length: (length: number, errorMessage?: string) => ArrayConstraint<ItemSchema>;
+    unique: (errorMessage?: string) => ArrayConstraint<ItemSchema>;
+};
+/**
+ * Extension methods for date constraints.
+ *
+ * @since 2.0.0
+ */
+export type DateExtension = {
+    min: (min: Date, errorMessage?: string) => DateConstraint;
+    max: (max: Date, errorMessage?: string) => DateConstraint;
+    before: (before: Date, errorMessage?: string) => DateConstraint;
+    after: (after: Date, errorMessage?: string) => DateConstraint;
+};
+/**
+ * Extension methods for bigint constraints.
+ *
+ * @since 2.0.0
+ */
+export type BigIntExtension = {
+    min: (min: bigint, errorMessage?: string) => BigIntConstraint;
+    max: (max: bigint, errorMessage?: string) => BigIntConstraint;
+    positive: (errorMessage?: string) => BigIntConstraint;
+    negative: (errorMessage?: string) => BigIntConstraint;
+};
+/**
+ * Extension methods for object constraints.
+ *
+ * @template T - The object entries type
+ * @since 2.0.0
+ */
+export type ObjectExtension<T extends Record<string, GenericSchema> = Record<string, GenericSchema>> = {
+    minKeys: (min: number, errorMessage?: string) => ObjectConstraint<T>;
+    maxKeys: (max: number, errorMessage?: string) => ObjectConstraint<T>;
+    strict: (errorMessage?: string) => ObjectConstraint<T>;
+};
+/**
+ * Extension methods for set constraints.
+ *
+ * @template ItemSchema - The item schema type
+ * @since 2.0.0
+ */
+export type SetExtension<ItemSchema extends GenericSchema> = {
+    minSize: (min: number, errorMessage?: string) => SetConstraint<ItemSchema>;
+    maxSize: (max: number, errorMessage?: string) => SetConstraint<ItemSchema>;
+};
+/**
+ * Extension methods for map constraints.
+ *
+ * @template KeySchema - The key schema type
+ * @template ValueSchema - The value schema type
+ * @since 2.0.0
+ */
+export type MapExtension<KeySchema extends GenericSchema, ValueSchema extends GenericSchema> = {
+    minSize: (min: number, errorMessage?: string) => MapConstraint<KeySchema, ValueSchema>;
+    maxSize: (max: number, errorMessage?: string) => MapConstraint<KeySchema, ValueSchema>;
+};
+/**
+ * String schema with constraint methods.
+ *
+ * @since 2.0.0
+ */
+export type StringConstraint = Schema<string> & StringExtension;
+/**
+ * Number schema with constraint methods.
+ *
+ * @since 2.0.0
+ */
+export type NumberConstraint = Schema<number> & NumberExtension;
+/**
+ * Array schema with constraint methods.
+ *
+ * @template ItemSchema - The item schema type
+ * @since 2.0.0
+ */
+export type ArrayConstraint<ItemSchema extends GenericSchema = GenericSchema> = Schema<Infer<ItemSchema>[]> & ArrayExtension<ItemSchema> & {
+    itemSchema: ItemSchema;
+};
+/**
+ * Date schema with constraint methods.
+ *
+ * @since 2.0.0
+ */
+export type DateConstraint = Schema<Date> & DateExtension;
+/**
+ * BigInt schema with constraint methods.
+ *
+ * @since 2.0.0
+ */
+export type BigIntConstraint = Schema<bigint> & BigIntExtension;
+/**
+ * Object schema with constraint methods.
+ *
+ * @template T - The object entries type
+ * @since 2.0.0
+ */
+export type ObjectConstraint<T extends Record<string, GenericSchema> = Record<string, GenericSchema>> = Schema<{
+    [K in keyof T]: Infer<T[K]>;
+}> & ObjectExtension<T> & {
+    entries: T;
+};
+/**
+ * Set schema with constraint methods.
+ *
+ * @template ItemSchema - The item schema type
+ * @since 2.0.0
+ */
+export type SetConstraint<ItemSchema extends GenericSchema = GenericSchema> = Schema<Set<Infer<ItemSchema>>> & SetExtension<ItemSchema> & {
+    itemSchema: ItemSchema;
+};
+/**
+ * Map schema with constraint methods.
+ *
+ * @template KeySchema - The key schema type
+ * @template ValueSchema - The value schema type
+ * @since 2.0.0
+ */
+export type MapConstraint<KeySchema extends GenericSchema = GenericSchema, ValueSchema extends GenericSchema = GenericSchema> = Schema<Map<Infer<KeySchema>, Infer<ValueSchema>>> & MapExtension<KeySchema, ValueSchema> & {
+    keySchema: KeySchema;
+    valueSchema: ValueSchema;
+};
+//# sourceMappingURL=constraints.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.d.ts","sourceRoot":"","sources":["../../../src/kanon/types/constraints.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEtD;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,SAAS,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACpE,SAAS,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACpE,KAAK,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACnD,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACjD,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IAClD,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACpE,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACpE,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACzE,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACxE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;CACvE,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IAC9D,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IAC9D,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACjD,QAAQ,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACtD,QAAQ,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACtD,EAAE,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IAClE,GAAG,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IAC1E,EAAE,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACrE,GAAG,EAAE,CAAC,kBAAkB,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IAC7E,UAAU,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;CAC3E,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,UAAU,SAAS,aAAa,IAAI;IAC7D,SAAS,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/E,SAAS,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/E,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/E,MAAM,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,eAAe,CAAC,UAAU,CAAC,CAAC;CAChE,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,cAAc,CAAC;IAC1D,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,cAAc,CAAC;IAC1D,MAAM,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,cAAc,CAAC;IAChE,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,cAAc,CAAC;CAC/D,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IAC9D,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IAC9D,QAAQ,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACtD,QAAQ,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC;CACvD,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI;IACrG,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACrE,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC;CACxD,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CAAC,UAAU,SAAS,aAAa,IAAI;IAC3D,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,aAAa,CAAC,UAAU,CAAC,CAAC;IAC3E,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,aAAa,CAAC,UAAU,CAAC,CAAC;CAC5E,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,CAAC,SAAS,SAAS,aAAa,EAAE,WAAW,SAAS,aAAa,IAAI;IAC7F,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,aAAa,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACvF,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,KAAK,aAAa,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;CACxF,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC;AAEhE;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,MAAM,eAAe,CAAC,UAAU,SAAS,aAAa,GAAG,aAAa,IAC1E,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,GACzB,cAAc,CAAC,UAAU,CAAC,GAAG;IAC3B,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEN;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC;AAE1D;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,CAC1B,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,GACzC,eAAe,CAAC,CAAC,CAAC,GAAG;IACnB,OAAO,EAAE,CAAC,CAAC;CACZ,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,UAAU,SAAS,aAAa,GAAG,aAAa,IACxE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,GAC5B,YAAY,CAAC,UAAU,CAAC,GAAG;IACzB,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEN;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,CACvB,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,GACnD,YAAY,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG;IACrC,SAAS,EAAE,SAAS,CAAC;IACrB,WAAW,EAAE,WAAW,CAAC;CAC1B,CAAC"}

package/dist/kanon/types/constraints.js

@@ -0,0 +1,7 @@
+/**
+ * Constraint extensions for V3 schemas.
+ *
+ * @since 2.0.0
+ */
+export {};
+//# sourceMappingURL=constraints.js.map

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

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

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

@@ -0,0 +1,257 @@
+/**
+ * Type guards and schema type discrimination utilities for Kanon V3.
+ *
+ * @since 2.0.0
+ */
+import type { SchemaType, GenericSchema } from "./base";
+import type { StringConstraint, NumberConstraint, ArrayConstraint, ObjectConstraint, DateConstraint, BigIntConstraint, SetConstraint, MapConstraint } from "./constraints";
+import type { StringSchema, NumberSchema, BooleanSchema, DateSchema, BigIntSchema, UnknownSchema, NullSchema, UndefinedSchema, VoidSchema, NeverSchema, SymbolSchema, IntSchema, EnumSchema, LiteralSchema, NativeEnumSchema, AnySchema } from "./primitives";
+import type { ObjectSchema, ArraySchema, TupleSchema, RecordSchema, MapSchema, SetSchema } from "./composites";
+import type { UnionSchema, IntersectionSchema } from "./operators";
+import type { KeyofSchema, PartialSchema, RequiredSchema, PickSchema, OmitSchema } from "./transforms";
+import type { NullableSchema, NullishSchema, OptionalSchema, DefaultSchema, ReadonlySchema, LazySchema } from "./wrappers";
+/**
+ * Lookup table mapping SchemaType literals to their corresponding schema types.
+ * @internal
+ */
+type SchemaTypeMap = {
+    string: StringSchema;
+    number: NumberSchema;
+    boolean: BooleanSchema;
+    date: DateSchema;
+    bigint: BigIntSchema;
+    symbol: SymbolSchema;
+    int: IntSchema;
+    enum: EnumSchema<string | number | boolean>;
+    literal: LiteralSchema<string | number | boolean>;
+    nativeEnum: NativeEnumSchema<string | number>;
+    any: AnySchema;
+    unknown: UnknownSchema;
+    never: NeverSchema;
+    null: NullSchema;
+    undefined: UndefinedSchema;
+    void: VoidSchema;
+    array: ArraySchema;
+    object: ObjectSchema;
+    tuple: TupleSchema;
+    record: RecordSchema<GenericSchema, GenericSchema>;
+    map: MapSchema;
+    set: SetSchema;
+    union: UnionSchema<readonly GenericSchema[]>;
+    intersection: IntersectionSchema<readonly GenericSchema[]>;
+    keyof: KeyofSchema<GenericSchema>;
+    partial: PartialSchema<GenericSchema>;
+    required: RequiredSchema<GenericSchema>;
+    pick: PickSchema<GenericSchema, string>;
+    omit: OmitSchema<GenericSchema, string>;
+    nullable: NullableSchema<GenericSchema>;
+    nullish: NullishSchema<GenericSchema>;
+    optional: OptionalSchema<GenericSchema>;
+    default: DefaultSchema<GenericSchema>;
+    readonly: ReadonlySchema<GenericSchema>;
+    lazy: LazySchema<unknown>;
+};
+/**
+ * Maps a SchemaType to its corresponding schema type.
+ *
+ * @template T - The schema type literal
+ * @since 2.0.0
+ */
+export type SchemaOfType<T extends SchemaType> = SchemaTypeMap[T];
+/**
+ * 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 declare function isSchemaType<T extends SchemaType>(schema: GenericSchema, type: T): schema is SchemaOfType<T> & GenericSchema;
+/**
+ * Collection of type guards for all schema types.
+ *
+ * @since 2.0.0
+ */
+export declare const schemaGuards: {
+    readonly isString: (s: GenericSchema) => s is StringSchema & GenericSchema;
+    readonly isNumber: (s: GenericSchema) => s is NumberSchema & GenericSchema;
+    readonly isBoolean: (s: GenericSchema) => s is BooleanSchema & GenericSchema;
+    readonly isDate: (s: GenericSchema) => s is DateSchema & GenericSchema;
+    readonly isBigInt: (s: GenericSchema) => s is BigIntSchema & GenericSchema;
+    readonly isSymbol: (s: GenericSchema) => s is SymbolSchema & GenericSchema;
+    readonly isInt: (s: GenericSchema) => s is IntSchema & GenericSchema;
+    readonly isEnum: (s: GenericSchema) => s is EnumSchema<string | number | boolean> & GenericSchema;
+    readonly isLiteral: (s: GenericSchema) => s is LiteralSchema<string | number | boolean> & GenericSchema;
+    readonly isNativeEnum: (s: GenericSchema) => s is NativeEnumSchema<string | number> & GenericSchema;
+    readonly isAny: (s: GenericSchema) => s is AnySchema & GenericSchema;
+    readonly isUnknown: (s: GenericSchema) => s is UnknownSchema & GenericSchema;
+    readonly isNever: (s: GenericSchema) => s is NeverSchema & GenericSchema;
+    readonly isNull: (s: GenericSchema) => s is NullSchema & GenericSchema;
+    readonly isUndefined: (s: GenericSchema) => s is UndefinedSchema & GenericSchema;
+    readonly isVoid: (s: GenericSchema) => s is VoidSchema & GenericSchema;
+    readonly isArray: (s: GenericSchema) => s is ArraySchema & GenericSchema;
+    readonly isObject: (s: GenericSchema) => s is ObjectSchema & GenericSchema;
+    readonly isTuple: (s: GenericSchema) => s is TupleSchema & GenericSchema;
+    readonly isRecord: (s: GenericSchema) => s is RecordSchema<GenericSchema, GenericSchema> & GenericSchema;
+    readonly isMap: (s: GenericSchema) => s is MapSchema & GenericSchema;
+    readonly isSet: (s: GenericSchema) => s is SetSchema & GenericSchema;
+    readonly isUnion: (s: GenericSchema) => s is UnionSchema<readonly GenericSchema[]> & GenericSchema;
+    readonly isIntersection: (s: GenericSchema) => s is IntersectionSchema<readonly GenericSchema[]> & GenericSchema;
+    readonly isKeyof: (s: GenericSchema) => s is KeyofSchema<GenericSchema> & GenericSchema;
+    readonly isPartial: (s: GenericSchema) => s is PartialSchema<GenericSchema> & GenericSchema;
+    readonly isRequired: (s: GenericSchema) => s is RequiredSchema<GenericSchema> & GenericSchema;
+    readonly isPick: (s: GenericSchema) => s is PickSchema<GenericSchema, string> & GenericSchema;
+    readonly isOmit: (s: GenericSchema) => s is OmitSchema<GenericSchema, string> & GenericSchema;
+    readonly isNullable: (s: GenericSchema) => s is NullableSchema<GenericSchema> & GenericSchema;
+    readonly isNullish: (s: GenericSchema) => s is NullishSchema<GenericSchema> & GenericSchema;
+    readonly isOptional: (s: GenericSchema) => s is OptionalSchema<GenericSchema> & GenericSchema;
+    readonly isDefault: (s: GenericSchema) => s is DefaultSchema<GenericSchema> & GenericSchema;
+    readonly isReadonly: (s: GenericSchema) => s is ReadonlySchema<GenericSchema> & GenericSchema;
+    readonly isLazy: (s: GenericSchema) => s is LazySchema<unknown> & GenericSchema;
+};
+/**
+ * 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 declare function isStringConstraint(schema: GenericSchema): schema is StringConstraint;
+/**
+ * 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 declare function isNumberConstraint(schema: GenericSchema): schema is NumberConstraint;
+/**
+ * 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 declare function isArrayConstraint<T extends GenericSchema>(schema: GenericSchema): schema is ArrayConstraint<T>;
+/**
+ * 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 declare function isObjectConstraint<T extends Record<string, GenericSchema> = Record<string, GenericSchema>>(schema: GenericSchema): schema is ObjectConstraint<T>;
+/**
+ * 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 declare function isDateConstraint(schema: GenericSchema): schema is DateConstraint;
+/**
+ * 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 declare function isBigIntConstraint(schema: GenericSchema): schema is BigIntConstraint;
+/**
+ * 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 declare function isSetConstraint<T extends GenericSchema>(schema: GenericSchema): schema is SetConstraint<T>;
+/**
+ * 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 declare function isMapConstraint<K extends GenericSchema, V extends GenericSchema>(schema: GenericSchema): schema is MapConstraint<K, V>;
+export {};
+//# sourceMappingURL=guards.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../../../src/kanon/types/guards.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,aAAa,EACd,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,UAAU,EACV,YAAY,EACZ,aAAa,EACb,UAAU,EACV,eAAe,EACf,UAAU,EACV,WAAW,EACX,YAAY,EACZ,SAAS,EACT,UAAU,EACV,aAAa,EACb,gBAAgB,EAChB,SAAS,EACV,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EACV,YAAY,EACZ,WAAW,EACX,WAAW,EACX,YAAY,EACZ,SAAS,EACT,SAAS,EACV,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,KAAK,EACV,WAAW,EACX,aAAa,EACb,cAAc,EACd,UAAU,EACV,UAAU,EACX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EACV,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACb,cAAc,EACd,UAAU,EACX,MAAM,YAAY,CAAC;AAEpB;;;GAGG;AACH,KAAK,aAAa,GAAG;IACnB,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,aAAa,CAAC;IACvB,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,YAAY,CAAC;IACrB,GAAG,EAAE,SAAS,CAAC;IACf,IAAI,EAAE,UAAU,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;IAClD,UAAU,EAAE,gBAAgB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAC9C,GAAG,EAAE,SAAS,CAAC;IACf,OAAO,EAAE,aAAa,CAAC;IACvB,KAAK,EAAE,WAAW,CAAC;IACnB,IAAI,EAAE,UAAU,CAAC;IACjB,SAAS,EAAE,eAAe,CAAC;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC;IACnB,MAAM,EAAE,YAAY,CAAC;IACrB,KAAK,EAAE,WAAW,CAAC;IACnB,MAAM,EAAE,YAAY,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACnD,GAAG,EAAE,SAAS,CAAC;IACf,GAAG,EAAE,SAAS,CAAC;IACf,KAAK,EAAE,WAAW,CAAC,SAAS,aAAa,EAAE,CAAC,CAAC;IAC7C,YAAY,EAAE,kBAAkB,CAAC,SAAS,aAAa,EAAE,CAAC,CAAC;IAC3D,KAAK,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC;IAClC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IACtC,QAAQ,EAAE,cAAc,CAAC,aAAa,CAAC,CAAC;IACxC,IAAI,EAAE,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,EAAE,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACxC,QAAQ,EAAE,cAAc,CAAC,aAAa,CAAC,CAAC;IACxC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IACtC,QAAQ,EAAE,cAAc,CAAC,aAAa,CAAC,CAAC;IACxC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IACtC,QAAQ,EAAE,cAAc,CAAC,aAAa,CAAC,CAAC;IACxC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;CAC3B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC;AAElE;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,UAAU,EAC/C,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,CAAC,GAKN,MAAM,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,aAAa,CAE3C;AAqBD;;;;GAIG;AACH,eAAO,MAAM,YAAY;2BARnB,aAAa,KAAG,CAAC,IAAI,eAAkB,aAAa;2BAApD,aAAa,KAAG,CAAC,IAAI,eAAkB,aAAa;4BAApD,aAAa,KAAG,CAAC,IAAI,gBAAkB,aAAa;yBAApD,aAAa,KAAG,CAAC,IAAI,aAAkB,aAAa;2BAApD,aAAa,KAAG,CAAC,IAAI,eAAkB,aAAa;2BAApD,aAAa,KAAG,CAAC,IAAI,eAAkB,aAAa;wBAApD,aAAa,KAAG,CAAC,IAAI,YAAkB,aAAa;yBAApD,aAAa,KAAG,CAAC,IAAI,wCAAkB,aAAa;4BAApD,aAAa,KAAG,CAAC,IAAI,2CAAkB,aAAa;+BAApD,aAAa,KAAG,CAAC,IAAI,oCAAkB,aAAa;wBAApD,aAAa,KAAG,CAAC,IAAI,YAAkB,aAAa;4BAApD,aAAa,KAAG,CAAC,IAAI,gBAAkB,aAAa;0BAApD,aAAa,KAAG,CAAC,IAAI,cAAkB,aAAa;yBAApD,aAAa,KAAG,CAAC,IAAI,aAAkB,aAAa;8BAApD,aAAa,KAAG,CAAC,IAAI,kBAAkB,aAAa;yBAApD,aAAa,KAAG,CAAC,IAAI,aAAkB,aAAa;0BAApD,aAAa,KAAG,CAAC,IAAI,cAAkB,aAAa;2BAApD,aAAa,KAAG,CAAC,IAAI,eAAkB,aAAa;0BAApD,aAAa,KAAG,CAAC,IAAI,cAAkB,aAAa;2BAApD,aAAa,KAAG,CAAC,IAAI,6CAAkB,aAAa;wBAApD,aAAa,KAAG,CAAC,IAAI,YAAkB,aAAa;wBAApD,aAAa,KAAG,CAAC,IAAI,YAAkB,aAAa;0BAApD,aAAa,KAAG,CAAC,IAAI,wCAAkB,aAAa;iCAApD,aAAa,KAAG,CAAC,IAAI,+CAAkB,aAAa;0BAApD,aAAa,KAAG,CAAC,IAAI,6BAAkB,aAAa;4BAApD,aAAa,KAAG,CAAC,IAAI,+BAAkB,aAAa;6BAApD,aAAa,KAAG,CAAC,IAAI,gCAAkB,aAAa;yBAApD,aAAa,KAAG,CAAC,IAAI,oCAAkB,aAAa;yBAApD,aAAa,KAAG,CAAC,IAAI,oCAAkB,aAAa;6BAApD,aAAa,KAAG,CAAC,IAAI,gCAAkB,aAAa;4BAApD,aAAa,KAAG,CAAC,IAAI,+BAAkB,aAAa;6BAApD,aAAa,KAAG,CAAC,IAAI,gCAAkB,aAAa;4BAApD,aAAa,KAAG,CAAC,IAAI,+BAAkB,aAAa;6BAApD,aAAa,KAAG,CAAC,IAAI,gCAAkB,aAAa;yBAApD,aAAa,KAAG,CAAC,IAAI,sBAAkB,aAAa;CA4ChD,CAAC;AAMX;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,GACpB,MAAM,IAAI,gBAAgB,CAM5B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,GACpB,MAAM,IAAI,gBAAgB,CAO5B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,aAAa,EACvD,MAAM,EAAE,aAAa,GACpB,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,CAM9B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,EACvE,MAAM,EAAE,aAAa,GAAG,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAOtD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,aAAa,GACpB,MAAM,IAAI,cAAc,CAM1B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,GACpB,MAAM,IAAI,gBAAgB,CAM5B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,aAAa,EACrD,MAAM,EAAE,aAAa,GACpB,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,CAM5B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAC7B,CAAC,SAAS,aAAa,EACvB,CAAC,SAAS,aAAa,EACvB,MAAM,EAAE,aAAa,GAAG,MAAM,IAAI,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAMtD"}