@confect/core 1.0.0-next.0

package/dist/Spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Spec.js","names":[],"sources":["../src/Spec.ts"],"sourcesContent":["import { Predicate, Record } from \"effect\";\nimport type * as GroupSpec from \"./GroupSpec\";\n\nexport const TypeId = \"@confect/core/api/Spec\";\nexport type TypeId = typeof TypeId;\n\nexport const isSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface Spec<Groups_ extends GroupSpec.AnyWithProps = never> {\n  readonly [TypeId]: TypeId;\n  readonly groups: {\n    [GroupName in GroupSpec.Name<Groups_>]: GroupSpec.WithName<\n      Groups_,\n      GroupName\n    >;\n  };\n\n  add<Group extends GroupSpec.AnyWithProps>(\n    group: Group,\n  ): Spec<Groups_ | Group>;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends Spec<GroupSpec.AnyWithProps> {}\n\nexport type Groups<Spec_ extends AnyWithProps> =\n  Spec_[\"groups\"][keyof Spec_[\"groups\"]];\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  add<Group extends GroupSpec.AnyWithProps>(this: AnyWithProps, group: Group) {\n    return makeProto({\n      groups: Record.set(this.groups, group.name, group),\n    });\n  },\n};\n\nconst makeProto = <Groups_ extends GroupSpec.AnyWithProps>({\n  groups,\n}: {\n  groups: Record.ReadonlyRecord<string, Groups_>;\n}): Spec<Groups_> =>\n  Object.assign(Object.create(Proto), {\n    groups,\n  });\n\nexport const make = (): Spec => makeProto({ groups: {} });\n"],"mappings":";;;;;;;;;AAGA,MAAa,SAAS;AAGtB,MAAa,UAAU,MACrB,UAAU,YAAY,GAAG,OAAO;AAyBlC,MAAM,QAAQ;EACX,SAAS;CAEV,IAA8D,OAAc;AAC1E,SAAO,UAAU,EACf,QAAQ,OAAO,IAAI,KAAK,QAAQ,MAAM,MAAM,MAAM,EACnD,CAAC;;CAEL;AAED,MAAM,aAAqD,EACzD,aAIA,OAAO,OAAO,OAAO,OAAO,MAAM,EAAE,EAClC,QACD,CAAC;AAEJ,MAAa,aAAmB,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC"}

package/dist/SystemFields.d.ts

@@ -0,0 +1,28 @@
+import { GenericId } from "./GenericId.js";
+import { Schema } from "effect";
+import { Expand, IdField, SystemFields as SystemFields$1 } from "convex/server";
+
+//#region src/SystemFields.d.ts
+declare namespace SystemFields_d_exports {
+  export { ExtendWithSystemFields, SystemFields, WithSystemFields, extendWithSystemFields };
+}
+type SystemFieldsSchema<TableName extends string> = Schema.Struct<{
+  _id: Schema.Schema<GenericId<TableName>, GenericId<TableName>, never>;
+  _creationTime: typeof Schema.Number;
+}>;
+/**
+ * Produces a schema for Convex system fields.
+ */
+declare const SystemFields: <TableName extends string>(tableName: TableName) => SystemFieldsSchema<TableName>;
+/**
+ * Extend a table schema with Convex system fields.
+ */
+declare const extendWithSystemFields: <TableName extends string, TableSchema extends Schema.Schema.AnyNoContext>(tableName: TableName, schema: TableSchema) => ExtendWithSystemFields<TableName, TableSchema>;
+/**
+ * Extend a table schema with Convex system fields at the type level.
+ */
+type ExtendWithSystemFields<TableName extends string, TableSchema extends Schema.Schema.AnyNoContext> = Schema.extend<SystemFieldsSchema<TableName>, TableSchema>;
+type WithSystemFields<TableName extends string, Document> = Expand<Readonly<IdField<TableName>> & Readonly<SystemFields$1> & Document>;
+//#endregion
+export { ExtendWithSystemFields, SystemFields, SystemFields_d_exports, WithSystemFields, extendWithSystemFields };
+//# sourceMappingURL=SystemFields.d.ts.map

package/dist/SystemFields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SystemFields.d.ts","names":[],"sources":["../src/SystemFields.ts"],"sourcesContent":[],"mappings":";;;;;;;;KAQK,+CAA+C,MAAA,CAAO;OACpD,MAAA,CAAO,OACV,UAAoB,YACpB,UAAoB;wBAGA,MAAA,CAAO;;;;;cAMlB,oDACA,cACV,mBAAmB;;AAhBmB;;AAIrC,cAqBS,sBArBT,EAAA,CAAA,kBAAA,MAAA,EAAA,oBAuBkB,MAAA,CAAO,MAAA,CAAO,YAvBhC,CAAA,CAAA,SAAA,EAyBS,SAzBT,EAAA,MAAA,EA0BM,WA1BN,EAAA,GA2BD,sBA3BC,CA2BsB,SA3BtB,EA2BiC,WA3BjC,CAAA;;;;AAIoB,KA6BZ,sBA7BmB,CAAA,kBAAA,MAAA,EAAA,oBA+BT,MAAA,CAAO,MAAA,CAAO,YA/BL,CAAA,GAgC3B,MAAA,CAAO,MAhCoB,CAgCb,kBAhCa,CAgCM,SAhCN,CAAA,EAgCkB,WAhClB,CAAA;AANqB,KAwCxC,gBAxC+C,CAAA,kBAAA,MAAA,EAAA,QAAA,CAAA,GAwCQ,MAxCR,CAyCzD,QAzCyD,CAyChD,OAzCgD,CAyCxC,SAzCwC,CAAA,CAAA,GAyC1B,QAzC0B,CAyCjB,cAzCiB,CAAA,GAyCI,QAzCJ,CAAA"}

package/dist/SystemFields.js

