@deessejs/functions 0.0.58 → 0.0.59

package/dist/context/define.d.ts

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

package/dist/context/define.js

@@ -3,13 +3,13 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.defineContext = defineContext;
 function defineContext() {
     return {
-        // ON UTILISE ExtensionBase (la version simple définie ci-dessus).
-        // TExtensions va capturer le type EXACT et BRUT de tes extensions (ex: rpc avec ses génériques <C> intacts).
+        // ON NE MET AUCUNE CONTRAINTE ICI.
+        // TExtensions capture le type brut et exact (ex: le générique <C> de rpc).
         withExtensions: (config) => {
             const runtimeBuilder = {};
             const dummyContext = {};
             for (const extension of config.extensions) {
-                // Au runtime, on s'en fiche des types, on exécute juste
+                // 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);

package/dist/extensions/types.d.ts

@@ -1,25 +1,23 @@
 import z, { ZodType } from "zod";
 /**
- * C'est le seul mécanisme fiable.
- * F est ta fonction générique <C>(c: C) => API<C>
- * On lui dit : "Si je te donne TContext, que me renvoies-tu ?"
- * TypeScript est obligé de calculer le résultat avec TContext.
- */
-type ApplyContext<F, C> = F extends (context: C) => infer R ? R : never;
-/**
- * ICI EST LA CLÉ :
- * On définit 'functions' comme 'any'.
- * Pourquoi ? Pour que TypeScript ne transforme PAS ta fonction générique <C>
- * en une fonction générique "morte" ou "unknown" quand elle passe dans un tableau.
+ * 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;
 };
-/**
- * On itère, et on applique ApplyContext sur la fonction brute.
- */
-export type MergeExtensions<TContext, TExtensions extends readonly any[]> = TExtensions extends readonly [infer Head, ...infer Tail] ? (Head extends ExtensionBase ? ApplyContext<Head["functions"], TContext> : {}) & 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]) => {
     context: TContextAddon;

package/package.json

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