@prisma-next/family-sql 0.14.0-dev.31 → 0.14.0-dev.32

package/dist/migration.d.mts

@@ -1,4 +1,6 @@
 import { T as SqlPlanTargetDetails, p as SqlMigrationPlanOperation } from "./types-BxsFkHYv.mjs";
+import { Contract } from "@prisma-next/contract/types";
+import { SqlStorage } from "@prisma-next/sql-contract/types";
 import { Migration } from "@prisma-next/migration-tools/migration";
 
 //#region src/core/sql-migration.d.ts
@@ -13,10 +15,17 @@ import { Migration } from "@prisma-next/migration-tools/migration";
  * fully concrete operation shape. Target-free code in SQL family / tooling
  * parameterises over `TDetails` (and usually `TTargetId = string`).
  *
+ * The `Start` / `End` contract generics are forwarded to the framework
+ * `Migration` base so the derived `describe()` and the per-target view getters
+ * (`PostgresMigration` / `SqliteMigration`) carry each migration's precise
+ * contract types. The view getters themselves live on the per-target bases
+ * because the SQL ContractView shapes differ per target (SQLite unwraps its
+ * sole namespace to the root; Postgres is schema-qualified).
+ *
  * Keeps target-free contract/runtime features in the family layer while
  * letting adapters own target shape.
  */