@@ -0,0 +1,24 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { GenericId } from "./GenericId.js";
+import { Schema } from "effect";
+
+//#region src/SystemFields.ts
+var SystemFields_exports = /* @__PURE__ */ __export({
+	SystemFields: () => SystemFields,
+	extendWithSystemFields: () => extendWithSystemFields
+});
+/**
+* Produces a schema for Convex system fields.
+*/
+const SystemFields = (tableName) => Schema.Struct({
+	_id: GenericId(tableName),
+	_creationTime: Schema.Number
+});
+/**
+* Extend a table schema with Convex system fields.
+*/
+const extendWithSystemFields = (tableName, schema) => Schema.extend(SystemFields(tableName), schema);
+
+//#endregion
+export { SystemFields, SystemFields_exports, extendWithSystemFields };
+//# sourceMappingURL=SystemFields.js.map

package/dist/SystemFields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SystemFields.js","names":["GenericId.GenericId"],"sources":["../src/SystemFields.ts"],"sourcesContent":["import type {\n  Expand,\n  IdField,\n  SystemFields as NonIdSystemFields,\n} from \"convex/server\";\nimport { Schema } from \"effect\";\nimport * as GenericId from \"./GenericId\";\n\ntype SystemFieldsSchema<TableName extends string> = Schema.Struct<{\n  _id: Schema.Schema<\n    GenericId.GenericId<TableName>,\n    GenericId.GenericId<TableName>,\n    never\n  >;\n  _creationTime: typeof Schema.Number;\n}>;\n\n/**\n * Produces a schema for Convex system fields.\n */\nexport const SystemFields = <TableName extends string>(\n  tableName: TableName,\n): SystemFieldsSchema<TableName> =>\n  Schema.Struct({\n    _id: GenericId.GenericId(tableName),\n    _creationTime: Schema.Number,\n  });\n\n/**\n * Extend a table schema with Convex system fields.\n */\nexport const extendWithSystemFields = <\n  TableName extends string,\n  TableSchema extends Schema.Schema.AnyNoContext,\n>(\n  tableName: TableName,\n  schema: TableSchema,\n): ExtendWithSystemFields<TableName, TableSchema> =>\n  Schema.extend(SystemFields(tableName), schema);\n\n/**\n * Extend a table schema with Convex system fields at the type level.\n */\nexport type ExtendWithSystemFields<\n  TableName extends string,\n  TableSchema extends Schema.Schema.AnyNoContext,\n> = Schema.extend<SystemFieldsSchema<TableName>, TableSchema>;\n\nexport type WithSystemFields<TableName extends string, Document> = Expand<\n  Readonly<IdField<TableName>> & Readonly<NonIdSystemFields> & Document\n>;\n"],"mappings":";;;;;;;;;;;;AAoBA,MAAa,gBACX,cAEA,OAAO,OAAO;CACZ,KAAKA,UAAoB,UAAU;CACnC,eAAe,OAAO;CACvB,CAAC;;;;AAKJ,MAAa,0BAIX,WACA,WAEA,OAAO,OAAO,aAAa,UAAU,EAAE,OAAO"}

package/dist/Types.d.ts

@@ -0,0 +1,35 @@
+import { Brand } from "effect";
+import { DocumentByName, FieldTypeFromFieldPath, GenericDataModel, GenericDatabaseReader, TableNamesInDataModel } from "convex/server";
+import { GenericId } from "convex/values";
+
+//#region src/Types.d.ts
+declare namespace Types_d_exports {
+  export { BaseDatabaseReader, DeepMutable, DeepReadonly, IndexFieldTypesForEq, IsAny, IsOptional, IsRecord, IsRecursive, IsUnion, IsValueLiteral, TypeDefect, TypeError, UnionToTuple };
+}
+type IsOptional<T, K$1 extends keyof T> = {} extends Pick<T, K$1> ? true : false;
+type IsAny<T> = 0 extends 1 & T ? true : false;
+type IsUnion<T, U$1 extends T = T> = T extends unknown ? [U$1] extends [T] ? false : true : never;
+type IsValueLiteral<Vl> = [Vl] extends [never] ? never : IsUnion<Vl> extends true ? false : [Vl] extends [string | number | bigint | boolean] ? [string] extends [Vl] ? false : [number] extends [Vl] ? false : [boolean] extends [Vl] ? false : [bigint] extends [Vl] ? false : true : false;
+/**
+ * Only checks for records with string keys.
+ */
+type IsRecord<T> = [T] extends [never] ? false : IsUnion<T> extends true ? false : T extends Record<string, infer V> ? string extends keyof T ? keyof T extends string ? T extends Record<string, V> ? Record<string, V> extends T ? true : false : false : false : false : false;
+type DeepMutable<T> = IsAny<T> extends true ? any : T extends Brand.Brand<any> | GenericId<any> ? T : T extends ReadonlyMap<infer K, infer V> ? Map<DeepMutable<K>, DeepMutable<V>> : T extends ReadonlySet<infer V> ? Set<DeepMutable<V>> : [keyof T] extends [never] ? T : { -readonly [K in keyof T]: DeepMutable<T[K]> };
+type DeepReadonly<T> = IsAny<T> extends true ? any : T extends Map<infer K, infer V> ? ReadonlyMap<DeepReadonly<K>, DeepReadonly<V>> : T extends Set<infer V> ? ReadonlySet<DeepReadonly<V>> : [keyof T] extends [never] ? T : { readonly [K in keyof T]: DeepReadonly<T[K]> };
+type TypeError<Message extends string, T = never> = [Message, T];
+type TypeDefect<Message extends string, T = never> = TypeError<`Unexpected type error:\n  ${Message}`, T>;
+type IsRecursive<T> = true extends DetectCycle<T> ? true : false;
+type DetectCycle<T, Cache extends any[] = []> = IsAny<T> extends true ? false : [T] extends [any] ? T extends Cache[number] ? true : T extends Array<infer U> ? DetectCycle<U, [...Cache, T]> : T extends Map<infer _U, infer V> ? DetectCycle<V, [...Cache, T]> : T extends Set<infer U> ? DetectCycle<U, [...Cache, T]> : T extends object ? true extends { [K in keyof T]: DetectCycle<T[K], [...Cache, T]> }[keyof T] ? true : false : false : never;
+type UnionToTuple<t> = _unionToTuple<t, []> extends infer result ? conform<result, t[]> : never;
+type _unionToTuple<t, result$1 extends unknown[]> = getLastBranch<t> extends infer current ? [t] extends [never] ? result$1 : _unionToTuple<Exclude<t, current>, [current, ...result$1]> : never;
+type getLastBranch<t> = intersectUnion<t extends unknown ? (x: t) => void : never> extends ((x: infer branch) => void) ? branch : never;
+type intersectUnion<t> = (t extends unknown ? (_: t) => void : never) extends ((_: infer intersection) => void) ? intersection : never;
+type conform<t, base> = t extends base ? t : base;
+type IndexFieldTypesForEq<ConvexDataModel extends GenericDataModel, Table extends TableNamesInDataModel<ConvexDataModel>, T extends string[]> = T extends readonly [...infer Rest, any] ? Rest extends readonly string[] ? { [K in keyof Rest]: FieldTypeFromFieldPath<DocumentByName<ConvexDataModel, Table>, Rest[K]> } : never : never;
+type BaseDatabaseReader<DataModel extends GenericDataModel> = {
+  get: GenericDatabaseReader<DataModel>["get"];
+  query: GenericDatabaseReader<DataModel>["query"];
+};
+//#endregion
+export { BaseDatabaseReader, DeepMutable, DeepReadonly, IndexFieldTypesForEq, IsAny, IsOptional, IsRecord, IsRecursive, IsUnion, IsValueLiteral, TypeDefect, TypeError, Types_d_exports, UnionToTuple };
+//# sourceMappingURL=Types.d.ts.map

