import type { Prettify } from "../../utils/index.js";
import type { AttioRecord } from "../attio-record.js";
import type { FormArray } from "./array.js";
import type { FormAttioRecord } from "./attio-record.js";
import type { FormBoolean } from "./boolean.js";
import type { FormDateTime } from "./date-time.js";
import type { FormNumber } from "./number.js";
import type { FormPlainDate } from "./plain-date.js";
import type { FormString } from "./string.js";
import type { FormValue } from "./value.js";
type Assert<TCat, TAnimal> = TCat extends TAnimal ? TCat : never;
type Join<A extends string | number | null, B extends string | number> = A extends null ? B : `${A}.${B}`;
export type ValueType = "string" | "number" | "boolean" | "array" | "date-time" | "plain-date" | "attio-record";
export type SchemaNode = FormString<any> | FormNumber<any> | FormBoolean<any> | FormArray<any, any> | FormDateTime<any> | FormPlainDate<any> | FormAttioRecord<any> | {
    type: "object";
};
type PathWithTypeRecursive<TState, TRoot extends string | number | null> = TState extends FormString<any> ? {
    path: TRoot;
    type: "string";
} : TState extends FormBoolean<any> ? {
    path: TRoot;
    type: "boolean";
} : TState extends FormNumber<any> ? {
    path: TRoot;
    type: "number";
} : TState extends FormDateTime<any> ? {
    path: TRoot;
    type: "date-time";
} : TState extends FormPlainDate<any> ? {
    path: TRoot;
    type: "plain-date";
} : TState extends FormAttioRecord<any> ? {
    path: TRoot;
    type: "attio-record";
} : TState extends FormArray<infer TElement, any> ? {
    path: TRoot;
    type: "array";
} | PathWithTypeRecursive<TElement, Join<TRoot, number>> : {
    [K in keyof TState]: K extends string ? PathWithTypeRecursive<TState[K], Join<TRoot, K>> : never;
}[keyof TState];
type PathWithType<TState> = Assert<Prettify<PathWithTypeRecursive<TState, null>>, {
    path: string;
    type: ValueType;
}>;
export type Path<TState> = PathWithType<TState>["path"];
export type PathTo<TState, TType extends ValueType> = Extract<PathWithType<TState>, {
    type: TType;
}>["path"];
/**
 * Helper to check if a form value type matches a target type by comparing their type properties.
 */
type MatchesFormType<TElement extends FormValue | Record<string, FormValue>, TElementType extends FormValue | Record<string, FormValue>> = TElement extends {
    type: infer TElementTypeValue;
} ? TElementType extends {
    type: infer TTargetTypeValue;
} ? TElementTypeValue extends TTargetTypeValue ? TTargetTypeValue extends TElementTypeValue ? true : false : false : false : false;
/**
 * A helper type that extracts paths to arrays with a specific element type.
 * This allows for more precise typing when you need arrays of a specific type,
 * e.g., `PathToArrayOf<TSchema, FormString<any>>` will only match arrays of strings.
 *
 * The compatibility check works by comparing the `type` property of both types.
 * This allows FormString<false> to match FormString<any> because both have type: "string".
 */
type PathToArrayOfRecursive<TState, TElementType extends FormValue | Record<string, FormValue>, TRoot extends string | number | null> = TState extends FormArray<infer TElement, any> ? MatchesFormType<TElement, TElementType> extends true ? {
    path: TRoot;
} : never : TState extends Record<string, any> ? {
    [K in keyof TState]: K extends string ? PathToArrayOfRecursive<TState[K], TElementType, Join<TRoot, K>> : never;
}[keyof TState] : never;
export type PathToArrayOf<TState, TElementType extends FormValue | Record<string, FormValue>> = PathToArrayOfRecursive<TState, TElementType, null> extends infer Result ? Result extends {
    path: infer TPath;
} ? TPath extends string ? TPath : never : never : never;
export type ValueOf<TState> = TState extends FormString<infer TOptional> ? TOptional extends true ? string | undefined : string : TState extends FormBoolean<infer TOptional> ? TOptional extends true ? boolean | undefined : boolean : TState extends FormNumber<infer TOptional> ? TOptional extends true ? number | undefined : number : TState extends FormDateTime<infer TOptional> ? TOptional extends true ? Date | undefined : Date : TState extends FormPlainDate<infer TOptional> ? TOptional extends true ? string | undefined : string : TState extends FormAttioRecord<infer TOptional, infer TObjectSlug> ? TOptional extends true ? AttioRecord<TObjectSlug> | undefined : AttioRecord<TObjectSlug> : TState extends FormArray<infer TElement, infer TOptional> ? TOptional extends true ? Array<ValueOf<TElement>> | undefined : Array<ValueOf<TElement>> : {
    [K in keyof TState]: K extends string ? ValueOf<TState[K]> : never;
};
export {};
//# sourceMappingURL=path.d.ts.map