WIP Add strict pinejs mode

Change-type: patch

Author: otaviojacobi

src/index.ts

@@ -2039,6 +2039,7 @@ export type ResourceExpand<T extends Resource['Read'] = AnyResourceObject> = {
 export type BaseExpand<T extends Resource['Read'] = AnyResourceObject> =
 	| ExpandableStringKeyOf<T>
 	| ResourceExpand<T>;
+
 export type Expand<T extends Resource['Read'] = AnyResourceObject> =
 	| BaseExpand<T>
 	| ReadonlyArray<BaseExpand<T>>;
@@ -2163,3 +2164,65 @@ export interface UpsertParams<T extends Resource = AnyResource>
 	resource: string;
 	body: Partial<T['Write']>;
 }
+
+export type StrictODataOptions<T extends Resource['Read'] = AnyResourceObject> =
+	Omit<ODataOptions<T>, '$select' | '$expand'> & {
+		$expand?: StrictExpand<T>;
+	} & (
+			| {
+					$count: NonNullable<ODataOptions<T>['$count']>;
+					// TODO: Maybe never is the better type here?
+					// TODO: Ask Page if it makes any sense to have $count & $select together
+					$select?: ODataOptions<T>['$select'];
+			  }
+			| {
+					// TODO: Maybe never is the better type here?
+					$count?: undefined;
+					$select: NonNullable<ODataOptions<T>['$select']>;
+			  }
+		);
+
+type StrictResourceExpand<T extends Resource['Read']> = {
+	[K in StringKeyOf<T> as ExtractExpand<T, K> extends never
+		? never
+		: K]?: ExtractExpand<T, K> extends Resource['Read']
+		? StrictODataOptions<ExtractExpand<T, K>>
+		: ODataOptions<ExtractExpand<T, K>>;
+};
+
+// StrictExpand does not allow to $expand with a string or list of string (resources)
+// instead, it enforces a resource expand with $select
+type StrictExpand<T extends Resource['Read']> =
+	| StrictResourceExpand<T>
+	| ReadonlyArray<StrictResourceExpand<T>>;
+
+type StrictParams<T extends Resource = AnyResource> = Omit<
+	Params<T>,
+	'options'
+> & {
+	options: StrictODataOptions<T['Read']>;
+};
+
+// Forces a $select to exist for get, subscribe and prepare
+export type StrictPinejsClientCore<
+	Model extends { [key in keyof Model]: Resource } = {
+		[key in string]: AnyResource;
+	},
+> = Omit<PinejsClientCore<Model>, 'get'> & {
+	get<
+		TResource extends StringKeyOf<Model>,
+		TParams extends StrictParams<Model[TResource]> & {
+			resource: TResource;
+		},
+	>(
+		params: { resource: TResource } & TParams,
+	): Promise<
+		NoInfer<
+			OptionsToResponse<
+				Model[TResource]['Read'],
+				NonNullable<StrictParams['options']>,
+				TParams['id']
+			>
+		>
+	>;
+};