@gaganref/confect-server 0.0.0-stage → 10.3.1-fork.1

package/dist/HttpRouter.d.ts

@@ -0,0 +1,80 @@
+import { type HttpRouter as ConvexHttpRouter } from "convex/server";
+import type * as FileSystem from "effect/FileSystem";
+import * as Layer from "effect/Layer";
+import type * as Path from "effect/Path";
+import * as HttpApi from "effect/http-api/HttpApi";
+import type * as HttpApiGroup from "effect/http-api/HttpApiGroup";
+import type * as Etag from "effect/http/Etag";
+import type * as HttpPlatform from "effect/http/HttpPlatform";
+import * as HttpRouter from "effect/http/HttpRouter";
+import type * as ActionRunner from "./ActionRunner";
+import type * as Auth from "./Auth";
+import type { ExecutionMetadata } from "./ExecutionMetadata";
+import type { RequestMetadata } from "./RequestMetadata";
+import type * as DatabaseSchema from "./DatabaseSchema";
+import type * as Handler from "./Handler";
+import type * as MutationRunner from "./MutationRunner";
+import type * as QueryRunner from "./QueryRunner";
+import type * as Scheduler from "./Scheduler";
+import type { Storage } from "./Storage";
+import type { StorageActionWriter } from "./StorageActionWriter";
+import type { StorageReader } from "./StorageReader";
+import type { StorageWriter } from "./StorageWriter";
+/**
+ * The Confect services available to HTTP route handlers and middleware,
+ * supplied per request from the Convex action context.
+ */
+export type Services = QueryRunner.QueryRunner | MutationRunner.MutationRunner | ActionRunner.ActionRunner | Scheduler.Scheduler | Auth.Auth | ExecutionMetadata | RequestMetadata | Storage | StorageReader | StorageWriter | StorageActionWriter;
+/**
+ * A layer that registers routes on the HTTP router—the input to {@link make}.
+ *
+ * Compose it from Effect's `effect/http` and `effect/http-api` modules:
+ * `HttpApiBuilder.layer(api)` registers an `HttpApi`'s endpoints (provide its
+ * group handler layers with `Layer.provide`), `HttpApiScalar.layer(api, ...)`
+ * serves interactive API docs, `HttpRouter.add` registers a plain route, and
+ * `HttpRouter.middleware(fn, { global: true })` applies middleware to every
+ * route. Merge any number of these with `Layer.mergeAll`.
+ *
+ * Route handlers and middleware may require any of the Confect {@link Services},
+ * which surface as request-level `Requires` markers and are supplied per
+ * request. Anything else the layer requires is a type error—notably, an
+ * `HttpApiBuilder.layer(api)` whose group handler layers are not provided
+ * leaves an `HttpApiGroup.ToService` requirement behind, so a missing handler
+ * group is caught at compile time.
+ *
+ * Layers are built with Confect's Convex-aware `ConfigProvider` in context, so
+ * `Config` reads (e.g. in `Layer.unwrap`) resolve against Convex environment
+ * variables.
+ */
+export type Routes<Services_ = Services> = Layer.Layer<never, never, HttpRouter.HttpRouter | Etag.Generator | FileSystem.FileSystem | HttpPlatform.HttpPlatform | Path.Path | HttpRouter.Request<"Requires", Services_> | HttpRouter.Request<"GlobalRequires", Services_> | HttpRouter.Request<"Error", any> | HttpRouter.Request<"GlobalError", any>>;
+/**
+ * Create a Convex HTTP router serving the given routes.
+ *
+ * A single catch-all `httpAction` is registered for every routable method under
+ * the path prefix `"/"`, making the Effect router the single source of truth
+ * for paths: place an API with `HttpApi.prefix` or absolute route paths.
+ * Requests that match no route receive the Effect router's 404 response.
+ *
+ * Supply `{ api }` with the `HttpApi` registered by the routes layer to show
+ * endpoint patterns in Convex completion logs and the dashboard. Requests that
+ * match no reflected endpoint keep the catch-all completion label. Without the
+ * option, Convex reports the catch-all registrations. Application endpoints
+ * must not overlap component HTTP mounts: Convex also uses dashboard route
+ * entries to select between application and component routers.
+ *
+ * Plain Convex routes can still be added to the returned router—Convex matches
+ * exact paths first and longer path prefixes before the catch-all, so they take
+ * precedence.
+ */
+export declare const make: <Id extends string, Groups extends HttpApiGroup.Constraint>(routes: Routes, options?: {
+    readonly api?: HttpApi.HttpApi<Id, Groups> | undefined;
+}) => ConvexHttpRouter;
+/**
+ * Derive HTTP capabilities and ID scopes from the generated database schema.
+ * Component routes are relative to their installation's HTTP mount prefix.
+ * Supply `{ api }` as in {@link make}; labels stay component-relative.
+ */
+export declare const forSchema: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(schema: DatabaseSchema_) => <Id extends string, Groups extends HttpApiGroup.Constraint>(routes: Routes<Handler.ActionServices<DatabaseSchema_>>, options?: {
+    readonly api?: HttpApi.HttpApi<Id, Groups> | undefined;
+}) => ConvexHttpRouter;
+//# sourceMappingURL=HttpRouter.d.ts.map

package/dist/HttpRouter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"HttpRouter.d.ts","sourceRoot":"","sources":["../src/HttpRouter.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,UAAU,IAAI,gBAAgB,EAOpC,MAAM,eAAe,CAAC;AAMvB,OAAO,KAAK,KAAK,UAAU,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,KAAK,IAAI,MAAM,aAAa,CAAC;AAIzC,OAAO,KAAK,OAAO,MAAM,yBAAyB,CAAC;AACnD,OAAO,KAAK,KAAK,YAAY,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,KAAK,IAAI,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAC9D,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AAExD,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAG1C,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,WAAW,MAAM,eAAe,CAAC;AAElD,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAErD;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAChB,WAAW,CAAC,WAAW,GACvB,cAAc,CAAC,cAAc,GAC7B,YAAY,CAAC,YAAY,GACzB,SAAS,CAAC,SAAS,GACnB,IAAI,CAAC,IAAI,GACT,iBAAiB,GACjB,eAAe,GACf,OAAO,GACP,aAAa,GACb,aAAa,GACb,mBAAmB,CAAC;AAExB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,MAAM,CAAC,SAAS,GAAG,QAAQ,IAAI,KAAK,CAAC,KAAK,CACpD,KAAK,EACL,KAAK,EACH,UAAU,CAAC,UAAU,GACrB,IAAI,CAAC,SAAS,GACd,UAAU,CAAC,UAAU,GACrB,YAAY,CAAC,YAAY,GACzB,IAAI,CAAC,IAAI,GACT,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,GACzC,UAAU,CAAC,OAAO,CAAC,gBAAgB,EAAE,SAAS,CAAC,GAC/C,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,GAChC,UAAU,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CACzC,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,IAAI,GAAI,EAAE,SAAS,MAAM,EAAE,MAAM,SAAS,YAAY,CAAC,UAAU,UACpE,MAAM,YACJ;IAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;CAAE,KACnE,gBACsE,CAAC;AAE1E;;;;GAIG;AACH,eAAO,MAAM,SAAS,GACnB,eAAe,SAAS,cAAc,CAAC,YAAY,UAC1C,eAAe,MAExB,EAAE,SAAS,MAAM,EAAE,MAAM,SAAS,YAAY,CAAC,UAAU,UAChD,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,YAC7C;IAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;CAAE,KACnE,gBAgBA,CAAC"}

package/dist/HttpRouter.js

