import { MetaType } from '../metaTypeCreator';
import { WhereFilterOp } from '../alias';
import { ErrorWhereCompareValueMustBeArray, ErrorWhereNotInArrayContainsAny, ErrorWhereNotInNotEqual, ErrorWhereArrayContainsArrayContainsAny, ErrorWhereInequalityOpStrSameField, ErrorWhereOnlyOneNotEqual, ErrorWhereNoNeverEmptyArray, ErrorWhereInOrNotInValueIsNotArray } from '../error';
import { QueryConstraints, WhereConstraint } from '../queryConstraints';
import { GeneralQuery } from '../refs';
import { GetCorrectDocumentIdBasedOnRef } from '../fieldPath';
import { In, NotIn, ArrayContainsAny, NotEqual, ArrayContains, InequalityOpStr, ValueOfOptStr, ArrayOfOptStr, ValueOfOnlyArrayOptStr, ElementOfOptStr } from './utils';
import { DeepValue } from '../objectFlatten';
type ValidateWhereNotInArrayContainsAny<T extends MetaType, U extends WhereConstraint<string, WhereFilterOp, unknown>, PreviousQCs extends QueryConstraints[]> = U['opStr'] extends In | NotIn | ArrayContainsAny ? Extract<GetAllWhereConstraintOpStr<T, PreviousQCs, never>, In | NotIn | ArrayContainsAny> extends never ? true : ErrorWhereNotInArrayContainsAny : true;
type ValidateWhereNotInNotEqual<T extends MetaType, U extends WhereConstraint<string, WhereFilterOp, unknown>, PreviousQCs extends QueryConstraints[]> = U['opStr'] extends NotIn ? Extract<GetAllWhereConstraintOpStr<T, PreviousQCs, never>, NotEqual> extends never ? true : ErrorWhereNotInNotEqual : U['opStr'] extends NotEqual ? Extract<GetAllWhereConstraintOpStr<T, PreviousQCs, never>, NotIn> extends never ? Extract<GetAllWhereConstraintOpStr<T, PreviousQCs, never>, NotEqual> extends never ? true : ErrorWhereOnlyOneNotEqual : ErrorWhereNotInNotEqual : true;
type ValidateWhereArrayContainsArrayContainsAny<T extends MetaType, U extends WhereConstraint<string, WhereFilterOp, unknown>, PreviousQCs extends QueryConstraints[]> = U['opStr'] extends ArrayContains ? Extract<GetAllWhereConstraintOpStr<T, PreviousQCs, never>, ArrayContains | ArrayContainsAny> extends never ? true : ErrorWhereArrayContainsArrayContainsAny : U['opStr'] extends ArrayContainsAny ? Extract<GetAllWhereConstraintOpStr<T, PreviousQCs, never>, ArrayContains> extends never ? true : ErrorWhereArrayContainsArrayContainsAny : true;
type ValidateWhereInequalityOpStrSameField<T extends MetaType, U extends WhereConstraint<string, WhereFilterOp, unknown>, PreviousQCs extends QueryConstraints[]> = U['opStr'] extends InequalityOpStr ? Extract<GetAllWhereConstraint<T, PreviousQCs, never>, WhereConstraint<string, InequalityOpStr, unknown>> extends never ? true : Exclude<Extract<GetAllWhereConstraint<T, PreviousQCs, never>, WhereConstraint<string, InequalityOpStr, unknown>>, WhereConstraint<U['fieldPath'], InequalityOpStr, unknown>> extends never ? true : ErrorWhereInequalityOpStrSameField : true;
export type GetFirstInequalityWhere<T extends MetaType, QCs extends QueryConstraints[]> = QCs extends [infer H, ...infer Rest] ? H extends WhereConstraint<string, InequalityOpStr, unknown> ? H : Rest extends QueryConstraints[] ? GetFirstInequalityWhere<T, Rest> : never : true;
export type GetAllWhereConstraint<T extends MetaType, QCs extends QueryConstraints[], WhereConstraintsAcc extends WhereConstraint<string, WhereFilterOp, unknown>> = QCs extends [infer H, ...infer R] ? R extends QueryConstraints[] ? WhereConstraintsAcc | GetAllWhereConstraint<T, R, (H extends WhereConstraint<string, WhereFilterOp, unknown> ? H : never) | WhereConstraintsAcc> : WhereConstraintsAcc : WhereConstraintsAcc;
type GetAllWhereConstraintOpStr<T extends MetaType, QCs extends QueryConstraints[], OpStrAcc extends WhereFilterOp> = QCs extends [infer H, ...infer R] ? R extends QueryConstraints[] ? OpStrAcc | GetAllWhereConstraintOpStr<T, R, (H extends WhereConstraint<string, WhereFilterOp, unknown> ? H['opStr'] : never) | OpStrAcc> : OpStrAcc : OpStrAcc;
export type WhereConstraintLimitation<T extends MetaType, Q extends GeneralQuery<T>, U extends WhereConstraint<string, WhereFilterOp, unknown>, PreviousQCs extends QueryConstraints[]> = ValidateWhereNotInArrayContainsAny<T, U, PreviousQCs> extends string ? ValidateWhereNotInArrayContainsAny<T, U, PreviousQCs> : ValidateWhereNotInNotEqual<T, U, PreviousQCs> extends string ? ValidateWhereNotInNotEqual<T, U, PreviousQCs> : ValidateWhereArrayContainsArrayContainsAny<T, U, PreviousQCs> extends string ? ValidateWhereArrayContainsArrayContainsAny<T, U, PreviousQCs> : ValidateWhereInequalityOpStrSameField<T, U, PreviousQCs> extends string ? ValidateWhereInequalityOpStrSameField<T, U, PreviousQCs> : U['opStr'] extends ValueOfOptStr ? WhereConstraint<U['fieldPath'], U['opStr'], GetCorrectDocumentIdBasedOnRef<T, Q, U['fieldPath'], U['value']>> : U['opStr'] extends ArrayOfOptStr ? WhereConstraint<U['fieldPath'], U['opStr'], U['value'] extends readonly never[] | readonly [] ? ErrorWhereNoNeverEmptyArray : U['value'] extends readonly (infer P)[] ? readonly GetCorrectDocumentIdBasedOnRef<T, Q, U['fieldPath'], P>[] : ErrorWhereInOrNotInValueIsNotArray<U['fieldPath']>> : U['opStr'] extends ValueOfOnlyArrayOptStr ? WhereConstraint<U['fieldPath'], U['opStr'], U['value'] extends readonly never[] | readonly [] ? ErrorWhereNoNeverEmptyArray : DeepValue<T['compare'], U['fieldPath']> extends readonly unknown[] ? DeepValue<T['compare'], U['fieldPath']> : ErrorWhereCompareValueMustBeArray<U['fieldPath']>> : U['opStr'] extends ElementOfOptStr ? WhereConstraint<U['fieldPath'], U['opStr'], DeepValue<T['compare'], U['fieldPath']> extends readonly (infer R)[] ? R : ErrorWhereCompareValueMustBeArray<U['fieldPath']>> : never;
export {};