feat: add orphan Type to IJSONApplication to save types

src/json.ts

@@ -57,7 +57,7 @@ export function application(): never;
 export function application<
   Types extends unknown[],
   Version extends "3.0" | "3.1" = "3.1",
->(): IJsonApplication<Version>;
+>(): IJsonApplication<Version, Types>;
 
 /**
  * @internal

src/programmers/json/JsonApplicationProgrammer.ts

@@ -1,6 +1,6 @@
 import { OpenApi, OpenApiV3 } from "@samchon/openapi";
 
-import { IJsonApplication } from "../../schemas/json/IJsonApplication";
+import { IJsonApplication, type tag as IJSONTag } from "../../schemas/json/IJsonApplication";
 import { Metadata } from "../../schemas/metadata/Metadata";
 
 import { TransformerError } from "../../transformers/TransformerError";
@@ -44,7 +44,7 @@ export namespace JsonApplicationProgrammer {
     const components: OpenApiV3.IComponents = {};
     const generator = (meta: Metadata): OpenApiV3.IJsonSchema | null =>
       application_v30_schema(true)(components)({})(meta);
-    return {
+    const schema = ({
       version: "3.0",
       components,
       schemas: metadatas.map((meta, i) => {
@@ -56,7 +56,8 @@ export namespace JsonApplicationProgrammer {
           });
         return schema;
       }),
-    };
+    } satisfies Omit<IJsonApplication<"3.0">, typeof IJSONTag>); // check types before as assertion
+    return schema as IJsonApplication<"3.0">;
   };
 
   const v31 = (metadatas: Array<Metadata>): IJsonApplication<"3.1"> => {
@@ -65,7 +66,7 @@ export namespace JsonApplicationProgrammer {
     };
     const generator = (meta: Metadata): OpenApi.IJsonSchema | null =>
       application_v31_schema(true)(components)({})(meta);
-    return {
+    const schema = ({
       version: "3.1",
       components,
       schemas: metadatas.map((meta, i) => {
@@ -77,6 +78,7 @@ export namespace JsonApplicationProgrammer {
           });
         return schema;
       }),
-    };
+    } satisfies Omit<IJsonApplication<"3.1">, typeof IJSONTag>); // check types before as assertion
+    return schema as IJsonApplication<"3.1">;
   };
 }

src/schemas/json/IJsonApplication.ts

@@ -1,14 +1,18 @@
 import type { OpenApi, OpenApiV3 } from "@samchon/openapi";
 
-export type IJsonApplication<Version extends "3.0" | "3.1" = "3.1"> =
-  Version extends "3.0" ? IJsonApplication.IV3_0 : IJsonApplication.IV3_1;
+export declare const tag: unique symbol;
+
+export type IJsonApplication<Version extends "3.0" | "3.1" = "3.1", Types = unknown[]> =
+  Version extends "3.0" ? IJsonApplication.IV3_0<Types> : IJsonApplication.IV3_1<Types>;
 export namespace IJsonApplication {
-  export interface IV3_0 {
+  export interface IV3_0<Types = unknown[]> {
+    [tag]: Types;
     version: "3.0";
     schemas: OpenApiV3.IJsonSchema[];
     components: OpenApiV3.IComponents;
   }
-  export interface IV3_1 {
+  export interface IV3_1<Types = unknown[]> {
+    [tag]: Types;
     version: "3.1";
     components: OpenApi.IComponents;
     schemas: OpenApi.IJsonSchema[];