valia/src/schema/formats/simple/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, FlowTypesTemplate } from "../types";

export type SimpleTypes =
	| "null"
	| "undefined"
	| "nullish"
	| "unknown";

export interface SimpleSetableCriteria extends SetableCriteriaTemplate<"simple"> {
	simple: SimpleTypes;
}

export interface SimpleMountedCriteria {
	bitcode: number;
}

type SimpleGuardedCriteria<T extends SimpleSetableCriteria> =
	T["simple"] extends "null"      ? null :
	T["simple"] extends "undefined" ? undefined :
	T["simple"] extends "nullish"   ? undefined | null :
	T["simple"] extends "unknown"   ? unknown :
    never;

export interface SimpleFlowTypes<T extends SimpleSetableCriteria> extends FlowTypesTemplate<
	SimpleMountedCriteria,
	SimpleGuardedCriteria<T>
> {}