@erfanium/drizzle-orm 0.1.0 → 1.0.1

package/arktype/column.js

@@ -0,0 +1,247 @@
+import { getTableName } from "../table.js";
+import { getColumnTable } from "../column.js";
+import { CONSTANTS } from "../utils.js";
+import { extractExtendedColumnType } from "../column-builder.js";
+import { type } from "arktype";
+
+//#region src/arktype/column.ts
+const literalSchema = type.string.or(type.number).or(type.boolean).or(type.null);
+const jsonSchema = literalSchema.or(type.unknown.as().array()).or(type.object.as());
+const bufferSchema = type.unknown.narrow((value) => value instanceof Buffer).as().describe("a Buffer instance");
+function columnToSchema(column) {
+	let schema;
+	const dimensions = column.dimensions;
+	if (typeof dimensions === "number" && dimensions > 0) return pgArrayColumnToSchema(column, dimensions);
+	const { type: columnType, constraint } = extractExtendedColumnType(column);
+	switch (columnType) {
+		case "array":
+			schema = arrayColumnToSchema(column, constraint);
+			break;
+		case "object":
+			schema = objectColumnToSchema(column, constraint);
+			break;
+		case "number":
+			schema = numberColumnToSchema(column, constraint);
+			break;
+		case "bigint":
+			schema = bigintColumnToSchema(column, constraint);
+			break;
+		case "boolean":
+			schema = type.boolean;
+			break;
+		case "string":
+			schema = stringColumnToSchema(column, constraint);
+			break;
+		case "custom":
+			schema = type.unknown;
+			break;
+		default: schema = type.unknown;
+	}
+	return schema;
+}
+function numberColumnToSchema(column, constraint) {
+	let min;
+	let max;
+	let integer = false;
+	switch (constraint) {
+		case "int8":
+			min = CONSTANTS.INT8_MIN;
+			max = CONSTANTS.INT8_MAX;
+			integer = true;
+			break;
+		case "uint8":
+			min = 0;
+			max = CONSTANTS.INT8_UNSIGNED_MAX;
+			integer = true;
+			break;
+		case "int16":
+			min = CONSTANTS.INT16_MIN;
+			max = CONSTANTS.INT16_MAX;
+			integer = true;
+			break;
+		case "uint16":
+			min = 0;
+			max = CONSTANTS.INT16_UNSIGNED_MAX;
+			integer = true;
+			break;
+		case "int24":
+			min = CONSTANTS.INT24_MIN;
+			max = CONSTANTS.INT24_MAX;
+			integer = true;
+			break;
+		case "uint24":
+			min = 0;
+			max = CONSTANTS.INT24_UNSIGNED_MAX;
+			integer = true;
+			break;
+		case "int32":
+			min = CONSTANTS.INT32_MIN;
+			max = CONSTANTS.INT32_MAX;
+			integer = true;
+			break;
+		case "uint32":
+			min = 0;
+			max = CONSTANTS.INT32_UNSIGNED_MAX;
+			integer = true;
+			break;
+		case "int53":
+			min = Number.MIN_SAFE_INTEGER;
+			max = Number.MAX_SAFE_INTEGER;
+			integer = true;
+			break;
+		case "uint53":
+			min = 0;
+			max = Number.MAX_SAFE_INTEGER;
+			integer = true;
+			break;
+		case "float":
+			min = CONSTANTS.INT24_MIN;
+			max = CONSTANTS.INT24_MAX;
+			break;
+		case "ufloat":
+			min = 0;
+			max = CONSTANTS.INT24_UNSIGNED_MAX;
+			break;
+		case "double":
+			min = CONSTANTS.INT48_MIN;
+			max = CONSTANTS.INT48_MAX;
+			break;
+		case "udouble":
+			min = 0;
+			max = CONSTANTS.INT48_UNSIGNED_MAX;
+			break;
+		case "year":
+			min = 1901;
+			max = 2155;
+			integer = true;
+			break;
+		case "unsigned":
+			min = 0;
+			max = Number.MAX_SAFE_INTEGER;
+			break;
+		default:
+			min = Number.MIN_SAFE_INTEGER;
+			max = Number.MAX_SAFE_INTEGER;
+			break;
+	}
+	return (integer ? type.keywords.number.integer : type.number).atLeast(min).atMost(max);
+}
+function pgArrayColumnToSchema(column, dimensions) {
+	const [baseType, baseConstraint] = column.dataType.split(" ");
+	let baseSchema;
+	switch (baseType) {
+		case "number":
+			baseSchema = numberColumnToSchema(column, baseConstraint);
+			break;
+		case "bigint":
+			baseSchema = bigintColumnToSchema(column, baseConstraint);
+			break;
+		case "boolean":
+			baseSchema = type.boolean;
+			break;
+		case "string":
+			baseSchema = stringColumnToSchema(column, baseConstraint);
+			break;
+		case "object":
+			baseSchema = objectColumnToSchema(column, baseConstraint);
+			break;
+		case "array":
+			baseSchema = arrayColumnToSchema(column, baseConstraint);
+			break;
+		default: baseSchema = type.unknown;
+	}
+	let schema = baseSchema.array();
+	for (let i = 1; i < dimensions; i++) schema = schema.array();
+	return schema;
+}
+function arrayColumnToSchema(column, constraint) {
+	switch (constraint) {
+		case "geometry":
+		case "point": return type([type.number, type.number]);
+		case "line": return type([
+			type.number,
+			type.number,
+			type.number
+		]);
+		case "vector":
+		case "halfvector": {
+			const length = column.length;
+			return length ? type.number.array().exactlyLength(length) : type.number.array();
+		}
+		case "int64vector": {
+			const length = column.length;
+			return length ? type.bigint.array().exactlyLength(length) : type.bigint.array();
+		}
+		case "basecolumn": {
+			const baseColumn = column.baseColumn;
+			if (baseColumn) {
+				const length = column.length;
+				const schema = columnToSchema(baseColumn).array();
+				if (length) return schema.exactlyLength(length);
+				return schema;
+			}
+			return type.unknown.array();
+		}
+		default: return type.unknown.array();
+	}
+}
+function objectColumnToSchema(column, constraint) {
+	switch (constraint) {
+		case "buffer": return bufferSchema;
+		case "date": return type.Date;
+		case "geometry":
+		case "point": return type({
+			x: type.number,
+			y: type.number
+		});
+		case "json": return jsonSchema;
+		case "line": return type({
+			a: type.number,
+			b: type.number,
+			c: type.number
+		});
+		default: return type({});
+	}
+}
+const unsignedBigintNarrow = (v, ctx) => v < 0n ? ctx.mustBe("greater than") : v > CONSTANTS.INT64_UNSIGNED_MAX ? ctx.mustBe("less than") : true;
+const bigintNarrow = (v, ctx) => v < CONSTANTS.INT64_MIN ? ctx.mustBe("greater than") : v > CONSTANTS.INT64_MAX ? ctx.mustBe("less than") : true;
+const bigintStringModeSchema = type.string.narrow((v, ctx) => {
+	if (typeof v !== "string") return ctx.mustBe("a string");
+	if (!/^-?\d+$/.test(v)) return ctx.mustBe("a string representing a number");
+	const bigint = BigInt(v);
+	if (bigint < CONSTANTS.INT64_MIN) return ctx.mustBe("greater than");
+	if (bigint > CONSTANTS.INT64_MAX) return ctx.mustBe("less than");
+	return true;
+});
+const unsignedBigintStringModeSchema = type.string.narrow((v, ctx) => {
+	if (typeof v !== "string") return ctx.mustBe("a string");
+	if (!/^\d+$/.test(v)) return ctx.mustBe("a string representing a number");
+	const bigint = BigInt(v);
+	if (bigint < 0) return ctx.mustBe("greater than");
+	if (bigint > CONSTANTS.INT64_MAX) return ctx.mustBe("less than");
+	return true;
+});
+function bigintColumnToSchema(column, constraint) {
+	switch (constraint) {
+		case "int64": return type.bigint.narrow(bigintNarrow);
+		case "uint64": return type.bigint.narrow(unsignedBigintNarrow);
+	}
+	return type.bigint;
+}
+function stringColumnToSchema(column, constraint) {
+	const { name: columnName, length, isLengthExact } = column;
+	if (constraint === "binary") return type(`/^[01]${length ? `{${isLengthExact ? length : `0,${length}`}}` : "*"}$/`).describe(`a string containing ones or zeros${length ? ` while being ${isLengthExact ? "" : "up to "}${length} characters long` : ""}`);
+	if (constraint === "uuid") return type(/^[\da-f]{8}(?:-[\da-f]{4}){3}-[\da-f]{12}$/iu).describe("a RFC-4122-compliant UUID");
+	if (constraint === "enum") {
+		const enumValues = column.enumValues;
+		if (!enumValues) throw new Error(`Column "${getTableName(getColumnTable(column))}"."${columnName}" is of 'enum' type, but lacks enum values`);
+		return type.enumerated(...enumValues);
+	}
+	if (constraint === "int64") return bigintStringModeSchema;
+	if (constraint === "uint64") return unsignedBigintStringModeSchema;
+	return length && isLengthExact ? type.string.exactlyLength(length) : length ? type.string.atMostLength(length) : type.string;
+}
+
+//#endregion
+export { bigintNarrow, bigintStringModeSchema, bufferSchema, columnToSchema, jsonSchema, literalSchema, unsignedBigintNarrow, unsignedBigintStringModeSchema };
+//# sourceMappingURL=column.js.map

