drizzle-arktype 0.1.0

package/README.md

@@ -0,0 +1,51 @@
+`drizzle-arktype` is a plugin for [Drizzle ORM](https://github.com/drizzle-team/drizzle-orm) that allows you to generate [arktype](https://arktype.io/) schemas from Drizzle ORM schemas.
+
+**Features**
+
+- Create a select schema for tables, views and enums.
+- Create insert and update schemas for tables.
+- Supports all dialects: PostgreSQL, MySQL and SQLite.
+
+# Usage
+
+```ts
+import { pgEnum, pgTable, serial, text, timestamp } from 'drizzle-orm/pg-core';
+import { createInsertSchema, createSelectSchema } from 'drizzle-arktype';
+import { type } from 'arktype';
+
+const users = pgTable('users', {
+	id: serial('id').primaryKey(),
+	name: text('name').notNull(),
+	email: text('email').notNull(),
+	role: text('role', { enum: ['admin', 'user'] }).notNull(),
+	createdAt: timestamp('created_at').notNull().defaultNow(),
+});
+
+// Schema for inserting a user - can be used to validate API requests
+const insertUserSchema = createInsertSchema(users);
+
+// Schema for updating a user - can be used to validate API requests
+const updateUserSchema = createUpdateSchema(users);
+
+// Schema for selecting a user - can be used to validate API responses
+const selectUserSchema = createSelectSchema(users);
+
+// Overriding the fields
+const insertUserSchema = createInsertSchema(users, {
+	role: type('string'),
+});
+
+// Refining the fields - useful if you want to change the fields before they become nullable/optional in the final schema
+const insertUserSchema = createInsertSchema(users, {
+	id: (schema) => schema.atLeast(1),
+	role: type('string'),
+});
+
+// Usage
+
+const isUserValid = parse(insertUserSchema, {
+	name: 'John Doe',
+	email: 'johndoe@test.com',
+	role: 'admin',
+});
+```

package/column.d.cts

@@ -0,0 +1,6 @@
+import { type Type } from 'arktype';
+import type { Column } from 'drizzle-orm';
+export declare const literalSchema: import("arktype/internal/methods/base.ts").BaseType<string | number | boolean | null, {}>;
+export declare const jsonSchema: import("arktype/internal/methods/base.ts").BaseType<string | number | boolean | any[] | Record<string, any> | null, {}>;
+export declare const bufferSchema: import("arktype/internal/methods/object.ts").ObjectType<Buffer, {}>;
+export declare function columnToSchema(column: Column): Type;

package/column.d.mts

@@ -0,0 +1,6 @@
+import { type Type } from 'arktype';
+import type { Column } from 'drizzle-orm';
+export declare const literalSchema: import("arktype/internal/methods/base.ts").BaseType<string | number | boolean | null, {}>;
+export declare const jsonSchema: import("arktype/internal/methods/base.ts").BaseType<string | number | boolean | any[] | Record<string, any> | null, {}>;
+export declare const bufferSchema: import("arktype/internal/methods/object.ts").ObjectType<Buffer, {}>;
+export declare function columnToSchema(column: Column): Type;

package/column.d.ts

@@ -0,0 +1,6 @@
+import { type Type } from 'arktype';
+import type { Column } from 'drizzle-orm';
+export declare const literalSchema: import("arktype/internal/methods/base.ts").BaseType<string | number | boolean | null, {}>;
+export declare const jsonSchema: import("arktype/internal/methods/base.ts").BaseType<string | number | boolean | any[] | Record<string, any> | null, {}>;
+export declare const bufferSchema: import("arktype/internal/methods/object.ts").ObjectType<Buffer, {}>;
+export declare function columnToSchema(column: Column): Type;

package/column.types.d.cts

@@ -0,0 +1,14 @@
+import { Type, type } from 'arktype';
+import type { Assume, Column } from 'drizzle-orm';
+import type { ColumnIsGeneratedAlwaysAs, IsEnumDefined, IsUnknown, Json } from "./utils.cjs";
+export type ArktypeNullable<TSchema> = Type<type.infer<TSchema> | null, {}>;
+export type ArktypeOptional<TSchema> = [Type<type.infer<TSchema>, {}>, '?'];
+export type GetEnumValuesFromColumn<TColumn extends Column> = TColumn['_'] extends {
+    enumValues: [string, ...string[]];
+} ? TColumn['_']['enumValues'] : undefined;
+export type GetArktypeType<TData, TColumnType extends string, TEnumValues extends [string, ...string[]] | undefined> = IsEnumDefined<TEnumValues> extends true ? Type<Assume<TEnumValues, any[]>[number]> : TColumnType extends 'PgJson' | 'PgJsonb' | 'MySqlJson' | 'SingleStoreJson' | 'SQLiteTextJson' | 'SQLiteBlobJson' ? IsUnknown<TData> extends true ? Type<Json> : Type<TData> : Type<TData>;
+type HandleSelectColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TSchema : ArktypeNullable<TSchema>;
+type HandleInsertColumn<TSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? TColumn['_']['hasDefault'] extends true ? ArktypeOptional<TSchema> : TSchema : ArktypeOptional<ArktypeNullable<TSchema>>;
+type HandleUpdateColumn<TSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? ArktypeOptional<TSchema> : ArktypeOptional<ArktypeNullable<TSchema>>;
+export type HandleColumn<TType extends 'select' | 'insert' | 'update', TColumn extends Column> = GetArktypeType<TColumn['_']['data'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>> extends infer TSchema ? TType extends 'select' ? HandleSelectColumn<TSchema, TColumn> : TType extends 'insert' ? HandleInsertColumn<TSchema, TColumn> : TType extends 'update' ? HandleUpdateColumn<TSchema, TColumn> : TSchema : Type;
+export {};

package/column.types.d.mts

@@ -0,0 +1,14 @@
+import { Type, type } from 'arktype';
+import type { Assume, Column } from 'drizzle-orm';
+import type { ColumnIsGeneratedAlwaysAs, IsEnumDefined, IsUnknown, Json } from "./utils.mjs";
+export type ArktypeNullable<TSchema> = Type<type.infer<TSchema> | null, {}>;
+export type ArktypeOptional<TSchema> = [Type<type.infer<TSchema>, {}>, '?'];
+export type GetEnumValuesFromColumn<TColumn extends Column> = TColumn['_'] extends {
+    enumValues: [string, ...string[]];
+} ? TColumn['_']['enumValues'] : undefined;
+export type GetArktypeType<TData, TColumnType extends string, TEnumValues extends [string, ...string[]] | undefined> = IsEnumDefined<TEnumValues> extends true ? Type<Assume<TEnumValues, any[]>[number]> : TColumnType extends 'PgJson' | 'PgJsonb' | 'MySqlJson' | 'SingleStoreJson' | 'SQLiteTextJson' | 'SQLiteBlobJson' ? IsUnknown<TData> extends true ? Type<Json> : Type<TData> : Type<TData>;
+type HandleSelectColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TSchema : ArktypeNullable<TSchema>;
+type HandleInsertColumn<TSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? TColumn['_']['hasDefault'] extends true ? ArktypeOptional<TSchema> : TSchema : ArktypeOptional<ArktypeNullable<TSchema>>;
+type HandleUpdateColumn<TSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? ArktypeOptional<TSchema> : ArktypeOptional<ArktypeNullable<TSchema>>;
+export type HandleColumn<TType extends 'select' | 'insert' | 'update', TColumn extends Column> = GetArktypeType<TColumn['_']['data'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>> extends infer TSchema ? TType extends 'select' ? HandleSelectColumn<TSchema, TColumn> : TType extends 'insert' ? HandleInsertColumn<TSchema, TColumn> : TType extends 'update' ? HandleUpdateColumn<TSchema, TColumn> : TSchema : Type;
+export {};

package/column.types.d.ts

@@ -0,0 +1,14 @@
+import { Type, type } from 'arktype';
+import type { Assume, Column } from 'drizzle-orm';
+import type { ColumnIsGeneratedAlwaysAs, IsEnumDefined, IsUnknown, Json } from './utils.js';
+export type ArktypeNullable<TSchema> = Type<type.infer<TSchema> | null, {}>;
+export type ArktypeOptional<TSchema> = [Type<type.infer<TSchema>, {}>, '?'];
+export type GetEnumValuesFromColumn<TColumn extends Column> = TColumn['_'] extends {
+    enumValues: [string, ...string[]];
+} ? TColumn['_']['enumValues'] : undefined;
+export type GetArktypeType<TData, TColumnType extends string, TEnumValues extends [string, ...string[]] | undefined> = IsEnumDefined<TEnumValues> extends true ? Type<Assume<TEnumValues, any[]>[number]> : TColumnType extends 'PgJson' | 'PgJsonb' | 'MySqlJson' | 'SingleStoreJson' | 'SQLiteTextJson' | 'SQLiteBlobJson' ? IsUnknown<TData> extends true ? Type<Json> : Type<TData> : Type<TData>;
+type HandleSelectColumn<TSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TSchema : ArktypeNullable<TSchema>;
+type HandleInsertColumn<TSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? TColumn['_']['hasDefault'] extends true ? ArktypeOptional<TSchema> : TSchema : ArktypeOptional<ArktypeNullable<TSchema>>;
+type HandleUpdateColumn<TSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? ArktypeOptional<TSchema> : ArktypeOptional<ArktypeNullable<TSchema>>;
+export type HandleColumn<TType extends 'select' | 'insert' | 'update', TColumn extends Column> = GetArktypeType<TColumn['_']['data'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>> extends infer TSchema ? TType extends 'select' ? HandleSelectColumn<TSchema, TColumn> : TType extends 'insert' ? HandleInsertColumn<TSchema, TColumn> : TType extends 'update' ? HandleUpdateColumn<TSchema, TColumn> : TSchema : Type;
+export {};

package/constants.d.cts

@@ -0,0 +1,20 @@
+export declare const CONSTANTS: {
+    INT8_MIN: number;
+    INT8_MAX: number;
+    INT8_UNSIGNED_MAX: number;
+    INT16_MIN: number;
+    INT16_MAX: number;
+    INT16_UNSIGNED_MAX: number;
+    INT24_MIN: number;
+    INT24_MAX: number;
+    INT24_UNSIGNED_MAX: number;
+    INT32_MIN: number;
+    INT32_MAX: number;
+    INT32_UNSIGNED_MAX: number;
+    INT48_MIN: number;
+    INT48_MAX: number;
+    INT48_UNSIGNED_MAX: number;
+    INT64_MIN: bigint;
+    INT64_MAX: bigint;
+    INT64_UNSIGNED_MAX: bigint;
+};

package/constants.d.mts

@@ -0,0 +1,20 @@
+export declare const CONSTANTS: {
+    INT8_MIN: number;
+    INT8_MAX: number;
+    INT8_UNSIGNED_MAX: number;
+    INT16_MIN: number;
+    INT16_MAX: number;
+    INT16_UNSIGNED_MAX: number;
+    INT24_MIN: number;
+    INT24_MAX: number;
+    INT24_UNSIGNED_MAX: number;
+    INT32_MIN: number;
+    INT32_MAX: number;
+    INT32_UNSIGNED_MAX: number;
+    INT48_MIN: number;
+    INT48_MAX: number;
+    INT48_UNSIGNED_MAX: number;
+    INT64_MIN: bigint;
+    INT64_MAX: bigint;
+    INT64_UNSIGNED_MAX: bigint;
+};

package/constants.d.ts

@@ -0,0 +1,20 @@
+export declare const CONSTANTS: {
+    INT8_MIN: number;
+    INT8_MAX: number;
+    INT8_UNSIGNED_MAX: number;
+    INT16_MIN: number;
+    INT16_MAX: number;
+    INT16_UNSIGNED_MAX: number;
+    INT24_MIN: number;
+    INT24_MAX: number;
+    INT24_UNSIGNED_MAX: number;
+    INT32_MIN: number;
+    INT32_MAX: number;
+    INT32_UNSIGNED_MAX: number;
+    INT48_MIN: number;
+    INT48_MAX: number;
+    INT48_UNSIGNED_MAX: number;
+    INT64_MIN: bigint;
+    INT64_MAX: bigint;
+    INT64_UNSIGNED_MAX: bigint;
+};

package/index.cjs

@@ -0,0 +1,306 @@
+'use strict';
+
+var arktype = require('arktype');
+var drizzleOrm = require('drizzle-orm');
+
+const CONSTANTS = {
+    INT8_MIN: -128,
+    INT8_MAX: 127,
+    INT8_UNSIGNED_MAX: 255,
+    INT16_MIN: -32768,
+    INT16_MAX: 32767,
+    INT16_UNSIGNED_MAX: 65535,
+    INT24_MIN: -8388608,
+    INT24_MAX: 8388607,
+    INT24_UNSIGNED_MAX: 16777215,
+    INT32_MIN: -2147483648,
+    INT32_MAX: 2147483647,
+    INT32_UNSIGNED_MAX: 4294967295,
+    INT48_MIN: -140737488355328,
+    INT48_MAX: 140737488355327,
+    INT48_UNSIGNED_MAX: 281474976710655,
+    INT64_MIN: -9223372036854775808n,
+    INT64_MAX: 9223372036854775807n,
+    INT64_UNSIGNED_MAX: 18446744073709551615n,
+};
+
+function isColumnType(column, columnTypes) {
+    return columnTypes.includes(column.columnType);
+}
+function isWithEnum(column) {
+    return 'enumValues' in column && Array.isArray(column.enumValues) && column.enumValues.length > 0;
+}
+const isPgEnum = isWithEnum;
+
+const literalSchema = arktype.type.string.or(arktype.type.number).or(arktype.type.boolean).or(arktype.type.null);
+const jsonSchema = literalSchema.or(arktype.type.unknown.as().array()).or(arktype.type.object.as());
+const bufferSchema = arktype.type.instanceOf(Buffer); // eslint-disable-line no-instanceof/no-instanceof
+function columnToSchema(column) {
+    let schema;
+    if (isWithEnum(column)) {
+        schema = column.enumValues.length ? arktype.type.enumerated(...column.enumValues) : arktype.type.string;
+    }
+    if (!schema) {
+        // Handle specific types
+        if (isColumnType(column, ['PgGeometry', 'PgPointTuple'])) {
+            schema = arktype.type([arktype.type.number, arktype.type.number]);
+        }
+        else if (isColumnType(column, ['PgGeometryObject', 'PgPointObject'])) {
+            schema = arktype.type({
+                x: arktype.type.number,
+                y: arktype.type.number,
+            });
+        }
+        else if (isColumnType(column, ['PgHalfVector', 'PgVector'])) {
+            schema = column.dimensions
+                ? arktype.type.number.array().exactlyLength(column.dimensions)
+                : arktype.type.number.array();
+        }
+        else if (isColumnType(column, ['PgLine'])) {
+            schema = arktype.type([arktype.type.number, arktype.type.number, arktype.type.number]);
+        }
+        else if (isColumnType(column, ['PgLineABC'])) {
+            schema = arktype.type({
+                a: arktype.type.number,
+                b: arktype.type.number,
+                c: arktype.type.number,
+            });
+        } // Handle other types
+        else if (isColumnType(column, ['PgArray'])) {
+            const arraySchema = columnToSchema(column.baseColumn).array();
+            schema = column.size ? arraySchema.exactlyLength(column.size) : arraySchema;
+        }
+        else if (column.dataType === 'array') {
+            schema = arktype.type.unknown.array();
+        }
+        else if (column.dataType === 'number') {
+            schema = numberColumnToSchema(column);
+        }
+        else if (column.dataType === 'bigint') {
+            schema = bigintColumnToSchema(column);
+        }
+        else if (column.dataType === 'boolean') {
+            schema = arktype.type.boolean;
+        }
+        else if (column.dataType === 'date') {
+            schema = arktype.type.Date;
+        }
+        else if (column.dataType === 'string') {
+            schema = stringColumnToSchema(column);
+        }
+        else if (column.dataType === 'json') {
+            schema = jsonSchema;
+        }
+        else if (column.dataType === 'custom') {
+            schema = arktype.type.unknown;
+        }
+        else if (column.dataType === 'buffer') {
+            schema = bufferSchema;
+        }
+    }
+    if (!schema) {
+        schema = arktype.type.unknown;
+    }
+    return schema;
+}
+function numberColumnToSchema(column) {
+    let unsigned = column.getSQLType().includes('unsigned');
+    let min;
+    let max;
+    let integer = false;
+    if (isColumnType(column, ['MySqlTinyInt', 'SingleStoreTinyInt'])) {
+        min = unsigned ? 0 : CONSTANTS.INT8_MIN;
+        max = unsigned ? CONSTANTS.INT8_UNSIGNED_MAX : CONSTANTS.INT8_MAX;
+        integer = true;
+    }
+    else if (isColumnType(column, [
+        'PgSmallInt',
+        'PgSmallSerial',
+        'MySqlSmallInt',
+        'SingleStoreSmallInt',
+    ])) {
+        min = unsigned ? 0 : CONSTANTS.INT16_MIN;
+        max = unsigned ? CONSTANTS.INT16_UNSIGNED_MAX : CONSTANTS.INT16_MAX;
+        integer = true;
+    }
+    else if (isColumnType(column, [
+        'PgReal',
+        'MySqlFloat',
+        'MySqlMediumInt',
+        'SingleStoreFloat',
+        'SingleStoreMediumInt',
+    ])) {
+        min = unsigned ? 0 : CONSTANTS.INT24_MIN;
+        max = unsigned ? CONSTANTS.INT24_UNSIGNED_MAX : CONSTANTS.INT24_MAX;
+        integer = isColumnType(column, ['MySqlMediumInt', 'SingleStoreMediumInt']);
+    }
+    else if (isColumnType(column, [
+        'PgInteger',
+        'PgSerial',
+        'MySqlInt',
+        'SingleStoreInt',
+    ])) {
+        min = unsigned ? 0 : CONSTANTS.INT32_MIN;
+        max = unsigned ? CONSTANTS.INT32_UNSIGNED_MAX : CONSTANTS.INT32_MAX;
+        integer = true;
+    }
+    else if (isColumnType(column, [
+        'PgDoublePrecision',
+        'MySqlReal',
+        'MySqlDouble',
+        'SingleStoreReal',
+        'SingleStoreDouble',
+        'SQLiteReal',
+    ])) {
+        min = unsigned ? 0 : CONSTANTS.INT48_MIN;
+        max = unsigned ? CONSTANTS.INT48_UNSIGNED_MAX : CONSTANTS.INT48_MAX;
+    }
+    else if (isColumnType(column, [
+        'PgBigInt53',
+        'PgBigSerial53',
+        'MySqlBigInt53',
+        'MySqlSerial',
+        'SingleStoreBigInt53',
+        'SingleStoreSerial',
+        'SQLiteInteger',
+    ])) {
+        unsigned = unsigned || isColumnType(column, ['MySqlSerial', 'SingleStoreSerial']);
+        min = unsigned ? 0 : Number.MIN_SAFE_INTEGER;
+        max = Number.MAX_SAFE_INTEGER;
+        integer = true;
+    }
+    else if (isColumnType(column, ['MySqlYear', 'SingleStoreYear'])) {
+        min = 1901;
+        max = 2155;
+        integer = true;
+    }
+    else {
+        min = Number.MIN_SAFE_INTEGER;
+        max = Number.MAX_SAFE_INTEGER;
+    }
+    return (integer ? arktype.type.keywords.number.integer : arktype.type.number).atLeast(min).atMost(max);
+}
+/** @internal */
+const unsignedBigintNarrow = (v, ctx) => v < 0n ? ctx.mustBe('greater than') : v > CONSTANTS.INT64_UNSIGNED_MAX ? ctx.mustBe('less than') : true;
+/** @internal */
+const bigintNarrow = (v, ctx) => v < CONSTANTS.INT64_MIN ? ctx.mustBe('greater than') : v > CONSTANTS.INT64_MAX ? ctx.mustBe('less than') : true;
+function bigintColumnToSchema(column) {
+    const unsigned = column.getSQLType().includes('unsigned');
+    return arktype.type.bigint.narrow(unsigned ? unsignedBigintNarrow : bigintNarrow);
+}
+function stringColumnToSchema(column) {
+    if (isColumnType(column, ['PgUUID'])) {
+        return arktype.type(/^[\da-f]{8}(?:-[\da-f]{4}){3}-[\da-f]{12}$/iu).describe('a RFC-4122-compliant UUID');
+    }
+    if (isColumnType(column, ['PgBinaryVector'])) {
+        return arktype.type(`/^[01]{${column.dimensions}}$/`)
+            .describe(`a string containing ones or zeros while being ${column.dimensions} characters long`);
+    }
+    let max;
+    let fixed = false;
+    if (isColumnType(column, ['PgVarchar', 'SQLiteText'])) {
+        max = column.length;
+    }
+    else if (isColumnType(column, ['MySqlVarChar', 'SingleStoreVarChar'])) {
+        max = column.length ?? CONSTANTS.INT16_UNSIGNED_MAX;
+    }
+    else if (isColumnType(column, ['MySqlText', 'SingleStoreText'])) {
+        if (column.textType === 'longtext') {
+            max = CONSTANTS.INT32_UNSIGNED_MAX;
+        }
+        else if (column.textType === 'mediumtext') {
+            max = CONSTANTS.INT24_UNSIGNED_MAX;
+        }
+        else if (column.textType === 'text') {
+            max = CONSTANTS.INT16_UNSIGNED_MAX;
+        }
+        else {
+            max = CONSTANTS.INT8_UNSIGNED_MAX;
+        }
+    }
+    if (isColumnType(column, [
+        'PgChar',
+        'MySqlChar',
+        'SingleStoreChar',
+    ])) {
+        max = column.length;
+        fixed = true;
+    }
+    return max && fixed ? arktype.type.string.exactlyLength(max) : max ? arktype.type.string.atMostLength(max) : arktype.type.string;
+}
+
+function getColumns(tableLike) {
+    return drizzleOrm.isTable(tableLike) ? drizzleOrm.getTableColumns(tableLike) : drizzleOrm.getViewSelectedFields(tableLike);
+}
+function handleColumns(columns, refinements, conditions) {
+    const columnSchemas = {};
+    for (const [key, selected] of Object.entries(columns)) {
+        if (!drizzleOrm.is(selected, drizzleOrm.Column) && !drizzleOrm.is(selected, drizzleOrm.SQL) && !drizzleOrm.is(selected, drizzleOrm.SQL.Aliased) && typeof selected === 'object') {
+            const columns = drizzleOrm.isTable(selected) || drizzleOrm.isView(selected) ? getColumns(selected) : selected;
+            columnSchemas[key] = handleColumns(columns, refinements[key] ?? {}, conditions);
+            continue;
+        }
+        const refinement = refinements[key];
+        if (refinement !== undefined
+            && (typeof refinement !== 'function' || (typeof refinement === 'function' && refinement.expression !== undefined))) {
+            columnSchemas[key] = refinement;
+            continue;
+        }
+        const column = drizzleOrm.is(selected, drizzleOrm.Column) ? selected : undefined;
+        const schema = 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 arktype.type(columnSchemas);
+}
+const createSelectSchema = ((entity, refine) => {
+    if (isPgEnum(entity)) {
+        return arktype.type.enumerated(...entity.enumValues);
+    }
+    const columns = getColumns(entity);
+    return handleColumns(columns, refine ?? {}, {
+        never: () => false,
+        optional: () => false,
+        nullable: (column) => !column.notNull,
+    });
+});
+const createInsertSchema = ((entity, refine) => {
+    const columns = getColumns(entity);
+    return handleColumns(columns, refine ?? {}, {
+        never: (column) => column?.generated?.type === 'always' || column?.generatedIdentity?.type === 'always',
+        optional: (column) => !column.notNull || (column.notNull && column.hasDefault),
+        nullable: (column) => !column.notNull,
+    });
+});
+const createUpdateSchema = ((entity, refine) => {
+    const columns = getColumns(entity);
+    return handleColumns(columns, refine ?? {}, {
+        never: (column) => column?.generated?.type === 'always' || column?.generatedIdentity?.type === 'always',
+        optional: () => true,
+        nullable: (column) => !column.notNull,
+    });
+});
+
+exports.bufferSchema = bufferSchema;
+exports.createInsertSchema = createInsertSchema;
+exports.createSelectSchema = createSelectSchema;
+exports.createUpdateSchema = createUpdateSchema;
+exports.isColumnType = isColumnType;
+exports.isPgEnum = isPgEnum;
+exports.isWithEnum = isWithEnum;
+exports.jsonSchema = jsonSchema;
+exports.literalSchema = literalSchema;
+//# sourceMappingURL=index.cjs.map

package/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.cjs","sources":["../src/constants.ts","../src/utils.ts","../src/column.ts","../src/schema.ts"],"sourcesContent":[null,null,null,null],"names":["type","isTable","getTableColumns","getViewSelectedFields","is","Column","SQL","isView"],"mappings":";;;;;AAAO,MAAM,SAAS,GAAG;IACxB,QAAQ,EAAE,CAAC,GAAG;AACd,IAAA,QAAQ,EAAE,GAAG;AACb,IAAA,iBAAiB,EAAE,GAAG;IACtB,SAAS,EAAE,CAAC,KAAK;AACjB,IAAA,SAAS,EAAE,KAAK;AAChB,IAAA,kBAAkB,EAAE,KAAK;IACzB,SAAS,EAAE,CAAC,OAAO;AACnB,IAAA,SAAS,EAAE,OAAO;AAClB,IAAA,kBAAkB,EAAE,QAAQ;IAC5B,SAAS,EAAE,CAAC,UAAU;AACtB,IAAA,SAAS,EAAE,UAAU;AACrB,IAAA,kBAAkB,EAAE,UAAU;IAC9B,SAAS,EAAE,CAAC,eAAe;AAC3B,IAAA,SAAS,EAAE,eAAe;AAC1B,IAAA,kBAAkB,EAAE,eAAe;IACnC,SAAS,EAAE,CAAC,oBAAoB;AAChC,IAAA,SAAS,EAAE,oBAAoB;AAC/B,IAAA,kBAAkB,EAAE,qBAAqB;CACzC;;ACde,SAAA,YAAY,CAAmB,MAAc,EAAE,WAAqB,EAAA;IACnF,OAAO,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AAChD,CAAC;AAEK,SAAU,UAAU,CAAC,MAAc,EAAA;IACxC,OAAO,YAAY,IAAI,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;AACnG,CAAC;AAEM,MAAM,QAAQ,GAA6D;;AC8C3E,MAAM,aAAa,GAAGA,YAAI,CAAC,MAAM,CAAC,EAAE,CAACA,YAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAACA,YAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAACA,YAAI,CAAC,IAAI,EAAE;AACjF,MAAM,UAAU,GAAG,aAAa,CAAC,EAAE,CAACA,YAAI,CAAC,OAAO,CAAC,EAAE,EAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAACA,YAAI,CAAC,MAAM,CAAC,EAAE,EAAuB,EAAE;AAC9G,MAAM,YAAY,GAAGA,YAAI,CAAC,UAAU,CAAC,MAAM,EAAE;AAE9C,SAAU,cAAc,CAAC,MAAc,EAAA;AAC5C,IAAA,IAAI,MAAa,CAAC;AAElB,IAAA,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE;QACvB,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,GAAGA,YAAI,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,GAAGA,YAAI,CAAC,MAAM,CAAC;KACxF;IAED,IAAI,CAAC,MAAM,EAAE;;QAEZ,IAAI,YAAY,CAAsC,MAAM,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC,EAAE;AAC9F,YAAA,MAAM,GAAGA,YAAI,CAAC,CAACA,YAAI,CAAC,MAAM,EAAEA,YAAI,CAAC,MAAM,CAAC,CAAC,CAAC;SAC1C;aAAM,IACN,YAAY,CAA6C,MAAM,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC,CAAC,EACtG;YACD,MAAM,GAAGA,YAAI,CAAC;gBACb,CAAC,EAAEA,YAAI,CAAC,MAAM;gBACd,CAAC,EAAEA,YAAI,CAAC,MAAM;AACd,aAAA,CAAC,CAAC;SACH;aAAM,IAAI,YAAY,CAAoC,MAAM,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,EAAE;YACjG,MAAM,GAAG,MAAM,CAAC,UAAU;AACzB,kBAAEA,YAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC;AACtD,kBAAEA,YAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;SACvB;aAAM,IAAI,YAAY,CAAmB,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE;AAC9D,YAAA,MAAM,GAAGA,YAAI,CAAC,CAACA,YAAI,CAAC,MAAM,EAAEA,YAAI,CAAC,MAAM,EAAEA,YAAI,CAAC,MAAM,CAAC,CAAC,CAAC;SACvD;aAAM,IAAI,YAAY,CAAiB,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE;YAC/D,MAAM,GAAGA,YAAI,CAAC;gBACb,CAAC,EAAEA,YAAI,CAAC,MAAM;gBACd,CAAC,EAAEA,YAAI,CAAC,MAAM;gBACd,CAAC,EAAEA,YAAI,CAAC,MAAM;AACd,aAAA,CAAC,CAAC;AACJ,SAAC;aACI,IAAI,YAAY,CAAoB,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE;YAC9D,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC;AAC9D,YAAA,MAAM,GAAG,MAAM,CAAC,IAAI,GAAG,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC;SAC5E;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,EAAE;AACvC,YAAA,MAAM,GAAGA,YAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;SAC9B;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;AACxC,YAAA,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;SACtC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;AACxC,YAAA,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;SACtC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE;AACzC,YAAA,MAAM,GAAGA,YAAI,CAAC,OAAO,CAAC;SACtB;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE;AACtC,YAAA,MAAM,GAAGA,YAAI,CAAC,IAAI,CAAC;SACnB;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;AACxC,YAAA,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;SACtC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE;YACtC,MAAM,GAAG,UAAU,CAAC;SACpB;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;AACxC,YAAA,MAAM,GAAGA,YAAI,CAAC,OAAO,CAAC;SACtB;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;YACxC,MAAM,GAAG,YAAY,CAAC;SACtB;KACD;IAED,IAAI,CAAC,MAAM,EAAE;AACZ,QAAA,MAAM,GAAGA,YAAI,CAAC,OAAO,CAAC;KACtB;AAED,IAAA,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAA;IAC3C,IAAI,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AACxD,IAAA,IAAI,GAAY,CAAC;AACjB,IAAA,IAAI,GAAY,CAAC;IACjB,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,IAAI,YAAY,CAA8C,MAAM,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAC,EAAE;AAC9G,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;AACxC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,iBAAiB,GAAG,SAAS,CAAC,QAAQ,CAAC;QAClE,OAAO,GAAG,IAAI,CAAC;KACf;SAAM,IACN,YAAY,CAAuF,MAAM,EAAE;QAC1G,YAAY;QACZ,eAAe;QACf,eAAe;QACf,qBAAqB;AACrB,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;AACzC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,SAAS,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC;KACf;SAAM,IACN,YAAY,CAEV,MAAM,EAAE;QACT,QAAQ;QACR,YAAY;QACZ,gBAAgB;QAChB,kBAAkB;QAClB,sBAAsB;AACtB,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;AACzC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,SAAS,CAAC;QACpE,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC,CAAC;KAC3E;SAAM,IACN,YAAY,CAAuE,MAAM,EAAE;QAC1F,WAAW;QACX,UAAU;QACV,UAAU;QACV,gBAAgB;AAChB,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;AACzC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,SAAS,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC;KACf;SAAM,IACN,YAAY,CAOV,MAAM,EAAE;QACT,mBAAmB;QACnB,WAAW;QACX,aAAa;QACb,iBAAiB;QACjB,mBAAmB;QACnB,YAAY;AACZ,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;AACzC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,SAAS,CAAC;KACpE;SAAM,IACN,YAAY,CASX,MAAM,EACN;QACC,YAAY;QACZ,eAAe;QACf,eAAe;QACf,aAAa;QACb,qBAAqB;QACrB,mBAAmB;QACnB,eAAe;AACf,KAAA,CACD,EACA;AACD,QAAA,QAAQ,GAAG,QAAQ,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAClF,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,gBAAgB,CAAC;AAC7C,QAAA,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC;QAC9B,OAAO,GAAG,IAAI,CAAC;KACf;SAAM,IAAI,YAAY,CAAwC,MAAM,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE;QACzG,GAAG,GAAG,IAAI,CAAC;QACX,GAAG,GAAG,IAAI,CAAC;QACX,OAAO,GAAG,IAAI,CAAC;KACf;SAAM;AACN,QAAA,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC;AAC9B,QAAA,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC;KAC9B;AAED,IAAA,OAAO,CAAC,OAAO,GAAGA,YAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,GAAGA,YAAI,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACxF,CAAC;AAED;AACO,MAAM,oBAAoB,GAAG,CAAC,CAAS,EAAE,GAA4C,KAC3F,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,kBAAkB,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC;AAEzG;AACO,MAAM,YAAY,GAAG,CAAC,CAAS,EAAE,GAA4C,KACnF,CAAC,GAAG,SAAS,CAAC,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC;AAEjH,SAAS,oBAAoB,CAAC,MAAc,EAAA;IAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC1D,IAAA,OAAOA,YAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,GAAG,oBAAoB,GAAG,YAAY,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAA;IAC3C,IAAI,YAAY,CAA+C,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE;QACnF,OAAOA,YAAI,CAAC,8CAA8C,CAAC,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC;KAClG;IACD,IACC,YAAY,CAMV,MAAM,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAC5B;AACD,QAAA,OAAOA,YAAI,CAAC,CAAA,OAAA,EAAU,MAAM,CAAC,UAAU,KAAK,CAAC;AAC3C,aAAA,QAAQ,CAAC,CAAiD,8CAAA,EAAA,MAAM,CAAC,UAAU,CAAA,gBAAA,CAAkB,CAAC,CAAC;KACjG;AAED,IAAA,IAAI,GAAuB,CAAC;IAC5B,IAAI,KAAK,GAAG,KAAK,CAAC;IAElB,IAAI,YAAY,CAAmC,MAAM,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE;AACxF,QAAA,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;KACpB;SAAM,IACN,YAAY,CAA8C,MAAM,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAC,EACxG;QACD,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,SAAS,CAAC,kBAAkB,CAAC;KACpD;SAAM,IAAI,YAAY,CAAwC,MAAM,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE;AACzG,QAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,EAAE;AACnC,YAAA,GAAG,GAAG,SAAS,CAAC,kBAAkB,CAAC;SACnC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,YAAY,EAAE;AAC5C,YAAA,GAAG,GAAG,SAAS,CAAC,kBAAkB,CAAC;SACnC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE;AACtC,YAAA,GAAG,GAAG,SAAS,CAAC,kBAAkB,CAAC;SACnC;aAAM;AACN,YAAA,GAAG,GAAG,SAAS,CAAC,iBAAiB,CAAC;SAClC;KACD;IAED,IACC,YAAY,CAAsD,MAAM,EAAE;QACzE,QAAQ;QACR,WAAW;QACX,iBAAiB;AACjB,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;QACpB,KAAK,GAAG,IAAI,CAAC;KACb;AAED,IAAA,OAAO,GAAG,IAAI,KAAK,GAAGA,YAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,GAAG,GAAGA,YAAI,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,GAAGA,YAAI,CAAC,MAAM,CAAC;AAC1G;;AC1RA,SAAS,UAAU,CAAC,SAAuB,EAAA;AAC1C,IAAA,OAAOC,kBAAO,CAAC,SAAS,CAAC,GAAGC,0BAAe,CAAC,SAAS,CAAC,GAAGC,gCAAqB,CAAC,SAAS,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,aAAa,CACrB,OAA4B,EAC5B,WAAgC,EAChC,UAAsB,EAAA;IAEtB,MAAM,aAAa,GAAyB,EAAE,CAAC;AAE/C,IAAA,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;AACtD,QAAA,IAAI,CAACC,aAAE,CAAC,QAAQ,EAAEC,iBAAM,CAAC,IAAI,CAACD,aAAE,CAAC,QAAQ,EAAEE,cAAG,CAAC,IAAI,CAACF,aAAE,CAAC,QAAQ,EAAEE,cAAG,CAAC,OAAO,CAAC,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE;YAC9G,MAAM,OAAO,GAAGL,kBAAO,CAAC,QAAQ,CAAC,IAAIM,iBAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC;AACxF,YAAA,aAAa,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;YAChF,SAAS;SACT;AAED,QAAA,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,IACC,UAAU,KAAK,SAAS;AACrB,gBAAC,OAAO,UAAU,KAAK,UAAU,KAAK,OAAO,UAAU,KAAK,UAAU,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,EACjH;AACD,YAAA,aAAa,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;YAChC,SAAS;SACT;AAED,QAAA,MAAM,MAAM,GAAGH,aAAE,CAAC,QAAQ,EAAEC,iBAAM,CAAC,GAAG,QAAQ,GAAG,SAAS,CAAC;AAC3D,QAAA,MAAM,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,GAAGL,YAAI,CAAC,OAAO,CAAC;AAC9D,QAAA,MAAM,OAAO,GAAG,OAAO,UAAU,KAAK,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;AAE/E,QAAA,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;YAC7B,SAAS;SACT;aAAM;AACN,YAAA,aAAa,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;SAC7B;QAED,IAAI,MAAM,EAAE;AACX,YAAA,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;AAChC,gBAAA,aAAa,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAE,CAAC,EAAE,CAACA,YAAI,CAAC,IAAI,CAAC,CAAC;aACvD;AAED,YAAA,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;gBAChC,aAAa,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAE,CAAC,QAAQ,EAAS,CAAC;aAC3D;SACD;KACD;AAED,IAAA,OAAOA,YAAI,CAAC,aAAa,CAAC,CAAC;AAC5B,CAAC;AAEY,MAAA,kBAAkB,IAAI,CAClC,MAAoD,EACpD,MAA4B,KACzB;AACH,IAAA,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE;QACrB,OAAOA,YAAI,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;KAC7C;AACD,IAAA,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AACnC,IAAA,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE;AAC3C,QAAA,KAAK,EAAE,MAAM,KAAK;AAClB,QAAA,QAAQ,EAAE,MAAM,KAAK;QACrB,QAAQ,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,OAAO;AACrC,KAAA,CAAQ,CAAC;AACX,CAAC,EAAwB;AAEZ,MAAA,kBAAkB,IAAI,CAClC,MAAa,EACb,MAA4B,KACzB;AACH,IAAA,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AACnC,IAAA,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE;QAC3C,KAAK,EAAE,CAAC,MAAM,KAAK,MAAM,EAAE,SAAS,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,EAAE,iBAAiB,EAAE,IAAI,KAAK,QAAQ;AACvG,QAAA,QAAQ,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC;QAC9E,QAAQ,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,OAAO;AACrC,KAAA,CAAQ,CAAC;AACX,CAAC,EAAwB;AAEZ,MAAA,kBAAkB,IAAI,CAClC,MAAa,EACb,MAA4B,KACzB;AACH,IAAA,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AACnC,IAAA,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE;QAC3C,KAAK,EAAE,CAAC,MAAM,KAAK,MAAM,EAAE,SAAS,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,EAAE,iBAAiB,EAAE,IAAI,KAAK,QAAQ;AACvG,QAAA,QAAQ,EAAE,MAAM,IAAI;QACpB,QAAQ,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,OAAO;AACrC,KAAA,CAAQ,CAAC;AACX,CAAC;;;;;;;;;;;;"}

package/index.d.cts

@@ -0,0 +1,7 @@
+export { bufferSchema, jsonSchema, literalSchema } from "./column.cjs";
+export * from "./column.types.cjs";
+export * from "./schema.cjs";
+export type { BuildSchema } from "./schema.types.internal.cjs";
+export * from "./schema.types.internal.cjs";
+export * from "./schema.types.cjs";
+export * from "./utils.cjs";

package/index.d.mts

@@ -0,0 +1,7 @@
+export { bufferSchema, jsonSchema, literalSchema } from "./column.mjs";
+export * from "./column.types.mjs";
+export * from "./schema.mjs";
+export type { BuildSchema } from "./schema.types.internal.mjs";
+export * from "./schema.types.internal.mjs";
+export * from "./schema.types.mjs";
+export * from "./utils.mjs";

package/index.d.ts

@@ -0,0 +1,7 @@
+export { bufferSchema, jsonSchema, literalSchema } from './column.js';
+export * from './column.types.js';
+export * from './schema.js';
+export type { BuildSchema } from './schema.types.internal.js';
+export * from './schema.types.internal.js';
+export * from './schema.types.js';
+export * from './utils.js';

package/index.mjs

@@ -0,0 +1,296 @@
+import { type } from 'arktype';
+import { isTable, getTableColumns, getViewSelectedFields, is, Column, SQL, isView } from 'drizzle-orm';
+
+const CONSTANTS = {
+    INT8_MIN: -128,
+    INT8_MAX: 127,
+    INT8_UNSIGNED_MAX: 255,
+    INT16_MIN: -32768,
+    INT16_MAX: 32767,
+    INT16_UNSIGNED_MAX: 65535,
+    INT24_MIN: -8388608,
+    INT24_MAX: 8388607,
+    INT24_UNSIGNED_MAX: 16777215,
+    INT32_MIN: -2147483648,
+    INT32_MAX: 2147483647,
+    INT32_UNSIGNED_MAX: 4294967295,
+    INT48_MIN: -140737488355328,
+    INT48_MAX: 140737488355327,
+    INT48_UNSIGNED_MAX: 281474976710655,
+    INT64_MIN: -9223372036854775808n,
+    INT64_MAX: 9223372036854775807n,
+    INT64_UNSIGNED_MAX: 18446744073709551615n,
+};
+
+function isColumnType(column, columnTypes) {
+    return columnTypes.includes(column.columnType);
+}
+function isWithEnum(column) {
+    return 'enumValues' in column && Array.isArray(column.enumValues) && column.enumValues.length > 0;
+}
+const isPgEnum = isWithEnum;
+
+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.instanceOf(Buffer); // eslint-disable-line no-instanceof/no-instanceof
+function columnToSchema(column) {
+    let schema;
+    if (isWithEnum(column)) {
+        schema = column.enumValues.length ? type.enumerated(...column.enumValues) : type.string;
+    }
+    if (!schema) {
+        // Handle specific types
+        if (isColumnType(column, ['PgGeometry', 'PgPointTuple'])) {
+            schema = type([type.number, type.number]);
+        }
+        else if (isColumnType(column, ['PgGeometryObject', 'PgPointObject'])) {
+            schema = type({
+                x: type.number,
+                y: type.number,
+            });
+        }
+        else if (isColumnType(column, ['PgHalfVector', 'PgVector'])) {
+            schema = column.dimensions
+                ? type.number.array().exactlyLength(column.dimensions)
+                : type.number.array();
+        }
+        else if (isColumnType(column, ['PgLine'])) {
+            schema = type([type.number, type.number, type.number]);
+        }
+        else if (isColumnType(column, ['PgLineABC'])) {
+            schema = type({
+                a: type.number,
+                b: type.number,
+                c: type.number,
+            });
+        } // Handle other types
+        else if (isColumnType(column, ['PgArray'])) {
+            const arraySchema = columnToSchema(column.baseColumn).array();
+            schema = column.size ? arraySchema.exactlyLength(column.size) : arraySchema;
+        }
+        else if (column.dataType === 'array') {
+            schema = type.unknown.array();
+        }
+        else if (column.dataType === 'number') {
+            schema = numberColumnToSchema(column);
+        }
+        else if (column.dataType === 'bigint') {
+            schema = bigintColumnToSchema(column);
+        }
+        else if (column.dataType === 'boolean') {
+            schema = type.boolean;
+        }
+        else if (column.dataType === 'date') {
+            schema = type.Date;
+        }
+        else if (column.dataType === 'string') {
+            schema = stringColumnToSchema(column);
+        }
+        else if (column.dataType === 'json') {
+            schema = jsonSchema;
+        }
+        else if (column.dataType === 'custom') {
+            schema = type.unknown;
+        }
+        else if (column.dataType === 'buffer') {
+            schema = bufferSchema;
+        }
+    }
+    if (!schema) {
+        schema = type.unknown;
+    }
+    return schema;
+}
+function numberColumnToSchema(column) {
+    let unsigned = column.getSQLType().includes('unsigned');
+    let min;
+    let max;
+    let integer = false;
+    if (isColumnType(column, ['MySqlTinyInt', 'SingleStoreTinyInt'])) {
+        min = unsigned ? 0 : CONSTANTS.INT8_MIN;
+        max = unsigned ? CONSTANTS.INT8_UNSIGNED_MAX : CONSTANTS.INT8_MAX;
+        integer = true;
+    }
+    else if (isColumnType(column, [
+        'PgSmallInt',
+        'PgSmallSerial',
+        'MySqlSmallInt',
+        'SingleStoreSmallInt',
+    ])) {
+        min = unsigned ? 0 : CONSTANTS.INT16_MIN;
+        max = unsigned ? CONSTANTS.INT16_UNSIGNED_MAX : CONSTANTS.INT16_MAX;
+        integer = true;
+    }
+    else if (isColumnType(column, [
+        'PgReal',
+        'MySqlFloat',
+        'MySqlMediumInt',
+        'SingleStoreFloat',
+        'SingleStoreMediumInt',
+    ])) {
+        min = unsigned ? 0 : CONSTANTS.INT24_MIN;
+        max = unsigned ? CONSTANTS.INT24_UNSIGNED_MAX : CONSTANTS.INT24_MAX;
+        integer = isColumnType(column, ['MySqlMediumInt', 'SingleStoreMediumInt']);
+    }
+    else if (isColumnType(column, [
+        'PgInteger',
+        'PgSerial',
+        'MySqlInt',
+        'SingleStoreInt',
+    ])) {
+        min = unsigned ? 0 : CONSTANTS.INT32_MIN;
+        max = unsigned ? CONSTANTS.INT32_UNSIGNED_MAX : CONSTANTS.INT32_MAX;
+        integer = true;
+    }
+    else if (isColumnType(column, [
+        'PgDoublePrecision',
+        'MySqlReal',
+        'MySqlDouble',
+        'SingleStoreReal',
+        'SingleStoreDouble',
+        'SQLiteReal',
+    ])) {
+        min = unsigned ? 0 : CONSTANTS.INT48_MIN;
+        max = unsigned ? CONSTANTS.INT48_UNSIGNED_MAX : CONSTANTS.INT48_MAX;
+    }
+    else if (isColumnType(column, [
+        'PgBigInt53',
+        'PgBigSerial53',
+        'MySqlBigInt53',
+        'MySqlSerial',
+        'SingleStoreBigInt53',
+        'SingleStoreSerial',
+        'SQLiteInteger',
+    ])) {
+        unsigned = unsigned || isColumnType(column, ['MySqlSerial', 'SingleStoreSerial']);
+        min = unsigned ? 0 : Number.MIN_SAFE_INTEGER;
+        max = Number.MAX_SAFE_INTEGER;
+        integer = true;
+    }
+    else if (isColumnType(column, ['MySqlYear', 'SingleStoreYear'])) {
+        min = 1901;
+        max = 2155;
+        integer = true;
+    }
+    else {
+        min = Number.MIN_SAFE_INTEGER;
+        max = Number.MAX_SAFE_INTEGER;
+    }
+    return (integer ? type.keywords.number.integer : type.number).atLeast(min).atMost(max);
+}
+/** @internal */
+const unsignedBigintNarrow = (v, ctx) => v < 0n ? ctx.mustBe('greater than') : v > CONSTANTS.INT64_UNSIGNED_MAX ? ctx.mustBe('less than') : true;
+/** @internal */
+const bigintNarrow = (v, ctx) => v < CONSTANTS.INT64_MIN ? ctx.mustBe('greater than') : v > CONSTANTS.INT64_MAX ? ctx.mustBe('less than') : true;
+function bigintColumnToSchema(column) {
+    const unsigned = column.getSQLType().includes('unsigned');
+    return type.bigint.narrow(unsigned ? unsignedBigintNarrow : bigintNarrow);
+}
+function stringColumnToSchema(column) {
+    if (isColumnType(column, ['PgUUID'])) {
+        return type(/^[\da-f]{8}(?:-[\da-f]{4}){3}-[\da-f]{12}$/iu).describe('a RFC-4122-compliant UUID');
+    }
+    if (isColumnType(column, ['PgBinaryVector'])) {
+        return type(`/^[01]{${column.dimensions}}$/`)
+            .describe(`a string containing ones or zeros while being ${column.dimensions} characters long`);
+    }
+    let max;
+    let fixed = false;
+    if (isColumnType(column, ['PgVarchar', 'SQLiteText'])) {
+        max = column.length;
+    }
+    else if (isColumnType(column, ['MySqlVarChar', 'SingleStoreVarChar'])) {
+        max = column.length ?? CONSTANTS.INT16_UNSIGNED_MAX;
+    }
+    else if (isColumnType(column, ['MySqlText', 'SingleStoreText'])) {
+        if (column.textType === 'longtext') {
+            max = CONSTANTS.INT32_UNSIGNED_MAX;
+        }
+        else if (column.textType === 'mediumtext') {
+            max = CONSTANTS.INT24_UNSIGNED_MAX;
+        }
+        else if (column.textType === 'text') {
+            max = CONSTANTS.INT16_UNSIGNED_MAX;
+        }
+        else {
+            max = CONSTANTS.INT8_UNSIGNED_MAX;
+        }
+    }
+    if (isColumnType(column, [
+        'PgChar',
+        'MySqlChar',
+        'SingleStoreChar',
+    ])) {
+        max = column.length;
+        fixed = true;
+    }
+    return max && fixed ? type.string.exactlyLength(max) : max ? type.string.atMostLength(max) : type.string;
+}
+
+function getColumns(tableLike) {
+    return isTable(tableLike) ? getTableColumns(tableLike) : getViewSelectedFields(tableLike);
+}
+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') {
+            const columns = isTable(selected) || isView(selected) ? getColumns(selected) : selected;
+            columnSchemas[key] = handleColumns(columns, refinements[key] ?? {}, conditions);
+            continue;
+        }
+        const refinement = refinements[key];
+        if (refinement !== undefined
+            && (typeof refinement !== 'function' || (typeof refinement === 'function' && refinement.expression !== undefined))) {
+            columnSchemas[key] = refinement;
+            continue;
+        }
+        const column = is(selected, Column) ? selected : undefined;
+        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 (isPgEnum(entity)) {
+        return type.enumerated(...entity.enumValues);
+    }
+    const columns = getColumns(entity);
+    return handleColumns(columns, refine ?? {}, {
+        never: () => false,
+        optional: () => false,
+        nullable: (column) => !column.notNull,
+    });
+});
+const createInsertSchema = ((entity, refine) => {
+    const columns = getColumns(entity);
+    return handleColumns(columns, refine ?? {}, {
+        never: (column) => column?.generated?.type === 'always' || column?.generatedIdentity?.type === 'always',
+        optional: (column) => !column.notNull || (column.notNull && column.hasDefault),
+        nullable: (column) => !column.notNull,
+    });
+});
+const createUpdateSchema = ((entity, refine) => {
+    const columns = getColumns(entity);
+    return handleColumns(columns, refine ?? {}, {
+        never: (column) => column?.generated?.type === 'always' || column?.generatedIdentity?.type === 'always',
+        optional: () => true,
+        nullable: (column) => !column.notNull,
+    });
+});
+
+export { bufferSchema, createInsertSchema, createSelectSchema, createUpdateSchema, isColumnType, isPgEnum, isWithEnum, jsonSchema, literalSchema };
+//# sourceMappingURL=index.mjs.map

package/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","sources":["../src/constants.ts","../src/utils.ts","../src/column.ts","../src/schema.ts"],"sourcesContent":[null,null,null,null],"names":[],"mappings":";;;AAAO,MAAM,SAAS,GAAG;IACxB,QAAQ,EAAE,CAAC,GAAG;AACd,IAAA,QAAQ,EAAE,GAAG;AACb,IAAA,iBAAiB,EAAE,GAAG;IACtB,SAAS,EAAE,CAAC,KAAK;AACjB,IAAA,SAAS,EAAE,KAAK;AAChB,IAAA,kBAAkB,EAAE,KAAK;IACzB,SAAS,EAAE,CAAC,OAAO;AACnB,IAAA,SAAS,EAAE,OAAO;AAClB,IAAA,kBAAkB,EAAE,QAAQ;IAC5B,SAAS,EAAE,CAAC,UAAU;AACtB,IAAA,SAAS,EAAE,UAAU;AACrB,IAAA,kBAAkB,EAAE,UAAU;IAC9B,SAAS,EAAE,CAAC,eAAe;AAC3B,IAAA,SAAS,EAAE,eAAe;AAC1B,IAAA,kBAAkB,EAAE,eAAe;IACnC,SAAS,EAAE,CAAC,oBAAoB;AAChC,IAAA,SAAS,EAAE,oBAAoB;AAC/B,IAAA,kBAAkB,EAAE,qBAAqB;CACzC;;ACde,SAAA,YAAY,CAAmB,MAAc,EAAE,WAAqB,EAAA;IACnF,OAAO,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AAChD,CAAC;AAEK,SAAU,UAAU,CAAC,MAAc,EAAA;IACxC,OAAO,YAAY,IAAI,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;AACnG,CAAC;AAEM,MAAM,QAAQ,GAA6D;;AC8C3E,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;AACjF,MAAM,UAAU,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAuB,EAAE;AAC9G,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;AAE9C,SAAU,cAAc,CAAC,MAAc,EAAA;AAC5C,IAAA,IAAI,MAAa,CAAC;AAElB,IAAA,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE;QACvB,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;KACxF;IAED,IAAI,CAAC,MAAM,EAAE;;QAEZ,IAAI,YAAY,CAAsC,MAAM,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC,EAAE;AAC9F,YAAA,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;SAC1C;aAAM,IACN,YAAY,CAA6C,MAAM,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC,CAAC,EACtG;YACD,MAAM,GAAG,IAAI,CAAC;gBACb,CAAC,EAAE,IAAI,CAAC,MAAM;gBACd,CAAC,EAAE,IAAI,CAAC,MAAM;AACd,aAAA,CAAC,CAAC;SACH;aAAM,IAAI,YAAY,CAAoC,MAAM,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,EAAE;YACjG,MAAM,GAAG,MAAM,CAAC,UAAU;AACzB,kBAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC;AACtD,kBAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;SACvB;aAAM,IAAI,YAAY,CAAmB,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE;AAC9D,YAAA,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;SACvD;aAAM,IAAI,YAAY,CAAiB,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE;YAC/D,MAAM,GAAG,IAAI,CAAC;gBACb,CAAC,EAAE,IAAI,CAAC,MAAM;gBACd,CAAC,EAAE,IAAI,CAAC,MAAM;gBACd,CAAC,EAAE,IAAI,CAAC,MAAM;AACd,aAAA,CAAC,CAAC;AACJ,SAAC;aACI,IAAI,YAAY,CAAoB,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE;YAC9D,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC;AAC9D,YAAA,MAAM,GAAG,MAAM,CAAC,IAAI,GAAG,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC;SAC5E;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,EAAE;AACvC,YAAA,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;SAC9B;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;AACxC,YAAA,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;SACtC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;AACxC,YAAA,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;SACtC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE;AACzC,YAAA,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;SACtB;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE;AACtC,YAAA,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;SACnB;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;AACxC,YAAA,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;SACtC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE;YACtC,MAAM,GAAG,UAAU,CAAC;SACpB;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;AACxC,YAAA,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;SACtB;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE;YACxC,MAAM,GAAG,YAAY,CAAC;SACtB;KACD;IAED,IAAI,CAAC,MAAM,EAAE;AACZ,QAAA,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;KACtB;AAED,IAAA,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAA;IAC3C,IAAI,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AACxD,IAAA,IAAI,GAAY,CAAC;AACjB,IAAA,IAAI,GAAY,CAAC;IACjB,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,IAAI,YAAY,CAA8C,MAAM,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAC,EAAE;AAC9G,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;AACxC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,iBAAiB,GAAG,SAAS,CAAC,QAAQ,CAAC;QAClE,OAAO,GAAG,IAAI,CAAC;KACf;SAAM,IACN,YAAY,CAAuF,MAAM,EAAE;QAC1G,YAAY;QACZ,eAAe;QACf,eAAe;QACf,qBAAqB;AACrB,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;AACzC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,SAAS,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC;KACf;SAAM,IACN,YAAY,CAEV,MAAM,EAAE;QACT,QAAQ;QACR,YAAY;QACZ,gBAAgB;QAChB,kBAAkB;QAClB,sBAAsB;AACtB,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;AACzC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,SAAS,CAAC;QACpE,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC,CAAC;KAC3E;SAAM,IACN,YAAY,CAAuE,MAAM,EAAE;QAC1F,WAAW;QACX,UAAU;QACV,UAAU;QACV,gBAAgB;AAChB,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;AACzC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,SAAS,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC;KACf;SAAM,IACN,YAAY,CAOV,MAAM,EAAE;QACT,mBAAmB;QACnB,WAAW;QACX,aAAa;QACb,iBAAiB;QACjB,mBAAmB;QACnB,YAAY;AACZ,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;AACzC,QAAA,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,SAAS,CAAC;KACpE;SAAM,IACN,YAAY,CASX,MAAM,EACN;QACC,YAAY;QACZ,eAAe;QACf,eAAe;QACf,aAAa;QACb,qBAAqB;QACrB,mBAAmB;QACnB,eAAe;AACf,KAAA,CACD,EACA;AACD,QAAA,QAAQ,GAAG,QAAQ,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAClF,QAAA,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,gBAAgB,CAAC;AAC7C,QAAA,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC;QAC9B,OAAO,GAAG,IAAI,CAAC;KACf;SAAM,IAAI,YAAY,CAAwC,MAAM,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE;QACzG,GAAG,GAAG,IAAI,CAAC;QACX,GAAG,GAAG,IAAI,CAAC;QACX,OAAO,GAAG,IAAI,CAAC;KACf;SAAM;AACN,QAAA,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC;AAC9B,QAAA,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC;KAC9B;AAED,IAAA,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACxF,CAAC;AAED;AACO,MAAM,oBAAoB,GAAG,CAAC,CAAS,EAAE,GAA4C,KAC3F,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,kBAAkB,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC;AAEzG;AACO,MAAM,YAAY,GAAG,CAAC,CAAS,EAAE,GAA4C,KACnF,CAAC,GAAG,SAAS,CAAC,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC;AAEjH,SAAS,oBAAoB,CAAC,MAAc,EAAA;IAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC1D,IAAA,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,GAAG,oBAAoB,GAAG,YAAY,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAA;IAC3C,IAAI,YAAY,CAA+C,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE;QACnF,OAAO,IAAI,CAAC,8CAA8C,CAAC,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC;KAClG;IACD,IACC,YAAY,CAMV,MAAM,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAC5B;AACD,QAAA,OAAO,IAAI,CAAC,CAAA,OAAA,EAAU,MAAM,CAAC,UAAU,KAAK,CAAC;AAC3C,aAAA,QAAQ,CAAC,CAAiD,8CAAA,EAAA,MAAM,CAAC,UAAU,CAAA,gBAAA,CAAkB,CAAC,CAAC;KACjG;AAED,IAAA,IAAI,GAAuB,CAAC;IAC5B,IAAI,KAAK,GAAG,KAAK,CAAC;IAElB,IAAI,YAAY,CAAmC,MAAM,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE;AACxF,QAAA,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;KACpB;SAAM,IACN,YAAY,CAA8C,MAAM,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAC,EACxG;QACD,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,SAAS,CAAC,kBAAkB,CAAC;KACpD;SAAM,IAAI,YAAY,CAAwC,MAAM,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE;AACzG,QAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,EAAE;AACnC,YAAA,GAAG,GAAG,SAAS,CAAC,kBAAkB,CAAC;SACnC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,YAAY,EAAE;AAC5C,YAAA,GAAG,GAAG,SAAS,CAAC,kBAAkB,CAAC;SACnC;AAAM,aAAA,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE;AACtC,YAAA,GAAG,GAAG,SAAS,CAAC,kBAAkB,CAAC;SACnC;aAAM;AACN,YAAA,GAAG,GAAG,SAAS,CAAC,iBAAiB,CAAC;SAClC;KACD;IAED,IACC,YAAY,CAAsD,MAAM,EAAE;QACzE,QAAQ;QACR,WAAW;QACX,iBAAiB;AACjB,KAAA,CAAC,EACD;AACD,QAAA,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;QACpB,KAAK,GAAG,IAAI,CAAC;KACb;AAED,IAAA,OAAO,GAAG,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;AAC1G;;AC1RA,SAAS,UAAU,CAAC,SAAuB,EAAA;AAC1C,IAAA,OAAO,OAAO,CAAC,SAAS,CAAC,GAAG,eAAe,CAAC,SAAS,CAAC,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,aAAa,CACrB,OAA4B,EAC5B,WAAgC,EAChC,UAAsB,EAAA;IAEtB,MAAM,aAAa,GAAyB,EAAE,CAAC;AAE/C,IAAA,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;AACtD,QAAA,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE;YAC9G,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC;AACxF,YAAA,aAAa,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;YAChF,SAAS;SACT;AAED,QAAA,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,IACC,UAAU,KAAK,SAAS;AACrB,gBAAC,OAAO,UAAU,KAAK,UAAU,KAAK,OAAO,UAAU,KAAK,UAAU,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,EACjH;AACD,YAAA,aAAa,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;YAChC,SAAS;SACT;AAED,QAAA,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,QAAQ,GAAG,SAAS,CAAC;AAC3D,QAAA,MAAM,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;AAC9D,QAAA,MAAM,OAAO,GAAG,OAAO,UAAU,KAAK,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;AAE/E,QAAA,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;YAC7B,SAAS;SACT;aAAM;AACN,YAAA,aAAa,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;SAC7B;QAED,IAAI,MAAM,EAAE;AACX,YAAA,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;AAChC,gBAAA,aAAa,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACvD;AAED,YAAA,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;gBAChC,aAAa,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAE,CAAC,QAAQ,EAAS,CAAC;aAC3D;SACD;KACD;AAED,IAAA,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;AAC5B,CAAC;AAEY,MAAA,kBAAkB,IAAI,CAClC,MAAoD,EACpD,MAA4B,KACzB;AACH,IAAA,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE;QACrB,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;KAC7C;AACD,IAAA,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AACnC,IAAA,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE;AAC3C,QAAA,KAAK,EAAE,MAAM,KAAK;AAClB,QAAA,QAAQ,EAAE,MAAM,KAAK;QACrB,QAAQ,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,OAAO;AACrC,KAAA,CAAQ,CAAC;AACX,CAAC,EAAwB;AAEZ,MAAA,kBAAkB,IAAI,CAClC,MAAa,EACb,MAA4B,KACzB;AACH,IAAA,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AACnC,IAAA,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE;QAC3C,KAAK,EAAE,CAAC,MAAM,KAAK,MAAM,EAAE,SAAS,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,EAAE,iBAAiB,EAAE,IAAI,KAAK,QAAQ;AACvG,QAAA,QAAQ,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC;QAC9E,QAAQ,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,OAAO;AACrC,KAAA,CAAQ,CAAC;AACX,CAAC,EAAwB;AAEZ,MAAA,kBAAkB,IAAI,CAClC,MAAa,EACb,MAA4B,KACzB;AACH,IAAA,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AACnC,IAAA,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE;QAC3C,KAAK,EAAE,CAAC,MAAM,KAAK,MAAM,EAAE,SAAS,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,EAAE,iBAAiB,EAAE,IAAI,KAAK,QAAQ;AACvG,QAAA,QAAQ,EAAE,MAAM,IAAI;QACpB,QAAQ,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,OAAO;AACrC,KAAA,CAAQ,CAAC;AACX,CAAC;;;;"}

package/package.json

@@ -0,0 +1,74 @@
+{
+	"name": "drizzle-arktype",
+	"version": "0.1.0",
+	"description": "Generate arktype schemas from Drizzle ORM schemas",
+	"type": "module",
+	"scripts": {
+		"build": "tsx scripts/build.ts",
+		"b": "pnpm build",
+		"test:types": "cd tests && tsc",
+		"pack": "(cd dist && npm pack --pack-destination ..) && rm -f package.tgz && mv *.tgz package.tgz",
+		"publish": "npm publish package.tgz",
+		"test": "vitest run"
+	},
+	"exports": {
+		".": {
+			"import": {
+				"types": "./index.d.mts",
+				"default": "./index.mjs"
+			},
+			"require": {
+				"types": "./index.d.cjs",
+				"default": "./index.cjs"
+			},
+			"types": "./index.d.ts",
+			"default": "./index.mjs"
+		}
+	},
+	"main": "./index.cjs",
+	"module": "./index.mjs",
+	"types": "./index.d.ts",
+	"publishConfig": {
+		"provenance": true
+	},
+	"repository": {
+		"type": "git",
+		"url": "git+https://github.com/drizzle-team/drizzle-orm.git"
+	},
+	"keywords": [
+		"arktype",
+		"validate",
+		"validation",
+		"schema",
+		"drizzle",
+		"orm",
+		"pg",
+		"mysql",
+		"postgresql",
+		"postgres",
+		"sqlite",
+		"database",
+		"sql",
+		"typescript",
+		"ts"
+	],
+	"author": "Drizzle Team",
+	"license": "Apache-2.0",
+	"peerDependencies": {
+		"arktype": ">=2.0.0",
+		"drizzle-orm": ">=0.36.0"
+	},
+	"devDependencies": {
+		"@rollup/plugin-typescript": "^11.1.0",
+		"@types/node": "^18.15.10",
+		"arktype": "^2.1.10",
+		"cpy": "^10.1.0",
+		"drizzle-orm": "link:../drizzle-orm/dist",
+		"json-rules-engine": "7.3.0",
+		"rimraf": "^5.0.0",
+		"rollup": "^3.20.7",
+		"vite-tsconfig-paths": "^4.3.2",
+		"vitest": "^1.6.0",
+		"zx": "^7.2.2"
+	}
+}

package/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/schema.d.mts

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

package/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/schema.types.d.cts

@@ -0,0 +1,19 @@
+import type { Type } from 'arktype';
+import type { Table, View } from 'drizzle-orm';
+import type { PgEnum } from 'drizzle-orm/pg-core';
+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, TTable['$inferSelect']>): 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>>(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 TTable['$inferInsert']>>>(table: TTable, refine?: NoUnknownKeys<TRefine, TTable['$inferInsert']>): 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 TTable['$inferInsert']>>>(table: TTable, refine?: TRefine): BuildSchema<'update', TTable['_']['columns'], TRefine>;
+}

package/schema.types.d.mts

@@ -0,0 +1,19 @@
+import type { Type } from 'arktype';
+import type { Table, View } from 'drizzle-orm';
+import type { PgEnum } from 'drizzle-orm/pg-core';
+import type { BuildRefine, BuildSchema, NoUnknownKeys } from "./schema.types.internal.mjs";
+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, TTable['$inferSelect']>): 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>>(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 TTable['$inferInsert']>>>(table: TTable, refine?: NoUnknownKeys<TRefine, TTable['$inferInsert']>): 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 TTable['$inferInsert']>>>(table: TTable, refine?: TRefine): BuildSchema<'update', TTable['_']['columns'], TRefine>;
+}

