valia/src/schema/formats/string/types.ts

A runtime data validator in TypeScript with advanced type inference, built-in validation functions, and seamless integration for server and client environments.

import type { SetableCriteriaTemplate, ClassicTypesTemplate, GenericTypesTemplate } from "../types";
import { testers } from "../../../testers";

type ExtractParams<T extends (input: any, params: any) => any> = 
	T extends (input: any, params: infer U) => any ? U : never;

type StringTesters = typeof testers.string;

type Testers = {
	[K in keyof StringTesters]: {
		name: K;
		params?: ExtractParams<StringTesters[K]>;
	};
}[keyof StringTesters];

export interface StringSetableCriteria extends SetableCriteriaTemplate<"string"> {
	min?: number;
	max?: number;
	/** @default true */
	empty?: boolean;
	enum?: string[] | Record<string | number, string>;
	regex?: RegExp;
	tester?: Testers;
	custom?: (value: string) => boolean;
}

export interface StringDefaultCriteria {
	empty: boolean;
}

export interface StringClassicTypes extends ClassicTypesTemplate<
	StringSetableCriteria,
	StringDefaultCriteria
> {}

type StringGuardedCriteria<T extends StringSetableCriteria> =
	T['enum'] extends string[]
		? T['empty'] extends true
			? T['enum'][number] | ""
			: T['enum'][number]
		: T['enum'] extends Record<string | number, string>
			? T['empty'] extends true
				? { [K in keyof T['enum']]: T['enum'][K] }[keyof T['enum']] | ""
				: { [K in keyof T['enum']]: T['enum'][K] }[keyof T['enum']]
			: string;

export interface StringGenericTypes<T extends StringSetableCriteria> extends GenericTypesTemplate<
	{},
	StringGuardedCriteria<T>
> {}