@prisma-next/target-postgres 0.16.0-dev.27 → 0.16.0-dev.29

package/package.json

@@ -1,35 +1,35 @@
 {
   "name": "@prisma-next/target-postgres",
-  "version": "0.16.0-dev.27",
+  "version": "0.16.0-dev.29",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Postgres target pack for Prisma Next",
   "dependencies": {
-    "@prisma-next/cli": "0.16.0-dev.27",
-    "@prisma-next/contract": "0.16.0-dev.27",
-    "@prisma-next/errors": "0.16.0-dev.27",
-    "@prisma-next/family-sql": "0.16.0-dev.27",
-    "@prisma-next/framework-components": "0.16.0-dev.27",
-    "@prisma-next/migration-tools": "0.16.0-dev.27",
-    "@prisma-next/psl-parser": "0.16.0-dev.27",
-    "@prisma-next/sql-contract": "0.16.0-dev.27",
-    "@prisma-next/sql-errors": "0.16.0-dev.27",
-    "@prisma-next/sql-operations": "0.16.0-dev.27",
-    "@prisma-next/sql-relational-core": "0.16.0-dev.27",
-    "@prisma-next/sql-schema-ir": "0.16.0-dev.27",
-    "@prisma-next/ts-render": "0.16.0-dev.27",
-    "@prisma-next/utils": "0.16.0-dev.27",
+    "@prisma-next/cli": "0.16.0-dev.29",
+    "@prisma-next/contract": "0.16.0-dev.29",
+    "@prisma-next/errors": "0.16.0-dev.29",
+    "@prisma-next/family-sql": "0.16.0-dev.29",
+    "@prisma-next/framework-components": "0.16.0-dev.29",
+    "@prisma-next/migration-tools": "0.16.0-dev.29",
+    "@prisma-next/psl-parser": "0.16.0-dev.29",
+    "@prisma-next/sql-contract": "0.16.0-dev.29",
+    "@prisma-next/sql-errors": "0.16.0-dev.29",
+    "@prisma-next/sql-operations": "0.16.0-dev.29",
+    "@prisma-next/sql-relational-core": "0.16.0-dev.29",
+    "@prisma-next/sql-schema-ir": "0.16.0-dev.29",
+    "@prisma-next/ts-render": "0.16.0-dev.29",
+    "@prisma-next/utils": "0.16.0-dev.29",
     "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.2.2",
     "pathe": "^2.0.3"
   },
   "devDependencies": {
-    "@prisma-next/psl-printer": "0.16.0-dev.27",
-    "@prisma-next/sql-contract-psl": "0.16.0-dev.27",
-    "@prisma-next/test-utils": "0.16.0-dev.27",
-    "@prisma-next/tsconfig": "0.16.0-dev.27",
-    "@prisma-next/tsdown": "0.16.0-dev.27",
+    "@prisma-next/psl-printer": "0.16.0-dev.29",
+    "@prisma-next/sql-contract-psl": "0.16.0-dev.29",
+    "@prisma-next/test-utils": "0.16.0-dev.29",
+    "@prisma-next/tsconfig": "0.16.0-dev.29",
+    "@prisma-next/tsdown": "0.16.0-dev.29",
     "tsdown": "0.22.8",
     "typescript": "5.9.3",
     "vitest": "4.1.10"

package/src/core/codecs.ts

@@ -1351,7 +1351,7 @@ export const codecDescriptors: readonly AnyCodecDescriptor[] = [
   pgFloat4Descriptor,
   pgFloat8Descriptor,
   pgNumericDescriptor,
-  // PSL `@db.Date` binding is deferred to remove-db-attributes' `Date` type; pin it via codecId, not a second targetTypes activation here.
+  // PSL `Date` pins this codec by ID rather than activating a second target-type mapping.
   pgDateDescriptor,
   pgTimestampDescriptor,
   pgTimestamptzDescriptor,

package/src/core/psl-infer/infer-psl-contract.ts

@@ -3,7 +3,6 @@ import type { SqlDescribedContractSpace } from '@prisma-next/family-sql/control'
 import type {
   DefaultMappingOptions,
   EnumInfo,
-  PslNativeTypeAttribute,
   PslPrinterOptions,
   PslTypeMap,
   RelationField,
@@ -18,7 +17,6 @@ import {
   toEnumName,
   toFieldName,
   toModelName,
-  toNamedTypeName,
 } from '@prisma-next/family-sql/psl-infer';
 import { coordinateKey, elementCoordinates } from '@prisma-next/framework-components/ir';
 import type {
@@ -31,10 +29,8 @@ import type {
   PslFieldAttribute,
   PslModel,
   PslModelAttribute,
-  PslNamedTypeDeclaration,
   PslSpan,
   PslTypeConstructorCall,
-  PslTypesBlock,
 } from '@prisma-next/framework-components/psl-ast';
 import {
   makePslNamespace,
@@ -46,7 +42,6 @@ import type { SqlColumnIR, SqlForeignKeyIR } from '@prisma-next/sql-schema-ir/ty
 import { SqlSchemaIR, SqlTableIR } from '@prisma-next/sql-schema-ir/types';
 import { blindCast } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
-import { InternalError } from '@prisma-next/utils/internal-error';
 import { postgresError } from '../errors';
 import type { PostgresDatabaseSchemaNode } from '../schema-ir/postgres-database-schema-node';
 import { createPostgresDefaultMapping } from './postgres-default-mapping';
@@ -76,17 +71,6 @@ type ResolvedColumnFieldName = {
 
 type TableColumnFieldNameMap = ReadonlyMap<string, ResolvedColumnFieldName>;
 
-type NamedTypeRegistryEntry = {
-  readonly name: string;
-  readonly baseType: string;
-  readonly nativeTypeAttribute: PslNativeTypeAttribute;
-};
-
-type NamedTypeRegistry = {
-  readonly entriesByKey: Map<string, NamedTypeRegistryEntry>;
-  readonly usedNames: Set<string>;
-};
-
 type TopLevelNameResult = {
   readonly name: string;
   readonly map?: string | undefined;
@@ -521,8 +505,6 @@ export function buildPslDocumentAst(
     }
   }
 
-  const reservedNamedTypeNames = createReservedNamedTypeNames(modelNames, enumNameMap);
-
   // Cross-space entries are seeded first so a real local table of the same
   // bare name (an existing single-namespace-flat-bucket limitation, not new
   // here) always wins the merge, matching `resolveForeignKeys`'s own
@@ -532,7 +514,6 @@ export function buildPslDocumentAst(
     ...buildFieldNamesByTable(schemaIR.tables),
   ]);
   const { relationsByTable } = inferRelations(schemaIR.tables, modelNameMap);
-  const namedTypes = seedNamedTypeRegistry(schemaIR, typeMap, enumNameMap, reservedNamedTypeNames);
 
   const models: PslModel[] = [];
   for (const table of Object.values(schemaIR.tables)) {
@@ -542,7 +523,6 @@ export function buildPslDocumentAst(
         typeMap,
         enumNameMap,
         fieldNamesByTable,
-        namedTypes,
         defaultMapping,
         rawDefaultParser,
         [
@@ -556,18 +536,6 @@ export function buildPslDocumentAst(
 
   const sortedModels = topologicalSort(models, schemaIR.tables, modelNameMap);
 
-  const namedTypeEntries = [...namedTypes.entriesByKey.values()].sort((a, b) =>
-    a.name.localeCompare(b.name),
-  );
-  const types: PslTypesBlock | undefined =
-    namedTypeEntries.length > 0
-      ? {
-          kind: 'types',
-          declarations: namedTypeEntries.map(buildNamedTypeDeclaration),
-          span: SYNTHETIC_SPAN,
-        }
-      : undefined;
-
   // Inferred PSL nodes will eventually be routed into per-namespace buckets
   // matching the source storage; for now everything lands in a single bucket.
   // Without a `namespaceName` that bucket is the synthesised `__unspecified__`
@@ -586,7 +554,6 @@ export function buildPslDocumentAst(
         span: SYNTHETIC_SPAN,
       }),
     ],
-    ...(types ? { types } : {}),
     span: SYNTHETIC_SPAN,
   };
 
@@ -680,7 +647,6 @@ function buildModel(
   typeMap: PslTypeMap,
   enumNameMap: ReadonlyMap<string, string>,
   fieldNamesByTable: ReadonlyMap<string, TableColumnFieldNameMap>,
-  namedTypes: NamedTypeRegistry,
   defaultMapping: DefaultMappingOptions | undefined,
   rawDefaultParser: PslPrinterOptions['parseRawDefault'],
   relationFields: readonly RelationField[],
@@ -713,7 +679,6 @@ function buildModel(
         typeMap,
         enumNameMap,
         fieldNameMap,
-        namedTypes,
         defaultMapping,
         rawDefaultParser,
         pkColumns,
@@ -832,7 +797,6 @@ function buildScalarField(
   typeMap: PslTypeMap,
   enumNameMap: ReadonlyMap<string, string>,
   fieldNameMap: TableColumnFieldNameMap | undefined,
-  namedTypes: NamedTypeRegistry,
   defaultMapping: DefaultMappingOptions | undefined,
   rawDefaultParser: PslPrinterOptions['parseRawDefault'],
   pkColumns: ReadonlySet<string>,
@@ -866,8 +830,15 @@ function buildScalarField(
   // the Phase-1 authoring form a `native_enum` ref field takes — not a bare
   // name substitution. The printer renders `typeConstructor` when present and
   // composes `?`/`[]` exactly like any other field type.
-  let typeName = resolution.pslType;
-  let typeConstructor: PslTypeConstructorCall | undefined;
+  let typeName = resolution.pslType.name;
+  let typeConstructor: PslTypeConstructorCall | undefined = resolution.pslType.args
+    ? {
+        kind: 'typeConstructor',
+        path: [resolution.pslType.name],
+        args: resolution.pslType.args.map(positionalArg),
+        span: SYNTHETIC_SPAN,
+      }
+    : undefined;
   const enumPslName = enumNameMap.get(column.nativeType);
   if (enumPslName) {
     typeName = enumPslName;
@@ -878,9 +849,6 @@ function buildScalarField(
       span: SYNTHETIC_SPAN,
     };
   }
-  if (resolution.nativeTypeAttribute && !enumPslName) {
-    typeName = resolveNamedTypeName(namedTypes, resolution);
-  }
 
   const attributes: PslFieldAttribute[] = [];
   const isId = isSinglePk && pkColumns.has(column.name);
@@ -1080,21 +1048,6 @@ function namedArg(name: string, value: string): PslAttributeArgument {
   return { kind: 'named', name, value, span: SYNTHETIC_SPAN };
 }
 
-function buildNamedTypeDeclaration(entry: NamedTypeRegistryEntry): PslNamedTypeDeclaration {
-  const attribute = buildAttribute(
-    'namedType',
-    entry.nativeTypeAttribute.name,
-    (entry.nativeTypeAttribute.args ?? []).map(positionalArg),
-  );
-  return {
-    kind: 'namedType',
-    name: entry.name,
-    baseType: entry.baseType,
-    attributes: [attribute],
-    span: SYNTHETIC_SPAN,
-  };
-}
-
 function escapePslString(value: string): string {
   return value
     .replace(/\\/g, '\\\\')
@@ -1249,131 +1202,6 @@ function buildTopLevelNameMap(
   return results;
 }
 
-function createReservedNamedTypeNames(
-  modelNames: ReadonlyMap<string, TopLevelNameResult>,
-  enumNameMap: ReadonlyMap<string, string>,
-): Set<string> {
-  const reservedNames = new Set<string>(PSL_SCALAR_TYPE_NAMES);
-
-  for (const result of modelNames.values()) {
-    reservedNames.add(result.name);
-  }
-  for (const enumPslName of enumNameMap.values()) {
-    reservedNames.add(enumPslName);
-  }
-
-  return reservedNames;
-}
-
-function seedNamedTypeRegistry(
-  schemaIR: SqlSchemaIR,
-  typeMap: PslTypeMap,
-  enumNameMap: ReadonlyMap<string, string>,
-  reservedNames: ReadonlySet<string>,
-): NamedTypeRegistry {
-  type Seed = {
-    readonly baseType: string;
-    readonly desiredName: string;
-    readonly nativeTypeAttribute: PslNativeTypeAttribute;
-  };
-
-  const seeds = new Map<string, Seed>();
-
-  for (const tableName of Object.keys(schemaIR.tables).sort()) {
-    const table = schemaIR.tables[tableName];
-    if (!table) {
-      continue;
-    }
-
-    for (const columnName of Object.keys(table.columns).sort()) {
-      const column = table.columns[columnName];
-      if (!column) {
-        continue;
-      }
-
-      const resolution = typeMap.resolve(column.nativeType, table.annotations);
-      if (
-        'unsupported' in resolution ||
-        enumNameMap.has(column.nativeType) ||
-        !resolution.nativeTypeAttribute
-      ) {
-        continue;
-      }
-
-      const signatureKey = createNamedTypeSignatureKey(resolution);
-      if (!seeds.has(signatureKey)) {
-        seeds.set(signatureKey, {
-          baseType: resolution.pslType,
-          desiredName: toNamedTypeName(column.name),
-          nativeTypeAttribute: resolution.nativeTypeAttribute,
-        });
-      }
-    }
-  }
-
-  const registry: NamedTypeRegistry = {
-    entriesByKey: new Map<string, NamedTypeRegistryEntry>(),
-    usedNames: new Set<string>(reservedNames),
-  };
-
-  const sortedSeeds = [...seeds.entries()].sort((left, right) => {
-    const desiredNameComparison = left[1].desiredName.localeCompare(right[1].desiredName);
-    if (desiredNameComparison !== 0) {
-      return desiredNameComparison;
-    }
-    return left[0].localeCompare(right[0]);
-  });
-
-  for (const [signatureKey, seed] of sortedSeeds) {
-    const name = createUniqueFieldName(seed.desiredName, registry.usedNames);
-    registry.entriesByKey.set(signatureKey, {
-      name,
-      baseType: seed.baseType,
-      nativeTypeAttribute: seed.nativeTypeAttribute,
-    });
-    registry.usedNames.add(name);
-  }
-
-  return registry;
-}
-
-function resolveNamedTypeName(
-  registry: NamedTypeRegistry,
-  resolution: {
-    readonly pslType: string;
-    readonly nativeType: string;
-    readonly typeParams?: Record<string, unknown>;
-    readonly nativeTypeAttribute?: PslNativeTypeAttribute;
-  },
-): string {
-  const key = createNamedTypeSignatureKey(resolution);
-  const existing = registry.entriesByKey.get(key);
-  if (existing) {
-    return existing.name;
-  }
-
-  throw new InternalError(
-    `Named type registry was not seeded for native type "${resolution.nativeType}"`,
-  );
-}
-
-function createNamedTypeSignatureKey(resolution: {
-  readonly pslType: string;
-  readonly nativeType: string;
-  readonly typeParams?: Record<string, unknown>;
-  readonly nativeTypeAttribute?: PslNativeTypeAttribute;
-}): string {
-  return JSON.stringify({
-    baseType: resolution.pslType,
-    nativeTypeAttribute: resolution.nativeTypeAttribute
-      ? {
-          name: resolution.nativeTypeAttribute.name,
-          args: resolution.nativeTypeAttribute.args ?? null,
-        }
-      : null,
-  });
-}
-
 function topologicalSort(
   models: PslModel[],
   tables: Record<string, SqlTableIR>,

package/src/core/psl-infer/postgres-type-map.ts

@@ -1,8 +1,4 @@
-import type {
-  PslNativeTypeAttribute,
-  PslTypeMap,
-  PslTypeResolution,
-} from '@prisma-next/family-sql/psl-infer';
+import type { PslTypeMap, PslTypeResolution } from '@prisma-next/family-sql/psl-infer';
 
 const POSTGRES_TO_PSL: Record<string, string> = {
   text: 'String',
@@ -14,51 +10,46 @@ const POSTGRES_TO_PSL: Record<string, string> = {
   bigint: 'BigInt',
   float8: 'Float',
   'double precision': 'Float',
-  numeric: 'Decimal',
-  decimal: 'Decimal',
-  timestamptz: 'DateTime',
-  'timestamp with time zone': 'DateTime',
   jsonb: 'Jsonb',
   bytea: 'Bytes',
 };
 
-const PRESERVED_NATIVE_TYPES: Record<
-  string,
-  { readonly pslType: string; readonly attributeName: string }
-> = {
-  'character varying': { pslType: 'String', attributeName: 'db.VarChar' },
-  character: { pslType: 'String', attributeName: 'db.Char' },
-  char: { pslType: 'String', attributeName: 'db.Char' },
-  varchar: { pslType: 'String', attributeName: 'db.VarChar' },
-  uuid: { pslType: 'String', attributeName: 'db.Uuid' },
-  inet: { pslType: 'String', attributeName: 'db.Inet' },
-  int2: { pslType: 'Int', attributeName: 'db.SmallInt' },
-  smallint: { pslType: 'Int', attributeName: 'db.SmallInt' },
-  float4: { pslType: 'Float', attributeName: 'db.Real' },
-  real: { pslType: 'Float', attributeName: 'db.Real' },
-  timestamp: { pslType: 'DateTime', attributeName: 'db.Timestamp' },
-  'timestamp without time zone': { pslType: 'DateTime', attributeName: 'db.Timestamp' },
-  date: { pslType: 'DateTime', attributeName: 'db.Date' },
-  time: { pslType: 'DateTime', attributeName: 'db.Time' },
-  'time without time zone': { pslType: 'DateTime', attributeName: 'db.Time' },
-  timetz: { pslType: 'DateTime', attributeName: 'db.Timetz' },
-  'time with time zone': { pslType: 'DateTime', attributeName: 'db.Timetz' },
-  json: { pslType: 'Json', attributeName: 'db.Json' },
+const PRESERVED_NATIVE_TYPES: Record<string, string> = {
+  'character varying': 'VarChar',
+  character: 'Char',
+  char: 'Char',
+  varchar: 'VarChar',
+  uuid: 'Uuid',
+  inet: 'Inet',
+  int2: 'SmallInt',
+  smallint: 'SmallInt',
+  float4: 'Real',
+  real: 'Real',
+  numeric: 'Numeric',
+  decimal: 'Numeric',
+  timestamp: 'Timestamp',
+  'timestamp without time zone': 'Timestamp',
+  timestamptz: 'Timestamptz',
+  'timestamp with time zone': 'Timestamptz',
+  date: 'Date',
+  time: 'Time',
+  'time without time zone': 'Time',
+  timetz: 'Timetz',
+  'time with time zone': 'Timetz',
+  json: 'Json',
 };
 
-const PARAMETERIZED_NATIVE_TYPES: Record<
-  string,
-  { readonly pslType: string; readonly attributeName: string }
-> = {
-  'character varying': { pslType: 'String', attributeName: 'db.VarChar' },
-  character: { pslType: 'String', attributeName: 'db.Char' },
-  char: { pslType: 'String', attributeName: 'db.Char' },
-  varchar: { pslType: 'String', attributeName: 'db.VarChar' },
-  numeric: { pslType: 'Decimal', attributeName: 'db.Numeric' },
-  timestamp: { pslType: 'DateTime', attributeName: 'db.Timestamp' },
-  timestamptz: { pslType: 'DateTime', attributeName: 'db.Timestamptz' },
-  time: { pslType: 'DateTime', attributeName: 'db.Time' },
-  timetz: { pslType: 'DateTime', attributeName: 'db.Timetz' },
+const PARAMETERIZED_NATIVE_TYPES: Record<string, string> = {
+  'character varying': 'VarChar',
+  character: 'Char',
+  char: 'Char',
+  varchar: 'VarChar',
+  numeric: 'Numeric',
+  decimal: 'Numeric',
+  timestamp: 'Timestamp',
+  timestamptz: 'Timestamptz',
+  time: 'Time',
+  timetz: 'Timetz',
 };
 
 const PARAMETERIZED_TYPE_PATTERN = /^(.+?)\((.+)\)$/;
@@ -67,14 +58,6 @@ function getOwnMappingValue(map: Record<string, string>, key: string): string |
   return Object.hasOwn(map, key) ? map[key] : undefined;
 }
 
-function getOwnRecordValue<T>(map: Record<string, T>, key: string): T | undefined {
-  return Object.hasOwn(map, key) ? map[key] : undefined;
-}
-
-function createNativeTypeAttribute(name: string, args?: readonly string[]): PslNativeTypeAttribute {
-  return args && args.length > 0 ? { name, args } : { name };
-}
-
 function splitTypeParameterList(params: string): readonly string[] {
   return params
     .split(',')
@@ -86,39 +69,34 @@ export function createPostgresTypeMap(enumTypeNames?: ReadonlySet<string>): PslT
   return {
     resolve(nativeType: string): PslTypeResolution {
       if (enumTypeNames?.has(nativeType)) {
-        return { pslType: nativeType, nativeType };
+        return { pslType: { name: nativeType }, nativeType };
       }
 
       const paramMatch = nativeType.match(PARAMETERIZED_TYPE_PATTERN);
       if (paramMatch) {
         const [, baseType = nativeType, params = ''] = paramMatch;
-        const template = getOwnRecordValue(PARAMETERIZED_NATIVE_TYPES, baseType);
-        if (template) {
+        const typeName = getOwnMappingValue(PARAMETERIZED_NATIVE_TYPES, baseType);
+        if (typeName) {
           return {
-            pslType: template.pslType,
+            pslType: { name: typeName, args: splitTypeParameterList(params) },
             nativeType,
             typeParams: { baseType, params },
-            nativeTypeAttribute: createNativeTypeAttribute(
-              template.attributeName,
-              splitTypeParameterList(params),
-            ),
           };
         }
       }
 
-      const preservedType = getOwnRecordValue(PRESERVED_NATIVE_TYPES, nativeType);
+      const preservedType = getOwnMappingValue(PRESERVED_NATIVE_TYPES, nativeType);
       if (preservedType) {
         return {
-          pslType: preservedType.pslType,
+          pslType: { name: preservedType },
           nativeType,
-          nativeTypeAttribute: createNativeTypeAttribute(preservedType.attributeName),
         };
       }
 
       const pslType = getOwnMappingValue(POSTGRES_TO_PSL, nativeType);
       if (pslType) {
         return {
-          pslType,
+          pslType: { name: pslType },
           nativeType,
         };
       }