@@ -0,0 +1,195 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { layer } from "./ConvexConfigProvider.js";
+import { layer as layer$1 } from "./ConvexLogger.js";
+import { actionLayer, baseActionLayer } from "./RegisteredFunction.js";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+import * as Effect from "effect/Effect";
+import { ROUTABLE_HTTP_METHODS, httpActionGeneric, httpRouter } from "convex/server";
+import * as Schema from "effect/Schema";
+import * as Match from "effect/Match";
+import * as Array from "effect/Array";
+import * as SchemaAST from "effect/SchemaAST";
+import * as Console from "effect/Console";
+import * as Config from "effect/Config";
+import * as FindMyWay from "effect/http/FindMyWay";
+import * as HttpApi from "effect/http-api/HttpApi";
+import * as HttpRouter from "effect/http/HttpRouter";
+import * as HttpServer from "effect/http/HttpServer";
+//#region src/HttpRouter.ts
+var HttpRouter_exports = /* @__PURE__ */ __exportAll({
+	forSchema: () => forSchema,
+	make: () => make
+});
+/**
+* Create a Convex HTTP router serving the given routes.
+*
+* A single catch-all `httpAction` is registered for every routable method under
+* the path prefix `"/"`, making the Effect router the single source of truth
+* for paths: place an API with `HttpApi.prefix` or absolute route paths.
+* Requests that match no route receive the Effect router's 404 response.
+*
+* Supply `{ api }` with the `HttpApi` registered by the routes layer to show
+* endpoint patterns in Convex completion logs and the dashboard. Requests that
+* match no reflected endpoint keep the catch-all completion label. Without the
+* option, Convex reports the catch-all registrations. Application endpoints
+* must not overlap component HTTP mounts: Convex also uses dashboard route
+* entries to select between application and component routers.
+*
+* Plain Convex routes can still be added to the returned router—Convex matches
+* exact paths first and longer path prefixes before the catch-all, so they take
+* precedence.
+*/
+const make = (routes, options) => makeWithLayer(routes, baseActionLayer, options?.api);
+/**
+* Derive HTTP capabilities and ID scopes from the generated database schema.
+* Component routes are relative to their installation's HTTP mount prefix.
+* Supply `{ api }` as in {@link make}; labels stay component-relative.
+*/
+const forSchema = (schema) => (routes, options) => makeWithLayer(Match.value(schema.target.kind).pipe(Match.when("app", () => routes), Match.when("component", () => routes.pipe(Layer.provide(componentRouter))), Match.exhaustive), (ctx) => actionLayer(schema, ctx), options?.api);
+const componentRouter = Layer.effect(HttpRouter.HttpRouter, Effect.gen(function* () {
+	const router = yield* HttpRouter.HttpRouter;
+	const siteUrl = yield* Config.schema(Schema.URLFromString, "CONVEX_SITE_URL");
+	return router.prefixed(siteUrl.pathname);
+}).pipe(Effect.orDie));
+const makeWithLayer = (routes, layer$2, api) => {
+	applyMonkeyPatches();
+	const AppLayer = routes.pipe(Layer.provideMerge(layer$1), Layer.provideMerge(layer), Layer.provide(HttpServer.layerServices));
+	const { handler } = HttpRouter.toWebHandler(AppLayer, { disableLogger: true });
+	const httpAction = httpActionGeneric((ctx, request) => {
+		const services = Effect.runSync(Effect.scoped(Layer.build(layer$2(ctx))));
+		return handler(request, Context.add(services, Console.Console, globalThis.console));
+	});
+	const convexHttpRouter = httpRouter();
+	Array.forEach(ROUTABLE_HTTP_METHODS, (method) => {
+		const routeSpec = {
+			pathPrefix: "/",
+			method,
+			handler: httpAction
+		};
+		convexHttpRouter.route(routeSpec);
+	});
+	if (api !== void 0) {
+		const matcher = FindMyWay.make();
+		const reflected = [];
+		HttpApi.reflect(api, {
+			onGroup: () => {},
+			onEndpoint: ({ endpoint }) => {
+				const method = ROUTABLE_HTTP_METHODS.find((candidate) => candidate === endpoint.method);
+				if (method === void 0) return;
+				const path = apiRouterPath(endpoint.path, endpoint.params);
+				matcher.on(method, path, endpoint.path);
+				if (path.endsWith("/*")) matcher.on(method, path.slice(0, -2), endpoint.path);
+				reflected.push([
+					endpoint.path,
+					method,
+					httpAction
+				]);
+			}
+		});
+		reflected.sort(([pathA, methodA], [pathB, methodB]) => pathA.localeCompare(pathB) || methodA.localeCompare(methodB));
+		const getRoutes = convexHttpRouter.getRoutes;
+		convexHttpRouter.getRoutes = () => reflected.length === 0 ? getRoutes() : [...getRoutes().filter(([, , action]) => action !== httpAction), ...reflected];
+		const lookup = convexHttpRouter.lookup;
+		convexHttpRouter.lookup = (path, method) => {
+			const match = lookup(path, method);
+			if (match === null || match[0] !== httpAction) return match;
+			const normalized = match[1];
+			const reflectedPath = matcher.find(normalized, path)?.handler;
+			return reflectedPath === void 0 ? match : [
+				httpAction,
+				normalized,
+				reflectedPath
+			];
+		};
+	}
+	return convexHttpRouter;
+};
+/*!
+* apiRouterPath is adapted from Effect 4.0.1 http-api/internal/path.ts.
+*
+* MIT License
+*
+* Copyright (c) 2023 Effectful Technologies Inc
+*
+* Permission is hereby granted, free of charge, to any person obtaining a copy
+* of this software and associated documentation files (the "Software"), to deal
+* in the Software without restriction, including without limitation the rights
+* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+* copies of the Software, and to permit persons to whom the Software is
+* furnished to do so, subject to the following conditions:
+*
+* The above copyright notice and this permission notice shall be included in all
+* copies or substantial portions of the Software.
+*
+* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+* SOFTWARE.
+*/
+const apiRouterPath = (path, params) => {
+	if (params === void 0 || !path.includes(":")) return path;
+	let ast = params.ast;
+	while (ast.encoding !== void 0) ast = ast.encoding[ast.encoding.length - 1].to;
+	if (!SchemaAST.isObjects(ast) || ast.indexSignatures.length !== 0) return path;
+	const names = new Set(ast.propertySignatures.map((property) => String(property.name)));
+	let normalized = "";
+	let depth = 0;
+	let regexStart = -1;
+	for (let i = 0; i < path.length; i++) {
+		const char = path[i];
+		if (depth > 0 || i === regexStart) {
+			normalized += char;
+			if (char === "\\") normalized += path[++i] ?? "";
+			else if (char === "(") depth++;
+			else if (char === ")") depth--;
+		} else if (char !== ":") normalized += char;
+		else if (path[i + 1] === ":") {
+			normalized += "::";
+			i++;
+		} else {
+			const param = /^:(\w+)/.exec(path.slice(i));
+			if (param !== null && names.has(param[1])) {
+				normalized += param[0];
+				i += param[0].length - 1;
+				const next = path[i + 1];
+				if (next === "(") regexStart = i + 1;
+				else if (next !== void 0 && !"/.-?".includes(next)) normalized += "(.*?)";
+			} else normalized += "::";
+		}
+	}
+	return normalized;
+};
+const applyMonkeyPatches = () => {
+	if ((() => {
+		try {
+			return new URL("https://confect.dev").username === void 0;
+		} catch {
+			return true;
+		}
+	})()) URL = class extends URL {
+		get username() {
+			return "";
+		}
+		get password() {
+			return "";
+		}
+	};
+	if ((() => {
+		try {
+			return new Request("https://confect.dev").signal === void 0;
+		} catch {
+			return true;
+		}
+	})()) Object.defineProperty(Request.prototype, "signal", {
+		get: () => new AbortSignal(),
+		configurable: true
+	});
+};
+//#endregion
+export { HttpRouter_exports, forSchema, make };
+
+//# sourceMappingURL=HttpRouter.js.map

