@prisma/orm-family-sql 8.0.0-rc.18-dev.25 → 8.0.0-rc.18-dev.26

package/dist/control-adapter-ChJhp5vV.d.mts

@@ -0,0 +1,13 @@
+import { d as SqlColumnIRInput, i as ReportedSqlType } from "./types-B3AHHPDh-BHh-89fY.mjs";
+import "./types-BGERR8XF.mjs";
+import "./control-adapter-BCopdpsT-BPHa2Frw.mjs";
+import { DataType } from "@prisma/orm-framework/components/codec";
+//#region ../../../2-sql/9-family/dist/control-adapter.d.mts
+//#region src/core/resolve-introspected-types.d.ts
+/**
+ * The type an introspected column is stored as: the data type that claims its reported type, with its parameters in normal form, over `dataTypes`, the stack's declared data types in assembly order. Empty when no data type claims it. Each adapter spreads it into the column it builds. ADR 254.
+ */
+declare function resolveIntrospectedColumnType(reported: ReportedSqlType, dataTypes: readonly DataType[]): Pick<SqlColumnIRInput, 'storedType' | 'storedTypeParams'>;
+//#endregion
+export { resolveIntrospectedColumnType as t };
+//# sourceMappingURL=control-adapter-ChJhp5vV.d.mts.map

package/dist/control-adapter-ChJhp5vV.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-adapter-ChJhp5vV.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/control-adapter.d.mts"],"mappings":";;;;;;;;;iBAOiB,8BAA8B,UAAU,iBAAiB,oBAAoB,aAAa,KAAK"}

package/dist/control-adapter-DhX77V61.mjs

@@ -0,0 +1,16 @@
+import { a as resolveReportedSqlType } from "./sql-data-type-BSi0X331-OXbBFXDh.mjs";
+//#region ../../../2-sql/9-family/dist/control-adapter.mjs
+/**
+* The type an introspected column is stored as: the data type that claims its reported type, with its parameters in normal form, over `dataTypes`, the stack's declared data types in assembly order. Empty when no data type claims it. Each adapter spreads it into the column it builds. ADR 254.
+*/
+function resolveIntrospectedColumnType(reported, dataTypes) {
+	const resolved = resolveReportedSqlType(reported, dataTypes);
+	return resolved === void 0 ? {} : {
+		storedType: resolved.dataType,
+		storedTypeParams: resolved.typeParams
+	};
+}
+//#endregion
+export { resolveIntrospectedColumnType as t };
+
+//# sourceMappingURL=control-adapter-DhX77V61.mjs.map

package/dist/control-adapter-DhX77V61.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-adapter-DhX77V61.mjs","names":[],"sources":["../../../../2-sql/9-family/dist/control-adapter.mjs"],"sourcesContent":["import { resolveReportedSqlType } from \"@internal/sql-contract/data-type\";\n//#region src/core/resolve-introspected-types.ts\n/**\n* The type an introspected column is stored as: the data type that claims its reported type, with its parameters in normal form, over `dataTypes`, the stack's declared data types in assembly order. Empty when no data type claims it. Each adapter spreads it into the column it builds. ADR 254.\n*/\nfunction resolveIntrospectedColumnType(reported, dataTypes) {\n\tconst resolved = resolveReportedSqlType(reported, dataTypes);\n\treturn resolved === void 0 ? {} : {\n\t\tstoredType: resolved.dataType,\n\t\tstoredTypeParams: resolved.typeParams\n\t};\n}\n//#endregion\nexport { resolveIntrospectedColumnType };\n\n//# sourceMappingURL=control-adapter.mjs.map"],"mappings":";;;;;AAKA,SAAS,8BAA8B,UAAU,WAAW;CAC3D,MAAM,WAAW,uBAAuB,UAAU,SAAS;CAC3D,OAAO,aAAa,KAAK,IAAI,CAAC,IAAI;EACjC,YAAY,SAAS;EACrB,kBAAkB,SAAS;CAC5B;AACD"}

package/dist/{data-type-pNwyyJpr.d.mts → data-type-C84xngfv.d.mts}

