@forklaunch/core 0.13.5 → 0.13.7

package/lib/http/index.d.mts

@@ -969,7 +969,7 @@ type LiveTypeFunction<SV extends AnySchemaValidator, Route extends string, P ext
     query: unknown;
 } | {
     headers: unknown;
-} ? [reqInit: ReqInit] : [reqInit?: ReqInit] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
+} ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
     [K in keyof VersionedApi]: (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, VersionedApi[K]['body'] extends Body<SV> ? VersionedApi[K]['body'] : Body<SV>, VersionedApi[K]['query'] extends QueryObject<SV> ? VersionedApi[K]['query'] : QueryObject<SV>, VersionedApi[K]['requestHeaders'] extends HeadersObject<SV> ? VersionedApi[K]['requestHeaders'] : HeadersObject<SV>, Auth>> & {
         version: K;
     } extends infer ReqInit ? ReqInit extends {
@@ -980,7 +980,7 @@ type LiveTypeFunction<SV extends AnySchemaValidator, Route extends string, P ext
         query: unknown;
     } | {
         headers: unknown;
-    } ? [reqInit: ReqInit] : [reqInit?: ReqInit] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
+    } ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
 };
 /**
  * Represents a live type function for the SDK.
@@ -1002,7 +1002,7 @@ type LiveSdkFunction<SV extends AnySchemaValidator, P extends ParamsObject<SV>,
     query: unknown;
 } | {
     headers: unknown;
-} ? [reqInit: ReqInit] : [reqInit?: ReqInit] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
+} ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
     [K in keyof VersionedApi]: (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, VersionedApi[K]['body'] extends Body<SV> ? VersionedApi[K]['body'] : Body<SV>, VersionedApi[K]['query'] extends QueryObject<SV> ? VersionedApi[K]['query'] : QueryObject<SV>, VersionedApi[K]['requestHeaders'] extends HeadersObject<SV> ? VersionedApi[K]['requestHeaders'] : HeadersObject<SV>, Auth>> extends infer ReqInit ? ReqInit extends {
         body: unknown;
     } | {
@@ -1011,7 +1011,7 @@ type LiveSdkFunction<SV extends AnySchemaValidator, P extends ParamsObject<SV>,
         query: unknown;
     } | {
         headers: unknown;
-    } ? [reqInit: ReqInit] : [reqInit?: ReqInit] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
+    } ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
 };
 /**
  * Represents a basic SDK Response object.
@@ -1268,49 +1268,6 @@ type MiddlewareOrMiddlewareWithTypedHandler<SV extends AnySchemaValidator, Name
  * - If the mapped function expects body, query, params, or headers, reqInit is required
  * - Otherwise, reqInit is optional
  * - If the path doesn't map to a TypeSafeFunction, reqInit is never
- *
- * @example
- * ```typescript
- * // Define your API endpoints
- * type UserAPI = {
- *   '/users': (baseUrl: string, options?: { query?: { limit?: number } }) => Promise<User[]>;
- *   '/users/:id': (baseUrl: string, options: { params: { id: string } }) => Promise<User>;
- *   '/users/create': (baseUrl: string, options: { body: CreateUserRequest }) => Promise<User>;
- * };
- *
- * // Create a type-safe fetch function
- * type UserFetch = FetchFunction<UserAPI>;
- *
- * // Usage examples
- * const userFetch: UserFetch = async (path, reqInit) => {
- *   // Implementation details...
- * };
- *
- * // Type-safe calls
- * const users = await userFetch('/users'); // reqInit is optional
- * const user = await userFetch('/users/:id', { params: { id: '123' } }); // reqInit required
- * const newUser = await userFetch('/users/create', { body: { name: 'John' } }); // reqInit required
- * ```
- *
- * @example
- * ```typescript
- * // Advanced usage with multiple parameter types
- * type ComplexAPI = {
- *   '/search': (baseUrl: string, options: {
- *     query: { q: string; limit?: number };
- *     headers: { 'X-API-Key': string };
- *   }) => Promise<SearchResult[]>;
- * };
- *
- * type ComplexFetch = FetchFunction<ComplexAPI>;
- * const complexFetch: ComplexFetch = async (path, reqInit) => { ... };
- *
- * // Both query and headers are required
- * const results = await complexFetch('/search', {
- *   query: { q: 'typescript' },
- *   headers: { 'X-API-Key': 'secret' }
- * });
- * ```
  **/
 type FetchFunction<FetchMap> = <const Path extends keyof FetchMap, const Method extends keyof FetchMap[Path], const Version extends keyof FetchMap[Path][Method]>(path: Path, ...reqInit: FetchMap[Path][Method] extends TypeSafeFunction ? 'GET' extends keyof FetchMap[Path] ? FetchMap[Path]['GET'] extends TypeSafeFunction ? Parameters<FetchMap[Path]['GET']>[1] extends {
     body: unknown;
@@ -1439,14 +1396,13 @@ type MapToFetch<SV extends AnySchemaValidator, T extends RouterMap<SV>> = UnionT
         _fetchMap: infer F;
     } ? F extends Record<string, unknown> ? F : never : never;
 }[keyof T]>>;
