@deessejs/functions 0.0.59 → 0.0.61

package/dist/context/define.d.ts

@@ -1,6 +1,8 @@
 import { MergeExtensions } from "../extensions/types";
 export declare function defineContext<TContext extends Record<string, any>>(): {
-    withExtensions: <TExtensions extends readonly any[]>(config: {
+    withExtensions: <TExtensions extends readonly {
+        functions: (ctx: TContext) => any;
+    }[]>(config: {
         extensions: readonly [...TExtensions];
     }) => MergeExtensions<TContext, TExtensions> & {
         context: TContext;

package/dist/context/define.js

@@ -3,16 +3,15 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.defineContext = defineContext;
 function defineContext() {
     return {
-        // ON NE MET AUCUNE CONTRAINTE ICI.
-        // TExtensions capture le type brut et exact (ex: le générique <C> de rpc).
+        // On demande des extensions dont la fonction 'functions' accepte TContext.
+        // Comme 'rpc' (qui sort maintenant "propre" de extensions()) est générique <C>,
+        // TypeScript va remplacer <C> par <TContext> pour satisfaire cette contrainte.
         withExtensions: (config) => {
             const runtimeBuilder = {};
             const dummyContext = {};
             for (const extension of config.extensions) {
-                // Cast runtime uniquement pour éviter les erreurs TS dans la boucle
-                const ext = extension;
-                if (ext && typeof ext.functions === "function") {
-                    const extensionMethods = ext.functions(dummyContext);
+                if (extension && typeof extension.functions === "function") {
+                    const extensionMethods = extension.functions(dummyContext);
                     Object.assign(runtimeBuilder, extensionMethods);
                 }
             }

package/dist/extensions/index.d.ts

@@ -1,9 +1,11 @@
 import { ZodType } from "zod";
-import { Extension, InferOptions } from "./types";
-import { FunctionsForContext } from "..";
-export declare function extensions<TSchema extends ZodType | undefined = undefined, TContextAddon extends Record<string, unknown> = Record<string, unknown>, TFunctionsFactory extends (<C>(context: C) => FunctionsForContext<C>) = (<C>(context: C) => FunctionsForContext<C>)>(config: {
+import { InferOptions } from "./types";
+export declare function extensions<TSchema extends ZodType | undefined = undefined, TContextAddon extends Record<string, unknown> = Record<string, unknown>, TFunctionsFactory = any>(config: {
     name: string;
     schema?: TSchema;
     context?: (options: InferOptions<TSchema>) => TContextAddon;
     functions: (options: InferOptions<TSchema>) => TFunctionsFactory;
-}): Extension<TSchema, TContextAddon, TFunctionsFactory>;
+}): (...args: any[]) => {
+    context: TContextAddon;
+    functions: TFunctionsFactory;
+};

package/dist/extensions/index.js

@@ -1,12 +1,14 @@
 "use strict";
-// extensions/index.ts (ou extensions.ts)
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.extensions = extensions;
+// On n'importe plus FunctionsForContext ici pour ne pas brider le type
 function extensions(config) {
+    // Cela permet à TS de renvoyer l'objet exact avec la fonction générique intacte.
     return (...args) => {
         const optionsInput = args[0];
         const options = (config.schema ? config.schema.parse(optionsInput) : undefined);
         const contextPart = config.context ? config.context(options) : {};
+        // Ici, functionsBuilder garde son type générique <C>(c: C) => ...
         const functionsBuilder = config.functions(options);
         return {
             context: contextPart,

package/dist/extensions/rpc.d.ts

@@ -5,15 +5,18 @@ import { CommandsDefinition, MutationDefinition, QueryDefinition } from "../cont
 export type APINode = CommandsDefinition | {
     [key: string]: APINode;
 };
-export declare const rpc: import("./types").Extension<undefined, Record<string, unknown>, <C>(context: C) => {
-    query: <TArgs extends ZodType<any, any, any>, TOutput, TError extends Exception>(options: {
-        args: TArgs;
-        handler: (ctx: C, // C sera ici { user: ... }
-        args: z.infer<TArgs>) => AsyncResult<TOutput, TError>;
-    }) => QueryDefinition<C, TArgs, TOutput, TError>;
-    mutation: <TArgs extends ZodType<any, any, any>, TOutput_1, TError_1 extends Exception>(options: {
-        args: TArgs;
-        handler: (ctx: C, args: z.infer<TArgs>) => AsyncResult<TOutput_1, TError_1>;
-    }) => MutationDefinition<C, TArgs, TOutput_1, TError_1>;
-    group: <T extends Record<string, APINode>>(definitions: T) => T;
-}>;
+export declare const rpc: (...args: any[]) => {
+    context: Record<string, unknown>;
+    functions: <C>(context: C) => {
+        query: <TArgs extends ZodType<any, any, any>, TOutput, TError extends Exception>(options: {
+            args: TArgs;
+            handler: (ctx: C, // C sera ici { user: ... }
+            args: z.core.output<TArgs>) => AsyncResult<TOutput, TError>;
+        }) => QueryDefinition<C, TArgs, TOutput, TError>;
+        mutation: <TArgs extends ZodType<any, any, any>, TOutput_1, TError_1 extends Exception>(options: {
+            args: TArgs;
+            handler: (ctx: C, args: z.core.output<TArgs>) => AsyncResult<TOutput_1, TError_1>;
+        }) => MutationDefinition<C, TArgs, TOutput_1, TError_1>;
+        group: <T extends Record<string, APINode>>(definitions: T) => T;
+    };
+};

package/dist/extensions/types.d.ts

@@ -1,26 +1,9 @@
 import z, { ZodType } from "zod";
-/**
- * LA SOLUTION MATHÉMATIQUE.
- * On ne demande pas "Est-ce que ça marche ?" (extends), on dit "Fais-le marcher !" (&).
- *
- * On crée une intersection entre :
- * 1. Ta fonction générique F: <C>(c: C) => API<C>
- * 2. Une fonction factice: (c: TContext) => unknown
- *
- * Pour calculer le ReturnType de cette intersection, TypeScript DOIT instancier
- * le générique <C> de F avec TContext.
- */
-type ApplyContext<F, C> = F extends (c: any) => any ? ReturnType<F & ((c: C) => unknown)> : never;
 export type MergeExtensions<TContext, TExtensions extends readonly any[]> = TExtensions extends readonly [infer Head, ...infer Tail] ? (Head extends {
-    functions: infer F;
-} ? ApplyContext<F, TContext> : {}) & MergeExtensions<TContext, Tail> : {};
-export type ExtensionBase = {
-    context: any;
-    functions: any;
-};
+    functions: (ctx: any) => infer R;
+} ? R : {}) & MergeExtensions<TContext, Tail> : {};
 export type InferOptions<T extends ZodType | undefined> = T extends ZodType ? z.infer<T> : undefined;
-export type Extension<TSchema extends ZodType | undefined, TContextAddon extends Record<string, unknown>, TFunctionsFactory extends (<C>(context: C) => any)> = (...args: TSchema extends ZodType ? [options: z.input<TSchema>] : [options?: undefined]) => {
+export type Extension<TSchema extends ZodType | undefined, TContextAddon extends Record<string, unknown>, TFunctionsFactory> = (...args: TSchema extends ZodType ? [options: z.input<TSchema>] : [options?: undefined]) => {
     context: TContextAddon;
     functions: TFunctionsFactory;
 };
-export {};

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@deessejs/functions",
-    "version": "0.0.59",
+    "version": "0.0.61",
     "description": "A powerful utility library for building type-safe APIs and functions with context management",
     "main": "dist/index.js",
     "types": "dist/index.d.ts",