@confect/core 10.0.0-next.0 → 10.0.0-next.2

package/dist/Spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"Spec.js","names":["GroupSpec.withName"],"sources":["../src/Spec.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as GroupSpec from \"./GroupSpec\";\n\nexport const TypeId = \"@confect/core/Spec\";\nexport type TypeId = typeof TypeId;\n\nexport const isSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\n/**\n * A Confect spec: a flat container of function groups. Groups may be of any\n * runtime — a group built with `GroupSpec.makeNode()` (a Node action group) sits\n * alongside `GroupSpec.make()` groups in the same namespace. The runtime of a\n * group lives on the group itself (`GroupSpec.runtime`) and on each function's\n * `RuntimeAndFunctionType`; the spec does not carry a runtime of its own.\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  addAt<const Name extends string, Group extends GroupSpec.AnyWithProps>(\n    name: Name,\n    group: Group,\n  ): Spec<Groups_ | GroupSpec.NamedAt<Group, Name>>;\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  addAt<Group extends GroupSpec.AnyWithProps>(\n    this: AnyWithProps,\n    name: string,\n    group: Group,\n  ) {\n    return makeProto({\n      groups: Record.set(this.groups, name, GroupSpec.withName(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":";;;;;;;;;;;AAIA,MAAa,SAAS;AAGtB,MAAa,UAAU,MACrB,UAAU,YAAY,GAAG,OAAO;AAqClC,MAAM,QAAQ;EACX,SAAS;CAEV,IAA8D,OAAc;AAC1E,SAAO,UAAU,EACf,QAAQ,OAAO,IAAI,KAAK,QAAQ,MAAM,MAAM,MAAM,EACnD,CAAC;;CAGJ,MAEE,MACA,OACA;AACA,SAAO,UAAU,EACf,QAAQ,OAAO,IAAI,KAAK,QAAQ,MAAMA,SAAmB,MAAM,MAAM,CAAC,EACvE,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"}
+{"version":3,"file":"Spec.js","names":["GroupSpec.withName"],"sources":["../src/Spec.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as GroupSpec from \"./GroupSpec\";\n\nexport const TypeId = \"@confect/core/Spec\";\nexport type TypeId = typeof TypeId;\n\nexport const isSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\n/**\n * A Confect spec: a flat container of function groups. Groups may be of any\n * runtime — a group built with `GroupSpec.makeNode()` (a Node action group) sits\n * alongside `GroupSpec.make()` groups in the same namespace. The runtime of a\n * group lives on the group itself (`GroupSpec.runtime`) and on each function's\n * `RuntimeAndFunctionType`; the spec does not carry a runtime of its own.\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  addAt<const Name extends string, Group extends GroupSpec.AnyWithProps>(\n    name: Name,\n    group: Group,\n  ): Spec<Groups_ | GroupSpec.NamedAt<Group, Name>>;\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  addAt<Group extends GroupSpec.AnyWithProps>(\n    this: AnyWithProps,\n    name: string,\n    group: Group,\n  ) {\n    return makeProto({\n      groups: Record.set(this.groups, name, GroupSpec.withName(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":";;;;;;;;;;AAIA,MAAa,SAAS;AAGtB,MAAa,UAAU,MACrB,UAAU,YAAY,GAAG,MAAM;AAqCjC,MAAM,QAAQ;EACX,SAAS;CAEV,IAA8D,OAAc;EAC1E,OAAO,UAAU,EACf,QAAQ,OAAO,IAAI,KAAK,QAAQ,MAAM,MAAM,KAAK,EACnD,CAAC;CACH;CAEA,MAEE,MACA,OACA;EACA,OAAO,UAAU,EACf,QAAQ,OAAO,IAAI,KAAK,QAAQ,MAAMA,SAAmB,MAAM,KAAK,CAAC,EACvE,CAAC;CACH;AACF;AAEA,MAAM,aAAqD,EACzD,aAIA,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG,EAClC,OACF,CAAC;AAEH,MAAa,aAAmB,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC"}

package/dist/SystemFields.js

@@ -11,7 +11,6 @@ import * as Array from "effect/Array";
 import * as SchemaGetter from "effect/SchemaGetter";
 import * as SchemaTransformation from "effect/SchemaTransformation";
 import * as Struct from "effect/Struct";
-
 //#region src/SystemFields.ts
 var SystemFields_exports = /* @__PURE__ */ __exportAll({
 	SystemFields: () => SystemFields,
@@ -95,7 +94,7 @@ const extendWithSystemFields = (tableName, schema) => {
 	};
 	return extend(schema);
 };
-
 //#endregion
 export { SystemFields, SystemFields_exports, extendWithSystemFields };
+
 //# sourceMappingURL=SystemFields.js.map

package/dist/SystemFields.js.map

@@ -1 +1 @@
-{"version":3,"file":"SystemFields.js","names":["GenericId.GenericId"],"sources":["../src/SystemFields.ts"],"sourcesContent":["import type { IdField, SystemFields as NonIdSystemFields } from \"convex/server\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Effect from \"effect/Effect\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as SchemaGetter from \"effect/SchemaGetter\";\nimport * as SchemaTransformation from \"effect/SchemaTransformation\";\nimport * as Struct from \"effect/Struct\";\nimport * as GenericId from \"./GenericId\";\n\n/**\n * Produces a schema for Convex system fields. In Confect, system fields include `_id`.\n */\nexport const SystemFields = <TableName extends string>(tableName: TableName) =>\n  Schema.Struct({\n    _id: GenericId.GenericId(tableName),\n    _creationTime: Schema.Number,\n  });\n\n/**\n * The field map added to a table schema, derived from {@link SystemFields} so it\n * stays in lockstep with the runtime schema.\n */\ntype SystemFieldsFor<TableName extends string> = ReturnType<\n  typeof SystemFields<TableName>\n>[\"fields\"];\n\n/**\n * The system field names, derived from {@link SystemFields} so they stay in\n * lockstep with the schema.\n */\nconst systemFieldNames: ReadonlyArray<string> = Record.keys(\n  SystemFields(\"\").fields,\n);\n\nconst isSystemFieldKey = (key: string | symbol): key is string =>\n  Predicate.isString(key) && Array.contains(systemFieldNames, key);\n\nconst splitSystemFields = (input: { [key: PropertyKey]: unknown }) => {\n  const keys = Reflect.ownKeys(input);\n  const pick = (pickedKeys: ReadonlyArray<string | symbol>) =>\n    Record.fromEntries(\n      Array.map(pickedKeys, (key) => [key, input[key]] as const),\n    );\n  return {\n    system: pick(Array.filter(keys, isSystemFieldKey)),\n    rest: pick(Array.filter(keys, Predicate.not(isSystemFieldKey))),\n  };\n};\n\n/**\n * Wraps a transformation getter so the system fields bypass it: they are split\n * off the input before the user-defined getter runs and merged back into its\n * output. Transformations construct fresh objects, so without this the system\n * fields would be dropped at every transformation step.\n */\nconst wrapGetter = (\n  getter: SchemaGetter.Getter<any, any, any>,\n): SchemaGetter.Getter<any, any, any> =>\n  new SchemaGetter.Getter((input, options) => {\n    if (Option.isNone(input) || !Predicate.isObject(input.value)) {\n      return getter.run(input, options);\n    }\n    const { system, rest } = splitSystemFields(input.value);\n    return getter\n      .run(Option.some(rest), options)\n      .pipe(\n        Effect.map(\n          Option.map((output) =>\n            Predicate.isObject(output) ? Struct.assign(output, system) : output,\n          ),\n        ),\n      );\n  });\n\nconst wrapTransformation = (\n  transformation: SchemaAST.Link[\"transformation\"],\n): SchemaTransformation.Transformation<any, any, any, any> => {\n  if (!SchemaTransformation.isTransformation(transformation)) {\n    throw new Error(\n      \"Cannot extend a table schema that uses decoding/encoding middleware with system fields\",\n    );\n  }\n  return new SchemaTransformation.Transformation(\n    wrapGetter(transformation.decode),\n    wrapGetter(transformation.encode),\n  );\n};\n\n/**\n * Builds an AST walker that adds the given system-field property signatures to\n * every object node of a schema's AST — including each step of its encoding\n * chain — wrapping transformations so the fields survive them.\n */\nconst makeExtendAst = (\n  systemPropertySignatures: ReadonlyArray<SchemaAST.PropertySignature>,\n) => {\n  const extendEncoding = (encoding: SchemaAST.Encoding): SchemaAST.Encoding =>\n    Array.map(\n      encoding,\n      (link) =>\n        new SchemaAST.Link(\n          extendAst(link.to),\n          wrapTransformation(link.transformation),\n        ),\n    );\n\n  const extendAst = (ast: SchemaAST.AST): SchemaAST.AST => {\n    if (SchemaAST.isUnion(ast)) {\n      return new SchemaAST.Union(\n        Array.map(ast.types, extendAst),\n        ast.mode,\n        ast.annotations,\n        ast.checks,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n        ast.encodingChecks,\n      );\n    }\n    if (SchemaAST.isSuspend(ast)) {\n      return new SchemaAST.Suspend(\n        () => extendAst(ast.thunk()),\n        ast.annotations,\n        undefined,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n      );\n    }\n    if (SchemaAST.isObjects(ast)) {\n      return new SchemaAST.Objects(\n        Array.appendAll(ast.propertySignatures, systemPropertySignatures),\n        ast.indexSignatures,\n        ast.annotations,\n        ast.checks,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n        ast.encodingChecks,\n      );\n    }\n    throw new Error(\n      ast._tag === \"Declaration\"\n        ? \"Cannot extend a `Declaration` schema (such as a `Schema.Class`) with system fields: its decoded values are constructed instances, which cannot gain extra fields. Use a plain `Schema.Struct`, or transform to one with `Schema.decodeTo`.\"\n        : `Cannot extend a \\`${ast._tag}\\` schema node with system fields: a table schema must resolve to an object shape at every step of its encoding.`,\n    );\n  };\n\n  return extendAst;\n};\n\n/**\n * Extend a table schema with Convex system fields.\n *\n * A plain `Struct` gains the fields via `Schema.fieldsAssign` and a `Union`\n * has them distributed across its members, preserving the schema's\n * `Struct`/`Union` structure. Any other object-shaped schema — one built with\n * `Schema.decodeTo`/`Schema.encodeKeys`, a branded struct, a suspended schema\n * — is extended at the AST level: every object node in its encoding chain\n * gains the system fields, and each transformation is wrapped so the fields\n * bypass the user-defined getters. Schemas that do not resolve to an object\n * shape at every step (such as `Schema.Class`, whose decoded values are class\n * instances) are rejected with a descriptive error.\n *\n * Note that struct-level checks on an extended schema observe the value with\n * the system fields attached, and encoding an extended schema emits the system\n * fields alongside the table fields.\n */\nexport const extendWithSystemFields = <\n  TableName extends string,\n  TableSchema extends Schema.Codec<any, any>,\n>(\n  tableName: TableName,\n  schema: TableSchema,\n): ExtendWithSystemFields<TableName, TableSchema> => {\n  const system = SystemFields(tableName).fields;\n\n  const extendAst = makeExtendAst(\n    pipe(\n      system,\n      Record.toEntries,\n      Array.map(\n        ([name, field]) => new SchemaAST.PropertySignature(name, field.ast),\n      ),\n    ),\n  );\n\n  const extend = (s: Schema.Top): Schema.Top => {\n    if (\n      s.ast.encoding === undefined &&\n      SchemaAST.isUnion(s.ast) &&\n      Array.isArray(\n        (s as Partial<Schema.Union<ReadonlyArray<Schema.Top>>>).members,\n      )\n    ) {\n      return Schema.Union(\n        Array.map(\n          (s as Schema.Union<ReadonlyArray<Schema.Top>>).members,\n          extend,\n        ),\n      );\n    }\n    if (\n      s.ast.encoding === undefined &&\n      SchemaAST.isObjects(s.ast) &&\n      typeof (s as Partial<Schema.Struct<Schema.Struct.Fields>>).mapFields ===\n        \"function\"\n    ) {\n      return Schema.fieldsAssign(system)(\n        s as Schema.Struct<Schema.Struct.Fields>,\n      );\n    }\n    return Schema.make(extendAst(s.ast));\n  };\n\n  return extend(schema) as unknown as ExtendWithSystemFields<\n    TableName,\n    TableSchema\n  >;\n};\n\n/**\n * Applies the system fields to a single struct, mirroring `Schema.fieldsAssign`.\n * Any other (already-extended or opaque) schema falls back to a `Codec` carrying\n * the system-field document shape.\n */\ntype ApplySystemFields<TableName extends string, S> =\n  S extends Schema.Struct<infer Fields extends Schema.Struct.Fields>\n    ? Schema.Struct<\n        Struct.Simplify<Struct.Assign<Fields, SystemFieldsFor<TableName>>>\n      >\n    : S extends Schema.Codec<infer Type, infer Encoded>\n      ? Schema.Codec<\n          WithSystemFields<TableName, Type>,\n          WithSystemFields<TableName, Encoded>\n        >\n      : never;\n\n/**\n * Extend a table schema with Convex system fields at the type level.\n *\n * This mirrors the runtime {@link extendWithSystemFields}: a `Struct` gains the\n * system fields directly (matching `Schema.fieldsAssign`), and a `Union` has\n * them distributed across its members (matching\n * `union.mapMembers(Tuple.map(Schema.fieldsAssign(...)))`). The `Struct`/`Union`\n * structure is preserved rather than collapsed to a bare `Codec`; any other\n * schema falls back to a `Codec` carrying the system-field document shape,\n * matching the runtime's AST-level extension.\n */\nexport type ExtendWithSystemFields<\n  TableName extends string,\n  TableSchema extends Schema.Top,\n> =\n  TableSchema extends Schema.Union<\n    infer Members extends ReadonlyArray<Schema.Top>\n  >\n    ? Schema.Union<\n        Struct.Simplify<\n          Readonly<{\n            [K in keyof Members]: ExtendWithSystemFields<TableName, Members[K]>;\n          }>\n        >\n      >\n    : ApplySystemFields<TableName, TableSchema>;\n\n/**\n * The decoded/encoded document shape: a table's fields plus Convex's system\n * fields. Deliberately a bare intersection (no `Expand`/`Simplify`) — flattening\n * it with a homomorphic mapped type collapses to `{ [x: string]: any }` when\n * `Document` is still an unresolved generic, which breaks structural\n * comparability in the database reader/writer plumbing.\n */\nexport type WithSystemFields<\n  TableName extends string,\n  Document,\n> = Document extends unknown\n  ? IdField<TableName> & NonIdSystemFields & Document\n  : never;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAiBA,MAAa,gBAA0C,cACrD,OAAO,OAAO;CACZ,KAAKA,UAAoB,UAAU;CACnC,eAAe,OAAO;CACvB,CAAC;;;;;AAcJ,MAAM,mBAA0C,OAAO,KACrD,aAAa,GAAG,CAAC,OAClB;AAED,MAAM,oBAAoB,QACxB,UAAU,SAAS,IAAI,IAAI,MAAM,SAAS,kBAAkB,IAAI;AAElE,MAAM,qBAAqB,UAA2C;CACpE,MAAM,OAAO,QAAQ,QAAQ,MAAM;CACnC,MAAM,QAAQ,eACZ,OAAO,YACL,MAAM,IAAI,aAAa,QAAQ,CAAC,KAAK,MAAM,KAAK,CAAU,CAC3D;AACH,QAAO;EACL,QAAQ,KAAK,MAAM,OAAO,MAAM,iBAAiB,CAAC;EAClD,MAAM,KAAK,MAAM,OAAO,MAAM,UAAU,IAAI,iBAAiB,CAAC,CAAC;EAChE;;;;;;;;AASH,MAAM,cACJ,WAEA,IAAI,aAAa,QAAQ,OAAO,YAAY;AAC1C,KAAI,OAAO,OAAO,MAAM,IAAI,CAAC,UAAU,SAAS,MAAM,MAAM,CAC1D,QAAO,OAAO,IAAI,OAAO,QAAQ;CAEnC,MAAM,EAAE,QAAQ,SAAS,kBAAkB,MAAM,MAAM;AACvD,QAAO,OACJ,IAAI,OAAO,KAAK,KAAK,EAAE,QAAQ,CAC/B,KACC,OAAO,IACL,OAAO,KAAK,WACV,UAAU,SAAS,OAAO,GAAG,OAAO,OAAO,QAAQ,OAAO,GAAG,OAC9D,CACF,CACF;EACH;AAEJ,MAAM,sBACJ,mBAC4D;AAC5D,KAAI,CAAC,qBAAqB,iBAAiB,eAAe,CACxD,OAAM,IAAI,MACR,yFACD;AAEH,QAAO,IAAI,qBAAqB,eAC9B,WAAW,eAAe,OAAO,EACjC,WAAW,eAAe,OAAO,CAClC;;;;;;;AAQH,MAAM,iBACJ,6BACG;CACH,MAAM,kBAAkB,aACtB,MAAM,IACJ,WACC,SACC,IAAI,UAAU,KACZ,UAAU,KAAK,GAAG,EAClB,mBAAmB,KAAK,eAAe,CACxC,CACJ;CAEH,MAAM,aAAa,QAAsC;AACvD,MAAI,UAAU,QAAQ,IAAI,CACxB,QAAO,IAAI,UAAU,MACnB,MAAM,IAAI,IAAI,OAAO,UAAU,EAC/B,IAAI,MACJ,IAAI,aACJ,IAAI,QACJ,IAAI,aAAa,SAAY,SAAY,eAAe,IAAI,SAAS,EACrE,IAAI,SACJ,IAAI,eACL;AAEH,MAAI,UAAU,UAAU,IAAI,CAC1B,QAAO,IAAI,UAAU,cACb,UAAU,IAAI,OAAO,CAAC,EAC5B,IAAI,aACJ,QACA,IAAI,aAAa,SAAY,SAAY,eAAe,IAAI,SAAS,EACrE,IAAI,QACL;AAEH,MAAI,UAAU,UAAU,IAAI,CAC1B,QAAO,IAAI,UAAU,QACnB,MAAM,UAAU,IAAI,oBAAoB,yBAAyB,EACjE,IAAI,iBACJ,IAAI,aACJ,IAAI,QACJ,IAAI,aAAa,SAAY,SAAY,eAAe,IAAI,SAAS,EACrE,IAAI,SACJ,IAAI,eACL;AAEH,QAAM,IAAI,MACR,IAAI,SAAS,gBACT,+OACA,qBAAqB,IAAI,KAAK,kHACnC;;AAGH,QAAO;;;;;;;;;;;;;;;;;;;AAoBT,MAAa,0BAIX,WACA,WACmD;CACnD,MAAM,SAAS,aAAa,UAAU,CAAC;CAEvC,MAAM,YAAY,cAChB,KACE,QACA,OAAO,WACP,MAAM,KACH,CAAC,MAAM,WAAW,IAAI,UAAU,kBAAkB,MAAM,MAAM,IAAI,CACpE,CACF,CACF;CAED,MAAM,UAAU,MAA8B;AAC5C,MACE,EAAE,IAAI,aAAa,UACnB,UAAU,QAAQ,EAAE,IAAI,IACxB,MAAM,QACH,EAAuD,QACzD,CAED,QAAO,OAAO,MACZ,MAAM,IACH,EAA8C,SAC/C,OACD,CACF;AAEH,MACE,EAAE,IAAI,aAAa,UACnB,UAAU,UAAU,EAAE,IAAI,IAC1B,OAAQ,EAAmD,cACzD,WAEF,QAAO,OAAO,aAAa,OAAO,CAChC,EACD;AAEH,SAAO,OAAO,KAAK,UAAU,EAAE,IAAI,CAAC;;AAGtC,QAAO,OAAO,OAAO"}
+{"version":3,"file":"SystemFields.js","names":["GenericId.GenericId"],"sources":["../src/SystemFields.ts"],"sourcesContent":["import type { IdField, SystemFields as NonIdSystemFields } from \"convex/server\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Effect from \"effect/Effect\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as SchemaGetter from \"effect/SchemaGetter\";\nimport * as SchemaTransformation from \"effect/SchemaTransformation\";\nimport * as Struct from \"effect/Struct\";\nimport * as GenericId from \"./GenericId\";\n\n/**\n * Produces a schema for Convex system fields. In Confect, system fields include `_id`.\n */\nexport const SystemFields = <TableName extends string>(tableName: TableName) =>\n  Schema.Struct({\n    _id: GenericId.GenericId(tableName),\n    _creationTime: Schema.Number,\n  });\n\n/**\n * The field map added to a table schema, derived from {@link SystemFields} so it\n * stays in lockstep with the runtime schema.\n */\ntype SystemFieldsFor<TableName extends string> = ReturnType<\n  typeof SystemFields<TableName>\n>[\"fields\"];\n\n/**\n * The system field names, derived from {@link SystemFields} so they stay in\n * lockstep with the schema.\n */\nconst systemFieldNames: ReadonlyArray<string> = Record.keys(\n  SystemFields(\"\").fields,\n);\n\nconst isSystemFieldKey = (key: string | symbol): key is string =>\n  Predicate.isString(key) && Array.contains(systemFieldNames, key);\n\nconst splitSystemFields = (input: { [key: PropertyKey]: unknown }) => {\n  const keys = Reflect.ownKeys(input);\n  const pick = (pickedKeys: ReadonlyArray<string | symbol>) =>\n    Record.fromEntries(\n      Array.map(pickedKeys, (key) => [key, input[key]] as const),\n    );\n  return {\n    system: pick(Array.filter(keys, isSystemFieldKey)),\n    rest: pick(Array.filter(keys, Predicate.not(isSystemFieldKey))),\n  };\n};\n\n/**\n * Wraps a transformation getter so the system fields bypass it: they are split\n * off the input before the user-defined getter runs and merged back into its\n * output. Transformations construct fresh objects, so without this the system\n * fields would be dropped at every transformation step.\n */\nconst wrapGetter = (\n  getter: SchemaGetter.Getter<any, any, any>,\n): SchemaGetter.Getter<any, any, any> =>\n  new SchemaGetter.Getter((input, options) => {\n    if (Option.isNone(input) || !Predicate.isObject(input.value)) {\n      return getter.run(input, options);\n    }\n    const { system, rest } = splitSystemFields(input.value);\n    return getter\n      .run(Option.some(rest), options)\n      .pipe(\n        Effect.map(\n          Option.map((output) =>\n            Predicate.isObject(output) ? Struct.assign(output, system) : output,\n          ),\n        ),\n      );\n  });\n\nconst wrapTransformation = (\n  transformation: SchemaAST.Link[\"transformation\"],\n): SchemaTransformation.Transformation<any, any, any, any> => {\n  if (!SchemaTransformation.isTransformation(transformation)) {\n    throw new Error(\n      \"Cannot extend a table schema that uses decoding/encoding middleware with system fields\",\n    );\n  }\n  return new SchemaTransformation.Transformation(\n    wrapGetter(transformation.decode),\n    wrapGetter(transformation.encode),\n  );\n};\n\n/**\n * Builds an AST walker that adds the given system-field property signatures to\n * every object node of a schema's AST — including each step of its encoding\n * chain — wrapping transformations so the fields survive them.\n */\nconst makeExtendAst = (\n  systemPropertySignatures: ReadonlyArray<SchemaAST.PropertySignature>,\n) => {\n  const extendEncoding = (encoding: SchemaAST.Encoding): SchemaAST.Encoding =>\n    Array.map(\n      encoding,\n      (link) =>\n        new SchemaAST.Link(\n          extendAst(link.to),\n          wrapTransformation(link.transformation),\n        ),\n    );\n\n  const extendAst = (ast: SchemaAST.AST): SchemaAST.AST => {\n    if (SchemaAST.isUnion(ast)) {\n      return new SchemaAST.Union(\n        Array.map(ast.types, extendAst),\n        ast.mode,\n        ast.annotations,\n        ast.checks,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n        ast.encodingChecks,\n      );\n    }\n    if (SchemaAST.isSuspend(ast)) {\n      return new SchemaAST.Suspend(\n        () => extendAst(ast.thunk()),\n        ast.annotations,\n        undefined,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n      );\n    }\n    if (SchemaAST.isObjects(ast)) {\n      return new SchemaAST.Objects(\n        Array.appendAll(ast.propertySignatures, systemPropertySignatures),\n        ast.indexSignatures,\n        ast.annotations,\n        ast.checks,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n        ast.encodingChecks,\n      );\n    }\n    throw new Error(\n      ast._tag === \"Declaration\"\n        ? \"Cannot extend a `Declaration` schema (such as a `Schema.Class`) with system fields: its decoded values are constructed instances, which cannot gain extra fields. Use a plain `Schema.Struct`, or transform to one with `Schema.decodeTo`.\"\n        : `Cannot extend a \\`${ast._tag}\\` schema node with system fields: a table schema must resolve to an object shape at every step of its encoding.`,\n    );\n  };\n\n  return extendAst;\n};\n\n/**\n * Extend a table schema with Convex system fields.\n *\n * A plain `Struct` gains the fields via `Schema.fieldsAssign` and a `Union`\n * has them distributed across its members, preserving the schema's\n * `Struct`/`Union` structure. Any other object-shaped schema — one built with\n * `Schema.decodeTo`/`Schema.encodeKeys`, a branded struct, a suspended schema\n * — is extended at the AST level: every object node in its encoding chain\n * gains the system fields, and each transformation is wrapped so the fields\n * bypass the user-defined getters. Schemas that do not resolve to an object\n * shape at every step (such as `Schema.Class`, whose decoded values are class\n * instances) are rejected with a descriptive error.\n *\n * Note that struct-level checks on an extended schema observe the value with\n * the system fields attached, and encoding an extended schema emits the system\n * fields alongside the table fields.\n */\nexport const extendWithSystemFields = <\n  TableName extends string,\n  TableSchema extends Schema.Codec<any, any>,\n>(\n  tableName: TableName,\n  schema: TableSchema,\n): ExtendWithSystemFields<TableName, TableSchema> => {\n  const system = SystemFields(tableName).fields;\n\n  const extendAst = makeExtendAst(\n    pipe(\n      system,\n      Record.toEntries,\n      Array.map(\n        ([name, field]) => new SchemaAST.PropertySignature(name, field.ast),\n      ),\n    ),\n  );\n\n  const extend = (s: Schema.Top): Schema.Top => {\n    if (\n      s.ast.encoding === undefined &&\n      SchemaAST.isUnion(s.ast) &&\n      Array.isArray(\n        (s as Partial<Schema.Union<ReadonlyArray<Schema.Top>>>).members,\n      )\n    ) {\n      return Schema.Union(\n        Array.map(\n          (s as Schema.Union<ReadonlyArray<Schema.Top>>).members,\n          extend,\n        ),\n      );\n    }\n    if (\n      s.ast.encoding === undefined &&\n      SchemaAST.isObjects(s.ast) &&\n      typeof (s as Partial<Schema.Struct<Schema.Struct.Fields>>).mapFields ===\n        \"function\"\n    ) {\n      return Schema.fieldsAssign(system)(\n        s as Schema.Struct<Schema.Struct.Fields>,\n      );\n    }\n    return Schema.make(extendAst(s.ast));\n  };\n\n  return extend(schema) as unknown as ExtendWithSystemFields<\n    TableName,\n    TableSchema\n  >;\n};\n\n/**\n * Applies the system fields to a single struct, mirroring `Schema.fieldsAssign`.\n * Any other (already-extended or opaque) schema falls back to a `Codec` carrying\n * the system-field document shape.\n */\ntype ApplySystemFields<TableName extends string, S> =\n  S extends Schema.Struct<infer Fields extends Schema.Struct.Fields>\n    ? Schema.Struct<\n        Struct.Simplify<Struct.Assign<Fields, SystemFieldsFor<TableName>>>\n      >\n    : S extends Schema.Codec<infer Type, infer Encoded>\n      ? Schema.Codec<\n          WithSystemFields<TableName, Type>,\n          WithSystemFields<TableName, Encoded>\n        >\n      : never;\n\n/**\n * Extend a table schema with Convex system fields at the type level.\n *\n * This mirrors the runtime {@link extendWithSystemFields}: a `Struct` gains the\n * system fields directly (matching `Schema.fieldsAssign`), and a `Union` has\n * them distributed across its members (matching\n * `union.mapMembers(Tuple.map(Schema.fieldsAssign(...)))`). The `Struct`/`Union`\n * structure is preserved rather than collapsed to a bare `Codec`; any other\n * schema falls back to a `Codec` carrying the system-field document shape,\n * matching the runtime's AST-level extension.\n */\nexport type ExtendWithSystemFields<\n  TableName extends string,\n  TableSchema extends Schema.Top,\n> =\n  TableSchema extends Schema.Union<\n    infer Members extends ReadonlyArray<Schema.Top>\n  >\n    ? Schema.Union<\n        Struct.Simplify<\n          Readonly<{\n            [K in keyof Members]: ExtendWithSystemFields<TableName, Members[K]>;\n          }>\n        >\n      >\n    : ApplySystemFields<TableName, TableSchema>;\n\n/**\n * The decoded/encoded document shape: a table's fields plus Convex's system\n * fields. Deliberately a bare intersection (no `Expand`/`Simplify`) — flattening\n * it with a homomorphic mapped type collapses to `{ [x: string]: any }` when\n * `Document` is still an unresolved generic, which breaks structural\n * comparability in the database reader/writer plumbing.\n */\nexport type WithSystemFields<\n  TableName extends string,\n  Document,\n> = Document extends unknown\n  ? IdField<TableName> & NonIdSystemFields & Document\n  : never;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAiBA,MAAa,gBAA0C,cACrD,OAAO,OAAO;CACZ,KAAKA,UAAoB,SAAS;CAClC,eAAe,OAAO;AACxB,CAAC;;;;;AAcH,MAAM,mBAA0C,OAAO,KACrD,aAAa,EAAE,CAAC,CAAC,MACnB;AAEA,MAAM,oBAAoB,QACxB,UAAU,SAAS,GAAG,KAAK,MAAM,SAAS,kBAAkB,GAAG;AAEjE,MAAM,qBAAqB,UAA2C;CACpE,MAAM,OAAO,QAAQ,QAAQ,KAAK;CAClC,MAAM,QAAQ,eACZ,OAAO,YACL,MAAM,IAAI,aAAa,QAAQ,CAAC,KAAK,MAAM,IAAI,CAAU,CAC3D;CACF,OAAO;EACL,QAAQ,KAAK,MAAM,OAAO,MAAM,gBAAgB,CAAC;EACjD,MAAM,KAAK,MAAM,OAAO,MAAM,UAAU,IAAI,gBAAgB,CAAC,CAAC;CAChE;AACF;;;;;;;AAQA,MAAM,cACJ,WAEA,IAAI,aAAa,QAAQ,OAAO,YAAY;CAC1C,IAAI,OAAO,OAAO,KAAK,KAAK,CAAC,UAAU,SAAS,MAAM,KAAK,GACzD,OAAO,OAAO,IAAI,OAAO,OAAO;CAElC,MAAM,EAAE,QAAQ,SAAS,kBAAkB,MAAM,KAAK;CACtD,OAAO,OACJ,IAAI,OAAO,KAAK,IAAI,GAAG,OAAO,CAAC,CAC/B,KACC,OAAO,IACL,OAAO,KAAK,WACV,UAAU,SAAS,MAAM,IAAI,OAAO,OAAO,QAAQ,MAAM,IAAI,MAC/D,CACF,CACF;AACJ,CAAC;AAEH,MAAM,sBACJ,mBAC4D;CAC5D,IAAI,CAAC,qBAAqB,iBAAiB,cAAc,GACvD,MAAM,IAAI,MACR,wFACF;CAEF,OAAO,IAAI,qBAAqB,eAC9B,WAAW,eAAe,MAAM,GAChC,WAAW,eAAe,MAAM,CAClC;AACF;;;;;;AAOA,MAAM,iBACJ,6BACG;CACH,MAAM,kBAAkB,aACtB,MAAM,IACJ,WACC,SACC,IAAI,UAAU,KACZ,UAAU,KAAK,EAAE,GACjB,mBAAmB,KAAK,cAAc,CACxC,CACJ;CAEF,MAAM,aAAa,QAAsC;EACvD,IAAI,UAAU,QAAQ,GAAG,GACvB,OAAO,IAAI,UAAU,MACnB,MAAM,IAAI,IAAI,OAAO,SAAS,GAC9B,IAAI,MACJ,IAAI,aACJ,IAAI,QACJ,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,SACJ,IAAI,cACN;EAEF,IAAI,UAAU,UAAU,GAAG,GACzB,OAAO,IAAI,UAAU,cACb,UAAU,IAAI,MAAM,CAAC,GAC3B,IAAI,aACJ,KAAA,GACA,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,OACN;EAEF,IAAI,UAAU,UAAU,GAAG,GACzB,OAAO,IAAI,UAAU,QACnB,MAAM,UAAU,IAAI,oBAAoB,wBAAwB,GAChE,IAAI,iBACJ,IAAI,aACJ,IAAI,QACJ,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,SACJ,IAAI,cACN;EAEF,MAAM,IAAI,MACR,IAAI,SAAS,gBACT,+OACA,qBAAqB,IAAI,KAAK,iHACpC;CACF;CAEA,OAAO;AACT;;;;;;;;;;;;;;;;;;AAmBA,MAAa,0BAIX,WACA,WACmD;CACnD,MAAM,SAAS,aAAa,SAAS,CAAC,CAAC;CAEvC,MAAM,YAAY,cAChB,KACE,QACA,OAAO,WACP,MAAM,KACH,CAAC,MAAM,WAAW,IAAI,UAAU,kBAAkB,MAAM,MAAM,GAAG,CACpE,CACF,CACF;CAEA,MAAM,UAAU,MAA8B;EAC5C,IACE,EAAE,IAAI,aAAa,KAAA,KACnB,UAAU,QAAQ,EAAE,GAAG,KACvB,MAAM,QACH,EAAuD,OAC1D,GAEA,OAAO,OAAO,MACZ,MAAM,IACH,EAA8C,SAC/C,MACF,CACF;EAEF,IACE,EAAE,IAAI,aAAa,KAAA,KACnB,UAAU,UAAU,EAAE,GAAG,KACzB,OAAQ,EAAmD,cACzD,YAEF,OAAO,OAAO,aAAa,MAAM,CAAC,CAChC,CACF;EAEF,OAAO,OAAO,KAAK,UAAU,EAAE,GAAG,CAAC;CACrC;CAEA,OAAO,OAAO,MAAM;AAItB"}

package/dist/Types.d.ts

@@ -10,7 +10,7 @@ export type IsValueLiteral<Vl> = [Vl] extends [never] ? never : IsUnion<Vl> exte
  */
 export 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;
 export type DeepMutable<T> = IsAny<T> extends true ? any : T extends NonRecursiveLeaf ? 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]>;
+    -readonly [K in keyof T]: IsOptional<T, K> extends true ? DeepMutable<Exclude<T[K], undefined>> : DeepMutable<T[K]>;
 };
 export type TypeError<Message extends string, T = never> = [Message, T];
 export type TypeDefect<Message extends string, T = never> = [Message, T];

package/dist/Types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Types.d.ts","sourceRoot":"","sources":["../src/Types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACtB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEpC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IACzC,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEvC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEtD,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GACvD,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAGV,MAAM,MAAM,cAAc,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACjD,KAAK,GACL,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,KAAK,GACL,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,GAC/C,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,KAAK,GACL,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,IAAI,GACZ,KAAK,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzC,KAAK,GACL,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC/B,MAAM,SAAS,MAAM,CAAC,GACpB,MAAM,CAAC,SAAS,MAAM,GACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GACzB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,GACzB,IAAI,GACJ,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,CAAC,IACvB,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,GAAG,GACH,CAAC,SAAS,gBAAgB,GACxB,CAAC,GACD,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACrC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GACnC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC5B,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACnB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvB,CAAC,GACD;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE9D,MAAM,MAAM,SAAS,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAExE,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,IAAI,SAAS,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAExE,KAAK,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;AAExE,KAAK,WAAW,CAAC,CAAC,EAAE,KAAK,SAAS,GAAG,EAAE,GAAG,EAAE,IAC1C,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,KAAK,GACL,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,gBAAgB,GACxB,KAAK,GACL,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,GACrB,IAAI,GACJ,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACtB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAC9B,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GACpB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,MAAM,GACd,IAAI,SAAS;KACV,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;CACjD,CAAC,MAAM,CAAC,CAAC,GACR,IAAI,GACJ,KAAK,GACP,KAAK,GACjB,KAAK,CAAC;AAQd,MAAM,MAAM,YAAY,CAAC,CAAC,IACxB,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;AAE3E,KAAK,aAAa,CAAC,CAAC,EAAE,MAAM,SAAS,OAAO,EAAE,IAC5C,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,GAClC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,MAAM,GACN,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GAC1D,KAAK,CAAC;AAEZ,KAAK,aAAa,CAAC,CAAC,IAClB,cAAc,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACjE,CAAC,EAAE,MAAM,MAAM,KACZ,IAAI,GACL,MAAM,GACN,KAAK,CAAC;AAEZ,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAC5E,CAAC,EAAE,MAAM,YAAY,KAClB,IAAI,GACL,YAAY,GACZ,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC;AAMlD,MAAM,MAAM,oBAAoB,CAC9B,eAAe,SAAS,gBAAgB,EACxC,KAAK,SAAS,qBAAqB,CAAC,eAAe,CAAC,EACpD,CAAC,SAAS,MAAM,EAAE,IAChB,CAAC,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,GAAG,CAAC,GACvC,IAAI,SAAS,SAAS,MAAM,EAAE,GAC5B;KACG,CAAC,IAAI,MAAM,IAAI,GAAG,sBAAsB,CACvC,cAAc,CAAC,eAAe,EAAE,KAAK,CAAC,EACtC,IAAI,CAAC,CAAC,CAAC,CACR;CACF,GACD,KAAK,GACP,KAAK,CAAC;AAGV,MAAM,MAAM,kBAAkB,CAAC,SAAS,SAAS,gBAAgB,IAAI;IACnE,GAAG,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,KAAK,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC;CAClD,CAAC"}
+{"version":3,"file":"Types.d.ts","sourceRoot":"","sources":["../src/Types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACtB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEpC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IACzC,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEvC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEtD,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GACvD,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAGV,MAAM,MAAM,cAAc,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACjD,KAAK,GACL,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,KAAK,GACL,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,GAC/C,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,KAAK,GACL,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,IAAI,GACZ,KAAK,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzC,KAAK,GACL,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC/B,MAAM,SAAS,MAAM,CAAC,GACpB,MAAM,CAAC,SAAS,MAAM,GACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GACzB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,GACzB,IAAI,GACJ,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,CAAC,IACvB,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,GAAG,GACH,CAAC,SAAS,gBAAgB,GACxB,CAAC,GACD,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACrC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GACnC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC5B,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACnB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvB,CAAC,GACD;IACE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnD,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GACrC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtB,CAAC;AAEhB,MAAM,MAAM,SAAS,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAExE,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,IAAI,SAAS,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAExE,KAAK,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;AAExE,KAAK,WAAW,CAAC,CAAC,EAAE,KAAK,SAAS,GAAG,EAAE,GAAG,EAAE,IAC1C,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,KAAK,GACL,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,gBAAgB,GACxB,KAAK,GACL,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,GACrB,IAAI,GACJ,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACtB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAC9B,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GACpB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,MAAM,GACd,IAAI,SAAS;KACV,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;CACjD,CAAC,MAAM,CAAC,CAAC,GACR,IAAI,GACJ,KAAK,GACP,KAAK,GACjB,KAAK,CAAC;AAQd,MAAM,MAAM,YAAY,CAAC,CAAC,IACxB,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;AAE3E,KAAK,aAAa,CAAC,CAAC,EAAE,MAAM,SAAS,OAAO,EAAE,IAC5C,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,GAClC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,MAAM,GACN,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GAC1D,KAAK,CAAC;AAEZ,KAAK,aAAa,CAAC,CAAC,IAClB,cAAc,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACjE,CAAC,EAAE,MAAM,MAAM,KACZ,IAAI,GACL,MAAM,GACN,KAAK,CAAC;AAEZ,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAC5E,CAAC,EAAE,MAAM,YAAY,KAClB,IAAI,GACL,YAAY,GACZ,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC;AAMlD,MAAM,MAAM,oBAAoB,CAC9B,eAAe,SAAS,gBAAgB,EACxC,KAAK,SAAS,qBAAqB,CAAC,eAAe,CAAC,EACpD,CAAC,SAAS,MAAM,EAAE,IAChB,CAAC,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,GAAG,CAAC,GACvC,IAAI,SAAS,SAAS,MAAM,EAAE,GAC5B;KACG,CAAC,IAAI,MAAM,IAAI,GAAG,sBAAsB,CACvC,cAAc,CAAC,eAAe,EAAE,KAAK,CAAC,EACtC,IAAI,CAAC,CAAC,CAAC,CACR;CACF,GACD,KAAK,GACP,KAAK,CAAC;AAGV,MAAM,MAAM,kBAAkB,CAAC,SAAS,SAAS,gBAAgB,IAAI;IACnE,GAAG,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,KAAK,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC;CAClD,CAAC"}

package/dist/Types.js

@@ -1,8 +1,7 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
-
 //#region src/Types.ts
 var Types_exports = /* @__PURE__ */ __exportAll({});
-
 //#endregion
 export { Types_exports };
+
 //# sourceMappingURL=Types.js.map

package/dist/Types.js.map

@@ -1 +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 NonRecursiveLeaf\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 TypeError<Message extends string, T = never> = [Message, T];\n\nexport type TypeDefect<Message extends string, T = never> = [Message, T];\n\nexport type IsRecursive<T> = true extends DetectCycle<T> ? true : false;\n\ntype NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;\n\ntype DetectCycle<T, Cache extends any[] = []> =\n  IsAny<T> extends true\n    ? false\n    : [T] extends [any]\n      ? T extends NonRecursiveLeaf\n        ? false\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":""}
+{"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 NonRecursiveLeaf\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            : {\n                -readonly [K in keyof T]: IsOptional<T, K> extends true\n                  ? DeepMutable<Exclude<T[K], undefined>>\n                  : DeepMutable<T[K]>;\n              };\n\nexport type TypeError<Message extends string, T = never> = [Message, T];\n\nexport type TypeDefect<Message extends string, T = never> = [Message, T];\n\nexport type IsRecursive<T> = true extends DetectCycle<T> ? true : false;\n\ntype NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;\n\ntype DetectCycle<T, Cache extends any[] = []> =\n  IsAny<T> extends true\n    ? false\n    : [T] extends [any]\n      ? T extends NonRecursiveLeaf\n        ? false\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.js

@@ -1,6 +1,5 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import * as Schema from "effect/Schema";
-
 //#region src/UserIdentity.ts
 var UserIdentity_exports = /* @__PURE__ */ __exportAll({ UserIdentity: () => UserIdentity });
 const UserIdentity = (customClaimsFields) => Schema.Struct({
@@ -26,7 +25,7 @@ const UserIdentity = (customClaimsFields) => Schema.Struct({
 	address: Schema.optionalKey(Schema.String),
 	updatedAt: Schema.optionalKey(Schema.String)
 });
-
 //#endregion
 export { UserIdentity, UserIdentity_exports };
+
 //# sourceMappingURL=UserIdentity.js.map

package/dist/UserIdentity.js.map

@@ -1 +1 @@
-{"version":3,"file":"UserIdentity.js","names":[],"sources":["../src/UserIdentity.ts"],"sourcesContent":["import * as Schema from \"effect/Schema\";\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.optionalKey(Schema.String),\n    givenName: Schema.optionalKey(Schema.String),\n    familyName: Schema.optionalKey(Schema.String),\n    nickname: Schema.optionalKey(Schema.String),\n    preferredUsername: Schema.optionalKey(Schema.String),\n    profileUrl: Schema.optionalKey(Schema.String),\n    pictureUrl: Schema.optionalKey(Schema.String),\n    email: Schema.optionalKey(Schema.String),\n    emailVerified: Schema.optionalKey(Schema.Boolean),\n    gender: Schema.optionalKey(Schema.String),\n    birthday: Schema.optionalKey(Schema.String),\n    timezone: Schema.optionalKey(Schema.String),\n    language: Schema.optionalKey(Schema.String),\n    phoneNumber: Schema.optionalKey(Schema.String),\n    phoneNumberVerified: Schema.optionalKey(Schema.Boolean),\n    address: Schema.optionalKey(Schema.String),\n    updatedAt: Schema.optionalKey(Schema.String),\n  });\n"],"mappings":";;;;;AAEA,MAAa,gBACX,uBAEA,OAAO,OAAO;CACZ,GAAG;CACH,iBAAiB,OAAO;CACxB,SAAS,OAAO;CAChB,QAAQ,OAAO;CACf,MAAM,OAAO,YAAY,OAAO,OAAO;CACvC,WAAW,OAAO,YAAY,OAAO,OAAO;CAC5C,YAAY,OAAO,YAAY,OAAO,OAAO;CAC7C,UAAU,OAAO,YAAY,OAAO,OAAO;CAC3C,mBAAmB,OAAO,YAAY,OAAO,OAAO;CACpD,YAAY,OAAO,YAAY,OAAO,OAAO;CAC7C,YAAY,OAAO,YAAY,OAAO,OAAO;CAC7C,OAAO,OAAO,YAAY,OAAO,OAAO;CACxC,eAAe,OAAO,YAAY,OAAO,QAAQ;CACjD,QAAQ,OAAO,YAAY,OAAO,OAAO;CACzC,UAAU,OAAO,YAAY,OAAO,OAAO;CAC3C,UAAU,OAAO,YAAY,OAAO,OAAO;CAC3C,UAAU,OAAO,YAAY,OAAO,OAAO;CAC3C,aAAa,OAAO,YAAY,OAAO,OAAO;CAC9C,qBAAqB,OAAO,YAAY,OAAO,QAAQ;CACvD,SAAS,OAAO,YAAY,OAAO,OAAO;CAC1C,WAAW,OAAO,YAAY,OAAO,OAAO;CAC7C,CAAC"}
+{"version":3,"file":"UserIdentity.js","names":[],"sources":["../src/UserIdentity.ts"],"sourcesContent":["import * as Schema from \"effect/Schema\";\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.optionalKey(Schema.String),\n    givenName: Schema.optionalKey(Schema.String),\n    familyName: Schema.optionalKey(Schema.String),\n    nickname: Schema.optionalKey(Schema.String),\n    preferredUsername: Schema.optionalKey(Schema.String),\n    profileUrl: Schema.optionalKey(Schema.String),\n    pictureUrl: Schema.optionalKey(Schema.String),\n    email: Schema.optionalKey(Schema.String),\n    emailVerified: Schema.optionalKey(Schema.Boolean),\n    gender: Schema.optionalKey(Schema.String),\n    birthday: Schema.optionalKey(Schema.String),\n    timezone: Schema.optionalKey(Schema.String),\n    language: Schema.optionalKey(Schema.String),\n    phoneNumber: Schema.optionalKey(Schema.String),\n    phoneNumberVerified: Schema.optionalKey(Schema.Boolean),\n    address: Schema.optionalKey(Schema.String),\n    updatedAt: Schema.optionalKey(Schema.String),\n  });\n"],"mappings":";;;;AAEA,MAAa,gBACX,uBAEA,OAAO,OAAO;CACZ,GAAG;CACH,iBAAiB,OAAO;CACxB,SAAS,OAAO;CAChB,QAAQ,OAAO;CACf,MAAM,OAAO,YAAY,OAAO,MAAM;CACtC,WAAW,OAAO,YAAY,OAAO,MAAM;CAC3C,YAAY,OAAO,YAAY,OAAO,MAAM;CAC5C,UAAU,OAAO,YAAY,OAAO,MAAM;CAC1C,mBAAmB,OAAO,YAAY,OAAO,MAAM;CACnD,YAAY,OAAO,YAAY,OAAO,MAAM;CAC5C,YAAY,OAAO,YAAY,OAAO,MAAM;CAC5C,OAAO,OAAO,YAAY,OAAO,MAAM;CACvC,eAAe,OAAO,YAAY,OAAO,OAAO;CAChD,QAAQ,OAAO,YAAY,OAAO,MAAM;CACxC,UAAU,OAAO,YAAY,OAAO,MAAM;CAC1C,UAAU,OAAO,YAAY,OAAO,MAAM;CAC1C,UAAU,OAAO,YAAY,OAAO,MAAM;CAC1C,aAAa,OAAO,YAAY,OAAO,MAAM;CAC7C,qBAAqB,OAAO,YAAY,OAAO,OAAO;CACtD,SAAS,OAAO,YAAY,OAAO,MAAM;CACzC,WAAW,OAAO,YAAY,OAAO,MAAM;AAC7C,CAAC"}

package/dist/_virtual/_rolldown/runtime.js

@@ -2,17 +2,12 @@
 var __defProp = Object.defineProperty;
 var __exportAll = (all, no_symbols) => {
 	let target = {};
-	for (var name in all) {
-		__defProp(target, name, {
-			get: all[name],
-			enumerable: true
-		});
-	}
-	if (!no_symbols) {
-		__defProp(target, Symbol.toStringTag, { value: "Module" });
-	}
+	for (var name in all) __defProp(target, name, {
+		get: all[name],
+		enumerable: true
+	});
+	if (!no_symbols) __defProp(target, Symbol.toStringTag, { value: "Module" });
 	return target;
 };
-
 //#endregion
-export { __exportAll };
+export { __exportAll };

package/dist/index.js

@@ -14,5 +14,4 @@ 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 { FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Identifier_exports as Identifier, Lazy_exports as Lazy, PaginationResult_exports as PaginationResult, Ref_exports as Ref, Refs_exports as Refs, Registry_exports as Registry, RuntimeAndFunctionType_exports as RuntimeAndFunctionType, Spec_exports as Spec, SystemFields_exports as SystemFields, Types_exports as Types, UserIdentity_exports as UserIdentity };
+export { FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Identifier_exports as Identifier, Lazy_exports as Lazy, PaginationResult_exports as PaginationResult, Ref_exports as Ref, Refs_exports as Refs, Registry_exports as Registry, RuntimeAndFunctionType_exports as RuntimeAndFunctionType, Spec_exports as Spec, SystemFields_exports as SystemFields, Types_exports as Types, UserIdentity_exports as UserIdentity };