package/dist/Types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Types.d.ts","names":[],"sources":["../src/Types.ts"],"sourcesContent":[],"mappings":";;;;;;;;KAUY,gCAA8B,gBAC7B,KAAK,GAAG;KAET,yBAAyB;KAEzB,uBAAqB,IAAI,KAAK,qBACrC,cAAY;KAML,sBAAsB,8BAE9B,QAAQ,4BAEL,qEACmB,gCAEE,iCAEG,gCAEC;;;;KAQpB,eAAe,6BAEvB,QAAQ,0BAEN,UAAU,+CACa,UACb,mBACJ,UAAU,eAAe,KACvB,eAAe,WAAW;KAQ5B,iBACV,MAAM,wBAEF,UAAU,KAAA,CAAM,aAAa,iBAC3B,IACA,UAAU,gCACR,IAAI,YAAY,IAAI,YAAY,MAChC,UAAU,uBACR,IAAI,YAAY,aACT,qBACL,4BACwB,IAAI,YAAY,EAAE;KAE5C,kBACV,MAAM,wBAEF,UAAU,wBACR,YAAY,aAAa,IAAI,aAAa,MAC1C,UAAU,eACR,YAAY,aAAa,aAClB,qBACL,2BACuB,IAAI,aAAa,EAAE;KAE1C,gDAAgD,SAAS;KAEzD,gDAAgD,uCAC7B,WAC7B;KAGU,8BAA8B,YAAY;KAEjD,2CACH,MAAM,2BAED,mBACC,UAAU,uBAER,UAAU,iBACR,YAAY,OAAO,OAAO,MAC1B,UAAU,yBACR,YAAY,OAAO,OAAO,MAC1B,UAAU,eACR,YAAY,OAAO,OAAO,MAC1B,wCA5FJ,MA8FoB,CA9FV,GA8Fc,WA9Fd,CA8F0B,CA9F1B,CA8F4B,CA9F5B,CAAA,EAAA,CAAA,GA8FoC,KA9FpC,EA8F2C,CA9F3C,CAAA,CAAA,EAAoB,CAAA,MA+FhB,CA/FgB,CAAA,GAAA,IAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA;AACxB,KA0GN,YA1GM,CAAA,CAAA,CAAA,GA2GhB,aA3GgB,CA2GF,CA3GE,EAAA,EAAA,CAAA,SAAA,KAAA,OAAA,GA2G4B,OA3G5B,CA2GoC,MA3GpC,EA2G4C,CA3G5C,EAAA,CAAA,GAAA,KAAA;KA6Gb,aA7GgB,CAAA,CAAA,EAAA,iBAAA,OAAA,EAAA,CAAA,GA8GnB,aA9GmB,CA8GL,CA9GK,CAAA,SAAA,KAAA,QAAA,GAAA,CA+Gd,CA/Gc,CAAA,SAAA,CAAA,KAAA,CAAA,GAgHb,QAhHa,GAiHb,aAjHa,CAiHC,OAjHD,CAiHS,CAjHT,EAiHY,OAjHZ,CAAA,EAAA,CAiHuB,OAjHvB,EAAA,GAiHmC,QAjHnC,CAAA,CAAA,GAAA,KAAA;KAoHhB,aApHQ,CAAA,CAAA,CAAA,GAqHX,cArHW,CAqHI,CArHJ,SAAA,OAAA,GAAA,CAAA,CAAA,EAqH4B,CArH5B,EAAA,GAAA,IAAA,GAAA,KAAA,CAAA,UAAA,CAAA,CAAA,EAAA,KAAA,OAAA,EAAA,GAAA,IAAA,IAwHP,MAxHO,GAAA,KAAA;KA2HR,cA3HY,CAAA,CAAA,CAAA,GAAA,CA2HS,CA3HT,SAAA,OAAA,GAAA,CAAA,CAAA,EA2HiC,CA3HjC,EAAA,GAAA,IAAA,GAAA,KAAA,CAAA,UAAA,CAAA,CAAA,EAAA,KAAA,aAAA,EAAA,GAAA,IAAA,IA8Hb,YA9Ha,GAAA,KAAA;AAEjB,KA+HK,OA/HY,CAAA,CAAA,EAAA,IAAA,CAAA,GA+HO,CA/Ha,SA+HH,IA/HI,GA+HG,CA/HH,GA+HO,IA/HP;AAE1B,KAmIA,oBAnIO,CAAA,wBAoIO,gBApIP,EAAA,cAqIH,qBArIG,CAqImB,eArInB,CAAA,EAAA,UAAA,MAAA,EAAA,CAAA,GAuIf,CAvIe,SAAA,SAAA,CAAA,GAAA,KAAA,KAAA,EAAA,GAAA,CAAA,GAwIf,IAxIe,SAAA,SAAA,MAAA,EAAA,GAAA,QAAc,MA0Ib,IA1Ia,GA0IN,sBA1IM,CA2IvB,cA3IuB,CA2IR,eA3IQ,EA2IS,KA3IT,CAAA,EA4IvB,IA5IuB,CA4IlB,CA5IkB,CAAA,CAAA,EAAI,GAAA,KAAA,GAAA,KAAA;AAAK,KAmJ9B,kBAnJ8B,CAAA,kBAmJO,gBAnJP,CAAA,GAAA;EACrC,GAAA,EAmJE,qBAnJF,CAmJwB,SAnJxB,CAAA,CAAA,KAAA,CAAA;EAAY,KAAA,EAoJR,qBApJQ,CAoJc,SApJd,CAAA,CAAA,OAAA,CAAA;CAAC"}

