@craft-ts/core 0.7.0-beta.13

package/src/lib/server-function-middleware.js

@@ -0,0 +1,189 @@
+import { assertMiddlewareId, flattenMiddlewareGraph, } from './middleware-schema-shared';
+export { assertMiddlewareId, };
+export function portableServerMiddleware(id, run) {
+    assertMiddlewareId(id);
+    return Object.freeze({
+        kind: 'server-function-middleware',
+        id,
+        inputs: [],
+        clientContexts: [],
+        dependencies: [],
+        run,
+    });
+}
+/** Déclare dans un pipe de middleware la forme attendue du contexte client. */
+export function clientContext(schema) {
+    return Object.freeze({
+        kind: 'server-function-client-context',
+        schema,
+    });
+}
+export function craftMiddleware(id) {
+    assertMiddlewareId(id);
+    return makeBuilder(id, [], [], [], []);
+}
+function makeBuilder(id, inputs, dependencies, provides, clientContexts) {
+    return {
+        pipe(...members) {
+            let nextInputs = inputs;
+            let nextDependencies = dependencies;
+            let nextProvides = provides;
+            let nextClientContexts = clientContexts;
+            for (const member of members) {
+                if (isClientContextDeclaration(member)) {
+                    nextClientContexts = [...nextClientContexts, member.schema];
+                    continue;
+                }
+                nextInputs =
+                    member.kind === 'server-function-middleware'
+                        ? [...nextInputs, ...member.inputs]
+                        : nextInputs;
+                nextDependencies = [...nextDependencies, member];
+                nextProvides =
+                    member.kind === 'client-function-middleware'
+                        ? [...nextProvides, ...member.provides]
+                        : nextProvides;
+                nextClientContexts =
+                    member.kind === 'server-function-middleware'
+                        ? [...nextClientContexts, ...member.clientContexts]
+                        : nextClientContexts;
+            }
+            return makeBuilder(id, nextInputs, nextDependencies, nextProvides, nextClientContexts);
+        },
+        use(middleware) {
+            return makeBuilder(id, middleware.kind === 'server-function-middleware'
+                ? [...inputs, ...middleware.inputs]
+                : inputs, [...dependencies, middleware], middleware.kind === 'client-function-middleware'
+                ? [...provides, ...middleware.provides]
+                : provides, middleware.kind === 'server-function-middleware'
+                ? [...clientContexts, ...middleware.clientContexts]
+                : clientContexts);
+        },
+        input(schema) {
+            return makeBuilder(id, [...inputs, schema], dependencies, provides, clientContexts);
+        },
+        provides(schema) {
+            return makeBuilder(id, inputs, dependencies, [...provides, schema], clientContexts);
+        },
+        clientContext(schema) {
+            return makeBuilder(id, inputs, dependencies, provides, [
+                ...clientContexts,
+                schema,
+            ]);
+        },
+        server(run) {
+            return Object.freeze({
+                kind: 'server-function-middleware',
+                id,
+                inputs,
+                clientContexts,
+                dependencies: assertSameFamily(id, dependencies, 'server-function-middleware'),
+                run,
+            });
+        },
+        client(run) {
+            return Object.freeze({
+                kind: 'client-function-middleware',
+                id,
+                provides,
+                dependencies: assertSameFamily(id, dependencies, 'client-function-middleware'),
+                run,
+            });
+        },
+    };
+}
+function isClientContextDeclaration(value) {
+    return value.kind === 'server-function-client-context';
+}
+/**
+ * Un middleware client et un middleware serveur ne s'exécutent ni au même
+ * endroit ni avec le même moteur : les composer serait un contresens, et le
+ * runtime ne saurait pas quoi faire de la dépendance étrangère.
+ */
+function assertSameFamily(id, dependencies, kind) {
+    for (const dependency of dependencies) {
+        if (dependency.kind !== kind) {
+            throw new Error(`Middleware "${id}" is a ${kind === 'client-function-middleware' ? 'client' : 'server'} middleware but depends on "${dependency.id}", which is a ${dependency.kind === 'client-function-middleware' ? 'client' : 'server'} middleware. A chain cannot mix both families.`);
+        }
+    }
+    return dependencies;
+}
+export function isCraftMiddleware(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        value.kind === 'server-function-middleware');
+}
+/** Aplatit les dépendances (profondeur d'abord) et déduplique par identifiant. */
+export function flattenMiddlewares(middlewares) {
+    return flattenMiddlewareGraph(middlewares);
+}
+/** Schémas d'input collectés le long de la chaîne, dédupliqués, contrat en tête. */
+export function collectMiddlewareSchemas(contractInput, middlewares) {
+    const schemas = [contractInput];
+    for (const middleware of flattenMiddlewares(middlewares)) {
+        for (const schema of middleware.inputs) {
+            if (!schemas.includes(schema))
+                schemas.push(schema);
+        }
+    }
+    return schemas;
+}
+/** Même mécanique, appliquée au canal du contexte client. */
+export function collectMiddlewareClientContextSchemas(contractClientContext, middlewares) {
+    const schemas = contractClientContext
+        ? [contractClientContext]
+        : [];
+    for (const middleware of flattenMiddlewares(middlewares)) {
+        for (const schema of middleware.clientContexts ?? []) {
+            if (!schemas.includes(schema))
+                schemas.push(schema);
+        }
+    }
+    return schemas;
+}
+/**
+ * Compose la chaîne en oignon. Un middleware peut soit retourner directement
+ * `{ context }` (ou une Promise de cette enveloppe), soit retourner un
+ * programme opaque — typiquement un Effect — qui doit appeler `next()` pour
+ * composer la suite. Aucun combinateur Effect n'est utilisé ici : le core reste
+ * donc sans dépendance runtime sur Effect.
+ */
+export function runMiddlewareChain(middlewares, input, handler, clientContext = {}, resolve = () => {
+    throw new Error('This server middleware requires DI, but no server runtime resolver was provided.');
+}) {
+    const chain = flattenMiddlewares(middlewares);
+    const step = (index, context) => {
+        const middleware = chain[index];
+        if (!middleware)
+            return handler({ input, context });
+        const result = middleware.run({
+            input: input,
+            context,
+            clientContext: clientContext,
+            resolve,
+            next: ((patch) => step(index + 1, { ...context, ...patch.context })),
+        });
+        if (isMiddlewareContextPatch(result)) {
+            return step(index + 1, { ...context, ...result.context });
+        }
+        if (isPromiseLike(result)) {
+            return result.then((patch) => step(index + 1, { ...context, ...patch.context }));
+        }
+        return result;
+    };
+    return step(0, {});
+}
+function isMiddlewareContextPatch(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        'context' in value &&
+        typeof value.context === 'object' &&
+        value.context !== null);
+}
+function isPromiseLike(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        'then' in value &&
+        typeof value.then === 'function');
+}
+//# sourceMappingURL=server-function-middleware.js.map