-declare abstract class SqlMigration<TDetails extends SqlPlanTargetDetails, TTargetId extends string = string> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId> {
+declare abstract class SqlMigration<TDetails extends SqlPlanTargetDetails, TTargetId extends string = string, Start extends Contract<SqlStorage> = Contract<SqlStorage>, End extends Contract<SqlStorage> = Contract<SqlStorage>> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId, Start, End> {
   /**
    * Sorted, deduplicated invariant ids declared by this migration's
    * data-transform ops. Derived from `this.operations` so the field remains

package/dist/migration.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"migration.d.mts","names":[],"sources":["../src/core/sql-migration.ts"],"mappings":";;;;;;AAmBA;;;;;;;;;;;;uBAAsB,YAAA,kBACH,oBAAA,6CAET,SAAA,CAAU,yBAAA,CAA0B,QAAA,UAAkB,SAAA;EAAtD;;;;;;AAWc;;;;EAXd,IAWJ,kBAAA;AAAA"}
+{"version":3,"file":"migration.d.mts","names":[],"sources":["../src/core/sql-migration.ts"],"mappings":";;;;;;;;AA4BA;;;;;;;;;;;;;;;;;;;uBAAsB,YAAA,kBACH,oBAAA,mDAEH,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA,eAClC,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA,WACpC,SAAA,CAAU,yBAAA,CAA0B,QAAA,UAAkB,SAAA,EAAW,KAAA,EAAO,GAAA;EAJhF;;;;;;;;;;EAAA,IAeI,kBAAA;AAAA"}

package/dist/migration.mjs

@@ -13,6 +13,13 @@ import { isThenable } from "@prisma-next/utils/promise";
 * fully concrete operation shape. Target-free code in SQL family / tooling
 * parameterises over `TDetails` (and usually `TTargetId = string`).
 *
+* The `Start` / `End` contract generics are forwarded to the framework
+* `Migration` base so the derived `describe()` and the per-target view getters
+* (`PostgresMigration` / `SqliteMigration`) carry each migration's precise
+* contract types. The view getters themselves live on the per-target bases
+* because the SQL ContractView shapes differ per target (SQLite unwraps its
+* sole namespace to the root; Postgres is schema-qualified).
+*
 * Keeps target-free contract/runtime features in the family layer while
 * letting adapters own target shape.
 */

package/dist/migration.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"migration.mjs","names":[],"sources":["../src/core/sql-migration.ts"],"sourcesContent":["import { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';\nimport { Migration } from '@prisma-next/migration-tools/migration';\nimport { isThenable } from '@prisma-next/utils/promise';\nimport type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migrations/types';\n\n/**\n * Family-owned base class for SQL migrations.\n *\n * Generic in `TDetails` (family plan target details, e.g. Postgres vs SQLite)\n * and in `TTargetId` (the literal target identifier, e.g. `'postgres'`).\n *\n * Adapters (Postgres, SQLite, …) extend this with a concrete `TDetails` and\n * a fixed `TTargetId` literal, so the public `Migration<TOp>` base sees the\n * fully concrete operation shape. Target-free code in SQL family / tooling\n * parameterises over `TDetails` (and usually `TTargetId = string`).\n *\n * Keeps target-free contract/runtime features in the family layer while\n * letting adapters own target shape.\n */\nexport abstract class SqlMigration<\n  TDetails extends SqlPlanTargetDetails,\n  TTargetId extends string = string,\n> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId> {\n  /**\n   * Sorted, deduplicated invariant ids declared by this migration's\n   * data-transform ops. Derived from `this.operations` so the field remains\n   * consistent with the operation list — planner-built plans (`db init`,\n   * `db update`) yield `[]` because they emit no data-transform ops.\n   *\n   * Required by `SqlMigrationPlan.providedInvariants` (tightened from\n   * optional at the SQL-family layer); the framework-level\n   * `MigrationPlan.providedInvariants?` stays optional.\n   */\n  get providedInvariants(): readonly string[] {\n    const ops = this.operations.filter(\n      (op): op is SqlMigrationPlanOperation<TDetails> => !isThenable(op),\n    );\n    return deriveProvidedInvariants(ops);\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;AAmBA,IAAsB,eAAtB,cAGU,UAAiE;;;;;;;;;;;CAWzE,IAAI,qBAAwC;EAI1C,OAAO,yBAHK,KAAK,WAAW,QACzB,OAAkD,CAAC,WAAW,EAAE,CAEjC,CAAC;CACrC;AACF"}
+{"version":3,"file":"migration.mjs","names":[],"sources":["../src/core/sql-migration.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';\nimport { Migration } from '@prisma-next/migration-tools/migration';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { isThenable } from '@prisma-next/utils/promise';\nimport type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migrations/types';\n\n/**\n * Family-owned base class for SQL migrations.\n *\n * Generic in `TDetails` (family plan target details, e.g. Postgres vs SQLite)\n * and in `TTargetId` (the literal target identifier, e.g. `'postgres'`).\n *\n * Adapters (Postgres, SQLite, …) extend this with a concrete `TDetails` and\n * a fixed `TTargetId` literal, so the public `Migration<TOp>` base sees the\n * fully concrete operation shape. Target-free code in SQL family / tooling\n * parameterises over `TDetails` (and usually `TTargetId = string`).\n *\n * The `Start` / `End` contract generics are forwarded to the framework\n * `Migration` base so the derived `describe()` and the per-target view getters\n * (`PostgresMigration` / `SqliteMigration`) carry each migration's precise\n * contract types. The view getters themselves live on the per-target bases\n * because the SQL ContractView shapes differ per target (SQLite unwraps its\n * sole namespace to the root; Postgres is schema-qualified).\n *\n * Keeps target-free contract/runtime features in the family layer while\n * letting adapters own target shape.\n */\nexport abstract class SqlMigration<\n  TDetails extends SqlPlanTargetDetails,\n  TTargetId extends string = string,\n  Start extends Contract<SqlStorage> = Contract<SqlStorage>,\n  End extends Contract<SqlStorage> = Contract<SqlStorage>,\n> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId, Start, End> {\n  /**\n   * Sorted, deduplicated invariant ids declared by this migration's\n   * data-transform ops. Derived from `this.operations` so the field remains\n   * consistent with the operation list — planner-built plans (`db init`,\n   * `db update`) yield `[]` because they emit no data-transform ops.\n   *\n   * Required by `SqlMigrationPlan.providedInvariants` (tightened from\n   * optional at the SQL-family layer); the framework-level\n   * `MigrationPlan.providedInvariants?` stays optional.\n   */\n  get providedInvariants(): readonly string[] {\n    const ops = this.operations.filter(\n      (op): op is SqlMigrationPlanOperation<TDetails> => !isThenable(op),\n    );\n    return deriveProvidedInvariants(ops);\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,IAAsB,eAAtB,cAKU,UAA6E;;;;;;;;;;;CAWrF,IAAI,qBAAwC;EAI1C,OAAO,yBAHK,KAAK,WAAW,QACzB,OAAkD,CAAC,WAAW,EAAE,CAEjC,CAAC;CACrC;AACF"}

package/package.json

@@ -1,34 +1,34 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.14.0-dev.31",
+  "version": "0.14.0-dev.32",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
-    "@prisma-next/contract": "0.14.0-dev.31",
-    "@prisma-next/emitter": "0.14.0-dev.31",
-    "@prisma-next/framework-components": "0.14.0-dev.31",
-    "@prisma-next/migration-tools": "0.14.0-dev.31",
-    "@prisma-next/operations": "0.14.0-dev.31",
-    "@prisma-next/sql-contract": "0.14.0-dev.31",
-    "@prisma-next/sql-contract-emitter": "0.14.0-dev.31",
-    "@prisma-next/sql-contract-ts": "0.14.0-dev.31",
-    "@prisma-next/sql-operations": "0.14.0-dev.31",
-    "@prisma-next/sql-relational-core": "0.14.0-dev.31",
-    "@prisma-next/sql-runtime": "0.14.0-dev.31",
-    "@prisma-next/sql-schema-ir": "0.14.0-dev.31",
-    "@prisma-next/utils": "0.14.0-dev.31",
+    "@prisma-next/contract": "0.14.0-dev.32",
+    "@prisma-next/emitter": "0.14.0-dev.32",
+    "@prisma-next/framework-components": "0.14.0-dev.32",
+    "@prisma-next/migration-tools": "0.14.0-dev.32",
+    "@prisma-next/operations": "0.14.0-dev.32",
+    "@prisma-next/sql-contract": "0.14.0-dev.32",
+    "@prisma-next/sql-contract-emitter": "0.14.0-dev.32",
+    "@prisma-next/sql-contract-ts": "0.14.0-dev.32",
+    "@prisma-next/sql-operations": "0.14.0-dev.32",
+    "@prisma-next/sql-relational-core": "0.14.0-dev.32",
+    "@prisma-next/sql-runtime": "0.14.0-dev.32",
+    "@prisma-next/sql-schema-ir": "0.14.0-dev.32",
+    "@prisma-next/utils": "0.14.0-dev.32",
     "arktype": "^2.2.0"
   },
   "devDependencies": {
-    "@prisma-next/driver-postgres": "0.14.0-dev.31",
-    "@prisma-next/psl-parser": "0.14.0-dev.31",
-    "@prisma-next/psl-printer": "0.14.0-dev.31",
-    "@prisma-next/sql-contract-psl": "0.14.0-dev.31",
-    "@prisma-next/test-utils": "0.14.0-dev.31",
-    "@prisma-next/tsconfig": "0.14.0-dev.31",
-    "@prisma-next/tsdown": "0.14.0-dev.31",
+    "@prisma-next/driver-postgres": "0.14.0-dev.32",
+    "@prisma-next/psl-parser": "0.14.0-dev.32",
+    "@prisma-next/psl-printer": "0.14.0-dev.32",
+    "@prisma-next/sql-contract-psl": "0.14.0-dev.32",
+    "@prisma-next/test-utils": "0.14.0-dev.32",
+    "@prisma-next/tsconfig": "0.14.0-dev.32",
+    "@prisma-next/tsdown": "0.14.0-dev.32",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
     "vitest": "4.1.8"

package/src/core/sql-migration.ts

@@ -1,5 +1,7 @@
+import type { Contract } from '@prisma-next/contract/types';
 import { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';
 import { Migration } from '@prisma-next/migration-tools/migration';
+import type { SqlStorage } from '@prisma-next/sql-contract/types';
 import { isThenable } from '@prisma-next/utils/promise';
 import type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migrations/types';
 
@@ -14,13 +16,22 @@ import type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migratio
  * fully concrete operation shape. Target-free code in SQL family / tooling
  * parameterises over `TDetails` (and usually `TTargetId = string`).
  *
+ * The `Start` / `End` contract generics are forwarded to the framework
+ * `Migration` base so the derived `describe()` and the per-target view getters
+ * (`PostgresMigration` / `SqliteMigration`) carry each migration's precise
+ * contract types. The view getters themselves live on the per-target bases
+ * because the SQL ContractView shapes differ per target (SQLite unwraps its
+ * sole namespace to the root; Postgres is schema-qualified).
+ *
  * Keeps target-free contract/runtime features in the family layer while
  * letting adapters own target shape.
  */
 export abstract class SqlMigration<
   TDetails extends SqlPlanTargetDetails,
   TTargetId extends string = string,
-> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId> {
+  Start extends Contract<SqlStorage> = Contract<SqlStorage>,
+  End extends Contract<SqlStorage> = Contract<SqlStorage>,
+> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId, Start, End> {
   /**
    * Sorted, deduplicated invariant ids declared by this migration's
    * data-transform ops. Derived from `this.operations` so the field remains