@prisma-next/sql-schema-ir 0.14.0-dev.7 → 0.14.0-dev.71

package/dist/types-Du44_nsJ.d.mts

@@ -1,261 +0,0 @@
-import { IRNodeBase } from "@prisma-next/framework-components/ir";
-
-//#region src/ir/sql-schema-ir-node.d.ts
-/**
- * SQL Schema IR node base. Carries the family-level
- * `kind = 'sql-schema-ir'` discriminator and inherits the framework's
- * `freezeNode` affordance.
- *
- * SQL Schema IR represents the actual database state as discovered by
- * introspection (the parallel to SQL Contract IR, which represents the
- * desired state). Like the Contract side, today's Schema IR has no
- * polymorphic dispatch — verifiers and planners walk by structural
- * position, not by inspecting `kind` — so a single family-level
- * discriminator is sufficient. Future per-leaf overrides land cleanly
- * the same way as on the Contract side.
- *
- * The discriminator is installed as a non-enumerable own property,
- * matching the SqlNode pattern. This keeps `JSON.stringify(node)`
- * canonical (no `kind` field), keeps `toEqual({...})` test assertions
- * against pre-lift flat shapes passing, and keeps `node.kind` readable
- * for future polymorphic dispatch.
- */
-declare abstract class SqlSchemaIRNode extends IRNodeBase {
-  readonly kind?: string;
-  constructor();
-}
-//#endregion
-//#region src/ir/primary-key.d.ts
-interface PrimaryKeyInput {
-  readonly columns: readonly string[];
-  readonly name?: string;
-}
-/**
- * Primary-key Schema IR node. Mirrors the Contract IR `PrimaryKey`
- * shape (same `columns` + optional `name`) so verification can compare
- * intent and actual structurally. Defined here independently to avoid
- * a sql-schema-ir -> sql-contract dependency.
- */
-declare class PrimaryKey extends SqlSchemaIRNode {
-  readonly columns: readonly string[];
-  readonly name?: string;
-  constructor(input: PrimaryKeyInput);
-}
-//#endregion
-//#region src/ir/sql-check-constraint-ir.d.ts
-interface SqlCheckConstraintIRInput {
-  /** Constraint name as stored in the database catalog. */
-  readonly name: string;
-  /** Column the check restricts. */
-  readonly column: string;
-  /** Permitted values the column must be IN. */
-  readonly permittedValues: readonly string[];
-}
-/**
- * Schema IR node for a table-level check constraint that restricts a
- * column to a set of permitted values (an enum-style `IN (...)` check).
- *
- * Carries the **resolved values** rather than a raw SQL predicate so
- * callers can compare value-sets without parsing SQL.
- */
-declare class SqlCheckConstraintIR extends SqlSchemaIRNode {
-  readonly name: string;
-  readonly column: string;
-  readonly permittedValues: readonly string[];
-  constructor(input: SqlCheckConstraintIRInput);
-}
-//#endregion
-//#region src/ir/sql-column-ir.d.ts
-/**
- * Namespaced annotations for extensibility. Each namespace
- * (e.g. `pg`, `pgvector`) owns its annotations subtree.
- */
-type SqlAnnotations = {
-  readonly [namespace: string]: unknown;
-};
-interface SqlColumnIRInput {
-  readonly name: string;
-  readonly nativeType: string;
-  readonly nullable: boolean;
-  /** Raw database default expression (e.g. `'hello'::text`, `nextval('seq')`). */
-  readonly default?: string;
-  readonly annotations?: SqlAnnotations;
-}
-/**
- * Schema IR node for a single column on a table, as observed by
- * introspection. Unlike the Contract IR `StorageColumn`, this carries
- * the column's `name` (Schema IR columns are returned as arrays from
- * introspection queries; the parent table re-keys them into a record
- * for downstream consumers).
- */
-declare class SqlColumnIR extends SqlSchemaIRNode {
-  readonly name: string;
-  readonly nativeType: string;
-  readonly nullable: boolean;
-  readonly default?: string;
-  readonly annotations?: SqlAnnotations;
-  constructor(input: SqlColumnIRInput);
-}
-//#endregion
-//#region src/ir/sql-foreign-key-ir.d.ts
-type SqlReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';
-interface SqlForeignKeyIRInput {
-  readonly columns: readonly string[];
-  readonly referencedTable: string;
-  readonly referencedColumns: readonly string[];
-  /** Schema (namespace) of the referenced table — populated by adapters that introspect cross-schema FKs. */
-  readonly referencedSchema?: string;
-  readonly name?: string;
-  readonly onDelete?: SqlReferentialAction;
-  readonly onUpdate?: SqlReferentialAction;
-  readonly annotations?: SqlAnnotations;
-}
-/**
- * Schema IR node for a foreign-key constraint as observed by
- * introspection. The `referencedTable` / `referencedColumns` field
- * names match the introspection vocabulary (`pg_constraint.confkey`,
- * etc.) and intentionally differ from the Contract IR's nested
- * `references: { table, columns }` shape so that the verifier's
- * structural comparison stays explicit about which side it's reading.
- */
-declare class SqlForeignKeyIR extends SqlSchemaIRNode {
-  readonly columns: readonly string[];
-  readonly referencedTable: string;
-  readonly referencedColumns: readonly string[];
-  readonly referencedSchema?: string;
-  readonly name?: string;
-  readonly onDelete?: SqlReferentialAction;
-  readonly onUpdate?: SqlReferentialAction;
-  readonly annotations?: SqlAnnotations;
-  constructor(input: SqlForeignKeyIRInput);
-}
-//#endregion
-//#region src/ir/sql-index-ir.d.ts
-interface SqlIndexIRInput {
-  readonly columns: readonly string[];
-  readonly unique: boolean;
-  readonly name?: string;
-  readonly type?: string;
-  readonly options?: Record<string, unknown>;
-  readonly annotations?: SqlAnnotations;
-}
-/**
- * Schema IR node for a secondary index as observed by introspection.
- * Unlike the Contract IR `Index`, the Schema IR carries an explicit
- * `unique` field — introspection sees the underlying index regardless
- * of whether the user expressed it as `@@index` or `@@unique`, and the
- * verifier needs to distinguish them when comparing to the Contract.
- */
-declare class SqlIndexIR extends SqlSchemaIRNode {
-  readonly columns: readonly string[];
-  readonly unique: boolean;
-  readonly name?: string;
-  readonly type?: string;
-  readonly options?: Record<string, unknown>;
-  readonly annotations?: SqlAnnotations;
-  constructor(input: SqlIndexIRInput);
-}
-//#endregion
-//#region src/ir/sql-unique-ir.d.ts
-interface SqlUniqueIRInput {
-  readonly columns: readonly string[];
-  readonly name?: string;
-  readonly annotations?: SqlAnnotations;
-}
-/**
- * Schema IR node for a table-level unique constraint as observed by
- * introspection.
- */
-declare class SqlUniqueIR extends SqlSchemaIRNode {
-  readonly columns: readonly string[];
-  readonly name?: string;
-  readonly annotations?: SqlAnnotations;
-  constructor(input: SqlUniqueIRInput);
-}
-//#endregion
-//#region src/ir/sql-table-ir.d.ts
-interface SqlTableIRInput {
-  readonly name: string;
-  readonly columns: Record<string, SqlColumnIR | SqlColumnIRInput>;
-  readonly foreignKeys: ReadonlyArray<SqlForeignKeyIR | SqlForeignKeyIRInput>;
-  readonly uniques: ReadonlyArray<SqlUniqueIR | SqlUniqueIRInput>;
-  readonly indexes: ReadonlyArray<SqlIndexIR | SqlIndexIRInput>;
-  readonly primaryKey?: PrimaryKey | PrimaryKeyInput;
-  readonly annotations?: SqlAnnotations;
-  /** Optional check constraints for enum-restricted columns. Omitted when none present. */
-  readonly checks?: ReadonlyArray<SqlCheckConstraintIR | SqlCheckConstraintIRInput>;
-}
-/**
- * Schema IR node for a single table as observed by introspection.
- *
- * Unlike the Contract IR `StorageTable`, this carries the table's
- * `name` — introspection queries return tables as arrays and the
- * verifier keys them into `SqlSchemaIR.tables` afterwards, so the name
- * stays on the table object for downstream call sites that walk
- * `Object.values(schema.tables)`.
- *
- * The constructor normalises nested IR-class fields so downstream
- * walks see a uniform AST regardless of whether the input was a
- * plain-data literal (from introspection) or already-constructed
- * class instances.
- */
-declare class SqlTableIR extends SqlSchemaIRNode {
-  readonly name: string;
-  readonly columns: Readonly<Record<string, SqlColumnIR>>;
-  readonly foreignKeys: ReadonlyArray<SqlForeignKeyIR>;
-  readonly uniques: ReadonlyArray<SqlUniqueIR>;
-  readonly indexes: ReadonlyArray<SqlIndexIR>;
-  readonly primaryKey?: PrimaryKey;
-  readonly annotations?: SqlAnnotations;
-  readonly checks?: ReadonlyArray<SqlCheckConstraintIR>;
-  constructor(input: SqlTableIRInput);
-}
-//#endregion
-//#region src/ir/sql-schema-ir.d.ts
-interface SqlSchemaIRInput {
-  readonly tables: Record<string, SqlTableIR | SqlTableIRInput>;
-  readonly annotations?: SqlAnnotations;
-}
-/**
- * Root Schema IR node representing the complete database schema as
- * observed by introspection. Target-agnostic; used by both verifiers
- * (compare against intended Contract storage) and migration planners
- * (derive operations needed to reconcile).
- *
- * The constructor normalises nested `SqlTableIR` instances so
- * downstream walks see a uniform AST regardless of whether the input
- * was a plain-data literal or already-constructed class instances.
- */
-declare class SqlSchemaIR extends SqlSchemaIRNode {
-  readonly tables: Readonly<Record<string, SqlTableIR>>;
-  readonly annotations?: SqlAnnotations;
-  constructor(input: SqlSchemaIRInput);
-}
-//#endregion
-//#region src/types.d.ts
-/**
- * SQL type metadata for control-plane and execution-plane type
- * availability and mapping. Read-only view of type information
- * without encode/decode behavior.
- */
-interface SqlTypeMetadata {
-  /** Namespaced type identifier, e.g. `pg/int4@1`, `pg/text@1`. */
-  readonly typeId: string;
-  /** Contract scalar type IDs this type can handle. */
-  readonly targetTypes: readonly string[];
-  /**
-   * Native database type name (target-specific). Optional because
-   * not all types have a native database representation.
-   */
-  readonly nativeType?: string;
-}
-/**
- * Registry interface for SQL type metadata. Provides read-only
- * iteration over type metadata entries.
- */
-interface SqlTypeMetadataRegistry {
-  values(): IterableIterator<SqlTypeMetadata>;
-}
-//#endregion
-export { SqlCheckConstraintIR as _, SqlTableIR as a, PrimaryKeyInput as b, SqlUniqueIRInput as c, SqlForeignKeyIR as d, SqlForeignKeyIRInput as f, SqlColumnIRInput as g, SqlColumnIR as h, SqlSchemaIRInput as i, SqlIndexIR as l, SqlAnnotations as m, SqlTypeMetadataRegistry as n, SqlTableIRInput as o, SqlReferentialAction as p, SqlSchemaIR as r, SqlUniqueIR as s, SqlTypeMetadata as t, SqlIndexIRInput as u, SqlCheckConstraintIRInput as v, SqlSchemaIRNode as x, PrimaryKey as y };
-//# sourceMappingURL=types-Du44_nsJ.d.mts.map