package/arktype/column.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"column.js","names":[],"sources":["../../src/arktype/column.ts"],"sourcesContent":["import { type Type, type } from 'arktype';\nimport {\n\ttype ColumnDataArrayConstraint,\n\ttype ColumnDataBigIntConstraint,\n\ttype ColumnDataNumberConstraint,\n\ttype ColumnDataObjectConstraint,\n\ttype ColumnDataStringConstraint,\n\textractExtendedColumnType,\n} from '~/column-builder.ts';\nimport { type Column, getColumnTable } from '~/column.ts';\nimport { getTableName } from '~/table.ts';\nimport { CONSTANTS } from '~/utils.ts';\n\nexport const literalSchema = type.string.or(type.number).or(type.boolean).or(type.null);\nexport const jsonSchema = literalSchema.or(type.unknown.as<any>().array()).or(type.object.as<Record<string, any>>());\nexport const bufferSchema = type.unknown.narrow((value) => value instanceof Buffer).as<Buffer>().describe( // oxlint-disable-line no-instanceof-builtins drizzle-internal/no-instanceof\n\t'a Buffer instance',\n);\n\nexport function columnToSchema(column: Column): Type {\n\tlet schema!: Type;\n\n\t// Check for PG array columns (have dimensions property instead of changing dataType)\n\tconst dimensions = (<{ dimensions?: number }> column).dimensions;\n\tif (typeof dimensions === 'number' && dimensions > 0) {\n\t\treturn pgArrayColumnToSchema(column, dimensions);\n\t}\n\n\tconst { type: columnType, constraint } = extractExtendedColumnType(column);\n\n\tswitch (columnType) {\n\t\tcase 'array': {\n\t\t\tschema = arrayColumnToSchema(column, constraint);\n\t\t\tbreak;\n\t\t}\n\t\tcase 'object': {\n\t\t\tschema = objectColumnToSchema(column, constraint);\n\t\t\tbreak;\n\t\t}\n\t\tcase 'number': {\n\t\t\tschema = numberColumnToSchema(column, constraint);\n\t\t\tbreak;\n\t\t}\n\t\tcase 'bigint': {\n\t\t\tschema = bigintColumnToSchema(column, constraint);\n\t\t\tbreak;\n\t\t}\n\t\tcase 'boolean': {\n\t\t\tschema = type.boolean;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'string': {\n\t\t\tschema = stringColumnToSchema(column, constraint);\n\t\t\tbreak;\n\t\t}\n\t\tcase 'custom': {\n\t\t\tschema = type.unknown;\n\t\t\tbreak;\n\t\t}\n\t\tdefault: {\n\t\t\tschema = type.unknown;\n\t\t}\n\t}\n\n\treturn schema;\n}\n\nfunction numberColumnToSchema(column: Column, constraint: ColumnDataNumberConstraint | undefined): Type<number, any> {\n\tlet min!: number;\n\tlet max!: number;\n\tlet integer = false;\n\n\tswitch (constraint) {\n\t\tcase 'int8': {\n\t\t\tmin = CONSTANTS.INT8_MIN;\n\t\t\tmax = CONSTANTS.INT8_MAX;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'uint8': {\n\t\t\tmin = 0;\n\t\t\tmax = CONSTANTS.INT8_UNSIGNED_MAX;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'int16': {\n\t\t\tmin = CONSTANTS.INT16_MIN;\n\t\t\tmax = CONSTANTS.INT16_MAX;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'uint16': {\n\t\t\tmin = 0;\n\t\t\tmax = CONSTANTS.INT16_UNSIGNED_MAX;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'int24': {\n\t\t\tmin = CONSTANTS.INT24_MIN;\n\t\t\tmax = CONSTANTS.INT24_MAX;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'uint24': {\n\t\t\tmin = 0;\n\t\t\tmax = CONSTANTS.INT24_UNSIGNED_MAX;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'int32': {\n\t\t\tmin = CONSTANTS.INT32_MIN;\n\t\t\tmax = CONSTANTS.INT32_MAX;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'uint32': {\n\t\t\tmin = 0;\n\t\t\tmax = CONSTANTS.INT32_UNSIGNED_MAX;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'int53': {\n\t\t\tmin = Number.MIN_SAFE_INTEGER;\n\t\t\tmax = Number.MAX_SAFE_INTEGER;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'uint53': {\n\t\t\tmin = 0;\n\t\t\tmax = Number.MAX_SAFE_INTEGER;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'float': {\n\t\t\tmin = CONSTANTS.INT24_MIN;\n\t\t\tmax = CONSTANTS.INT24_MAX;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'ufloat': {\n\t\t\tmin = 0;\n\t\t\tmax = CONSTANTS.INT24_UNSIGNED_MAX;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'double': {\n\t\t\tmin = CONSTANTS.INT48_MIN;\n\t\t\tmax = CONSTANTS.INT48_MAX;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'udouble': {\n\t\t\tmin = 0;\n\t\t\tmax = CONSTANTS.INT48_UNSIGNED_MAX;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'year': {\n\t\t\tmin = 1901;\n\t\t\tmax = 2155;\n\t\t\tinteger = true;\n\t\t\tbreak;\n\t\t}\n\t\tcase 'unsigned': {\n\t\t\tmin = 0;\n\t\t\tmax = Number.MAX_SAFE_INTEGER;\n\t\t\tbreak;\n\t\t}\n\t\tdefault: {\n\t\t\tmin = Number.MIN_SAFE_INTEGER;\n\t\t\tmax = Number.MAX_SAFE_INTEGER;\n\t\t\tbreak;\n\t\t}\n\t}\n\n\treturn (integer ? type.keywords.number.integer : type.number).atLeast(min).atMost(max);\n}\n\nfunction pgArrayColumnToSchema(\n\tcolumn: Column,\n\tdimensions: number,\n): Type {\n\t// PG style: the column IS the base type, with dimensions indicating array depth\n\t// Get the base schema from the column's own dataType\n\tconst [baseType, baseConstraint] = column.dataType.split(' ');\n\tlet baseSchema: Type;\n\n\tswitch (baseType) {\n\t\tcase 'number':\n\t\t\tbaseSchema = numberColumnToSchema(column, baseConstraint as ColumnDataNumberConstraint);\n\t\t\tbreak;\n\t\tcase 'bigint':\n\t\t\tbaseSchema = bigintColumnToSchema(column, baseConstraint as ColumnDataBigIntConstraint);\n\t\t\tbreak;\n\t\tcase 'boolean':\n\t\t\tbaseSchema = type.boolean;\n\t\t\tbreak;\n\t\tcase 'string':\n\t\t\tbaseSchema = stringColumnToSchema(column, baseConstraint as ColumnDataStringConstraint);\n\t\t\tbreak;\n\t\tcase 'object':\n\t\t\tbaseSchema = objectColumnToSchema(column, baseConstraint as ColumnDataObjectConstraint);\n\t\t\tbreak;\n\t\tcase 'array':\n\t\t\t// Handle array types like point, line, etc.\n\t\t\tbaseSchema = arrayColumnToSchema(column, baseConstraint as ColumnDataArrayConstraint);\n\t\t\tbreak;\n\t\tdefault:\n\t\t\tbaseSchema = type.unknown;\n\t}\n\n\t// Wrap in arrays based on dimensions\n\t// Note: For PG arrays, column.length is the base type's length (e.g., varchar(10)), not array size\n\tlet schema: Type = baseSchema.array();\n\tfor (let i = 1; i < dimensions; i++) {\n\t\tschema = schema.array();\n\t}\n\treturn schema;\n}\n\nfunction arrayColumnToSchema(\n\tcolumn: Column,\n\tconstraint: ColumnDataArrayConstraint | undefined,\n): Type {\n\tswitch (constraint) {\n\t\tcase 'geometry':\n\t\tcase 'point': {\n\t\t\treturn type([type.number, type.number]);\n\t\t}\n\t\tcase 'line': {\n\t\t\treturn type([type.number, type.number, type.number]);\n\t\t}\n\t\tcase 'vector':\n\t\tcase 'halfvector': {\n\t\t\tconst length = column.length;\n\t\t\treturn length ? type.number.array().exactlyLength(length) : type.number.array();\n\t\t}\n\t\tcase 'int64vector': {\n\t\t\tconst length = column.length;\n\t\t\t// TODO - INT64 number range\n\t\t\treturn length ? type.bigint.array().exactlyLength(length) : type.bigint.array();\n\t\t}\n\t\tcase 'basecolumn': {\n\t\t\t// CockroachDB/GEL style: has a separate baseColumn\n\t\t\tconst baseColumn = (<{ baseColumn?: Column }> column).baseColumn;\n\t\t\tif (baseColumn) {\n\t\t\t\tconst length = column.length;\n\t\t\t\tconst schema = columnToSchema(baseColumn).array();\n\t\t\t\tif (length) return schema.exactlyLength(length);\n\t\t\t\treturn schema;\n\t\t\t}\n\t\t\treturn type.unknown.array();\n\t\t}\n\t\tdefault: {\n\t\t\treturn type.unknown.array();\n\t\t}\n\t}\n}\n\nfunction objectColumnToSchema(\n\tcolumn: Column,\n\tconstraint: ColumnDataObjectConstraint | undefined,\n): Type {\n\tswitch (constraint) {\n\t\tcase 'buffer': {\n\t\t\treturn bufferSchema;\n\t\t}\n\t\tcase 'date': {\n\t\t\treturn type.Date;\n\t\t}\n\t\tcase 'geometry':\n\t\tcase 'point': {\n\t\t\treturn type({\n\t\t\t\tx: type.number,\n\t\t\t\ty: type.number,\n\t\t\t});\n\t\t}\n\t\tcase 'json': {\n\t\t\treturn jsonSchema;\n\t\t}\n\t\tcase 'line': {\n\t\t\treturn type({\n\t\t\t\ta: type.number,\n\t\t\t\tb: type.number,\n\t\t\t\tc: type.number,\n\t\t\t});\n\t\t}\n\t\tdefault: {\n\t\t\treturn type({});\n\t\t}\n\t}\n}\n\nexport const unsignedBigintNarrow = (v: bigint, ctx: { mustBe: (expected: string) => false }) =>\n\tv < 0n ? ctx.mustBe('greater than') : v > CONSTANTS.INT64_UNSIGNED_MAX ? ctx.mustBe('less than') : true;\n\nexport const bigintNarrow = (v: bigint, ctx: { mustBe: (expected: string) => false }) =>\n\tv < CONSTANTS.INT64_MIN ? ctx.mustBe('greater than') : v > CONSTANTS.INT64_MAX ? ctx.mustBe('less than') : true;\n\nexport const bigintStringModeSchema = type.string.narrow((v, ctx) => {\n\tif (typeof v !== 'string') {\n\t\treturn ctx.mustBe('a string');\n\t}\n\tif (!(/^-?\\d+$/.test(v))) {\n\t\treturn ctx.mustBe('a string representing a number');\n\t}\n\n\tconst bigint = BigInt(v);\n\tif (bigint < CONSTANTS.INT64_MIN) {\n\t\treturn ctx.mustBe('greater than');\n\t}\n\tif (bigint > CONSTANTS.INT64_MAX) {\n\t\treturn ctx.mustBe('less than');\n\t}\n\n\treturn true;\n});\n\nexport const unsignedBigintStringModeSchema = type.string.narrow((v, ctx) => {\n\tif (typeof v !== 'string') {\n\t\treturn ctx.mustBe('a string');\n\t}\n\tif (!(/^\\d+$/.test(v))) {\n\t\treturn ctx.mustBe('a string representing a number');\n\t}\n\n\tconst bigint = BigInt(v);\n\tif (bigint < 0) {\n\t\treturn ctx.mustBe('greater than');\n\t}\n\tif (bigint > CONSTANTS.INT64_MAX) {\n\t\treturn ctx.mustBe('less than');\n\t}\n\n\treturn true;\n});\n\nfunction bigintColumnToSchema(column: Column, constraint?: ColumnDataBigIntConstraint | undefined): Type {\n\tswitch (constraint) {\n\t\tcase 'int64': {\n\t\t\treturn type.bigint.narrow(bigintNarrow);\n\t\t}\n\t\tcase 'uint64': {\n\t\t\treturn type.bigint.narrow(unsignedBigintNarrow);\n\t\t}\n\t}\n\n\treturn type.bigint;\n}\n\nfunction stringColumnToSchema(column: Column, constraint: ColumnDataStringConstraint | undefined): Type {\n\tconst { name: columnName, length, isLengthExact } = column;\n\tif (constraint === 'binary') {\n\t\treturn type(`/^[01]${length ? `{${isLengthExact ? length : `0,${length}`}}` : '*'}$/`)\n\t\t\t.describe(\n\t\t\t\t`a string containing ones or zeros${\n\t\t\t\t\tlength ? ` while being ${isLengthExact ? '' : 'up to '}${length} characters long` : ''\n\t\t\t\t}`,\n\t\t\t);\n\t}\n\tif (constraint === 'uuid') {\n\t\treturn type(/^[\\da-f]{8}(?:-[\\da-f]{4}){3}-[\\da-f]{12}$/iu).describe('a RFC-4122-compliant UUID');\n\t}\n\tif (constraint === 'enum') {\n\t\tconst enumValues = column.enumValues;\n\t\tif (!enumValues) {\n\t\t\tthrow new Error(\n\t\t\t\t`Column \"${getTableName(getColumnTable(column))}\".\"${columnName}\" is of 'enum' type, but lacks enum values`,\n\t\t\t);\n\t\t}\n\t\treturn type.enumerated(...enumValues);\n\t}\n\tif (constraint === 'int64') {\n\t\treturn bigintStringModeSchema;\n\t}\n\tif (constraint === 'uint64') {\n\t\treturn unsignedBigintStringModeSchema;\n\t}\n\n\treturn length && isLengthExact\n\t\t? type.string.exactlyLength(length)\n\t\t: length\n\t\t? type.string.atMostLength(length)\n\t\t: type.string;\n}\n"],"mappings":";;;;;;;AAaA,MAAa,gBAAgB,KAAK,OAAO,GAAG,KAAK,OAAO,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,KAAK,KAAK;AACvF,MAAa,aAAa,cAAc,GAAG,KAAK,QAAQ,IAAS,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,OAAO,IAAyB,CAAC;AACpH,MAAa,eAAe,KAAK,QAAQ,QAAQ,UAAU,iBAAiB,OAAO,CAAC,IAAY,CAAC,SAChG,oBACA;AAED,SAAgB,eAAe,QAAsB;CACpD,IAAI;CAGJ,MAAM,aAAwC,OAAQ;AACtD,KAAI,OAAO,eAAe,YAAY,aAAa,EAClD,QAAO,sBAAsB,QAAQ,WAAW;CAGjD,MAAM,EAAE,MAAM,YAAY,eAAe,0BAA0B,OAAO;AAE1E,SAAQ,YAAR;EACC,KAAK;AACJ,YAAS,oBAAoB,QAAQ,WAAW;AAChD;EAED,KAAK;AACJ,YAAS,qBAAqB,QAAQ,WAAW;AACjD;EAED,KAAK;AACJ,YAAS,qBAAqB,QAAQ,WAAW;AACjD;EAED,KAAK;AACJ,YAAS,qBAAqB,QAAQ,WAAW;AACjD;EAED,KAAK;AACJ,YAAS,KAAK;AACd;EAED,KAAK;AACJ,YAAS,qBAAqB,QAAQ,WAAW;AACjD;EAED,KAAK;AACJ,YAAS,KAAK;AACd;EAED,QACC,UAAS,KAAK;;AAIhB,QAAO;;AAGR,SAAS,qBAAqB,QAAgB,YAAuE;CACpH,IAAI;CACJ,IAAI;CACJ,IAAI,UAAU;AAEd,SAAQ,YAAR;EACC,KAAK;AACJ,SAAM,UAAU;AAChB,SAAM,UAAU;AAChB,aAAU;AACV;EAED,KAAK;AACJ,SAAM;AACN,SAAM,UAAU;AAChB,aAAU;AACV;EAED,KAAK;AACJ,SAAM,UAAU;AAChB,SAAM,UAAU;AAChB,aAAU;AACV;EAED,KAAK;AACJ,SAAM;AACN,SAAM,UAAU;AAChB,aAAU;AACV;EAED,KAAK;AACJ,SAAM,UAAU;AAChB,SAAM,UAAU;AAChB,aAAU;AACV;EAED,KAAK;AACJ,SAAM;AACN,SAAM,UAAU;AAChB,aAAU;AACV;EAED,KAAK;AACJ,SAAM,UAAU;AAChB,SAAM,UAAU;AAChB,aAAU;AACV;EAED,KAAK;AACJ,SAAM;AACN,SAAM,UAAU;AAChB,aAAU;AACV;EAED,KAAK;AACJ,SAAM,OAAO;AACb,SAAM,OAAO;AACb,aAAU;AACV;EAED,KAAK;AACJ,SAAM;AACN,SAAM,OAAO;AACb,aAAU;AACV;EAED,KAAK;AACJ,SAAM,UAAU;AAChB,SAAM,UAAU;AAChB;EAED,KAAK;AACJ,SAAM;AACN,SAAM,UAAU;AAChB;EAED,KAAK;AACJ,SAAM,UAAU;AAChB,SAAM,UAAU;AAChB;EAED,KAAK;AACJ,SAAM;AACN,SAAM,UAAU;AAChB;EAED,KAAK;AACJ,SAAM;AACN,SAAM;AACN,aAAU;AACV;EAED,KAAK;AACJ,SAAM;AACN,SAAM,OAAO;AACb;EAED;AACC,SAAM,OAAO;AACb,SAAM,OAAO;AACb;;AAIF,SAAQ,UAAU,KAAK,SAAS,OAAO,UAAU,KAAK,QAAQ,QAAQ,IAAI,CAAC,OAAO,IAAI;;AAGvF,SAAS,sBACR,QACA,YACO;CAGP,MAAM,CAAC,UAAU,kBAAkB,OAAO,SAAS,MAAM,IAAI;CAC7D,IAAI;AAEJ,SAAQ,UAAR;EACC,KAAK;AACJ,gBAAa,qBAAqB,QAAQ,eAA6C;AACvF;EACD,KAAK;AACJ,gBAAa,qBAAqB,QAAQ,eAA6C;AACvF;EACD,KAAK;AACJ,gBAAa,KAAK;AAClB;EACD,KAAK;AACJ,gBAAa,qBAAqB,QAAQ,eAA6C;AACvF;EACD,KAAK;AACJ,gBAAa,qBAAqB,QAAQ,eAA6C;AACvF;EACD,KAAK;AAEJ,gBAAa,oBAAoB,QAAQ,eAA4C;AACrF;EACD,QACC,cAAa,KAAK;;CAKpB,IAAI,SAAe,WAAW,OAAO;AACrC,MAAK,IAAI,IAAI,GAAG,IAAI,YAAY,IAC/B,UAAS,OAAO,OAAO;AAExB,QAAO;;AAGR,SAAS,oBACR,QACA,YACO;AACP,SAAQ,YAAR;EACC,KAAK;EACL,KAAK,QACJ,QAAO,KAAK,CAAC,KAAK,QAAQ,KAAK,OAAO,CAAC;EAExC,KAAK,OACJ,QAAO,KAAK;GAAC,KAAK;GAAQ,KAAK;GAAQ,KAAK;GAAO,CAAC;EAErD,KAAK;EACL,KAAK,cAAc;GAClB,MAAM,SAAS,OAAO;AACtB,UAAO,SAAS,KAAK,OAAO,OAAO,CAAC,cAAc,OAAO,GAAG,KAAK,OAAO,OAAO;;EAEhF,KAAK,eAAe;GACnB,MAAM,SAAS,OAAO;AAEtB,UAAO,SAAS,KAAK,OAAO,OAAO,CAAC,cAAc,OAAO,GAAG,KAAK,OAAO,OAAO;;EAEhF,KAAK,cAAc;GAElB,MAAM,aAAwC,OAAQ;AACtD,OAAI,YAAY;IACf,MAAM,SAAS,OAAO;IACtB,MAAM,SAAS,eAAe,WAAW,CAAC,OAAO;AACjD,QAAI,OAAQ,QAAO,OAAO,cAAc,OAAO;AAC/C,WAAO;;AAER,UAAO,KAAK,QAAQ,OAAO;;EAE5B,QACC,QAAO,KAAK,QAAQ,OAAO;;;AAK9B,SAAS,qBACR,QACA,YACO;AACP,SAAQ,YAAR;EACC,KAAK,SACJ,QAAO;EAER,KAAK,OACJ,QAAO,KAAK;EAEb,KAAK;EACL,KAAK,QACJ,QAAO,KAAK;GACX,GAAG,KAAK;GACR,GAAG,KAAK;GACR,CAAC;EAEH,KAAK,OACJ,QAAO;EAER,KAAK,OACJ,QAAO,KAAK;GACX,GAAG,KAAK;GACR,GAAG,KAAK;GACR,GAAG,KAAK;GACR,CAAC;EAEH,QACC,QAAO,KAAK,EAAE,CAAC;;;AAKlB,MAAa,wBAAwB,GAAW,QAC/C,IAAI,KAAK,IAAI,OAAO,eAAe,GAAG,IAAI,UAAU,qBAAqB,IAAI,OAAO,YAAY,GAAG;AAEpG,MAAa,gBAAgB,GAAW,QACvC,IAAI,UAAU,YAAY,IAAI,OAAO,eAAe,GAAG,IAAI,UAAU,YAAY,IAAI,OAAO,YAAY,GAAG;AAE5G,MAAa,yBAAyB,KAAK,OAAO,QAAQ,GAAG,QAAQ;AACpE,KAAI,OAAO,MAAM,SAChB,QAAO,IAAI,OAAO,WAAW;AAE9B,KAAI,CAAE,UAAU,KAAK,EAAE,CACtB,QAAO,IAAI,OAAO,iCAAiC;CAGpD,MAAM,SAAS,OAAO,EAAE;AACxB,KAAI,SAAS,UAAU,UACtB,QAAO,IAAI,OAAO,eAAe;AAElC,KAAI,SAAS,UAAU,UACtB,QAAO,IAAI,OAAO,YAAY;AAG/B,QAAO;EACN;AAEF,MAAa,iCAAiC,KAAK,OAAO,QAAQ,GAAG,QAAQ;AAC5E,KAAI,OAAO,MAAM,SAChB,QAAO,IAAI,OAAO,WAAW;AAE9B,KAAI,CAAE,QAAQ,KAAK,EAAE,CACpB,QAAO,IAAI,OAAO,iCAAiC;CAGpD,MAAM,SAAS,OAAO,EAAE;AACxB,KAAI,SAAS,EACZ,QAAO,IAAI,OAAO,eAAe;AAElC,KAAI,SAAS,UAAU,UACtB,QAAO,IAAI,OAAO,YAAY;AAG/B,QAAO;EACN;AAEF,SAAS,qBAAqB,QAAgB,YAA2D;AACxG,SAAQ,YAAR;EACC,KAAK,QACJ,QAAO,KAAK,OAAO,OAAO,aAAa;EAExC,KAAK,SACJ,QAAO,KAAK,OAAO,OAAO,qBAAqB;;AAIjD,QAAO,KAAK;;AAGb,SAAS,qBAAqB,QAAgB,YAA0D;CACvG,MAAM,EAAE,MAAM,YAAY,QAAQ,kBAAkB;AACpD,KAAI,eAAe,SAClB,QAAO,KAAK,SAAS,SAAS,IAAI,gBAAgB,SAAS,KAAK,SAAS,KAAK,IAAI,IAAI,CACpF,SACA,oCACC,SAAS,gBAAgB,gBAAgB,KAAK,WAAW,OAAO,oBAAoB,KAErF;AAEH,KAAI,eAAe,OAClB,QAAO,KAAK,+CAA+C,CAAC,SAAS,4BAA4B;AAElG,KAAI,eAAe,QAAQ;EAC1B,MAAM,aAAa,OAAO;AAC1B,MAAI,CAAC,WACJ,OAAM,IAAI,MACT,WAAW,aAAa,eAAe,OAAO,CAAC,CAAC,KAAK,WAAW,4CAChE;AAEF,SAAO,KAAK,WAAW,GAAG,WAAW;;AAEtC,KAAI,eAAe,QAClB,QAAO;AAER,KAAI,eAAe,SAClB,QAAO;AAGR,QAAO,UAAU,gBACd,KAAK,OAAO,cAAc,OAAO,GACjC,SACA,KAAK,OAAO,aAAa,OAAO,GAChC,KAAK"}