package/dist/Types.js

@@ -0,0 +1,6 @@
+//#region src/Types.ts
+var Types_exports = {};
+
+//#endregion
+export { Types_exports };
+//# sourceMappingURL=Types.js.map

package/dist/Types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Types.js","names":[],"sources":["../src/Types.ts"],"sourcesContent":["import type {\n  DocumentByName,\n  FieldTypeFromFieldPath,\n  GenericDatabaseReader,\n  GenericDataModel,\n  TableNamesInDataModel,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport type { Brand } from \"effect\";\n\nexport type IsOptional<T, K extends keyof T> =\n  {} extends Pick<T, K> ? true : false;\n\nexport type IsAny<T> = 0 extends 1 & T ? true : false;\n\nexport type IsUnion<T, U extends T = T> = T extends unknown\n  ? [U] extends [T]\n    ? false\n    : true\n  : never;\n\n// https://stackoverflow.com/a/52806744\nexport type IsValueLiteral<Vl> = [Vl] extends [never]\n  ? never\n  : IsUnion<Vl> extends true\n    ? false\n    : [Vl] extends [string | number | bigint | boolean]\n      ? [string] extends [Vl]\n        ? false\n        : [number] extends [Vl]\n          ? false\n          : [boolean] extends [Vl]\n            ? false\n            : [bigint] extends [Vl]\n              ? false\n              : true\n      : false;\n\n/**\n * Only checks for records with string keys.\n */\nexport type IsRecord<T> = [T] extends [never]\n  ? false\n  : IsUnion<T> extends true\n    ? false\n    : T extends Record<string, infer V>\n      ? string extends keyof T\n        ? keyof T extends string\n          ? T extends Record<string, V>\n            ? Record<string, V> extends T\n              ? true\n              : false\n            : false\n          : false\n        : false\n      : false;\n\nexport type DeepMutable<T> =\n  IsAny<T> extends true\n    ? any\n    : T extends Brand.Brand<any> | GenericId<any>\n      ? T\n      : T extends ReadonlyMap<infer K, infer V>\n        ? Map<DeepMutable<K>, DeepMutable<V>>\n        : T extends ReadonlySet<infer V>\n          ? Set<DeepMutable<V>>\n          : [keyof T] extends [never]\n            ? T\n            : { -readonly [K in keyof T]: DeepMutable<T[K]> };\n\nexport type DeepReadonly<T> =\n  IsAny<T> extends true\n    ? any\n    : T extends Map<infer K, infer V>\n      ? ReadonlyMap<DeepReadonly<K>, DeepReadonly<V>>\n      : T extends Set<infer V>\n        ? ReadonlySet<DeepReadonly<V>>\n        : [keyof T] extends [never]\n          ? T\n          : { readonly [K in keyof T]: DeepReadonly<T[K]> };\n\nexport type TypeError<Message extends string, T = never> = [Message, T];\n\nexport type TypeDefect<Message extends string, T = never> = TypeError<\n  `Unexpected type error:\\n  ${Message}`,\n  T\n>;\n\nexport type IsRecursive<T> = true extends DetectCycle<T> ? true : false;\n\ntype DetectCycle<T, Cache extends any[] = []> =\n  IsAny<T> extends true\n    ? false\n    : [T] extends [any]\n      ? T extends Cache[number]\n        ? true\n        : T extends Array<infer U>\n          ? DetectCycle<U, [...Cache, T]>\n          : T extends Map<infer _U, infer V>\n            ? DetectCycle<V, [...Cache, T]>\n            : T extends Set<infer U>\n              ? DetectCycle<U, [...Cache, T]>\n              : T extends object\n                ? true extends {\n                    [K in keyof T]: DetectCycle<T[K], [...Cache, T]>;\n                  }[keyof T]\n                  ? true\n                  : false\n                : false\n      : never;\n\n//////////////////////////////////\n// START: Vendored from Arktype //\n//////////////////////////////////\n\n// https://github.com/arktypeio/arktype/blob/2e911d01a741ccee7a17e31ee144049817fabbb8/ark/util/unionToTuple.ts#L9\n\nexport type UnionToTuple<t> =\n  _unionToTuple<t, []> extends infer result ? conform<result, t[]> : never;\n\ntype _unionToTuple<t, result extends unknown[]> =\n  getLastBranch<t> extends infer current\n    ? [t] extends [never]\n      ? result\n      : _unionToTuple<Exclude<t, current>, [current, ...result]>\n    : never;\n\ntype getLastBranch<t> =\n  intersectUnion<t extends unknown ? (x: t) => void : never> extends (\n    x: infer branch,\n  ) => void\n    ? branch\n    : never;\n\ntype intersectUnion<t> = (t extends unknown ? (_: t) => void : never) extends (\n  _: infer intersection,\n) => void\n  ? intersection\n  : never;\n\ntype conform<t, base> = t extends base ? t : base;\n\n////////////////////////////////\n// END: Vendored from Arktype //\n////////////////////////////////\n\nexport type IndexFieldTypesForEq<\n  ConvexDataModel extends GenericDataModel,\n  Table extends TableNamesInDataModel<ConvexDataModel>,\n  T extends string[],\n> = T extends readonly [...infer Rest, any]\n  ? Rest extends readonly string[]\n    ? {\n        [K in keyof Rest]: FieldTypeFromFieldPath<\n          DocumentByName<ConvexDataModel, Table>,\n          Rest[K]\n        >;\n      }\n    : never\n  : never;\n\n// Would prefer to use `BaseDatabaseReader` from the `convex` package, but it's not exported.\nexport type BaseDatabaseReader<DataModel extends GenericDataModel> = {\n  get: GenericDatabaseReader<DataModel>[\"get\"];\n  query: GenericDatabaseReader<DataModel>[\"query\"];\n};\n"],"mappings":""}