@@ -1,6 +1,6 @@
-import { i as ReportedSqlType } from "./types-Bqe0AXuw-xqQnkIj4.mjs";
-import "./types-CTdsm45r.mjs";
-import { CodecLookupWithDescriptors, DataType, DataTypeId, DataTypeLookup, DataTypeSpec } from "@prisma/orm-framework/components/codec";
+import { i as ReportedSqlType } from "./types-B3AHHPDh-BHh-89fY.mjs";
+import "./types-BGERR8XF.mjs";
+import { DataType, DataTypeId, DataTypeLookup, DataTypeSpec, TypeLookups } from "@prisma/orm-framework/components/codec";
 import { Type } from "arktype";
 //#region ../../../2-sql/1-core/contract/dist/data-type.d.mts
 //#region src/numeral-text.d.ts
@@ -23,7 +23,7 @@ interface SqlTypeText {
   readonly display?: string;
 }
 type SqlTypeParams = Readonly<Record<string, unknown>>;
-interface SqlDataTypeSpec<Params extends SqlTypeParams = SqlTypeParams> extends DataTypeSpec {
+interface SqlDataTypeSpec<Params extends SqlTypeParams = SqlTypeParams> extends Omit<DataTypeSpec, 'normalize'> {
   readonly params?: Type<Params>;
   readonly texts?: readonly SqlTypeText[];
   /** The kind of reported type this data type claims, instead of any text. */
@@ -38,6 +38,7 @@ interface SqlDataTypeFacts<Params extends SqlTypeParams = SqlTypeParams> {
   readonly texts: readonly SqlTypeText[];
   readonly claimsKind: string | undefined;
   readonly storedAs: DataTypeId | undefined;
+  /** The normal form of `params`; parameters the type's schema refuses are returned as written. */
   readonly normalize: (params: Params) => Params;
   readonly render: ((params: Params) => string) | undefined;
   readonly fromReported: ((reported: ReportedSqlType) => Params) | undefined;
@@ -46,8 +47,9 @@ interface SqlDataType<Params extends SqlTypeParams = SqlTypeParams> extends Data
   readonly params?: Type<Params>;
   readonly sql: SqlDataTypeFacts<Params>;
 }
+/** A data type that claims a type text, with the parameters the text gives in their normal form. */
 interface ResolvedSqlType {
-  readonly dataType: DataTypeId;
+  readonly dataType: SqlDataType;
   readonly typeParams: SqlTypeParams;
 }
 /** Declare a SQL data type, refusing a declaration that breaks a rule of the module. */
@@ -64,21 +66,26 @@ declare function sqlBaseName<Params extends SqlTypeParams>(type: SqlDataType<Par
  * `sqlBaseName` gives the quoted name `render` writes into SQL (`"app"."status"`).
  */
 declare function unquotedSqlBaseName<Params extends SqlTypeParams>(type: SqlDataType<Params>, params: SqlTypeParams): string;
-/** The lookups that find the data type a codec represents. */
-interface SqlTypeLookups {
-  readonly codecLookup: Pick<CodecLookupWithDescriptors, 'descriptorFor'>;
-  readonly dataTypeLookup: Pick<DataTypeLookup, 'get'>;
-}
 /** The SQL data type the codec `codecId` represents. */
-declare function sqlDataTypeOfCodec(codecId: string, lookups: SqlTypeLookups): SqlDataType;
+declare function sqlDataTypeOfCodec(codecId: string, lookups: TypeLookups): SqlDataType;
 /** The type a column of `type` is stored as, whose name DDL writes and the database reports: `type` itself unless it names another. */
 declare function sqlStorageType(type: SqlDataType, lookup: Pick<DataTypeLookup, 'get'>): SqlDataType;
 /** The id of the type a column of the data type `dataTypeId` is stored as: {@link sqlStorageType} of it, which refuses a storage type the lookup does not register, or `dataTypeId` itself when the lookup does not know it as a SQL data type. */
 declare function sqlStorageTypeId(dataTypeId: string, lookup: Pick<DataTypeLookup, 'get'>): string;
+/** The parts of a contract column that make its type. */
+interface SqlColumnTypeFields {
+  readonly dataType: string;
+  readonly typeParams?: Readonly<Record<string, unknown>>;
+  readonly many?: unknown;
+}
+/**
+ * Whether two contract columns have the same type: the types their data types are stored as are one type, those types' parameters are equal in normal form, and both or neither are lists. ADR 254.
+ */
+declare function sameSqlColumnType(a: SqlColumnTypeFields, b: SqlColumnTypeFields, lookup: Pick<DataTypeLookup, 'get'>): boolean;
 /** The type a column of the codec `codecId` is stored as: {@link sqlStorageType} of the data type it represents. */
-declare function sqlStorageTypeOfCodec(codecId: string, lookups: SqlTypeLookups): SqlDataType;
+declare function sqlStorageTypeOfCodec(codecId: string, lookups: TypeLookups): SqlDataType;
 /** {@link unquotedSqlBaseName} of the type a column of the codec `codecId` is stored as. */
-declare function unquotedSqlBaseNameOfCodec(codecId: string, typeParams: SqlTypeParams | undefined, lookups: SqlTypeLookups): string;
+declare function unquotedSqlBaseNameOfCodec(codecId: string, typeParams: SqlTypeParams | undefined, lookups: TypeLookups): string;
 /** The text a migration writes for `type` with the raw `params`. */
 declare function renderSqlTypeName<Params extends SqlTypeParams>(type: SqlDataType<Params>, params: SqlTypeParams): string;
 /** The text the database catalog prints for `type` with `params`, in their normal form. */
@@ -115,5 +122,5 @@ declare function resolveReportedSqlType(reported: ReportedSqlType, dataTypes: re
  */
 declare function resolveWrittenSqlTypes(text: string, dataTypes: readonly DataType[]): readonly ResolvedSqlType[];
 //#endregion
-export { unquotedSqlBaseNameOfCodec as C, unquotedSqlBaseName as S, sqlDataType as _, SqlDataTypeSpec as a, sqlStorageTypeId as b, SqlTypeText as c, numeralText as d, renderSqlCatalogText as f, sqlBaseName as g, resolveWrittenSqlTypes as h, SqlDataTypeFacts as i, findSqlDataTypeCollision as l, resolveReportedSqlType as m, SqlDataType as n, SqlTypeLookups as o, renderSqlTypeName as p, SqlDataTypeCollision as r, SqlTypeParams as s, ResolvedSqlType as t, isSqlDataType as u, sqlDataTypeOfCodec as v, validateSqlTypeParams as w, sqlStorageTypeOfCodec as x, sqlStorageType as y };
-//# sourceMappingURL=data-type-pNwyyJpr.d.mts.map
+export { unquotedSqlBaseName as C, sqlStorageTypeOfCodec as S, validateSqlTypeParams as T, sqlBaseName as _, SqlDataTypeFacts as a, sqlStorageType as b, SqlTypeText as c, numeralText as d, renderSqlCatalogText as f, sameSqlColumnType as g, resolveWrittenSqlTypes as h, SqlDataTypeCollision as i, findSqlDataTypeCollision as l, resolveReportedSqlType as m, SqlColumnTypeFields as n, SqlDataTypeSpec as o, renderSqlTypeName as p, SqlDataType as r, SqlTypeParams as s, ResolvedSqlType as t, isSqlDataType as u, sqlDataType as v, unquotedSqlBaseNameOfCodec as w, sqlStorageTypeId as x, sqlDataTypeOfCodec as y };
+//# sourceMappingURL=data-type-C84xngfv.d.mts.map

package/dist/data-type-C84xngfv.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"data-type-C84xngfv.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/data-type.d.mts"],"mappings":";;;;;;;;;;iBAQiB,YAAY;;;;UAInB;;WAEC;;WAEA;;WAEA;;WAEA;;KAEN,gBAAgB,SAAS;UACpB,gBAAgB,eAAe,gBAAgB,uBAAuB,KAAK;WAC1E,SAAS,KAAK;WACd,iBAAiB;;WAEjB;;WAEA,WAAW;WACX,aAAa,QAAQ,WAAW;WAChC,UAAU,QAAQ;WAClB,gBAAgB,UAAU,oBAAoB;;UAE/C,iBAAiB,eAAe,gBAAgB;WAC/C,gBAAgB;WAChB;WACA,UAAU;;WAEV,YAAY,QAAQ,WAAW;WAC/B,UAAU,QAAQ;WAClB,gBAAgB,UAAU,oBAAoB;;UAE/C,YAAY,eAAe,gBAAgB,uBAAuB;WACjE,SAAS,KAAK;WACd,KAAK,iBAAiB;;;UAGvB;WACC,UAAU;WACV,YAAY;;;iBAGN,YAAY,eAAe,gBAAgB,eAAe,YAAY,MAAM,gBAAgB,UAAU,YAAY;;iBAElH,cAAc,MAAM,WAAW,QAAQ;;iBAEvC,sBAAsB,eAAe,eAAe,MAAM,YAAY,SAAS,QAAQ,gBAAgB;;iBAEvG,YAAY,eAAe,eAAe,MAAM,YAAY,SAAS,QAAQ;;;;;;iBAM7E,oBAAoB,eAAe,eAAe,MAAM,YAAY,SAAS,QAAQ;;iBAErF,mBAAmB,iBAAiB,SAAS,cAAc;;iBAE3D,eAAe,MAAM,aAAa,QAAQ,KAAK,yBAAyB;;iBAExE,iBAAiB,oBAAoB,QAAQ,KAAK;;UAEzD;WACC;WACA,aAAa,SAAS;WACtB;;;;;iBAKM,kBAAkB,GAAG,qBAAqB,GAAG,qBAAqB,QAAQ,KAAK;;iBAE/E,sBAAsB,iBAAiB,SAAS,cAAc;;iBAE9D,2BAA2B,iBAAiB,YAAY,2BAA2B,SAAS;;iBAE5F,kBAAkB,eAAe,eAAe,MAAM,YAAY,SAAS,QAAQ;;iBAEnF,qBAAqB,eAAe,eAAe,MAAM,YAAY,SAAS,QAAQ;;UAE7F;WACC,OAAO;WACP,QAAQ;WACR;aACE;aACA;aACA;;aAEA;aACA;;;;;;;;iBAQI,yBAAyB,gBAAgB,aAAa;;;;;iBAKtD,uBAAuB,UAAU,iBAAiB,oBAAoB,aAAa;;;;;;;iBAOnF,uBAAuB,cAAc,oBAAoB,sBAAsB"}

package/dist/data-type-DKk8Unnz.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"data-type-DKk8Unnz.mjs","names":[],"sources":["../../../../2-sql/1-core/contract/dist/data-type.mjs"],"sourcesContent":["import { a as resolveReportedSqlType, c as sqlDataType, d as sqlStorageTypeId, f as sqlStorageTypeOfCodec, h as validateSqlTypeParams, i as renderSqlTypeName, l as sqlDataTypeOfCodec, m as unquotedSqlBaseNameOfCodec, n as isSqlDataType, o as resolveWrittenSqlTypes, p as unquotedSqlBaseName, r as renderSqlCatalogText, s as sqlBaseName, t as findSqlDataTypeCollision, u as sqlStorageType } from \"./sql-data-type-DwLa_dK9.mjs\";\n//#region src/numeral-text.ts\n/**\n* A number as a contract source writes it: no exponent, because no schema language has that syntax,\n* so the decimal point moves to where the exponent puts it. A non-finite number is its own word.\n*/\nfunction numeralText(value) {\n\tconst [coefficient = \"\", exponent] = String(value).split(\"e\");\n\tif (exponent === void 0) return coefficient;\n\tconst sign = coefficient.startsWith(\"-\") ? \"-\" : \"\";\n\tconst [whole = \"\", fraction = \"\"] = coefficient.slice(sign.length).split(\".\");\n\tconst digits = `${whole}${fraction}`;\n\tconst point = whole.length + Number(exponent);\n\tif (point <= 0) return `${sign}0.${\"0\".repeat(-point)}${digits}`;\n\tif (point >= digits.length) return `${sign}${digits}${\"0\".repeat(point - digits.length)}`;\n\treturn `${sign}${digits.slice(0, point)}.${digits.slice(point)}`;\n}\n//#endregion\nexport { findSqlDataTypeCollision, isSqlDataType, numeralText, renderSqlCatalogText, renderSqlTypeName, resolveReportedSqlType, resolveWrittenSqlTypes, sqlBaseName, sqlDataType, sqlDataTypeOfCodec, sqlStorageType, sqlStorageTypeId, sqlStorageTypeOfCodec, unquotedSqlBaseName, unquotedSqlBaseNameOfCodec, validateSqlTypeParams };\n\n//# sourceMappingURL=data-type.mjs.map"],"mappings":";;;;;AAMA,SAAS,YAAY,OAAO;CAC3B,MAAM,CAAC,cAAc,IAAI,YAAY,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CAC5D,IAAI,aAAa,KAAK,GAAG,OAAO;CAChC,MAAM,OAAO,YAAY,WAAW,GAAG,IAAI,MAAM;CACjD,MAAM,CAAC,QAAQ,IAAI,WAAW,MAAM,YAAY,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,GAAG;CAC5E,MAAM,SAAS,GAAG,QAAQ;CAC1B,MAAM,QAAQ,MAAM,SAAS,OAAO,QAAQ;CAC5C,IAAI,SAAS,GAAG,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,IAAI;CACxD,IAAI,SAAS,OAAO,QAAQ,OAAO,GAAG,OAAO,SAAS,IAAI,OAAO,QAAQ,OAAO,MAAM;CACtF,OAAO,GAAG,OAAO,OAAO,MAAM,GAAG,KAAK,EAAE,GAAG,OAAO,MAAM,KAAK;AAC9D"}
+{"version":3,"file":"data-type-DKk8Unnz.mjs","names":[],"sources":["../../../../2-sql/1-core/contract/dist/data-type.mjs"],"sourcesContent":["import { a as resolveReportedSqlType, c as sqlBaseName, d as sqlStorageType, f as sqlStorageTypeId, g as validateSqlTypeParams, h as unquotedSqlBaseNameOfCodec, i as renderSqlTypeName, l as sqlDataType, m as unquotedSqlBaseName, n as isSqlDataType, o as resolveWrittenSqlTypes, p as sqlStorageTypeOfCodec, r as renderSqlCatalogText, s as sameSqlColumnType, t as findSqlDataTypeCollision, u as sqlDataTypeOfCodec } from \"./sql-data-type-BSi0X331.mjs\";\n//#region src/numeral-text.ts\n/**\n* A number as a contract source writes it: no exponent, because no schema language has that syntax,\n* so the decimal point moves to where the exponent puts it. A non-finite number is its own word.\n*/\nfunction numeralText(value) {\n\tconst [coefficient = \"\", exponent] = String(value).split(\"e\");\n\tif (exponent === void 0) return coefficient;\n\tconst sign = coefficient.startsWith(\"-\") ? \"-\" : \"\";\n\tconst [whole = \"\", fraction = \"\"] = coefficient.slice(sign.length).split(\".\");\n\tconst digits = `${whole}${fraction}`;\n\tconst point = whole.length + Number(exponent);\n\tif (point <= 0) return `${sign}0.${\"0\".repeat(-point)}${digits}`;\n\tif (point >= digits.length) return `${sign}${digits}${\"0\".repeat(point - digits.length)}`;\n\treturn `${sign}${digits.slice(0, point)}.${digits.slice(point)}`;\n}\n//#endregion\nexport { findSqlDataTypeCollision, isSqlDataType, numeralText, renderSqlCatalogText, renderSqlTypeName, resolveReportedSqlType, resolveWrittenSqlTypes, sameSqlColumnType, sqlBaseName, sqlDataType, sqlDataTypeOfCodec, sqlStorageType, sqlStorageTypeId, sqlStorageTypeOfCodec, unquotedSqlBaseName, unquotedSqlBaseNameOfCodec, validateSqlTypeParams };\n\n//# sourceMappingURL=data-type.mjs.map"],"mappings":";;;;;AAMA,SAAS,YAAY,OAAO;CAC3B,MAAM,CAAC,cAAc,IAAI,YAAY,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CAC5D,IAAI,aAAa,KAAK,GAAG,OAAO;CAChC,MAAM,OAAO,YAAY,WAAW,GAAG,IAAI,MAAM;CACjD,MAAM,CAAC,QAAQ,IAAI,WAAW,MAAM,YAAY,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,GAAG;CAC5E,MAAM,SAAS,GAAG,QAAQ;CAC1B,MAAM,QAAQ,MAAM,SAAS,OAAO,QAAQ;CAC5C,IAAI,SAAS,GAAG,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,IAAI;CACxD,IAAI,SAAS,OAAO,QAAQ,OAAO,GAAG,OAAO,SAAS,IAAI,OAAO,QAAQ,OAAO,MAAM;CACtF,OAAO,GAAG,OAAO,OAAO,MAAM,GAAG,KAAK,EAAE,GAAG,OAAO,MAAM,KAAK;AAC9D"}

package/dist/{derived-checks-sRZp_gTF-Dvk3wkm9.mjs → derived-checks-sRZp_gTF-ermwhVGQ.mjs}

@@ -3,14 +3,14 @@ import { i as computeCheckContentHash, r as composeCheckWirePrefix, s as derived
 import { r as lowerAuthoredIndex } from "./index-naming-BOcJT1B3-18gQUduD.mjs";
 import { t as lowerAuthoredCheck } from "./authored-check-naming-CIX7Bbyh.mjs";
 import { t as sqlContractCanonicalizationHooks } from "./canonicalization-hooks-dmXkOR4a.mjs";
-import { h as validateSqlTypeParams, l as sqlDataTypeOfCodec } from "./sql-data-type-DwLa_dK9-2eTvrYhA.mjs";
+import { g as validateSqlTypeParams, u as sqlDataTypeOfCodec } from "./sql-data-type-BSi0X331-OXbBFXDh.mjs";
 import { c as StorageTable, i as Index, t as CheckConstraint } from "./storage-table-DN36E2yE-0ncS821l.mjs";
 import { n as checkConstraintInputFromSerialized } from "./serialized-index-52COq1yV-CUJ2F65u.mjs";
 import { m as valueSetEntityKind, p as tableEntityKind } from "./entity-kinds-CQ_jwgYv-DoOBWwvX.mjs";
-import { a as materializeForeignKeysAndIndexes } from "./foreign-key-materialization-BIvQTfz8.mjs";
+import { a as materializeForeignKeysAndIndexes } from "./foreign-key-materialization-C_FPLzj3.mjs";
 import { t as validateIndexTypes } from "./index-type-validation-Bcme_Ust.mjs";
 import { c as isMaterializedSqlNamespace, d as resolvedTypeParams, f as toStorageTypeInstance, o as SqlStorage, s as applyFkDefaults } from "./types-M_FeBD9w.mjs";
-import { h as validateStorageSemantics } from "./validators-Uim8vh59.mjs";
+import { h as validateStorageSemantics } from "./validators-BCRydDG7.mjs";
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
 import { isStructuredError, structuredError } from "@prisma/orm-framework/utils/structured-error";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
@@ -1489,4 +1489,4 @@ function withoutDerivedChecks(tableName, table, contractDefault) {
 //#endregion
 export { storedAsListColumn as a, isValueObjectMember as i, buildSqlContractFromDefinition as n, toOneNullabilityContradictionMessage as o, contractError as r, applySqlSpecifierControlPolicy as t };
 
-//# sourceMappingURL=derived-checks-sRZp_gTF-Dvk3wkm9.mjs.map
+//# sourceMappingURL=derived-checks-sRZp_gTF-ermwhVGQ.mjs.map