+type CollectionOptimized<T> = T extends infer U ? U : never;
 /**
  * Base interface for controller entries that defines the structure
  * of each controller method with its path, HTTP method, and contract details.
  * This type serves as the foundation for type-safe SDK generation by ensuring
  * all controller entries follow a consistent structure.
  *
- * @template SV - The schema validator type that constrains the contract details
- *
  * @example
  * ```typescript
  * const controller: Record<string, SdkHandler> = {
@@ -1458,15 +1414,6 @@ type MapToFetch<SV extends AnySchemaValidator, T extends RouterMap<SV>> = UnionT
  *       body: { name: string, email: string },
  *       responses: { 201: { id: string, name: string } }
  *     }
- *   },
- *   getUser: {
- *     _path: '/users/:id',
- *     _method: 'get',
- *     contractDetails: {
- *       name: 'getUser',
- *       params: { id: string },
- *       responses: { 200: { id: string, name: string } }
- *     }
  *   }
  * };
  * ```
@@ -1498,21 +1445,17 @@ type SdkHandler = {
         versions?: unknown;
     };
 };
-type MapControllerToSdk<SV extends AnySchemaValidator, T extends Record<string, SdkHandler>> = {
+type MapControllerToSdk<SV extends AnySchemaValidator, T extends Record<string, SdkHandler>> = CollectionOptimized<{
     [K in keyof T]: LiveSdkFunction<SV, T[K]['contractDetails']['params'] extends infer Params | undefined ? Params extends ParamsObject<SV> ? Params : ParamsObject<SV> : ParamsObject<SV>, T[K]['contractDetails']['responses'] extends infer Responses | undefined ? Responses extends ResponsesObject<SV> ? Responses : ResponsesObject<SV> : ResponsesObject<SV>, T[K]['contractDetails']['body'] extends infer B | undefined ? B extends Body<SV> ? B : Body<SV> : Body<SV>, T[K]['contractDetails']['query'] extends infer Q | undefined ? Q extends QueryObject<SV> ? Q : QueryObject<SV> : QueryObject<SV>, T[K]['contractDetails']['requestHeaders'] extends infer RequestHeaders | undefined ? RequestHeaders extends HeadersObject<SV> ? RequestHeaders : HeadersObject<SV> : HeadersObject<SV>, T[K]['contractDetails']['responseHeaders'] extends infer ResponseHeaders | undefined ? ResponseHeaders extends HeadersObject<SV> ? ResponseHeaders : HeadersObject<SV> : HeadersObject<SV>, T[K]['contractDetails']['versions'] extends infer Versions | undefined ? Versions extends VersionSchema<SV, Method> ? Versions : VersionSchema<SV, Method> : VersionSchema<SV, Method>, T[K]['contractDetails']['auth'] extends infer Auth | undefined ? Auth extends AuthMethodsBase ? Auth : AuthMethodsBase : AuthMethodsBase>;
-};
+}>;
 /**
  * Extracts and constructs a LiveTypeFunction from an SdkHandler object.
- * This type utility takes a controller entry and transforms it into a type-safe
- * function that can be used for making HTTP requests with full type safety.
+ * This optimized version reduces redundant type inference while maintaining type safety.
  *
  * @template Entry - The controller entry containing path, method, and contract details
  * @template SV - The schema validator type that constrains the contract details
  * @template BasePath - The base path prefix to prepend to the entry's path
  *
- * @returns A LiveTypeFunction with properly typed parameters and return values
- *          based on the entry's contract details
- *
  * @example
  * ```typescript
  * type UserCreateFunction = ExtractLiveTypeFn<
@@ -1520,44 +1463,27 @@ type MapControllerToSdk<SV extends AnySchemaValidator, T extends Record<string,
  *   SchemaValidator,
  *   '/api/v1'
  * >;
- * // Results in: (path: '/api/v1/users', options: { body: { name: string } }) => Promise<...>
  * ```
  */
 type ExtractLiveTypeFn<Entry extends SdkHandler, SV extends AnySchemaValidator, BasePath extends `/${string}`> = LiveTypeFunction<SV, Entry['_path'] extends infer Path | undefined ? Path extends `/${string}` ? `${BasePath}${Path}` : never : never, Entry['contractDetails']['params'] extends infer Params | undefined ? Params extends ParamsObject<SV> ? Params : ParamsObject<SV> : ParamsObject<SV>, Entry['contractDetails']['responses'] extends infer Responses | undefined ? Responses extends ResponsesObject<SV> ? Responses : ResponsesObject<SV> : ResponsesObject<SV>, Entry['contractDetails']['body'] extends infer B | undefined ? B extends Body<SV> ? B : Body<SV> : Body<SV>, Entry['contractDetails']['query'] extends infer Q | undefined ? Q extends QueryObject<SV> ? Q : QueryObject<SV> : QueryObject<SV>, Entry['contractDetails']['requestHeaders'] extends infer RequestHeaders | undefined ? RequestHeaders extends HeadersObject<SV> ? RequestHeaders : HeadersObject<SV> : HeadersObject<SV>, Entry['contractDetails']['responseHeaders'] extends infer ResponseHeaders | undefined ? ResponseHeaders extends HeadersObject<SV> ? ResponseHeaders : HeadersObject<SV> : HeadersObject<SV>, Entry['_method'] extends Method ? Entry['_method'] : never, Entry['contractDetails']['versions'] extends infer Versions | undefined ? Versions extends VersionSchema<SV, Method> ? Versions : VersionSchema<SV, Method> : VersionSchema<SV, Method>, Entry['contractDetails']['auth'] extends infer Auth | undefined ? Auth extends AuthMethodsBase ? Auth : AuthMethodsBase : AuthMethodsBase>;
 /**
  * Transforms a controller object into a fetch map structure that provides
- * type-safe access to HTTP endpoints. This type creates a discriminated union
- * where each path maps to its specific HTTP methods, ensuring that different
- * methods for the same path are properly discriminated rather than unioned.
+ * type-safe access to HTTP endpoints. This optimized version reduces complexity
+ * while maintaining full type safety and discriminated union behavior.
  *
  * @template T - The controller object type containing all endpoint definitions
  * @template SV - The schema validator type that constrains the contract details
  * @template RouterBasePath - The base path prefix for the router
  *
- * @returns A fetch map structure where:
- *          - Keys are full paths (basePath + entry path)
- *          - Values are records mapping HTTP methods to their corresponding LiveTypeFunctions
- *          - Each method is properly discriminated with its own contract details
- *
  * @example
  * ```typescript
  * const controller = {
  *   createUser: { _path: '/users', _method: 'post', contractDetails: { body: { name: string } } },
- *   getUser: { _path: '/users/:id', _method: 'get', contractDetails: { params: { id: string } } },
- *   updateUser: { _path: '/users/:id', _method: 'put', contractDetails: { body: { name: string } } }
+ *   getUser: { _path: '/users/:id', _method: 'get', contractDetails: { params: { id: string } } }
  * } as const;
  *
  * type FetchMap = ToFetchMap<typeof controller, SchemaValidator, '/api/v1'>;
- * // Results in:
- * // {
- * //   '/api/v1/users': {
- * //     POST: LiveTypeFunction<...>, // from createUser
- * //   },
- * //   '/api/v1/users/:id': {
- * //     GET: LiveTypeFunction<...>,  // from getUser
- * //     PUT: LiveTypeFunction<...>   // from updateUser
- * //   }
- * // }
+ * // Results in properly typed fetch map with discriminated methods per path
  * ```
  */
 type ToFetchMap<T extends Record<string, SdkHandler>, SV extends AnySchemaValidator, RouterBasePath extends `/${string}`> = {

package/lib/http/index.d.ts

@@ -969,7 +969,7 @@ type LiveTypeFunction<SV extends AnySchemaValidator, Route extends string, P ext
     query: unknown;
 } | {
     headers: unknown;
-} ? [reqInit: ReqInit] : [reqInit?: ReqInit] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
+} ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
     [K in keyof VersionedApi]: (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, VersionedApi[K]['body'] extends Body<SV> ? VersionedApi[K]['body'] : Body<SV>, VersionedApi[K]['query'] extends QueryObject<SV> ? VersionedApi[K]['query'] : QueryObject<SV>, VersionedApi[K]['requestHeaders'] extends HeadersObject<SV> ? VersionedApi[K]['requestHeaders'] : HeadersObject<SV>, Auth>> & {
         version: K;
     } extends infer ReqInit ? ReqInit extends {
@@ -980,7 +980,7 @@ type LiveTypeFunction<SV extends AnySchemaValidator, Route extends string, P ext
         query: unknown;
     } | {
         headers: unknown;
-    } ? [reqInit: ReqInit] : [reqInit?: ReqInit] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
+    } ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
 };
 /**
  * Represents a live type function for the SDK.
@@ -1002,7 +1002,7 @@ type LiveSdkFunction<SV extends AnySchemaValidator, P extends ParamsObject<SV>,
     query: unknown;
 } | {
     headers: unknown;
-} ? [reqInit: ReqInit] : [reqInit?: ReqInit] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
+} ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
     [K in keyof VersionedApi]: (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, VersionedApi[K]['body'] extends Body<SV> ? VersionedApi[K]['body'] : Body<SV>, VersionedApi[K]['query'] extends QueryObject<SV> ? VersionedApi[K]['query'] : QueryObject<SV>, VersionedApi[K]['requestHeaders'] extends HeadersObject<SV> ? VersionedApi[K]['requestHeaders'] : HeadersObject<SV>, Auth>> extends infer ReqInit ? ReqInit extends {
         body: unknown;
     } | {
@@ -1011,7 +1011,7 @@ type LiveSdkFunction<SV extends AnySchemaValidator, P extends ParamsObject<SV>,
         query: unknown;
     } | {
         headers: unknown;
-    } ? [reqInit: ReqInit] : [reqInit?: ReqInit] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
+    } ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
 };
 /**
  * Represents a basic SDK Response object.
@@ -1268,49 +1268,6 @@ type MiddlewareOrMiddlewareWithTypedHandler<SV extends AnySchemaValidator, Name
  * - If the mapped function expects body, query, params, or headers, reqInit is required
  * - Otherwise, reqInit is optional
  * - If the path doesn't map to a TypeSafeFunction, reqInit is never
- *
- * @example
- * ```typescript
- * // Define your API endpoints
- * type UserAPI = {
- *   '/users': (baseUrl: string, options?: { query?: { limit?: number } }) => Promise<User[]>;
- *   '/users/:id': (baseUrl: string, options: { params: { id: string } }) => Promise<User>;
- *   '/users/create': (baseUrl: string, options: { body: CreateUserRequest }) => Promise<User>;
- * };
- *
- * // Create a type-safe fetch function
- * type UserFetch = FetchFunction<UserAPI>;
- *
- * // Usage examples
- * const userFetch: UserFetch = async (path, reqInit) => {
- *   // Implementation details...
- * };
- *
- * // Type-safe calls
- * const users = await userFetch('/users'); // reqInit is optional
- * const user = await userFetch('/users/:id', { params: { id: '123' } }); // reqInit required
- * const newUser = await userFetch('/users/create', { body: { name: 'John' } }); // reqInit required
- * ```
- *
- * @example
- * ```typescript
- * // Advanced usage with multiple parameter types
- * type ComplexAPI = {
- *   '/search': (baseUrl: string, options: {
- *     query: { q: string; limit?: number };
- *     headers: { 'X-API-Key': string };
- *   }) => Promise<SearchResult[]>;
- * };
- *
- * type ComplexFetch = FetchFunction<ComplexAPI>;
- * const complexFetch: ComplexFetch = async (path, reqInit) => { ... };
- *
- * // Both query and headers are required
- * const results = await complexFetch('/search', {
- *   query: { q: 'typescript' },
- *   headers: { 'X-API-Key': 'secret' }
- * });
- * ```
  **/
 type FetchFunction<FetchMap> = <const Path extends keyof FetchMap, const Method extends keyof FetchMap[Path], const Version extends keyof FetchMap[Path][Method]>(path: Path, ...reqInit: FetchMap[Path][Method] extends TypeSafeFunction ? 'GET' extends keyof FetchMap[Path] ? FetchMap[Path]['GET'] extends TypeSafeFunction ? Parameters<FetchMap[Path]['GET']>[1] extends {
     body: unknown;
@@ -1439,14 +1396,13 @@ type MapToFetch<SV extends AnySchemaValidator, T extends RouterMap<SV>> = UnionT
         _fetchMap: infer F;
     } ? F extends Record<string, unknown> ? F : never : never;
 }[keyof T]>>;
