import { ModelIndexType } from '../ModelIndex';
type ModelIndexTypeShape = ModelIndexType<any, any, any, any, any>;
export type PrimaryIndexFieldsToIR<IdxFields extends ReadonlyArray<string>, ResolvedFields> = IdxFields extends readonly [
    infer PK,
    ...infer SK extends never | readonly string[]
] ? {
    pk: PK extends keyof ResolvedFields ? {
        [Key in PK]: Exclude<ResolvedFields[PK], null> & (string | number);
    } : never;
    sk: unknown extends SK ? never : ResolvedSortKeyFields<SK, ResolvedFields>;
    compositeSk: SK['length'] extends 0 | 1 ? never : CompositeSkFieldName<ArrayShift<SK>, SK[0]>;
} : never;
type ArrayShift<Arr extends ReadonlyArray<any>> = Arr extends readonly [
    infer _Shift,
    ...infer Rest
] ? Rest : never;
type CompositeSkFieldName<SK, Result extends string = ''> = SK extends readonly [infer A extends string, ...infer B extends string[]] ? CompositeSkFieldName<B, `${Result}${Capitalize<A>}`> : Result;
/**
 * Maps array of ModelIndexType to SecondaryIndexIrShape (defined in in data-schema-types)
 * */
export type SecondaryIndexToIR<Idxs extends ReadonlyArray<ModelIndexTypeShape>, ResolvedFields, Result extends readonly any[] = readonly []> = Idxs extends readonly [
    infer First extends ModelIndexTypeShape,
    ...infer Rest extends ReadonlyArray<ModelIndexTypeShape>
] ? SecondaryIndexToIR<Rest, ResolvedFields, [
    ...Result,
    SingleIndexIrFromType<First, ResolvedFields>
]> : Result;
/**
 * @typeParam Idx - accepts a single ModelIndexType
 * @typeParam ResolvedFields - resolved model fields
 *
 * @returns an IR with the following shape:
 * {
 *   queryField: string;
 *   pk: { [fieldName: string]: string | number }
 *   sk: { [fieldName: string]: string | number } | never
 * }
 *
 * @remarks - the IR type alias is defined as SecondaryIndexIrShape in data-schema-types
 */
type SingleIndexIrFromType<Idx extends ModelIndexTypeShape, ResolvedFields> = Idx extends ModelIndexType<any, infer PK extends string, infer SK extends readonly string[], infer QueryField extends string | never, any> ? {
    defaultQueryFieldSuffix: QueryFieldLabelFromTuple<SK, Capitalize<PK>>;
    queryField: QueryField;
    pk: PK extends keyof ResolvedFields ? {
        [Key in PK]: Exclude<ResolvedFields[PK], null>;
    } : never;
    sk: unknown extends SK ? never : ResolvedSortKeyFields<SK, ResolvedFields>;
    compositeSk: SK['length'] extends 0 | 1 ? never : CompositeSkFieldName<ArrayShift<SK>, SK[0]>;
} : never;
/**
 * @typeParam SK - tuple of SortKey field names, e.g. ['viewCount', 'createdAt']
 * @typeParam StrStart - initial string value; expects capitalized Partition Key field name
 *
 * @returns Query field name: concatenated PascalCase string with an `And` separator
 * @example
 * QueryFieldLabelFromTuple<['viewCount', 'createdAt'], 'Title'> => 'TitleAndViewCountAndCreatedAt'
 */
type QueryFieldLabelFromTuple<SK, StrStart extends string = ''> = SK extends readonly [infer A extends string, ...infer B extends string[]] ? QueryFieldLabelFromTuple<B, `${StrStart}And${Capitalize<A>}`> : StrStart;
/**
 * @typeParam SK - tuple of SortKey field names, e.g. ['viewCount', 'createdAt']
 * @typeParam ResolvedFields - resolved model fields
 *
 * @returns object type where the key is the sort key field name and the value is the resolved model field type
 * @example
 * {
 *   viewCount: number;
 *   createdAt: string;
 * }
 */
type ResolvedSortKeyFields<SK, ResolvedFields> = SK extends readonly [
    infer A extends string,
    ...infer B extends string[]
] ? A extends keyof ResolvedFields ? {
    [Key in A]: Exclude<ResolvedFields[A], null>;
} & (B extends readonly never[] ? unknown : ResolvedSortKeyFields<B, ResolvedFields>) : never : never;
export {};