package/arktype/column.types.d.cts

@@ -0,0 +1,12 @@
+import type { Type, type } from 'arktype';
+import type { ColumnTypeData, ExtractColumnTypeData } from '../column-builder.cjs';
+import type { Column } from '../column.cjs';
+import type { Json } from '../utils.cjs';
+export type ArktypeNullable<TSchema> = Type<type.infer<TSchema> | null>;
+export type ArktypeOptional<TSchema> = [Type<type.infer<TSchema>>, '?'];
+export type GetArktypeType<TColumn extends Column, TType extends ColumnTypeData = ExtractColumnTypeData<TColumn['_']['dataType']>> = TType['constraint'] extends 'json' ? Type<Json> : TType['type'] extends 'custom' ? Type<any> : Type<TColumn['_']['data']>;
+type HandleSelectColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TSchema : ArktypeNullable<TSchema>;
+type HandleInsertColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TColumn['_']['hasDefault'] extends true ? ArktypeOptional<TSchema> : TSchema : ArktypeOptional<ArktypeNullable<TSchema>>;
+type HandleUpdateColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? ArktypeOptional<TSchema> : ArktypeOptional<ArktypeNullable<TSchema>>;
+export type HandleColumn<TType extends 'select' | 'insert' | 'update', TColumn extends Column> = TType extends 'select' ? HandleSelectColumn<GetArktypeType<TColumn>, TColumn> : TType extends 'insert' ? HandleInsertColumn<GetArktypeType<TColumn>, TColumn> : TType extends 'update' ? HandleUpdateColumn<GetArktypeType<TColumn>, TColumn> : GetArktypeType<TColumn>;
+export {};