package/dist/HttpRouter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"HttpRouter.js","names":["RegisteredFunction.baseActionLayer","RegisteredFunction.actionLayer","ConvexLogger.layer","ConvexConfigProvider.layer","layer"],"sources":["../src/HttpRouter.ts"],"sourcesContent":["import {\n  type HttpRouter as ConvexHttpRouter,\n  httpActionGeneric,\n  httpRouter,\n  ROUTABLE_HTTP_METHODS,\n  type RouteSpecWithPathPrefix,\n  type GenericActionCtx,\n  type GenericDataModel,\n} from \"convex/server\";\nimport * as Array from \"effect/Array\";\nimport * as Console from \"effect/Console\";\nimport * as Context from \"effect/Context\";\nimport * as Config from \"effect/Config\";\nimport * as Effect from \"effect/Effect\";\nimport type * as FileSystem from \"effect/FileSystem\";\nimport * as Layer from \"effect/Layer\";\nimport * as Match from \"effect/Match\";\nimport type * as Path from \"effect/Path\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as FindMyWay from \"effect/http/FindMyWay\";\nimport * as HttpApi from \"effect/http-api/HttpApi\";\nimport type * as HttpApiGroup from \"effect/http-api/HttpApiGroup\";\nimport type * as Etag from \"effect/http/Etag\";\nimport type * as HttpPlatform from \"effect/http/HttpPlatform\";\nimport * as HttpRouter from \"effect/http/HttpRouter\";\nimport * as HttpServer from \"effect/http/HttpServer\";\nimport type * as ActionRunner from \"./ActionRunner\";\nimport type * as Auth from \"./Auth\";\nimport type { ExecutionMetadata } from \"./ExecutionMetadata\";\nimport type { RequestMetadata } from \"./RequestMetadata\";\nimport type * as DatabaseSchema from \"./DatabaseSchema\";\nimport type * as DataModel from \"./DataModel\";\nimport type * as Handler from \"./Handler\";\nimport * as ConvexConfigProvider from \"./ConvexConfigProvider\";\nimport * as ConvexLogger from \"./ConvexLogger\";\nimport type * as MutationRunner from \"./MutationRunner\";\nimport type * as QueryRunner from \"./QueryRunner\";\nimport * as RegisteredFunction from \"./RegisteredFunction\";\nimport type * as Scheduler from \"./Scheduler\";\nimport type { Storage } from \"./Storage\";\nimport type { StorageActionWriter } from \"./StorageActionWriter\";\nimport type { StorageReader } from \"./StorageReader\";\nimport type { StorageWriter } from \"./StorageWriter\";\n\n/**\n * The Confect services available to HTTP route handlers and middleware,\n * supplied per request from the Convex action context.\n */\nexport type Services =\n  | QueryRunner.QueryRunner\n  | MutationRunner.MutationRunner\n  | ActionRunner.ActionRunner\n  | Scheduler.Scheduler\n  | Auth.Auth\n  | ExecutionMetadata\n  | RequestMetadata\n  | Storage\n  | StorageReader\n  | StorageWriter\n  | StorageActionWriter;\n\n/**\n * A layer that registers routes on the HTTP router—the input to {@link make}.\n *\n * Compose it from Effect's `effect/http` and `effect/http-api` modules:\n * `HttpApiBuilder.layer(api)` registers an `HttpApi`'s endpoints (provide its\n * group handler layers with `Layer.provide`), `HttpApiScalar.layer(api, ...)`\n * serves interactive API docs, `HttpRouter.add` registers a plain route, and\n * `HttpRouter.middleware(fn, { global: true })` applies middleware to every\n * route. Merge any number of these with `Layer.mergeAll`.\n *\n * Route handlers and middleware may require any of the Confect {@link Services},\n * which surface as request-level `Requires` markers and are supplied per\n * request. Anything else the layer requires is a type error—notably, an\n * `HttpApiBuilder.layer(api)` whose group handler layers are not provided\n * leaves an `HttpApiGroup.ToService` requirement behind, so a missing handler\n * group is caught at compile time.\n *\n * Layers are built with Confect's Convex-aware `ConfigProvider` in context, so\n * `Config` reads (e.g. in `Layer.unwrap`) resolve against Convex environment\n * variables.\n */\nexport type Routes<Services_ = Services> = Layer.Layer<\n  never,\n  never,\n  | HttpRouter.HttpRouter\n  | Etag.Generator\n  | FileSystem.FileSystem\n  | HttpPlatform.HttpPlatform\n  | Path.Path\n  | HttpRouter.Request<\"Requires\", Services_>\n  | HttpRouter.Request<\"GlobalRequires\", Services_>\n  | HttpRouter.Request<\"Error\", any>\n  | HttpRouter.Request<\"GlobalError\", any>\n>;\n\n/**\n * Create a Convex HTTP router serving the given routes.\n *\n * A single catch-all `httpAction` is registered for every routable method under\n * the path prefix `\"/\"`, making the Effect router the single source of truth\n * for paths: place an API with `HttpApi.prefix` or absolute route paths.\n * Requests that match no route receive the Effect router's 404 response.\n *\n * Supply `{ api }` with the `HttpApi` registered by the routes layer to show\n * endpoint patterns in Convex completion logs and the dashboard. Requests that\n * match no reflected endpoint keep the catch-all completion label. Without the\n * option, Convex reports the catch-all registrations. Application endpoints\n * must not overlap component HTTP mounts: Convex also uses dashboard route\n * entries to select between application and component routers.\n *\n * Plain Convex routes can still be added to the returned router—Convex matches\n * exact paths first and longer path prefixes before the catch-all, so they take\n * precedence.\n */\nexport const make = <Id extends string, Groups extends HttpApiGroup.Constraint>(\n  routes: Routes,\n  options?: { readonly api?: HttpApi.HttpApi<Id, Groups> | undefined },\n): ConvexHttpRouter =>\n  makeWithLayer(routes, RegisteredFunction.baseActionLayer, options?.api);\n\n/**\n * Derive HTTP capabilities and ID scopes from the generated database schema.\n * Component routes are relative to their installation's HTTP mount prefix.\n * Supply `{ api }` as in {@link make}; labels stay component-relative.\n */\nexport const forSchema =\n  <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(\n    schema: DatabaseSchema_,\n  ) =>\n  <Id extends string, Groups extends HttpApiGroup.Constraint>(\n    routes: Routes<Handler.ActionServices<DatabaseSchema_>>,\n    options?: { readonly api?: HttpApi.HttpApi<Id, Groups> | undefined },\n  ): ConvexHttpRouter =>\n    makeWithLayer<\n      Handler.ActionServices<DatabaseSchema_>,\n      DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>,\n      Id,\n      Groups\n    >(\n      Match.value(schema.target.kind).pipe(\n        Match.when(\"app\", () => routes),\n        Match.when(\"component\", () =>\n          routes.pipe(Layer.provide(componentRouter)),\n        ),\n        Match.exhaustive,\n      ),\n      (ctx) => RegisteredFunction.actionLayer(schema, ctx),\n      options?.api,\n    );\n\n// Convex uses a component-relative path to select its HTTP action but passes\n// the original request URL to that action. Its CONVEX_SITE_URL includes the\n// installation's full mount prefix (including parent mounts). Prefixing the\n// Effect router preserves relative routes without rewriting the Request body.\nconst componentRouter = Layer.effect(\n  HttpRouter.HttpRouter,\n  Effect.gen(function* () {\n    const router = yield* HttpRouter.HttpRouter;\n    const siteUrl = yield* Config.schema(\n      Schema.URLFromString,\n      \"CONVEX_SITE_URL\",\n    );\n    return router.prefixed(siteUrl.pathname);\n  }).pipe(Effect.orDie),\n);\n\nconst makeWithLayer = <\n  Services_,\n  DataModel_ extends GenericDataModel,\n  Id extends string,\n  Groups extends HttpApiGroup.Constraint,\n>(\n  routes: Routes<Services_>,\n  layer: (ctx: GenericActionCtx<DataModel_>) => Layer.Layer<Services_>,\n  api: HttpApi.HttpApi<Id, Groups> | undefined,\n): ConvexHttpRouter => {\n  applyMonkeyPatches();\n\n  // Provided (not just merged) so that route layers' own construction—e.g.\n  // a `Layer.unwrap` reading `Config`—resolves configuration through the\n  // Convex-aware provider; merged so that request fibers—endpoint handlers\n  // and middleware—do too.\n  const AppLayer = routes.pipe(\n    Layer.provideMerge(ConvexLogger.layer),\n    Layer.provideMerge(ConvexConfigProvider.layer),\n    Layer.provide(HttpServer.layerServices),\n  );\n\n  // The Confect service requirements of route handlers and middleware surface\n  // as request-level `Requires` markers on the layer, which the web handler\n  // exposes as a per-request context argument.\n  const { handler } = HttpRouter.toWebHandler(AppLayer, {\n    disableLogger: true,\n  });\n\n  const httpAction = httpActionGeneric((ctx, request): Promise<Response> => {\n    // The ctx-backed service layers are all synchronous and finalizer-free,\n    // so the scope can close as soon as the context is built.\n    // Convex's HTTP registration erases the data model. The supplied generated\n    // schema restores it; this does not change the runtime context or services.\n    const services = Effect.runSync(\n      Effect.scoped(\n        Layer.build(layer(ctx as unknown as GenericActionCtx<DataModel_>)),\n      ),\n    );\n    return handler(\n      request,\n      Context.add(services, Console.Console, globalThis.console),\n    );\n  });\n\n  const convexHttpRouter = httpRouter();\n\n  Array.forEach(ROUTABLE_HTTP_METHODS, (method) => {\n    const routeSpec: RouteSpecWithPathPrefix = {\n      pathPrefix: \"/\",\n      method,\n      handler: httpAction,\n    };\n    convexHttpRouter.route(routeSpec);\n  });\n\n  if (api !== undefined) {\n    const matcher = FindMyWay.make<string>();\n    const reflected: ReturnType<ConvexHttpRouter[\"getRoutes\"]> = [];\n    HttpApi.reflect(api, {\n      onGroup: () => {},\n      onEndpoint: ({ endpoint }) => {\n        const method = ROUTABLE_HTTP_METHODS.find(\n          (candidate) => candidate === endpoint.method,\n        );\n        if (method === undefined) return;\n        const path = apiRouterPath(\n          endpoint.path as FindMyWay.PathInput,\n          endpoint.params,\n        );\n        matcher.on(method, path, endpoint.path);\n        // Effect also matches a wildcard route's base path without its slash.\n        if (path.endsWith(\"/*\")) {\n          matcher.on(method, path.slice(0, -2) as `/${string}`, endpoint.path);\n        }\n        reflected.push([endpoint.path, method, httpAction]);\n      },\n    });\n    reflected.sort(\n      ([pathA, methodA], [pathB, methodB]) =>\n        pathA.localeCompare(pathB) || methodA.localeCompare(methodB),\n    );\n\n    const getRoutes = convexHttpRouter.getRoutes;\n    convexHttpRouter.getRoutes = () =>\n      reflected.length === 0\n        ? getRoutes()\n        : [\n            ...getRoutes().filter(([, , action]) => action !== httpAction),\n            ...reflected,\n          ];\n    const lookup = convexHttpRouter.lookup;\n    convexHttpRouter.lookup = (path, method) => {\n      const match = lookup(path, method);\n      if (match === null || match[0] !== httpAction) return match;\n      const normalized = match[1];\n      const reflectedPath = matcher.find(normalized, path)?.handler;\n      return reflectedPath === undefined\n        ? match\n        : [httpAction, normalized, reflectedPath];\n    };\n  }\n\n  return convexHttpRouter;\n};\n\n/*!\n * apiRouterPath is adapted from Effect 4.0.1 http-api/internal/path.ts.\n *\n * MIT License\n *\n * Copyright (c) 2023 Effectful Technologies Inc\n *\n * Permission is hereby granted, free of charge, to any person obtaining a copy\n * of this software and associated documentation files (the \"Software\"), to deal\n * in the Software without restriction, including without limitation the rights\n * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell\n * copies of the Software, and to permit persons to whom the Software is\n * furnished to do so, subject to the following conditions:\n *\n * The above copyright notice and this permission notice shall be included in all\n * copies or substantial portions of the Software.\n *\n * THE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR\n * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,\n * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE\n * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER\n * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,\n * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE\n * SOFTWARE.\n */\n// Match Effect's HttpApiBuilder path normalization, which is not publicly\n// exported (effect/http-api/internal/path.ts). Undeclared colons are literals;\n// declared params followed by a literal suffix need an explicit regex boundary.\nconst apiRouterPath = (\n  path: FindMyWay.PathInput,\n  params: Schema.Top | undefined,\n): FindMyWay.PathInput => {\n  if (params === undefined || !path.includes(\":\")) return path;\n  let ast = params.ast;\n  while (ast.encoding !== undefined) {\n    ast = ast.encoding[ast.encoding.length - 1].to;\n  }\n  if (!SchemaAST.isObjects(ast) || ast.indexSignatures.length !== 0)\n    return path;\n  const names = new Set(\n    ast.propertySignatures.map((property) => String(property.name)),\n  );\n  let normalized = \"\";\n  let depth = 0;\n  let regexStart = -1;\n  for (let i = 0; i < path.length; i++) {\n    const char = path[i];\n    if (depth > 0 || i === regexStart) {\n      normalized += char;\n      if (char === \"\\\\\") normalized += path[++i] ?? \"\";\n      else if (char === \"(\") depth++;\n      else if (char === \")\") depth--;\n    } else if (char !== \":\") {\n      normalized += char;\n    } else if (path[i + 1] === \":\") {\n      normalized += \"::\";\n      i++;\n    } else {\n      const param = /^:(\\w+)/.exec(path.slice(i));\n      if (param !== null && names.has(param[1])) {\n        normalized += param[0];\n        i += param[0].length - 1;\n        const next = path[i + 1];\n        if (next === \"(\") regexStart = i + 1;\n        else if (next !== undefined && !\"/.-?\".includes(next))\n          normalized += \"(.*?)\";\n      } else {\n        normalized += \"::\";\n      }\n    }\n  }\n  return normalized as FindMyWay.PathInput;\n};\n\n// These are necessary until the Convex runtime supports these APIs. See\n// https://discord.com/channels/1019350475847499849/1281364098419785760\n// Each patch is applied only where the API is actually broken, so runtimes\n// with working implementations—Node under convex-test, notably, where\n// `new AbortSignal()` is an illegal constructor—keep their native behavior.\nconst applyMonkeyPatches = () => {\n  const urlCredentialsBroken = (() => {\n    try {\n      return new URL(\"https://confect.dev\").username === undefined;\n    } catch {\n      return true;\n    }\n  })();\n  if (urlCredentialsBroken) {\n    URL = class extends URL {\n      override get username() {\n        return \"\";\n      }\n      override get password() {\n        return \"\";\n      }\n    };\n  }\n\n  const requestSignalBroken = (() => {\n    try {\n      return new Request(\"https://confect.dev\").signal === undefined;\n    } catch {\n      return true;\n    }\n  })();\n  if (requestSignalBroken) {\n    // `configurable` so repeated definition—e.g. module re-evaluation in a\n    // long-lived environment—does not throw.\n    Object.defineProperty(Request.prototype, \"signal\", {\n      get: () => new AbortSignal(),\n      configurable: true,\n    });\n  }\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoHA,MAAa,QACX,QACA,YAEA,cAAc,QAAQA,iBAAoC,SAAS,GAAG;;;;;;AAOxE,MAAa,aAET,YAGA,QACA,YAEA,cAME,MAAM,MAAM,OAAO,OAAO,IAAI,CAAC,CAAC,KAC9B,MAAM,KAAK,aAAa,MAAM,GAC9B,MAAM,KAAK,mBACT,OAAO,KAAK,MAAM,QAAQ,eAAe,CAAC,CAC5C,GACA,MAAM,UACR,IACC,QAAQC,YAA+B,QAAQ,GAAG,GACnD,SAAS,GACX;AAMJ,MAAM,kBAAkB,MAAM,OAC5B,WAAW,YACX,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,OAAO,WAAW;CACjC,MAAM,UAAU,OAAO,OAAO,OAC5B,OAAO,eACP,iBACF;CACA,OAAO,OAAO,SAAS,QAAQ,QAAQ;AACzC,CAAC,CAAC,CAAC,KAAK,OAAO,KAAK,CACtB;AAEA,MAAM,iBAMJ,QACA,SACA,QACqB;CACrB,mBAAmB;CAMnB,MAAM,WAAW,OAAO,KACtB,MAAM,aAAaC,OAAkB,GACrC,MAAM,aAAaC,KAA0B,GAC7C,MAAM,QAAQ,WAAW,aAAa,CACxC;CAKA,MAAM,EAAE,YAAY,WAAW,aAAa,UAAU,EACpD,eAAe,KACjB,CAAC;CAED,MAAM,aAAa,mBAAmB,KAAK,YAA+B;EAKxE,MAAM,WAAW,OAAO,QACtB,OAAO,OACL,MAAM,MAAMC,QAAM,GAA8C,CAAC,CACnE,CACF;EACA,OAAO,QACL,SACA,QAAQ,IAAI,UAAU,QAAQ,SAAS,WAAW,OAAO,CAC3D;CACF,CAAC;CAED,MAAM,mBAAmB,WAAW;CAEpC,MAAM,QAAQ,wBAAwB,WAAW;EAC/C,MAAM,YAAqC;GACzC,YAAY;GACZ;GACA,SAAS;EACX;EACA,iBAAiB,MAAM,SAAS;CAClC,CAAC;CAED,IAAI,QAAQ,KAAA,GAAW;EACrB,MAAM,UAAU,UAAU,KAAa;EACvC,MAAM,YAAuD,CAAC;EAC9D,QAAQ,QAAQ,KAAK;GACnB,eAAe,CAAC;GAChB,aAAa,EAAE,eAAe;IAC5B,MAAM,SAAS,sBAAsB,MAClC,cAAc,cAAc,SAAS,MACxC;IACA,IAAI,WAAW,KAAA,GAAW;IAC1B,MAAM,OAAO,cACX,SAAS,MACT,SAAS,MACX;IACA,QAAQ,GAAG,QAAQ,MAAM,SAAS,IAAI;IAEtC,IAAI,KAAK,SAAS,IAAI,GACpB,QAAQ,GAAG,QAAQ,KAAK,MAAM,GAAG,EAAE,GAAmB,SAAS,IAAI;IAErE,UAAU,KAAK;KAAC,SAAS;KAAM;KAAQ;IAAU,CAAC;GACpD;EACF,CAAC;EACD,UAAU,MACP,CAAC,OAAO,UAAU,CAAC,OAAO,aACzB,MAAM,cAAc,KAAK,KAAK,QAAQ,cAAc,OAAO,CAC/D;EAEA,MAAM,YAAY,iBAAiB;EACnC,iBAAiB,kBACf,UAAU,WAAW,IACjB,UAAU,IACV,CACE,GAAG,UAAU,CAAC,CAAC,QAAQ,KAAK,YAAY,WAAW,UAAU,GAC7D,GAAG,SACL;EACN,MAAM,SAAS,iBAAiB;EAChC,iBAAiB,UAAU,MAAM,WAAW;GAC1C,MAAM,QAAQ,OAAO,MAAM,MAAM;GACjC,IAAI,UAAU,QAAQ,MAAM,OAAO,YAAY,OAAO;GACtD,MAAM,aAAa,MAAM;GACzB,MAAM,gBAAgB,QAAQ,KAAK,YAAY,IAAI,CAAC,EAAE;GACtD,OAAO,kBAAkB,KAAA,IACrB,QACA;IAAC;IAAY;IAAY;GAAa;EAC5C;CACF;CAEA,OAAO;AACT;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,MAAM,iBACJ,MACA,WACwB;CACxB,IAAI,WAAW,KAAA,KAAa,CAAC,KAAK,SAAS,GAAG,GAAG,OAAO;CACxD,IAAI,MAAM,OAAO;CACjB,OAAO,IAAI,aAAa,KAAA,GACtB,MAAM,IAAI,SAAS,IAAI,SAAS,SAAS,EAAE,CAAC;CAE9C,IAAI,CAAC,UAAU,UAAU,GAAG,KAAK,IAAI,gBAAgB,WAAW,GAC9D,OAAO;CACT,MAAM,QAAQ,IAAI,IAChB,IAAI,mBAAmB,KAAK,aAAa,OAAO,SAAS,IAAI,CAAC,CAChE;CACA,IAAI,aAAa;CACjB,IAAI,QAAQ;CACZ,IAAI,aAAa;CACjB,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,QAAQ,KAAK;EACpC,MAAM,OAAO,KAAK;EAClB,IAAI,QAAQ,KAAK,MAAM,YAAY;GACjC,cAAc;GACd,IAAI,SAAS,MAAM,cAAc,KAAK,EAAE,MAAM;QACzC,IAAI,SAAS,KAAK;QAClB,IAAI,SAAS,KAAK;EACzB,OAAO,IAAI,SAAS,KAClB,cAAc;OACT,IAAI,KAAK,IAAI,OAAO,KAAK;GAC9B,cAAc;GACd;EACF,OAAO;GACL,MAAM,QAAQ,UAAU,KAAK,KAAK,MAAM,CAAC,CAAC;GAC1C,IAAI,UAAU,QAAQ,MAAM,IAAI,MAAM,EAAE,GAAG;IACzC,cAAc,MAAM;IACpB,KAAK,MAAM,EAAE,CAAC,SAAS;IACvB,MAAM,OAAO,KAAK,IAAI;IACtB,IAAI,SAAS,KAAK,aAAa,IAAI;SAC9B,IAAI,SAAS,KAAA,KAAa,CAAC,OAAO,SAAS,IAAI,GAClD,cAAc;GAClB,OACE,cAAc;EAElB;CACF;CACA,OAAO;AACT;AAOA,MAAM,2BAA2B;CAQ/B,WAPoC;EAClC,IAAI;GACF,OAAO,IAAI,IAAI,qBAAqB,CAAC,CAAC,aAAa,KAAA;EACrD,QAAQ;GACN,OAAO;EACT;CACF,EAAA,CACuB,GACrB,MAAM,cAAc,IAAI;EACtB,IAAa,WAAW;GACtB,OAAO;EACT;EACA,IAAa,WAAW;GACtB,OAAO;EACT;CACF;CAUF,WAPmC;EACjC,IAAI;GACF,OAAO,IAAI,QAAQ,qBAAqB,CAAC,CAAC,WAAW,KAAA;EACvD,QAAQ;GACN,OAAO;EACT;CACF,EAAA,CACsB,GAGpB,OAAO,eAAe,QAAQ,WAAW,UAAU;EACjD,WAAW,IAAI,YAAY;EAC3B,cAAc;CAChB,CAAC;AAEL"}