package/src/lib/server-function-middleware.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-function-middleware.js","sourceRoot":"","sources":["../../../../../libs/core/src/lib/server-function-middleware.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,sBAAsB,GAQvB,MAAM,4BAA4B,CAAC;AAYpC,OAAO,EACL,kBAAkB,GAQnB,CAAC;AAqHF,MAAM,UAAU,wBAAwB,CACtC,EAAM,EACN,GAOY;IAUZ,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACvB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,4BAAqC;QAC3C,EAAE;QACF,MAAM,EAAE,EAAW;QACnB,cAAc,EAAE,EAAW;QAC3B,YAAY,EAAE,EAAW;QACzB,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AA8BD,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAC3B,MAAc;IAEd,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,gCAAyC;QAC/C,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAwVD,MAAM,UAAU,eAAe,CAC7B,EAAM;IAUN,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACvB,OAAO,WAAW,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAQpC,CAAC;AACJ,CAAC;AAID,SAAS,WAAW,CAClB,EAAU,EACV,MAA8B,EAC9B,YAA2C,EAC3C,QAAgC,EAChC,cAAsC;IAEtC,OAAO;QACL,IAAI,CAAC,GAAG,OAAuC;YAC7C,IAAI,UAAU,GAAG,MAAM,CAAC;YACxB,IAAI,gBAAgB,GAAG,YAAY,CAAC;YACpC,IAAI,YAAY,GAAG,QAAQ,CAAC;YAC5B,IAAI,kBAAkB,GAAG,cAAc,CAAC;YAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,IAAI,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvC,kBAAkB,GAAG,CAAC,GAAG,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;oBAC5D,SAAS;gBACX,CAAC;gBAED,UAAU;oBACR,MAAM,CAAC,IAAI,KAAK,4BAA4B;wBAC1C,CAAC,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC;wBACnC,CAAC,CAAC,UAAU,CAAC;gBACjB,gBAAgB,GAAG,CAAC,GAAG,gBAAgB,EAAE,MAAM,CAAC,CAAC;gBACjD,YAAY;oBACV,MAAM,CAAC,IAAI,KAAK,4BAA4B;wBAC1C,CAAC,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;wBACvC,CAAC,CAAC,YAAY,CAAC;gBACnB,kBAAkB;oBAChB,MAAM,CAAC,IAAI,KAAK,4BAA4B;wBAC1C,CAAC,CAAC,CAAC,GAAG,kBAAkB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC;wBACnD,CAAC,CAAC,kBAAkB,CAAC;YAC3B,CAAC;YAED,OAAO,WAAW,CAChB,EAAE,EACF,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,kBAAkB,CACnB,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,UAA8B;YAChC,OAAO,WAAW,CAChB,EAAE,EACF,UAAU,CAAC,IAAI,KAAK,4BAA4B;gBAC9C,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC;gBACnC,CAAC,CAAC,MAAM,EACV,CAAC,GAAG,YAAY,EAAE,UAAU,CAAC,EAC7B,UAAU,CAAC,IAAI,KAAK,4BAA4B;gBAC9C,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC;gBACvC,CAAC,CAAC,QAAQ,EACZ,UAAU,CAAC,IAAI,KAAK,4BAA4B;gBAC9C,CAAC,CAAC,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC,cAAc,CAAC;gBACnD,CAAC,CAAC,cAAc,CACnB,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,MAAmB;YACvB,OAAO,WAAW,CAChB,EAAE,EACF,CAAC,GAAG,MAAM,EAAE,MAAM,CAAC,EACnB,YAAY,EACZ,QAAQ,EACR,cAAc,CACf,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,MAAmB;YAC1B,OAAO,WAAW,CAChB,EAAE,EACF,MAAM,EACN,YAAY,EACZ,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,EACrB,cAAc,CACf,CAAC;QACJ,CAAC;QACD,aAAa,CAAC,MAAmB;YAC/B,OAAO,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE;gBACrD,GAAG,cAAc;gBACjB,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QACD,MAAM,CAAC,GAA2B;YAChC,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,4BAAqC;gBAC3C,EAAE;gBACF,MAAM;gBACN,cAAc;gBACd,YAAY,EAAE,gBAAgB,CAC5B,EAAE,EACF,YAAY,EACZ,4BAA4B,CAC7B;gBACD,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QACD,MAAM,CAAC,GAAiC;YACtC,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,4BAAqC;gBAC3C,EAAE;gBACF,QAAQ;gBACR,YAAY,EAAE,gBAAgB,CAC5B,EAAE,EACF,YAAY,EACZ,4BAA4B,CAC7B;gBACD,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAmC;IAEnC,OAAO,KAAK,CAAC,IAAI,KAAK,gCAAgC,CAAC;AACzD,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,EAAU,EACV,YAA2C,EAC3C,IAAU;IAEV,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CACb,eAAe,EAAE,UAAU,IAAI,KAAK,4BAA4B,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,+BAA+B,UAAU,CAAC,EAAE,iBAAiB,UAAU,CAAC,IAAI,KAAK,4BAA4B,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,gDAAgD,CAC1Q,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,YAAsE,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAA4B,CAAC,IAAI,KAAK,4BAA4B,CACpE,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAChC,WAA0C;IAE1C,OAAO,sBAAsB,CAAC,WAAW,CAAC,CAAC;AAC7C,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,wBAAwB,CACtC,aAA0B,EAC1B,WAA0C;IAE1C,MAAM,OAAO,GAAkB,CAAC,aAAa,CAAC,CAAC;IAC/C,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;QACzD,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,qCAAqC,CACnD,qBAA8C,EAC9C,WAA0C;IAE1C,MAAM,OAAO,GAAkB,qBAAqB;QAClD,CAAC,CAAC,CAAC,qBAAqB,CAAC;QACzB,CAAC,CAAC,EAAE,CAAC;IACP,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;QACzD,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;YACrD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAOD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,WAA0C,EAC1C,KAAc,EACd,OAA+B,EAC/B,gBAAmC,EAAE,EACrC,UAA+D,GAAG,EAAE;IAClE,MAAM,IAAI,KAAK,CACb,kFAAkF,CACnF,CAAC;AACJ,CAAC;IAED,MAAM,KAAK,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IAE9C,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,OAA0B,EAAW,EAAE;QAClE,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,UAAU;YAAE,OAAO,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC;YAC5B,KAAK,EAAE,KAAc;YACrB,OAAO;YACP,aAAa,EAAE,aAAsB;YACrC,OAAO;YACP,IAAI,EAAE,CAAC,CAAC,KAA8C,EAAE,EAAE,CACxD,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAU;SAC9D,CAAC,CAAC;QAEH,IAAI,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5D,CAAC;QAED,IAAI,aAAa,CAAyB,MAAM,CAAC,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAClD,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,OAAO,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc;IAEd,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,SAAS,IAAI,KAAK;QAClB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,KAAK,CAAC,OAAO,KAAK,IAAI,CACvB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAQ,KAAc;IAC1C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACf,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CACjC,CAAC;AACJ,CAAC","sourcesContent":["import {\n  assertMiddlewareId,\n  flattenMiddlewareGraph,\n  type MergeOptionalSchemaOutputs,\n  type MergeSchemaInputs,\n  type MergeSchemaOutputs,\n  type MiddlewareContext,\n  type MiddlewareDownstreamError,\n  type MiddlewareResult,\n  type OverwriteContext,\n} from './middleware-schema-shared';\nimport type {\n  AnyCraftClientMiddleware,\n  ClientMiddlewareContextOf,\n  ClientMiddlewareProvidesOf,\n  ClientMiddlewareRunContext,\n  CraftClientMiddleware,\n} from './client-function-middleware';\nimport type { CraftSchema } from './schema-validation';\nimport type { ServerFunctionToken } from './client-di-requirement';\nimport type * as Effect from 'effect/Effect';\n\nexport {\n  assertMiddlewareId,\n  type MergeOptionalSchemaOutputs,\n  type MergeSchemaInputs,\n  type MergeSchemaOutputs,\n  type MiddlewareContext,\n  type MiddlewareDownstreamError,\n  type MiddlewareResult,\n  type OverwriteContext,\n};\n\n/** Concatène les schémas de tous les middleware d'une chaîne, dépendances comprises. */\nexport type MiddlewareSchemasOfAll<\n  Middlewares extends readonly AnyCraftMiddleware[],\n> = Middlewares extends readonly [\n  infer Head extends AnyCraftMiddleware,\n  ...infer Tail extends readonly AnyCraftMiddleware[],\n]\n  ? readonly [...MiddlewareSchemasOf<Head>, ...MiddlewareSchemasOfAll<Tail>]\n  : readonly [];\n\nexport type MiddlewareProgram = unknown;\n\n/**\n * Enrichissement direct du contexte d'un middleware synchrone (ou Promise).\n *\n * Cette forme est volontairement distincte de `MiddlewareResult`, qui reste\n * le résultat opaque produit par `next()` pour les programmes Effect.\n */\nexport type MiddlewareContextPatch<\n  Context extends MiddlewareContext = MiddlewareContext,\n> = {\n  readonly context: Context;\n};\n\nexport type MiddlewareDirectResult<Context extends MiddlewareContext> =\n  | MiddlewareContextPatch<Context>\n  | PromiseLike<MiddlewareContextPatch<Context>>;\n\nexport type MiddlewareNext<\n  Program = Effect.Effect<\n    unknown,\n    MiddlewareDownstreamError,\n    never\n  >,\n> = <Context extends MiddlewareContext>(patch: {\n  readonly context: Context;\n}) => Program extends Effect.Effect<unknown, infer Error, infer Requirements>\n  ? Effect.Effect<MiddlewareResult<Context>, Error, Requirements>\n  : Program;\n\nexport type MiddlewareRunContext<\n  Schemas extends readonly CraftSchema[],\n  ContextIn extends MiddlewareContext,\n  ClientSchemas extends readonly CraftSchema[] = readonly [],\n  Program = Effect.Effect<\n    MiddlewareResult<MiddlewareContext>,\n    MiddlewareDownstreamError,\n    never\n  >,\n> = {\n  readonly input: MergeSchemaOutputs<Schemas>;\n  readonly context: ContextIn;\n  /**\n   * Ce que le middleware a déclaré attendre du navigateur, via\n   * `clientContext(schema)` dans le `.pipe(...)`, validé par le registre avant l'entrée dans la\n   * chaîne. Donnée **non fiable** par nature : c'est précisément ce qu'un\n   * middleware d'autorisation est là pour confronter à la vraie session.\n   */\n  readonly clientContext: MergeOptionalSchemaOutputs<ClientSchemas>;\n  readonly next: MiddlewareNext<Program>;\n  /** Résout une dépendance dans le runtime serveur de la server function. */\n  readonly resolve: <Value>(token: ServerFunctionToken<Value>) => Value;\n};\n\nexport interface CraftMiddleware<\n  Id extends string = string,\n  Schemas extends readonly CraftSchema[] = readonly CraftSchema[],\n  ContextOut extends MiddlewareContext = MiddlewareContext,\n  Error = never,\n  Requirements = never,\n  ClientSchemas extends readonly CraftSchema[] = readonly CraftSchema[],\n  Program = Effect.Effect<unknown, Error, Requirements>,\n> {\n  readonly kind: 'server-function-middleware';\n  readonly id: Id;\n  readonly inputs: Schemas;\n  /** Schémas du contexte client exigés, dépendances comprises. */\n  readonly clientContexts: ClientSchemas;\n  readonly dependencies: readonly AnyCraftMiddleware[];\n  readonly run: (\n    context: MiddlewareRunContext<\n      Schemas,\n      MiddlewareContext,\n      ClientSchemas,\n      Program\n    >,\n  ) => Program | MiddlewareDirectResult<ContextOut>;\n  /** Porteur type-only du contexte publié, dépendances transitives comprises. */\n  readonly __contextOut?: ContextOut;\n  /** Porteur type-only du programme exécuté par ce middleware. */\n  readonly __program?: Program;\n}\n\n/**\n * Middleware whose program type is owned by the application rather than by\n * core. The first generic is the only one an adapter needs to specialise.\n */\nexport type PortableServerMiddleware<\n  Program = unknown,\n  Id extends string = string,\n  Schemas extends readonly CraftSchema[] = readonly CraftSchema[],\n  ContextOut extends MiddlewareContext = MiddlewareContext,\n  Error = unknown,\n  Requirements = unknown,\n  ClientSchemas extends readonly CraftSchema[] = readonly CraftSchema[],\n> = CraftMiddleware<\n  Id,\n  Schemas,\n  ContextOut,\n  Error,\n  Requirements,\n  ClientSchemas,\n  Program\n>;\n\nexport function portableServerMiddleware<const Id extends string, Program>(\n  id: Id,\n  run: (\n    context: MiddlewareRunContext<\n      readonly [],\n      Record<never, never>,\n      readonly [],\n      Program\n    >,\n  ) => Program,\n): PortableServerMiddleware<\n  Program,\n  Id,\n  readonly [],\n  MiddlewareContext,\n  never,\n  never,\n  readonly []\n> {\n  assertMiddlewareId(id);\n  return Object.freeze({\n    kind: 'server-function-middleware' as const,\n    id,\n    inputs: [] as const,\n    clientContexts: [] as const,\n    dependencies: [] as const,\n    run,\n  });\n}\n\nexport type AnyCraftMiddleware = CraftMiddleware<\n  string,\n  readonly CraftSchema[],\n  any,\n  any,\n  any,\n  readonly CraftSchema[],\n  any\n>;\n\n/**\n * Déclaration portable d'un fragment de contexte attendu du navigateur.\n *\n * Cette valeur est une insertion de déclaration, pas un middleware exécutable :\n * elle enrichit l'état du builder jusqu'au terminal `.server(...)`.\n */\nexport interface CraftClientContextDeclaration<\n  Schema extends CraftSchema = CraftSchema,\n> {\n  readonly kind: 'server-function-client-context';\n  readonly schema: Schema;\n}\n\nexport type AnyCraftMiddlewarePipeMember =\n  | AnyCraftMiddleware\n  | AnyCraftClientMiddleware\n  | CraftClientContextDeclaration;\n\n/** Déclare dans un pipe de middleware la forme attendue du contexte client. */\nexport function clientContext<Schema extends CraftSchema>(\n  schema: Schema,\n): CraftClientContextDeclaration<Schema> {\n  return Object.freeze({\n    kind: 'server-function-client-context' as const,\n    schema,\n  });\n}\n\nexport type MiddlewareClientContextsOf<Middleware> =\n  Middleware extends CraftMiddleware<\n    any,\n    any,\n    any,\n    any,\n    any,\n    infer ClientSchemas,\n    any\n  >\n    ? ClientSchemas\n    : readonly [];\n\n/** Schémas de contexte client de toute une chaîne, dépendances comprises. */\nexport type MiddlewareClientContextsOfAll<\n  Middlewares extends readonly AnyCraftMiddleware[],\n> = Middlewares extends readonly [\n  infer Head extends AnyCraftMiddleware,\n  ...infer Tail extends readonly AnyCraftMiddleware[],\n]\n  ? readonly [\n      ...MiddlewareClientContextsOf<Head>,\n      ...MiddlewareClientContextsOfAll<Tail>,\n    ]\n  : readonly [];\n\nexport type MiddlewareSchemasOf<Middleware> =\n  Middleware extends CraftMiddleware<\n    any,\n    infer Schemas,\n    any,\n    any,\n    any,\n    any,\n    any\n  >\n    ? Schemas\n    : readonly [];\n\nexport type MiddlewareContextOf<Middleware> =\n  Middleware extends CraftMiddleware<\n    any,\n    any,\n    infer Context,\n    any,\n    any,\n    any,\n    any\n  >\n    ? Context\n    : never;\n\nexport type MiddlewareErrorOf<Middleware> =\n  Middleware extends CraftMiddleware<any, any, any, infer Error, any, any, any>\n    ? Error\n    : never;\n\nexport type MiddlewareRequirementsOf<Middleware> =\n  Middleware extends CraftMiddleware<\n    any,\n    any,\n    any,\n    any,\n    infer Requirements,\n    any,\n    any\n  >\n    ? Requirements\n    : never;\n\n/**\n * Fold ordonné des contextes : le dernier middleware gagne. Les dépendances\n * transitives sont déjà aplaties dans le contexte publié par chaque middleware,\n * le fold reste donc à un seul niveau.\n */\nexport type MergedMiddlewareContext<\n  Middlewares extends readonly AnyCraftMiddleware[],\n> = Middlewares extends readonly [\n  infer Head extends AnyCraftMiddleware,\n  ...infer Tail extends readonly AnyCraftMiddleware[],\n]\n  ? OverwriteContext<MiddlewareContextOf<Head>, MergedMiddlewareContext<Tail>>\n  : Record<never, never>;\n\nexport type MergedMiddlewareError<\n  Middlewares extends readonly AnyCraftMiddleware[],\n> = MiddlewareErrorOf<Middlewares[number]>;\n\nexport type MergedMiddlewareRequirements<\n  Middlewares extends readonly AnyCraftMiddleware[],\n> = MiddlewareRequirementsOf<Middlewares[number]>;\n\ntype CraftMiddlewareBuilderState = {\n  readonly schemas: readonly CraftSchema[];\n  readonly contextIn: MiddlewareContext;\n  readonly error: unknown;\n  readonly requirements: unknown;\n  readonly provides: readonly CraftSchema[];\n  readonly clientSchemas: readonly CraftSchema[];\n};\n\ntype ApplyCraftMiddlewarePipeMember<\n  State extends CraftMiddlewareBuilderState,\n  Member extends AnyCraftMiddlewarePipeMember,\n> = Member extends AnyCraftMiddleware\n  ? {\n      readonly schemas: readonly [\n        ...State['schemas'],\n        ...MiddlewareSchemasOf<Member>,\n      ];\n      readonly contextIn: OverwriteContext<\n        State['contextIn'],\n        MiddlewareContextOf<Member>\n      >;\n      readonly error: State['error'] | MiddlewareErrorOf<Member>;\n      readonly requirements:\n        | State['requirements']\n        | MiddlewareRequirementsOf<Member>;\n      readonly provides: readonly [\n        ...State['provides'],\n        ...ClientMiddlewareProvidesOf<Member>,\n      ];\n      readonly clientSchemas: readonly [\n        ...State['clientSchemas'],\n        ...MiddlewareClientContextsOf<Member>,\n      ];\n    }\n  : Member extends AnyCraftClientMiddleware\n    ? {\n        readonly schemas: State['schemas'];\n        readonly contextIn: OverwriteContext<\n          State['contextIn'],\n          ClientMiddlewareContextOf<Member>\n        >;\n        readonly error: State['error'];\n        readonly requirements: State['requirements'];\n        readonly provides: readonly [\n          ...State['provides'],\n          ...ClientMiddlewareProvidesOf<Member>,\n        ];\n        readonly clientSchemas: State['clientSchemas'];\n      }\n    : Member extends CraftClientContextDeclaration<infer Schema>\n      ? {\n          readonly schemas: State['schemas'];\n          readonly contextIn: State['contextIn'];\n          readonly error: State['error'];\n          readonly requirements: State['requirements'];\n          readonly provides: State['provides'];\n          readonly clientSchemas: readonly [...State['clientSchemas'], Schema];\n        }\n      : State;\n\ntype ApplyCraftMiddlewarePipe<\n  State extends CraftMiddlewareBuilderState,\n  Members extends readonly AnyCraftMiddlewarePipeMember[],\n> = Members extends readonly [\n  infer Head extends AnyCraftMiddlewarePipeMember,\n  ...infer Tail extends readonly AnyCraftMiddlewarePipeMember[],\n]\n  ? ApplyCraftMiddlewarePipe<\n      ApplyCraftMiddlewarePipeMember<State, Head>,\n      Tail\n    >\n  : State;\n\ntype CraftMiddlewareBuilderFromState<\n  Id extends string,\n  State extends CraftMiddlewareBuilderState,\n> = CraftMiddlewareBuilder<\n  Id,\n  State['schemas'],\n  State['contextIn'],\n  State['error'],\n  State['requirements'],\n  State['provides'],\n  State['clientSchemas']\n>;\n\nexport interface CraftMiddlewareBuilder<\n  Id extends string,\n  Schemas extends readonly CraftSchema[],\n  ContextIn extends MiddlewareContext,\n  Error,\n  Requirements,\n  Provides extends readonly CraftSchema[] = readonly [],\n  ClientSchemas extends readonly CraftSchema[] = readonly [],\n> {\n  /**\n   * Accumule des middleware et des déclarations dans l'état du builder.\n   * Chaque membre enrichit ce que le terminal `.server(...)` recevra : un\n   * middleware ajoute ses entrées, son contexte et ses dépendances ;\n   * `clientContext(schema)` ajoute une forme attendue du navigateur.\n   */\n  readonly pipe: <\n    const Members extends readonly AnyCraftMiddlewarePipeMember[],\n  >(\n    ...members: Members\n  ) => CraftMiddlewareBuilderFromState<\n    Id,\n    ApplyCraftMiddlewarePipe<\n      {\n        readonly schemas: Schemas;\n        readonly contextIn: ContextIn;\n        readonly error: Error;\n        readonly requirements: Requirements;\n        readonly provides: Provides;\n        readonly clientSchemas: ClientSchemas;\n      },\n      Members\n    >\n  >;\n  /**\n   * Déclare une dépendance : son contexte, ses schémas et ses canaux sont\n   * hérités. Les deux familles sont acceptées, mais pas mélangées : le\n   * terminal (`.server` ou `.client`) refuse une dépendance de l'autre famille.\n   */\n  readonly use: {\n    <Middleware extends AnyCraftMiddleware>(\n      middleware: Middleware,\n    ): CraftMiddlewareBuilder<\n      Id,\n      readonly [...Schemas, ...MiddlewareSchemasOf<Middleware>],\n      OverwriteContext<ContextIn, MiddlewareContextOf<Middleware>>,\n      Error | MiddlewareErrorOf<Middleware>,\n      Requirements | MiddlewareRequirementsOf<Middleware>,\n      Provides,\n      readonly [...ClientSchemas, ...MiddlewareClientContextsOf<Middleware>]\n    >;\n    <Middleware extends AnyCraftClientMiddleware>(\n      middleware: Middleware,\n    ): CraftMiddlewareBuilder<\n      Id,\n      Schemas,\n      OverwriteContext<ContextIn, ClientMiddlewareContextOf<Middleware>>,\n      Error,\n      Requirements,\n      readonly [...Provides, ...ClientMiddlewareProvidesOf<Middleware>],\n      ClientSchemas\n    >;\n  };\n  /** Ajoute un fragment d'input, fusionné dans celui de la server function. */\n  readonly input: <Schema extends CraftSchema>(\n    schema: Schema,\n  ) => CraftMiddlewareBuilder<\n    Id,\n    readonly [...Schemas, Schema],\n    ContextIn,\n    Error,\n    Requirements,\n    Provides,\n    ClientSchemas\n  >;\n  /**\n   * Déclare ce que ce middleware **serveur** attend du navigateur.\n   *\n   * Le schéma remonte dans le contexte client attendu par toute server function\n   * qui l'utilise — même mécanique que la fusion des schémas d'input. Le\n   * registre le valide en amont de la chaîne, et le middleware le lit sous\n   * `clientContext`, séparé de `context` : c'est une déclaration du client, à\n   * confronter à la session, jamais à accepter telle quelle.\n   */\n  readonly clientContext: <Schema extends CraftSchema>(\n    schema: Schema,\n  ) => CraftMiddlewareBuilder<\n    Id,\n    Schemas,\n    ContextIn,\n    Error,\n    Requirements,\n    Provides,\n    readonly [...ClientSchemas, Schema]\n  >;\n  /**\n   * Déclare ce qu'un middleware **client** publie dans le contexte transporté.\n   * Ce schéma est le contrat lisible par le serveur : il valide la sortie de la\n   * chaîne côté navigateur, et c'est lui que le graphe d'architecture compare\n   * au `clientContext` attendu par la server function.\n   */\n  readonly provides: <Schema extends CraftSchema>(\n    schema: Schema,\n  ) => CraftMiddlewareBuilder<\n    Id,\n    Schemas,\n    ContextIn,\n    Error,\n    Requirements,\n    readonly [...Provides, Schema],\n    ClientSchemas\n  >;\n  readonly server: {\n    /**\n     * Forme courte : un enrichissement direct est fusionné puis la chaîne\n     * continue automatiquement. Pour un programme Effect, utiliser la\n     * surcharge suivante et appeler `next()`.\n     */\n    <ContextOut extends MiddlewareContext>(\n      run: (\n        context: MiddlewareRunContext<Schemas, ContextIn, ClientSchemas>,\n      ) => MiddlewareDirectResult<ContextOut>,\n    ): CraftMiddleware<\n      Id,\n      Schemas,\n      OverwriteContext<ContextIn, ContextOut>,\n      Error,\n      Requirements,\n      ClientSchemas,\n      MiddlewareDirectResult<ContextOut>\n    >;\n    <ContextOut extends MiddlewareContext, RunError, RunRequirements>(\n      run: (\n        context: MiddlewareRunContext<Schemas, ContextIn, ClientSchemas>,\n      ) => Effect.Effect<\n        MiddlewareResult<ContextOut>,\n        RunError,\n        RunRequirements\n      >,\n    ): CraftMiddleware<\n      Id,\n      Schemas,\n      OverwriteContext<ContextIn, ContextOut>,\n      Error | Exclude<RunError, MiddlewareDownstreamError>,\n      Requirements | RunRequirements,\n      ClientSchemas,\n      Effect.Effect<unknown, Error | RunError, Requirements | RunRequirements>\n    >;\n  };\n  /**\n   * Terminal client : `run` est un générateur craft nu, drivé par le runtime\n   * craft (le même que les guards), et non un Effect.\n   */\n  readonly client: <ContextOut extends MiddlewareContext>(\n    run: (\n      context: ClientMiddlewareRunContext<ContextIn>,\n    ) => Generator<unknown, MiddlewareResult<ContextOut>, unknown>,\n  ) => CraftClientMiddleware<\n    Id,\n    Provides,\n    OverwriteContext<ContextIn, ContextOut>\n  >;\n}\n\nexport function craftMiddleware<const Id extends string>(\n  id: Id,\n): CraftMiddlewareBuilder<\n  Id,\n  readonly [],\n  Record<never, never>,\n  never,\n  never,\n  readonly [],\n  readonly []\n> {\n  assertMiddlewareId(id);\n  return makeBuilder(id, [], [], [], []) as CraftMiddlewareBuilder<\n    Id,\n    readonly [],\n    Record<never, never>,\n    never,\n    never,\n    readonly [],\n    readonly []\n  >;\n}\n\ntype AnyMiddlewareValue = AnyCraftMiddleware | AnyCraftClientMiddleware;\n\nfunction makeBuilder(\n  id: string,\n  inputs: readonly CraftSchema[],\n  dependencies: readonly AnyMiddlewareValue[],\n  provides: readonly CraftSchema[],\n  clientContexts: readonly CraftSchema[],\n): unknown {\n  return {\n    pipe(...members: AnyCraftMiddlewarePipeMember[]) {\n      let nextInputs = inputs;\n      let nextDependencies = dependencies;\n      let nextProvides = provides;\n      let nextClientContexts = clientContexts;\n\n      for (const member of members) {\n        if (isClientContextDeclaration(member)) {\n          nextClientContexts = [...nextClientContexts, member.schema];\n          continue;\n        }\n\n        nextInputs =\n          member.kind === 'server-function-middleware'\n            ? [...nextInputs, ...member.inputs]\n            : nextInputs;\n        nextDependencies = [...nextDependencies, member];\n        nextProvides =\n          member.kind === 'client-function-middleware'\n            ? [...nextProvides, ...member.provides]\n            : nextProvides;\n        nextClientContexts =\n          member.kind === 'server-function-middleware'\n            ? [...nextClientContexts, ...member.clientContexts]\n            : nextClientContexts;\n      }\n\n      return makeBuilder(\n        id,\n        nextInputs,\n        nextDependencies,\n        nextProvides,\n        nextClientContexts,\n      );\n    },\n    use(middleware: AnyMiddlewareValue) {\n      return makeBuilder(\n        id,\n        middleware.kind === 'server-function-middleware'\n          ? [...inputs, ...middleware.inputs]\n          : inputs,\n        [...dependencies, middleware],\n        middleware.kind === 'client-function-middleware'\n          ? [...provides, ...middleware.provides]\n          : provides,\n        middleware.kind === 'server-function-middleware'\n          ? [...clientContexts, ...middleware.clientContexts]\n          : clientContexts,\n      );\n    },\n    input(schema: CraftSchema) {\n      return makeBuilder(\n        id,\n        [...inputs, schema],\n        dependencies,\n        provides,\n        clientContexts,\n      );\n    },\n    provides(schema: CraftSchema) {\n      return makeBuilder(\n        id,\n        inputs,\n        dependencies,\n        [...provides, schema],\n        clientContexts,\n      );\n    },\n    clientContext(schema: CraftSchema) {\n      return makeBuilder(id, inputs, dependencies, provides, [\n        ...clientContexts,\n        schema,\n      ]);\n    },\n    server(run: CraftMiddleware['run']) {\n      return Object.freeze({\n        kind: 'server-function-middleware' as const,\n        id,\n        inputs,\n        clientContexts,\n        dependencies: assertSameFamily(\n          id,\n          dependencies,\n          'server-function-middleware',\n        ),\n        run,\n      });\n    },\n    client(run: CraftClientMiddleware['run']) {\n      return Object.freeze({\n        kind: 'client-function-middleware' as const,\n        id,\n        provides,\n        dependencies: assertSameFamily(\n          id,\n          dependencies,\n          'client-function-middleware',\n        ),\n        run,\n      });\n    },\n  };\n}\n\nfunction isClientContextDeclaration(\n  value: AnyCraftMiddlewarePipeMember,\n): value is CraftClientContextDeclaration {\n  return value.kind === 'server-function-client-context';\n}\n\n/**\n * Un middleware client et un middleware serveur ne s'exécutent ni au même\n * endroit ni avec le même moteur : les composer serait un contresens, et le\n * runtime ne saurait pas quoi faire de la dépendance étrangère.\n */\nfunction assertSameFamily<Kind extends AnyMiddlewareValue['kind']>(\n  id: string,\n  dependencies: readonly AnyMiddlewareValue[],\n  kind: Kind,\n): readonly Extract<AnyMiddlewareValue, { kind: Kind }>[] {\n  for (const dependency of dependencies) {\n    if (dependency.kind !== kind) {\n      throw new Error(\n        `Middleware \"${id}\" is a ${kind === 'client-function-middleware' ? 'client' : 'server'} middleware but depends on \"${dependency.id}\", which is a ${dependency.kind === 'client-function-middleware' ? 'client' : 'server'} middleware. A chain cannot mix both families.`,\n      );\n    }\n  }\n  return dependencies as readonly Extract<AnyMiddlewareValue, { kind: Kind }>[];\n}\n\nexport function isCraftMiddleware(value: unknown): value is AnyCraftMiddleware {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    (value as { kind?: unknown }).kind === 'server-function-middleware'\n  );\n}\n\n/** Aplatit les dépendances (profondeur d'abord) et déduplique par identifiant. */\nexport function flattenMiddlewares(\n  middlewares: readonly AnyCraftMiddleware[],\n): readonly AnyCraftMiddleware[] {\n  return flattenMiddlewareGraph(middlewares);\n}\n\n/** Schémas d'input collectés le long de la chaîne, dédupliqués, contrat en tête. */\nexport function collectMiddlewareSchemas(\n  contractInput: CraftSchema,\n  middlewares: readonly AnyCraftMiddleware[],\n): readonly CraftSchema[] {\n  const schemas: CraftSchema[] = [contractInput];\n  for (const middleware of flattenMiddlewares(middlewares)) {\n    for (const schema of middleware.inputs) {\n      if (!schemas.includes(schema)) schemas.push(schema);\n    }\n  }\n  return schemas;\n}\n\n/** Même mécanique, appliquée au canal du contexte client. */\nexport function collectMiddlewareClientContextSchemas(\n  contractClientContext: CraftSchema | undefined,\n  middlewares: readonly AnyCraftMiddleware[],\n): readonly CraftSchema[] {\n  const schemas: CraftSchema[] = contractClientContext\n    ? [contractClientContext]\n    : [];\n  for (const middleware of flattenMiddlewares(middlewares)) {\n    for (const schema of middleware.clientContexts ?? []) {\n      if (!schemas.includes(schema)) schemas.push(schema);\n    }\n  }\n  return schemas;\n}\n\nexport type MiddlewareChainHandler = (context: {\n  readonly input: unknown;\n  readonly context: MiddlewareContext;\n}) => unknown;\n\n/**\n * Compose la chaîne en oignon. Un middleware peut soit retourner directement\n * `{ context }` (ou une Promise de cette enveloppe), soit retourner un\n * programme opaque — typiquement un Effect — qui doit appeler `next()` pour\n * composer la suite. Aucun combinateur Effect n'est utilisé ici : le core reste\n * donc sans dépendance runtime sur Effect.\n */\nexport function runMiddlewareChain(\n  middlewares: readonly AnyCraftMiddleware[],\n  input: unknown,\n  handler: MiddlewareChainHandler,\n  clientContext: MiddlewareContext = {},\n  resolve: <Value>(token: ServerFunctionToken<Value>) => Value = () => {\n    throw new Error(\n      'This server middleware requires DI, but no server runtime resolver was provided.',\n    );\n  },\n): unknown {\n  const chain = flattenMiddlewares(middlewares);\n\n  const step = (index: number, context: MiddlewareContext): unknown => {\n    const middleware = chain[index];\n    if (!middleware) return handler({ input, context });\n    const result = middleware.run({\n      input: input as never,\n      context,\n      clientContext: clientContext as never,\n      resolve,\n      next: ((patch: { readonly context: MiddlewareContext }) =>\n        step(index + 1, { ...context, ...patch.context })) as never,\n    });\n\n    if (isMiddlewareContextPatch(result)) {\n      return step(index + 1, { ...context, ...result.context });\n    }\n\n    if (isPromiseLike<MiddlewareContextPatch>(result)) {\n      return result.then((patch) =>\n        step(index + 1, { ...context, ...patch.context }),\n      );\n    }\n\n    return result;\n  };\n\n  return step(0, {});\n}\n\nfunction isMiddlewareContextPatch(\n  value: unknown,\n): value is MiddlewareContextPatch {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'context' in value &&\n    typeof value.context === 'object' &&\n    value.context !== null\n  );\n}\n\nfunction isPromiseLike<Value>(value: unknown): value is PromiseLike<Value> {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'then' in value &&\n    typeof value.then === 'function'\n  );\n}\n"]}