package/arktype/column.types.d.ts

@@ -0,0 +1,12 @@
+import type { Type, type } from 'arktype';
+import type { ColumnTypeData, ExtractColumnTypeData } from '../column-builder.js';
+import type { Column } from '../column.js';
+import type { Json } from '../utils.js';
+export type ArktypeNullable<TSchema> = Type<type.infer<TSchema> | null>;
+export type ArktypeOptional<TSchema> = [Type<type.infer<TSchema>>, '?'];
+export type GetArktypeType<TColumn extends Column, TType extends ColumnTypeData = ExtractColumnTypeData<TColumn['_']['dataType']>> = TType['constraint'] extends 'json' ? Type<Json> : TType['type'] extends 'custom' ? Type<any> : Type<TColumn['_']['data']>;
+type HandleSelectColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TSchema : ArktypeNullable<TSchema>;
+type HandleInsertColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TColumn['_']['hasDefault'] extends true ? ArktypeOptional<TSchema> : TSchema : ArktypeOptional<ArktypeNullable<TSchema>>;
+type HandleUpdateColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? ArktypeOptional<TSchema> : ArktypeOptional<ArktypeNullable<TSchema>>;
+export type HandleColumn<TType extends 'select' | 'insert' | 'update', TColumn extends Column> = TType extends 'select' ? HandleSelectColumn<GetArktypeType<TColumn>, TColumn> : TType extends 'insert' ? HandleInsertColumn<GetArktypeType<TColumn>, TColumn> : TType extends 'update' ? HandleUpdateColumn<GetArktypeType<TColumn>, TColumn> : GetArktypeType<TColumn>;
+export {};

