@confect/server 9.0.0-next.4 → 9.0.0-next.6

package/dist/GroupImpl.d.ts

@@ -1,4 +1,4 @@
-import { AnyWithProps } from "./Api.js";
+import { AnyWithProps } from "./DatabaseSchema.js";
 import { FromGroupSpec as FromGroupSpec$1 } from "./FunctionImpl.js";
 import { Context, Layer } from "effect";
 import * as GroupSpec from "@confect/core/GroupSpec";
@@ -10,9 +10,8 @@ declare namespace GroupImpl_d_exports {
 declare const TypeId = "@confect/server/GroupImpl";
 type TypeId = typeof TypeId;
 type FinalizationStatus = "Unfinalized" | "Finalized";
-interface GroupImpl<GroupPath_ extends string, FinalizationStatus_ extends FinalizationStatus = "Unfinalized"> {
+interface GroupImpl<FinalizationStatus_ extends FinalizationStatus = "Unfinalized"> {
   readonly [TypeId]: TypeId;
-  readonly groupPath: GroupPath_;
   readonly finalizationStatus: FinalizationStatus_;
   /**
    * Names of every function registered into this group's layer scope by
@@ -22,27 +21,37 @@ interface GroupImpl<GroupPath_ extends string, FinalizationStatus_ extends Final
    */
   readonly registeredFunctionNames: ReadonlyArray<string>;
 }
-interface Any extends GroupImpl<string, FinalizationStatus> {}
+interface Any extends GroupImpl<FinalizationStatus> {}
 declare const isGroupImpl: (u: unknown) => u is Any;
-interface AnyFinalized extends GroupImpl<string, "Finalized"> {}
-interface AnyUnfinalized extends GroupImpl<string, "Unfinalized"> {}
+interface AnyFinalized extends GroupImpl<"Finalized"> {}
+interface AnyUnfinalized extends GroupImpl<"Unfinalized"> {}
 declare const isFinalizedGroupImpl: (u: unknown) => u is AnyFinalized;
 declare const isUnfinalizedGroupImpl: (u: unknown) => u is AnyUnfinalized;
 /**
  * Build the runtime tag for a `GroupImpl` service. The finalization status is
  * embedded in the tag string so that `Unfinalized` and `Finalized` are distinct
  * services at runtime; consumers of a finalized layer (the server's
- * `RegisteredFunctions.buildForGroup` and the CLI's `implValidation`) retrieve
+ * `RegisteredFunctions.buildForGroup` and the CLI's `validateImpl`) retrieve
  * the typed `Finalized` service directly rather than scanning the context.
+ *
+ * The tag is keyed only by finalization status — no group path — because each
+ * group's impl layer is built in its own isolated scope (`buildForGroup` /
+ * `validateImpl` each provide a fresh `Registry`), so at most one `GroupImpl`
+ * service of each status exists per build.
  */
-declare const GroupImpl: <GroupPath_ extends string, FinalizationStatus_ extends FinalizationStatus>({
-  groupPath,
+declare const GroupImpl: <FinalizationStatus_ extends FinalizationStatus>({
   finalizationStatus
 }: {
-  groupPath: GroupPath_;
   finalizationStatus: FinalizationStatus_;
-}) => Context.Tag<GroupImpl<GroupPath_, FinalizationStatus_>, GroupImpl<GroupPath_, FinalizationStatus_>>;
-declare const make: <Api_ extends AnyWithProps, Group extends GroupSpec.AnyWithProps>(api: Api_, group: Group) => Layer.Layer<GroupImpl<string, "Unfinalized">, never, FromGroupSpec$1<Group>>;
+}) => Context.Tag<GroupImpl<FinalizationStatus_>, GroupImpl<FinalizationStatus_>>;
+/**
+ * Begin a group's impl layer. `databaseSchema` and `group` are retained only as
+ * type-level carriers (`group` drives the required `FunctionImpl` services via
+ * `FromGroupSpec<Group>`; `databaseSchema` keeps the impl's dependency on
+ * `_generated/schema` symmetric with `FunctionImpl.make`). Neither is read at
+ * runtime.
+ */
+declare const make: <DatabaseSchema_ extends AnyWithProps, Group extends GroupSpec.AnyWithProps>(_databaseSchema: DatabaseSchema_, _group: Group) => Layer.Layer<GroupImpl<"Unfinalized">, never, FromGroupSpec$1<Group>>;
 /**
  * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults
  * `RIn = never`, so passing a layer that still requires any `FunctionImpl`
@@ -56,7 +65,7 @@ declare const make: <Api_ extends AnyWithProps, Group extends GroupSpec.AnyWithP
  * impl completeness against a `GroupSpec`'s expected functions without
  * having to inspect the `Registry` themselves.
  */
-declare const finalize: <GroupPath_ extends string>(group: Layer.Layer<GroupImpl<GroupPath_, "Unfinalized">>) => Layer.Layer<GroupImpl<GroupPath_, "Finalized">>;
+declare const finalize: (group: Layer.Layer<GroupImpl<"Unfinalized">>) => Layer.Layer<GroupImpl<"Finalized">>;
 type FromGroupSpec<Group extends GroupSpec.AnyWithProps> = FromGroupSpec$1<Group>;
 //#endregion
 export { Any, AnyFinalized, AnyUnfinalized, FinalizationStatus, FromGroupSpec, GroupImpl, GroupImpl_d_exports, TypeId, finalize, isFinalizedGroupImpl, isGroupImpl, isUnfinalizedGroupImpl, make };

package/dist/GroupImpl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GroupImpl.d.ts","names":[],"sources":["../src/GroupImpl.ts"],"mappings":";;;;;;;;;cAiBa,MAAA;AAAA,KACD,MAAA,UAAgB,MAAA;AAAA,KAEhB,kBAAA;AAAA,UAEK,SAAA,wDAEa,kBAAA;EAAA,UAElB,MAAA,GAAS,MAAA;EAAA,SACV,SAAA,EAAW,UAAA;EAAA,SACX,kBAAA,EAAoB,mBAAA;;;;;;;WAOpB,uBAAA,EAAyB,aAAA;AAAA;AAAA,UAGnB,GAAA,SAAY,SAAA,SAAkB,kBAAA;AAAA,cAElC,WAAA,GAAe,CAAA,cAAa,CAAA,IAAK,GAAA;AAAA,UAG7B,YAAA,SAAqB,SAAA;AAAA,UACrB,cAAA,SAAuB,SAAA;AAAA,cAE3B,oBAAA,GAAwB,CAAA,cAAa,CAAA,IAAK,YAAA;AAAA,cAG1C,sBAAA,GAA0B,CAAA,cAAa,CAAA,IAAK,cAAA;;;;AA7BzD;;;;cAuCa,SAAA,0DAEiB,kBAAA;EAC5B,SAAA;EAAA;AAAA;EAIA,SAAA,EAAW,UAAA;EACX,kBAAA,EAAoB,mBAAA;AAAA,MACrB,OAAA,CAAA,GAAA,CAAA,SAAA,CAAA,UAAA,EAAA,mBAAA,GAAA,SAAA,CAAA,UAAA,EAAA,mBAAA;AAAA,cAKY,IAAA,gBACE,YAAA,gBACC,SAAA,CAAU,YAAA,EAExB,GAAA,EAAK,IAAA,EACL,KAAA,EAAO,KAAA,KACN,KAAA,CAAM,KAAA,CACP,SAAA,gCAEA,eAAA,CAA2B,KAAA;;;;;;;;;;;;;;cAuEhB,QAAA,8BACX,KAAA,EAAO,KAAA,CAAM,KAAA,CAAM,SAAA,CAAU,UAAA,sBAC5B,KAAA,CAAM,KAAA,CAAM,SAAA,CAAU,UAAA;AAAA,KAsCb,aAAA,eAA4B,SAAA,CAAU,YAAA,IAChD,eAAA,CAA2B,KAAA"}
+{"version":3,"file":"GroupImpl.d.ts","names":[],"sources":["../src/GroupImpl.ts"],"mappings":";;;;;;;;;cAgBa,MAAA;AAAA,KACD,MAAA,UAAgB,MAAA;AAAA,KAEhB,kBAAA;AAAA,UAEK,SAAA,6BACa,kBAAA;EAAA,UAElB,MAAA,GAAS,MAAA;EAAA,SACV,kBAAA,EAAoB,mBAAA;;;;;;;WAOpB,uBAAA,EAAyB,aAAA;AAAA;AAAA,UAGnB,GAAA,SAAY,SAAA,CAAU,kBAAA;AAAA,cAE1B,WAAA,GAAe,CAAA,cAAa,CAAA,IAAK,GAAA;AAAA,UAG7B,YAAA,SAAqB,SAAA;AAAA,UACrB,cAAA,SAAuB,SAAA;AAAA,cAE3B,oBAAA,GAAwB,CAAA,cAAa,CAAA,IAAK,YAAA;AAAA,cAG1C,sBAAA,GAA0B,CAAA,cAAa,CAAA,IAAK,cAAA;;;;;AA3BzD;;;;;AAEA;;;cAwCa,SAAA,+BAAyC,kBAAA;EAAoB;AAAA;EAGxE,kBAAA,EAAoB,mBAAA;AAAA,MACrB,OAAA,CAAA,GAAA,CAAA,SAAA,CAAA,mBAAA,GAAA,SAAA,CAAA,mBAAA;;;;;;;;cAYY,IAAA,2BACa,YAAA,gBACV,SAAA,CAAU,YAAA,EAExB,eAAA,EAAiB,eAAA,EACjB,MAAA,EAAQ,KAAA,KACP,KAAA,CAAM,KAAA,CACP,SAAA,wBAEA,eAAA,CAA2B,KAAA;;;;;;;AAnD7B;;;;;AAEA;;cAqGa,QAAA,GACX,KAAA,EAAO,KAAA,CAAM,KAAA,CAAM,SAAA,qBAClB,KAAA,CAAM,KAAA,CAAM,SAAA;AAAA,KA6BH,aAAA,eAA4B,SAAA,CAAU,YAAA,IAChD,eAAA,CAA2B,KAAA"}

package/dist/GroupImpl.js

@@ -1,6 +1,5 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
-import { resolveGroupPathUnsafe } from "./Api.js";
-import { Array, Context, Effect, Layer, Option, Predicate, Record, Ref, String, pipe } from "effect";
+import { Array, Context, Effect, Layer, Option, Predicate, Record, Ref, pipe } from "effect";
 import * as Registry from "@confect/core/Registry";
 
 //#region src/GroupImpl.ts
@@ -21,28 +20,35 @@ const isUnfinalizedGroupImpl = (u) => isGroupImpl(u) && u.finalizationStatus ===
 * Build the runtime tag for a `GroupImpl` service. The finalization status is
 * embedded in the tag string so that `Unfinalized` and `Finalized` are distinct
 * services at runtime; consumers of a finalized layer (the server's
-* `RegisteredFunctions.buildForGroup` and the CLI's `implValidation`) retrieve
+* `RegisteredFunctions.buildForGroup` and the CLI's `validateImpl`) retrieve
 * the typed `Finalized` service directly rather than scanning the context.
+*
+* The tag is keyed only by finalization status — no group path — because each
+* group's impl layer is built in its own isolated scope (`buildForGroup` /
+* `validateImpl` each provide a fresh `Registry`), so at most one `GroupImpl`
+* service of each status exists per build.
+*/
+const GroupImpl = ({ finalizationStatus }) => Context.GenericTag(`@confect/server/GroupImpl/${finalizationStatus}`);
+/**
+* Begin a group's impl layer. `databaseSchema` and `group` are retained only as
+* type-level carriers (`group` drives the required `FunctionImpl` services via
+* `FromGroupSpec<Group>`; `databaseSchema` keeps the impl's dependency on
+* `_generated/schema` symmetric with `FunctionImpl.make`). Neither is read at
+* runtime.
 */
-const GroupImpl = ({ groupPath, finalizationStatus }) => Context.GenericTag(`@confect/server/GroupImpl/${finalizationStatus}/${groupPath}`);
-const make = (api, group) => {
-	const groupPath = resolveGroupPathUnsafe(api, group);
-	return Layer.succeed(GroupImpl({
-		groupPath,
-		finalizationStatus: "Unfinalized"
-	}), {
-		[TypeId]: TypeId,
-		groupPath,
-		finalizationStatus: "Unfinalized",
-		registeredFunctionNames: []
-	});
-};
+const make = (_databaseSchema, _group) => Layer.succeed(GroupImpl({ finalizationStatus: "Unfinalized" }), {
+	[TypeId]: TypeId,
+	finalizationStatus: "Unfinalized",
+	registeredFunctionNames: []
+});
 const isFunctionShaped = (value) => Predicate.isRecord(value) && "functionSpec" in value;
 /**
-* Walk a `RegistryItems` tree to the entries at `groupPath` and return the
-* names of the function-shaped leaves directly underneath.
+* Return the names of the function-shaped entries in a group's (flat,
+* isolated) registry. `FunctionImpl.make` registers each function under a
+* single-segment key, so the registry built for one group contains exactly
+* that group's functions at the top level.
 */
-const collectFunctionNamesAtPath = (items, groupPath) => pipe(String.split(groupPath, "."), Array.reduce(Option.some(items), (acc, segment) => acc.pipe(Option.filter(Predicate.isRecord), Option.flatMap((node) => segment in node ? Option.some(node[segment]) : Option.none()))), Option.filter(Predicate.isRecord), Option.map(Record.toEntries), Option.map(Array.filterMap(([name, value]) => isFunctionShaped(value) ? Option.some(name) : Option.none())), Option.getOrElse(() => []));
+const collectFunctionNames = (items) => pipe(Record.toEntries(items), Array.filterMap(([name, value]) => isFunctionShaped(value) ? Option.some(name) : Option.none()));
 const findUnfinalizedGroupImpl = (context) => Array.findFirst(context.unsafeMap.values(), isUnfinalizedGroupImpl);
 /**
 * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults
@@ -59,22 +65,15 @@ const findUnfinalizedGroupImpl = (context) => Array.findFirst(context.unsafeMap.
 */
 const finalize = (group) => Layer.flatMap(group, (context) => findUnfinalizedGroupImpl(context).pipe(Option.match({
 	onNone: () => Layer.die(/* @__PURE__ */ new Error("GroupImpl.finalize: no Unfinalized GroupImpl service was found in the layer's context.")),
-	onSome: (unfinalized) => {
-		const groupPath = unfinalized.groupPath;
-		return Layer.effect(GroupImpl({
-			groupPath,
-			finalizationStatus: "Finalized"
-		}), Effect.gen(function* () {
-			const registry = yield* Registry.Registry;
-			const items = yield* Ref.get(registry);
-			return {
-				[TypeId]: TypeId,
-				groupPath,
-				finalizationStatus: "Finalized",
-				registeredFunctionNames: collectFunctionNamesAtPath(items, groupPath)
-			};
-		}));
-	}
+	onSome: () => Layer.effect(GroupImpl({ finalizationStatus: "Finalized" }), Effect.gen(function* () {
+		const registry = yield* Registry.Registry;
+		const items = yield* Ref.get(registry);
+		return {
+			[TypeId]: TypeId,
+			finalizationStatus: "Finalized",
+			registeredFunctionNames: collectFunctionNames(items)
+		};
+	}))
 })));
 
 //#endregion

package/dist/GroupImpl.js.map

@@ -1 +1 @@
-{"version":3,"file":"GroupImpl.js","names":["Api.resolveGroupPathUnsafe"],"sources":["../src/GroupImpl.ts"],"sourcesContent":["import type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport * as Registry from \"@confect/core/Registry\";\nimport {\n  Array,\n  Context,\n  Effect,\n  Layer,\n  Option,\n  pipe,\n  Predicate,\n  Record,\n  Ref,\n  String,\n} from \"effect\";\nimport * as Api from \"./Api\";\nimport type * as FunctionImpl from \"./FunctionImpl\";\n\nexport const TypeId = \"@confect/server/GroupImpl\";\nexport type TypeId = typeof TypeId;\n\nexport type FinalizationStatus = \"Unfinalized\" | \"Finalized\";\n\nexport interface GroupImpl<\n  GroupPath_ extends string,\n  FinalizationStatus_ extends FinalizationStatus = \"Unfinalized\",\n> {\n  readonly [TypeId]: TypeId;\n  readonly groupPath: GroupPath_;\n  readonly finalizationStatus: FinalizationStatus_;\n  /**\n   * Names of every function registered into this group's layer scope by\n   * `FunctionImpl.make`. Authoritative only when `finalizationStatus` is\n   * `\"Finalized\"`; the `\"Unfinalized\"` value is set to `[]` at `make`-time\n   * since the list is only known once `finalize` snapshots the registry.\n   */\n  readonly registeredFunctionNames: ReadonlyArray<string>;\n}\n\nexport interface Any extends GroupImpl<string, FinalizationStatus> {}\n\nexport const isGroupImpl = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface AnyFinalized extends GroupImpl<string, \"Finalized\"> {}\nexport interface AnyUnfinalized extends GroupImpl<string, \"Unfinalized\"> {}\n\nexport const isFinalizedGroupImpl = (u: unknown): u is AnyFinalized =>\n  isGroupImpl(u) && u.finalizationStatus === \"Finalized\";\n\nexport const isUnfinalizedGroupImpl = (u: unknown): u is AnyUnfinalized =>\n  isGroupImpl(u) && u.finalizationStatus === \"Unfinalized\";\n\n/**\n * Build the runtime tag for a `GroupImpl` service. The finalization status is\n * embedded in the tag string so that `Unfinalized` and `Finalized` are distinct\n * services at runtime; consumers of a finalized layer (the server's\n * `RegisteredFunctions.buildForGroup` and the CLI's `implValidation`) retrieve\n * the typed `Finalized` service directly rather than scanning the context.\n */\nexport const GroupImpl = <\n  GroupPath_ extends string,\n  FinalizationStatus_ extends FinalizationStatus,\n>({\n  groupPath,\n  finalizationStatus,\n}: {\n  groupPath: GroupPath_;\n  finalizationStatus: FinalizationStatus_;\n}) =>\n  Context.GenericTag<GroupImpl<GroupPath_, FinalizationStatus_>>(\n    `@confect/server/GroupImpl/${finalizationStatus}/${groupPath}`,\n  );\n\nexport const make = <\n  Api_ extends Api.AnyWithProps,\n  Group extends GroupSpec.AnyWithProps,\n>(\n  api: Api_,\n  group: Group,\n): Layer.Layer<\n  GroupImpl<string, \"Unfinalized\">,\n  never,\n  FunctionImpl.FromGroupSpec<Group>\n> => {\n  const groupPath = Api.resolveGroupPathUnsafe(api, group);\n\n  return Layer.succeed(\n    GroupImpl<string, \"Unfinalized\">({\n      groupPath,\n      finalizationStatus: \"Unfinalized\",\n    }),\n    {\n      [TypeId]: TypeId,\n      groupPath,\n      finalizationStatus: \"Unfinalized\" as const,\n      registeredFunctionNames: [],\n    },\n  ) as Layer.Layer<\n    GroupImpl<string, \"Unfinalized\">,\n    never,\n    FunctionImpl.FromGroupSpec<Group>\n  >;\n};\n\nconst isFunctionShaped = (value: unknown): boolean =>\n  Predicate.isRecord(value) && \"functionSpec\" in value;\n\n/**\n * Walk a `RegistryItems` tree to the entries at `groupPath` and return the\n * names of the function-shaped leaves directly underneath.\n */\nconst collectFunctionNamesAtPath = (\n  items: Registry.RegistryItems,\n  groupPath: string,\n): ReadonlyArray<string> =>\n  pipe(\n    String.split(groupPath, \".\"),\n    Array.reduce(Option.some<unknown>(items), (acc, segment) =>\n      acc.pipe(\n        Option.filter(Predicate.isRecord),\n        Option.flatMap((node) =>\n          segment in node ? Option.some(node[segment]) : Option.none(),\n        ),\n      ),\n    ),\n    Option.filter(Predicate.isRecord),\n    Option.map(Record.toEntries),\n    Option.map(\n      Array.filterMap(([name, value]) =>\n        isFunctionShaped(value) ? Option.some(name) : Option.none(),\n      ),\n    ),\n    Option.getOrElse((): ReadonlyArray<string> => []),\n  );\n\nconst findUnfinalizedGroupImpl = <S>(\n  context: Context.Context<S>,\n): Option.Option<AnyUnfinalized> =>\n  Array.findFirst(context.unsafeMap.values(), isUnfinalizedGroupImpl);\n\n/**\n * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults\n * `RIn = never`, so passing a layer that still requires any `FunctionImpl`\n * service produces a type error at the impl author's site. The codegen\n * boundary requires the resulting `\"Finalized\"` brand, so omitting this call\n * is also rejected downstream.\n *\n * As a side effect of finalization, the names of every `FunctionImpl` that\n * registered into this group's scope are snapshotted onto the produced\n * service value's `registeredFunctionNames` field, so consumers can verify\n * impl completeness against a `GroupSpec`'s expected functions without\n * having to inspect the `Registry` themselves.\n */\nexport const finalize = <GroupPath_ extends string>(\n  group: Layer.Layer<GroupImpl<GroupPath_, \"Unfinalized\">>,\n): Layer.Layer<GroupImpl<GroupPath_, \"Finalized\">> =>\n  Layer.flatMap(\n    group,\n    (context): Layer.Layer<GroupImpl<GroupPath_, \"Finalized\">> =>\n      findUnfinalizedGroupImpl(context).pipe(\n        Option.match({\n          onNone: () =>\n            Layer.die(\n              new Error(\n                \"GroupImpl.finalize: no Unfinalized GroupImpl service was found in the layer's context.\",\n              ),\n            ),\n          onSome: (unfinalized) => {\n            const groupPath = unfinalized.groupPath as GroupPath_;\n            return Layer.effect(\n              GroupImpl<GroupPath_, \"Finalized\">({\n                groupPath,\n                finalizationStatus: \"Finalized\",\n              }),\n              Effect.gen(function* () {\n                const registry = yield* Registry.Registry;\n                const items = yield* Ref.get(registry);\n                return {\n                  [TypeId]: TypeId,\n                  groupPath,\n                  finalizationStatus: \"Finalized\" as const,\n                  registeredFunctionNames: collectFunctionNamesAtPath(\n                    items,\n                    groupPath,\n                  ),\n                };\n              }),\n            );\n          },\n        }),\n      ),\n  );\n\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  FunctionImpl.FromGroupSpec<Group>;\n"],"mappings":";;;;;;;;;;;;;;;AAiBA,MAAa,SAAS;AAuBtB,MAAa,eAAe,MAC1B,UAAU,YAAY,GAAG,OAAO;AAKlC,MAAa,wBAAwB,MACnC,YAAY,EAAE,IAAI,EAAE,uBAAuB;AAE7C,MAAa,0BAA0B,MACrC,YAAY,EAAE,IAAI,EAAE,uBAAuB;;;;;;;;AAS7C,MAAa,aAGX,EACA,WACA,yBAKA,QAAQ,WACN,6BAA6B,mBAAmB,GAAG,YACpD;AAEH,MAAa,QAIX,KACA,UAKG;CACH,MAAM,YAAYA,uBAA2B,KAAK,MAAM;AAExD,QAAO,MAAM,QACX,UAAiC;EAC/B;EACA,oBAAoB;EACrB,CAAC,EACF;GACG,SAAS;EACV;EACA,oBAAoB;EACpB,yBAAyB,EAAE;EAC5B,CACF;;AAOH,MAAM,oBAAoB,UACxB,UAAU,SAAS,MAAM,IAAI,kBAAkB;;;;;AAMjD,MAAM,8BACJ,OACA,cAEA,KACE,OAAO,MAAM,WAAW,IAAI,EAC5B,MAAM,OAAO,OAAO,KAAc,MAAM,GAAG,KAAK,YAC9C,IAAI,KACF,OAAO,OAAO,UAAU,SAAS,EACjC,OAAO,SAAS,SACd,WAAW,OAAO,OAAO,KAAK,KAAK,SAAS,GAAG,OAAO,MAAM,CAC7D,CACF,CACF,EACD,OAAO,OAAO,UAAU,SAAS,EACjC,OAAO,IAAI,OAAO,UAAU,EAC5B,OAAO,IACL,MAAM,WAAW,CAAC,MAAM,WACtB,iBAAiB,MAAM,GAAG,OAAO,KAAK,KAAK,GAAG,OAAO,MAAM,CAC5D,CACF,EACD,OAAO,gBAAuC,EAAE,CAAC,CAClD;AAEH,MAAM,4BACJ,YAEA,MAAM,UAAU,QAAQ,UAAU,QAAQ,EAAE,uBAAuB;;;;;;;;;;;;;;AAerE,MAAa,YACX,UAEA,MAAM,QACJ,QACC,YACC,yBAAyB,QAAQ,CAAC,KAChC,OAAO,MAAM;CACX,cACE,MAAM,oBACJ,IAAI,MACF,yFACD,CACF;CACH,SAAS,gBAAgB;EACvB,MAAM,YAAY,YAAY;AAC9B,SAAO,MAAM,OACX,UAAmC;GACjC;GACA,oBAAoB;GACrB,CAAC,EACF,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,OAAO,SAAS;GACjC,MAAM,QAAQ,OAAO,IAAI,IAAI,SAAS;AACtC,UAAO;KACJ,SAAS;IACV;IACA,oBAAoB;IACpB,yBAAyB,2BACvB,OACA,UACD;IACF;IACD,CACH;;CAEJ,CAAC,CACH,CACJ"}
+{"version":3,"file":"GroupImpl.js","names":[],"sources":["../src/GroupImpl.ts"],"sourcesContent":["import type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport * as Registry from \"@confect/core/Registry\";\nimport {\n  Array,\n  Context,\n  Effect,\n  Layer,\n  Option,\n  pipe,\n  Predicate,\n  Record,\n  Ref,\n} from \"effect\";\nimport type * as DatabaseSchema from \"./DatabaseSchema\";\nimport type * as FunctionImpl from \"./FunctionImpl\";\n\nexport const TypeId = \"@confect/server/GroupImpl\";\nexport type TypeId = typeof TypeId;\n\nexport type FinalizationStatus = \"Unfinalized\" | \"Finalized\";\n\nexport interface GroupImpl<\n  FinalizationStatus_ extends FinalizationStatus = \"Unfinalized\",\n> {\n  readonly [TypeId]: TypeId;\n  readonly finalizationStatus: FinalizationStatus_;\n  /**\n   * Names of every function registered into this group's layer scope by\n   * `FunctionImpl.make`. Authoritative only when `finalizationStatus` is\n   * `\"Finalized\"`; the `\"Unfinalized\"` value is set to `[]` at `make`-time\n   * since the list is only known once `finalize` snapshots the registry.\n   */\n  readonly registeredFunctionNames: ReadonlyArray<string>;\n}\n\nexport interface Any extends GroupImpl<FinalizationStatus> {}\n\nexport const isGroupImpl = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface AnyFinalized extends GroupImpl<\"Finalized\"> {}\nexport interface AnyUnfinalized extends GroupImpl<\"Unfinalized\"> {}\n\nexport const isFinalizedGroupImpl = (u: unknown): u is AnyFinalized =>\n  isGroupImpl(u) && u.finalizationStatus === \"Finalized\";\n\nexport const isUnfinalizedGroupImpl = (u: unknown): u is AnyUnfinalized =>\n  isGroupImpl(u) && u.finalizationStatus === \"Unfinalized\";\n\n/**\n * Build the runtime tag for a `GroupImpl` service. The finalization status is\n * embedded in the tag string so that `Unfinalized` and `Finalized` are distinct\n * services at runtime; consumers of a finalized layer (the server's\n * `RegisteredFunctions.buildForGroup` and the CLI's `validateImpl`) retrieve\n * the typed `Finalized` service directly rather than scanning the context.\n *\n * The tag is keyed only by finalization status — no group path — because each\n * group's impl layer is built in its own isolated scope (`buildForGroup` /\n * `validateImpl` each provide a fresh `Registry`), so at most one `GroupImpl`\n * service of each status exists per build.\n */\nexport const GroupImpl = <FinalizationStatus_ extends FinalizationStatus>({\n  finalizationStatus,\n}: {\n  finalizationStatus: FinalizationStatus_;\n}) =>\n  Context.GenericTag<GroupImpl<FinalizationStatus_>>(\n    `@confect/server/GroupImpl/${finalizationStatus}`,\n  );\n\n/**\n * Begin a group's impl layer. `databaseSchema` and `group` are retained only as\n * type-level carriers (`group` drives the required `FunctionImpl` services via\n * `FromGroupSpec<Group>`; `databaseSchema` keeps the impl's dependency on\n * `_generated/schema` symmetric with `FunctionImpl.make`). Neither is read at\n * runtime.\n */\nexport const make = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Group extends GroupSpec.AnyWithProps,\n>(\n  _databaseSchema: DatabaseSchema_,\n  _group: Group,\n): Layer.Layer<\n  GroupImpl<\"Unfinalized\">,\n  never,\n  FunctionImpl.FromGroupSpec<Group>\n> =>\n  Layer.succeed(\n    GroupImpl<\"Unfinalized\">({ finalizationStatus: \"Unfinalized\" }),\n    {\n      [TypeId]: TypeId,\n      finalizationStatus: \"Unfinalized\" as const,\n      registeredFunctionNames: [],\n    },\n  ) as Layer.Layer<\n    GroupImpl<\"Unfinalized\">,\n    never,\n    FunctionImpl.FromGroupSpec<Group>\n  >;\n\nconst isFunctionShaped = (value: unknown): boolean =>\n  Predicate.isRecord(value) && \"functionSpec\" in value;\n\n/**\n * Return the names of the function-shaped entries in a group's (flat,\n * isolated) registry. `FunctionImpl.make` registers each function under a\n * single-segment key, so the registry built for one group contains exactly\n * that group's functions at the top level.\n */\nconst collectFunctionNames = (\n  items: Registry.RegistryItems,\n): ReadonlyArray<string> =>\n  pipe(\n    Record.toEntries(items),\n    Array.filterMap(([name, value]) =>\n      isFunctionShaped(value) ? Option.some(name) : Option.none(),\n    ),\n  );\n\nconst findUnfinalizedGroupImpl = <S>(\n  context: Context.Context<S>,\n): Option.Option<AnyUnfinalized> =>\n  Array.findFirst(context.unsafeMap.values(), isUnfinalizedGroupImpl);\n\n/**\n * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults\n * `RIn = never`, so passing a layer that still requires any `FunctionImpl`\n * service produces a type error at the impl author's site. The codegen\n * boundary requires the resulting `\"Finalized\"` brand, so omitting this call\n * is also rejected downstream.\n *\n * As a side effect of finalization, the names of every `FunctionImpl` that\n * registered into this group's scope are snapshotted onto the produced\n * service value's `registeredFunctionNames` field, so consumers can verify\n * impl completeness against a `GroupSpec`'s expected functions without\n * having to inspect the `Registry` themselves.\n */\nexport const finalize = (\n  group: Layer.Layer<GroupImpl<\"Unfinalized\">>,\n): Layer.Layer<GroupImpl<\"Finalized\">> =>\n  Layer.flatMap(\n    group,\n    (context): Layer.Layer<GroupImpl<\"Finalized\">> =>\n      findUnfinalizedGroupImpl(context).pipe(\n        Option.match({\n          onNone: () =>\n            Layer.die(\n              new Error(\n                \"GroupImpl.finalize: no Unfinalized GroupImpl service was found in the layer's context.\",\n              ),\n            ),\n          onSome: () =>\n            Layer.effect(\n              GroupImpl<\"Finalized\">({ finalizationStatus: \"Finalized\" }),\n              Effect.gen(function* () {\n                const registry = yield* Registry.Registry;\n                const items = yield* Ref.get(registry);\n                return {\n                  [TypeId]: TypeId,\n                  finalizationStatus: \"Finalized\" as const,\n                  registeredFunctionNames: collectFunctionNames(items),\n                };\n              }),\n            ),\n        }),\n      ),\n  );\n\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  FunctionImpl.FromGroupSpec<Group>;\n"],"mappings":";;;;;;;;;;;;;;AAgBA,MAAa,SAAS;AAqBtB,MAAa,eAAe,MAC1B,UAAU,YAAY,GAAG,OAAO;AAKlC,MAAa,wBAAwB,MACnC,YAAY,EAAE,IAAI,EAAE,uBAAuB;AAE7C,MAAa,0BAA0B,MACrC,YAAY,EAAE,IAAI,EAAE,uBAAuB;;;;;;;;;;;;;AAc7C,MAAa,aAA6D,EACxE,yBAIA,QAAQ,WACN,6BAA6B,qBAC9B;;;;;;;;AASH,MAAa,QAIX,iBACA,WAMA,MAAM,QACJ,UAAyB,EAAE,oBAAoB,eAAe,CAAC,EAC/D;EACG,SAAS;CACV,oBAAoB;CACpB,yBAAyB,EAAE;CAC5B,CACF;AAMH,MAAM,oBAAoB,UACxB,UAAU,SAAS,MAAM,IAAI,kBAAkB;;;;;;;AAQjD,MAAM,wBACJ,UAEA,KACE,OAAO,UAAU,MAAM,EACvB,MAAM,WAAW,CAAC,MAAM,WACtB,iBAAiB,MAAM,GAAG,OAAO,KAAK,KAAK,GAAG,OAAO,MAAM,CAC5D,CACF;AAEH,MAAM,4BACJ,YAEA,MAAM,UAAU,QAAQ,UAAU,QAAQ,EAAE,uBAAuB;;;;;;;;;;;;;;AAerE,MAAa,YACX,UAEA,MAAM,QACJ,QACC,YACC,yBAAyB,QAAQ,CAAC,KAChC,OAAO,MAAM;CACX,cACE,MAAM,oBACJ,IAAI,MACF,yFACD,CACF;CACH,cACE,MAAM,OACJ,UAAuB,EAAE,oBAAoB,aAAa,CAAC,EAC3D,OAAO,IAAI,aAAa;EACtB,MAAM,WAAW,OAAO,SAAS;EACjC,MAAM,QAAQ,OAAO,IAAI,IAAI,SAAS;AACtC,SAAO;IACJ,SAAS;GACV,oBAAoB;GACpB,yBAAyB,qBAAqB,MAAM;GACrD;GACD,CACH;CACJ,CAAC,CACH,CACJ"}

package/dist/Handler.d.ts

@@ -1,7 +1,7 @@
 import { ActionCtx } from "./ActionCtx.js";
 import { ActionRunner } from "./ActionRunner.js";
-import { AnyWithProps } from "./DatabaseSchema.js";
 import { Auth } from "./Auth.js";
+import { AnyWithProps } from "./DatabaseSchema.js";
 import { FromSchema, ToConvex } from "./DataModel.js";
 import { DatabaseReader } from "./DatabaseReader.js";
 import { DatabaseWriter } from "./DatabaseWriter.js";

package/dist/QueryInitializer.d.ts

@@ -24,7 +24,7 @@ type QueryInitializer<DataModel_ extends AnyWithProps$2, TableName extends Table
   readonly search: <IndexName extends keyof SearchIndexes<_ConvexTableInfo>>(indexName: IndexName, searchFilter: (q: SearchFilterBuilder<DocumentByInfo<_ConvexTableInfo>, NamedSearchIndex<_ConvexTableInfo, IndexName>>) => SearchFilter) => OrderedQuery$1<_TableInfo, TableName>;
 };
 declare const make: <Tables extends AnyWithProps, TableName extends Name<Tables>>(tableName: TableName, convexDatabaseReader: BaseDatabaseReader<ToConvex<FromTables<Tables>>>, table: WithName<Tables, TableName>) => QueryInitializer<DataModel<Tables>, TableName, TableInfoWithName<DataModel<Tables>, TableName>, TableInfoWithName_<DataModel<Tables>, TableName>>;
-declare const getById: <Tables extends AnyWithProps, TableName extends Name<Tables>>(tableName: TableName, convexDatabaseReader: BaseDatabaseReader<ToConvex<FromTables<Tables>>>, table: WithName<Tables, TableName>) => (id: GenericId<TableName>) => Effect.Effect<any, GetByIdFailure | DocumentDecodeError, never>;
+declare const getById: <Tables extends AnyWithProps, TableName extends Name<Tables>>(tableName: TableName, convexDatabaseReader: BaseDatabaseReader<ToConvex<FromTables<Tables>>>, table: WithName<Tables, TableName>) => (id: GenericId<TableName>) => Effect.Effect<any, DocumentDecodeError | GetByIdFailure, never>;
 declare const GetByIdFailure_base: Schema.TaggedErrorClass<GetByIdFailure, "GetByIdFailure", {
   readonly _tag: Schema.tag<"GetByIdFailure">;
 } & {

package/dist/QueryInitializer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"QueryInitializer.d.ts","names":[],"sources":["../src/QueryInitializer.ts"],"mappings":";;;;;;;;;;;;;;KA6BK,gBAAA,oBACgB,cAAA,oBACD,UAAA,CAAqB,UAAA,4BACd,gBAAA,qBACN,cAAA;EAAA,SAEV,GAAA;IAAA,CAEL,EAAA,EAAI,SAAA,CAAU,SAAA,IACb,MAAA,CAAO,MAAA,CACR,UAAA,cACA,mBAAA,GAA+B,cAAA;IAAA,yBAER,OAAA,CAAQ,gBAAA,GAC/B,SAAA,EAAW,SAAA,KACR,gBAAA,EAAkB,oBAAA,CACnB,QAAA,CAAmB,UAAA,GACnB,SAAA,EACA,OAAA,CAAQ,gBAAA,EAAkB,SAAA,KAE3B,MAAA,CAAO,MAAA,CACR,UAAA,cACA,mBAAA,GAA+B,iBAAA;EAAA;EAAA,SAG1B,KAAA;IAAA,yBACkB,OAAA,CAAQ,gBAAA,GAC/B,SAAA,EAAW,SAAA,EACX,UAAA,IACE,CAAA,EAAG,iBAAA,CACD,UAAA,oBACA,UAAA,CAAW,gBAAA,EAAkB,SAAA,OAE5B,UAAA,EACL,KAAA,oBACC,cAAA,CAA0B,UAAA,EAAY,SAAA;IAAA,yBAChB,OAAA,CAAQ,gBAAA,GAC/B,SAAA,EAAW,SAAA,EACX,KAAA,oBACC,cAAA,CAA0B,UAAA,EAAY,SAAA;EAAA;EAAA,SAElC,MAAA,2BAAiC,aAAA,CAAc,gBAAA,GACtD,SAAA,EAAW,SAAA,EACX,YAAA,GACE,CAAA,EAAG,mBAAA,CACD,cAAA,CAAe,gBAAA,GACf,gBAAA,CAAiB,gBAAA,EAAkB,SAAA,OAElC,YAAA,KACF,cAAA,CAA0B,UAAA,EAAY,SAAA;AAAA;AAAA,cAGhC,IAAA,kBACI,YAAA,oBACG,IAAA,CAAW,MAAA,GAE7B,SAAA,EAAW,SAAA,EACX,oBAAA,EAAsB,kBAAA,CACpB,QAAA,CAAmB,UAAA,CAAqB,MAAA,KAE1C,KAAA,EAAO,QAAA,CAAe,MAAA,EAAQ,SAAA,MAC7B,gBAAA,CACD,SAAA,CAAoB,MAAA,GACpB,SAAA,EACA,iBAAA,CAA4B,SAAA,CAAoB,MAAA,GAAS,SAAA,GACzD,kBAAA,CAA6B,SAAA,CAAoB,MAAA,GAAS,SAAA;AAAA,cA2K/C,OAAA,kBACK,YAAA,oBAAsC,IAAA,CAAW,MAAA,GAC/D,SAAA,EAAW,SAAA,EACX,oBAAA,EAAsB,kBAAA,CACpB,QAAA,CAAmB,UAAA,CAAqB,MAAA,KAE1C,KAAA,EAAO,QAAA,CAAe,MAAA,EAAQ,SAAA,OAE/B,EAAA,EAAI,SAAA,CAAU,SAAA,MAAU,MAAA,CAAA,MAAA,MAAA,cAAA,GAAA,mBAAA;AAAA,cAOrB,mBAAA;;;;;;cAEO,cAAA,SAAuB,mBAAA;EAAA,IAOrB,OAAA,CAAA;AAAA;AAAA,cAOd,sBAAA;;;;;;;cAEY,iBAAA,SAA0B,sBAAA;EAAA,IAQxB,OAAA,CAAA;AAAA"}
+{"version":3,"file":"QueryInitializer.d.ts","names":[],"sources":["../src/QueryInitializer.ts"],"mappings":";;;;;;;;;;;;;;KA6BK,gBAAA,oBACgB,cAAA,oBACD,UAAA,CAAqB,UAAA,4BACd,gBAAA,qBACN,cAAA;EAAA,SAEV,GAAA;IAAA,CAEL,EAAA,EAAI,SAAA,CAAU,SAAA,IACb,MAAA,CAAO,MAAA,CACR,UAAA,cACA,mBAAA,GAA+B,cAAA;IAAA,yBAER,OAAA,CAAQ,gBAAA,GAC/B,SAAA,EAAW,SAAA,KACR,gBAAA,EAAkB,oBAAA,CACnB,QAAA,CAAmB,UAAA,GACnB,SAAA,EACA,OAAA,CAAQ,gBAAA,EAAkB,SAAA,KAE3B,MAAA,CAAO,MAAA,CACR,UAAA,cACA,mBAAA,GAA+B,iBAAA;EAAA;EAAA,SAG1B,KAAA;IAAA,yBACkB,OAAA,CAAQ,gBAAA,GAC/B,SAAA,EAAW,SAAA,EACX,UAAA,IACE,CAAA,EAAG,iBAAA,CACD,UAAA,oBACA,UAAA,CAAW,gBAAA,EAAkB,SAAA,OAE5B,UAAA,EACL,KAAA,oBACC,cAAA,CAA0B,UAAA,EAAY,SAAA;IAAA,yBAChB,OAAA,CAAQ,gBAAA,GAC/B,SAAA,EAAW,SAAA,EACX,KAAA,oBACC,cAAA,CAA0B,UAAA,EAAY,SAAA;EAAA;EAAA,SAElC,MAAA,2BAAiC,aAAA,CAAc,gBAAA,GACtD,SAAA,EAAW,SAAA,EACX,YAAA,GACE,CAAA,EAAG,mBAAA,CACD,cAAA,CAAe,gBAAA,GACf,gBAAA,CAAiB,gBAAA,EAAkB,SAAA,OAElC,YAAA,KACF,cAAA,CAA0B,UAAA,EAAY,SAAA;AAAA;AAAA,cAGhC,IAAA,kBACI,YAAA,oBACG,IAAA,CAAW,MAAA,GAE7B,SAAA,EAAW,SAAA,EACX,oBAAA,EAAsB,kBAAA,CACpB,QAAA,CAAmB,UAAA,CAAqB,MAAA,KAE1C,KAAA,EAAO,QAAA,CAAe,MAAA,EAAQ,SAAA,MAC7B,gBAAA,CACD,SAAA,CAAoB,MAAA,GACpB,SAAA,EACA,iBAAA,CAA4B,SAAA,CAAoB,MAAA,GAAS,SAAA,GACzD,kBAAA,CAA6B,SAAA,CAAoB,MAAA,GAAS,SAAA;AAAA,cAmL/C,OAAA,kBACK,YAAA,oBAAsC,IAAA,CAAW,MAAA,GAC/D,SAAA,EAAW,SAAA,EACX,oBAAA,EAAsB,kBAAA,CACpB,QAAA,CAAmB,UAAA,CAAqB,MAAA,KAE1C,KAAA,EAAO,QAAA,CAAe,MAAA,EAAQ,SAAA,OAE/B,EAAA,EAAI,SAAA,CAAU,SAAA,MAAU,MAAA,CAAA,MAAA,MAAA,mBAAA,GAAA,cAAA;AAAA,cAOrB,mBAAA;;;;;;cAEO,cAAA,SAAuB,mBAAA;EAAA,IAOrB,OAAA,CAAA;AAAA;AAAA,cAOd,sBAAA;;;;;;;cAEY,iBAAA,SAA0B,sBAAA;EAAA,IAQxB,OAAA,CAAA;AAAA"}

package/dist/QueryInitializer.js.map

@@ -1 +1 @@
-{"version":3,"file":"QueryInitializer.js","names":["Document.decode","OrderedQuery.make","Document.documentErrorMessage"],"sources":["../src/QueryInitializer.ts"],"sourcesContent":["import type {\n  OrderedQuery as ConvexOrderedQuery,\n  QueryInitializer as ConvexQueryInitializer,\n  DocumentByInfo,\n  GenericTableIndexes,\n  GenericTableInfo,\n  Indexes,\n  IndexRange,\n  IndexRangeBuilder,\n  NamedIndex,\n  NamedSearchIndex,\n  NamedTableInfo,\n  Query,\n  SearchFilter,\n  SearchFilterBuilder,\n  SearchIndexes,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport { Array, Effect, Either, pipe, Schema } from \"effect\";\nimport type {\n  BaseDatabaseReader,\n  IndexFieldTypesForEq,\n} from \"@confect/core/Types\";\nimport type * as DataModel from \"./DataModel\";\nimport * as Document from \"./Document\";\nimport * as OrderedQuery from \"./OrderedQuery\";\nimport type * as Table from \"./Table\";\nimport type * as TableInfo from \"./TableInfo\";\n\ntype QueryInitializer<\n  DataModel_ extends DataModel.AnyWithProps,\n  TableName extends DataModel.TableNames<DataModel_>,\n  _ConvexTableInfo extends GenericTableInfo,\n  _TableInfo extends TableInfo.AnyWithProps,\n> = {\n  readonly get: {\n    (\n      id: GenericId<TableName>,\n    ): Effect.Effect<\n      _TableInfo[\"document\"],\n      Document.DocumentDecodeError | GetByIdFailure\n    >;\n    <IndexName extends keyof Indexes<_ConvexTableInfo>>(\n      indexName: IndexName,\n      ...indexFieldValues: IndexFieldTypesForEq<\n        DataModel.ToConvex<DataModel_>,\n        TableName,\n        Indexes<_ConvexTableInfo>[IndexName]\n      >\n    ): Effect.Effect<\n      _TableInfo[\"document\"],\n      Document.DocumentDecodeError | GetByIndexFailure\n    >;\n  };\n  readonly index: {\n    <IndexName extends keyof Indexes<_ConvexTableInfo>>(\n      indexName: IndexName,\n      indexRange?: (\n        q: IndexRangeBuilder<\n          _TableInfo[\"convexDocument\"],\n          NamedIndex<_ConvexTableInfo, IndexName>\n        >,\n      ) => IndexRange,\n      order?: \"asc\" | \"desc\",\n    ): OrderedQuery.OrderedQuery<_TableInfo, TableName>;\n    <IndexName extends keyof Indexes<_ConvexTableInfo>>(\n      indexName: IndexName,\n      order?: \"asc\" | \"desc\",\n    ): OrderedQuery.OrderedQuery<_TableInfo, TableName>;\n  };\n  readonly search: <IndexName extends keyof SearchIndexes<_ConvexTableInfo>>(\n    indexName: IndexName,\n    searchFilter: (\n      q: SearchFilterBuilder<\n        DocumentByInfo<_ConvexTableInfo>,\n        NamedSearchIndex<_ConvexTableInfo, IndexName>\n      >,\n    ) => SearchFilter,\n  ) => OrderedQuery.OrderedQuery<_TableInfo, TableName>;\n};\n\nexport const make = <\n  Tables extends Table.AnyWithProps,\n  TableName extends Table.Name<Tables>,\n>(\n  tableName: TableName,\n  convexDatabaseReader: BaseDatabaseReader<\n    DataModel.ToConvex<DataModel.FromTables<Tables>>\n  >,\n  table: Table.WithName<Tables, TableName>,\n): QueryInitializer<\n  DataModel.DataModel<Tables>,\n  TableName,\n  DataModel.TableInfoWithName<DataModel.DataModel<Tables>, TableName>,\n  DataModel.TableInfoWithName_<DataModel.DataModel<Tables>, TableName>\n> => {\n  type DataModel_ = DataModel.DataModel<Tables>;\n  type ConvexDataModel_ = DataModel.ToConvex<DataModel_>;\n  type ThisQueryInitializer = QueryInitializer<\n    DataModel_,\n    TableName,\n    DataModel.TableInfoWithName<DataModel_, TableName>,\n    DataModel.TableInfoWithName_<DataModel_, TableName>\n  >;\n  type QueryInitializerFunction<\n    FunctionName extends keyof ThisQueryInitializer,\n  > = ThisQueryInitializer[FunctionName];\n\n  const getByIndex = <\n    IndexName extends keyof Indexes<\n      DataModel.TableInfoWithName<DataModel_, TableName>\n    >,\n  >(\n    indexName: IndexName,\n    indexFieldValues: IndexFieldTypesForEq<\n      DataModel.ToConvex<DataModel_>,\n      TableName,\n      Indexes<DataModel.TableInfoWithName<DataModel_, TableName>>[IndexName]\n    >,\n  ): Effect.Effect<\n    DataModel.DocumentWithName<DataModel_, TableName>,\n    Document.DocumentDecodeError | GetByIndexFailure\n  > => {\n    const indexFields: GenericTableIndexes[keyof GenericTableIndexes] = (\n      table.indexes as GenericTableIndexes\n    )[indexName as keyof GenericTableIndexes]!;\n\n    return pipe(\n      Effect.promise(() =>\n        convexDatabaseReader\n          .query(tableName)\n          .withIndex(indexName, (q) =>\n            Array.reduce(\n              indexFieldValues,\n              q,\n              (q_, v, i) => q_.eq(indexFields[i] as any, v as any) as any,\n            ),\n          )\n          .unique(),\n      ),\n      Effect.andThen(\n        Either.fromNullable(\n          () =>\n            new GetByIndexFailure({\n              tableName,\n              indexName: indexName as string,\n              indexFieldValues: indexFieldValues as string[],\n            }),\n        ),\n      ),\n      Effect.andThen(Document.decode(tableName, table.Fields)),\n    );\n  };\n\n  const get: QueryInitializerFunction<\"get\"> = ((\n    ...args: Parameters<QueryInitializerFunction<\"get\">>\n  ) => {\n    if (args.length === 1) {\n      const id = args[0] as GenericId<TableName>;\n\n      return getById(tableName, convexDatabaseReader, table)(id);\n    } else {\n      const [indexName, ...indexFieldValues] = args;\n\n      return getByIndex(\n        indexName as keyof Indexes<\n          DataModel.TableInfoWithName<DataModel_, TableName>\n        >,\n        indexFieldValues,\n      );\n    }\n  }) as QueryInitializerFunction<\"get\">;\n\n  const index: QueryInitializerFunction<\"index\"> = <\n    IndexName extends keyof Indexes<\n      DataModel.TableInfoWithName<DataModel_, TableName>\n    >,\n  >(\n    indexName: IndexName,\n    indexRangeOrOrder?:\n      | ((\n          q: IndexRangeBuilder<\n            DataModel.TableInfoWithName_<\n              DataModel_,\n              TableName\n            >[\"convexDocument\"],\n            NamedIndex<\n              DataModel.TableInfoWithName<DataModel_, TableName>,\n              IndexName\n            >\n          >,\n        ) => IndexRange)\n      | \"asc\"\n      | \"desc\",\n    order?: \"asc\" | \"desc\",\n  ) => {\n    const {\n      applyWithIndex,\n      applyOrder,\n    }: {\n      applyWithIndex: (\n        queryInitializer: ConvexQueryInitializer<\n          NamedTableInfo<ConvexDataModel_, TableName>\n        >,\n      ) => Query<NamedTableInfo<ConvexDataModel_, TableName>>;\n      applyOrder: (\n        query: Query<NamedTableInfo<ConvexDataModel_, TableName>>,\n      ) => ConvexOrderedQuery<NamedTableInfo<ConvexDataModel_, TableName>>;\n    } =\n      indexRangeOrOrder === undefined\n        ? {\n            applyWithIndex: (q) => q.withIndex(indexName),\n            applyOrder: (q) => q.order(\"asc\"),\n          }\n        : typeof indexRangeOrOrder === \"function\"\n          ? order === undefined\n            ? {\n                applyWithIndex: (q) =>\n                  q.withIndex(indexName, indexRangeOrOrder),\n                applyOrder: (q) => q.order(\"asc\"),\n              }\n            : {\n                applyWithIndex: (q) =>\n                  q.withIndex(indexName, indexRangeOrOrder),\n                applyOrder: (q) => q.order(order),\n              }\n          : {\n              applyWithIndex: (q) => q.withIndex(indexName),\n              applyOrder: (q) => q.order(indexRangeOrOrder),\n            };\n\n    const orderedQuery = pipe(\n      convexDatabaseReader.query(tableName),\n      applyWithIndex,\n      applyOrder,\n    );\n\n    return OrderedQuery.make<\n      DataModel.TableInfoWithName_<DataModel_, TableName>,\n      TableName\n    >(orderedQuery, tableName, table.Fields);\n  };\n\n  const search: QueryInitializerFunction<\"search\"> = (\n    indexName,\n    searchFilter,\n  ) =>\n    OrderedQuery.make<\n      DataModel.TableInfoWithName_<DataModel_, TableName>,\n      TableName\n    >(\n      convexDatabaseReader\n        .query(tableName)\n        .withSearchIndex(indexName, searchFilter),\n      tableName,\n      table.Fields,\n    );\n\n  return {\n    get,\n    index,\n    search,\n  };\n};\n\nexport const getById =\n  <Tables extends Table.AnyWithProps, TableName extends Table.Name<Tables>>(\n    tableName: TableName,\n    convexDatabaseReader: BaseDatabaseReader<\n      DataModel.ToConvex<DataModel.FromTables<Tables>>\n    >,\n    table: Table.WithName<Tables, TableName>,\n  ) =>\n  (id: GenericId<TableName>) =>\n    pipe(\n      Effect.promise(() => convexDatabaseReader.get(id)),\n      Effect.andThen(\n        Either.fromNullable(() => new GetByIdFailure({ tableName, id })),\n      ),\n      Effect.andThen(Document.decode(tableName, table.Fields)),\n    );\n\nexport class GetByIdFailure extends Schema.TaggedError<GetByIdFailure>()(\n  \"GetByIdFailure\",\n  {\n    id: Schema.String,\n    tableName: Schema.String,\n  },\n) {\n  override get message(): string {\n    return Document.documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: \"not found\",\n    });\n  }\n}\n\nexport class GetByIndexFailure extends Schema.TaggedError<GetByIndexFailure>()(\n  \"GetByIndexFailure\",\n  {\n    tableName: Schema.String,\n    indexName: Schema.String,\n    indexFieldValues: Schema.Array(Schema.String),\n  },\n) {\n  override get message(): string {\n    return `No documents found in table '${this.tableName}' with index '${this.indexName}' and field values '${this.indexFieldValues}'`;\n  }\n}\n"],"mappings":";;;;;;;;;;;;AAiFA,MAAa,QAIX,WACA,sBAGA,UAMG;CAaH,MAAM,cAKJ,WACA,qBAQG;EACH,MAAM,cACJ,MAAM,QACN;AAEF,SAAO,KACL,OAAO,cACL,qBACG,MAAM,UAAU,CAChB,UAAU,YAAY,MACrB,MAAM,OACJ,kBACA,IACC,IAAI,GAAG,MAAM,GAAG,GAAG,YAAY,IAAW,EAAS,CACrD,CACF,CACA,QAAQ,CACZ,EACD,OAAO,QACL,OAAO,mBAEH,IAAI,kBAAkB;GACpB;GACW;GACO;GACnB,CAAC,CACL,CACF,EACD,OAAO,QAAQA,OAAgB,WAAW,MAAM,OAAO,CAAC,CACzD;;CAGH,MAAM,QACJ,GAAG,SACA;AACH,MAAI,KAAK,WAAW,GAAG;GACrB,MAAM,KAAK,KAAK;AAEhB,UAAO,QAAQ,WAAW,sBAAsB,MAAM,CAAC,GAAG;SACrD;GACL,MAAM,CAAC,WAAW,GAAG,oBAAoB;AAEzC,UAAO,WACL,WAGA,iBACD;;;CAIL,MAAM,SAKJ,WACA,mBAeA,UACG;EACH,MAAM,EACJ,gBACA,eAWA,sBAAsB,SAClB;GACE,iBAAiB,MAAM,EAAE,UAAU,UAAU;GAC7C,aAAa,MAAM,EAAE,MAAM,MAAM;GAClC,GACD,OAAO,sBAAsB,aAC3B,UAAU,SACR;GACE,iBAAiB,MACf,EAAE,UAAU,WAAW,kBAAkB;GAC3C,aAAa,MAAM,EAAE,MAAM,MAAM;GAClC,GACD;GACE,iBAAiB,MACf,EAAE,UAAU,WAAW,kBAAkB;GAC3C,aAAa,MAAM,EAAE,MAAM,MAAM;GAClC,GACH;GACE,iBAAiB,MAAM,EAAE,UAAU,UAAU;GAC7C,aAAa,MAAM,EAAE,MAAM,kBAAkB;GAC9C;EAET,MAAM,eAAe,KACnB,qBAAqB,MAAM,UAAU,EACrC,gBACA,WACD;AAED,SAAOC,OAGL,cAAc,WAAW,MAAM,OAAO;;CAG1C,MAAM,UACJ,WACA,iBAEAA,OAIE,qBACG,MAAM,UAAU,CAChB,gBAAgB,WAAW,aAAa,EAC3C,WACA,MAAM,OACP;AAEH,QAAO;EACL;EACA;EACA;EACD;;AAGH,MAAa,WAET,WACA,sBAGA,WAED,OACC,KACE,OAAO,cAAc,qBAAqB,IAAI,GAAG,CAAC,EAClD,OAAO,QACL,OAAO,mBAAmB,IAAI,eAAe;CAAE;CAAW;CAAI,CAAC,CAAC,CACjE,EACD,OAAO,QAAQD,OAAgB,WAAW,MAAM,OAAO,CAAC,CACzD;AAEL,IAAa,iBAAb,cAAoC,OAAO,aAA6B,CACtE,kBACA;CACE,IAAI,OAAO;CACX,WAAW,OAAO;CACnB,CACF,CAAC;CACA,IAAa,UAAkB;AAC7B,SAAOE,qBAA8B;GACnC,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS;GACV,CAAC;;;AAIN,IAAa,oBAAb,cAAuC,OAAO,aAAgC,CAC5E,qBACA;CACE,WAAW,OAAO;CAClB,WAAW,OAAO;CAClB,kBAAkB,OAAO,MAAM,OAAO,OAAO;CAC9C,CACF,CAAC;CACA,IAAa,UAAkB;AAC7B,SAAO,gCAAgC,KAAK,UAAU,gBAAgB,KAAK,UAAU,sBAAsB,KAAK,iBAAiB"}
+{"version":3,"file":"QueryInitializer.js","names":["Document.decode","OrderedQuery.make","Document.documentErrorMessage"],"sources":["../src/QueryInitializer.ts"],"sourcesContent":["import type {\n  OrderedQuery as ConvexOrderedQuery,\n  QueryInitializer as ConvexQueryInitializer,\n  DocumentByInfo,\n  GenericTableIndexes,\n  GenericTableInfo,\n  Indexes,\n  IndexRange,\n  IndexRangeBuilder,\n  NamedIndex,\n  NamedSearchIndex,\n  NamedTableInfo,\n  Query,\n  SearchFilter,\n  SearchFilterBuilder,\n  SearchIndexes,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport { Array, Effect, Either, pipe, Schema } from \"effect\";\nimport type {\n  BaseDatabaseReader,\n  IndexFieldTypesForEq,\n} from \"@confect/core/Types\";\nimport type * as DataModel from \"./DataModel\";\nimport * as Document from \"./Document\";\nimport * as OrderedQuery from \"./OrderedQuery\";\nimport type * as Table from \"./Table\";\nimport type * as TableInfo from \"./TableInfo\";\n\ntype QueryInitializer<\n  DataModel_ extends DataModel.AnyWithProps,\n  TableName extends DataModel.TableNames<DataModel_>,\n  _ConvexTableInfo extends GenericTableInfo,\n  _TableInfo extends TableInfo.AnyWithProps,\n> = {\n  readonly get: {\n    (\n      id: GenericId<TableName>,\n    ): Effect.Effect<\n      _TableInfo[\"document\"],\n      Document.DocumentDecodeError | GetByIdFailure\n    >;\n    <IndexName extends keyof Indexes<_ConvexTableInfo>>(\n      indexName: IndexName,\n      ...indexFieldValues: IndexFieldTypesForEq<\n        DataModel.ToConvex<DataModel_>,\n        TableName,\n        Indexes<_ConvexTableInfo>[IndexName]\n      >\n    ): Effect.Effect<\n      _TableInfo[\"document\"],\n      Document.DocumentDecodeError | GetByIndexFailure\n    >;\n  };\n  readonly index: {\n    <IndexName extends keyof Indexes<_ConvexTableInfo>>(\n      indexName: IndexName,\n      indexRange?: (\n        q: IndexRangeBuilder<\n          _TableInfo[\"convexDocument\"],\n          NamedIndex<_ConvexTableInfo, IndexName>\n        >,\n      ) => IndexRange,\n      order?: \"asc\" | \"desc\",\n    ): OrderedQuery.OrderedQuery<_TableInfo, TableName>;\n    <IndexName extends keyof Indexes<_ConvexTableInfo>>(\n      indexName: IndexName,\n      order?: \"asc\" | \"desc\",\n    ): OrderedQuery.OrderedQuery<_TableInfo, TableName>;\n  };\n  readonly search: <IndexName extends keyof SearchIndexes<_ConvexTableInfo>>(\n    indexName: IndexName,\n    searchFilter: (\n      q: SearchFilterBuilder<\n        DocumentByInfo<_ConvexTableInfo>,\n        NamedSearchIndex<_ConvexTableInfo, IndexName>\n      >,\n    ) => SearchFilter,\n  ) => OrderedQuery.OrderedQuery<_TableInfo, TableName>;\n};\n\nexport const make = <\n  Tables extends Table.AnyWithProps,\n  TableName extends Table.Name<Tables>,\n>(\n  tableName: TableName,\n  convexDatabaseReader: BaseDatabaseReader<\n    DataModel.ToConvex<DataModel.FromTables<Tables>>\n  >,\n  table: Table.WithName<Tables, TableName>,\n): QueryInitializer<\n  DataModel.DataModel<Tables>,\n  TableName,\n  DataModel.TableInfoWithName<DataModel.DataModel<Tables>, TableName>,\n  DataModel.TableInfoWithName_<DataModel.DataModel<Tables>, TableName>\n> => {\n  type DataModel_ = DataModel.DataModel<Tables>;\n  type ConvexDataModel_ = DataModel.ToConvex<DataModel_>;\n  type ThisQueryInitializer = QueryInitializer<\n    DataModel_,\n    TableName,\n    DataModel.TableInfoWithName<DataModel_, TableName>,\n    DataModel.TableInfoWithName_<DataModel_, TableName>\n  >;\n  type QueryInitializerFunction<\n    FunctionName extends keyof ThisQueryInitializer,\n  > = ThisQueryInitializer[FunctionName];\n\n  const getByIndex = <\n    IndexName extends keyof Indexes<\n      DataModel.TableInfoWithName<DataModel_, TableName>\n    >,\n  >(\n    indexName: IndexName,\n    indexFieldValues: IndexFieldTypesForEq<\n      DataModel.ToConvex<DataModel_>,\n      TableName,\n      Indexes<DataModel.TableInfoWithName<DataModel_, TableName>>[IndexName]\n    >,\n  ): Effect.Effect<\n    DataModel.DocumentWithName<DataModel_, TableName>,\n    Document.DocumentDecodeError | GetByIndexFailure\n  > => {\n    const indexFields: GenericTableIndexes[keyof GenericTableIndexes] = (\n      table.indexes as GenericTableIndexes\n    )[indexName as keyof GenericTableIndexes]!;\n\n    return pipe(\n      Effect.promise(() =>\n        convexDatabaseReader\n          .query(tableName)\n          .withIndex(indexName, (q) =>\n            Array.reduce(\n              indexFieldValues,\n              q,\n              (q_, v, i) => q_.eq(indexFields[i] as any, v as any) as any,\n            ),\n          )\n          .unique(),\n      ),\n      Effect.andThen(\n        Either.fromNullable(\n          () =>\n            new GetByIndexFailure({\n              tableName,\n              indexName: indexName as string,\n              indexFieldValues: indexFieldValues as string[],\n            }),\n        ),\n      ),\n      Effect.andThen(Document.decode(tableName, table.Fields)),\n    );\n  };\n\n  const get: QueryInitializerFunction<\"get\"> = ((\n    ...args: Parameters<QueryInitializerFunction<\"get\">>\n  ) => {\n    if (args.length === 1) {\n      const id = args[0] as GenericId<TableName>;\n\n      return getById(tableName, convexDatabaseReader, table)(id);\n    } else {\n      const [indexName, ...indexFieldValues] = args;\n\n      return getByIndex(\n        indexName as keyof Indexes<\n          DataModel.TableInfoWithName<DataModel_, TableName>\n        >,\n        indexFieldValues,\n      );\n    }\n  }) as QueryInitializerFunction<\"get\">;\n\n  const index: QueryInitializerFunction<\"index\"> = <\n    IndexName extends keyof Indexes<\n      DataModel.TableInfoWithName<DataModel_, TableName>\n    >,\n  >(\n    indexName: IndexName,\n    indexRangeOrOrder?:\n      | ((\n          q: IndexRangeBuilder<\n            DataModel.TableInfoWithName_<\n              DataModel_,\n              TableName\n            >[\"convexDocument\"],\n            NamedIndex<\n              DataModel.TableInfoWithName<DataModel_, TableName>,\n              IndexName\n            >\n          >,\n        ) => IndexRange)\n      | \"asc\"\n      | \"desc\",\n    order?: \"asc\" | \"desc\",\n  ) => {\n    const {\n      applyWithIndex,\n      applyOrder,\n    }: {\n      applyWithIndex: (\n        queryInitializer: ConvexQueryInitializer<\n          NamedTableInfo<ConvexDataModel_, TableName>\n        >,\n      ) => Query<NamedTableInfo<ConvexDataModel_, TableName>>;\n      applyOrder: (\n        query: Query<NamedTableInfo<ConvexDataModel_, TableName>>,\n      ) => ConvexOrderedQuery<NamedTableInfo<ConvexDataModel_, TableName>>;\n    } =\n      indexRangeOrOrder === undefined\n        ? {\n            applyWithIndex: (q) => q.withIndex(indexName),\n            applyOrder: (q) => q.order(\"asc\"),\n          }\n        : typeof indexRangeOrOrder === \"function\"\n          ? order === undefined\n            ? {\n                applyWithIndex: (q) =>\n                  q.withIndex(indexName, indexRangeOrOrder),\n                applyOrder: (q) => q.order(\"asc\"),\n              }\n            : {\n                applyWithIndex: (q) =>\n                  q.withIndex(indexName, indexRangeOrOrder),\n                applyOrder: (q) => q.order(order),\n              }\n          : {\n              applyWithIndex: (q) => q.withIndex(indexName),\n              applyOrder: (q) => q.order(indexRangeOrOrder),\n            };\n\n    const orderedQuery = pipe(\n      convexDatabaseReader.query(tableName),\n      applyWithIndex,\n      applyOrder,\n    );\n\n    return OrderedQuery.make<\n      DataModel.TableInfoWithName_<DataModel_, TableName>,\n      TableName\n    >(\n      orderedQuery,\n      tableName,\n      table.Fields as TableInfo.TableSchema<\n        DataModel.TableInfoWithName_<DataModel_, TableName>\n      >,\n    );\n  };\n\n  const search: QueryInitializerFunction<\"search\"> = (\n    indexName,\n    searchFilter,\n  ) =>\n    OrderedQuery.make<\n      DataModel.TableInfoWithName_<DataModel_, TableName>,\n      TableName\n    >(\n      convexDatabaseReader\n        .query(tableName)\n        .withSearchIndex(indexName, searchFilter),\n      tableName,\n      table.Fields as TableInfo.TableSchema<\n        DataModel.TableInfoWithName_<DataModel_, TableName>\n      >,\n    );\n\n  return {\n    get,\n    index,\n    search,\n  };\n};\n\nexport const getById =\n  <Tables extends Table.AnyWithProps, TableName extends Table.Name<Tables>>(\n    tableName: TableName,\n    convexDatabaseReader: BaseDatabaseReader<\n      DataModel.ToConvex<DataModel.FromTables<Tables>>\n    >,\n    table: Table.WithName<Tables, TableName>,\n  ) =>\n  (id: GenericId<TableName>) =>\n    pipe(\n      Effect.promise(() => convexDatabaseReader.get(id)),\n      Effect.andThen(\n        Either.fromNullable(() => new GetByIdFailure({ tableName, id })),\n      ),\n      Effect.andThen(Document.decode(tableName, table.Fields)),\n    );\n\nexport class GetByIdFailure extends Schema.TaggedError<GetByIdFailure>()(\n  \"GetByIdFailure\",\n  {\n    id: Schema.String,\n    tableName: Schema.String,\n  },\n) {\n  override get message(): string {\n    return Document.documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: \"not found\",\n    });\n  }\n}\n\nexport class GetByIndexFailure extends Schema.TaggedError<GetByIndexFailure>()(\n  \"GetByIndexFailure\",\n  {\n    tableName: Schema.String,\n    indexName: Schema.String,\n    indexFieldValues: Schema.Array(Schema.String),\n  },\n) {\n  override get message(): string {\n    return `No documents found in table '${this.tableName}' with index '${this.indexName}' and field values '${this.indexFieldValues}'`;\n  }\n}\n"],"mappings":";;;;;;;;;;;;AAiFA,MAAa,QAIX,WACA,sBAGA,UAMG;CAaH,MAAM,cAKJ,WACA,qBAQG;EACH,MAAM,cACJ,MAAM,QACN;AAEF,SAAO,KACL,OAAO,cACL,qBACG,MAAM,UAAU,CAChB,UAAU,YAAY,MACrB,MAAM,OACJ,kBACA,IACC,IAAI,GAAG,MAAM,GAAG,GAAG,YAAY,IAAW,EAAS,CACrD,CACF,CACA,QAAQ,CACZ,EACD,OAAO,QACL,OAAO,mBAEH,IAAI,kBAAkB;GACpB;GACW;GACO;GACnB,CAAC,CACL,CACF,EACD,OAAO,QAAQA,OAAgB,WAAW,MAAM,OAAO,CAAC,CACzD;;CAGH,MAAM,QACJ,GAAG,SACA;AACH,MAAI,KAAK,WAAW,GAAG;GACrB,MAAM,KAAK,KAAK;AAEhB,UAAO,QAAQ,WAAW,sBAAsB,MAAM,CAAC,GAAG;SACrD;GACL,MAAM,CAAC,WAAW,GAAG,oBAAoB;AAEzC,UAAO,WACL,WAGA,iBACD;;;CAIL,MAAM,SAKJ,WACA,mBAeA,UACG;EACH,MAAM,EACJ,gBACA,eAWA,sBAAsB,SAClB;GACE,iBAAiB,MAAM,EAAE,UAAU,UAAU;GAC7C,aAAa,MAAM,EAAE,MAAM,MAAM;GAClC,GACD,OAAO,sBAAsB,aAC3B,UAAU,SACR;GACE,iBAAiB,MACf,EAAE,UAAU,WAAW,kBAAkB;GAC3C,aAAa,MAAM,EAAE,MAAM,MAAM;GAClC,GACD;GACE,iBAAiB,MACf,EAAE,UAAU,WAAW,kBAAkB;GAC3C,aAAa,MAAM,EAAE,MAAM,MAAM;GAClC,GACH;GACE,iBAAiB,MAAM,EAAE,UAAU,UAAU;GAC7C,aAAa,MAAM,EAAE,MAAM,kBAAkB;GAC9C;EAET,MAAM,eAAe,KACnB,qBAAqB,MAAM,UAAU,EACrC,gBACA,WACD;AAED,SAAOC,OAIL,cACA,WACA,MAAM,OAGP;;CAGH,MAAM,UACJ,WACA,iBAEAA,OAIE,qBACG,MAAM,UAAU,CAChB,gBAAgB,WAAW,aAAa,EAC3C,WACA,MAAM,OAGP;AAEH,QAAO;EACL;EACA;EACA;EACD;;AAGH,MAAa,WAET,WACA,sBAGA,WAED,OACC,KACE,OAAO,cAAc,qBAAqB,IAAI,GAAG,CAAC,EAClD,OAAO,QACL,OAAO,mBAAmB,IAAI,eAAe;CAAE;CAAW;CAAI,CAAC,CAAC,CACjE,EACD,OAAO,QAAQD,OAAgB,WAAW,MAAM,OAAO,CAAC,CACzD;AAEL,IAAa,iBAAb,cAAoC,OAAO,aAA6B,CACtE,kBACA;CACE,IAAI,OAAO;CACX,WAAW,OAAO;CACnB,CACF,CAAC;CACA,IAAa,UAAkB;AAC7B,SAAOE,qBAA8B;GACnC,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS;GACV,CAAC;;;AAIN,IAAa,oBAAb,cAAuC,OAAO,aAAgC,CAC5E,qBACA;CACE,WAAW,OAAO;CAClB,WAAW,OAAO;CAClB,kBAAkB,OAAO,MAAM,OAAO,OAAO;CAC9C,CACF,CAAC;CACA,IAAa,UAAkB;AAC7B,SAAO,gCAAgC,KAAK,UAAU,gBAAgB,KAAK,UAAU,sBAAsB,KAAK,iBAAiB"}