@backland/schema/lib/fields/Infer/InferObjectType.d.ts

TypeScript schema declaration and validation library with static type inference

import { Cast, GetFieldByDotNotation, NullableToPartial } from '@backland/utils';
import { CommonFieldDefinition } from '../_fieldDefinitions';
import { InferField } from './InferField';
export interface ObjectTypeLikeFieldDefinition {
    __isBacklandObject: true;
    definition: any;
}
export interface ObjectInTypeFieldDefinition extends CommonFieldDefinition<ObjectTypeLikeFieldDefinition> {
}
export type InferObjectType<T> = T extends unknown ? T extends ObjectTypeLikeFieldDefinition ? InferObjectDefinition<T['definition']> : never : never;
export type InferObjectDefinition<Input> = [Input] extends [object] ? NullableToPartial<_InferObjectDefinition<{
    -readonly [K in keyof Input as K extends `$${string}` ? never : K]: Input[K];
}> & ParseSpecialObjectKeys<Input>> : never;
export type ParseSpecialObjectKeys<T> = {
    -readonly [K in keyof T as K extends `$string` ? string : K extends `$number` ? number : never]: InferField<T[K]>;
} & {};
export type _InferObjectDefinition<Input extends object> = _GetAliasFields<Input> extends infer Aliases ? {
    [K in Exclude<keyof Input, keyof Aliases>]: InferField<Input[K]>;
} & _InferSpecialObjectKeys<Input> extends infer Parent ? _InferAliasFields<Cast<Aliases, object>, Cast<Parent, object>> & Parent : never : never;
export type _GetAliasFields<Input extends object> = {
    [K in keyof Input as keyof Input[K] extends 'alias' ? K : 'type' extends keyof Input[K] ? 'alias' extends Input[K]['type'] ? K : never : never]: Input[K];
} & {};
export type _InferAlias<Input, Parent extends object> = Input extends string ? GetFieldByDotNotation<Parent, Input> : Input extends object ? keyof Input extends infer K ? K extends unknown ? K extends keyof Input ? K extends 'type' ? InferField<Input[K]> : K extends 'alias' ? _InferAlias<Input[K], Parent> : never : never : never : never : never;
export type _InferAliasFields<AliasFields extends object, Parent extends object> = {
    [K in keyof AliasFields]: _InferAlias<AliasFields[K], Parent>;
} & {};
export type _InferSpecialObjectKeys<T> = {
    -readonly [K in keyof T as K extends `$string` ? string : K extends `$number` ? number : never]: InferField<T[K]>;
} & {};