package/arktype/column.types.js

@@ -0,0 +1 @@
+export {  };

package/arktype/index.cjs

@@ -0,0 +1,12 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+const require_arktype_column = require('./column.cjs');
+const require_arktype_schema = require('./schema.cjs');
+
+exports.bigintStringModeSchema = require_arktype_column.bigintStringModeSchema;
+exports.bufferSchema = require_arktype_column.bufferSchema;
+exports.createInsertSchema = require_arktype_schema.createInsertSchema;
+exports.createSelectSchema = require_arktype_schema.createSelectSchema;
+exports.createUpdateSchema = require_arktype_schema.createUpdateSchema;
+exports.jsonSchema = require_arktype_column.jsonSchema;
+exports.literalSchema = require_arktype_column.literalSchema;
+exports.unsignedBigintStringModeSchema = require_arktype_column.unsignedBigintStringModeSchema;

package/arktype/index.d.cts

@@ -0,0 +1,5 @@
+export { bigintStringModeSchema, bufferSchema, jsonSchema, literalSchema, unsignedBigintStringModeSchema, } from './column.cjs';
+export * from './column.types.cjs';
+export * from './schema.cjs';
+export * from './schema.types.internal.cjs';
+export * from './schema.types.cjs';

package/arktype/index.d.ts

@@ -0,0 +1,5 @@
+export { bigintStringModeSchema, bufferSchema, jsonSchema, literalSchema, unsignedBigintStringModeSchema, } from './column.js';
+export * from './column.types.js';
+export * from './schema.js';
+export * from './schema.types.internal.js';
+export * from './schema.types.js';

package/arktype/index.js

@@ -0,0 +1,4 @@
+import { bigintStringModeSchema, bufferSchema, jsonSchema, literalSchema, unsignedBigintStringModeSchema } from "./column.js";
+import { createInsertSchema, createSelectSchema, createUpdateSchema } from "./schema.js";
+
+export { bigintStringModeSchema, bufferSchema, createInsertSchema, createSelectSchema, createUpdateSchema, jsonSchema, literalSchema, unsignedBigintStringModeSchema };

package/arktype/schema.cjs

@@ -0,0 +1,64 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+const require_runtime = require('../_virtual/_rolldown/runtime.cjs');
+const require_utils = require('../utils.cjs');
+const require_arktype_column = require('./column.cjs');
+let __entity_ts = require("../entity.cjs");
+let __table_ts = require("../table.cjs");
+let __column_ts = require("../column.cjs");
+let __utils_ts = require("../utils.cjs");
+let __sql_sql_ts = require("../sql/sql.cjs");
+let arktype = require("arktype");
+
+//#region src/arktype/schema.ts
+function handleColumns(columns, refinements, conditions) {
+	const columnSchemas = {};
+	for (const [key, selected] of Object.entries(columns)) {
+		if (!(0, __entity_ts.is)(selected, __column_ts.Column) && !(0, __entity_ts.is)(selected, __sql_sql_ts.SQL) && !(0, __entity_ts.is)(selected, __sql_sql_ts.SQL.Aliased) && typeof selected === "object") {
+			columnSchemas[key] = handleColumns((0, __table_ts.isTable)(selected) || (0, __sql_sql_ts.isView)(selected) ? (0, __utils_ts.getColumns)(selected) : selected, refinements[key] ?? {}, conditions);
+			continue;
+		}
+		const refinement = refinements[key];
+		if (refinement !== void 0 && (typeof refinement !== "function" || typeof refinement === "function" && refinement.expression !== void 0)) {
+			columnSchemas[key] = refinement;
+			continue;
+		}
+		const column = (0, __entity_ts.is)(selected, __column_ts.Column) ? selected : void 0;
+		const schema = column ? require_arktype_column.columnToSchema(column) : arktype.type.unknown;
+		const refined = typeof refinement === "function" ? refinement(schema) : schema;
+		if (conditions.never(column)) continue;
+		else columnSchemas[key] = refined;
+		if (column) {
+			if (conditions.nullable(column)) columnSchemas[key] = columnSchemas[key].or(arktype.type.null);
+			if (conditions.optional(column)) columnSchemas[key] = columnSchemas[key].optional();
+		}
+	}
+	return (0, arktype.type)(columnSchemas);
+}
+const createSelectSchema = ((entity, refine) => {
+	if (require_utils.isWithEnum(entity)) return arktype.type.enumerated(...entity.enumValues);
+	return handleColumns((0, __utils_ts.getColumns)(entity), refine ?? {}, {
+		never: () => false,
+		optional: () => false,
+		nullable: (column) => !column.notNull
+	});
+});
+const createInsertSchema = ((entity, refine) => {
+	return handleColumns((0, __utils_ts.getColumns)(entity), refine ?? {}, {
+		never: (column) => column?.generated?.type === "always" || column?.generatedIdentity?.type === "always" || "identity" in (column ?? {}) && typeof column?.identity !== "undefined",
+		optional: (column) => !column.notNull || column.notNull && column.hasDefault,
+		nullable: (column) => !column.notNull
+	});
+});
+const createUpdateSchema = ((entity, refine) => {
+	return handleColumns((0, __utils_ts.getColumns)(entity), refine ?? {}, {
+		never: (column) => column?.generated?.type === "always" || column?.generatedIdentity?.type === "always" || "identity" in (column ?? {}) && typeof column?.identity !== "undefined",
+		optional: () => true,
+		nullable: (column) => !column.notNull
+	});
+});
+
+//#endregion
+exports.createInsertSchema = createInsertSchema;
+exports.createSelectSchema = createSelectSchema;
+exports.createUpdateSchema = createUpdateSchema;
+//# sourceMappingURL=schema.cjs.map

