fix: optimize type definition of RequestParams

Author: solufa

README.md

@@ -30,18 +30,18 @@
 
 ## Why frourio-express ?
 
-Even if you write both the front and server in TypeScript, you can't statically type-check the API's sparsity.
+Even if you write both the frontend and backend in TypeScript, you can't statically type-check the API's sparsity.
 
 We are always forced to write "Two TypeScript".  
-We waste a lot of time on dynamic testing using the browser and Docker.
+We waste a lot of time on dynamic testing using the browser and server.
 
 <div align="center">
    <img src="https://frouriojs.github.io/frourio/assets/images/problem.png" width="1200" alt="Why frourio ?" />
 </div>
 <br />
 <br />
 
-Frourio-express is a framework for developing web apps quickly and safely in "One TypeScript".
+Frourio-express is a framework for developing web apps quickly and safely in **"One TypeScript"**.
 
 <div align="center">
    <img src="https://frouriojs.github.io/frourio/assets/images/architecture.png" width="1200" alt="Architecture of create-frourio-app" />
@@ -821,7 +821,7 @@ app.listen(3000)
 
 ## Dependency Injection
 
-Frourio-express use [frouriojs/Velona](https://github.com/frouriojs/velona) for dependency injection.
+Frourio-express use [frouriojs/velona](https://github.com/frouriojs/velona) for dependency injection.
 
 `server/api/tasks/index.ts`
 
@@ -908,9 +908,7 @@ test('dependency injection into controller', async () => {
   const limit = 3
   const message = 'test message'
   const res = await injectedController.get({
-    query: { limit, message },
-    body: undefined,
-    headers: undefined
+    query: { limit, message }
   })
 
   expect(res.body).toHaveLength(limit)

__test__/index.spec.ts

@@ -130,9 +130,7 @@ test('controller dependency injection', async () => {
 
   await expect(
     injectedController.get({
-      query: { id, requiredNum: 1, requiredNumArr: [0], disable: 'true' },
-      body: undefined,
-      headers: undefined
+      query: { id, requiredNum: 1, requiredNumArr: [0], disable: 'true' }
     })
   ).resolves.toHaveProperty('body', { id: +id })
   expect(val).toBe(+id)

servers/all/$server.ts

@@ -63,11 +63,15 @@ type BlobToFile<T extends AspidaMethodParams> = T['reqFormat'] extends FormData
     }
   : T['reqBody']
 
-type RequestParams<T extends AspidaMethodParams> = {
+type RequestParams<T extends AspidaMethodParams> = Pick<{
   query: T['query']
   body: BlobToFile<T>
   headers: T['reqHeaders']
-}
+}, {
+  query: Required<T>['query'] extends {} | null ? 'query' : never
+  body: Required<T>['reqBody'] extends {} | null ? 'body' : never
+  headers: Required<T>['reqHeaders'] extends {} | null ? 'headers' : never
+}['query' | 'body' | 'headers']>
 
 export type ServerMethods<T extends AspidaMethods, U extends ServerValues> = {
   [K in keyof T]: (

servers/minimum/$server.ts

@@ -35,11 +35,15 @@ type ServerValues = {
   user?: any
 }
 
-type RequestParams<T extends AspidaMethodParams> = {
+type RequestParams<T extends AspidaMethodParams> = Pick<{
   query: T['query']
   body: T['reqBody']
   headers: T['reqHeaders']
-}
+}, {
+  query: Required<T>['query'] extends {} | null ? 'query' : never
+  body: Required<T>['reqBody'] extends {} | null ? 'body' : never
+  headers: Required<T>['reqHeaders'] extends {} | null ? 'headers' : never
+}['query' | 'body' | 'headers']>
 
 export type ServerMethods<T extends AspidaMethods, U extends ServerValues> = {
   [K in keyof T]: (

servers/noMulter/$server.ts

@@ -44,11 +44,15 @@ type ServerValues = {
   user?: any
 }
 
-type RequestParams<T extends AspidaMethodParams> = {
+type RequestParams<T extends AspidaMethodParams> = Pick<{
   query: T['query']
   body: T['reqBody']
   headers: T['reqHeaders']
-}
+}, {
+  query: Required<T>['query'] extends {} | null ? 'query' : never
+  body: Required<T>['reqBody'] extends {} | null ? 'body' : never
+  headers: Required<T>['reqHeaders'] extends {} | null ? 'headers' : never
+}['query' | 'body' | 'headers']>
 
 export type ServerMethods<T extends AspidaMethods, U extends ServerValues> = {
   [K in keyof T]: (

servers/noTypedParams/$server.ts

@@ -59,11 +59,15 @@ type BlobToFile<T extends AspidaMethodParams> = T['reqFormat'] extends FormData
     }
   : T['reqBody']
 
-type RequestParams<T extends AspidaMethodParams> = {
+type RequestParams<T extends AspidaMethodParams> = Pick<{
   query: T['query']
   body: BlobToFile<T>
   headers: T['reqHeaders']
-}
+}, {
+  query: Required<T>['query'] extends {} | null ? 'query' : never
+  body: Required<T>['reqBody'] extends {} | null ? 'body' : never
+  headers: Required<T>['reqHeaders'] extends {} | null ? 'headers' : never
+}['query' | 'body' | 'headers']>
 
 export type ServerMethods<T extends AspidaMethods, U extends ServerValues> = {
   [K in keyof T]: (

servers/noValidator/$server.ts

@@ -58,11 +58,15 @@ type BlobToFile<T extends AspidaMethodParams> = T['reqFormat'] extends FormData
     }
   : T['reqBody']
 
-type RequestParams<T extends AspidaMethodParams> = {
+type RequestParams<T extends AspidaMethodParams> = Pick<{
   query: T['query']
   body: BlobToFile<T>
   headers: T['reqHeaders']
-}
+}, {
+  query: Required<T>['query'] extends {} | null ? 'query' : never
+  body: Required<T>['reqBody'] extends {} | null ? 'body' : never
+  headers: Required<T>['reqHeaders'] extends {} | null ? 'headers' : never
+}['query' | 'body' | 'headers']>
 
 export type ServerMethods<T extends AspidaMethods, U extends ServerValues> = {
   [K in keyof T]: (

src/buildServerFile.ts

@@ -73,11 +73,15 @@ type BlobToFile<T extends AspidaMethodParams> = T['reqFormat'] extends FormData
 `
     : ''
 }
-type RequestParams<T extends AspidaMethodParams> = {
+type RequestParams<T extends AspidaMethodParams> = Pick<{
   query: T['query']
   body: ${hasMulter ? 'BlobToFile<T>' : "T['reqBody']"}
   headers: T['reqHeaders']
-}
+}, {
+  query: Required<T>['query'] extends {} | null ? 'query' : never
+  body: Required<T>['reqBody'] extends {} | null ? 'body' : never
+  headers: Required<T>['reqHeaders'] extends {} | null ? 'headers' : never
+}['query' | 'body' | 'headers']>
 
 export type ServerMethods<T extends AspidaMethods, U extends ServerValues> = {
   [K in keyof T]: (