package/dist/UserIdentity.d.ts

@@ -0,0 +1,65 @@
+import { Schema } from "effect";
+
+//#region src/UserIdentity.d.ts
+declare namespace UserIdentity_d_exports {
+  export { UserIdentity };
+}
+declare const UserIdentity: <CustomClaimsFields extends Schema.Struct.Fields>(customClaimsFields: CustomClaimsFields) => Schema.Struct<CustomClaimsFields & {
+  tokenIdentifier: typeof Schema.String;
+  subject: typeof Schema.String;
+  issuer: typeof Schema.String;
+  name: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  givenName: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  familyName: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  nickname: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  preferredUsername: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  profileUrl: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  pictureUrl: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  email: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  emailVerified: Schema.optionalWith<typeof Schema.Boolean, {
+    exact: true;
+  }>;
+  gender: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  birthday: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  timezone: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  language: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  phoneNumber: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  phoneNumberVerified: Schema.optionalWith<typeof Schema.Boolean, {
+    exact: true;
+  }>;
+  address: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+  updatedAt: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+}>;
+//#endregion
+export { UserIdentity, UserIdentity_d_exports };
+//# sourceMappingURL=UserIdentity.d.ts.map

package/dist/UserIdentity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UserIdentity.d.ts","names":[],"sources":["../src/UserIdentity.ts"],"sourcesContent":[],"mappings":";;;;;;cAEa,0CAA2C,MAAA,CAAO,MAAA,CAAO,4BAChD,uBAAkB,MAAA,CAAA,OAAA;;;;EAD3B,IAAA,qBAyBT,CAAA,oBAAA,EAAA;IAzB2D,KAAA,EAAO,IAAA;EAChD,CAAA,CAAA;EAAkB,SAAA,qBAAA,CAAA,oBAAA,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA,CAAA,CAAA;EAAA,mBAAA,qBAAA,CAAA,qBAAA,EAAA"}

package/dist/UserIdentity.js

@@ -0,0 +1,32 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { Schema } from "effect";
+
+//#region src/UserIdentity.ts
+var UserIdentity_exports = /* @__PURE__ */ __export({ UserIdentity: () => UserIdentity });
+const UserIdentity = (customClaimsFields) => Schema.Struct({
+	...customClaimsFields,
+	tokenIdentifier: Schema.String,
+	subject: Schema.String,
+	issuer: Schema.String,
+	name: Schema.optionalWith(Schema.String, { exact: true }),
+	givenName: Schema.optionalWith(Schema.String, { exact: true }),
+	familyName: Schema.optionalWith(Schema.String, { exact: true }),
+	nickname: Schema.optionalWith(Schema.String, { exact: true }),
+	preferredUsername: Schema.optionalWith(Schema.String, { exact: true }),
+	profileUrl: Schema.optionalWith(Schema.String, { exact: true }),
+	pictureUrl: Schema.optionalWith(Schema.String, { exact: true }),
+	email: Schema.optionalWith(Schema.String, { exact: true }),
+	emailVerified: Schema.optionalWith(Schema.Boolean, { exact: true }),
+	gender: Schema.optionalWith(Schema.String, { exact: true }),
+	birthday: Schema.optionalWith(Schema.String, { exact: true }),
+	timezone: Schema.optionalWith(Schema.String, { exact: true }),
+	language: Schema.optionalWith(Schema.String, { exact: true }),
+	phoneNumber: Schema.optionalWith(Schema.String, { exact: true }),
+	phoneNumberVerified: Schema.optionalWith(Schema.Boolean, { exact: true }),
+	address: Schema.optionalWith(Schema.String, { exact: true }),
+	updatedAt: Schema.optionalWith(Schema.String, { exact: true })
+});
+
+//#endregion
+export { UserIdentity, UserIdentity_exports };
+//# sourceMappingURL=UserIdentity.js.map