package/arktype/schema.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.cjs","names":["Column","SQL","columnToSchema","type","isWithEnum"],"sources":["../../src/arktype/schema.ts"],"sourcesContent":["import { type Type, type } from 'arktype';\nimport { Column } from '~/column.ts';\nimport { is } from '~/entity.ts';\nimport type { PgEnum } from '~/pg-core/columns/enum.ts';\nimport { isView, SQL, type View } from '~/sql/sql.ts';\nimport { isTable, type Table } from '~/table.ts';\nimport { getColumns } from '~/utils.ts';\nimport { isWithEnum } from '../utils.ts';\nimport { columnToSchema } from './column.ts';\nimport type { Conditions } from './schema.types.internal.ts';\nimport type { CreateInsertSchema, CreateSelectSchema, CreateUpdateSchema } from './schema.types.ts';\n\nfunction handleColumns(\n\tcolumns: Record<string, any>,\n\trefinements: Record<string, any>,\n\tconditions: Conditions,\n): Type {\n\tconst columnSchemas: Record<string, Type> = {};\n\n\tfor (const [key, selected] of Object.entries(columns)) {\n\t\tif (!is(selected, Column) && !is(selected, SQL) && !is(selected, SQL.Aliased) && typeof selected === 'object') {\n\t\t\tconst columns = isTable(selected) || isView(selected) ? getColumns(selected) : selected;\n\t\t\tcolumnSchemas[key] = handleColumns(columns, refinements[key] ?? {}, conditions);\n\t\t\tcontinue;\n\t\t}\n\n\t\tconst refinement = refinements[key];\n\t\tif (\n\t\t\trefinement !== undefined\n\t\t\t&& (typeof refinement !== 'function' || (typeof refinement === 'function' && refinement.expression !== undefined))\n\t\t) {\n\t\t\tcolumnSchemas[key] = refinement;\n\t\t\tcontinue;\n\t\t}\n\n\t\tconst column = is(selected, Column) ? selected : undefined;\n\t\tconst schema = column ? columnToSchema(column) : type.unknown;\n\t\tconst refined = typeof refinement === 'function' ? refinement(schema) : schema;\n\n\t\tif (conditions.never(column)) {\n\t\t\tcontinue;\n\t\t} else {\n\t\t\tcolumnSchemas[key] = refined;\n\t\t}\n\n\t\tif (column) {\n\t\t\tif (conditions.nullable(column)) {\n\t\t\t\tcolumnSchemas[key] = columnSchemas[key]!.or(type.null);\n\t\t\t}\n\n\t\t\tif (conditions.optional(column)) {\n\t\t\t\tcolumnSchemas[key] = columnSchemas[key]!.optional() as any;\n\t\t\t}\n\t\t}\n\t}\n\n\treturn type(columnSchemas);\n}\n\nexport const createSelectSchema = ((\n\tentity: Table | View | PgEnum<[string, ...string[]]>,\n\trefine?: Record<string, any>,\n) => {\n\tif (isWithEnum(entity)) {\n\t\treturn type.enumerated(...entity.enumValues);\n\t}\n\tconst columns = getColumns(entity);\n\treturn handleColumns(columns, refine ?? {}, {\n\t\tnever: () => false,\n\t\toptional: () => false,\n\t\tnullable: (column) => !column.notNull,\n\t}) as any;\n}) as CreateSelectSchema;\n\nexport const createInsertSchema = ((\n\tentity: Table,\n\trefine?: Record<string, any>,\n) => {\n\tconst columns = getColumns(entity);\n\treturn handleColumns(columns, refine ?? {}, {\n\t\tnever: (column) =>\n\t\t\tcolumn?.generated?.type === 'always' || column?.generatedIdentity?.type === 'always'\n\t\t\t|| ('identity' in (column ?? {}) && typeof (column as any)?.identity !== 'undefined'),\n\t\toptional: (column) => !column.notNull || (column.notNull && column.hasDefault),\n\t\tnullable: (column) => !column.notNull,\n\t}) as any;\n}) as CreateInsertSchema;\n\nexport const createUpdateSchema = ((\n\tentity: Table,\n\trefine?: Record<string, any>,\n) => {\n\tconst columns = getColumns(entity);\n\treturn handleColumns(columns, refine ?? {}, {\n\t\tnever: (column) =>\n\t\t\tcolumn?.generated?.type === 'always' || column?.generatedIdentity?.type === 'always'\n\t\t\t|| ('identity' in (column ?? {}) && typeof (column as any)?.identity !== 'undefined'),\n\t\toptional: () => true,\n\t\tnullable: (column) => !column.notNull,\n\t}) as any;\n}) as CreateUpdateSchema;\n"],"mappings":";;;;;;;;;;;;AAYA,SAAS,cACR,SACA,aACA,YACO;CACP,MAAM,gBAAsC,EAAE;AAE9C,MAAK,MAAM,CAAC,KAAK,aAAa,OAAO,QAAQ,QAAQ,EAAE;AACtD,MAAI,qBAAI,UAAUA,mBAAO,IAAI,qBAAI,UAAUC,iBAAI,IAAI,qBAAI,UAAUA,iBAAI,QAAQ,IAAI,OAAO,aAAa,UAAU;AAE9G,iBAAc,OAAO,sCADG,SAAS,6BAAW,SAAS,8BAAc,SAAS,GAAG,UACnC,YAAY,QAAQ,EAAE,EAAE,WAAW;AAC/E;;EAGD,MAAM,aAAa,YAAY;AAC/B,MACC,eAAe,WACX,OAAO,eAAe,cAAe,OAAO,eAAe,cAAc,WAAW,eAAe,SACtG;AACD,iBAAc,OAAO;AACrB;;EAGD,MAAM,6BAAY,UAAUD,mBAAO,GAAG,WAAW;EACjD,MAAM,SAAS,SAASE,sCAAe,OAAO,GAAGC,aAAK;EACtD,MAAM,UAAU,OAAO,eAAe,aAAa,WAAW,OAAO,GAAG;AAExE,MAAI,WAAW,MAAM,OAAO,CAC3B;MAEA,eAAc,OAAO;AAGtB,MAAI,QAAQ;AACX,OAAI,WAAW,SAAS,OAAO,CAC9B,eAAc,OAAO,cAAc,KAAM,GAAGA,aAAK,KAAK;AAGvD,OAAI,WAAW,SAAS,OAAO,CAC9B,eAAc,OAAO,cAAc,KAAM,UAAU;;;AAKtD,0BAAY,cAAc;;AAG3B,MAAa,uBACZ,QACA,WACI;AACJ,KAAIC,yBAAW,OAAO,CACrB,QAAOD,aAAK,WAAW,GAAG,OAAO,WAAW;AAG7C,QAAO,yCADoB,OAAO,EACJ,UAAU,EAAE,EAAE;EAC3C,aAAa;EACb,gBAAgB;EAChB,WAAW,WAAW,CAAC,OAAO;EAC9B,CAAC;;AAGH,MAAa,uBACZ,QACA,WACI;AAEJ,QAAO,yCADoB,OAAO,EACJ,UAAU,EAAE,EAAE;EAC3C,QAAQ,WACP,QAAQ,WAAW,SAAS,YAAY,QAAQ,mBAAmB,SAAS,YACxE,eAAe,UAAU,EAAE,KAAK,OAAQ,QAAgB,aAAa;EAC1E,WAAW,WAAW,CAAC,OAAO,WAAY,OAAO,WAAW,OAAO;EACnE,WAAW,WAAW,CAAC,OAAO;EAC9B,CAAC;;AAGH,MAAa,uBACZ,QACA,WACI;AAEJ,QAAO,yCADoB,OAAO,EACJ,UAAU,EAAE,EAAE;EAC3C,QAAQ,WACP,QAAQ,WAAW,SAAS,YAAY,QAAQ,mBAAmB,SAAS,YACxE,eAAe,UAAU,EAAE,KAAK,OAAQ,QAAgB,aAAa;EAC1E,gBAAgB;EAChB,WAAW,WAAW,CAAC,OAAO;EAC9B,CAAC"}

package/arktype/schema.d.cts

@@ -0,0 +1,4 @@
+import type { CreateInsertSchema, CreateSelectSchema, CreateUpdateSchema } from './schema.types.cjs';
+export declare const createSelectSchema: CreateSelectSchema;
+export declare const createInsertSchema: CreateInsertSchema;
+export declare const createUpdateSchema: CreateUpdateSchema;

package/arktype/schema.d.ts

@@ -0,0 +1,4 @@
+import type { CreateInsertSchema, CreateSelectSchema, CreateUpdateSchema } from './schema.types.js';
+export declare const createSelectSchema: CreateSelectSchema;
+export declare const createInsertSchema: CreateInsertSchema;
+export declare const createUpdateSchema: CreateUpdateSchema;

package/arktype/schema.js

@@ -0,0 +1,60 @@
+import { isWithEnum } from "../utils.js";
+import { columnToSchema } from "./column.js";
+import { is } from "../entity.js";
+import { isTable } from "../table.js";
+import { Column } from "../column.js";
+import { getColumns } from "../utils.js";
+import { SQL, isView } from "../sql/sql.js";
+import { type } from "arktype";
+
+//#region src/arktype/schema.ts
+function handleColumns(columns, refinements, conditions) {
+	const columnSchemas = {};
+	for (const [key, selected] of Object.entries(columns)) {
+		if (!is(selected, Column) && !is(selected, SQL) && !is(selected, SQL.Aliased) && typeof selected === "object") {
+			columnSchemas[key] = handleColumns(isTable(selected) || isView(selected) ? getColumns(selected) : selected, refinements[key] ?? {}, conditions);
+			continue;
+		}
+		const refinement = refinements[key];
+		if (refinement !== void 0 && (typeof refinement !== "function" || typeof refinement === "function" && refinement.expression !== void 0)) {
+			columnSchemas[key] = refinement;
+			continue;
+		}
+		const column = is(selected, Column) ? selected : void 0;
+		const schema = column ? columnToSchema(column) : type.unknown;
+		const refined = typeof refinement === "function" ? refinement(schema) : schema;
+		if (conditions.never(column)) continue;
+		else columnSchemas[key] = refined;
+		if (column) {
+			if (conditions.nullable(column)) columnSchemas[key] = columnSchemas[key].or(type.null);
+			if (conditions.optional(column)) columnSchemas[key] = columnSchemas[key].optional();
+		}
+	}
+	return type(columnSchemas);
+}
+const createSelectSchema = ((entity, refine) => {
+	if (isWithEnum(entity)) return type.enumerated(...entity.enumValues);
+	return handleColumns(getColumns(entity), refine ?? {}, {
+		never: () => false,
+		optional: () => false,
+		nullable: (column) => !column.notNull
+	});
+});
+const createInsertSchema = ((entity, refine) => {
+	return handleColumns(getColumns(entity), refine ?? {}, {
+		never: (column) => column?.generated?.type === "always" || column?.generatedIdentity?.type === "always" || "identity" in (column ?? {}) && typeof column?.identity !== "undefined",
+		optional: (column) => !column.notNull || column.notNull && column.hasDefault,
+		nullable: (column) => !column.notNull
+	});
+});
+const createUpdateSchema = ((entity, refine) => {
+	return handleColumns(getColumns(entity), refine ?? {}, {
+		never: (column) => column?.generated?.type === "always" || column?.generatedIdentity?.type === "always" || "identity" in (column ?? {}) && typeof column?.identity !== "undefined",
+		optional: () => true,
+		nullable: (column) => !column.notNull
+	});
+});
+
+//#endregion
+export { createInsertSchema, createSelectSchema, createUpdateSchema };
+//# sourceMappingURL=schema.js.map