package/dist/MiddlewareImpl.d.ts

@@ -0,0 +1,79 @@
+import type * as FunctionSpec from "@confect/core/FunctionSpec";
+import type * as GroupSpec from "@confect/core/GroupSpec";
+import * as MiddlewareSpec from "@confect/core/MiddlewareSpec";
+import type { FunctionType } from "convex/server";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import type * as Auth from "./Auth";
+import type * as DatabaseReader from "./DatabaseReader";
+import type * as DatabaseSchema from "./DatabaseSchema";
+import type * as Handler from "./Handler";
+import type { ExecutionMetadata } from "./ExecutionMetadata";
+import type { RequestMetadata } from "./RequestMetadata";
+import type { TransactionMetadata } from "./TransactionMetadata";
+import type * as MutationRunner from "./MutationRunner";
+import type * as QueryRunner from "./QueryRunner";
+import type { QueryTransactionContext } from "./QueryTransactionContext";
+import type * as Scheduler from "./Scheduler";
+import type { Storage } from "./Storage";
+import type * as StorageReader from "./StorageReader";
+import type * as StorageWriter from "./StorageWriter";
+/**
+ * Marker service produced by providing a middleware's implementation to a
+ * group's impl layer. `GroupImpl.make` requires one per middleware attached to
+ * the group's spec (via {@link FromGroupSpec}), so `GroupImpl.finalize`'s `RIn =
+ * never` bound rejects a group that attaches a middleware but never provides
+ * its implementation—the exact mechanism used for `FunctionImpl`s.
+ */
+export interface MiddlewareImpl<MiddlewareKey extends string> {
+    readonly middlewareKey: MiddlewareKey;
+}
+export declare const MiddlewareImpl: <MiddlewareKey extends string>({ middlewareKey, }: {
+    middlewareKey: MiddlewareKey;
+}) => Context.Service<MiddlewareImpl<MiddlewareKey>, MiddlewareImpl<MiddlewareKey>>;
+export type FromGroupSpec<Group extends GroupSpec.AnyWithProps> = GroupSpec.MiddlewareSpecs<Group> | FunctionSpec.MiddlewareSpecs<GroupSpec.Functions<Group>> extends infer MiddlewareSpec_ ? MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec ? MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>> : never : never;
+export type FunctionTypeServices<DatabaseSchema_ extends DatabaseSchema.AnyWithProps, FunctionType_ extends FunctionType> = FunctionType_ extends "query" ? Handler.QueryServices<DatabaseSchema_> : FunctionType_ extends "mutation" ? Handler.MutationServices<DatabaseSchema_> : FunctionType_ extends "action" ? Handler.ActionServices<DatabaseSchema_> : never;
+/**
+ * The services a single middleware implementation may use: the set-theoretic
+ * intersection of the ctx-service unions of the middleware's declared
+ * `functionTypes`, so one implementation is valid in every runtime it can be
+ * invoked in. Enumerated by hand rather than derived with
+ * `Exclude`/`Extract`—several ctx services are structurally typed (e.g. the raw
+ * `GenericQueryCtx`/`GenericMutationCtx` tags), so conditional-type set
+ * arithmetic over them is not reliable.
+ */
+export type CommonServices<DatabaseSchema_ extends DatabaseSchema.AnyWithProps, FunctionTypes extends FunctionType> = [FunctionTypes] extends ["query"] ? Handler.QueryServices<DatabaseSchema_> : [FunctionTypes] extends ["mutation"] ? Handler.MutationServices<DatabaseSchema_> : [FunctionTypes] extends ["action"] ? Handler.ActionServices<DatabaseSchema_> : [FunctionTypes] extends ["query" | "mutation"] ? QueryMutationCommonServices<DatabaseSchema_> : [FunctionTypes] extends ["mutation" | "action"] ? MutationActionCommonServices : AllFunctionTypesCommonServices;
+type QueryMutationCommonServices<DatabaseSchema_ extends DatabaseSchema.AnyWithProps> = DatabaseReader.DatabaseReader<DatabaseSchema_> | Auth.Auth | ExecutionMetadata | TransactionMetadata | QueryTransactionContext | Storage | StorageReader.StorageReader | QueryRunner.QueryRunner;
+type MutationActionCommonServices = Auth.Auth | ExecutionMetadata | RequestMetadata | Scheduler.Scheduler | Storage | StorageReader.StorageReader | StorageWriter.StorageWriter | QueryRunner.QueryRunner | MutationRunner.MutationRunner;
+type AllFunctionTypesCommonServices = Auth.Auth | ExecutionMetadata | Storage | StorageReader.StorageReader | QueryRunner.QueryRunner;
+/**
+ * Provide a middleware's implementation with a single strategy shared by every
+ * function type the middleware declares. The implementation's environment is
+ * bounded by {@link CommonServices}—the intersection of the declared
+ * functionTypes' ctx services—plus the middleware's declared `requires`, which
+ * middleware running earlier in the chain provide. Reach for
+ * {@link makeByFunctionType} when one strategy can't fit all declared
+ * functionTypes (the usual case for database-touching middleware attached to
+ * actions).
+ *
+ * Like `FunctionImpl.make`, `databaseSchema` is a type-level carrier only.
+ */
+export declare const make: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps, MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(_databaseSchema: DatabaseSchema_, middlewareSpec: MiddlewareSpec_, impl: MiddlewareSpec.MiddlewareImpl<MiddlewareSpec.Provides<MiddlewareSpec_>, MiddlewareSpec.Error<MiddlewareSpec_>, CommonServices<DatabaseSchema_, MiddlewareSpec.FunctionTypes<MiddlewareSpec_>> | MiddlewareSpec.Requires<MiddlewareSpec_>, MiddlewareSpec.Options<MiddlewareSpec_>>) => Layer.Layer<MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>>;
+/**
+ * Provide a middleware's implementation with one strategy per declared function
+ * type. Each entry may use that function type's full ctx-service union—the
+ * recommended shape for database-touching middleware that also covers actions:
+ * use `DatabaseReader`/`DatabaseWriter` in queries and mutations, and
+ * `runQuery` of an internal query in actions.
+ */
+export declare const makeByFunctionType: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps, MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(_databaseSchema: DatabaseSchema_, middlewareSpec: MiddlewareSpec_, impls: { readonly [FunctionType_ in MiddlewareSpec.FunctionTypes<MiddlewareSpec_>]: MiddlewareSpec.MiddlewareImpl<MiddlewareSpec.Provides<MiddlewareSpec_>, MiddlewareSpec.Error<MiddlewareSpec_>, FunctionTypeServices<DatabaseSchema_, FunctionType_> | MiddlewareSpec.Requires<MiddlewareSpec_>, MiddlewareSpec.Options<MiddlewareSpec_>>; }) => Layer.Layer<MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>>;
+/**
+ * Sugar over {@link make} for the flagship "run something, provide a service"
+ * shape: run `effect` before the rest of the chain and provide its result under
+ * `tag` (the runtime tag for the middleware's type-level `provides` service,
+ * passed explicitly since the spec class only knows it at the type level).
+ */
+export declare const provides: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps, MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec, Shape>(databaseSchema: DatabaseSchema_, middlewareSpec: MiddlewareSpec_, tag: Context.Key<MiddlewareSpec.Provides<MiddlewareSpec_>, Shape>, effect: Effect.Effect<Shape, MiddlewareSpec.Error<MiddlewareSpec_>, CommonServices<DatabaseSchema_, MiddlewareSpec.FunctionTypes<MiddlewareSpec_>> | MiddlewareSpec.Requires<MiddlewareSpec_>>) => Layer.Layer<MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>>;
+export {};
+//# sourceMappingURL=MiddlewareImpl.d.ts.map

