@prisma/orm-family-sql 8.0.0-rc.18-dev.28 → 8.0.0-rc.18-dev.30

package/dist/{psl-build-BT8Ue6gd.mjs → psl-build-BkxAXTwj.mjs}

@@ -3,11 +3,10 @@ import { t as numeralText } from "./data-type-DKk8Unnz.mjs";
 import { r as escapePslString } from "./data-type-support-C5-XxxeB.mjs";
 import "./sql-expression-BJCuy-WI.mjs";
 import { t as sqlFamilyError } from "./errors-B5g0xWro-mWH2C07F.mjs";
-import { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue, validateAuthoringHelperArguments } from "@prisma/orm-framework/components/authoring";
+import { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue } from "@prisma/orm-framework/components/authoring";
 import { dataTypeId, dataTypeParams } from "@prisma/orm-framework/components/codec";
 import { canonicalizeJson } from "@prisma/orm-framework/components/utils";
 import { InternalError, isInternalError } from "@prisma/orm-framework/utils/internal-error";
-import { isRuntimeError } from "@prisma/orm-framework/components/components";
 //#region ../../../2-sql/9-family/dist/psl-build.mjs
 /** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */
 function inferredTypeConstructors(input) {
@@ -357,145 +356,55 @@ function sameForm(left, right) {
 		return other !== void 0 && sameForm(member, other);
 	});
 }