package/arktype/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","names":[],"sources":["../../src/arktype/schema.ts"],"sourcesContent":["import { type Type, type } from 'arktype';\nimport { Column } from '~/column.ts';\nimport { is } from '~/entity.ts';\nimport type { PgEnum } from '~/pg-core/columns/enum.ts';\nimport { isView, SQL, type View } from '~/sql/sql.ts';\nimport { isTable, type Table } from '~/table.ts';\nimport { getColumns } from '~/utils.ts';\nimport { isWithEnum } from '../utils.ts';\nimport { columnToSchema } from './column.ts';\nimport type { Conditions } from './schema.types.internal.ts';\nimport type { CreateInsertSchema, CreateSelectSchema, CreateUpdateSchema } from './schema.types.ts';\n\nfunction handleColumns(\n\tcolumns: Record<string, any>,\n\trefinements: Record<string, any>,\n\tconditions: Conditions,\n): Type {\n\tconst columnSchemas: Record<string, Type> = {};\n\n\tfor (const [key, selected] of Object.entries(columns)) {\n\t\tif (!is(selected, Column) && !is(selected, SQL) && !is(selected, SQL.Aliased) && typeof selected === 'object') {\n\t\t\tconst columns = isTable(selected) || isView(selected) ? getColumns(selected) : selected;\n\t\t\tcolumnSchemas[key] = handleColumns(columns, refinements[key] ?? {}, conditions);\n\t\t\tcontinue;\n\t\t}\n\n\t\tconst refinement = refinements[key];\n\t\tif (\n\t\t\trefinement !== undefined\n\t\t\t&& (typeof refinement !== 'function' || (typeof refinement === 'function' && refinement.expression !== undefined))\n\t\t) {\n\t\t\tcolumnSchemas[key] = refinement;\n\t\t\tcontinue;\n\t\t}\n\n\t\tconst column = is(selected, Column) ? selected : undefined;\n\t\tconst schema = column ? columnToSchema(column) : type.unknown;\n\t\tconst refined = typeof refinement === 'function' ? refinement(schema) : schema;\n\n\t\tif (conditions.never(column)) {\n\t\t\tcontinue;\n\t\t} else {\n\t\t\tcolumnSchemas[key] = refined;\n\t\t}\n\n\t\tif (column) {\n\t\t\tif (conditions.nullable(column)) {\n\t\t\t\tcolumnSchemas[key] = columnSchemas[key]!.or(type.null);\n\t\t\t}\n\n\t\t\tif (conditions.optional(column)) {\n\t\t\t\tcolumnSchemas[key] = columnSchemas[key]!.optional() as any;\n\t\t\t}\n\t\t}\n\t}\n\n\treturn type(columnSchemas);\n}\n\nexport const createSelectSchema = ((\n\tentity: Table | View | PgEnum<[string, ...string[]]>,\n\trefine?: Record<string, any>,\n) => {\n\tif (isWithEnum(entity)) {\n\t\treturn type.enumerated(...entity.enumValues);\n\t}\n\tconst columns = getColumns(entity);\n\treturn handleColumns(columns, refine ?? {}, {\n\t\tnever: () => false,\n\t\toptional: () => false,\n\t\tnullable: (column) => !column.notNull,\n\t}) as any;\n}) as CreateSelectSchema;\n\nexport const createInsertSchema = ((\n\tentity: Table,\n\trefine?: Record<string, any>,\n) => {\n\tconst columns = getColumns(entity);\n\treturn handleColumns(columns, refine ?? {}, {\n\t\tnever: (column) =>\n\t\t\tcolumn?.generated?.type === 'always' || column?.generatedIdentity?.type === 'always'\n\t\t\t|| ('identity' in (column ?? {}) && typeof (column as any)?.identity !== 'undefined'),\n\t\toptional: (column) => !column.notNull || (column.notNull && column.hasDefault),\n\t\tnullable: (column) => !column.notNull,\n\t}) as any;\n}) as CreateInsertSchema;\n\nexport const createUpdateSchema = ((\n\tentity: Table,\n\trefine?: Record<string, any>,\n) => {\n\tconst columns = getColumns(entity);\n\treturn handleColumns(columns, refine ?? {}, {\n\t\tnever: (column) =>\n\t\t\tcolumn?.generated?.type === 'always' || column?.generatedIdentity?.type === 'always'\n\t\t\t|| ('identity' in (column ?? {}) && typeof (column as any)?.identity !== 'undefined'),\n\t\toptional: () => true,\n\t\tnullable: (column) => !column.notNull,\n\t}) as any;\n}) as CreateUpdateSchema;\n"],"mappings":";;;;;;;;;;AAYA,SAAS,cACR,SACA,aACA,YACO;CACP,MAAM,gBAAsC,EAAE;AAE9C,MAAK,MAAM,CAAC,KAAK,aAAa,OAAO,QAAQ,QAAQ,EAAE;AACtD,MAAI,CAAC,GAAG,UAAU,OAAO,IAAI,CAAC,GAAG,UAAU,IAAI,IAAI,CAAC,GAAG,UAAU,IAAI,QAAQ,IAAI,OAAO,aAAa,UAAU;AAE9G,iBAAc,OAAO,cADL,QAAQ,SAAS,IAAI,OAAO,SAAS,GAAG,WAAW,SAAS,GAAG,UACnC,YAAY,QAAQ,EAAE,EAAE,WAAW;AAC/E;;EAGD,MAAM,aAAa,YAAY;AAC/B,MACC,eAAe,WACX,OAAO,eAAe,cAAe,OAAO,eAAe,cAAc,WAAW,eAAe,SACtG;AACD,iBAAc,OAAO;AACrB;;EAGD,MAAM,SAAS,GAAG,UAAU,OAAO,GAAG,WAAW;EACjD,MAAM,SAAS,SAAS,eAAe,OAAO,GAAG,KAAK;EACtD,MAAM,UAAU,OAAO,eAAe,aAAa,WAAW,OAAO,GAAG;AAExE,MAAI,WAAW,MAAM,OAAO,CAC3B;MAEA,eAAc,OAAO;AAGtB,MAAI,QAAQ;AACX,OAAI,WAAW,SAAS,OAAO,CAC9B,eAAc,OAAO,cAAc,KAAM,GAAG,KAAK,KAAK;AAGvD,OAAI,WAAW,SAAS,OAAO,CAC9B,eAAc,OAAO,cAAc,KAAM,UAAU;;;AAKtD,QAAO,KAAK,cAAc;;AAG3B,MAAa,uBACZ,QACA,WACI;AACJ,KAAI,WAAW,OAAO,CACrB,QAAO,KAAK,WAAW,GAAG,OAAO,WAAW;AAG7C,QAAO,cADS,WAAW,OAAO,EACJ,UAAU,EAAE,EAAE;EAC3C,aAAa;EACb,gBAAgB;EAChB,WAAW,WAAW,CAAC,OAAO;EAC9B,CAAC;;AAGH,MAAa,uBACZ,QACA,WACI;AAEJ,QAAO,cADS,WAAW,OAAO,EACJ,UAAU,EAAE,EAAE;EAC3C,QAAQ,WACP,QAAQ,WAAW,SAAS,YAAY,QAAQ,mBAAmB,SAAS,YACxE,eAAe,UAAU,EAAE,KAAK,OAAQ,QAAgB,aAAa;EAC1E,WAAW,WAAW,CAAC,OAAO,WAAY,OAAO,WAAW,OAAO;EACnE,WAAW,WAAW,CAAC,OAAO;EAC9B,CAAC;;AAGH,MAAa,uBACZ,QACA,WACI;AAEJ,QAAO,cADS,WAAW,OAAO,EACJ,UAAU,EAAE,EAAE;EAC3C,QAAQ,WACP,QAAQ,WAAW,SAAS,YAAY,QAAQ,mBAAmB,SAAS,YACxE,eAAe,UAAU,EAAE,KAAK,OAAQ,QAAgB,aAAa;EAC1E,gBAAgB;EAChB,WAAW,WAAW,CAAC,OAAO;EAC9B,CAAC"}

package/arktype/schema.types.d.cts

@@ -0,0 +1,21 @@
+import type { Type } from 'arktype';
+import type { CockroachEnum } from '../cockroach-core/columns/enum.cjs';
+import type { PgEnum } from '../pg-core/columns/enum.cjs';
+import type { View } from '../sql/sql.cjs';
+import type { InferInsertModel, InferSelectModel, Table } from '../table.cjs';
+import type { BuildRefine, BuildSchema, NoUnknownKeys } from './schema.types.internal.cjs';
+export interface CreateSelectSchema {
+    <TTable extends Table>(table: TTable): BuildSchema<'select', TTable['_']['columns'], undefined>;
+    <TTable extends Table, TRefine extends BuildRefine<TTable['_']['columns']>>(table: TTable, refine?: NoUnknownKeys<TRefine, InferSelectModel<TTable>>): BuildSchema<'select', TTable['_']['columns'], TRefine>;
+    <TView extends View>(view: TView): BuildSchema<'select', TView['_']['selectedFields'], undefined>;
+    <TView extends View, TRefine extends BuildRefine<TView['_']['selectedFields']>>(view: TView, refine: NoUnknownKeys<TRefine, TView['$inferSelect']>): BuildSchema<'select', TView['_']['selectedFields'], TRefine>;
+    <TEnum extends PgEnum<any> | CockroachEnum<any>>(enum_: TEnum): Type<TEnum['enumValues'][number]>;
+}
+export interface CreateInsertSchema {
+    <TTable extends Table>(table: TTable): BuildSchema<'insert', TTable['_']['columns'], undefined>;
+    <TTable extends Table, TRefine extends BuildRefine<Pick<TTable['_']['columns'], keyof InferInsertModel<TTable>>>>(table: TTable, refine?: NoUnknownKeys<TRefine, InferInsertModel<TTable>>): BuildSchema<'insert', TTable['_']['columns'], TRefine>;
+}
+export interface CreateUpdateSchema {
+    <TTable extends Table>(table: TTable): BuildSchema<'update', TTable['_']['columns'], undefined>;
+    <TTable extends Table, TRefine extends BuildRefine<Pick<TTable['_']['columns'], keyof InferInsertModel<TTable>>>>(table: TTable, refine?: TRefine): BuildSchema<'update', TTable['_']['columns'], TRefine>;
+}