package/dist/MiddlewareImpl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MiddlewareImpl.d.ts","sourceRoot":"","sources":["../src/MiddlewareImpl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,YAAY,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,cAAc,MAAM,8BAA8B,CAAC;AAE/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAC1C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,WAAW,MAAM,eAAe,CAAC;AAClD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,KAAK,aAAa,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,KAAK,aAAa,MAAM,iBAAiB,CAAC;AAItD;;;;;;GAMG;AACH,MAAM,WAAW,cAAc,CAAC,aAAa,SAAS,MAAM;IAC1D,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAED,eAAO,MAAM,cAAc,GAAI,aAAa,SAAS,MAAM,sBAExD;IACD,aAAa,EAAE,aAAa,CAAC;CAC9B,kFAGE,CAAC;AAEJ,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,SAAS,CAAC,YAAY,IAC1D,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,GAChC,YAAY,CAAC,eAAe,CAC1B,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAC3B,SAAS,MAAM,eAAe,GAC/B,eAAe,SAAS,cAAc,CAAC,iBAAiB,GACtD,cAAc,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,GACnD,KAAK,GACP,KAAK,CAAC;AAEV,MAAM,MAAM,oBAAoB,CAC9B,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,aAAa,SAAS,YAAY,IAChC,aAAa,SAAS,OAAO,GAC7B,OAAO,CAAC,aAAa,CAAC,eAAe,CAAC,GACtC,aAAa,SAAS,UAAU,GAC9B,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,GACzC,aAAa,SAAS,QAAQ,GAC5B,OAAO,CAAC,cAAc,CAAC,eAAe,CAAC,GACvC,KAAK,CAAC;AAEd;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,CACxB,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,aAAa,SAAS,YAAY,IAChC,CAAC,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,GACjC,OAAO,CAAC,aAAa,CAAC,eAAe,CAAC,GACtC,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,GAClC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,GACzC,CAAC,aAAa,CAAC,SAAS,CAAC,QAAQ,CAAC,GAChC,OAAO,CAAC,cAAc,CAAC,eAAe,CAAC,GACvC,CAAC,aAAa,CAAC,SAAS,CAAC,OAAO,GAAG,UAAU,CAAC,GAC5C,2BAA2B,CAAC,eAAe,CAAC,GAC5C,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,GAAG,QAAQ,CAAC,GAC7C,4BAA4B,GAC5B,8BAA8B,CAAC;AAE3C,KAAK,2BAA2B,CAC9B,eAAe,SAAS,cAAc,CAAC,YAAY,IAEjD,cAAc,CAAC,cAAc,CAAC,eAAe,CAAC,GAC9C,IAAI,CAAC,IAAI,GACT,iBAAiB,GACjB,mBAAmB,GACnB,uBAAuB,GACvB,OAAO,GACP,aAAa,CAAC,aAAa,GAC3B,WAAW,CAAC,WAAW,CAAC;AAE5B,KAAK,4BAA4B,GAC7B,IAAI,CAAC,IAAI,GACT,iBAAiB,GACjB,eAAe,GACf,SAAS,CAAC,SAAS,GACnB,OAAO,GACP,aAAa,CAAC,aAAa,GAC3B,aAAa,CAAC,aAAa,GAC3B,WAAW,CAAC,WAAW,GACvB,cAAc,CAAC,cAAc,CAAC;AAElC,KAAK,8BAA8B,GAC/B,IAAI,CAAC,IAAI,GACT,iBAAiB,GACjB,OAAO,GACP,aAAa,CAAC,aAAa,GAC3B,WAAW,CAAC,WAAW,CAAC;AA+B5B;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,IAAI,GACf,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,eAAe,SAAS,cAAc,CAAC,iBAAiB,mBAEvC,eAAe,kBAChB,eAAe,QACzB,cAAc,CAAC,cAAc,CACjC,cAAc,CAAC,QAAQ,CAAC,eAAe,CAAC,EACxC,cAAc,CAAC,KAAK,CAAC,eAAe,CAAC,EACnC,cAAc,CACZ,eAAe,EACf,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAC9C,GACD,cAAc,CAAC,QAAQ,CAAC,eAAe,CAAC,EAC1C,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CACxC,KACA,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAW/D,CAAC;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAC7B,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,eAAe,SAAS,cAAc,CAAC,iBAAiB,mBAEvC,eAAe,kBAChB,eAAe,SACxB,EACL,QAAQ,EACN,aAAa,IAAI,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,GAC7D,cAAc,CAAC,cAAc,CAC9B,cAAc,CAAC,QAAQ,CAAC,eAAe,CAAC,EACxC,cAAc,CAAC,KAAK,CAAC,eAAe,CAAC,EACnC,oBAAoB,CAAC,eAAe,EAAE,aAAa,CAAC,GACpD,cAAc,CAAC,QAAQ,CAAC,eAAe,CAAC,EAC1C,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CACxC,GACF,KACA,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAI/D,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GACnB,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACxD,KAAK,kBAEW,eAAe,kBACf,eAAe,OAC1B,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,UACzD,MAAM,CAAC,MAAM,CACnB,KAAK,EACL,cAAc,CAAC,KAAK,CAAC,eAAe,CAAC,EACnC,cAAc,CACZ,eAAe,EACf,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAC9C,GACD,cAAc,CAAC,QAAQ,CAAC,eAAe,CAAC,CAC3C,KACA,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAEE,CAAC"}