-/** The PSL call of the default function that produces `generatorId` with `params`, or `undefined` when no default function in the stack writes it. */
-function defaultFunctionCallFor(defaultFunctionPrintersByGenerator, generatorId, params) {
-	const printer = defaultFunctionPrintersByGenerator.get(generatorId);
-	return printer === void 0 ? void 0 : `${printer.functionName}(${printer.printArguments(params)})`;
-}
-const PHASES = ["onCreate", "onUpdate"];
-function sameParams(left, right) {
-	return canonicalizeJson(left ?? {}) === canonicalizeJson(right ?? {});
-}
-function sameGenerator(left, right) {
-	if (left === void 0 || right === void 0) return left === right;
-	return left.id === right.id && sameParams(left.params, right.params);
-}
-function writesEveryPhase(printForm, column) {
-	return PHASES.every((phase) => {
-		const generatorId = column.generators[phase]?.id;
-		return generatorId === void 0 || printForm[phase]?.valuesByGenerator.has(generatorId);
-	});
-}
-function writtenArguments(printForm, column) {
-	const positional = [];
-	for (const [index, name] of printForm.typeParams.entries()) {
-		const value = column.typeParams?.[name];
-		if (value === void 0) break;
-		const text = pslTypeArgumentText(value);
-		if (text === void 0) return {
-			kind: "unwritable",
-			argument: name,
-			value
+const GENERATOR_PHASES = ["onCreate", "onUpdate"];
+/**
+* The generator function call that writes each phase of a column's generators, as `@onCreate(...)` and `@onUpdate(...)` take it. A call must resolve back to the stored generator, so a list column, a generator no function writes for the codec, and a call that reads back differently are refused.
+*/
+function generatorCallsFor(input) {
+	const { executionDefault, field, list, generatorFunctions } = input;
+	const calls = [];
+	for (const phase of GENERATOR_PHASES) {
+		const generator = executionDefault[phase];
+		if (generator === void 0) continue;
+		if (list) return {
+			ok: false,
+			refusal: {
+				kind: "on-list",
+				phase,
+				generator
+			}
 		};
-		positional.push({
-			index,
-			value,
-			argument: {
-				kind: "positional",
-				value: text
+		const printed = generatorFunctions.callFor(generator, field);
+		if (printed === void 0) return {
+			ok: false,
+			refusal: {
+				kind: "no-function",
+				phase,
+				generator
 			}
-		});
-	}
-	const named = PHASES.flatMap((phase) => {
-		const phasePrintForm = printForm[phase];
-		const generatorId = column.generators[phase]?.id;
-		const value = generatorId === void 0 ? void 0 : phasePrintForm?.valuesByGenerator.get(generatorId);
-		if (phasePrintForm === void 0 || value === void 0) return [];
-		const { argument: name, index } = phasePrintForm;
-		return [{
-			index,
-			value,
-			argument: {
-				kind: "named",
-				name,
-				value
+		};
+		const readBack = generatorFunctions.resolve(printed.call, field);
+		if (!readBack.ok || canonicalizeJson(readBack.generator) !== canonicalizeJson(generator)) return {
+			ok: false,
+			refusal: {
+				kind: "reads-back-differently",
+				phase,
+				generator,
+				text: printed.text,
+				readBack: readBack.ok ? readBack.generator : void 0
 			}
-		}];
-	});
-	return {
-		kind: "written",
-		arguments: [...positional, ...named]
-	};
-}
-function rejectionOf(preset, args) {
-	try {
-		validateAuthoringHelperArguments(preset.path.join("."), preset.descriptor.args, args);
-		return;
-	} catch (error) {
-		if (isRuntimeError(error) && error.code === "CONTRACT.ARGUMENT_INVALID") return error.message;
-		throw error;
+		};
+		calls.push({
+			phase,
+			text: printed.text
+		});
 	}
-}
-function readBackDifferences(preset, column, args) {
-	const printed = instantiateAuthoringFieldPreset(preset.descriptor, args);
-	const printedGenerators = printed.executionDefaults ?? {};
-	return [
-		...printed.descriptor.codecId === column.codecId ? [] : [{
-			part: "codecId",
-			column: column.codecId,
-			printed: printed.descriptor.codecId
-		}],
-		...sameParams(column.typeParams, printed.descriptor.typeParams) ? [] : [{
-			part: "typeParams",
-			column: column.typeParams,
-			printed: printed.descriptor.typeParams
-		}],
-		...PHASES.flatMap((phase) => sameGenerator(column.generators[phase], printedGenerators[phase]) ? [] : [{
-			part: phase,
-			column: column.generators[phase],
-			printed: printedGenerators[phase]
-		}])
-	];
-}
-function cannotWrite(preset, reason) {
-	return {
-		kind: "cannotWrite",
-		preset,
-		reason
-	};
-}
-/**
-* The call of the field preset in the stack that writes a column's codec with its generators. The call is written only for a column that is not a list and whose PSL type stands for its data type, which the preset call takes the place of, and when the preset accepts its arguments as the PSL reader checks them; it is then checked to read back with the column's codec, type params and generators with their params, where absent and empty params count as the same. Otherwise the reason it cannot be written that way.
-*/
-function fieldPresetCallFor(input) {
-	const { column } = input;
-	const byGenerator = input.fieldPresetsByCodecAndGenerator.get(column.codecId);
-	const preset = PHASES.map((phase) => column.generators[phase]?.id).map((generatorId) => generatorId === void 0 ? void 0 : byGenerator?.get(generatorId)).find((found) => found !== void 0);
-	if (preset === void 0) return { kind: "noPreset" };
-	const { pslType } = column;
-	if (pslType.kind !== "dataType") return cannotWrite(preset, {
-		kind: "columnType",
-		columnType: pslType.kind,
-		typeName: pslType.typeName
-	});
-	if (column.list) return cannotWrite(preset, { kind: "list" });
-	if (!writesEveryPhase(preset.printForm, column)) return cannotWrite(preset, { kind: "phasesNotWrittenTogether" });
-	const written = writtenArguments(preset.printForm, column);
-	if (written.kind === "unwritable") return cannotWrite(preset, {
-		kind: "unwritableArgument",
-		argument: written.argument,
-		value: written.value
-	});
-	const args = [];
-	for (const { index, value } of written.arguments) args[index] = value;
-	const rejection = rejectionOf(preset, args);
-	if (rejection !== void 0) return cannotWrite(preset, {
-		kind: "argumentsRejected",
-		message: rejection
-	});
-	const differences = readBackDifferences(preset, column, args);
-	if (differences.length > 0) return {
-		kind: "readsBackDifferently",
-		preset,
-		differences
-	};
 	return {
-		kind: "call",
-		preset,
-		arguments: written.arguments.map(({ argument }) => argument)
+		ok: true,
+		calls
 	};
 }
 //#endregion
-export { inferredTypeConstructors as a, inferColumnTypes as i, fewestArgumentsCall as n, mapDefault as o, fieldPresetCallFor as r, pslTypeArgumentText as s, defaultFunctionCallFor as t };
+export { mapDefault as a, inferredTypeConstructors as i, generatorCallsFor as n, pslTypeArgumentText as o, inferColumnTypes as r, fewestArgumentsCall as t };
 
-//# sourceMappingURL=psl-build-BT8Ue6gd.mjs.map
+//# sourceMappingURL=psl-build-BkxAXTwj.mjs.map

package/dist/psl-build-BkxAXTwj.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"psl-build-BkxAXTwj.mjs","names":[],"sources":["../../../../2-sql/9-family/dist/psl-build.mjs"],"sourcesContent":["import { t as sqlFamilyError } from \"./errors-B5g0xWro.mjs\";\nimport { s as toEnumMemberName } from \"./psl-names-C3cwe0rg.mjs\";\nimport { SQL_EXPRESSION_TAG } from \"@internal/sql-contract/sql-expression\";\nimport { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue } from \"@internal/framework-components/authoring\";\nimport { dataTypeId, dataTypeParams } from \"@internal/framework-components/codec\";\nimport { InternalError, isInternalError } from \"@internal/utils/internal-error\";\nimport { isSqlDataType, numeralText, resolveReportedSqlType } from \"@internal/sql-contract/data-type\";\nimport { canonicalizeJson } from \"@internal/framework-components/utils\";\nimport { escapePslString } from \"@internal/sql-contract/data-type-support\";\n//#region src/core/psl-build/inferred-type-constructors.ts\n/** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */\nfunction inferredTypeConstructors(input) {\n\tconst found = /* @__PURE__ */ new Map();\n\tfor (const { path, descriptor } of authoringTypeConstructors(input.authoringTypes)) {\n\t\tif (descriptor.inferred !== true) continue;\n\t\tconst dataTypeId = input.codecLookup.descriptorFor(descriptor.output.codecId)?.dataType;\n\t\tconst dataType = dataTypeId === void 0 ? void 0 : input.dataTypeLookup.get(dataTypeId);\n\t\tif (dataType === void 0 || !isSqlDataType(dataType)) continue;\n\t\tfound.set(dataType.id, {\n\t\t\tpath,\n\t\t\tdescriptor,\n\t\t\tdataType\n\t\t});\n\t}\n\treturn found;\n}\nfunction normalParams(marked, args) {\n\ttry {\n\t\tconst { typeParams } = instantiateAuthoringTypeConstructor(marked.descriptor, args);\n\t\tconst params = dataTypeParams(marked.dataType, typeParams);\n\t\treturn canonicalizeJson(marked.dataType.sql.normalize(params));\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/**\n* The call to `marked` with the fewest arguments that produces `params`, the normal form of a\n* column's data type parameters: arguments are dropped from the end while the normal form of what\n* the call produces stays `params`. Undefined when the constructor cannot produce them, such as one\n* whose argument names another entity.\n*/\nfunction fewestArgumentsCall(marked, params) {\n\tconst all = authoringTypeConstructorArguments(marked.descriptor, {\n\t\tcodecId: marked.descriptor.output.codecId,\n\t\ttypeParams: params\n\t});\n\tif (all === void 0) return void 0;\n\tconst wanted = canonicalizeJson(params);\n\tconst args = [...all];\n\twhile (args.length > 0 && normalParams(marked, args.slice(0, -1)) === wanted) args.pop();\n\treturn {\n\t\tpath: marked.path,\n\t\targs\n\t};\n}\n/**\n* A type constructor argument as PSL writes it: a number or boolean as written, a string between quotes.\n* Undefined for any other value, such as an array or an object, and for a string PSL cannot carry, because a quote, backslash or line break in it would read back differently.\n*/\nfunction pslTypeArgumentText(value) {\n\tif (typeof value === \"number\" || typeof value === \"boolean\") return String(value);\n\tif (typeof value !== \"string\") return void 0;\n\treturn escapePslString(value) === value ? `\"${value}\"` : void 0;\n}\n//#endregion\n//#region src/core/psl-build/column-types.ts\n/** The type the database reported for `column`, which introspection always records. */\nfunction reportedTypeOf(column, tableName) {\n\tif (column.reportedType === void 0) throw new InternalError(`contract infer read column \"${tableName}\".\"${column.name}\" without the type the database reported for it.`);\n\treturn column.reportedType;\n}\nfunction writtenCall(constructors, dataTypes, reported) {\n\tconst resolved = resolveReportedSqlType(reported, dataTypes);\n\tconst marked = resolved && constructors.get(resolved.dataType.id);\n\tconst call = resolved && marked && fewestArgumentsCall(marked, resolved.typeParams);\n\tif (call === void 0) return void 0;\n\tconst args = call.args.map(pslTypeArgumentText);\n\treturn args.every((arg) => arg !== void 0) ? {\n\t\tpath: call.path,\n\t\targs\n\t} : void 0;\n}\n/**\n* The type of every column of `tables` that `isEnumColumn` does not claim: the call, with the\n* fewest arguments, to the constructor marked `inferred` for the data type that claims the\n* column's reported type. When any column has no such call, throws\n* `CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED` listing every one of them.\n*/\nfunction inferColumnTypes(input) {\n\tconst dataTypes = [...input.constructors.values()].map((marked) => marked.dataType);\n\tconst types = /* @__PURE__ */ new Map();\n\tconst unclaimed = [];\n\tfor (const { schemaName, tableName, columns } of input.tables) for (const column of columns) {\n\t\tif (input.isEnumColumn(column)) continue;\n\t\tconst reported = reportedTypeOf(column, tableName);\n\t\tconst call = writtenCall(input.constructors, dataTypes, reported);\n\t\tif (call === void 0) {\n\t\t\tunclaimed.push(`${schemaName}.${tableName}.${column.name}: ${reported.text}${column.many === true ? \"[]\" : \"\"}`);\n\t\t\tcontinue;\n\t\t}\n\t\ttypes.set(JSON.stringify([tableName, column.name]), call);\n\t}\n\tif (unclaimed.length > 0) {\n\t\tconst columns = unclaimed.sort();\n\t\tthrow sqlFamilyError(\"CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED\", [\"contract infer: Prisma 8 cannot write these column types with the configured stack:\", ...columns.map((line) => `  ${line}`)].join(\"\\n\"), {\n\t\t\twhy: \"Prisma 8 reads a column type only through a data type that the target or an extension pack declares.\",\n\t\t\tfix: \"No configured pack has a type for these columns. If a type comes from a database extension that has a Prisma 8 pack, add the pack to extensions in prisma.config.ts. Otherwise change the column's type or remove the column from the database.\",\n\t\t\tmeta: { columns }\n\t\t});\n\t}\n\treturn (tableName, columnName) => {\n\t\tconst type = types.get(JSON.stringify([tableName, columnName]));\n\t\tif (type === void 0) throw new InternalError(`contract infer resolved no type for \"${tableName}\".\"${columnName}\".`);\n\t\treturn type;\n\t};\n}\n//#endregion\n//#region src/core/psl-build/default-mapping.ts\nconst DEFAULT_FUNCTION_ATTRIBUTES = {\n\t\"autoincrement()\": \"@default(autoincrement())\",\n\t\"now()\": \"@default(now())\"\n};\n/**\n* The attribute a stored default prints as: a named function, a literal the column takes, or any\n* other expression as a `sql` literal. `undefined` when a literal has no written form. An expression\n* prints even when the literal would read back as different text: default expressions are compared\n* with case and whitespace ignored (`SqlColumnDefaultIR.isEqualTo`), and canonicalization changes only\n* whitespace (ADR 129).\n*/\nfunction mapDefault(columnDefault, options) {\n\tswitch (columnDefault.kind) {\n\t\tcase \"literal\": {\n\t\t\tconst text = writeDefaultLiteral(columnDefault.value, options);\n\t\t\treturn text === void 0 ? void 0 : { attribute: `@default(${text})` };\n\t\t}\n\t\tcase \"function\": return { attribute: options?.functionAttributes?.[columnDefault.expression] ?? DEFAULT_FUNCTION_ATTRIBUTES[columnDefault.expression] ?? `@default(${printTaggedLiteral(SQL_EXPRESSION_TAG, columnDefault.expression)})` };\n\t}\n}\nfunction writingSurface(support) {\n\tconst entryOf = /* @__PURE__ */ new Map();\n\tconst tagTypes = [];\n\tfor (const [key, entry] of Object.entries(support.entries)) {\n\t\tconst written = entry.written;\n\t\tif (written.kind === \"tag\") {\n\t\t\tconst type = dataTypeId(key);\n\t\t\tif (!entryOf.has(type)) entryOf.set(type, entry);\n\t\t\ttagTypes.push(type);\n\t\t\tcontinue;\n\t\t}\n\t\tif (written.syntax === \"number\") {\n\t\t\tfor (const type of written.types) entryOf.set(type, entry);\n\t\t\tcontinue;\n\t\t}\n\t\tentryOf.set(key, entry);\n\t}\n\treturn {\n\t\tsupport,\n\t\tentryOf,\n\t\ttagTypes\n\t};\n}\nfunction readValue(surface, written) {\n\tconst read = readWrittenValue(surface.support, written);\n\treturn read.ok ? read.value : void 0;\n}\n/** The value of a tag's type that a stored document is, constructed by that type. */\nfunction tagValue(surface, type, value) {\n\ttry {\n\t\treturn surface.support.lookup.get(type)?.valueFrom(value, {});\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/**\n* Every value the stored form could be, in the order a written value would be read: a number or\n* numeral text through the number entry first, then the plain syntax that matches the shape, then\n* each tag, whose stored form is a whole document, which may itself be a number or a boolean.\n*/\nfunction classifications(value, surface) {\n\tconst found = [];\n\tif (typeof value === \"number\") found.push(readValue(surface, {\n\t\tkind: \"number\",\n\t\ttext: numeralText(value)\n\t}));\n\telse if (typeof value === \"boolean\") found.push(readValue(surface, {\n\t\tkind: \"boolean\",\n\t\tvalue\n\t}));\n\telse if (typeof value === \"string\") {\n\t\tfound.push(readValue(surface, {\n\t\t\tkind: \"number\",\n\t\t\ttext: value\n\t\t}));\n\t\tfound.push(readValue(surface, {\n\t\t\tkind: \"string\",\n\t\t\ttext: value\n\t\t}));\n\t}\n\tfor (const type of surface.tagTypes) found.push(tagValue(surface, type, value));\n\treturn found.filter((candidate) => candidate !== void 0);\n}\n/** What the column's type stores for `json` under the column's parameters, or `undefined` when it holds no such value. */\nfunction storedUnder(json, column, lookup) {\n\tconst type = lookup.get(column.id);\n\tif (type === void 0) return void 0;\n\ttry {\n\t\treturn type.toContract(type.valueFrom(json, column.params));\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/** The stored form the column takes this value as, spelled as its parameters give it, or `undefined` when its type takes no such value. */\nfunction admitted(candidate, column, surface) {\n\tconst cast = castTypedValue(surface.support, column.id, column.params, candidate);\n\treturn cast.ok ? cast.value.value : void 0;\n}\n/** The text of the literal: what the entry prints, before the syntax that fences it. */\nfunction printedText(entry, value) {\n\ttry {\n\t\treturn entry.print(value);\n\t} catch {\n\t\treturn;\n\t}\n}\n/** The printed text as the entry's syntax writes it, for reading back. */\nfunction writtenAs(entry, text) {\n\tconst written = entry.written;\n\tif (written.kind === \"tag\") return {\n\t\tkind: \"tag\",\n\t\ttag: written.tag,\n\t\ttext\n\t};\n\tif (written.syntax !== \"boolean\") return {\n\t\tkind: written.syntax,\n\t\ttext\n\t};\n\treturn text === \"true\" || text === \"false\" ? {\n\t\tkind: \"boolean\",\n\t\tvalue: text === \"true\"\n\t} : void 0;\n}\n/** What the printed text reads back as, through the same read a written value takes. */\nfunction readBack(surface, entry, text) {\n\tconst written = writtenAs(entry, text);\n\treturn written === void 0 ? void 0 : readValue(surface, written);\n}\nfunction literalText(entry, text) {\n\tconst written = entry.written;\n\tif (written.kind === \"tag\") return printTaggedLiteral(written.tag, text);\n\treturn written.syntax === \"string\" ? `\"${escapePslString(text)}\"` : text;\n}\n/**\n* The value written as the literal of one of its types, proven by reading the text straight back:\n* the same read, the same cast, and the stored form again. A number is tried first without the\n* trailing fraction zeros the column's scale spells it with.\n*/\nfunction writeScalar(value, column, surface) {\n\tconst shortest = withoutTrailingFractionZeros(value);\n\tconst candidates = [...shortest === void 0 ? [] : classifications(shortest, surface), ...classifications(value, surface)];\n\tfor (const candidate of candidates) {\n\t\tconst entry = surface.entryOf.get(candidate.type);\n\t\tif (entry === void 0) continue;\n\t\tconst stored = admitted(candidate, column, surface);\n\t\tif (stored === void 0 || !sameForm(stored, value)) continue;\n\t\tconst text = printedText(entry, candidate.value);\n\t\tif (text === void 0) continue;\n\t\tconst reread = readBack(surface, entry, text);\n\t\tif (reread === void 0) continue;\n\t\tconst restored = admitted(reread, column, surface);\n\t\tif (restored === void 0 || !sameForm(restored, value)) continue;\n\t\treturn literalText(entry, text);\n\t}\n}\nconst DECIMAL_WITH_FRACTION = /^-?\\d+\\.\\d+$/;\nfunction withoutTrailingFractionZeros(value) {\n\tif (typeof value !== \"string\" || !DECIMAL_WITH_FRACTION.test(value)) return void 0;\n\tconst shortened = value.replace(/0+$/, \"\").replace(/\\.$/, \"\");\n\treturn shortened === value ? void 0 : shortened;\n}\n/** One written element of a list, printed as a value of any type, with no column type to admit it. */\nfunction writeElement(value, of, surface) {\n\tfor (const candidate of classifications(value, surface)) {\n\t\tif (!of.includes(candidate.type)) continue;\n\t\tconst entry = surface.entryOf.get(candidate.type);\n\t\tif (entry === void 0) continue;\n\t\tconst text = printedText(entry, candidate.value);\n\t\tif (text === void 0) continue;\n\t\tconst reread = readBack(surface, entry, text);\n\t\tif (reread === void 0 || !of.includes(reread.type)) continue;\n\t\treturn {\n\t\t\ttext: literalText(entry, text),\n\t\t\tvalue: reread.value\n\t\t};\n\t}\n}\n/**\n* A written list on a scalar column, which the column type's list cast turns into its one value,\n* constructed by the column's type. Each element is classified on its own and must be of a type the\n* cast takes.\n*/\nfunction writeListCast(value, column, surface) {\n\tconst listCast = surface.support.lookup.get(column.id)?.listCast;\n\tif (listCast === void 0) return void 0;\n\tconst parts = [];\n\tconst elements = [];\n\tfor (const element of value) {\n\t\tconst written = writeElement(element, listCast.of, surface);\n\t\tif (written === void 0) return void 0;\n\t\tparts.push(written.text);\n\t\telements.push(written.value);\n\t}\n\tlet cast;\n\ttry {\n\t\tcast = listCast.cast(elements);\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n\tconst stored = storedUnder(cast, column, surface.support.lookup);\n\treturn stored !== void 0 && sameForm(stored, value) ? `[${parts.join(\", \")}]` : void 0;\n}\nfunction writeDefaultLiteral(value, options) {\n\tif (value instanceof Date) return void 0;\n\tconst { dataTypes, columnCodec } = options ?? {};\n\tif (dataTypes === void 0 || columnCodec === void 0) return void 0;\n\tconst { lookup } = dataTypes;\n\tconst columnDataType = columnCodec.dataType;\n\tconst columnType = lookup.get(columnDataType);\n\tconst column = {\n\t\tid: columnDataType,\n\t\tparams: columnType === void 0 ? {} : dataTypeParams(columnType, options?.typeParams)\n\t};\n\tconst surface = writingSurface(dataTypes);\n\tif (options?.list === true) {\n\t\tif (!Array.isArray(value)) return void 0;\n\t\tconst parts = [];\n\t\tfor (const element of value) {\n\t\t\tconst written = writeScalar(element, column, surface);\n\t\t\tif (written === void 0) return void 0;\n\t\t\tparts.push(written);\n\t\t}\n\t\treturn `[${parts.join(\", \")}]`;\n\t}\n\tconst written = writeScalar(value, column, surface);\n\tif (written !== void 0) return written;\n\treturn Array.isArray(value) ? writeListCast(value, column, surface) : void 0;\n}\n/** Whether two stored forms are the same JSON value, member by member and element by element. */\nfunction sameForm(left, right) {\n\tif (left === right) return true;\n\tif (Array.isArray(left) !== Array.isArray(right)) return false;\n\tif (typeof left !== \"object\" || typeof right !== \"object\" || left === null || right === null) return false;\n\tconst members = Object.entries(left);\n\tconst others = new Map(Object.entries(right));\n\treturn members.length === others.size && members.every(([key, member]) => {\n\t\tconst other = others.get(key);\n\t\treturn other !== void 0 && sameForm(member, other);\n\t});\n}\n//#endregion\n//#region src/core/psl-build/generator-calls.ts\nconst GENERATOR_PHASES = [\"onCreate\", \"onUpdate\"];\n/**\n* The generator function call that writes each phase of a column's generators, as `@onCreate(...)` and `@onUpdate(...)` take it. A call must resolve back to the stored generator, so a list column, a generator no function writes for the codec, and a call that reads back differently are refused.\n*/\nfunction generatorCallsFor(input) {\n\tconst { executionDefault, field, list, generatorFunctions } = input;\n\tconst calls = [];\n\tfor (const phase of GENERATOR_PHASES) {\n\t\tconst generator = executionDefault[phase];\n\t\tif (generator === void 0) continue;\n\t\tif (list) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"on-list\",\n\t\t\t\tphase,\n\t\t\t\tgenerator\n\t\t\t}\n\t\t};\n\t\tconst printed = generatorFunctions.callFor(generator, field);\n\t\tif (printed === void 0) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"no-function\",\n\t\t\t\tphase,\n\t\t\t\tgenerator\n\t\t\t}\n\t\t};\n\t\tconst readBack = generatorFunctions.resolve(printed.call, field);\n\t\tif (!readBack.ok || canonicalizeJson(readBack.generator) !== canonicalizeJson(generator)) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"reads-back-differently\",\n\t\t\t\tphase,\n\t\t\t\tgenerator,\n\t\t\t\ttext: printed.text,\n\t\t\t\treadBack: readBack.ok ? readBack.generator : void 0\n\t\t\t}\n\t\t};\n\t\tcalls.push({\n\t\t\tphase,\n\t\t\ttext: printed.text\n\t\t});\n\t}\n\treturn {\n\t\tok: true,\n\t\tcalls\n\t};\n}\n//#endregion\nexport { fewestArgumentsCall, generatorCallsFor, inferColumnTypes, inferredTypeConstructors, mapDefault, pslTypeArgumentText, toEnumMemberName };\n\n//# sourceMappingURL=psl-build.mjs.map"],"mappings":";;;;;;;;;;;AAWA,SAAS,yBAAyB,OAAO;CACxC,MAAM,wBAAwB,IAAI,IAAI;CACtC,KAAK,MAAM,EAAE,MAAM,gBAAgB,0BAA0B,MAAM,cAAc,GAAG;EACnF,IAAI,WAAW,aAAa,MAAM;EAClC,MAAM,aAAa,MAAM,YAAY,cAAc,WAAW,OAAO,OAAO,CAAC,EAAE;EAC/E,MAAM,WAAW,eAAe,KAAK,IAAI,KAAK,IAAI,MAAM,eAAe,IAAI,UAAU;EACrF,IAAI,aAAa,KAAK,KAAK,CAAC,cAAc,QAAQ,GAAG;EACrD,MAAM,IAAI,SAAS,IAAI;GACtB;GACA;GACA;EACD,CAAC;CACF;CACA,OAAO;AACR;AACA,SAAS,aAAa,QAAQ,MAAM;CACnC,IAAI;EACH,MAAM,EAAE,eAAe,oCAAoC,OAAO,YAAY,IAAI;EAClF,MAAM,SAAS,eAAe,OAAO,UAAU,UAAU;EACzD,OAAO,iBAAiB,OAAO,SAAS,IAAI,UAAU,MAAM,CAAC;CAC9D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;;;;;;AAOA,SAAS,oBAAoB,QAAQ,QAAQ;CAC5C,MAAM,MAAM,kCAAkC,OAAO,YAAY;EAChE,SAAS,OAAO,WAAW,OAAO;EAClC,YAAY;CACb,CAAC;CACD,IAAI,QAAQ,KAAK,GAAG,OAAO,KAAK;CAChC,MAAM,SAAS,iBAAiB,MAAM;CACtC,MAAM,OAAO,CAAC,GAAG,GAAG;CACpB,OAAO,KAAK,SAAS,KAAK,aAAa,QAAQ,KAAK,MAAM,GAAG,EAAE,CAAC,MAAM,QAAQ,KAAK,IAAI;CACvF,OAAO;EACN,MAAM,OAAO;EACb;CACD;AACD;;;;;AAKA,SAAS,oBAAoB,OAAO;CACnC,IAAI,OAAO,UAAU,YAAY,OAAO,UAAU,WAAW,OAAO,OAAO,KAAK;CAChF,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK;CAC3C,OAAO,gBAAgB,KAAK,MAAM,QAAQ,IAAI,MAAM,KAAK,KAAK;AAC/D;;AAIA,SAAS,eAAe,QAAQ,WAAW;CAC1C,IAAI,OAAO,iBAAiB,KAAK,GAAG,MAAM,IAAI,cAAc,+BAA+B,UAAU,KAAK,OAAO,KAAK,iDAAiD;CACvK,OAAO,OAAO;AACf;AACA,SAAS,YAAY,cAAc,WAAW,UAAU;CACvD,MAAM,WAAW,uBAAuB,UAAU,SAAS;CAC3D,MAAM,SAAS,YAAY,aAAa,IAAI,SAAS,SAAS,EAAE;CAChE,MAAM,OAAO,YAAY,UAAU,oBAAoB,QAAQ,SAAS,UAAU;CAClF,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,MAAM,OAAO,KAAK,KAAK,IAAI,mBAAmB;CAC9C,OAAO,KAAK,OAAO,QAAQ,QAAQ,KAAK,CAAC,IAAI;EAC5C,MAAM,KAAK;EACX;CACD,IAAI,KAAK;AACV;;;;;;;AAOA,SAAS,iBAAiB,OAAO;CAChC,MAAM,YAAY,CAAC,GAAG,MAAM,aAAa,OAAO,CAAC,CAAC,CAAC,KAAK,WAAW,OAAO,QAAQ;CAClF,MAAM,wBAAwB,IAAI,IAAI;CACtC,MAAM,YAAY,CAAC;CACnB,KAAK,MAAM,EAAE,YAAY,WAAW,aAAa,MAAM,QAAQ,KAAK,MAAM,UAAU,SAAS;EAC5F,IAAI,MAAM,aAAa,MAAM,GAAG;EAChC,MAAM,WAAW,eAAe,QAAQ,SAAS;EACjD,MAAM,OAAO,YAAY,MAAM,cAAc,WAAW,QAAQ;EAChE,IAAI,SAAS,KAAK,GAAG;GACpB,UAAU,KAAK,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,KAAK,IAAI,SAAS,OAAO,OAAO,SAAS,OAAO,OAAO,IAAI;GAC/G;EACD;EACA,MAAM,IAAI,KAAK,UAAU,CAAC,WAAW,OAAO,IAAI,CAAC,GAAG,IAAI;CACzD;CACA,IAAI,UAAU,SAAS,GAAG;EACzB,MAAM,UAAU,UAAU,KAAK;EAC/B,MAAM,eAAe,wCAAwC,CAAC,uFAAuF,GAAG,QAAQ,KAAK,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG;GACvM,KAAK;GACL,KAAK;GACL,MAAM,EAAE,QAAQ;EACjB,CAAC;CACF;CACA,QAAQ,WAAW,eAAe;EACjC,MAAM,OAAO,MAAM,IAAI,KAAK,UAAU,CAAC,WAAW,UAAU,CAAC,CAAC;EAC9D,IAAI,SAAS,KAAK,GAAG,MAAM,IAAI,cAAc,wCAAwC,UAAU,KAAK,WAAW,GAAG;EAClH,OAAO;CACR;AACD;AAGA,MAAM,8BAA8B;CACnC,mBAAmB;CACnB,SAAS;AACV;;;;;;;;AAQA,SAAS,WAAW,eAAe,SAAS;CAC3C,QAAQ,cAAc,MAAtB;EACC,KAAK,WAAW;GACf,MAAM,OAAO,oBAAoB,cAAc,OAAO,OAAO;GAC7D,OAAO,SAAS,KAAK,IAAI,KAAK,IAAI,EAAE,WAAW,YAAY,KAAK,GAAG;EACpE;EACA,KAAK,YAAY,OAAO,EAAE,WAAW,SAAS,qBAAqB,cAAc,eAAe,4BAA4B,cAAc,eAAe,YAAY,mBAAA,OAAuC,cAAc,UAAU,EAAE,GAAG;CAC1O;AACD;AACA,SAAS,eAAe,SAAS;CAChC,MAAM,0BAA0B,IAAI,IAAI;CACxC,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,QAAQ,OAAO,GAAG;EAC3D,MAAM,UAAU,MAAM;EACtB,IAAI,QAAQ,SAAS,OAAO;GAC3B,MAAM,OAAO,WAAW,GAAG;GAC3B,IAAI,CAAC,QAAQ,IAAI,IAAI,GAAG,QAAQ,IAAI,MAAM,KAAK;GAC/C,SAAS,KAAK,IAAI;GAClB;EACD;EACA,IAAI,QAAQ,WAAW,UAAU;GAChC,KAAK,MAAM,QAAQ,QAAQ,OAAO,QAAQ,IAAI,MAAM,KAAK;GACzD;EACD;EACA,QAAQ,IAAI,KAAK,KAAK;CACvB;CACA,OAAO;EACN;EACA;EACA;CACD;AACD;AACA,SAAS,UAAU,SAAS,SAAS;CACpC,MAAM,OAAO,iBAAiB,QAAQ,SAAS,OAAO;CACtD,OAAO,KAAK,KAAK,KAAK,QAAQ,KAAK;AACpC;;AAEA,SAAS,SAAS,SAAS,MAAM,OAAO;CACvC,IAAI;EACH,OAAO,QAAQ,QAAQ,OAAO,IAAI,IAAI,CAAC,EAAE,UAAU,OAAO,CAAC,CAAC;CAC7D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;;;;;AAMA,SAAS,gBAAgB,OAAO,SAAS;CACxC,MAAM,QAAQ,CAAC;CACf,IAAI,OAAO,UAAU,UAAU,MAAM,KAAK,UAAU,SAAS;EAC5D,MAAM;EACN,MAAM,YAAY,KAAK;CACxB,CAAC,CAAC;MACG,IAAI,OAAO,UAAU,WAAW,MAAM,KAAK,UAAU,SAAS;EAClE,MAAM;EACN;CACD,CAAC,CAAC;MACG,IAAI,OAAO,UAAU,UAAU;EACnC,MAAM,KAAK,UAAU,SAAS;GAC7B,MAAM;GACN,MAAM;EACP,CAAC,CAAC;EACF,MAAM,KAAK,UAAU,SAAS;GAC7B,MAAM;GACN,MAAM;EACP,CAAC,CAAC;CACH;CACA,KAAK,MAAM,QAAQ,QAAQ,UAAU,MAAM,KAAK,SAAS,SAAS,MAAM,KAAK,CAAC;CAC9E,OAAO,MAAM,QAAQ,cAAc,cAAc,KAAK,CAAC;AACxD;;AAEA,SAAS,YAAY,MAAM,QAAQ,QAAQ;CAC1C,MAAM,OAAO,OAAO,IAAI,OAAO,EAAE;CACjC,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,IAAI;EACH,OAAO,KAAK,WAAW,KAAK,UAAU,MAAM,OAAO,MAAM,CAAC;CAC3D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;AAEA,SAAS,SAAS,WAAW,QAAQ,SAAS;CAC7C,MAAM,OAAO,eAAe,QAAQ,SAAS,OAAO,IAAI,OAAO,QAAQ,SAAS;CAChF,OAAO,KAAK,KAAK,KAAK,MAAM,QAAQ,KAAK;AAC1C;;AAEA,SAAS,YAAY,OAAO,OAAO;CAClC,IAAI;EACH,OAAO,MAAM,MAAM,KAAK;CACzB,QAAQ;EACP;CACD;AACD;;AAEA,SAAS,UAAU,OAAO,MAAM;CAC/B,MAAM,UAAU,MAAM;CACtB,IAAI,QAAQ,SAAS,OAAO,OAAO;EAClC,MAAM;EACN,KAAK,QAAQ;EACb;CACD;CACA,IAAI,QAAQ,WAAW,WAAW,OAAO;EACxC,MAAM,QAAQ;EACd;CACD;CACA,OAAO,SAAS,UAAU,SAAS,UAAU;EAC5C,MAAM;EACN,OAAO,SAAS;CACjB,IAAI,KAAK;AACV;;AAEA,SAAS,SAAS,SAAS,OAAO,MAAM;CACvC,MAAM,UAAU,UAAU,OAAO,IAAI;CACrC,OAAO,YAAY,KAAK,IAAI,KAAK,IAAI,UAAU,SAAS,OAAO;AAChE;AACA,SAAS,YAAY,OAAO,MAAM;CACjC,MAAM,UAAU,MAAM;CACtB,IAAI,QAAQ,SAAS,OAAO,OAAO,mBAAmB,QAAQ,KAAK,IAAI;CACvE,OAAO,QAAQ,WAAW,WAAW,IAAI,gBAAgB,IAAI,EAAE,KAAK;AACrE;;;;;;AAMA,SAAS,YAAY,OAAO,QAAQ,SAAS;CAC5C,MAAM,WAAW,6BAA6B,KAAK;CACnD,MAAM,aAAa,CAAC,GAAG,aAAa,KAAK,IAAI,CAAC,IAAI,gBAAgB,UAAU,OAAO,GAAG,GAAG,gBAAgB,OAAO,OAAO,CAAC;CACxH,KAAK,MAAM,aAAa,YAAY;EACnC,MAAM,QAAQ,QAAQ,QAAQ,IAAI,UAAU,IAAI;EAChD,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,SAAS,SAAS,WAAW,QAAQ,OAAO;EAClD,IAAI,WAAW,KAAK,KAAK,CAAC,SAAS,QAAQ,KAAK,GAAG;EACnD,MAAM,OAAO,YAAY,OAAO,UAAU,KAAK;EAC/C,IAAI,SAAS,KAAK,GAAG;EACrB,MAAM,SAAS,SAAS,SAAS,OAAO,IAAI;EAC5C,IAAI,WAAW,KAAK,GAAG;EACvB,MAAM,WAAW,SAAS,QAAQ,QAAQ,OAAO;EACjD,IAAI,aAAa,KAAK,KAAK,CAAC,SAAS,UAAU,KAAK,GAAG;EACvD,OAAO,YAAY,OAAO,IAAI;CAC/B;AACD;AACA,MAAM,wBAAwB;AAC9B,SAAS,6BAA6B,OAAO;CAC5C,IAAI,OAAO,UAAU,YAAY,CAAC,sBAAsB,KAAK,KAAK,GAAG,OAAO,KAAK;CACjF,MAAM,YAAY,MAAM,QAAQ,OAAO,EAAE,CAAC,CAAC,QAAQ,OAAO,EAAE;CAC5D,OAAO,cAAc,QAAQ,KAAK,IAAI;AACvC;;AAEA,SAAS,aAAa,OAAO,IAAI,SAAS;CACzC,KAAK,MAAM,aAAa,gBAAgB,OAAO,OAAO,GAAG;EACxD,IAAI,CAAC,GAAG,SAAS,UAAU,IAAI,GAAG;EAClC,MAAM,QAAQ,QAAQ,QAAQ,IAAI,UAAU,IAAI;EAChD,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,OAAO,YAAY,OAAO,UAAU,KAAK;EAC/C,IAAI,SAAS,KAAK,GAAG;EACrB,MAAM,SAAS,SAAS,SAAS,OAAO,IAAI;EAC5C,IAAI,WAAW,KAAK,KAAK,CAAC,GAAG,SAAS,OAAO,IAAI,GAAG;EACpD,OAAO;GACN,MAAM,YAAY,OAAO,IAAI;GAC7B,OAAO,OAAO;EACf;CACD;AACD;;;;;;AAMA,SAAS,cAAc,OAAO,QAAQ,SAAS;CAC9C,MAAM,WAAW,QAAQ,QAAQ,OAAO,IAAI,OAAO,EAAE,CAAC,EAAE;CACxD,IAAI,aAAa,KAAK,GAAG,OAAO,KAAK;CACrC,MAAM,QAAQ,CAAC;CACf,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,WAAW,OAAO;EAC5B,MAAM,UAAU,aAAa,SAAS,SAAS,IAAI,OAAO;EAC1D,IAAI,YAAY,KAAK,GAAG,OAAO,KAAK;EACpC,MAAM,KAAK,QAAQ,IAAI;EACvB,SAAS,KAAK,QAAQ,KAAK;CAC5B;CACA,IAAI;CACJ,IAAI;EACH,OAAO,SAAS,KAAK,QAAQ;CAC9B,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;CACA,MAAM,SAAS,YAAY,MAAM,QAAQ,QAAQ,QAAQ,MAAM;CAC/D,OAAO,WAAW,KAAK,KAAK,SAAS,QAAQ,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,KAAK,KAAK;AACtF;AACA,SAAS,oBAAoB,OAAO,SAAS;CAC5C,IAAI,iBAAiB,MAAM,OAAO,KAAK;CACvC,MAAM,EAAE,WAAW,gBAAgB,WAAW,CAAC;CAC/C,IAAI,cAAc,KAAK,KAAK,gBAAgB,KAAK,GAAG,OAAO,KAAK;CAChE,MAAM,EAAE,WAAW;CACnB,MAAM,iBAAiB,YAAY;CACnC,MAAM,aAAa,OAAO,IAAI,cAAc;CAC5C,MAAM,SAAS;EACd,IAAI;EACJ,QAAQ,eAAe,KAAK,IAAI,CAAC,IAAI,eAAe,YAAY,SAAS,UAAU;CACpF;CACA,MAAM,UAAU,eAAe,SAAS;CACxC,IAAI,SAAS,SAAS,MAAM;EAC3B,IAAI,CAAC,MAAM,QAAQ,KAAK,GAAG,OAAO,KAAK;EACvC,MAAM,QAAQ,CAAC;EACf,KAAK,MAAM,WAAW,OAAO;GAC5B,MAAM,UAAU,YAAY,SAAS,QAAQ,OAAO;GACpD,IAAI,YAAY,KAAK,GAAG,OAAO,KAAK;GACpC,MAAM,KAAK,OAAO;EACnB;EACA,OAAO,IAAI,MAAM,KAAK,IAAI,EAAE;CAC7B;CACA,MAAM,UAAU,YAAY,OAAO,QAAQ,OAAO;CAClD,IAAI,YAAY,KAAK,GAAG,OAAO;CAC/B,OAAO,MAAM,QAAQ,KAAK,IAAI,cAAc,OAAO,QAAQ,OAAO,IAAI,KAAK;AAC5E;;AAEA,SAAS,SAAS,MAAM,OAAO;CAC9B,IAAI,SAAS,OAAO,OAAO;CAC3B,IAAI,MAAM,QAAQ,IAAI,MAAM,MAAM,QAAQ,KAAK,GAAG,OAAO;CACzD,IAAI,OAAO,SAAS,YAAY,OAAO,UAAU,YAAY,SAAS,QAAQ,UAAU,MAAM,OAAO;CACrG,MAAM,UAAU,OAAO,QAAQ,IAAI;CACnC,MAAM,SAAS,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC;CAC5C,OAAO,QAAQ,WAAW,OAAO,QAAQ,QAAQ,OAAO,CAAC,KAAK,YAAY;EACzE,MAAM,QAAQ,OAAO,IAAI,GAAG;EAC5B,OAAO,UAAU,KAAK,KAAK,SAAS,QAAQ,KAAK;CAClD,CAAC;AACF;AAGA,MAAM,mBAAmB,CAAC,YAAY,UAAU;;;;AAIhD,SAAS,kBAAkB,OAAO;CACjC,MAAM,EAAE,kBAAkB,OAAO,MAAM,uBAAuB;CAC9D,MAAM,QAAQ,CAAC;CACf,KAAK,MAAM,SAAS,kBAAkB;EACrC,MAAM,YAAY,iBAAiB;EACnC,IAAI,cAAc,KAAK,GAAG;EAC1B,IAAI,MAAM,OAAO;GAChB,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;GACD;EACD;EACA,MAAM,UAAU,mBAAmB,QAAQ,WAAW,KAAK;EAC3D,IAAI,YAAY,KAAK,GAAG,OAAO;GAC9B,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;GACD;EACD;EACA,MAAM,WAAW,mBAAmB,QAAQ,QAAQ,MAAM,KAAK;EAC/D,IAAI,CAAC,SAAS,MAAM,iBAAiB,SAAS,SAAS,MAAM,iBAAiB,SAAS,GAAG,OAAO;GAChG,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;IACA,MAAM,QAAQ;IACd,UAAU,SAAS,KAAK,SAAS,YAAY,KAAK;GACnD;EACD;EACA,MAAM,KAAK;GACV;GACA,MAAM,QAAQ;EACf,CAAC;CACF;CACA,OAAO;EACN,IAAI;EACJ;CACD;AACD"}

package/dist/psl-build-O7_tXQ1E.d.mts

@@ -0,0 +1,108 @@
+import { u as SqlColumnIR } from "./types-B3AHHPDh-BHh-89fY.mjs";
+import "./types-BGERR8XF.mjs";
+import { r as SqlDataType, s as SqlTypeParams } from "./data-type-C84xngfv.mjs";
+import "./default-mapping-CEISdj2g-DF1LzGBR.mjs";
+import { AuthoringTypeConstructorCall, AuthoringTypeConstructorDescriptor, AuthoringTypeNamespace } from "@prisma/orm-framework/components/authoring";
+import { CodecLookupWithDescriptors, DataTypeLookup } from "@prisma/orm-framework/components/codec";
+import { ExecutionMutationDefaultPhases, ExecutionMutationDefaultValue } from "@prisma/orm-framework/contract/types";
+import { GeneratorFunctionField, GeneratorFunctionRegistry, GeneratorPhase } from "@prisma/orm-framework/components/components";
+//#region ../../../2-sql/9-family/dist/psl-build.d.mts
+//#region src/core/psl-build/inferred-type-constructors.d.ts
+/** The type constructor `contract infer` writes for a data type, with the data type it produces. */
+interface InferredTypeConstructor {
+  readonly path: readonly string[];
+  readonly descriptor: AuthoringTypeConstructorDescriptor;
+  readonly dataType: SqlDataType;
+}
+/** The constructors marked `inferred` in a stack, keyed by the id of the data type each produces. */
+type InferredTypeConstructors = ReadonlyMap<string, InferredTypeConstructor>;
+/** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */
+declare function inferredTypeConstructors(input: {
+  readonly authoringTypes: AuthoringTypeNamespace;
+  readonly codecLookup: Pick<CodecLookupWithDescriptors, 'descriptorFor'>;
+  readonly dataTypeLookup: DataTypeLookup;
+}): InferredTypeConstructors;
+/**
+ * The call to `marked` with the fewest arguments that produces `params`, the normal form of a
+ * column's data type parameters: arguments are dropped from the end while the normal form of what
+ * the call produces stays `params`. Undefined when the constructor cannot produce them, such as one
+ * whose argument names another entity.
+ */
+declare function fewestArgumentsCall(marked: InferredTypeConstructor, params: SqlTypeParams): AuthoringTypeConstructorCall | undefined;
+/**
+ * A type constructor argument as PSL writes it: a number or boolean as written, a string between quotes.
+ * Undefined for any other value, such as an array or an object, and for a string PSL cannot carry, because a quote, backslash or line break in it would read back differently.
+ */
+declare function pslTypeArgumentText(value: unknown): string | undefined;
+//#endregion
+//#region src/core/psl-build/column-types.d.ts
+/** A call to a type constructor as PSL writes it: the constructor's path and its arguments' text. */
+interface PslTypeCall {
+  readonly path: readonly string[];
+  readonly args: readonly string[];
+}
+/** The PSL type `contract infer` writes for a column that is not an enum, by table and column name. */
+type ColumnTypeOf = (tableName: string, columnName: string) => PslTypeCall;
+/** One introspected table, with the schema it was read from. */
+interface IntrospectedTable {
+  readonly schemaName: string;
+  readonly tableName: string;
+  readonly columns: readonly SqlColumnIR[];
+}
+/**
+ * The type of every column of `tables` that `isEnumColumn` does not claim: the call, with the
+ * fewest arguments, to the constructor marked `inferred` for the data type that claims the
+ * column's reported type. When any column has no such call, throws
+ * `CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED` listing every one of them.
+ */
+declare function inferColumnTypes(input: {
+  readonly tables: readonly IntrospectedTable[];
+  readonly constructors: InferredTypeConstructors;
+  readonly isEnumColumn: (column: SqlColumnIR) => boolean;
+}): ColumnTypeOf;
+//#endregion
+//#region src/core/psl-build/generator-calls.d.ts
+/** The call text that writes one phase of a column's generators. */
+interface PhaseCallText {
+  readonly phase: GeneratorPhase;
+  readonly text: string;
+}
+type GeneratorCallRefusal = {
+  readonly kind: 'on-list' | 'no-function';
+  readonly phase: GeneratorPhase;
+  readonly generator: ExecutionMutationDefaultValue;
+} | {
+  readonly kind: 'reads-back-differently';
+  readonly phase: GeneratorPhase;
+  readonly generator: ExecutionMutationDefaultValue;
+  readonly text: string;
+  readonly readBack: ExecutionMutationDefaultValue | undefined;
+};
+type GeneratorCallsResult = {
+  readonly ok: true;
+  readonly calls: readonly PhaseCallText[];
+} | {
+  readonly ok: false;
+  readonly refusal: GeneratorCallRefusal;
+};
+/**
+ * The generator function call that writes each phase of a column's generators, as `@onCreate(...)` and `@onUpdate(...)` take it. A call must resolve back to the stored generator, so a list column, a generator no function writes for the codec, and a call that reads back differently are refused.
+ */
+declare function generatorCallsFor(input: {
+  readonly executionDefault: ExecutionMutationDefaultPhases;
+  readonly field: GeneratorFunctionField;
+  readonly list: boolean;
+  readonly generatorFunctions: GeneratorFunctionRegistry;
+}): GeneratorCallsResult;
+//#endregion
+//#region src/core/psl-build/psl-names.d.ts
+/**
+ * PSL member name for a native-enum value. The value itself always prints
+ * explicitly (`member = "value"`), so the returned name never needs a map:
+ * a value that already is a valid, non-reserved identifier is kept verbatim
+ * (case included); anything else is camelCased/escaped like a field name.
+ */
+declare function toEnumMemberName(value: string): string;
+//#endregion
+export { InferredTypeConstructors as a, PslTypeCall as c, inferColumnTypes as d, inferredTypeConstructors as f, InferredTypeConstructor as i, fewestArgumentsCall as l, toEnumMemberName as m, GeneratorCallRefusal as n, IntrospectedTable as o, pslTypeArgumentText as p, GeneratorCallsResult as r, PhaseCallText as s, ColumnTypeOf as t, generatorCallsFor as u };
+//# sourceMappingURL=psl-build-O7_tXQ1E.d.mts.map

package/dist/psl-build-O7_tXQ1E.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"psl-build-O7_tXQ1E.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/psl-build.d.mts"],"mappings":";;;;;;;;;;;UASU;WACC;WACA,YAAY;WACZ,UAAU;;;KAGhB,2BAA2B,oBAAoB;;iBAEnC,yBAAyB;WAC/B,gBAAgB;WAChB,aAAa,KAAK;WAClB,gBAAgB;IACvB;;;;;;;iBAOa,oBAAoB,QAAQ,yBAAyB,QAAQ,gBAAgB;;;;;iBAK7E,oBAAoB;;;;UAI3B;WACC;WACA;;;KAGN,gBAAgB,mBAAmB,uBAAuB;;UAErD;WACC;WACA;WACA,kBAAkB;;;;;;;;iBAQZ,iBAAiB;WACvB,iBAAiB;WACjB,cAAc;WACd,eAAe,QAAQ;IAC9B;;;;UAIM;WACC,OAAO;WACP;;KAEN;WACM;WACA,OAAO;WACP,WAAW;;WAEX;WACA,OAAO;WACP,WAAW;WACX;WACA,UAAU;;KAEhB;WACM;WACA,gBAAgB;;WAEhB;WACA,SAAS;;;;;iBAKH,kBAAkB;WACxB,kBAAkB;WAClB,OAAO;WACP;WACA,oBAAoB;IAC3B;;;;;;;;;iBASa,iBAAiB"}

package/dist/{psl-column-resolution-BCkhNzOK-DyfXnB-9.d.mts → psl-column-resolution-DNdqpUxt-C8BST0uW.d.mts}

@@ -1,10 +1,10 @@
-import "./contract-builder-D-RSOsnc.mjs";
+import "./contract-builder-GH-eCIpl.mjs";
 import { AuthoringTypeConstructorDescriptor } from "@prisma/orm-framework/components/authoring";
 import { CodecLookupWithDescriptors } from "@prisma/orm-framework/components/codec";
 import { ColumnDefault, ExecutionMutationDefaultPhases, ValueSetRef } from "@prisma/orm-framework/contract/types";
 import { Binder } from "@prisma/orm-framework/psl-parser";
 import "@prisma/orm-framework/components/control";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-BCkhNzOK.d.mts
+//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-DNdqpUxt.d.mts
 //#region src/psl-column-resolution.d.ts
 type ColumnDescriptor = {
   readonly codecId: string;
@@ -22,4 +22,4 @@ type ColumnDescriptor = {
 };
 //#endregion
 export { ColumnDescriptor as t };
-//# sourceMappingURL=psl-column-resolution-BCkhNzOK-DyfXnB-9.d.mts.map
+//# sourceMappingURL=psl-column-resolution-DNdqpUxt-C8BST0uW.d.mts.map

package/dist/psl-column-resolution-DNdqpUxt-C8BST0uW.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"psl-column-resolution-DNdqpUxt-C8BST0uW.d.mts","names":[],"sources":["../../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-DNdqpUxt.d.mts"],"mappings":";;;;;;;;KASK;WACM;WACA;WACA,aAAa;;;;;;;;;WASb,WAAW"}