package/src/lib/server-function.d.ts

@@ -0,0 +1,114 @@
+import { type ServerFunctionContract, type ServerFunctionExposure } from './server-function-contract';
+import type { ServerFunctionPipe, ServerFunctionToken } from './client-di-requirement';
+import { type AnyCraftMiddleware, type MergedMiddlewareContext, type MergedMiddlewareError, type MergedMiddlewareRequirements, type MergeSchemaInputs, type MergeSchemaOutputs, type MiddlewareClientContextsOfAll, type MiddlewareSchemasOf, type MiddlewareSchemasOfAll } from './server-function-middleware';
+import type { MergeOptionalSchemaInputs, MergeOptionalSchemaOutputs } from './middleware-schema-shared';
+import type { AnyServerLayer } from './server-layer';
+import type { CraftSchema } from './schema-validation';
+import type * as Effect from 'effect/Effect';
+/** Résout un token dans le DI **du serveur**, via le `runtime` du registre. */
+export type ServerFunctionRequired = <Value>(token: ServerFunctionToken<Value>) => Value;
+type ContractClientContextSchemas<Contract extends ServerFunctionContract<any, any, any>> = Contract extends ServerFunctionContract<any, any, any, any, infer ClientContextSchema> ? [ClientContextSchema] extends [CraftSchema] ? readonly [ClientContextSchema] : readonly [] : readonly [];
+/**
+ * Le canal du contexte client, fusionné comme celui de l'input : le schéma
+ * déclaré par la fonction, suivi de ceux exigés par ses middleware.
+ */
+export type ServerFunctionClientContextSchemas<Contract extends ServerFunctionContract<any, any, any>, Middlewares extends readonly AnyCraftMiddleware[]> = readonly [
+    ...ContractClientContextSchemas<Contract>,
+    ...MiddlewareClientContextsOfAll<Middlewares>
+];
+export type ServerFunctionHandlerContext<Contract extends ServerFunctionContract<any, any, any>, Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[], Middlewares extends readonly AnyCraftMiddleware[] = readonly [], Schemas extends readonly CraftSchema[] = readonly [Contract['input']]> = {
+    /**
+     * Input validé : la fusion des sorties du schéma du contrat et de tous les
+     * schémas déclarés par les middleware de la chaîne.
+     */
+    readonly input: MergeSchemaOutputs<Schemas>;
+    /** Contexte produit par la chaîne de middleware, fusionné dans l'ordre. */
+    readonly context: MergedMiddlewareContext<Middlewares>;
+    /**
+     * Contexte envoyé par le **navigateur**, validé par le schéma du contrat.
+     *
+     * Délibérément séparé de `context` : c'est une déclaration du client, pas une
+     * donnée de confiance. Un middleware serveur doit la confronter à la vraie
+     * session avant d'en faire quoi que ce soit.
+     */
+    readonly clientContext: MergeOptionalSchemaOutputs<ServerFunctionClientContextSchemas<Contract, Middlewares>>;
+    readonly required: ServerFunctionRequired;
+    readonly pipes: Pipes;
+};
+export type ServerFunctionHandler<Contract extends ServerFunctionContract<any, any, any>, Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[], Output = unknown, Middlewares extends readonly AnyCraftMiddleware[] = readonly [], Schemas extends readonly CraftSchema[] = readonly [Contract['input']]> = (context: ServerFunctionHandlerContext<Contract, Pipes, Middlewares, Schemas>) => Output;
+export type ServerFunctionDefinition<Contract extends ServerFunctionContract<any, any, any> = ServerFunctionContract, Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[], Output = unknown, Middlewares extends readonly AnyCraftMiddleware[] = readonly AnyCraftMiddleware[]> = {
+    readonly kind: 'server-function';
+    /** Selects whether the registry must hand the result to an opaque adapter. */
+    readonly programMode?: 'portable';
+    readonly contract: Contract;
+    readonly pipes: Pipes;
+    readonly middlewares: Middlewares;
+    /**
+     * Couches composées par `.pipe(...)`, dans l'ordre déclaré. Séparées des
+     * middleware : elles ne déclarent ni schéma ni contexte client, seulement une
+     * composition de programme.
+     */
+    readonly layers?: readonly AnyServerLayer[];
+    /** Schéma du contrat suivi de ceux des middleware, dédupliqués. */
+    readonly inputSchemas: readonly CraftSchema[];
+    /** Idem pour le contexte client attendu du navigateur. */
+    readonly clientContextSchemas: readonly CraftSchema[];
+    readonly handler: ServerFunctionHandler<Contract, Pipes, Output, Middlewares>;
+    readonly invoke: (input: unknown, runtime?: ServerFunctionRuntime, clientContext?: Record<string, unknown>) => Output | Promise<Output>;
+};
+/** Vrai dès que la fonction attend un contexte du navigateur. */
+export declare function requiresClientContext(definition: ServerFunctionDefinition<any, any, any, any>): boolean;
+export type ServerFunctionRuntime = {
+    readonly resolve?: <Value>(token: ServerFunctionToken<Value>) => Value;
+};
+/**
+ * Dès qu'un middleware est branché, le handler doit renvoyer un Effect : c'est
+ * le seul moyen de composer la chaîne sans que le core dépende d'Effect au
+ * runtime.
+ */
+type HandlerOutputConstraint<Middlewares extends readonly AnyCraftMiddleware[]> = Middlewares extends readonly [] ? unknown : Effect.Effect<any, any, any>;
+/** Injecte les canaux d'erreur et de dépendances des middleware dans la sortie. */
+type ComposedOutput<Middlewares extends readonly AnyCraftMiddleware[], Output> = Middlewares extends readonly [] ? Output : Output extends Effect.Effect<infer Success, infer Error, infer Requirements> ? Effect.Effect<Success, Error | MergedMiddlewareError<Middlewares>, Requirements | MergedMiddlewareRequirements<Middlewares>> : Output;
+export type ServerFunctionBuilder<Contract extends ServerFunctionContract<any, any, any>, Pipes extends readonly ServerFunctionPipe[], Middlewares extends readonly AnyCraftMiddleware[] = readonly [], Schemas extends readonly CraftSchema[] = readonly [Contract['input']]> = {
+    readonly pipe: <Pipe extends ServerFunctionPipe>(pipe: Pipe) => ServerFunctionBuilder<Contract, readonly [...Pipes, Pipe], Middlewares, Schemas>;
+    readonly use: <Middleware extends AnyCraftMiddleware>(middleware: Middleware) => ServerFunctionBuilder<Contract, Pipes, readonly [...Middlewares, Middleware], readonly [...Schemas, ...MiddlewareSchemasOf<Middleware>]>;
+    readonly handler: <Output extends HandlerOutputConstraint<Middlewares>>(handler: ServerFunctionHandler<Contract, Pipes, Output, Middlewares, Schemas>) => ServerFunctionDefinition<Contract, Pipes, ComposedOutput<Middlewares, Output>, Middlewares>;
+};
+export declare function serverFunction<const Id extends string, Schema extends CraftSchema>(id: Id, input: Schema): ServerFunctionBuilder<ServerFunctionContract<Schema, 'server', undefined, Id>, readonly []>;
+export declare function serverFunction<const Id extends string, Schema extends CraftSchema, Exposure extends ServerFunctionExposure, OutputSchema extends CraftSchema | undefined = undefined, ClientContextSchema extends CraftSchema | undefined = undefined>(id: Id, input: Schema, options: {
+    readonly exposure: Exposure;
+    readonly output?: OutputSchema;
+    readonly clientContext?: ClientContextSchema;
+}): ServerFunctionBuilder<ServerFunctionContract<Schema, Exposure, OutputSchema, Id, ClientContextSchema>, readonly []>;
+export declare function serverFunction<Schema extends CraftSchema, Exposure extends ServerFunctionExposure, OutputSchema extends CraftSchema | undefined, ClientContextSchema extends CraftSchema | undefined = CraftSchema | undefined>(contract: ServerFunctionContract<Schema, Exposure, OutputSchema, string, ClientContextSchema>): ServerFunctionBuilder<ServerFunctionContract<Schema, Exposure, OutputSchema, string, ClientContextSchema>, readonly []>;
+/**
+ * Ce que l'appelant doit fournir : le schéma du contrat et ceux des middleware,
+ * côté entrée. La façade client reste donc alignée sur ce que le registre valide.
+ */
+export type ServerFunctionInput<Definition extends ServerFunctionDefinition<any, any, any, any>> = Definition extends ServerFunctionDefinition<infer Contract, any, any, infer Middlewares> ? MergeSchemaInputs<readonly [Contract['input'], ...MiddlewareSchemasOfAll<Middlewares>]> : never;
+/** Ce que le navigateur doit produire pour cette fonction. */
+export type ServerFunctionExpectedClientContext<Definition extends ServerFunctionDefinition<any, any, any, any>> = Definition extends ServerFunctionDefinition<infer Contract, any, any, infer Middlewares> ? MergeOptionalSchemaInputs<ServerFunctionClientContextSchemas<Contract, Middlewares>> : Record<never, never>;
+export type ServerFunctionOutput<Definition extends ServerFunctionDefinition<any, any, any, any>> = Definition extends ServerFunctionDefinition<any, any, infer Output, any> ? Output : never;
+type AwaitedServerFunctionOutput<Definition extends ServerFunctionDefinition<any, any, any, any>> = Awaited<ServerFunctionOutput<Definition>>;
+export type ServerFunctionSuccess<Definition extends ServerFunctionDefinition<any, any, any, any>> = AwaitedServerFunctionOutput<Definition> extends Effect.Effect<infer Success, infer _Error, infer _Requirements> ? Success : AwaitedServerFunctionOutput<Definition>;
+export type ServerFunctionError<Definition extends ServerFunctionDefinition<any, any, any, any>> = AwaitedServerFunctionOutput<Definition> extends Effect.Effect<infer _Success, infer Error, infer _Requirements> ? Error : never;
+/**
+ * `serverFunction` pré-équipé d'une chaîne de middleware serveur par défaut.
+ *
+ * Sucre volontairement léger : la factory ne fait qu'appliquer `.use(...)` dans
+ * l'ordre donné avant de rendre la main au builder habituel. Les middleware par
+ * défaut sont donc soumis aux mêmes règles que les autres — aplatissement,
+ * déduplication par id, fusion des schémas — et une fonction peut toujours en
+ * ajouter les siens par-dessus.
+ */
+export type ServerFunctionFactory<Defaults extends readonly AnyCraftMiddleware[]> = {
+    <const Id extends string, Schema extends CraftSchema>(id: Id, input: Schema): ServerFunctionBuilder<ServerFunctionContract<Schema, 'server', undefined, Id>, readonly [], Defaults, readonly [Schema, ...MiddlewareSchemasOfAll<Defaults>]>;
+    <const Id extends string, Schema extends CraftSchema, Exposure extends ServerFunctionExposure, OutputSchema extends CraftSchema | undefined = undefined, ClientContextSchema extends CraftSchema | undefined = undefined>(id: Id, input: Schema, options: {
+        readonly exposure: Exposure;
+        readonly output?: OutputSchema;
+        readonly clientContext?: ClientContextSchema;
+    }): ServerFunctionBuilder<ServerFunctionContract<Schema, Exposure, OutputSchema, Id, ClientContextSchema>, readonly [], Defaults, readonly [Schema, ...MiddlewareSchemasOfAll<Defaults>]>;
+};
+export declare function createServerFunctionFactory<const Defaults extends readonly AnyCraftMiddleware[]>(defaultServerMiddlewares: Defaults): ServerFunctionFactory<Defaults>;
+export {};
+//# sourceMappingURL=server-function.d.ts.map