package/dist/MiddlewareImpl.js

@@ -0,0 +1,58 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { Registry } from "./Registry.js";
+import { TypeId, registryKey } from "./MiddlewareRegistryItem.js";
+import { setNestedProperty } from "./internal/utils.js";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+import * as Effect from "effect/Effect";
+import * as MiddlewareSpec from "@confect/core/MiddlewareSpec";
+import * as Ref from "effect/Ref";
+//#region src/MiddlewareImpl.ts
+var MiddlewareImpl_exports = /* @__PURE__ */ __exportAll({
+	MiddlewareImpl: () => MiddlewareImpl,
+	make: () => make,
+	makeByFunctionType: () => makeByFunctionType,
+	provides: () => provides
+});
+const MiddlewareImpl = ({ middlewareKey }) => Context.Service(`@confect/server/MiddlewareImpl/${middlewareKey}`);
+const layerFromImpls = (middlewareSpec, impls) => Layer.effect(MiddlewareImpl({ middlewareKey: middlewareSpec.key }), Effect.gen(function* () {
+	const registry = yield* Registry;
+	yield* Ref.update(registry, (registryItems) => setNestedProperty(registryItems, [registryKey(middlewareSpec.key)], {
+		[TypeId]: TypeId,
+		middlewareSpec,
+		impls
+	}));
+	return { middlewareKey: middlewareSpec.key };
+}));
+/**
+* Provide a middleware's implementation with a single strategy shared by every
+* function type the middleware declares. The implementation's environment is
+* bounded by {@link CommonServices}—the intersection of the declared
+* functionTypes' ctx services—plus the middleware's declared `requires`, which
+* middleware running earlier in the chain provide. Reach for
+* {@link makeByFunctionType} when one strategy can't fit all declared
+* functionTypes (the usual case for database-touching middleware attached to
+* actions).
+*
+* Like `FunctionImpl.make`, `databaseSchema` is a type-level carrier only.
+*/
+const make = (_databaseSchema, middlewareSpec, impl) => layerFromImpls(middlewareSpec, Object.fromEntries(MiddlewareSpec.allFunctionTypes.filter((functionType) => middlewareSpec.functionTypes[functionType]).map((functionType) => [functionType, impl])));
+/**
+* Provide a middleware's implementation with one strategy per declared function
+* type. Each entry may use that function type's full ctx-service union—the
+* recommended shape for database-touching middleware that also covers actions:
+* use `DatabaseReader`/`DatabaseWriter` in queries and mutations, and
+* `runQuery` of an internal query in actions.
+*/
+const makeByFunctionType = (_databaseSchema, middlewareSpec, impls) => layerFromImpls(middlewareSpec, impls);
+/**
+* Sugar over {@link make} for the flagship "run something, provide a service"
+* shape: run `effect` before the rest of the chain and provide its result under
+* `tag` (the runtime tag for the middleware's type-level `provides` service,
+* passed explicitly since the spec class only knows it at the type level).
+*/
+const provides = (databaseSchema, middlewareSpec, tag, effect) => make(databaseSchema, middlewareSpec, ((handlerEffect) => Effect.provideServiceEffect(handlerEffect, tag, effect)));
+//#endregion
+export { MiddlewareImpl, MiddlewareImpl_exports, make, makeByFunctionType, provides };
+
+//# sourceMappingURL=MiddlewareImpl.js.map