+type CollectionOptimized<T> = T extends infer U ? U : never;
 /**
  * Base interface for controller entries that defines the structure
  * of each controller method with its path, HTTP method, and contract details.
  * This type serves as the foundation for type-safe SDK generation by ensuring
  * all controller entries follow a consistent structure.
  *
- * @template SV - The schema validator type that constrains the contract details
- *
  * @example
  * ```typescript
  * const controller: Record<string, SdkHandler> = {
@@ -1458,15 +1414,6 @@ type MapToFetch<SV extends AnySchemaValidator, T extends RouterMap<SV>> = UnionT
  *       body: { name: string, email: string },
  *       responses: { 201: { id: string, name: string } }
  *     }
- *   },
- *   getUser: {
- *     _path: '/users/:id',
- *     _method: 'get',
- *     contractDetails: {
- *       name: 'getUser',
- *       params: { id: string },
- *       responses: { 200: { id: string, name: string } }
- *     }
  *   }
  * };
  * ```
@@ -1498,21 +1445,17 @@ type SdkHandler = {
         versions?: unknown;
     };
 };
-type MapControllerToSdk<SV extends AnySchemaValidator, T extends Record<string, SdkHandler>> = {
+type MapControllerToSdk<SV extends AnySchemaValidator, T extends Record<string, SdkHandler>> = CollectionOptimized<{
     [K in keyof T]: LiveSdkFunction<SV, T[K]['contractDetails']['params'] extends infer Params | undefined ? Params extends ParamsObject<SV> ? Params : ParamsObject<SV> : ParamsObject<SV>, T[K]['contractDetails']['responses'] extends infer Responses | undefined ? Responses extends ResponsesObject<SV> ? Responses : ResponsesObject<SV> : ResponsesObject<SV>, T[K]['contractDetails']['body'] extends infer B | undefined ? B extends Body<SV> ? B : Body<SV> : Body<SV>, T[K]['contractDetails']['query'] extends infer Q | undefined ? Q extends QueryObject<SV> ? Q : QueryObject<SV> : QueryObject<SV>, T[K]['contractDetails']['requestHeaders'] extends infer RequestHeaders | undefined ? RequestHeaders extends HeadersObject<SV> ? RequestHeaders : HeadersObject<SV> : HeadersObject<SV>, T[K]['contractDetails']['responseHeaders'] extends infer ResponseHeaders | undefined ? ResponseHeaders extends HeadersObject<SV> ? ResponseHeaders : HeadersObject<SV> : HeadersObject<SV>, T[K]['contractDetails']['versions'] extends infer Versions | undefined ? Versions extends VersionSchema<SV, Method> ? Versions : VersionSchema<SV, Method> : VersionSchema<SV, Method>, T[K]['contractDetails']['auth'] extends infer Auth | undefined ? Auth extends AuthMethodsBase ? Auth : AuthMethodsBase : AuthMethodsBase>;
-};
+}>;
 /**
  * Extracts and constructs a LiveTypeFunction from an SdkHandler object.
- * This type utility takes a controller entry and transforms it into a type-safe
- * function that can be used for making HTTP requests with full type safety.
+ * This optimized version reduces redundant type inference while maintaining type safety.
  *
  * @template Entry - The controller entry containing path, method, and contract details
  * @template SV - The schema validator type that constrains the contract details
  * @template BasePath - The base path prefix to prepend to the entry's path
  *
- * @returns A LiveTypeFunction with properly typed parameters and return values
- *          based on the entry's contract details
- *
  * @example
  * ```typescript
  * type UserCreateFunction = ExtractLiveTypeFn<
@@ -1520,44 +1463,27 @@ type MapControllerToSdk<SV extends AnySchemaValidator, T extends Record<string,
  *   SchemaValidator,
  *   '/api/v1'
  * >;
- * // Results in: (path: '/api/v1/users', options: { body: { name: string } }) => Promise<...>
  * ```
  */
 type ExtractLiveTypeFn<Entry extends SdkHandler, SV extends AnySchemaValidator, BasePath extends `/${string}`> = LiveTypeFunction<SV, Entry['_path'] extends infer Path | undefined ? Path extends `/${string}` ? `${BasePath}${Path}` : never : never, Entry['contractDetails']['params'] extends infer Params | undefined ? Params extends ParamsObject<SV> ? Params : ParamsObject<SV> : ParamsObject<SV>, Entry['contractDetails']['responses'] extends infer Responses | undefined ? Responses extends ResponsesObject<SV> ? Responses : ResponsesObject<SV> : ResponsesObject<SV>, Entry['contractDetails']['body'] extends infer B | undefined ? B extends Body<SV> ? B : Body<SV> : Body<SV>, Entry['contractDetails']['query'] extends infer Q | undefined ? Q extends QueryObject<SV> ? Q : QueryObject<SV> : QueryObject<SV>, Entry['contractDetails']['requestHeaders'] extends infer RequestHeaders | undefined ? RequestHeaders extends HeadersObject<SV> ? RequestHeaders : HeadersObject<SV> : HeadersObject<SV>, Entry['contractDetails']['responseHeaders'] extends infer ResponseHeaders | undefined ? ResponseHeaders extends HeadersObject<SV> ? ResponseHeaders : HeadersObject<SV> : HeadersObject<SV>, Entry['_method'] extends Method ? Entry['_method'] : never, Entry['contractDetails']['versions'] extends infer Versions | undefined ? Versions extends VersionSchema<SV, Method> ? Versions : VersionSchema<SV, Method> : VersionSchema<SV, Method>, Entry['contractDetails']['auth'] extends infer Auth | undefined ? Auth extends AuthMethodsBase ? Auth : AuthMethodsBase : AuthMethodsBase>;
 /**
  * Transforms a controller object into a fetch map structure that provides
- * type-safe access to HTTP endpoints. This type creates a discriminated union
- * where each path maps to its specific HTTP methods, ensuring that different
- * methods for the same path are properly discriminated rather than unioned.
+ * type-safe access to HTTP endpoints. This optimized version reduces complexity
+ * while maintaining full type safety and discriminated union behavior.
  *
  * @template T - The controller object type containing all endpoint definitions
  * @template SV - The schema validator type that constrains the contract details
  * @template RouterBasePath - The base path prefix for the router
  *
- * @returns A fetch map structure where:
- *          - Keys are full paths (basePath + entry path)
- *          - Values are records mapping HTTP methods to their corresponding LiveTypeFunctions
- *          - Each method is properly discriminated with its own contract details
- *
  * @example
  * ```typescript
  * const controller = {
  *   createUser: { _path: '/users', _method: 'post', contractDetails: { body: { name: string } } },
- *   getUser: { _path: '/users/:id', _method: 'get', contractDetails: { params: { id: string } } },
- *   updateUser: { _path: '/users/:id', _method: 'put', contractDetails: { body: { name: string } } }
+ *   getUser: { _path: '/users/:id', _method: 'get', contractDetails: { params: { id: string } } }
  * } as const;
  *
  * type FetchMap = ToFetchMap<typeof controller, SchemaValidator, '/api/v1'>;
- * // Results in:
- * // {
- * //   '/api/v1/users': {
- * //     POST: LiveTypeFunction<...>, // from createUser
- * //   },
- * //   '/api/v1/users/:id': {
- * //     GET: LiveTypeFunction<...>,  // from getUser
- * //     PUT: LiveTypeFunction<...>   // from updateUser
- * //   }
- * // }
+ * // Results in properly typed fetch map with discriminated methods per path
  * ```
  */
 type ToFetchMap<T extends Record<string, SdkHandler>, SV extends AnySchemaValidator, RouterBasePath extends `/${string}`> = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@forklaunch/core",