package/src/lib/server-function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-function.d.ts","sourceRoot":"","sources":["../../../../../libs/core/src/lib/server-function.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EACV,kBAAkB,EAClB,mBAAmB,EACpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAIL,KAAK,kBAAkB,EACvB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,4BAA4B,EACjC,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,6BAA6B,EAClC,KAAK,mBAAmB,EACxB,KAAK,sBAAsB,EAC5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EACV,yBAAyB,EACzB,0BAA0B,EAC3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,+EAA+E;AAC/E,MAAM,MAAM,sBAAsB,GAAG,CAAC,KAAK,EACzC,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,KAC9B,KAAK,CAAC;AAEX,KAAK,4BAA4B,CAC/B,QAAQ,SAAS,sBAAsB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAEtD,QAAQ,SAAS,sBAAsB,CACrC,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,MAAM,mBAAmB,CAC1B,GACG,CAAC,mBAAmB,CAAC,SAAS,CAAC,WAAW,CAAC,GACzC,SAAS,CAAC,mBAAmB,CAAC,GAC9B,SAAS,EAAE,GACb,SAAS,EAAE,CAAC;AAElB;;;GAGG;AACH,MAAM,MAAM,kCAAkC,CAC5C,QAAQ,SAAS,sBAAsB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtD,WAAW,SAAS,SAAS,kBAAkB,EAAE,IAC/C,SAAS;IACX,GAAG,4BAA4B,CAAC,QAAQ,CAAC;IACzC,GAAG,6BAA6B,CAAC,WAAW,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,4BAA4B,CACtC,QAAQ,SAAS,sBAAsB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtD,KAAK,SAAS,SAAS,kBAAkB,EAAE,GAAG,SAAS,kBAAkB,EAAE,EAC3E,WAAW,SAAS,SAAS,kBAAkB,EAAE,GAAG,SAAS,EAAE,EAC/D,OAAO,SAAS,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IACnE;IACF;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvD;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,0BAA0B,CAChD,kCAAkC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAC1D,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,qBAAqB,CAC/B,QAAQ,SAAS,sBAAsB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtD,KAAK,SAAS,SAAS,kBAAkB,EAAE,GAAG,SAAS,kBAAkB,EAAE,EAC3E,MAAM,GAAG,OAAO,EAChB,WAAW,SAAS,SAAS,kBAAkB,EAAE,GAAG,SAAS,EAAE,EAC/D,OAAO,SAAS,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IACnE,CACF,OAAO,EAAE,4BAA4B,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,KACzE,MAAM,CAAC;AAEZ,MAAM,MAAM,wBAAwB,CAClC,QAAQ,SAAS,sBAAsB,CACrC,GAAG,EACH,GAAG,EACH,GAAG,CACJ,GAAG,sBAAsB,EAC1B,KAAK,SAAS,SAAS,kBAAkB,EAAE,GAAG,SAAS,kBAAkB,EAAE,EAC3E,MAAM,GAAG,OAAO,EAChB,WAAW,SACT,SAAS,kBAAkB,EAAE,GAAG,SAAS,kBAAkB,EAAE,IAC7D;IACF,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,8EAA8E;IAC9E,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,mEAAmE;IACnE,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,0DAA0D;IAC1D,QAAQ,CAAC,oBAAoB,EAAE,SAAS,WAAW,EAAE,CAAC;IACtD,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAC9E,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,qBAAqB,EAC/B,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KACpC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CAC/B,CAAC;AAEF,iEAAiE;AACjE,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACvD,OAAO,CAET;AAED,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC;CACxE,CAAC;AAEF;;;;GAIG;AACH,KAAK,uBAAuB,CAC1B,WAAW,SAAS,SAAS,kBAAkB,EAAE,IAC/C,WAAW,SAAS,SAAS,EAAE,GAAG,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE7E,mFAAmF;AACnF,KAAK,cAAc,CACjB,WAAW,SAAS,SAAS,kBAAkB,EAAE,EACjD,MAAM,IACJ,WAAW,SAAS,SAAS,EAAE,GAC/B,MAAM,GACN,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,OAAO,EAAE,MAAM,KAAK,EAAE,MAAM,YAAY,CAAC,GAC1E,MAAM,CAAC,MAAM,CACX,OAAO,EACP,KAAK,GAAG,qBAAqB,CAAC,WAAW,CAAC,EAC1C,YAAY,GAAG,4BAA4B,CAAC,WAAW,CAAC,CACzD,GACD,MAAM,CAAC;AAEb,MAAM,MAAM,qBAAqB,CAC/B,QAAQ,SAAS,sBAAsB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtD,KAAK,SAAS,SAAS,kBAAkB,EAAE,EAC3C,WAAW,SAAS,SAAS,kBAAkB,EAAE,GAAG,SAAS,EAAE,EAC/D,OAAO,SAAS,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IACnE;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,SAAS,kBAAkB,EAC7C,IAAI,EAAE,IAAI,KACP,qBAAqB,CACxB,QAAQ,EACR,SAAS,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,EACzB,WAAW,EACX,OAAO,CACR,CAAC;IACF,QAAQ,CAAC,GAAG,EAAE,CAAC,UAAU,SAAS,kBAAkB,EAClD,UAAU,EAAE,UAAU,KACnB,qBAAqB,CACxB,QAAQ,EACR,KAAK,EACL,SAAS,CAAC,GAAG,WAAW,EAAE,UAAU,CAAC,EACrC,SAAS,CAAC,GAAG,OAAO,EAAE,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAC1D,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,SAAS,uBAAuB,CAAC,WAAW,CAAC,EACpE,OAAO,EAAE,qBAAqB,CAC5B,QAAQ,EACR,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,CACR,KACE,wBAAwB,CAC3B,QAAQ,EACR,KAAK,EACL,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,EACnC,WAAW,CACZ,CAAC;CACH,CAAC;AAEF,wBAAgB,cAAc,CAC5B,KAAK,CAAC,EAAE,SAAS,MAAM,EACvB,MAAM,SAAS,WAAW,EAE1B,EAAE,EAAE,EAAE,EACN,KAAK,EAAE,MAAM,GACZ,qBAAqB,CACtB,sBAAsB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,EACvD,SAAS,EAAE,CACZ,CAAC;AACF,wBAAgB,cAAc,CAC5B,KAAK,CAAC,EAAE,SAAS,MAAM,EACvB,MAAM,SAAS,WAAW,EAC1B,QAAQ,SAAS,sBAAsB,EACvC,YAAY,SAAS,WAAW,GAAG,SAAS,GAAG,SAAS,EACxD,mBAAmB,SAAS,WAAW,GAAG,SAAS,GAAG,SAAS,EAE/D,EAAE,EAAE,EAAE,EACN,KAAK,EAAE,MAAM,EACb,OAAO,EAAE;IACP,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;CAC9C,GACA,qBAAqB,CACtB,sBAAsB,CACpB,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,EAAE,EACF,mBAAmB,CACpB,EACD,SAAS,EAAE,CACZ,CAAC;AACF,wBAAgB,cAAc,CAC5B,MAAM,SAAS,WAAW,EAC1B,QAAQ,SAAS,sBAAsB,EACvC,YAAY,SAAS,WAAW,GAAG,SAAS,EAC5C,mBAAmB,SAAS,WAAW,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,EAE7E,QAAQ,EAAE,sBAAsB,CAC9B,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,MAAM,EACN,mBAAmB,CACpB,GACA,qBAAqB,CACtB,sBAAsB,CACpB,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,MAAM,EACN,mBAAmB,CACpB,EACD,SAAS,EAAE,CACZ,CAAC;AAkIF;;;GAGG;AACH,MAAM,MAAM,mBAAmB,CAC7B,UAAU,SAAS,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAE/D,UAAU,SAAS,wBAAwB,CACzC,MAAM,QAAQ,EACd,GAAG,EACH,GAAG,EACH,MAAM,WAAW,CAClB,GACG,iBAAiB,CACf,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC,CACrE,GACD,KAAK,CAAC;AAEZ,8DAA8D;AAC9D,MAAM,MAAM,mCAAmC,CAC7C,UAAU,SAAS,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAE/D,UAAU,SAAS,wBAAwB,CACzC,MAAM,QAAQ,EACd,GAAG,EACH,GAAG,EACH,MAAM,WAAW,CAClB,GACG,yBAAyB,CACvB,kCAAkC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAC1D,GACD,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAE3B,MAAM,MAAM,oBAAoB,CAC9B,UAAU,SAAS,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAE/D,UAAU,SAAS,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,MAAM,EAAE,GAAG,CAAC,GACpE,MAAM,GACN,KAAK,CAAC;AAEZ,KAAK,2BAA2B,CAC9B,UAAU,SAAS,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAC7D,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC;AAE9C,MAAM,MAAM,qBAAqB,CAC/B,UAAU,SAAS,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAE/D,2BAA2B,CAAC,UAAU,CAAC,SAAS,MAAM,CAAC,MAAM,CAC3D,MAAM,OAAO,EACb,MAAM,MAAM,EACZ,MAAM,aAAa,CACpB,GACG,OAAO,GACP,2BAA2B,CAAC,UAAU,CAAC,CAAC;AAE9C,MAAM,MAAM,mBAAmB,CAC7B,UAAU,SAAS,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAE/D,2BAA2B,CAAC,UAAU,CAAC,SAAS,MAAM,CAAC,MAAM,CAC3D,MAAM,QAAQ,EACd,MAAM,KAAK,EACX,MAAM,aAAa,CACpB,GACG,KAAK,GACL,KAAK,CAAC;AAEZ;;;;;;;;GAQG;AACH,MAAM,MAAM,qBAAqB,CAC/B,QAAQ,SAAS,SAAS,kBAAkB,EAAE,IAC5C;IACF,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW,EAClD,EAAE,EAAE,EAAE,EACN,KAAK,EAAE,MAAM,GACZ,qBAAqB,CACtB,sBAAsB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,EACvD,SAAS,EAAE,EACX,QAAQ,EACR,SAAS,CAAC,MAAM,EAAE,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CACvD,CAAC;IACF,CACE,KAAK,CAAC,EAAE,SAAS,MAAM,EACvB,MAAM,SAAS,WAAW,EAC1B,QAAQ,SAAS,sBAAsB,EACvC,YAAY,SAAS,WAAW,GAAG,SAAS,GAAG,SAAS,EACxD,mBAAmB,SAAS,WAAW,GAAG,SAAS,GAAG,SAAS,EAE/D,EAAE,EAAE,EAAE,EACN,KAAK,EAAE,MAAM,EACb,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;QAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;KAC9C,GACA,qBAAqB,CACtB,sBAAsB,CACpB,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,EAAE,EACF,mBAAmB,CACpB,EACD,SAAS,EAAE,EACX,QAAQ,EACR,SAAS,CAAC,MAAM,EAAE,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CACvD,CAAC;CACH,CAAC;AAEF,wBAAgB,2BAA2B,CACzC,KAAK,CAAC,QAAQ,SAAS,SAAS,kBAAkB,EAAE,EACpD,wBAAwB,EAAE,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAwBrE"}