package/arktype/schema.types.d.ts

@@ -0,0 +1,21 @@
+import type { Type } from 'arktype';
+import type { CockroachEnum } from '../cockroach-core/columns/enum.js';
+import type { PgEnum } from '../pg-core/columns/enum.js';
+import type { View } from '../sql/sql.js';
+import type { InferInsertModel, InferSelectModel, Table } from '../table.js';
+import type { BuildRefine, BuildSchema, NoUnknownKeys } from './schema.types.internal.js';
+export interface CreateSelectSchema {
+    <TTable extends Table>(table: TTable): BuildSchema<'select', TTable['_']['columns'], undefined>;
+    <TTable extends Table, TRefine extends BuildRefine<TTable['_']['columns']>>(table: TTable, refine?: NoUnknownKeys<TRefine, InferSelectModel<TTable>>): BuildSchema<'select', TTable['_']['columns'], TRefine>;
+    <TView extends View>(view: TView): BuildSchema<'select', TView['_']['selectedFields'], undefined>;
+    <TView extends View, TRefine extends BuildRefine<TView['_']['selectedFields']>>(view: TView, refine: NoUnknownKeys<TRefine, TView['$inferSelect']>): BuildSchema<'select', TView['_']['selectedFields'], TRefine>;
+    <TEnum extends PgEnum<any> | CockroachEnum<any>>(enum_: TEnum): Type<TEnum['enumValues'][number]>;
+}
+export interface CreateInsertSchema {
+    <TTable extends Table>(table: TTable): BuildSchema<'insert', TTable['_']['columns'], undefined>;
+    <TTable extends Table, TRefine extends BuildRefine<Pick<TTable['_']['columns'], keyof InferInsertModel<TTable>>>>(table: TTable, refine?: NoUnknownKeys<TRefine, InferInsertModel<TTable>>): BuildSchema<'insert', TTable['_']['columns'], TRefine>;
+}
+export interface CreateUpdateSchema {
+    <TTable extends Table>(table: TTable): BuildSchema<'update', TTable['_']['columns'], undefined>;
+    <TTable extends Table, TRefine extends BuildRefine<Pick<TTable['_']['columns'], keyof InferInsertModel<TTable>>>>(table: TTable, refine?: TRefine): BuildSchema<'update', TTable['_']['columns'], TRefine>;
+}

package/arktype/schema.types.internal.d.cts

@@ -0,0 +1,27 @@
+import type { Type, type } from 'arktype';
+import type { Column } from '../column.cjs';
+import type { SelectedFieldsFlat } from '../operations.cjs';
+import type { View } from '../sql/sql.cjs';
+import type { Table } from '../table.cjs';
+import type { DrizzleTypeError, Simplify } from '../utils.cjs';
+import type { ColumnIsGeneratedAlwaysAs, GetSelection } from '../utils.cjs';
+import type { ArktypeNullable, ArktypeOptional, GetArktypeType, HandleColumn } from './column.types.cjs';
+export interface Conditions {
+    never: (column?: Column) => boolean;
+    optional: (column: Column) => boolean;
+    nullable: (column: Column) => boolean;
+}
+type GenericSchema = type.cast<unknown> | [type.cast<unknown>, '?'];
+type BuildRefineField<T> = T extends GenericSchema ? ((schema: T) => GenericSchema) | GenericSchema : never;
+export type BuildRefine<TColumns extends Record<string, any>> = {
+    [K in keyof TColumns as TColumns[K] extends Column | SelectedFieldsFlat<Column> | Table | View ? K : never]?: TColumns[K] extends Column ? BuildRefineField<GetArktypeType<TColumns[K]>> : BuildRefine<GetSelection<TColumns[K]>>;
+};
+type HandleRefinement<TType extends 'select' | 'insert' | 'update', TRefinement, TColumn extends Column> = TRefinement extends (schema: any) => GenericSchema ? (TColumn['_']['notNull'] extends true ? ReturnType<TRefinement> : ArktypeNullable<ReturnType<TRefinement>>) extends infer TSchema ? TType extends 'update' ? ArktypeOptional<TSchema> : TSchema : Type<any> : TRefinement;
+type IsRefinementDefined<TRefinements extends Record<string | symbol | number, any> | undefined, TKey extends string | symbol | number> = TRefinements extends object ? TRefinements[TKey] extends GenericSchema | ((schema: any) => any) ? true : false : false;
+export type BuildSchema<TType extends 'select' | 'insert' | 'update', TColumns extends Record<string, any>, TRefinements extends Record<string, any> | undefined> = type.instantiate<Simplify<{
+    readonly [K in keyof TColumns as ColumnIsGeneratedAlwaysAs<TColumns[K]> extends true ? TType extends 'select' ? K : never : K]: TColumns[K] extends infer TColumn extends Column ? IsRefinementDefined<TRefinements, K> extends true ? HandleRefinement<TType, TRefinements[K & keyof TRefinements], TColumn> : HandleColumn<TType, TColumn> : TColumns[K] extends infer TNested extends SelectedFieldsFlat<Column> | Table | View ? BuildSchema<TType, GetSelection<TNested>, TRefinements extends object ? TRefinements[K & keyof TRefinements] : undefined> : any;
+}>>;
+export type NoUnknownKeys<TRefinement extends Record<string, any>, TCompare extends Record<string, any>> = {
+    [K in keyof TRefinement]: K extends keyof TCompare ? TRefinement[K] extends Record<string, GenericSchema> ? NoUnknownKeys<TRefinement[K], TCompare[K]> : TRefinement[K] : DrizzleTypeError<`Found unknown key in refinement: "${K & string}"`>;
+};
+export {};

package/arktype/schema.types.internal.d.ts

@@ -0,0 +1,27 @@
+import type { Type, type } from 'arktype';
+import type { Column } from '../column.js';
+import type { SelectedFieldsFlat } from '../operations.js';
+import type { View } from '../sql/sql.js';
+import type { Table } from '../table.js';
+import type { DrizzleTypeError, Simplify } from '../utils.js';
+import type { ColumnIsGeneratedAlwaysAs, GetSelection } from '../utils.js';
+import type { ArktypeNullable, ArktypeOptional, GetArktypeType, HandleColumn } from './column.types.js';
+export interface Conditions {
+    never: (column?: Column) => boolean;
+    optional: (column: Column) => boolean;
+    nullable: (column: Column) => boolean;
+}
+type GenericSchema = type.cast<unknown> | [type.cast<unknown>, '?'];
+type BuildRefineField<T> = T extends GenericSchema ? ((schema: T) => GenericSchema) | GenericSchema : never;
+export type BuildRefine<TColumns extends Record<string, any>> = {
+    [K in keyof TColumns as TColumns[K] extends Column | SelectedFieldsFlat<Column> | Table | View ? K : never]?: TColumns[K] extends Column ? BuildRefineField<GetArktypeType<TColumns[K]>> : BuildRefine<GetSelection<TColumns[K]>>;
+};
+type HandleRefinement<TType extends 'select' | 'insert' | 'update', TRefinement, TColumn extends Column> = TRefinement extends (schema: any) => GenericSchema ? (TColumn['_']['notNull'] extends true ? ReturnType<TRefinement> : ArktypeNullable<ReturnType<TRefinement>>) extends infer TSchema ? TType extends 'update' ? ArktypeOptional<TSchema> : TSchema : Type<any> : TRefinement;
+type IsRefinementDefined<TRefinements extends Record<string | symbol | number, any> | undefined, TKey extends string | symbol | number> = TRefinements extends object ? TRefinements[TKey] extends GenericSchema | ((schema: any) => any) ? true : false : false;
+export type BuildSchema<TType extends 'select' | 'insert' | 'update', TColumns extends Record<string, any>, TRefinements extends Record<string, any> | undefined> = type.instantiate<Simplify<{
+    readonly [K in keyof TColumns as ColumnIsGeneratedAlwaysAs<TColumns[K]> extends true ? TType extends 'select' ? K : never : K]: TColumns[K] extends infer TColumn extends Column ? IsRefinementDefined<TRefinements, K> extends true ? HandleRefinement<TType, TRefinements[K & keyof TRefinements], TColumn> : HandleColumn<TType, TColumn> : TColumns[K] extends infer TNested extends SelectedFieldsFlat<Column> | Table | View ? BuildSchema<TType, GetSelection<TNested>, TRefinements extends object ? TRefinements[K & keyof TRefinements] : undefined> : any;
+}>>;
+export type NoUnknownKeys<TRefinement extends Record<string, any>, TCompare extends Record<string, any>> = {
+    [K in keyof TRefinement]: K extends keyof TCompare ? TRefinement[K] extends Record<string, GenericSchema> ? NoUnknownKeys<TRefinement[K], TCompare[K]> : TRefinement[K] : DrizzleTypeError<`Found unknown key in refinement: "${K & string}"`>;
+};
+export {};

package/arktype/schema.types.internal.js

@@ -0,0 +1 @@
+export {  };