type PrimitiveType = "string" | "boolean" | "number" | "symbol" | "null" | "undefined" | "date" | "any" | "unknown";
type SchemaDefOptions = {
    optional?: boolean;
    nullable?: boolean;
    description?: string;
    default_?: unknown;
    readonly_?: boolean;
};

type ObjectDef = {
    type: "object";
    properties: Record<PropertyKey, SchemaDef>;
    additionalProperties?: boolean;
} & SchemaDefOptions;
type ArrayDef = {
    type: "array";
    element: SchemaDef;
} & SchemaDefOptions;
type TupleDef = {
    type: "tuple";
    entries: SchemaDef[];
} & SchemaDefOptions;
type UnionDef = {
    type: "union";
    members: SchemaDef[];
} & SchemaDefOptions;
type IntersectionDef = {
    type: "intersection";
    members: SchemaDef[];
} & SchemaDefOptions;
type EnumDef = {
    type: "enum";
    members: Record<string, any>;
} & SchemaDefOptions;
type FunctionDef = {
    type: "function";
    parameters?: SchemaDef[];
    result?: SchemaDef;
} & SchemaDefOptions;
type StringDef = {
    type: Extract<PrimitiveType, "string">;
    regex?: RegExp | string;
    minLength?: number;
    maxLength?: number;
} & SchemaDefOptions;
type NumberDef = {
    type: Extract<PrimitiveType, "number">;
    min?: number;
    max?: number;
} & SchemaDefOptions;
type BooleanDef = {
    type: Extract<PrimitiveType, "boolean">;
} & SchemaDefOptions;
type DateDef = {
    type: Extract<PrimitiveType, "date">;
} & SchemaDefOptions;
type NullDef = {
    type: Extract<PrimitiveType, "null">;
} & SchemaDefOptions;
type SymbolDef = {
    type: Extract<PrimitiveType, "symbol">;
} & SchemaDefOptions;
type UndefinedDef = {
    type: Extract<PrimitiveType, "undefined">;
} & SchemaDefOptions;
type AnyDef = {
    type: Extract<PrimitiveType, "any">;
} & SchemaDefOptions;
type UnknownDef = {
    type: Extract<PrimitiveType, "unknown">;
} & SchemaDefOptions;
type SchemaDef = ArrayDef | ObjectDef | TupleDef | UnionDef | IntersectionDef | StringDef | NumberDef | BooleanDef | NullDef | SymbolDef | UndefinedDef | FunctionDef | AnyDef | UnknownDef | DateDef | EnumDef;

type IsSchemaFn<TSchemaAny> = (value: unknown) => value is TSchemaAny;

export type { IsSchemaFn as I, SchemaDef as S };