package/src/lib/server-function.js

@@ -0,0 +1,80 @@
+import { assertServerFunctionId, serverFunctionContract, } from './server-function-contract';
+import { collectMiddlewareClientContextSchemas, collectMiddlewareSchemas, runMiddlewareChain, } from './server-function-middleware';
+/** Vrai dès que la fonction attend un contexte du navigateur. */
+export function requiresClientContext(definition) {
+    return (definition.clientContextSchemas ?? []).length > 0;
+}
+export function serverFunction(contractOrId, input, options) {
+    const contract = (typeof contractOrId === 'string'
+        ? serverFunctionContract({
+            id: contractOrId,
+            input: input,
+            exposure: options?.exposure ?? 'server',
+            output: options?.output,
+            clientContext: options?.clientContext,
+        })
+        : contractOrId);
+    assertServerFunctionId(contract.id);
+    return createBuilder(contract, [], []);
+}
+function createBuilder(contract, pipes, middlewares) {
+    return {
+        pipe(pipe) {
+            return createBuilder(contract, [...pipes, pipe], middlewares);
+        },
+        use(middleware) {
+            return createBuilder(contract, pipes, [
+                ...middlewares,
+                middleware,
+            ]);
+        },
+        handler(handler) {
+            return createDefinition(contract, pipes, middlewares, handler);
+        },
+    };
+}
+function createDefinition(contract, pipes, middlewares, handler) {
+    return {
+        kind: 'server-function',
+        contract,
+        pipes,
+        middlewares,
+        inputSchemas: collectMiddlewareSchemas(contract.input, middlewares),
+        clientContextSchemas: collectMiddlewareClientContextSchemas(contract.clientContext, middlewares),
+        handler,
+        invoke(input, runtime, clientContext) {
+            const required = (token) => {
+                if (!runtime?.resolve) {
+                    throw new Error(`Server function "${contract.id}" requires DI, but no server runtime resolver was provided.`);
+                }
+                return runtime.resolve(token);
+            };
+            const call = (context) => handler({
+                input: input,
+                context: context,
+                clientContext: (clientContext ?? {}),
+                required,
+                pipes,
+            });
+            if (middlewares.length === 0)
+                return call({});
+            return runMiddlewareChain(middlewares, input, ({ context }) => call(context), clientContext ?? {}, required);
+        },
+    };
+}
+export function createServerFunctionFactory(defaultServerMiddlewares) {
+    return ((id, input, options) => {
+        let builder = serverFunction(id, input, {
+            exposure: options?.exposure ?? 'server',
+            ...(options?.output === undefined ? {} : { output: options.output }),
+            ...(options?.clientContext === undefined
+                ? {}
+                : { clientContext: options.clientContext }),
+        });
+        for (const middleware of defaultServerMiddlewares) {
+            builder = builder.use(middleware);
+        }
+        return builder;
+    });
+}
+//# sourceMappingURL=server-function.js.map