-  "version": "0.13.5",
+  "version": "0.13.7",
   "description": "forklaunch-js core package. Contains useful building blocks.",
   "homepage": "https://github.com/forklaunch/forklaunch-js#readme",
   "bugs": {
@@ -91,8 +91,8 @@
     "pino-pretty": "^13.1.1",
     "redis": "^5.8.2",
     "uuid": "^11.1.0",
-    "@forklaunch/common": "0.5.4",
-    "@forklaunch/validator": "0.9.5"
+    "@forklaunch/common": "0.5.6",
+    "@forklaunch/validator": "0.9.7"
   },
   "devDependencies": {
     "@eslint/js": "^9.34.0",
@@ -101,7 +101,7 @@
     "@types/jest": "^30.0.0",
     "@types/qs": "^6.14.0",
     "@types/uuid": "^10.0.0",
-    "@typescript/native-preview": "7.0.0-dev.20250824.1",
+    "@typescript/native-preview": "7.0.0-dev.20250825.1",
     "globals": "^16.3.0",
     "jest": "^30.0.5",
     "jose": "5.10.0",
@@ -110,7 +110,7 @@
     "ts-jest": "^29.4.1",
     "ts-node": "^10.9.2",
     "tsup": "^8.5.0",
-    "typedoc": "^0.28.10",
+    "typedoc": "^0.28.11",
     "typescript": "^5.9.2",
     "typescript-eslint": "^8.40.0"
   },