package/dist/types-Du44_nsJ.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-Du44_nsJ.d.mts","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.ts","../src/ir/sql-check-constraint-ir.ts","../src/ir/sql-column-ir.ts","../src/ir/sql-foreign-key-ir.ts","../src/ir/sql-index-ir.ts","../src/ir/sql-unique-ir.ts","../src/ir/sql-table-ir.ts","../src/ir/sql-schema-ir.ts","../src/types.ts"],"mappings":";;;;;AAqBA;;;;;;;;;;;;AClBA;;;;AAEe;uBDgBO,eAAA,SAAwB,UAAU;EAAA,SAC7C,IAAA;;;;;UCnBM,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;;;;;;;cASF,UAAA,SAAmB,eAAe;EAAA,SACpC,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;UCfJ,yBAAA;;WAEN,IAAA;EFgB2B;EAAA,SEd3B,MAAA;EFc6C;EAAA,SEZ7C,eAAA;AAAA;;;;;;;ADNX;cCgBa,oBAAA,SAA6B,eAAe;EAAA,SAC9C,IAAA;EAAA,SACA,MAAA;EAAA,SACA,eAAA;cAEG,KAAA,EAAO,yBAAA;AAAA;;;;;AFHrB;;KGdY,cAAA;EAAA,UACA,SAAiB;AAAA;AAAA,UAGZ,gBAAA;EAAA,SACN,IAAA;EAAA,SACA,UAAA;EAAA,SACA,QAAA;;WAEA,OAAA;EAAA,SACA,WAAA,GAAc,cAAc;AAAA;;;;AFZxB;AASf;;;cEaa,WAAA,SAAoB,eAAA;EAAA,SACtB,IAAA;EAAA,SACA,UAAA;EAAA,SACA,QAAA;EAAA,SACQ,OAAA;EAAA,SACA,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;KC9BT,oBAAA;AAAA,UAEK,oBAAA;EAAA,SACN,OAAA;EAAA,SACA,eAAA;EAAA,SACA,iBAAA;EJYmC;EAAA,SIVnC,gBAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;AAAA;;AHZzB;;;;AAEe;AASf;;cGYa,eAAA,SAAwB,eAAA;EAAA,SAC1B,OAAA;EAAA,SACA,eAAA;EAAA,SACA,iBAAA;EAAA,SACQ,gBAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,oBAAA;AAAA;;;UChCJ,eAAA;EAAA,SACN,OAAA;EAAA,SACA,MAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,WAAA,GAAc,cAAc;AAAA;;;;;;AJPvC;;cIiBa,UAAA,SAAmB,eAAA;EAAA,SACrB,OAAA;EAAA,SACA,MAAA;EAAA,SACQ,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,eAAA;AAAA;;;UCxBJ,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,WAAA,GAAc,cAAc;AAAA;;;;;cAO1B,WAAA,SAAoB,eAAA;EAAA,SACtB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;UCVJ,eAAA;EAAA,SACN,IAAA;EAAA,SACA,OAAA,EAAS,MAAA,SAAe,WAAA,GAAc,gBAAA;EAAA,SACtC,WAAA,EAAa,aAAA,CAAc,eAAA,GAAkB,oBAAA;EAAA,SAC7C,OAAA,EAAS,aAAA,CAAc,WAAA,GAAc,gBAAA;EAAA,SACrC,OAAA,EAAS,aAAA,CAAc,UAAA,GAAa,eAAA;EAAA,SACpC,UAAA,GAAa,UAAA,GAAa,eAAA;EAAA,SAC1B,WAAA,GAAc,cAAA;ENbR;EAAA,SMeN,MAAA,GAAS,aAAA,CAAc,oBAAA,GAAuB,yBAAA;AAAA;;ANb1C;AASf;;;;;;;;;;;AAIoC;cMiBvB,UAAA,SAAmB,eAAA;EAAA,SACrB,IAAA;EAAA,SACA,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,WAAA;EAAA,SACjC,WAAA,EAAa,aAAA,CAAc,eAAA;EAAA,SAC3B,OAAA,EAAS,aAAA,CAAc,WAAA;EAAA,SACvB,OAAA,EAAS,aAAA,CAAc,UAAA;EAAA,SACf,UAAA,GAAa,UAAA;EAAA,SACb,WAAA,GAAc,cAAA;EAAA,SACd,MAAA,GAAS,aAAA,CAAc,oBAAA;cAE5B,KAAA,EAAO,eAAA;AAAA;;;UCxCJ,gBAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,UAAA,GAAa,eAAA;EAAA,SACpC,WAAA,GAAc,cAAA;AAAA;;;;;;;;;APJzB;;cOiBa,WAAA,SAAoB,eAAA;EAAA,SACtB,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,UAAA;EAAA,SACxB,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;APnBN;AASf;;;;AATe,UQgCE,eAAA;ERtBN;EAAA,SQwBA,MAAA;;WAGA,WAAA;ERxBG;;AAAsB;;EAAtB,SQ8BH,UAAA;AAAA;AP7CX;;;;AAAA,UOoDiB,uBAAA;EACf,MAAA,IAAU,gBAAgB,CAAC,eAAA;AAAA"}