package/dist/UserIdentity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UserIdentity.js","names":[],"sources":["../src/UserIdentity.ts"],"sourcesContent":["import { Schema } from \"effect\";\n\nexport const UserIdentity = <CustomClaimsFields extends Schema.Struct.Fields>(\n  customClaimsFields: CustomClaimsFields,\n) =>\n  Schema.Struct({\n    ...customClaimsFields,\n    tokenIdentifier: Schema.String,\n    subject: Schema.String,\n    issuer: Schema.String,\n    name: Schema.optionalWith(Schema.String, { exact: true }),\n    givenName: Schema.optionalWith(Schema.String, { exact: true }),\n    familyName: Schema.optionalWith(Schema.String, { exact: true }),\n    nickname: Schema.optionalWith(Schema.String, { exact: true }),\n    preferredUsername: Schema.optionalWith(Schema.String, { exact: true }),\n    profileUrl: Schema.optionalWith(Schema.String, { exact: true }),\n    pictureUrl: Schema.optionalWith(Schema.String, { exact: true }),\n    email: Schema.optionalWith(Schema.String, { exact: true }),\n    emailVerified: Schema.optionalWith(Schema.Boolean, { exact: true }),\n    gender: Schema.optionalWith(Schema.String, { exact: true }),\n    birthday: Schema.optionalWith(Schema.String, { exact: true }),\n    timezone: Schema.optionalWith(Schema.String, { exact: true }),\n    language: Schema.optionalWith(Schema.String, { exact: true }),\n    phoneNumber: Schema.optionalWith(Schema.String, { exact: true }),\n    phoneNumberVerified: Schema.optionalWith(Schema.Boolean, { exact: true }),\n    address: Schema.optionalWith(Schema.String, { exact: true }),\n    updatedAt: Schema.optionalWith(Schema.String, { exact: true }),\n  });\n"],"mappings":";;;;;AAEA,MAAa,gBACX,uBAEA,OAAO,OAAO;CACZ,GAAG;CACH,iBAAiB,OAAO;CACxB,SAAS,OAAO;CAChB,QAAQ,OAAO;CACf,MAAM,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CACzD,WAAW,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC9D,YAAY,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC/D,UAAU,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC7D,mBAAmB,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CACtE,YAAY,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC/D,YAAY,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC/D,OAAO,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC1D,eAAe,OAAO,aAAa,OAAO,SAAS,EAAE,OAAO,MAAM,CAAC;CACnE,QAAQ,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC3D,UAAU,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC7D,UAAU,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC7D,UAAU,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC7D,aAAa,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAChE,qBAAqB,OAAO,aAAa,OAAO,SAAS,EAAE,OAAO,MAAM,CAAC;CACzE,SAAS,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC5D,WAAW,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAC/D,CAAC"}

package/dist/_virtual/rolldown_runtime.js

@@ -0,0 +1,13 @@
+//#region rolldown:runtime
+var __defProp = Object.defineProperty;
+var __export = (all) => {
+	let target = {};
+	for (var name in all) __defProp(target, name, {
+		get: all[name],
+		enumerable: true
+	});
+	return target;
+};
+
+//#endregion
+export { __export };

package/dist/index.d.ts

@@ -0,0 +1,12 @@
+import { FunctionSpec_d_exports } from "./FunctionSpec.js";
+import { GenericId_d_exports } from "./GenericId.js";
+import { GroupSpec_d_exports } from "./GroupSpec.js";
+import { GroupPath_d_exports } from "./GroupPath.js";
+import { PaginationResult_d_exports } from "./PaginationResult.js";
+import { Ref_d_exports } from "./Ref.js";
+import { Spec_d_exports } from "./Spec.js";
+import { Refs_d_exports } from "./Refs.js";
+import { SystemFields_d_exports } from "./SystemFields.js";
+import { Types_d_exports } from "./Types.js";
+import { UserIdentity_d_exports } from "./UserIdentity.js";
+export { FunctionSpec_d_exports as FunctionSpec, GenericId_d_exports as GenericId, GroupPath_d_exports as GroupPath, GroupSpec_d_exports as GroupSpec, PaginationResult_d_exports as PaginationResult, Ref_d_exports as Ref, Refs_d_exports as Refs, Spec_d_exports as Spec, SystemFields_d_exports as SystemFields, Types_d_exports as Types, UserIdentity_d_exports as UserIdentity };

package/dist/index.js

@@ -0,0 +1,13 @@
+import { FunctionSpec_exports } from "./FunctionSpec.js";
+import { GenericId_exports } from "./GenericId.js";
+import { GroupPath_exports } from "./GroupPath.js";
+import { GroupSpec_exports } from "./GroupSpec.js";
+import { PaginationResult_exports } from "./PaginationResult.js";
+import { Ref_exports } from "./Ref.js";
+import { Refs_exports } from "./Refs.js";
+import { Spec_exports } from "./Spec.js";
+import { SystemFields_exports } from "./SystemFields.js";
+import { Types_exports } from "./Types.js";
+import { UserIdentity_exports } from "./UserIdentity.js";
+
+export { FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, PaginationResult_exports as PaginationResult, Ref_exports as Ref, Refs_exports as Refs, Spec_exports as Spec, SystemFields_exports as SystemFields, Types_exports as Types, UserIdentity_exports as UserIdentity };

package/dist/internal/utils.d.ts

@@ -0,0 +1,5 @@
+//#region src/internal/utils.d.ts
+declare const validateConfectFunctionIdentifier: (identifier: string) => void;
+//#endregion
+export { validateConfectFunctionIdentifier };
+//# sourceMappingURL=utils.d.ts.map

package/dist/internal/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","names":[],"sources":["../../src/internal/utils.ts"],"sourcesContent":[],"mappings":";cAmEa"}

package/dist/internal/utils.js

@@ -0,0 +1,68 @@
+//#region src/internal/utils.ts
+const RESERVED_JS_IDENTIFIERS = new Set([
+	"break",
+	"case",
+	"catch",
+	"class",
+	"const",
+	"continue",
+	"debugger",
+	"default",
+	"delete",
+	"do",
+	"else",
+	"export",
+	"extends",
+	"finally",
+	"for",
+	"function",
+	"if",
+	"import",
+	"in",
+	"instanceof",
+	"new",
+	"return",
+	"super",
+	"switch",
+	"this",
+	"throw",
+	"try",
+	"typeof",
+	"var",
+	"void",
+	"while",
+	"with",
+	"yield",
+	"await",
+	"enum",
+	"implements",
+	"interface",
+	"let",
+	"package",
+	"private",
+	"protected",
+	"public",
+	"static",
+	"null",
+	"true",
+	"false",
+	"undefined"
+]);
+const RESERVED_CONVEX_FILE_NAMES = new Set([
+	"schema",
+	"http",
+	"crons"
+]);
+const jsIdentifierRegex = /^[a-zA-Z_$][a-zA-Z0-9_$]*$/;
+const isReservedJsIdentifier = (identifier) => RESERVED_JS_IDENTIFIERS.has(identifier);
+const isReservedConvexFileName = (fileName) => RESERVED_CONVEX_FILE_NAMES.has(fileName);
+const matchesJsIdentifierPattern = (identifier) => jsIdentifierRegex.test(identifier);
+const validateConfectFunctionIdentifier = (identifier) => {
+	if (!matchesJsIdentifierPattern(identifier)) throw new Error(`Expected a valid Confect function identifier, but received: "${identifier}". Valid identifiers must start with a letter, underscore, or dollar sign, and can only contain letters, numbers, underscores, or dollar signs.`);
+	if (isReservedJsIdentifier(identifier)) throw new Error(`Expected a valid Confect function identifier, but received: "${identifier}". "${identifier}" is a reserved JavaScript identifier.`);
+	if (isReservedConvexFileName(identifier)) throw new Error(`Expected a valid Confect function identifier, but received: "${identifier}". "${identifier}" is a reserved Convex file name.`);
+};
+
+//#endregion
+export { validateConfectFunctionIdentifier };
+//# sourceMappingURL=utils.js.map