package/src/lib/server-function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-function.js","sourceRoot":"","sources":["../../../../../libs/core/src/lib/server-function.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,sBAAsB,GAGvB,MAAM,4BAA4B,CAAC;AAKpC,OAAO,EACL,qCAAqC,EACrC,wBAAwB,EACxB,kBAAkB,GAUnB,MAAM,8BAA8B,CAAC;AAiHtC,iEAAiE;AACjE,MAAM,UAAU,qBAAqB,CACnC,UAAwD;IAExD,OAAO,CAAC,UAAU,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAC5D,CAAC;AA4HD,MAAM,UAAU,cAAc,CAO5B,YAAyE,EACzE,KAAc,EACd,OAIC;IAWD,MAAM,QAAQ,GAAG,CACf,OAAO,YAAY,KAAK,QAAQ;QAC9B,CAAC,CAAC,sBAAsB,CAAC;YACrB,EAAE,EAAE,YAAY;YAChB,KAAK,EAAE,KAAe;YACtB,QAAQ,EAAE,OAAO,EAAE,QAAQ,IAAI,QAAQ;YACvC,MAAM,EAAE,OAAO,EAAE,MAAM;YACvB,aAAa,EAAE,OAAO,EAAE,aAAa;SACtC,CAAC;QACJ,CAAC,CAAC,YAAY,CAOjB,CAAC;IACF,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAEpC,OAAO,aAAa,CAAC,QAAQ,EAAE,EAAiB,EAAE,EAAiB,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,aAAa,CAKpB,QAAkB,EAClB,KAAY,EACZ,WAAwB;IAExB,OAAO;QACL,IAAI,CAAC,IAAwB;YAC3B,OAAO,aAAa,CAClB,QAAQ,EACR,CAAC,GAAG,KAAK,EAAE,IAAI,CAA4C,EAC3D,WAAW,CACH,CAAC;QACb,CAAC;QACD,GAAG,CAAC,UAA8B;YAChC,OAAO,aAAa,CAAC,QAAQ,EAAE,KAAK,EAAE;gBACpC,GAAG,WAAW;gBACd,UAAU;aACqC,CAAU,CAAC;QAC9D,CAAC;QACD,OAAO,CACL,OAAqE;YAErE,OAAO,gBAAgB,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,CAAU,CAAC;QAC1E,CAAC;KACgE,CAAC;AACtE,CAAC;AAED,SAAS,gBAAgB,CAMvB,QAAkB,EAClB,KAAY,EACZ,WAAwB,EACxB,OAAoE;IAEpE,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,QAAQ;QACR,KAAK;QACL,WAAW;QACX,YAAY,EAAE,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;QACnE,oBAAoB,EAAE,qCAAqC,CACzD,QAAQ,CAAC,aAAwC,EACjD,WAAW,CACZ;QACD,OAAO;QACP,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa;YAClC,MAAM,QAAQ,GAA2B,CAAC,KAAK,EAAE,EAAE;gBACjD,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;oBACtB,MAAM,IAAI,KAAK,CACb,oBAAoB,QAAQ,CAAC,EAAE,6DAA6D,CAC7F,CAAC;gBACJ,CAAC;gBACD,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC,CAAC;YACF,MAAM,IAAI,GAAG,CAAC,OAAgC,EAAU,EAAE,CACxD,OAAO,CAAC;gBACN,KAAK,EAAE,KAAc;gBACrB,OAAO,EAAE,OAAgB;gBACzB,aAAa,EAAE,CAAC,aAAa,IAAI,EAAE,CAAU;gBAC7C,QAAQ;gBACR,KAAK;aACN,CAAC,CAAC;YAEL,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC;YAC9C,OAAO,kBAAkB,CACvB,WAAW,EACX,KAAK,EACL,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAC9B,aAAa,IAAI,EAAE,EACnB,QAAQ,CACC,CAAC;QACd,CAAC;KACF,CAAC;AACJ,CAAC;AAqHD,MAAM,UAAU,2BAA2B,CAEzC,wBAAkC;IAClC,OAAO,CAAC,CACN,EAAU,EACV,KAAkB,EAClB,OAIC,EACD,EAAE;QACF,IAAI,OAAO,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE;YACtC,QAAQ,EAAE,OAAO,EAAE,QAAQ,IAAI,QAAQ;YACvC,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACpE,GAAG,CAAC,OAAO,EAAE,aAAa,KAAK,SAAS;gBACtC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;SAC9C,CAEA,CAAC;QACF,KAAK,MAAM,UAAU,IAAI,wBAAwB,EAAE,CAAC;YAClD,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAA+C,CAAC;AACnD,CAAC","sourcesContent":["import {\n  assertServerFunctionId,\n  serverFunctionContract,\n  type ServerFunctionContract,\n  type ServerFunctionExposure,\n} from './server-function-contract';\nimport type {\n  ServerFunctionPipe,\n  ServerFunctionToken,\n} from './client-di-requirement';\nimport {\n  collectMiddlewareClientContextSchemas,\n  collectMiddlewareSchemas,\n  runMiddlewareChain,\n  type AnyCraftMiddleware,\n  type MergedMiddlewareContext,\n  type MergedMiddlewareError,\n  type MergedMiddlewareRequirements,\n  type MergeSchemaInputs,\n  type MergeSchemaOutputs,\n  type MiddlewareClientContextsOfAll,\n  type MiddlewareSchemasOf,\n  type MiddlewareSchemasOfAll,\n} from './server-function-middleware';\nimport type {\n  MergeOptionalSchemaInputs,\n  MergeOptionalSchemaOutputs,\n} from './middleware-schema-shared';\nimport type { AnyServerLayer } from './server-layer';\nimport type { CraftSchema } from './schema-validation';\nimport type * as Effect from 'effect/Effect';\n\n/** Résout un token dans le DI **du serveur**, via le `runtime` du registre. */\nexport type ServerFunctionRequired = <Value>(\n  token: ServerFunctionToken<Value>,\n) => Value;\n\ntype ContractClientContextSchemas<\n  Contract extends ServerFunctionContract<any, any, any>,\n> =\n  Contract extends ServerFunctionContract<\n    any,\n    any,\n    any,\n    any,\n    infer ClientContextSchema\n  >\n    ? [ClientContextSchema] extends [CraftSchema]\n      ? readonly [ClientContextSchema]\n      : readonly []\n    : readonly [];\n\n/**\n * Le canal du contexte client, fusionné comme celui de l'input : le schéma\n * déclaré par la fonction, suivi de ceux exigés par ses middleware.\n */\nexport type ServerFunctionClientContextSchemas<\n  Contract extends ServerFunctionContract<any, any, any>,\n  Middlewares extends readonly AnyCraftMiddleware[],\n> = readonly [\n  ...ContractClientContextSchemas<Contract>,\n  ...MiddlewareClientContextsOfAll<Middlewares>,\n];\n\nexport type ServerFunctionHandlerContext<\n  Contract extends ServerFunctionContract<any, any, any>,\n  Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[],\n  Middlewares extends readonly AnyCraftMiddleware[] = readonly [],\n  Schemas extends readonly CraftSchema[] = readonly [Contract['input']],\n> = {\n  /**\n   * Input validé : la fusion des sorties du schéma du contrat et de tous les\n   * schémas déclarés par les middleware de la chaîne.\n   */\n  readonly input: MergeSchemaOutputs<Schemas>;\n  /** Contexte produit par la chaîne de middleware, fusionné dans l'ordre. */\n  readonly context: MergedMiddlewareContext<Middlewares>;\n  /**\n   * Contexte envoyé par le **navigateur**, validé par le schéma du contrat.\n   *\n   * Délibérément séparé de `context` : c'est une déclaration du client, pas une\n   * donnée de confiance. Un middleware serveur doit la confronter à la vraie\n   * session avant d'en faire quoi que ce soit.\n   */\n  readonly clientContext: MergeOptionalSchemaOutputs<\n    ServerFunctionClientContextSchemas<Contract, Middlewares>\n  >;\n  readonly required: ServerFunctionRequired;\n  readonly pipes: Pipes;\n};\n\nexport type ServerFunctionHandler<\n  Contract extends ServerFunctionContract<any, any, any>,\n  Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[],\n  Output = unknown,\n  Middlewares extends readonly AnyCraftMiddleware[] = readonly [],\n  Schemas extends readonly CraftSchema[] = readonly [Contract['input']],\n> = (\n  context: ServerFunctionHandlerContext<Contract, Pipes, Middlewares, Schemas>,\n) => Output;\n\nexport type ServerFunctionDefinition<\n  Contract extends ServerFunctionContract<\n    any,\n    any,\n    any\n  > = ServerFunctionContract,\n  Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[],\n  Output = unknown,\n  Middlewares extends\n    readonly AnyCraftMiddleware[] = readonly AnyCraftMiddleware[],\n> = {\n  readonly kind: 'server-function';\n  /** Selects whether the registry must hand the result to an opaque adapter. */\n  readonly programMode?: 'portable';\n  readonly contract: Contract;\n  readonly pipes: Pipes;\n  readonly middlewares: Middlewares;\n  /**\n   * Couches composées par `.pipe(...)`, dans l'ordre déclaré. Séparées des\n   * middleware : elles ne déclarent ni schéma ni contexte client, seulement une\n   * composition de programme.\n   */\n  readonly layers?: readonly AnyServerLayer[];\n  /** Schéma du contrat suivi de ceux des middleware, dédupliqués. */\n  readonly inputSchemas: readonly CraftSchema[];\n  /** Idem pour le contexte client attendu du navigateur. */\n  readonly clientContextSchemas: readonly CraftSchema[];\n  readonly handler: ServerFunctionHandler<Contract, Pipes, Output, Middlewares>;\n  readonly invoke: (\n    input: unknown,\n    runtime?: ServerFunctionRuntime,\n    clientContext?: Record<string, unknown>,\n  ) => Output | Promise<Output>;\n};\n\n/** Vrai dès que la fonction attend un contexte du navigateur. */\nexport function requiresClientContext(\n  definition: ServerFunctionDefinition<any, any, any, any>,\n): boolean {\n  return (definition.clientContextSchemas ?? []).length > 0;\n}\n\nexport type ServerFunctionRuntime = {\n  readonly resolve?: <Value>(token: ServerFunctionToken<Value>) => Value;\n};\n\n/**\n * Dès qu'un middleware est branché, le handler doit renvoyer un Effect : c'est\n * le seul moyen de composer la chaîne sans que le core dépende d'Effect au\n * runtime.\n */\ntype HandlerOutputConstraint<\n  Middlewares extends readonly AnyCraftMiddleware[],\n> = Middlewares extends readonly [] ? unknown : Effect.Effect<any, any, any>;\n\n/** Injecte les canaux d'erreur et de dépendances des middleware dans la sortie. */\ntype ComposedOutput<\n  Middlewares extends readonly AnyCraftMiddleware[],\n  Output,\n> = Middlewares extends readonly []\n  ? Output\n  : Output extends Effect.Effect<infer Success, infer Error, infer Requirements>\n    ? Effect.Effect<\n        Success,\n        Error | MergedMiddlewareError<Middlewares>,\n        Requirements | MergedMiddlewareRequirements<Middlewares>\n      >\n    : Output;\n\nexport type ServerFunctionBuilder<\n  Contract extends ServerFunctionContract<any, any, any>,\n  Pipes extends readonly ServerFunctionPipe[],\n  Middlewares extends readonly AnyCraftMiddleware[] = readonly [],\n  Schemas extends readonly CraftSchema[] = readonly [Contract['input']],\n> = {\n  readonly pipe: <Pipe extends ServerFunctionPipe>(\n    pipe: Pipe,\n  ) => ServerFunctionBuilder<\n    Contract,\n    readonly [...Pipes, Pipe],\n    Middlewares,\n    Schemas\n  >;\n  readonly use: <Middleware extends AnyCraftMiddleware>(\n    middleware: Middleware,\n  ) => ServerFunctionBuilder<\n    Contract,\n    Pipes,\n    readonly [...Middlewares, Middleware],\n    readonly [...Schemas, ...MiddlewareSchemasOf<Middleware>]\n  >;\n  readonly handler: <Output extends HandlerOutputConstraint<Middlewares>>(\n    handler: ServerFunctionHandler<\n      Contract,\n      Pipes,\n      Output,\n      Middlewares,\n      Schemas\n    >,\n  ) => ServerFunctionDefinition<\n    Contract,\n    Pipes,\n    ComposedOutput<Middlewares, Output>,\n    Middlewares\n  >;\n};\n\nexport function serverFunction<\n  const Id extends string,\n  Schema extends CraftSchema,\n>(\n  id: Id,\n  input: Schema,\n): ServerFunctionBuilder<\n  ServerFunctionContract<Schema, 'server', undefined, Id>,\n  readonly []\n>;\nexport function serverFunction<\n  const Id extends string,\n  Schema extends CraftSchema,\n  Exposure extends ServerFunctionExposure,\n  OutputSchema extends CraftSchema | undefined = undefined,\n  ClientContextSchema extends CraftSchema | undefined = undefined,\n>(\n  id: Id,\n  input: Schema,\n  options: {\n    readonly exposure: Exposure;\n    readonly output?: OutputSchema;\n    readonly clientContext?: ClientContextSchema;\n  },\n): ServerFunctionBuilder<\n  ServerFunctionContract<\n    Schema,\n    Exposure,\n    OutputSchema,\n    Id,\n    ClientContextSchema\n  >,\n  readonly []\n>;\nexport function serverFunction<\n  Schema extends CraftSchema,\n  Exposure extends ServerFunctionExposure,\n  OutputSchema extends CraftSchema | undefined,\n  ClientContextSchema extends CraftSchema | undefined = CraftSchema | undefined,\n>(\n  contract: ServerFunctionContract<\n    Schema,\n    Exposure,\n    OutputSchema,\n    string,\n    ClientContextSchema\n  >,\n): ServerFunctionBuilder<\n  ServerFunctionContract<\n    Schema,\n    Exposure,\n    OutputSchema,\n    string,\n    ClientContextSchema\n  >,\n  readonly []\n>;\nexport function serverFunction<\n  const Id extends string,\n  Schema extends CraftSchema,\n  Exposure extends ServerFunctionExposure,\n  OutputSchema extends CraftSchema | undefined = undefined,\n  ClientContextSchema extends CraftSchema | undefined = undefined,\n>(\n  contractOrId: Id | ServerFunctionContract<Schema, Exposure, OutputSchema>,\n  input?: Schema,\n  options?: {\n    readonly exposure?: Exposure;\n    readonly output?: OutputSchema;\n    readonly clientContext?: ClientContextSchema;\n  },\n): ServerFunctionBuilder<\n  ServerFunctionContract<\n    Schema,\n    Exposure,\n    OutputSchema,\n    Id,\n    ClientContextSchema\n  >,\n  readonly []\n> {\n  const contract = (\n    typeof contractOrId === 'string'\n      ? serverFunctionContract({\n          id: contractOrId,\n          input: input as Schema,\n          exposure: options?.exposure ?? 'server',\n          output: options?.output,\n          clientContext: options?.clientContext,\n        })\n      : contractOrId\n  ) as ServerFunctionContract<\n    Schema,\n    Exposure,\n    OutputSchema,\n    Id,\n    ClientContextSchema\n  >;\n  assertServerFunctionId(contract.id);\n\n  return createBuilder(contract, [] as readonly [], [] as readonly []);\n}\n\nfunction createBuilder<\n  Contract extends ServerFunctionContract<any, any, any>,\n  Pipes extends readonly ServerFunctionPipe[],\n  Middlewares extends readonly AnyCraftMiddleware[],\n>(\n  contract: Contract,\n  pipes: Pipes,\n  middlewares: Middlewares,\n): ServerFunctionBuilder<Contract, Pipes, Middlewares> {\n  return {\n    pipe(pipe: ServerFunctionPipe) {\n      return createBuilder(\n        contract,\n        [...pipes, pipe] as readonly [...Pipes, ServerFunctionPipe],\n        middlewares,\n      ) as never;\n    },\n    use(middleware: AnyCraftMiddleware) {\n      return createBuilder(contract, pipes, [\n        ...middlewares,\n        middleware,\n      ] as readonly [...Middlewares, typeof middleware]) as never;\n    },\n    handler(\n      handler: ServerFunctionHandler<Contract, Pipes, unknown, Middlewares>,\n    ) {\n      return createDefinition(contract, pipes, middlewares, handler) as never;\n    },\n  } as unknown as ServerFunctionBuilder<Contract, Pipes, Middlewares>;\n}\n\nfunction createDefinition<\n  Contract extends ServerFunctionContract<any, any, any>,\n  Pipes extends readonly ServerFunctionPipe[],\n  Middlewares extends readonly AnyCraftMiddleware[],\n  Output,\n>(\n  contract: Contract,\n  pipes: Pipes,\n  middlewares: Middlewares,\n  handler: ServerFunctionHandler<Contract, Pipes, Output, Middlewares>,\n): ServerFunctionDefinition<Contract, Pipes, Output, Middlewares> {\n  return {\n    kind: 'server-function',\n    contract,\n    pipes,\n    middlewares,\n    inputSchemas: collectMiddlewareSchemas(contract.input, middlewares),\n    clientContextSchemas: collectMiddlewareClientContextSchemas(\n      contract.clientContext as CraftSchema | undefined,\n      middlewares,\n    ),\n    handler,\n    invoke(input, runtime, clientContext) {\n      const required: ServerFunctionRequired = (token) => {\n        if (!runtime?.resolve) {\n          throw new Error(\n            `Server function \"${contract.id}\" requires DI, but no server runtime resolver was provided.`,\n          );\n        }\n        return runtime.resolve(token);\n      };\n      const call = (context: Record<string, unknown>): Output =>\n        handler({\n          input: input as never,\n          context: context as never,\n          clientContext: (clientContext ?? {}) as never,\n          required,\n          pipes,\n        });\n\n      if (middlewares.length === 0) return call({});\n      return runMiddlewareChain(\n        middlewares,\n        input,\n        ({ context }) => call(context),\n        clientContext ?? {},\n        required,\n      ) as Output;\n    },\n  };\n}\n\n/**\n * Ce que l'appelant doit fournir : le schéma du contrat et ceux des middleware,\n * côté entrée. La façade client reste donc alignée sur ce que le registre valide.\n */\nexport type ServerFunctionInput<\n  Definition extends ServerFunctionDefinition<any, any, any, any>,\n> =\n  Definition extends ServerFunctionDefinition<\n    infer Contract,\n    any,\n    any,\n    infer Middlewares\n  >\n    ? MergeSchemaInputs<\n        readonly [Contract['input'], ...MiddlewareSchemasOfAll<Middlewares>]\n      >\n    : never;\n\n/** Ce que le navigateur doit produire pour cette fonction. */\nexport type ServerFunctionExpectedClientContext<\n  Definition extends ServerFunctionDefinition<any, any, any, any>,\n> =\n  Definition extends ServerFunctionDefinition<\n    infer Contract,\n    any,\n    any,\n    infer Middlewares\n  >\n    ? MergeOptionalSchemaInputs<\n        ServerFunctionClientContextSchemas<Contract, Middlewares>\n      >\n    : Record<never, never>;\n\nexport type ServerFunctionOutput<\n  Definition extends ServerFunctionDefinition<any, any, any, any>,\n> =\n  Definition extends ServerFunctionDefinition<any, any, infer Output, any>\n    ? Output\n    : never;\n\ntype AwaitedServerFunctionOutput<\n  Definition extends ServerFunctionDefinition<any, any, any, any>,\n> = Awaited<ServerFunctionOutput<Definition>>;\n\nexport type ServerFunctionSuccess<\n  Definition extends ServerFunctionDefinition<any, any, any, any>,\n> =\n  AwaitedServerFunctionOutput<Definition> extends Effect.Effect<\n    infer Success,\n    infer _Error,\n    infer _Requirements\n  >\n    ? Success\n    : AwaitedServerFunctionOutput<Definition>;\n\nexport type ServerFunctionError<\n  Definition extends ServerFunctionDefinition<any, any, any, any>,\n> =\n  AwaitedServerFunctionOutput<Definition> extends Effect.Effect<\n    infer _Success,\n    infer Error,\n    infer _Requirements\n  >\n    ? Error\n    : never;\n\n/**\n * `serverFunction` pré-équipé d'une chaîne de middleware serveur par défaut.\n *\n * Sucre volontairement léger : la factory ne fait qu'appliquer `.use(...)` dans\n * l'ordre donné avant de rendre la main au builder habituel. Les middleware par\n * défaut sont donc soumis aux mêmes règles que les autres — aplatissement,\n * déduplication par id, fusion des schémas — et une fonction peut toujours en\n * ajouter les siens par-dessus.\n */\nexport type ServerFunctionFactory<\n  Defaults extends readonly AnyCraftMiddleware[],\n> = {\n  <const Id extends string, Schema extends CraftSchema>(\n    id: Id,\n    input: Schema,\n  ): ServerFunctionBuilder<\n    ServerFunctionContract<Schema, 'server', undefined, Id>,\n    readonly [],\n    Defaults,\n    readonly [Schema, ...MiddlewareSchemasOfAll<Defaults>]\n  >;\n  <\n    const Id extends string,\n    Schema extends CraftSchema,\n    Exposure extends ServerFunctionExposure,\n    OutputSchema extends CraftSchema | undefined = undefined,\n    ClientContextSchema extends CraftSchema | undefined = undefined,\n  >(\n    id: Id,\n    input: Schema,\n    options: {\n      readonly exposure: Exposure;\n      readonly output?: OutputSchema;\n      readonly clientContext?: ClientContextSchema;\n    },\n  ): ServerFunctionBuilder<\n    ServerFunctionContract<\n      Schema,\n      Exposure,\n      OutputSchema,\n      Id,\n      ClientContextSchema\n    >,\n    readonly [],\n    Defaults,\n    readonly [Schema, ...MiddlewareSchemasOfAll<Defaults>]\n  >;\n};\n\nexport function createServerFunctionFactory<\n  const Defaults extends readonly AnyCraftMiddleware[],\n>(defaultServerMiddlewares: Defaults): ServerFunctionFactory<Defaults> {\n  return ((\n    id: string,\n    input: CraftSchema,\n    options?: {\n      readonly exposure?: ServerFunctionExposure;\n      readonly output?: CraftSchema;\n      readonly clientContext?: CraftSchema;\n    },\n  ) => {\n    let builder = serverFunction(id, input, {\n      exposure: options?.exposure ?? 'server',\n      ...(options?.output === undefined ? {} : { output: options.output }),\n      ...(options?.clientContext === undefined\n        ? {}\n        : { clientContext: options.clientContext }),\n    }) as unknown as {\n      use: (middleware: AnyCraftMiddleware) => typeof builder;\n    };\n    for (const middleware of defaultServerMiddlewares) {\n      builder = builder.use(middleware);\n    }\n    return builder;\n  }) as unknown as ServerFunctionFactory<Defaults>;\n}\n"]}