package/dist/MiddlewareImpl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MiddlewareImpl.js","names":["Registry.Registry","MiddlewareRegistryItem.registryKey","MiddlewareRegistryItem.TypeId"],"sources":["../src/MiddlewareImpl.ts"],"sourcesContent":["import type * as FunctionSpec from \"@confect/core/FunctionSpec\";\nimport type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport * as MiddlewareSpec from \"@confect/core/MiddlewareSpec\";\nimport * as Registry from \"./Registry\";\nimport type { FunctionType } from \"convex/server\";\nimport * as Context from \"effect/Context\";\nimport * as Effect from \"effect/Effect\";\nimport * as Layer from \"effect/Layer\";\nimport * as Ref from \"effect/Ref\";\nimport type * as Auth from \"./Auth\";\nimport type * as DatabaseReader from \"./DatabaseReader\";\nimport type * as DatabaseSchema from \"./DatabaseSchema\";\nimport type * as Handler from \"./Handler\";\nimport type { ExecutionMetadata } from \"./ExecutionMetadata\";\nimport type { RequestMetadata } from \"./RequestMetadata\";\nimport type { TransactionMetadata } from \"./TransactionMetadata\";\nimport type * as MutationRunner from \"./MutationRunner\";\nimport type * as QueryRunner from \"./QueryRunner\";\nimport type { QueryTransactionContext } from \"./QueryTransactionContext\";\nimport type * as Scheduler from \"./Scheduler\";\nimport type { Storage } from \"./Storage\";\nimport type * as StorageReader from \"./StorageReader\";\nimport type * as StorageWriter from \"./StorageWriter\";\nimport * as MiddlewareRegistryItem from \"./MiddlewareRegistryItem\";\nimport { setNestedProperty } from \"./internal/utils\";\n\n/**\n * Marker service produced by providing a middleware's implementation to a\n * group's impl layer. `GroupImpl.make` requires one per middleware attached to\n * the group's spec (via {@link FromGroupSpec}), so `GroupImpl.finalize`'s `RIn =\n * never` bound rejects a group that attaches a middleware but never provides\n * its implementation—the exact mechanism used for `FunctionImpl`s.\n */\nexport interface MiddlewareImpl<MiddlewareKey extends string> {\n  readonly middlewareKey: MiddlewareKey;\n}\n\nexport const MiddlewareImpl = <MiddlewareKey extends string>({\n  middlewareKey,\n}: {\n  middlewareKey: MiddlewareKey;\n}) =>\n  Context.Service<MiddlewareImpl<MiddlewareKey>>(\n    `@confect/server/MiddlewareImpl/${middlewareKey}`,\n  );\n\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  | GroupSpec.MiddlewareSpecs<Group>\n  | FunctionSpec.MiddlewareSpecs<\n      GroupSpec.Functions<Group>\n    > extends infer MiddlewareSpec_\n  ? MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec\n    ? MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>\n    : never\n  : never;\n\nexport type FunctionTypeServices<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  FunctionType_ extends FunctionType,\n> = FunctionType_ extends \"query\"\n  ? Handler.QueryServices<DatabaseSchema_>\n  : FunctionType_ extends \"mutation\"\n    ? Handler.MutationServices<DatabaseSchema_>\n    : FunctionType_ extends \"action\"\n      ? Handler.ActionServices<DatabaseSchema_>\n      : never;\n\n/**\n * The services a single middleware implementation may use: the set-theoretic\n * intersection of the ctx-service unions of the middleware's declared\n * `functionTypes`, so one implementation is valid in every runtime it can be\n * invoked in. Enumerated by hand rather than derived with\n * `Exclude`/`Extract`—several ctx services are structurally typed (e.g. the raw\n * `GenericQueryCtx`/`GenericMutationCtx` tags), so conditional-type set\n * arithmetic over them is not reliable.\n */\nexport type CommonServices<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  FunctionTypes extends FunctionType,\n> = [FunctionTypes] extends [\"query\"]\n  ? Handler.QueryServices<DatabaseSchema_>\n  : [FunctionTypes] extends [\"mutation\"]\n    ? Handler.MutationServices<DatabaseSchema_>\n    : [FunctionTypes] extends [\"action\"]\n      ? Handler.ActionServices<DatabaseSchema_>\n      : [FunctionTypes] extends [\"query\" | \"mutation\"]\n        ? QueryMutationCommonServices<DatabaseSchema_>\n        : [FunctionTypes] extends [\"mutation\" | \"action\"]\n          ? MutationActionCommonServices\n          : AllFunctionTypesCommonServices;\n\ntype QueryMutationCommonServices<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n> =\n  | DatabaseReader.DatabaseReader<DatabaseSchema_>\n  | Auth.Auth\n  | ExecutionMetadata\n  | TransactionMetadata\n  | QueryTransactionContext\n  | Storage\n  | StorageReader.StorageReader\n  | QueryRunner.QueryRunner;\n\ntype MutationActionCommonServices =\n  | Auth.Auth\n  | ExecutionMetadata\n  | RequestMetadata\n  | Scheduler.Scheduler\n  | Storage\n  | StorageReader.StorageReader\n  | StorageWriter.StorageWriter\n  | QueryRunner.QueryRunner\n  | MutationRunner.MutationRunner;\n\ntype AllFunctionTypesCommonServices =\n  | Auth.Auth\n  | ExecutionMetadata\n  | Storage\n  | StorageReader.StorageReader\n  | QueryRunner.QueryRunner;\n\nconst layerFromImpls = <\n  MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec,\n>(\n  middlewareSpec: MiddlewareSpec_,\n  impls: MiddlewareRegistryItem.MiddlewareRegistryItem[\"impls\"],\n): Layer.Layer<MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>> =>\n  Layer.effect(\n    MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>({\n      middlewareKey: middlewareSpec.key,\n    }),\n    Effect.gen(function* () {\n      const registry = yield* Registry.Registry;\n\n      yield* Ref.update(registry, (registryItems) =>\n        setNestedProperty(\n          registryItems,\n          [MiddlewareRegistryItem.registryKey(middlewareSpec.key)],\n          {\n            [MiddlewareRegistryItem.TypeId]: MiddlewareRegistryItem.TypeId,\n            middlewareSpec,\n            impls,\n          } satisfies MiddlewareRegistryItem.MiddlewareRegistryItem,\n        ),\n      );\n\n      return { middlewareKey: middlewareSpec.key };\n    }),\n  );\n\n/**\n * Provide a middleware's implementation with a single strategy shared by every\n * function type the middleware declares. The implementation's environment is\n * bounded by {@link CommonServices}—the intersection of the declared\n * functionTypes' ctx services—plus the middleware's declared `requires`, which\n * middleware running earlier in the chain provide. Reach for\n * {@link makeByFunctionType} when one strategy can't fit all declared\n * functionTypes (the usual case for database-touching middleware attached to\n * actions).\n *\n * Like `FunctionImpl.make`, `databaseSchema` is a type-level carrier only.\n */\nexport const make = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec,\n>(\n  _databaseSchema: DatabaseSchema_,\n  middlewareSpec: MiddlewareSpec_,\n  impl: MiddlewareSpec.MiddlewareImpl<\n    MiddlewareSpec.Provides<MiddlewareSpec_>,\n    MiddlewareSpec.Error<MiddlewareSpec_>,\n    | CommonServices<\n        DatabaseSchema_,\n        MiddlewareSpec.FunctionTypes<MiddlewareSpec_>\n      >\n    | MiddlewareSpec.Requires<MiddlewareSpec_>,\n    MiddlewareSpec.Options<MiddlewareSpec_>\n  >,\n): Layer.Layer<MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>> =>\n  layerFromImpls(\n    middlewareSpec,\n    Object.fromEntries(\n      MiddlewareSpec.allFunctionTypes\n        .filter((functionType) => middlewareSpec.functionTypes[functionType])\n        .map((functionType) => [\n          functionType,\n          impl as MiddlewareSpec.AnyMiddlewareImpl,\n        ]),\n    ),\n  );\n\n/**\n * Provide a middleware's implementation with one strategy per declared function\n * type. Each entry may use that function type's full ctx-service union—the\n * recommended shape for database-touching middleware that also covers actions:\n * use `DatabaseReader`/`DatabaseWriter` in queries and mutations, and\n * `runQuery` of an internal query in actions.\n */\nexport const makeByFunctionType = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec,\n>(\n  _databaseSchema: DatabaseSchema_,\n  middlewareSpec: MiddlewareSpec_,\n  impls: {\n    readonly [\n      FunctionType_ in MiddlewareSpec.FunctionTypes<MiddlewareSpec_>\n    ]: MiddlewareSpec.MiddlewareImpl<\n      MiddlewareSpec.Provides<MiddlewareSpec_>,\n      MiddlewareSpec.Error<MiddlewareSpec_>,\n      | FunctionTypeServices<DatabaseSchema_, FunctionType_>\n      | MiddlewareSpec.Requires<MiddlewareSpec_>,\n      MiddlewareSpec.Options<MiddlewareSpec_>\n    >;\n  },\n): Layer.Layer<MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>> =>\n  layerFromImpls(\n    middlewareSpec,\n    impls as MiddlewareRegistryItem.MiddlewareRegistryItem[\"impls\"],\n  );\n\n/**\n * Sugar over {@link make} for the flagship \"run something, provide a service\"\n * shape: run `effect` before the rest of the chain and provide its result under\n * `tag` (the runtime tag for the middleware's type-level `provides` service,\n * passed explicitly since the spec class only knows it at the type level).\n */\nexport const provides = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec,\n  Shape,\n>(\n  databaseSchema: DatabaseSchema_,\n  middlewareSpec: MiddlewareSpec_,\n  tag: Context.Key<MiddlewareSpec.Provides<MiddlewareSpec_>, Shape>,\n  effect: Effect.Effect<\n    Shape,\n    MiddlewareSpec.Error<MiddlewareSpec_>,\n    | CommonServices<\n        DatabaseSchema_,\n        MiddlewareSpec.FunctionTypes<MiddlewareSpec_>\n      >\n    | MiddlewareSpec.Requires<MiddlewareSpec_>\n  >,\n): Layer.Layer<MiddlewareImpl<MiddlewareSpec.Key<MiddlewareSpec_>>> =>\n  make(databaseSchema, middlewareSpec, ((handlerEffect: Effect.Effect<any>) =>\n    Effect.provideServiceEffect(handlerEffect, tag, effect)) as any);\n"],"mappings":";;;;;;;;;;;;;;;;AAqCA,MAAa,kBAAgD,EAC3D,oBAIA,QAAQ,QACN,kCAAkC,eACpC;AA6EF,MAAM,kBAGJ,gBACA,UAEA,MAAM,OACJ,eAAoD,EAClD,eAAe,eAAe,IAChC,CAAC,GACD,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,OAAOA;CAExB,OAAO,IAAI,OAAO,WAAW,kBAC3B,kBACE,eACA,CAACC,YAAmC,eAAe,GAAG,CAAC,GACvD;GACGC,SAAgCA;EACjC;EACA;CACF,CACF,CACF;CAEA,OAAO,EAAE,eAAe,eAAe,IAAI;AAC7C,CAAC,CACH;;;;;;;;;;;;;AAcF,MAAa,QAIX,iBACA,gBACA,SAWA,eACE,gBACA,OAAO,YACL,eAAe,iBACZ,QAAQ,iBAAiB,eAAe,cAAc,aAAa,CAAC,CACpE,KAAK,iBAAiB,CACrB,cACA,IACF,CAAC,CACL,CACF;;;;;;;;AASF,MAAa,sBAIX,iBACA,gBACA,UAYA,eACE,gBACA,KACF;;;;;;;AAQF,MAAa,YAKX,gBACA,gBACA,KACA,WAUA,KAAK,gBAAgB,kBAAkB,kBACrC,OAAO,qBAAqB,eAAe,KAAK,MAAM,EAAS"}

package/dist/MiddlewareRegistryItem.d.ts

@@ -0,0 +1,12 @@
+import type * as MiddlewareSpec from "@confect/core/MiddlewareSpec";
+import type { FunctionType } from "convex/server";
+export declare const TypeId = "~@confect/server/MiddlewareRegistryItem";
+export type TypeId = typeof TypeId;
+export interface MiddlewareRegistryItem {
+    readonly [TypeId]: TypeId;
+    readonly middlewareSpec: MiddlewareSpec.AnyMiddlewareSpec;
+    readonly impls: Partial<Record<FunctionType, MiddlewareSpec.AnyMiddlewareImpl>>;
+}
+export declare const isMiddlewareRegistryItem: (u: unknown) => u is MiddlewareRegistryItem;
+export declare const registryKey: (middlewareKey: string) => string;
+//# sourceMappingURL=MiddlewareRegistryItem.d.ts.map

package/dist/MiddlewareRegistryItem.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MiddlewareRegistryItem.d.ts","sourceRoot":"","sources":["../src/MiddlewareRegistryItem.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,cAAc,MAAM,8BAA8B,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAGlD,eAAO,MAAM,MAAM,4CAA4C,CAAC;AAChE,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC,iBAAiB,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,OAAO,CACrB,MAAM,CAAC,YAAY,EAAE,cAAc,CAAC,iBAAiB,CAAC,CACvD,CAAC;CACH;AAED,eAAO,MAAM,wBAAwB,MAChC,OAAO,KACT,CAAC,IAAI,sBAA0D,CAAC;AAEnE,eAAO,MAAM,WAAW,kBAAmB,MAAM,KAAG,MACrB,CAAC"}

package/dist/MiddlewareRegistryItem.js

@@ -0,0 +1,15 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import * as Predicate from "effect/Predicate";
+//#region src/MiddlewareRegistryItem.ts
+var MiddlewareRegistryItem_exports = /* @__PURE__ */ __exportAll({
+	TypeId: () => TypeId,
+	isMiddlewareRegistryItem: () => isMiddlewareRegistryItem,
+	registryKey: () => registryKey
+});
+const TypeId = "~@confect/server/MiddlewareRegistryItem";
+const isMiddlewareRegistryItem = (u) => Predicate.hasProperty(u, TypeId);
+const registryKey = (middlewareKey) => `middleware:${middlewareKey}`;
+//#endregion
+export { MiddlewareRegistryItem_exports, TypeId, isMiddlewareRegistryItem, registryKey };
+
+//# sourceMappingURL=MiddlewareRegistryItem.js.map