package/dist/internal/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","names":[],"sources":["../../src/internal/utils.ts"],"sourcesContent":["const RESERVED_JS_IDENTIFIERS = new Set([\n  // Reserved keywords\n  \"break\",\n  \"case\",\n  \"catch\",\n  \"class\",\n  \"const\",\n  \"continue\",\n  \"debugger\",\n  \"default\",\n  \"delete\",\n  \"do\",\n  \"else\",\n  \"export\",\n  \"extends\",\n  \"finally\",\n  \"for\",\n  \"function\",\n  \"if\",\n  \"import\",\n  \"in\",\n  \"instanceof\",\n  \"new\",\n  \"return\",\n  \"super\",\n  \"switch\",\n  \"this\",\n  \"throw\",\n  \"try\",\n  \"typeof\",\n  \"var\",\n  \"void\",\n  \"while\",\n  \"with\",\n  \"yield\",\n  // Future reserved keywords\n  \"await\",\n  \"enum\",\n  \"implements\",\n  \"interface\",\n  \"let\",\n  \"package\",\n  \"private\",\n  \"protected\",\n  \"public\",\n  \"static\",\n  // Literal values that cannot be reassigned\n  \"null\",\n  \"true\",\n  \"false\",\n  // Global objects that shouldn't be shadowed\n  \"undefined\",\n]);\n\nconst RESERVED_CONVEX_FILE_NAMES = new Set([\"schema\", \"http\", \"crons\"]);\n\nconst jsIdentifierRegex = /^[a-zA-Z_$][a-zA-Z0-9_$]*$/;\n\nconst isReservedJsIdentifier = (identifier: string) =>\n  RESERVED_JS_IDENTIFIERS.has(identifier);\n\nconst isReservedConvexFileName = (fileName: string) =>\n  RESERVED_CONVEX_FILE_NAMES.has(fileName);\n\nconst matchesJsIdentifierPattern = (identifier: string) =>\n  jsIdentifierRegex.test(identifier);\n\nexport const validateConfectFunctionIdentifier = (identifier: string) => {\n  if (!matchesJsIdentifierPattern(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". Valid identifiers must start with a letter, underscore, or dollar sign, and can only contain letters, numbers, underscores, or dollar signs.`,\n    );\n  }\n\n  if (isReservedJsIdentifier(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". \"${identifier}\" is a reserved JavaScript identifier.`,\n    );\n  }\n\n  if (isReservedConvexFileName(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". \"${identifier}\" is a reserved Convex file name.`,\n    );\n  }\n};\n"],"mappings":";AAAA,MAAM,0BAA0B,IAAI,IAAI;CAEtC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA;CACA;CACA;CAEA;CACD,CAAC;AAEF,MAAM,6BAA6B,IAAI,IAAI;CAAC;CAAU;CAAQ;CAAQ,CAAC;AAEvE,MAAM,oBAAoB;AAE1B,MAAM,0BAA0B,eAC9B,wBAAwB,IAAI,WAAW;AAEzC,MAAM,4BAA4B,aAChC,2BAA2B,IAAI,SAAS;AAE1C,MAAM,8BAA8B,eAClC,kBAAkB,KAAK,WAAW;AAEpC,MAAa,qCAAqC,eAAuB;AACvE,KAAI,CAAC,2BAA2B,WAAW,CACzC,OAAM,IAAI,MACR,gEAAgE,WAAW,iJAC5E;AAGH,KAAI,uBAAuB,WAAW,CACpC,OAAM,IAAI,MACR,gEAAgE,WAAW,MAAM,WAAW,wCAC7F;AAGH,KAAI,yBAAyB,WAAW,CACtC,OAAM,IAAI,MACR,gEAAgE,WAAW,MAAM,WAAW,mCAC7F"}

package/package.json

@@ -0,0 +1,73 @@
+{
+  "name": "@confect/core",
+  "version": "1.0.0-next.0",
+  "description": "Confect core",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/rjdellecese/confect.git"
+  },
+  "bugs": {
+    "url": "https://github.com/rjdellecese/confect/issues"
+  },
+  "homepage": "https://confect.rjdellecese.com",
+  "sideEffects": false,
+  "type": "module",
+  "files": [
+    "CHANGELOG.md",
+    "LICENSE",
+    "README.md",
+    "dist",
+    "package.json",
+    "src"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./*": {
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    },
+    "./package.json": "./package.json",
+    "./internal/*": null
+  },
+  "keywords": [
+    "effect",
+    "convex"
+  ],
+  "author": "RJ Dellecese",
+  "license": "ISC",
+  "devDependencies": {
+    "@ark/attest": "^0.56.0",
+    "@effect/language-service": "0.56.0",
+    "@eslint/js": "9.39.1",
+    "@tsconfig/strictest": "2.0.8",
+    "@types/node": "24.10.1",
+    "eslint": "9.39.1",
+    "prettier": "3.6.2",
+    "tsdown": "0.16.4",
+    "typescript": "5.9.3",
+    "typescript-eslint": "8.46.4"
+  },
+  "peerDependencies": {
+    "convex": "^1.30.0",
+    "effect": "^3.19.3"
+  },
+  "engines": {
+    "node": ">=22",
+    "pnpm": ">=10"
+  },
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "scripts": {
+    "build": "tsdown --config-loader unrun",
+    "dev": "tsdown --watch",
+    "typecheck": "tsc --noEmit --project tsconfig.json",
+    "fix": "prettier --write . && eslint --fix . --max-warnings=0",
+    "lint": "prettier --check . && eslint . --max-warnings=0",
+    "bench": "tsx test/Refs.bench.ts",
+    "clean": "rm -rf dist coverage node_modules"
+  }
+}

package/src/FunctionSpec.ts

@@ -0,0 +1,153 @@
+import type {
+  FunctionType,
+  FunctionVisibility,
+  RegisteredAction,
+  RegisteredMutation,
+  RegisteredQuery,
+} from "convex/server";
+import type { Schema } from "effect";
+import { Predicate } from "effect";
+import { validateConfectFunctionIdentifier } from "./internal/utils";
+
+export const TypeId = "@confect/core/api/FunctionSpec";
+export type TypeId = typeof TypeId;
+
+export const isFunctionSpec = (u: unknown): u is AnyWithProps =>
+  Predicate.hasProperty(u, TypeId);
+
+export interface FunctionSpec<
+  FunctionType_ extends FunctionType,
+  FunctionVisibility_ extends FunctionVisibility,
+  Name_ extends string,
+  Args_ extends Schema.Schema.AnyNoContext,
+  Returns_ extends Schema.Schema.AnyNoContext,
+> {
+  readonly [TypeId]: TypeId;
+  readonly functionType: FunctionType_;
+  readonly functionVisibility: FunctionVisibility_;
+  readonly name: Name_;
+  readonly args: Args_;
+  readonly returns: Returns_;
+}
+
+export interface Any {
+  readonly [TypeId]: TypeId;
+}
+
+export interface AnyWithProps
+  extends FunctionSpec<
+    FunctionType,
+    FunctionVisibility,
+    string,
+    Schema.Schema.AnyNoContext,
+    Schema.Schema.AnyNoContext
+  > {}
+
+export interface AnyWithPropsWithFunctionType<
+  FunctionType_ extends FunctionType,
+> extends FunctionSpec<
+    FunctionType_,
+    FunctionVisibility,
+    string,
+    Schema.Schema.AnyNoContext,
+    Schema.Schema.AnyNoContext
+  > {}
+
+export type GetFunctionType<Function extends AnyWithProps> =
+  Function["functionType"];
+
+export type GetFunctionVisibility<Function extends AnyWithProps> =
+  Function["functionVisibility"];
+
+export type Name<Function extends AnyWithProps> = Function["name"];
+
+export type Args<Function extends AnyWithProps> = Function["args"];
+
+export type Returns<Function extends AnyWithProps> = Function["returns"];
+
+export type WithName<
+  Function extends AnyWithProps,
+  Name_ extends string,
+> = Extract<Function, { readonly name: Name_ }>;
+
+export type WithFunctionType<
+  Function extends AnyWithProps,
+  FunctionType_ extends FunctionType,
+> = Extract<Function, { readonly functionType: FunctionType_ }>;
+
+export type ExcludeName<
+  Function extends AnyWithProps,
+  Name_ extends Name<Function>,
+> = Exclude<Function, { readonly name: Name_ }>;
+
+export type RegisteredFunction<Function extends AnyWithProps> =
+  Function["functionType"] extends "query"
+    ? RegisteredQuery<
+        GetFunctionVisibility<Function>,
+        Args<Function>["Encoded"],
+        Promise<Returns<Function>["Encoded"]>
+      >
+    : Function["functionType"] extends "mutation"
+      ? RegisteredMutation<
+          GetFunctionVisibility<Function>,
+          Args<Function>["Encoded"],
+          Promise<Returns<Function>["Encoded"]>
+        >
+      : Function["functionType"] extends "action"
+        ? RegisteredAction<
+            GetFunctionVisibility<Function>,
+            Args<Function>["Encoded"],
+            Promise<Returns<Function>["Encoded"]>
+          >
+        : never;
+
+const Proto = {
+  [TypeId]: TypeId,
+};
+
+const make =
+  <
+    FunctionType_ extends FunctionType,
+    FunctionVisibility_ extends FunctionVisibility,
+  >(
+    functionType: FunctionType_,
+    functionVisibility: FunctionVisibility_,
+  ) =>
+  <
+    const Name_ extends string,
+    Args_ extends Schema.Schema.AnyNoContext,
+    Returns_ extends Schema.Schema.AnyNoContext,
+  >({
+    name,
+    args,
+    returns,
+  }: {
+    name: Name_;
+    args: Args_;
+    returns: Returns_;
+  }): FunctionSpec<
+    FunctionType_,
+    FunctionVisibility_,
+    Name_,
+    Args_,
+    Returns_
+  > => {
+    validateConfectFunctionIdentifier(name);
+
+    return Object.assign(Object.create(Proto), {
+      functionType,
+      functionVisibility,
+      name,
+      args,
+      returns,
+    });
+  };
+
+export const internalQuery = make("query", "internal");
+export const query = make("query", "public");
+
+export const internalMutation = make("mutation", "internal");
+export const mutation = make("mutation", "public");
+
+export const internalAction = make("action", "internal");
+export const action = make("action", "public");

package/src/GenericId.ts

@@ -0,0 +1,18 @@
+import type { GenericId as ConvexGenericId } from "convex/values";
+import { type Option, Schema, SchemaAST } from "effect";
+
+const ConvexId = Symbol.for("ConvexId");
+
+export const GenericId = <TableName extends string>(
+  tableName: TableName,
+): Schema.Schema<ConvexGenericId<TableName>> =>
+  Schema.String.pipe(
+    Schema.annotations({ [ConvexId]: tableName }),
+  ) as unknown as Schema.Schema<ConvexGenericId<TableName>>;
+
+export type GenericId<TableName extends string> = ConvexGenericId<TableName>;
+
+export const tableName = <TableName extends string>(
+  ast: SchemaAST.AST,
+): Option.Option<TableName> =>
+  SchemaAST.getAnnotation<TableName>(ConvexId)(ast);