fix where clause unable to allow all possible key especially from dis…

…criminated union

package.json

@@ -1,6 +1,6 @@
 {
 	"name": "firelordjs",
-	"version": "2.8.0",
+	"version": "2.8.1",
 	"description": "🔥 High Precision Typescript Wrapper for Firestore Web, Providing Unparalleled Type Safe and Dev Experience",
 	"author": "tylim",
 	"license": "MIT",

src/types/metaTypeCreator/index.ts

@@ -1,3 +1,4 @@
 export * from './metaTypeCreator'
 export * from './metaType'
 export * from './abstract'
+export * from './utils'

src/types/metaTypeCreator/utils.ts

@@ -0,0 +1,6 @@
+import { MetaType } from './metaType'
+
+// TODO add tests!
+export type GetAllCompareKeys<T extends MetaType> =
+	(T['compare'] extends infer T ? (T extends T ? keyof T : never) : never) &
+		string

src/types/queryConstraints/orderBy.ts

@@ -1,5 +1,5 @@
 import { OrderByDirection, QueryOrderByConstraint } from '../alias'
-import { MetaType } from '../metaTypeCreator'
+import { MetaType, GetAllCompareKeys } from '../metaTypeCreator'
 import { __name__ } from '../fieldPath'
 
 export type OrderByConstraint<FieldPath extends string> = {
@@ -10,7 +10,7 @@ export type OrderByConstraint<FieldPath extends string> = {
 
 export type OrderBy = <
 	T extends MetaType,
-	FieldPath extends (keyof T['compare'] & string) | __name__,
+	FieldPath extends GetAllCompareKeys<T> | __name__,
 	DirectionStr extends OrderByDirection | undefined = undefined
 >(
 	fieldPath: FieldPath,

src/types/queryConstraints/query.ts

@@ -1,4 +1,4 @@
-import { MetaType } from '../metaTypeCreator'
+import { MetaType, GetAllCompareKeys } from '../metaTypeCreator'
 import { WhereFilterOp } from '../alias'
 import { CursorType, CursorConstraint } from './cursor'
 import { WhereConstraint } from './where'
@@ -9,14 +9,14 @@ import { QueryCompositeFilterConstraint } from './composite'
 type QueryNonFilterConstraints<T extends MetaType> =
 	| LimitConstraint<'limit' | 'limitToLast'>
 	| CursorConstraint<CursorType, unknown[]>
-	| OrderByConstraint<keyof T['compare'] & string>
+	| OrderByConstraint<GetAllCompareKeys<T>>
 
 export type QueryConstraints<T extends MetaType> =
-	| WhereConstraint<T, keyof T['compare'] & string, WhereFilterOp, unknown>
+	| WhereConstraint<T, GetAllCompareKeys<T>, WhereFilterOp, unknown>
 	| QueryNonFilterConstraints<T>
 
 export type QueryFilterConstraints<T extends MetaType> =
-	| WhereConstraint<T, keyof T['compare'] & string, WhereFilterOp, unknown>
+	| WhereConstraint<T, GetAllCompareKeys<T>, WhereFilterOp, unknown>
 	| QueryCompositeFilterConstraint<T, 'and' | 'or', QueryFilterConstraints<T>[]>
 
 export type QueryAllConstraints<T extends MetaType> =

src/types/queryConstraints/where.ts

@@ -1,10 +1,10 @@
-import { MetaType } from '../metaTypeCreator'
+import { MetaType, GetAllCompareKeys } from '../metaTypeCreator'
 import { WhereFilterOp, QueryFieldFilterConstraint } from '../alias'
 import { __name__ } from '../fieldPath'
 
 export type WhereConstraint<
 	T extends MetaType,
-	FieldPath extends keyof T['compare'] & string,
+	FieldPath extends GetAllCompareKeys<T> | __name__,
 	OpStr extends WhereFilterOp,
 	Value
 > = {
@@ -17,7 +17,7 @@ export type WhereConstraint<
 
 export type Where = <
 	T extends MetaType,
-	FieldPath extends (keyof T['compare'] & string) | __name__,
+	FieldPath extends GetAllCompareKeys<T> | __name__,
 	OpStr extends WhereFilterOp,
 	const Value
 >(

src/types/queryConstraintsLimitations/composite.ts

@@ -51,7 +51,7 @@ export type ValidateTopLevelQueryCompositeFilterPartOne<
 	T extends MetaType,
 	AllQQCs extends readonly QueryAllConstraints<T>[]
 > = AllQQCs extends (infer P)[]
-	? Extract<P, WhereConstraint<T, string, WhereFilterOp, unknown>> extends never
+	? Extract<P, WhereConstraint<T, any, WhereFilterOp, unknown>> extends never
 		? true
 		: GetAllQueryFilterCompositeConstraint<T, AllQQCs, never> extends never
 		? true
@@ -129,7 +129,7 @@ export type QueryFilterConstraintLimitation<
 				| OrderByConstraint<string>
 				| CursorConstraint<CursorType, unknown[]>
 				? ErrorOrAndInvalidConstraints
-				: Head extends WhereConstraint<T, string, WhereFilterOp, unknown>
+				: Head extends WhereConstraint<T, any, WhereFilterOp, unknown>
 				? Head['opStr'] extends NotIn
 					? 'or' extends ParentConstraint['type']
 						? ParentConstraint['constraints']['length'] extends 1

src/types/queryConstraintsLimitations/query.ts

@@ -34,7 +34,7 @@ export type ValidateOrderByAndInequalityWhere<
 	AllQCs extends readonly QueryConstraints<T>[]
 > = GetFirstInequalityWhere<T, AllQCs> extends infer W extends WhereConstraint<
 	T,
-	string,
+	any,
 	InequalityOpStr,
 	unknown
 >
@@ -62,7 +62,7 @@ export type QueryConstraintLimitation<
 				? Head
 				: Head extends LimitConstraint<'limitToLast'>
 				? LimitToLastConstraintLimitation<T, Head, AllQCs>
-				: Head extends WhereConstraint<T, string, WhereFilterOp, unknown>
+				: Head extends WhereConstraint<T, any, WhereFilterOp, unknown>
 				? ValidateWhereArrayContainsArrayContainsAny<
 						T,
 						Head,

src/types/queryConstraintsLimitations/where.ts

@@ -30,7 +30,7 @@ import { DeepValue } from '../objectFlatten'
 // You can't combine 'not-in' with 'or', 'in', 'array-contains-any', or '!=' in the same query.
 type ValidateWhereNotIn<
 	T extends MetaType,
-	U extends WhereConstraint<T, string, WhereFilterOp, unknown>,
+	U extends WhereConstraint<T, any, WhereFilterOp, unknown>,
 	PreviousQCs extends readonly QueryConstraints<T>[]
 > = U['opStr'] extends NotIn
 	? Extract<
@@ -51,7 +51,7 @@ type ValidateWhereNotIn<
 // You cannot use more than one '!=' filter. (undocumented)
 type ValidateWhereNotEqual<
 	T extends MetaType,
-	U extends WhereConstraint<T, string, WhereFilterOp, unknown>,
+	U extends WhereConstraint<T, any, WhereFilterOp, unknown>,
 	PreviousQCs extends readonly QueryConstraints<T>[]
 > = U['opStr'] extends NotEqual
 	? Extract<
@@ -65,7 +65,7 @@ type ValidateWhereNotEqual<
 // You can use at most one array-contains or array-contains-any clause per query. You can't combine array-contains with array-contains-any.
 export type ValidateWhereArrayContainsArrayContainsAny<
 	T extends MetaType,
-	U extends WhereConstraint<T, string, WhereFilterOp, unknown>,
+	U extends WhereConstraint<T, any, WhereFilterOp, unknown>,
 	PreviousQCs extends readonly QueryConstraints<T>[]
 > = U['opStr'] extends ArrayContains
 	? Extract<
@@ -86,18 +86,18 @@ export type ValidateWhereArrayContainsArrayContainsAny<
 // In a compound query, range (<, <=, >, >=) and not equals (!=, not-in) comparisons must all filter on the same field.
 type ValidateWhereInequalityOpStrSameField<
 	T extends MetaType,
-	U extends WhereConstraint<T, string, WhereFilterOp, unknown>,
+	U extends WhereConstraint<T, any, WhereFilterOp, unknown>,
 	PreviousQCs extends readonly QueryConstraints<T>[]
 > = U['opStr'] extends InequalityOpStr
 	? Extract<
 			GetAllWhereConstraint<T, PreviousQCs, never>,
-			WhereConstraint<T, string, InequalityOpStr, unknown>
+			WhereConstraint<T, any, InequalityOpStr, unknown>
 	  > extends never
 		? true
 		: Exclude<
 				Extract<
 					GetAllWhereConstraint<T, PreviousQCs, never>,
-					WhereConstraint<T, string, InequalityOpStr, unknown>
+					WhereConstraint<T, any, InequalityOpStr, unknown>
 				>,
 				WhereConstraint<T, U['fieldPath'], InequalityOpStr, unknown>
 		  > extends never
@@ -109,23 +109,23 @@ export type GetFirstInequalityWhere<
 	T extends MetaType,
 	QCs extends readonly QueryConstraints<T>[]
 > = QCs extends [infer H, ...infer Rest extends readonly QueryConstraints<T>[]]
-	? H extends WhereConstraint<T, string, InequalityOpStr, unknown>
+	? H extends WhereConstraint<T, any, InequalityOpStr, unknown>
 		? H
 		: GetFirstInequalityWhere<T, Rest>
 	: true // not found, no check needed
 
 export type GetAllWhereConstraint<
 	T extends MetaType,
 	AllQCs extends readonly QueryConstraints<T>[],
-	WhereConstraintsAcc extends WhereConstraint<T, string, WhereFilterOp, unknown>
+	WhereConstraintsAcc extends WhereConstraint<T, any, WhereFilterOp, unknown>
 > = AllQCs extends [infer H, ...infer R]
 	? R extends readonly QueryConstraints<T>[]
 		?
 				| WhereConstraintsAcc
 				| GetAllWhereConstraint<
 						T,
 						R,
-						| (H extends WhereConstraint<T, string, WhereFilterOp, unknown>
+						| (H extends WhereConstraint<T, any, WhereFilterOp, unknown>
 								? H
 								: never)
 						| WhereConstraintsAcc
@@ -144,7 +144,7 @@ type GetAllWhereConstraintOpStr<
 				| GetAllWhereConstraintOpStr<
 						T,
 						R,
-						| (H extends WhereConstraint<T, string, WhereFilterOp, unknown>
+						| (H extends WhereConstraint<T, any, WhereFilterOp, unknown>
 								? H['opStr']
 								: never)
 						| OpStrAcc
@@ -155,7 +155,7 @@ type GetAllWhereConstraintOpStr<
 export type WhereConstraintLimitation<
 	T extends MetaType,
 	Q extends GeneralQuery<T>,
-	U extends WhereConstraint<T, string, WhereFilterOp, unknown>,
+	U extends WhereConstraint<T, any, WhereFilterOp, unknown>,
 	PreviousQCs extends readonly QueryConstraints<T>[]
 > = ValidateWhereNotIn<T, U, PreviousQCs> extends infer R extends string
 	? R