valia/src/schema/formats/tuple/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 { ArraySetableCriteria } from "../array/types";
import type {
	SetableCriteriaTemplate,
	SetableCriteriaMap,
	FlowTypesTemplate,
	SetableCriteria,
	MountedCriteria,
	GuardedCriteria,
	FormatNames,
} from "../types";

export type SetableTuple<T extends FormatNames = FormatNames> =
	[SetableCriteria<T> | SetableTuple, ...(SetableCriteria<T> | SetableTuple)[]];

export interface TupleSetableCriteria<
	T extends FormatNames = FormatNames
> extends SetableCriteriaTemplate<"tuple"> {
	tuple: SetableTuple<T>;
	additional?: SetableCriteriaMap<T>['array'] | boolean;
}

type MountedTuple<T extends SetableTuple> =
	T extends infer U
		? {
			[I in keyof U]:
				U[I] extends SetableCriteria
					? MountedCriteria<U[I]>
					: U[I] extends SetableTuple
						? MountedCriteria<{ type: "tuple", tuple: U[I] }>
						: never;
		}
		: never;

export interface TupleMountedCriteria<T extends TupleSetableCriteria> {
	tuple: MountedTuple<T['tuple']>;
	additional:
		unknown extends T['additional']
			? false
			: TupleSetableCriteria['additional'] extends T['additional']
				? MountedCriteria<ArraySetableCriteria> | boolean
				: T['additional'] extends ArraySetableCriteria
					? MountedCriteria<T['additional']>
					: T['additional']
}

type DynamicItems<U extends ArraySetableCriteria | boolean | undefined> =
	[U] extends [ArraySetableCriteria]
		? GuardedCriteria<U>
		: [U] extends [false]
			? []
			: unknown[];

type StaticItems<T extends TupleSetableCriteria> =
	T['tuple'] extends infer U
		? {
			[I in keyof U]:
				U[I] extends SetableCriteria
					? GuardedCriteria<U[I]>
					: U[I] extends SetableTuple
						? GuardedCriteria<{ type: "tuple", tuple: U[I] }>
						: never;
		}
		: never;

type TupleGuardedCriteria<T extends TupleSetableCriteria> =
	DynamicItems<T['additional']> extends infer U
		? StaticItems<T> extends infer V
			? U extends any[]
				? V extends any[]
					? [...V, ...U]
					: never
				: never
			: never
		: never;

export interface TupleFlowTypes<T extends TupleSetableCriteria> extends FlowTypesTemplate<
	TupleMountedCriteria<T>,
	TupleGuardedCriteria<T>
> {}