package/dist/MiddlewareRegistryItem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MiddlewareRegistryItem.js","names":[],"sources":["../src/MiddlewareRegistryItem.ts"],"sourcesContent":["import type * as MiddlewareSpec from \"@confect/core/MiddlewareSpec\";\nimport type { FunctionType } from \"convex/server\";\nimport * as Predicate from \"effect/Predicate\";\n\nexport const TypeId = \"~@confect/server/MiddlewareRegistryItem\";\nexport type TypeId = typeof TypeId;\n\nexport interface MiddlewareRegistryItem {\n  readonly [TypeId]: TypeId;\n  readonly middlewareSpec: MiddlewareSpec.AnyMiddlewareSpec;\n  readonly impls: Partial<\n    Record<FunctionType, MiddlewareSpec.AnyMiddlewareImpl>\n  >;\n}\n\nexport const isMiddlewareRegistryItem = (\n  u: unknown,\n): u is MiddlewareRegistryItem => Predicate.hasProperty(u, TypeId);\n\nexport const registryKey = (middlewareKey: string): string =>\n  `middleware:${middlewareKey}`;\n"],"mappings":";;;;;;;;AAIA,MAAa,SAAS;AAWtB,MAAa,4BACX,MACgC,UAAU,YAAY,GAAG,MAAM;AAEjE,MAAa,eAAe,kBAC1B,cAAc"}

package/dist/MutationCtx.d.ts

@@ -0,0 +1,10 @@
+import type * as IdScope from "@confect/core/IdScope";
+import type { GenericDataModel, GenericMutationCtx } from "convex/server";
+import * as Context from "effect/Context";
+import type * as ComponentCtx from "./ComponentCtx";
+import * as Layer from "effect/Layer";
+export type MutationCtxTag<DataModel extends GenericDataModel, Scope extends IdScope.IdScope = IdScope.App> = Context.Service<MutationCtx<DataModel, Scope>, Scope extends IdScope.App ? GenericMutationCtx<DataModel> : ComponentCtx.Mutation<DataModel, Scope>>;
+export declare const MutationCtx: <DataModel extends GenericDataModel, Scope extends IdScope.IdScope = IdScope.App>() => MutationCtxTag<DataModel, Scope>;
+export type MutationCtx<DataModel extends GenericDataModel, Scope extends IdScope.IdScope = IdScope.App> = Scope extends IdScope.App ? GenericMutationCtx<DataModel> : ComponentCtx.Identifier<"mutation", DataModel, Scope>;
+export declare const layer: <DataModel extends GenericDataModel, Scope extends IdScope.IdScope>(ctx: GenericMutationCtx<DataModel>, scope: Scope) => Layer.Layer<MutationCtx<DataModel, Scope>, never, never>;
+//# sourceMappingURL=MutationCtx.d.ts.map

package/dist/MutationCtx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MutationCtx.d.ts","sourceRoot":"","sources":["../src/MutationCtx.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,OAAO,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAC1E,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,MAAM,MAAM,cAAc,CACxB,SAAS,SAAS,gBAAgB,EAClC,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,IACzC,OAAO,CAAC,OAAO,CACjB,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,EAC7B,KAAK,SAAS,OAAO,CAAC,GAAG,GACrB,kBAAkB,CAAC,SAAS,CAAC,GAC7B,YAAY,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAC5C,CAAC;AAEF,eAAO,MAAM,WAAW,GACtB,SAAS,SAAS,gBAAgB,EAClC,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,OACxC,cAAc,CAAC,SAAS,EAAE,KAAK,CACY,CAAC;AAEjD,MAAM,MAAM,WAAW,CACrB,SAAS,SAAS,gBAAgB,EAClC,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,IACzC,KAAK,SAAS,OAAO,CAAC,GAAG,GACzB,kBAAkB,CAAC,SAAS,CAAC,GAC7B,YAAY,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;AAE1D,eAAO,MAAM,KAAK,GAChB,SAAS,SAAS,gBAAgB,EAClC,KAAK,SAAS,OAAO,CAAC,OAAO,OAExB,kBAAkB,CAAC,SAAS,CAAC,SAC3B,KAAK,6DAUb,CAAC"}

package/dist/MutationCtx.js

@@ -0,0 +1,18 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+//#region src/MutationCtx.ts
+var MutationCtx_exports = /* @__PURE__ */ __exportAll({
+	MutationCtx: () => MutationCtx,
+	layer: () => layer
+});
+const MutationCtx = () => Context.Service("@confect/server/MutationCtx");
+const layer = (ctx, scope) => {
+	const tag = MutationCtx();
+	const { auth: _auth, ...componentCtx } = ctx;
+	return Layer.succeed(tag, scope === "" ? ctx : componentCtx);
+};
+//#endregion
+export { MutationCtx, MutationCtx_exports, layer };
+
+//# sourceMappingURL=MutationCtx.js.map

package/dist/MutationCtx.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MutationCtx.js","names":[],"sources":["../src/MutationCtx.ts"],"sourcesContent":["import type * as IdScope from \"@confect/core/IdScope\";\nimport type { GenericDataModel, GenericMutationCtx } from \"convex/server\";\nimport * as Context from \"effect/Context\";\nimport type * as ComponentCtx from \"./ComponentCtx\";\nimport * as Layer from \"effect/Layer\";\n\nexport type MutationCtxTag<\n  DataModel extends GenericDataModel,\n  Scope extends IdScope.IdScope = IdScope.App,\n> = Context.Service<\n  MutationCtx<DataModel, Scope>,\n  Scope extends IdScope.App\n    ? GenericMutationCtx<DataModel>\n    : ComponentCtx.Mutation<DataModel, Scope>\n>;\n\nexport const MutationCtx = <\n  DataModel extends GenericDataModel,\n  Scope extends IdScope.IdScope = IdScope.App,\n>(): MutationCtxTag<DataModel, Scope> =>\n  Context.Service(\"@confect/server/MutationCtx\");\n\nexport type MutationCtx<\n  DataModel extends GenericDataModel,\n  Scope extends IdScope.IdScope = IdScope.App,\n> = Scope extends IdScope.App\n  ? GenericMutationCtx<DataModel>\n  : ComponentCtx.Identifier<\"mutation\", DataModel, Scope>;\n\nexport const layer = <\n  DataModel extends GenericDataModel,\n  Scope extends IdScope.IdScope,\n>(\n  ctx: GenericMutationCtx<DataModel>,\n  scope: Scope,\n) => {\n  const tag = MutationCtx<DataModel, Scope>();\n  const { auth: _auth, ...componentCtx } = ctx;\n  return Layer.succeed(\n    tag,\n    (scope === \"\" ? ctx : componentCtx) as unknown as Context.Service.Shape<\n      typeof tag\n    >,\n  );\n};\n"],"mappings":";;;;;;;;AAgBA,MAAa,oBAIX,QAAQ,QAAQ,6BAA6B;AAS/C,MAAa,SAIX,KACA,UACG;CACH,MAAM,MAAM,YAA8B;CAC1C,MAAM,EAAE,MAAM,OAAO,GAAG,iBAAiB;CACzC,OAAO,MAAM,QACX,KACC,UAAU,KAAK,MAAM,YAGxB;AACF"}

package/dist/MutationRunner.d.ts

@@ -0,0 +1,27 @@
+import * as Ref from "@confect/core/Ref";
+import type { GenericActionCtx } from "convex/server";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import type * as Schema from "effect/Schema";
+import * as MutationTransactionContext from "./MutationTransactionContext";
+export type Options = MutationTransactionContext.MutationOptions;
+export declare const MutationRunner: Context.Service<{
+    runMutation: {
+        <Mutation extends Ref.AnyMutation>(mutation: Mutation, ...args: [...Ref.OptionalArgs<Mutation>, options?: undefined]): Effect.Effect<Ref.Returns<Mutation>, Ref.Error<Mutation> | Schema.SchemaError>;
+        <Mutation extends Ref.AnyMutation>(mutation: Mutation, args: Ref.Args<Mutation>, options: Options | undefined): Effect.Effect<Ref.Returns<Mutation>, Ref.Error<Mutation> | Schema.SchemaError, MutationTransactionContext.MutationTransactionContext>;
+    };
+}, {
+    runMutation: {
+        <Mutation extends Ref.AnyMutation>(mutation: Mutation, ...args: [...Ref.OptionalArgs<Mutation>, options?: undefined]): Effect.Effect<Ref.Returns<Mutation>, Ref.Error<Mutation> | Schema.SchemaError>;
+        <Mutation extends Ref.AnyMutation>(mutation: Mutation, args: Ref.Args<Mutation>, options: Options | undefined): Effect.Effect<Ref.Returns<Mutation>, Ref.Error<Mutation> | Schema.SchemaError, MutationTransactionContext.MutationTransactionContext>;
+    };
+}>;
+export type MutationRunner = typeof MutationRunner.Identifier;
+export declare const layer: (runMutation: GenericActionCtx<any>["runMutation"]) => Layer.Layer<{
+    runMutation: {
+        <Mutation extends Ref.AnyMutation>(mutation: Mutation, ...args: [...Ref.OptionalArgs<Mutation>, options?: undefined]): Effect.Effect<Ref.Returns<Mutation>, Ref.Error<Mutation> | Schema.SchemaError>;
+        <Mutation extends Ref.AnyMutation>(mutation: Mutation, args: Ref.Args<Mutation>, options: Options | undefined): Effect.Effect<Ref.Returns<Mutation>, Ref.Error<Mutation> | Schema.SchemaError, MutationTransactionContext.MutationTransactionContext>;
+    };
+}, never, never>;
+//# sourceMappingURL=MutationRunner.d.ts.map