package/schema.types.d.ts

@@ -0,0 +1,19 @@
+import type { Type } from 'arktype';
+import type { Table, View } from 'drizzle-orm';
+import type { PgEnum } from 'drizzle-orm/pg-core';
+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, TTable['$inferSelect']>): 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>>(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 TTable['$inferInsert']>>>(table: TTable, refine?: NoUnknownKeys<TRefine, TTable['$inferInsert']>): 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 TTable['$inferInsert']>>>(table: TTable, refine?: TRefine): BuildSchema<'update', TTable['_']['columns'], TRefine>;
+}

package/schema.types.internal.d.cts

@@ -0,0 +1,25 @@
+import type { Type, type } from 'arktype';
+import type { Assume, Column, DrizzleTypeError, SelectedFieldsFlat, Simplify, Table, View } from 'drizzle-orm';
+import type { ArktypeNullable, ArktypeOptional, GetArktypeType, GetEnumValuesFromColumn, HandleColumn } from "./column.types.cjs";
+import type { GetSelection, RemoveNever } from "./utils.cjs";
+export interface Conditions {
+    never: (column?: Column) => boolean;
+    optional: (column: Column) => boolean;
+    nullable: (column: Column) => boolean;
+}
+type GenericSchema = type.cast<unknown> | [type.cast<unknown>, '?'];
+export type BuildRefineColumns<TColumns extends Record<string, any>> = Simplify<RemoveNever<{
+    [K in keyof TColumns]: TColumns[K] extends infer TColumn extends Column ? GetArktypeType<TColumn['_']['data'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>> extends infer TSchema extends GenericSchema ? TSchema : Type<any, {}> : TColumns[K] extends infer TObject extends SelectedFieldsFlat<Column> | Table | View ? BuildRefineColumns<GetSelection<TObject>> : TColumns[K];
+}>>;
+export type BuildRefine<TColumns extends Record<string, any>> = BuildRefineColumns<TColumns> extends infer TBuildColumns ? {
+    [K in keyof TBuildColumns]?: TBuildColumns[K] extends GenericSchema ? ((schema: TBuildColumns[K]) => GenericSchema) | GenericSchema : TBuildColumns[K] extends Record<string, any> ? Simplify<BuildRefine<TBuildColumns[K]>> : never;
+} : never;
+type HandleRefinement<TType extends 'select' | 'insert' | 'update', TRefinement extends GenericSchema | ((schema: GenericSchema) => GenericSchema), 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, TKey extends string> = TKey extends keyof TRefinements ? 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<RemoveNever<{
+    readonly [K in keyof TColumns]: TColumns[K] extends infer TColumn extends Column ? TRefinements extends object ? IsRefinementDefined<TRefinements, Assume<K, string>> extends true ? HandleRefinement<TType, TRefinements[Assume<K, keyof TRefinements>], TColumn> : HandleColumn<TType, TColumn> : HandleColumn<TType, TColumn> : TColumns[K] extends infer TObject extends SelectedFieldsFlat<Column> | Table | View ? BuildSchema<TType, GetSelection<TObject>, TRefinements extends object ? TRefinements[Assume<K, keyof TRefinements>] extends infer TNestedRefinements extends object ? TNestedRefinements : undefined : 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/schema.types.internal.d.mts

@@ -0,0 +1,25 @@
+import type { Type, type } from 'arktype';
+import type { Assume, Column, DrizzleTypeError, SelectedFieldsFlat, Simplify, Table, View } from 'drizzle-orm';
+import type { ArktypeNullable, ArktypeOptional, GetArktypeType, GetEnumValuesFromColumn, HandleColumn } from "./column.types.mjs";
+import type { GetSelection, RemoveNever } from "./utils.mjs";
+export interface Conditions {
+    never: (column?: Column) => boolean;
+    optional: (column: Column) => boolean;
+    nullable: (column: Column) => boolean;
+}
+type GenericSchema = type.cast<unknown> | [type.cast<unknown>, '?'];
+export type BuildRefineColumns<TColumns extends Record<string, any>> = Simplify<RemoveNever<{
+    [K in keyof TColumns]: TColumns[K] extends infer TColumn extends Column ? GetArktypeType<TColumn['_']['data'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>> extends infer TSchema extends GenericSchema ? TSchema : Type<any, {}> : TColumns[K] extends infer TObject extends SelectedFieldsFlat<Column> | Table | View ? BuildRefineColumns<GetSelection<TObject>> : TColumns[K];
+}>>;
+export type BuildRefine<TColumns extends Record<string, any>> = BuildRefineColumns<TColumns> extends infer TBuildColumns ? {
+    [K in keyof TBuildColumns]?: TBuildColumns[K] extends GenericSchema ? ((schema: TBuildColumns[K]) => GenericSchema) | GenericSchema : TBuildColumns[K] extends Record<string, any> ? Simplify<BuildRefine<TBuildColumns[K]>> : never;
+} : never;
+type HandleRefinement<TType extends 'select' | 'insert' | 'update', TRefinement extends GenericSchema | ((schema: GenericSchema) => GenericSchema), 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, TKey extends string> = TKey extends keyof TRefinements ? 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<RemoveNever<{
+    readonly [K in keyof TColumns]: TColumns[K] extends infer TColumn extends Column ? TRefinements extends object ? IsRefinementDefined<TRefinements, Assume<K, string>> extends true ? HandleRefinement<TType, TRefinements[Assume<K, keyof TRefinements>], TColumn> : HandleColumn<TType, TColumn> : HandleColumn<TType, TColumn> : TColumns[K] extends infer TObject extends SelectedFieldsFlat<Column> | Table | View ? BuildSchema<TType, GetSelection<TObject>, TRefinements extends object ? TRefinements[Assume<K, keyof TRefinements>] extends infer TNestedRefinements extends object ? TNestedRefinements : undefined : 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/schema.types.internal.d.ts

@@ -0,0 +1,25 @@
+import type { Type, type } from 'arktype';
+import type { Assume, Column, DrizzleTypeError, SelectedFieldsFlat, Simplify, Table, View } from 'drizzle-orm';
+import type { ArktypeNullable, ArktypeOptional, GetArktypeType, GetEnumValuesFromColumn, HandleColumn } from './column.types.js';
+import type { GetSelection, RemoveNever } from './utils.js';
+export interface Conditions {
+    never: (column?: Column) => boolean;
+    optional: (column: Column) => boolean;
+    nullable: (column: Column) => boolean;
+}
+type GenericSchema = type.cast<unknown> | [type.cast<unknown>, '?'];
+export type BuildRefineColumns<TColumns extends Record<string, any>> = Simplify<RemoveNever<{
+    [K in keyof TColumns]: TColumns[K] extends infer TColumn extends Column ? GetArktypeType<TColumn['_']['data'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>> extends infer TSchema extends GenericSchema ? TSchema : Type<any, {}> : TColumns[K] extends infer TObject extends SelectedFieldsFlat<Column> | Table | View ? BuildRefineColumns<GetSelection<TObject>> : TColumns[K];
+}>>;
+export type BuildRefine<TColumns extends Record<string, any>> = BuildRefineColumns<TColumns> extends infer TBuildColumns ? {
+    [K in keyof TBuildColumns]?: TBuildColumns[K] extends GenericSchema ? ((schema: TBuildColumns[K]) => GenericSchema) | GenericSchema : TBuildColumns[K] extends Record<string, any> ? Simplify<BuildRefine<TBuildColumns[K]>> : never;
+} : never;
+type HandleRefinement<TType extends 'select' | 'insert' | 'update', TRefinement extends GenericSchema | ((schema: GenericSchema) => GenericSchema), 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, TKey extends string> = TKey extends keyof TRefinements ? 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<RemoveNever<{
+    readonly [K in keyof TColumns]: TColumns[K] extends infer TColumn extends Column ? TRefinements extends object ? IsRefinementDefined<TRefinements, Assume<K, string>> extends true ? HandleRefinement<TType, TRefinements[Assume<K, keyof TRefinements>], TColumn> : HandleColumn<TType, TColumn> : HandleColumn<TType, TColumn> : TColumns[K] extends infer TObject extends SelectedFieldsFlat<Column> | Table | View ? BuildSchema<TType, GetSelection<TObject>, TRefinements extends object ? TRefinements[Assume<K, keyof TRefinements>] extends infer TNestedRefinements extends object ? TNestedRefinements : undefined : 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/utils.d.cts

@@ -0,0 +1,22 @@
+import type { type } from 'arktype';
+import type { Column, SelectedFieldsFlat, Table, View } from 'drizzle-orm';
+import type { PgEnum } from 'drizzle-orm/pg-core';
+import type { literalSchema } from "./column.cjs";
+export declare function isColumnType<T extends Column>(column: Column, columnTypes: string[]): column is T;
+export declare function isWithEnum(column: Column): column is typeof column & {
+    enumValues: [string, ...string[]];
+};
+export declare const isPgEnum: (entity: any) => entity is PgEnum<[string, ...string[]]>;
+type Literal = type.infer<typeof literalSchema>;
+export type Json = Literal | Record<string, any> | any[];
+export type IsEnumDefined<TEnum extends [string, ...string[]] | undefined> = [string, ...string[]] extends TEnum ? false : undefined extends TEnum ? false : true;
+export type IsNever<T> = [T] extends [never] ? true : false;
+export type ColumnIsGeneratedAlwaysAs<TColumn extends Column> = TColumn['_']['identity'] extends 'always' ? true : TColumn['_']['generated'] extends undefined ? false : TColumn['_']['generated'] extends infer TGenerated extends {
+    type: string;
+} ? TGenerated['type'] extends 'byDefault' ? false : true : true;
+export type RemoveNever<T> = {
+    [K in keyof T as T[K] extends never ? never : K]: T[K];
+};
+export type GetSelection<T extends SelectedFieldsFlat<Column> | Table | View> = T extends Table ? T['_']['columns'] : T extends View ? T['_']['selectedFields'] : T;
+export type IsUnknown<T> = unknown extends T ? [T] extends [null] ? false : true : false;
+export {};

package/utils.d.mts

@@ -0,0 +1,22 @@
+import type { type } from 'arktype';
+import type { Column, SelectedFieldsFlat, Table, View } from 'drizzle-orm';
+import type { PgEnum } from 'drizzle-orm/pg-core';
+import type { literalSchema } from "./column.mjs";
+export declare function isColumnType<T extends Column>(column: Column, columnTypes: string[]): column is T;
+export declare function isWithEnum(column: Column): column is typeof column & {
+    enumValues: [string, ...string[]];
+};
+export declare const isPgEnum: (entity: any) => entity is PgEnum<[string, ...string[]]>;
+type Literal = type.infer<typeof literalSchema>;
+export type Json = Literal | Record<string, any> | any[];
+export type IsEnumDefined<TEnum extends [string, ...string[]] | undefined> = [string, ...string[]] extends TEnum ? false : undefined extends TEnum ? false : true;
+export type IsNever<T> = [T] extends [never] ? true : false;
+export type ColumnIsGeneratedAlwaysAs<TColumn extends Column> = TColumn['_']['identity'] extends 'always' ? true : TColumn['_']['generated'] extends undefined ? false : TColumn['_']['generated'] extends infer TGenerated extends {
+    type: string;
+} ? TGenerated['type'] extends 'byDefault' ? false : true : true;
+export type RemoveNever<T> = {
+    [K in keyof T as T[K] extends never ? never : K]: T[K];
+};
+export type GetSelection<T extends SelectedFieldsFlat<Column> | Table | View> = T extends Table ? T['_']['columns'] : T extends View ? T['_']['selectedFields'] : T;
+export type IsUnknown<T> = unknown extends T ? [T] extends [null] ? false : true : false;
+export {};

package/utils.d.ts

@@ -0,0 +1,22 @@
+import type { type } from 'arktype';
+import type { Column, SelectedFieldsFlat, Table, View } from 'drizzle-orm';
+import type { PgEnum } from 'drizzle-orm/pg-core';
+import type { literalSchema } from './column.js';
+export declare function isColumnType<T extends Column>(column: Column, columnTypes: string[]): column is T;
+export declare function isWithEnum(column: Column): column is typeof column & {
+    enumValues: [string, ...string[]];
+};
+export declare const isPgEnum: (entity: any) => entity is PgEnum<[string, ...string[]]>;
+type Literal = type.infer<typeof literalSchema>;
+export type Json = Literal | Record<string, any> | any[];
+export type IsEnumDefined<TEnum extends [string, ...string[]] | undefined> = [string, ...string[]] extends TEnum ? false : undefined extends TEnum ? false : true;
+export type IsNever<T> = [T] extends [never] ? true : false;
+export type ColumnIsGeneratedAlwaysAs<TColumn extends Column> = TColumn['_']['identity'] extends 'always' ? true : TColumn['_']['generated'] extends undefined ? false : TColumn['_']['generated'] extends infer TGenerated extends {
+    type: string;
+} ? TGenerated['type'] extends 'byDefault' ? false : true : true;
+export type RemoveNever<T> = {
+    [K in keyof T as T[K] extends never ? never : K]: T[K];
+};
+export type GetSelection<T extends SelectedFieldsFlat<Column> | Table | View> = T extends Table ? T['_']['columns'] : T extends View ? T['_']['selectedFields'] : T;
+export type IsUnknown<T> = unknown extends T ? [T] extends [null] ? false : true : false;
+export {};