@prisma-next/contract - npm Package Compare versions

Comparing version 0.14.0-dev.30 to 0.14.0-dev.31

dist/enum-accessor.d.mts

@@ -30,7 +30,3 @@ import { t as Contract } from "./contract-types-DrjCtVOs.mjs";
 }, namespaceId: string): Record<string, EnumAccessor>;
-declare function buildNamespacedEnums(domain: {
-  readonly namespaces: Readonly<Record<string, {
-    readonly enum?: Readonly<Record<string, ContractEnum>>;
-  }>>;
-}): Record<string, Record<string, EnumAccessor>>;
+declare function buildNamespacedEnums<TContract extends Contract>(domain: TContract['domain']): NamespacedEnums<TContract>;
 type Present<T> = Exclude<T, undefined>;
@@ -37,0 +33,0 @@ type EnumMemberEntry = {

dist/enum-accessor.d.mts.map

@@ -1,1 +0,1 @@
-{"version":3,"file":"enum-accessor.d.mts","names":[],"sources":["../src/enum-accessor.ts"],"mappings":";;;;;AAcA;;;;;;;;;UAAiB,YAAA;EAAA,SACN,MAAA,WAAiB,SAAA;EAAA,SACjB,KAAA;EAAA,SACA,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,SAAA;EAC1C,GAAA,CAAI,CAAA,EAAG,SAAA;EACP,OAAA,CAAQ,IAAA;EACR,MAAA,CAAO,CAAA,EAAG,SAAA;EACV,SAAA,CAAU,CAAA,EAAG,SAAA;AAAA;AAAA,iBAGC,kBAAA,CAAmB,YAAA,EAAc,YAAA,GAAe,YAAY;AAAA,iBAuB5D,yBAAA,CACd,MAAA;EAAA,SACW,UAAA,EAAY,QAAA,CACnB,MAAA;IAAA,SAA0B,IAAA,GAAO,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA;AAAA,GAG7D,WAAA,WACC,MAAA,SAAe,YAAA;AAAA,iBAWF,oBAAA,CAAqB,MAAA;EAAA,SAC1B,UAAA,EAAY,QAAA,CACnB,MAAA;IAAA,SAA0B,IAAA,GAAO,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA;AAAA,IAEzD,MAAA,SAAe,MAAA,SAAe,YAAA;AAAA,KAQ7B,OAAA,MAAa,OAAO,CAAC,CAAA;AAAA,KAErB,eAAA;EAAA,SAA6B,IAAA;EAAA,SAAuB,KAAA,EAAO,SAAS;AAAA;AAAA,KACpE,SAAA;EAAA,SAAuB,OAAA,WAAkB,eAAe;AAAA;AAAA,KAExD,eAAA,eAA8B,SAAA,2BACZ,KAAA,cAAmB,KAAA,YAAiB,CAAA,UAAW,eAAA,GAChE,KAAA,YAAiB,CAAA;AAAA,KAIlB,cAAA,eAA6B,SAAA,2BACX,KAAA,cAAmB,KAAA,YAAiB,CAAA,UAAW,eAAA,GAChE,KAAA,YAAiB,CAAA;AAAA,KAIlB,gBAAA,eAA+B,SAAA,qBACnB,KAAA,uBAA4B,CAAA,WAAY,CAAA;AAAA,KAG7C,oBAAA,eAAmC,SAAA;EAAA,SACpC,MAAA,EAAQ,eAAA,CAAgB,KAAA;EAAA,SACxB,KAAA,EAAO,cAAA,CAAe,KAAA;EAAA,SACtB,OAAA,EAAS,gBAAA,CAAiB,KAAA,GA/ClC;EAiDD,GAAA,CAAI,CAAA,EAAG,SAAA,GAAY,CAAA,IAAK,eAAA,CAAgB,KAAA,WAjDjC;EAmDP,OAAA,CAAQ,IAAA,WAAe,IAAA,IAAQ,OAAA,CAAQ,cAAA,CAAe,KAAA;EACtD,MAAA,CAAO,CAAA,EAAG,eAAA,CAAgB,KAAA;EAC1B,SAAA,CAAU,CAAA,EAAG,eAAA,CAAgB,KAAA;AAAA;;;;;;KAQnB,UAAA,MAAgB,CAAA;EAAA,SAAqB,MAAA,EAAQ,aAAa;AAAA,IAAc,CAAA;AA7DtD;AAW9B;;AAX8B,KAkElB,eAAA,MAAqB,CAAA;EAAA,SAAqB,KAAA,EAAO,aAAa;AAAA,IAAc,CAAA;AAAA,KAEnF,sBAAA,iCACkB,KAAA,GAAQ,KAAA,CAAM,CAAA,UAAW,SAAA,GAAY,oBAAA,CAAqB,KAAA,CAAM,CAAA;AAAA,KAGlF,oBAAA,cAAkC,SAAA;EAAA,SAC5B,aAAA;AAAA,IAEP,OAAA,CAAQ,CAAA,eACR,MAAA;AAAA,KAEC,oBAAA,eAAmC,UAAA;EAAA,SAC7B,IAAA;AAAA,oBAES,CAAA,GACd,MAAA,iBACA,OAAA,CAAQ,CAAA,IACV,MAAA;AAAA,KAIQ,sBAAA,mBACQ,QAAA,qBACC,SAAA,kCACX,oBAAA,CAAqB,SAAA,kBAC3B,sBAAA,CAAuB,oBAAA,CAAqB,SAAA,yBAAkC,IAAA,MAC9E,oBAAA,CAAqB,SAAA;AAAA,KAEb,eAAA,mBAAkC,QAAA,4BACtB,SAAA,2BAAoC,sBAAA,CAAuB,SAAA,EAAW,EAAA"}
+{"version":3,"file":"enum-accessor.d.mts","names":[],"sources":["../src/enum-accessor.ts"],"mappings":";;;;;AAeA;;;;;;;;;UAAiB,YAAA;EAAA,SACN,MAAA,WAAiB,SAAA;EAAA,SACjB,KAAA;EAAA,SACA,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,SAAA;EAC1C,GAAA,CAAI,CAAA,EAAG,SAAA;EACP,OAAA,CAAQ,IAAA;EACR,MAAA,CAAO,CAAA,EAAG,SAAA;EACV,SAAA,CAAU,CAAA,EAAG,SAAA;AAAA;AAAA,iBAGC,kBAAA,CAAmB,YAAA,EAAc,YAAA,GAAe,YAAY;AAAA,iBAuB5D,yBAAA,CACd,MAAA;EAAA,SACW,UAAA,EAAY,QAAA,CACnB,MAAA;IAAA,SAA0B,IAAA,GAAO,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA;AAAA,GAG7D,WAAA,WACC,MAAA,SAAe,YAAA;AAAA,iBAWF,oBAAA,mBAAuC,QAAA,EACrD,MAAA,EAAQ,SAAA,aACP,eAAA,CAAgB,SAAA;AAAA,KAWd,OAAA,MAAa,OAAO,CAAC,CAAA;AAAA,KAErB,eAAA;EAAA,SAA6B,IAAA;EAAA,SAAuB,KAAA,EAAO,SAAS;AAAA;AAAA,KACpE,SAAA;EAAA,SAAuB,OAAA,WAAkB,eAAe;AAAA;AAAA,KAExD,eAAA,eAA8B,SAAA,2BACZ,KAAA,cAAmB,KAAA,YAAiB,CAAA,UAAW,eAAA,GAChE,KAAA,YAAiB,CAAA;AAAA,KAIlB,cAAA,eAA6B,SAAA,2BACX,KAAA,cAAmB,KAAA,YAAiB,CAAA,UAAW,eAAA,GAChE,KAAA,YAAiB,CAAA;AAAA,KAIlB,gBAAA,eAA+B,SAAA,qBACnB,KAAA,uBAA4B,CAAA,WAAY,CAAA;AAAA,KAG7C,oBAAA,eAAmC,SAAA;EAAA,SACpC,MAAA,EAAQ,eAAA,CAAgB,KAAA;EAAA,SACxB,KAAA,EAAO,cAAA,CAAe,KAAA;EAAA,SACtB,OAAA,EAAS,gBAAA,CAAiB,KAAA,GApDE;EAsDrC,GAAA,CAAI,CAAA,EAAG,SAAA,GAAY,CAAA,IAAK,eAAA,CAAgB,KAAA,WAvDjB;EAyDvB,OAAA,CAAQ,IAAA,WAAe,IAAA,IAAQ,OAAA,CAAQ,cAAA,CAAe,KAAA;EACtD,MAAA,CAAO,CAAA,EAAG,eAAA,CAAgB,KAAA;EAC1B,SAAA,CAAU,CAAA,EAAG,eAAA,CAAgB,KAAA;AAAA;;;;;;KAQnB,UAAA,MAAgB,CAAA;EAAA,SAAqB,MAAA,EAAQ,aAAa;AAAA,IAAc,CAAA;;;;KAKxE,eAAA,MAAqB,CAAA;EAAA,SAAqB,KAAA,EAAO,aAAa;AAAA,IAAc,CAAA;AAAA,KAEnF,sBAAA,iCACkB,KAAA,GAAQ,KAAA,CAAM,CAAA,UAAW,SAAA,GAAY,oBAAA,CAAqB,KAAA,CAAM,CAAA;AAAA,KAGlF,oBAAA,cAAkC,SAAA;EAAA,SAC5B,aAAA;AAAA,IAEP,OAAA,CAAQ,CAAA,eACR,MAAA;AAAA,KAEC,oBAAA,eAAmC,UAAA;EAAA,SAC7B,IAAA;AAAA,oBAES,CAAA,GACd,MAAA,iBACA,OAAA,CAAQ,CAAA,IACV,MAAA;AAAA,KAIQ,sBAAA,mBACQ,QAAA,qBACC,SAAA,kCACX,oBAAA,CAAqB,SAAA,kBAC3B,sBAAA,CAAuB,oBAAA,CAAqB,SAAA,yBAAkC,IAAA,MAC9E,oBAAA,CAAqB,SAAA;AAAA,KAEb,eAAA,mBAAkC,QAAA,4BACtB,SAAA,2BAAoC,sBAAA,CAAuB,SAAA,EAAW,EAAA"}

dist/enum-accessor.mjs

@@ -0,1 +1,2 @@
+import { blindCast } from "@prisma-next/utils/casts";
 //#region src/enum-accessor.ts
@@ -29,3 +30,3 @@ function createEnumAccessor(contractEnum) {
 	for (const namespaceId of Object.keys(domain.namespaces)) result[namespaceId] = buildEnumsMapForNamespace(domain, namespaceId);
-	return result;
+	return blindCast(result);
 }
@@ -32,0 +33,0 @@ //#endregion

dist/enum-accessor.mjs.map

@@ -1,1 +0,1 @@
-{"version":3,"file":"enum-accessor.mjs","names":[],"sources":["../src/enum-accessor.ts"],"sourcesContent":["import type { Contract } from './contract-types';\nimport type { ContractEnum } from './domain-types';\nimport type { JsonValue } from './types';\n\n/**\n * Runtime view of a domain enum, built at the client from the emitted\n * `ContractEnum` JSON (codec-encoded `JsonValue` members, literal types erased).\n *\n * This deliberately mirrors the accessor shape of the authoring-time\n * `EnumTypeHandle` (in `contract-ts`) rather than reusing it: that handle carries\n * the literal value generics and lives in the authoring layer, which the\n * foundation layer cannot depend on. The two are the same surface seen from the\n * two planes — authoring (typed) and runtime (validated JSON).\n */\nexport interface EnumAccessor {\n  readonly values: readonly JsonValue[];\n  readonly names: readonly string[];\n  readonly members: Readonly<Record<string, JsonValue>>;\n  has(v: JsonValue): boolean;\n  hasName(name: string): boolean;\n  nameOf(v: JsonValue): string | undefined;\n  ordinalOf(v: JsonValue): number;\n}\n\nexport function createEnumAccessor(contractEnum: ContractEnum): EnumAccessor {\n  const values = Object.freeze(contractEnum.members.map((m) => m.value));\n  const names = Object.freeze(contractEnum.members.map((m) => m.name));\n  const members: Readonly<Record<string, JsonValue>> = Object.freeze(\n    Object.fromEntries(contractEnum.members.map((m) => [m.name, m.value])),\n  );\n\n  const valueSet = new Set(values);\n  const nameSet = Object.freeze(new Set(names));\n  const valueToName = new Map(contractEnum.members.map((m) => [m.value, m.name]));\n  const valueToOrdinal = new Map(values.map((v, i) => [v, i]));\n\n  return {\n    values,\n    names,\n    members,\n    has: (v: JsonValue) => valueSet.has(v),\n    hasName: (name: string) => nameSet.has(name),\n    nameOf: (v: JsonValue) => valueToName.get(v),\n    ordinalOf: (v: JsonValue) => valueToOrdinal.get(v) ?? -1,\n  };\n}\n\nexport function buildEnumsMapForNamespace(\n  domain: {\n    readonly namespaces: Readonly<\n      Record<string, { readonly enum?: Readonly<Record<string, ContractEnum>> }>\n    >;\n  },\n  namespaceId: string,\n): Record<string, EnumAccessor> {\n  const result: Record<string, EnumAccessor> = {};\n  const namespace = domain.namespaces[namespaceId];\n  if (namespace?.enum) {\n    for (const [name, contractEnum] of Object.entries(namespace.enum)) {\n      result[name] = createEnumAccessor(contractEnum);\n    }\n  }\n  return result;\n}\n\nexport function buildNamespacedEnums(domain: {\n  readonly namespaces: Readonly<\n    Record<string, { readonly enum?: Readonly<Record<string, ContractEnum>> }>\n  >;\n}): Record<string, Record<string, EnumAccessor>> {\n  const result: Record<string, Record<string, EnumAccessor>> = {};\n  for (const namespaceId of Object.keys(domain.namespaces)) {\n    result[namespaceId] = buildEnumsMapForNamespace(domain, namespaceId);\n  }\n  return result;\n}\n\ntype Present<T> = Exclude<T, undefined>;\n\ntype EnumMemberEntry = { readonly name: string; readonly value: JsonValue };\ntype EnumEntry = { readonly members: readonly EnumMemberEntry[] };\n\ntype EnumEntryValues<Entry extends EnumEntry> = {\n  readonly [I in keyof Entry['members']]: Entry['members'][I] extends EnumMemberEntry\n    ? Entry['members'][I]['value']\n    : never;\n};\n\ntype EnumEntryNames<Entry extends EnumEntry> = {\n  readonly [I in keyof Entry['members']]: Entry['members'][I] extends EnumMemberEntry\n    ? Entry['members'][I]['name']\n    : never;\n};\n\ntype EnumEntryMembers<Entry extends EnumEntry> = {\n  readonly [M in Entry['members'][number] as M['name']]: M['value'];\n};\n\nexport type ContractEnumAccessor<Entry extends EnumEntry> = {\n  readonly values: EnumEntryValues<Entry>;\n  readonly names: EnumEntryNames<Entry>;\n  readonly members: EnumEntryMembers<Entry>;\n  /** Returns true and narrows `v` to the enum's value union when `v` is a declared member value. */\n  has(v: JsonValue): v is EnumEntryValues<Entry>[number];\n  /** Returns true and narrows `name` to the enum's member-name union when `name` is a declared member name. */\n  hasName(name: string): name is Extract<EnumEntryNames<Entry>[number], string>;\n  nameOf(v: EnumEntryValues<Entry>[number]): string | undefined;\n  ordinalOf(v: EnumEntryValues<Entry>[number]): number;\n};\n\n/**\n * The value union for a `ContractEnumAccessor`.\n * Use in function signatures to accept any declared enum value without re-exporting\n * the member type alias from the accessor's generic entry.\n */\nexport type EnumValues<A> = A extends { readonly values: ReadonlyArray<infer V> } ? V : never;\n\n/**\n * The member-name union for a `ContractEnumAccessor`.\n */\nexport type EnumMemberNames<A> = A extends { readonly names: ReadonlyArray<infer N> } ? N : never;\n\ntype EnumEntriesToAccessors<Enums> = {\n  readonly [K in keyof Enums]: Enums[K] extends EnumEntry ? ContractEnumAccessor<Enums[K]> : never;\n};\n\ntype BuiltEnumAccessorsOf<TContract> = TContract extends {\n  readonly enumAccessors?: infer A;\n}\n  ? Exclude<A, undefined>\n  : Record<never, never>;\n\ntype NamespaceEnumEntries<TNamespace> = TNamespace extends {\n  readonly enum?: infer E;\n}\n  ? unknown extends E\n    ? Record<never, never>\n    : Present<E>\n  : Record<never, never>;\n\n// When `enumAccessors` is present (TS-DSL contract), it is the sole source because merging\n// both carriers would create conflicting `values` types for the same enum key.\nexport type NamespaceEnumAccessors<\n  TContract extends Contract,\n  NsId extends keyof TContract['domain']['namespaces'],\n> = keyof BuiltEnumAccessorsOf<TContract> extends never\n  ? EnumEntriesToAccessors<NamespaceEnumEntries<TContract['domain']['namespaces'][NsId]>>\n  : BuiltEnumAccessorsOf<TContract>;\n\nexport type NamespacedEnums<TContract extends Contract> = {\n  readonly [Ns in keyof TContract['domain']['namespaces']]: NamespaceEnumAccessors<TContract, Ns>;\n};\n"],"mappings":";AAwBA,SAAgB,mBAAmB,cAA0C;CAC3E,MAAM,SAAS,OAAO,OAAO,aAAa,QAAQ,KAAK,MAAM,EAAE,KAAK,CAAC;CACrE,MAAM,QAAQ,OAAO,OAAO,aAAa,QAAQ,KAAK,MAAM,EAAE,IAAI,CAAC;CACnE,MAAM,UAA+C,OAAO,OAC1D,OAAO,YAAY,aAAa,QAAQ,KAAK,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CACvE;CAEA,MAAM,WAAW,IAAI,IAAI,MAAM;CAC/B,MAAM,UAAU,OAAO,OAAO,IAAI,IAAI,KAAK,CAAC;CAC5C,MAAM,cAAc,IAAI,IAAI,aAAa,QAAQ,KAAK,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;CAC9E,MAAM,iBAAiB,IAAI,IAAI,OAAO,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;CAE3D,OAAO;EACL;EACA;EACA;EACA,MAAM,MAAiB,SAAS,IAAI,CAAC;EACrC,UAAU,SAAiB,QAAQ,IAAI,IAAI;EAC3C,SAAS,MAAiB,YAAY,IAAI,CAAC;EAC3C,YAAY,MAAiB,eAAe,IAAI,CAAC,KAAK;CACxD;AACF;AAEA,SAAgB,0BACd,QAKA,aAC8B;CAC9B,MAAM,SAAuC,CAAC;CAC9C,MAAM,YAAY,OAAO,WAAW;CACpC,IAAI,WAAW,MACb,KAAK,MAAM,CAAC,MAAM,iBAAiB,OAAO,QAAQ,UAAU,IAAI,GAC9D,OAAO,QAAQ,mBAAmB,YAAY;CAGlD,OAAO;AACT;AAEA,SAAgB,qBAAqB,QAIY;CAC/C,MAAM,SAAuD,CAAC;CAC9D,KAAK,MAAM,eAAe,OAAO,KAAK,OAAO,UAAU,GACrD,OAAO,eAAe,0BAA0B,QAAQ,WAAW;CAErE,OAAO;AACT"}
+{"version":3,"file":"enum-accessor.mjs","names":[],"sources":["../src/enum-accessor.ts"],"sourcesContent":["import { blindCast } from '@prisma-next/utils/casts';\nimport type { Contract } from './contract-types';\nimport type { ContractEnum } from './domain-types';\nimport type { JsonValue } from './types';\n\n/**\n * Runtime view of a domain enum, built at the client from the emitted\n * `ContractEnum` JSON (codec-encoded `JsonValue` members, literal types erased).\n *\n * This deliberately mirrors the accessor shape of the authoring-time\n * `EnumTypeHandle` (in `contract-ts`) rather than reusing it: that handle carries\n * the literal value generics and lives in the authoring layer, which the\n * foundation layer cannot depend on. The two are the same surface seen from the\n * two planes — authoring (typed) and runtime (validated JSON).\n */\nexport interface EnumAccessor {\n  readonly values: readonly JsonValue[];\n  readonly names: readonly string[];\n  readonly members: Readonly<Record<string, JsonValue>>;\n  has(v: JsonValue): boolean;\n  hasName(name: string): boolean;\n  nameOf(v: JsonValue): string | undefined;\n  ordinalOf(v: JsonValue): number;\n}\n\nexport function createEnumAccessor(contractEnum: ContractEnum): EnumAccessor {\n  const values = Object.freeze(contractEnum.members.map((m) => m.value));\n  const names = Object.freeze(contractEnum.members.map((m) => m.name));\n  const members: Readonly<Record<string, JsonValue>> = Object.freeze(\n    Object.fromEntries(contractEnum.members.map((m) => [m.name, m.value])),\n  );\n\n  const valueSet = new Set(values);\n  const nameSet = Object.freeze(new Set(names));\n  const valueToName = new Map(contractEnum.members.map((m) => [m.value, m.name]));\n  const valueToOrdinal = new Map(values.map((v, i) => [v, i]));\n\n  return {\n    values,\n    names,\n    members,\n    has: (v: JsonValue) => valueSet.has(v),\n    hasName: (name: string) => nameSet.has(name),\n    nameOf: (v: JsonValue) => valueToName.get(v),\n    ordinalOf: (v: JsonValue) => valueToOrdinal.get(v) ?? -1,\n  };\n}\n\nexport function buildEnumsMapForNamespace(\n  domain: {\n    readonly namespaces: Readonly<\n      Record<string, { readonly enum?: Readonly<Record<string, ContractEnum>> }>\n    >;\n  },\n  namespaceId: string,\n): Record<string, EnumAccessor> {\n  const result: Record<string, EnumAccessor> = {};\n  const namespace = domain.namespaces[namespaceId];\n  if (namespace?.enum) {\n    for (const [name, contractEnum] of Object.entries(namespace.enum)) {\n      result[name] = createEnumAccessor(contractEnum);\n    }\n  }\n  return result;\n}\n\nexport function buildNamespacedEnums<TContract extends Contract>(\n  domain: TContract['domain'],\n): NamespacedEnums<TContract> {\n  const result: Record<string, Record<string, EnumAccessor>> = {};\n  for (const namespaceId of Object.keys(domain.namespaces)) {\n    result[namespaceId] = buildEnumsMapForNamespace(domain, namespaceId);\n  }\n  return blindCast<\n    NamespacedEnums<TContract>,\n    'built dynamically from domain.namespaces; the mapped-type shape cannot be proven statically'\n  >(result);\n}\n\ntype Present<T> = Exclude<T, undefined>;\n\ntype EnumMemberEntry = { readonly name: string; readonly value: JsonValue };\ntype EnumEntry = { readonly members: readonly EnumMemberEntry[] };\n\ntype EnumEntryValues<Entry extends EnumEntry> = {\n  readonly [I in keyof Entry['members']]: Entry['members'][I] extends EnumMemberEntry\n    ? Entry['members'][I]['value']\n    : never;\n};\n\ntype EnumEntryNames<Entry extends EnumEntry> = {\n  readonly [I in keyof Entry['members']]: Entry['members'][I] extends EnumMemberEntry\n    ? Entry['members'][I]['name']\n    : never;\n};\n\ntype EnumEntryMembers<Entry extends EnumEntry> = {\n  readonly [M in Entry['members'][number] as M['name']]: M['value'];\n};\n\nexport type ContractEnumAccessor<Entry extends EnumEntry> = {\n  readonly values: EnumEntryValues<Entry>;\n  readonly names: EnumEntryNames<Entry>;\n  readonly members: EnumEntryMembers<Entry>;\n  /** Returns true and narrows `v` to the enum's value union when `v` is a declared member value. */\n  has(v: JsonValue): v is EnumEntryValues<Entry>[number];\n  /** Returns true and narrows `name` to the enum's member-name union when `name` is a declared member name. */\n  hasName(name: string): name is Extract<EnumEntryNames<Entry>[number], string>;\n  nameOf(v: EnumEntryValues<Entry>[number]): string | undefined;\n  ordinalOf(v: EnumEntryValues<Entry>[number]): number;\n};\n\n/**\n * The value union for a `ContractEnumAccessor`.\n * Use in function signatures to accept any declared enum value without re-exporting\n * the member type alias from the accessor's generic entry.\n */\nexport type EnumValues<A> = A extends { readonly values: ReadonlyArray<infer V> } ? V : never;\n\n/**\n * The member-name union for a `ContractEnumAccessor`.\n */\nexport type EnumMemberNames<A> = A extends { readonly names: ReadonlyArray<infer N> } ? N : never;\n\ntype EnumEntriesToAccessors<Enums> = {\n  readonly [K in keyof Enums]: Enums[K] extends EnumEntry ? ContractEnumAccessor<Enums[K]> : never;\n};\n\ntype BuiltEnumAccessorsOf<TContract> = TContract extends {\n  readonly enumAccessors?: infer A;\n}\n  ? Exclude<A, undefined>\n  : Record<never, never>;\n\ntype NamespaceEnumEntries<TNamespace> = TNamespace extends {\n  readonly enum?: infer E;\n}\n  ? unknown extends E\n    ? Record<never, never>\n    : Present<E>\n  : Record<never, never>;\n\n// When `enumAccessors` is present (TS-DSL contract), it is the sole source because merging\n// both carriers would create conflicting `values` types for the same enum key.\nexport type NamespaceEnumAccessors<\n  TContract extends Contract,\n  NsId extends keyof TContract['domain']['namespaces'],\n> = keyof BuiltEnumAccessorsOf<TContract> extends never\n  ? EnumEntriesToAccessors<NamespaceEnumEntries<TContract['domain']['namespaces'][NsId]>>\n  : BuiltEnumAccessorsOf<TContract>;\n\nexport type NamespacedEnums<TContract extends Contract> = {\n  readonly [Ns in keyof TContract['domain']['namespaces']]: NamespaceEnumAccessors<TContract, Ns>;\n};\n"],"mappings":";;AAyBA,SAAgB,mBAAmB,cAA0C;CAC3E,MAAM,SAAS,OAAO,OAAO,aAAa,QAAQ,KAAK,MAAM,EAAE,KAAK,CAAC;CACrE,MAAM,QAAQ,OAAO,OAAO,aAAa,QAAQ,KAAK,MAAM,EAAE,IAAI,CAAC;CACnE,MAAM,UAA+C,OAAO,OAC1D,OAAO,YAAY,aAAa,QAAQ,KAAK,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CACvE;CAEA,MAAM,WAAW,IAAI,IAAI,MAAM;CAC/B,MAAM,UAAU,OAAO,OAAO,IAAI,IAAI,KAAK,CAAC;CAC5C,MAAM,cAAc,IAAI,IAAI,aAAa,QAAQ,KAAK,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;CAC9E,MAAM,iBAAiB,IAAI,IAAI,OAAO,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;CAE3D,OAAO;EACL;EACA;EACA;EACA,MAAM,MAAiB,SAAS,IAAI,CAAC;EACrC,UAAU,SAAiB,QAAQ,IAAI,IAAI;EAC3C,SAAS,MAAiB,YAAY,IAAI,CAAC;EAC3C,YAAY,MAAiB,eAAe,IAAI,CAAC,KAAK;CACxD;AACF;AAEA,SAAgB,0BACd,QAKA,aAC8B;CAC9B,MAAM,SAAuC,CAAC;CAC9C,MAAM,YAAY,OAAO,WAAW;CACpC,IAAI,WAAW,MACb,KAAK,MAAM,CAAC,MAAM,iBAAiB,OAAO,QAAQ,UAAU,IAAI,GAC9D,OAAO,QAAQ,mBAAmB,YAAY;CAGlD,OAAO;AACT;AAEA,SAAgB,qBACd,QAC4B;CAC5B,MAAM,SAAuD,CAAC;CAC9D,KAAK,MAAM,eAAe,OAAO,KAAK,OAAO,UAAU,GACrD,OAAO,eAAe,0BAA0B,QAAQ,WAAW;CAErE,OAAO,UAGL,MAAM;AACV"}

package.json

 {
   "name": "@prisma-next/contract",
-  "version": "0.14.0-dev.30",
+  "version": "0.14.0-dev.31",
   "license": "Apache-2.0",
@@ -9,3 +9,3 @@ "type": "module",
   "dependencies": {
-    "@prisma-next/utils": "0.14.0-dev.30",
+    "@prisma-next/utils": "0.14.0-dev.31",
     "@standard-schema/spec": "^1.1.0",
@@ -15,4 +15,4 @@ "arktype": "^2.2.0"
   "devDependencies": {
-    "@prisma-next/tsconfig": "0.14.0-dev.30",
-    "@prisma-next/tsdown": "0.14.0-dev.30",
+    "@prisma-next/tsconfig": "0.14.0-dev.31",
+    "@prisma-next/tsdown": "0.14.0-dev.31",
     "tsdown": "0.22.1",
@@ -19,0 +19,0 @@ "typescript": "5.9.3",

src/enum-accessor.ts

@@ -0,1 +1,2 @@
+import { blindCast } from '@prisma-next/utils/casts';
 import type { Contract } from './contract-types';
@@ -66,7 +67,5 @@ import type { ContractEnum } from './domain-types';
 
-export function buildNamespacedEnums(domain: {
-  readonly namespaces: Readonly<
-    Record<string, { readonly enum?: Readonly<Record<string, ContractEnum>> }>
-  >;
-}): Record<string, Record<string, EnumAccessor>> {
+export function buildNamespacedEnums<TContract extends Contract>(
+  domain: TContract['domain'],
+): NamespacedEnums<TContract> {
   const result: Record<string, Record<string, EnumAccessor>> = {};
@@ -76,3 +75,6 @@ for (const namespaceId of Object.keys(domain.namespaces)) {
   }
-  return result;
+  return blindCast<
+    NamespacedEnums<TContract>,
+    'built dynamically from domain.namespaces; the mapped-type shape cannot be proven statically'
+  >(result);
 }
@@ -79,0 +81,0 @@

No alert changes

Improved metrics

Total package byte prevSize

235637

0.05%

Lines of code

2572

0.12%

Dependency changes

• + Added

  @prisma-next/utils@0.14.0-dev.31
  (transitive)

• - Removed

  @prisma-next/utils@0.14.0-dev.30
  (transitive)

• Updated

  @prisma-next/utils@0.14.0-dev.31