drizzle-valibot 0.2.0 → 0.3.0-05d907b

package/README.md

@@ -1,11 +1,17 @@
 `drizzle-valibot` is a plugin for [Drizzle ORM](https://github.com/drizzle-team/drizzle-orm) that allows you to generate [valibot](https://valibot.dev/) 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-valibot';
-import { string, parse, number } from 'valibot';
+import { string, parse, number, pipe } from 'valibot';
 
 const users = pgTable('users', {
 	id: serial('id').primaryKey(),
@@ -18,6 +24,9 @@ const users = pgTable('users', {
 // 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);
 
@@ -28,7 +37,7 @@ const insertUserSchema = createInsertSchema(users, {
 
 // 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) => number([minValue(0)]),
+	id: (schema) => pipe([schema, minValue(0)]),
 	role: string(),
 });
 

package/column.d.cts

@@ -0,0 +1,8 @@
+import * as v from 'valibot';
+import type { Json } from "./utils.cjs";
+export declare const literalSchema: v.UnionSchema<[v.StringSchema<undefined>, v.NumberSchema<undefined>, v.BooleanSchema<undefined>, v.NullSchema<undefined>], undefined>;
+export declare const jsonSchema: v.GenericSchema<Json>;
+export declare const bufferSchema: v.GenericSchema<Buffer>;
+export declare function mapEnumValues(values: string[]): {
+    [k: string]: string;
+};

package/column.d.mts

@@ -0,0 +1,8 @@
+import * as v from 'valibot';
+import type { Json } from "./utils.mjs";
+export declare const literalSchema: v.UnionSchema<[v.StringSchema<undefined>, v.NumberSchema<undefined>, v.BooleanSchema<undefined>, v.NullSchema<undefined>], undefined>;
+export declare const jsonSchema: v.GenericSchema<Json>;
+export declare const bufferSchema: v.GenericSchema<Buffer>;
+export declare function mapEnumValues(values: string[]): {
+    [k: string]: string;
+};

package/column.d.ts

@@ -0,0 +1,8 @@
+import * as v from 'valibot';
+import type { Json } from './utils.js';
+export declare const literalSchema: v.UnionSchema<[v.StringSchema<undefined>, v.NumberSchema<undefined>, v.BooleanSchema<undefined>, v.NullSchema<undefined>], undefined>;
+export declare const jsonSchema: v.GenericSchema<Json>;
+export declare const bufferSchema: v.GenericSchema<Buffer>;
+export declare function mapEnumValues(values: string[]): {
+    [k: string]: string;
+};

package/column.types.d.cts

@@ -0,0 +1,70 @@
+import type { Assume, Column } from 'drizzle-orm';
+import type * as v from 'valibot';
+import type { ArrayHasAtLeastOneValue, ColumnIsGeneratedAlwaysAs, IsNever, Json, RemoveNeverElements } from "./utils.cjs";
+export type GetEnumValuesFromColumn<TColumn extends Column> = TColumn['_'] extends {
+    enumValues: [string, ...string[]];
+} ? TColumn['_']['enumValues'] : undefined;
+export type GetBaseColumn<TColumn extends Column> = TColumn['_'] extends {
+    baseColumn: Column | never | undefined;
+} ? IsNever<TColumn['_']['baseColumn']> extends false ? TColumn['_']['baseColumn'] : undefined : undefined;
+export type EnumValuesToEnum<TEnumValues extends [string, ...string[]]> = {
+    readonly [K in TEnumValues[number]]: K;
+};
+export type ExtractAdditionalProperties<TColumn extends Column> = {
+    max: TColumn['_']['columnType'] extends 'PgVarchar' | 'SQLiteText' | 'PgChar' | 'MySqlChar' ? Assume<TColumn['_'], {
+        length: number | undefined;
+    }>['length'] : TColumn['_']['columnType'] extends 'MySqlText' | 'MySqlVarChar' ? number : TColumn['_']['columnType'] extends 'PgBinaryVector' | 'PgHalfVector' | 'PgVector' ? Assume<TColumn['_'], {
+        dimensions: number;
+    }>['dimensions'] : TColumn['_']['columnType'] extends 'PgArray' ? Assume<TColumn['_'], {
+        size: number | undefined;
+    }>['size'] : undefined;
+    fixedLength: TColumn['_']['columnType'] extends 'PgChar' | 'MySqlChar' | 'PgHalfVector' | 'PgVector' | 'PgArray' ? true : false;
+    arrayPipelines: [];
+};
+type RemovePipeIfNoElements<T extends v.SchemaWithPipe<[any, ...any[]]>> = T extends infer TPiped extends {
+    pipe: [any, ...any[]];
+} ? TPiped['pipe'][1] extends undefined ? T['pipe'][0] : TPiped : never;
+type BuildArraySchema<TWrapped extends v.GenericSchema, TPipelines extends any[][]> = TPipelines extends [infer TFirst extends any[], ...infer TRest extends any[][]] ? BuildArraySchema<RemovePipeIfNoElements<v.SchemaWithPipe<[v.ArraySchema<TWrapped, undefined>, ...TFirst]>>, TRest> : TPipelines extends [infer TFirst extends any[]] ? BuildArraySchema<RemovePipeIfNoElements<v.SchemaWithPipe<[v.ArraySchema<TWrapped, undefined>, ...TFirst]>>, []> : TWrapped;
+export type GetValibotType<TData, TDataType extends string, TColumnType extends string, TEnumValues extends [string, ...string[]] | undefined, TBaseColumn extends Column | undefined, TAdditionalProperties extends Record<string, any>> = TColumnType extends 'PgHalfVector' | 'PgVector' ? RemovePipeIfNoElements<v.SchemaWithPipe<RemoveNeverElements<[
+    v.ArraySchema<v.NumberSchema<undefined>, undefined>,
+    TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<number[], number, undefined> : v.MaxLengthAction<number[], number, undefined> : never
+]>>> : TColumnType extends 'PgUUID' ? v.SchemaWithPipe<[v.StringSchema<undefined>, v.UuidAction<string, undefined>]> : TAdditionalProperties['arrayFinished'] extends true ? GetValibotType<TData, TDataType, TColumnType, TEnumValues, TBaseColumn, Omit<TAdditionalProperties, 'arrayFinished'>> extends infer TSchema extends v.GenericSchema ? BuildArraySchema<TSchema, TAdditionalProperties['arrayPipelines']> : never : TBaseColumn extends Column ? GetValibotType<TBaseColumn['_']['data'], TBaseColumn['_']['dataType'], TBaseColumn['_']['columnType'], GetEnumValuesFromColumn<TBaseColumn>, GetBaseColumn<TBaseColumn>, Omit<ExtractAdditionalProperties<TBaseColumn>, 'arrayPipelines'> & {
+    arrayPipelines: [
+        RemoveNeverElements<[
+            TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<Assume<TBaseColumn['_']['data'], any[]>[], number, undefined> : v.MaxLengthAction<Assume<TBaseColumn['_']['data'], any[]>[], number, undefined> : never
+        ]>,
+        ...TAdditionalProperties['arrayPipelines']
+    ];
+    arrayFinished: GetBaseColumn<TBaseColumn> extends undefined ? true : false;
+}> : ArrayHasAtLeastOneValue<TEnumValues> extends true ? v.EnumSchema<EnumValuesToEnum<Assume<TEnumValues, [string, ...string[]]>>, undefined> : TData extends infer TTuple extends [any, ...any[]] ? v.TupleSchema<Assume<{
+    [K in keyof TTuple]: GetValibotType<TTuple[K], string, string, undefined, undefined, {
+        noPipe: true;
+    }>;
+}, [
+    any,
+    ...any[]
+]>, undefined> : TData extends Date ? v.DateSchema<undefined> : TData extends Buffer ? v.GenericSchema<Buffer> : TDataType extends 'array' ? v.ArraySchema<GetValibotType<Assume<TData, any[]>[number], string, string, undefined, undefined, {
+    noPipe: true;
+}>, undefined> : TData extends infer TDict extends Record<string, any> ? v.ObjectSchema<{
+    readonly [K in keyof TDict]: GetValibotType<TDict[K], string, string, undefined, undefined, {
+        noPipe: true;
+    }>;
+}, undefined> : TDataType extends 'json' ? v.GenericSchema<Json> : TData extends number ? TAdditionalProperties['noPipe'] extends true ? v.NumberSchema<undefined> : v.SchemaWithPipe<RemoveNeverElements<[
+    v.NumberSchema<undefined>,
+    v.MinValueAction<number, number, undefined>,
+    v.MaxValueAction<number, number, undefined>,
+    TColumnType extends 'MySqlTinyInt' | 'PgSmallInt' | 'PgSmallSerial' | 'MySqlSmallInt' | 'MySqlMediumInt' | 'PgInteger' | 'PgSerial' | 'MySqlInt' | 'PgBigInt53' | 'PgBigSerial53' | 'MySqlBigInt53' | 'MySqlSerial' | 'SQLiteInteger' | 'MySqlYear' ? v.IntegerAction<number, undefined> : never
+]>> : TData extends bigint ? TAdditionalProperties['noPipe'] extends true ? v.BigintSchema<undefined> : v.SchemaWithPipe<[
+    v.BigintSchema<undefined>,
+    v.MinValueAction<bigint, bigint, undefined>,
+    v.MaxValueAction<bigint, bigint, undefined>
+]> : TData extends boolean ? v.BooleanSchema<undefined> : TData extends string ? RemovePipeIfNoElements<v.SchemaWithPipe<RemoveNeverElements<[
+    v.StringSchema<undefined>,
+    TColumnType extends 'PgBinaryVector' ? v.RegexAction<string, undefined> : never,
+    TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<string, number, undefined> : v.MaxLengthAction<string, number, undefined> : never
+]>>> : v.AnySchema;
+type HandleSelectColumn<TSchema extends v.GenericSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TSchema : v.NullableSchema<TSchema, undefined>;
+type HandleInsertColumn<TSchema extends v.GenericSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? TColumn['_']['hasDefault'] extends true ? v.OptionalSchema<TSchema, undefined> : TSchema : v.OptionalSchema<v.NullableSchema<TSchema, undefined>, undefined>;
+type HandleUpdateColumn<TSchema extends v.GenericSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? v.OptionalSchema<TSchema, undefined> : v.OptionalSchema<v.NullableSchema<TSchema, undefined>, undefined>;
+export type HandleColumn<TType extends 'select' | 'insert' | 'update', TColumn extends Column> = GetValibotType<TColumn['_']['data'], TColumn['_']['dataType'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>, GetBaseColumn<TColumn>, ExtractAdditionalProperties<TColumn>> extends infer TSchema extends v.GenericSchema ? TSchema extends v.AnySchema ? v.AnySchema : TType extends 'select' ? HandleSelectColumn<TSchema, TColumn> : TType extends 'insert' ? HandleInsertColumn<TSchema, TColumn> : TType extends 'update' ? HandleUpdateColumn<TSchema, TColumn> : TSchema : v.AnySchema;
+export {};

package/column.types.d.mts

@@ -0,0 +1,70 @@
+import type { Assume, Column } from 'drizzle-orm';
+import type * as v from 'valibot';
+import type { ArrayHasAtLeastOneValue, ColumnIsGeneratedAlwaysAs, IsNever, Json, RemoveNeverElements } from "./utils.mjs";
+export type GetEnumValuesFromColumn<TColumn extends Column> = TColumn['_'] extends {
+    enumValues: [string, ...string[]];
+} ? TColumn['_']['enumValues'] : undefined;
+export type GetBaseColumn<TColumn extends Column> = TColumn['_'] extends {
+    baseColumn: Column | never | undefined;
+} ? IsNever<TColumn['_']['baseColumn']> extends false ? TColumn['_']['baseColumn'] : undefined : undefined;
+export type EnumValuesToEnum<TEnumValues extends [string, ...string[]]> = {
+    readonly [K in TEnumValues[number]]: K;
+};
+export type ExtractAdditionalProperties<TColumn extends Column> = {
+    max: TColumn['_']['columnType'] extends 'PgVarchar' | 'SQLiteText' | 'PgChar' | 'MySqlChar' ? Assume<TColumn['_'], {
+        length: number | undefined;
+    }>['length'] : TColumn['_']['columnType'] extends 'MySqlText' | 'MySqlVarChar' ? number : TColumn['_']['columnType'] extends 'PgBinaryVector' | 'PgHalfVector' | 'PgVector' ? Assume<TColumn['_'], {
+        dimensions: number;
+    }>['dimensions'] : TColumn['_']['columnType'] extends 'PgArray' ? Assume<TColumn['_'], {
+        size: number | undefined;
+    }>['size'] : undefined;
+    fixedLength: TColumn['_']['columnType'] extends 'PgChar' | 'MySqlChar' | 'PgHalfVector' | 'PgVector' | 'PgArray' ? true : false;
+    arrayPipelines: [];
+};
+type RemovePipeIfNoElements<T extends v.SchemaWithPipe<[any, ...any[]]>> = T extends infer TPiped extends {
+    pipe: [any, ...any[]];
+} ? TPiped['pipe'][1] extends undefined ? T['pipe'][0] : TPiped : never;
+type BuildArraySchema<TWrapped extends v.GenericSchema, TPipelines extends any[][]> = TPipelines extends [infer TFirst extends any[], ...infer TRest extends any[][]] ? BuildArraySchema<RemovePipeIfNoElements<v.SchemaWithPipe<[v.ArraySchema<TWrapped, undefined>, ...TFirst]>>, TRest> : TPipelines extends [infer TFirst extends any[]] ? BuildArraySchema<RemovePipeIfNoElements<v.SchemaWithPipe<[v.ArraySchema<TWrapped, undefined>, ...TFirst]>>, []> : TWrapped;
+export type GetValibotType<TData, TDataType extends string, TColumnType extends string, TEnumValues extends [string, ...string[]] | undefined, TBaseColumn extends Column | undefined, TAdditionalProperties extends Record<string, any>> = TColumnType extends 'PgHalfVector' | 'PgVector' ? RemovePipeIfNoElements<v.SchemaWithPipe<RemoveNeverElements<[
+    v.ArraySchema<v.NumberSchema<undefined>, undefined>,
+    TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<number[], number, undefined> : v.MaxLengthAction<number[], number, undefined> : never
+]>>> : TColumnType extends 'PgUUID' ? v.SchemaWithPipe<[v.StringSchema<undefined>, v.UuidAction<string, undefined>]> : TAdditionalProperties['arrayFinished'] extends true ? GetValibotType<TData, TDataType, TColumnType, TEnumValues, TBaseColumn, Omit<TAdditionalProperties, 'arrayFinished'>> extends infer TSchema extends v.GenericSchema ? BuildArraySchema<TSchema, TAdditionalProperties['arrayPipelines']> : never : TBaseColumn extends Column ? GetValibotType<TBaseColumn['_']['data'], TBaseColumn['_']['dataType'], TBaseColumn['_']['columnType'], GetEnumValuesFromColumn<TBaseColumn>, GetBaseColumn<TBaseColumn>, Omit<ExtractAdditionalProperties<TBaseColumn>, 'arrayPipelines'> & {
+    arrayPipelines: [
+        RemoveNeverElements<[
+            TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<Assume<TBaseColumn['_']['data'], any[]>[], number, undefined> : v.MaxLengthAction<Assume<TBaseColumn['_']['data'], any[]>[], number, undefined> : never
+        ]>,
+        ...TAdditionalProperties['arrayPipelines']
+    ];
+    arrayFinished: GetBaseColumn<TBaseColumn> extends undefined ? true : false;
+}> : ArrayHasAtLeastOneValue<TEnumValues> extends true ? v.EnumSchema<EnumValuesToEnum<Assume<TEnumValues, [string, ...string[]]>>, undefined> : TData extends infer TTuple extends [any, ...any[]] ? v.TupleSchema<Assume<{
+    [K in keyof TTuple]: GetValibotType<TTuple[K], string, string, undefined, undefined, {
+        noPipe: true;
+    }>;
+}, [
+    any,
+    ...any[]
+]>, undefined> : TData extends Date ? v.DateSchema<undefined> : TData extends Buffer ? v.GenericSchema<Buffer> : TDataType extends 'array' ? v.ArraySchema<GetValibotType<Assume<TData, any[]>[number], string, string, undefined, undefined, {
+    noPipe: true;
+}>, undefined> : TData extends infer TDict extends Record<string, any> ? v.ObjectSchema<{
+    readonly [K in keyof TDict]: GetValibotType<TDict[K], string, string, undefined, undefined, {
+        noPipe: true;
+    }>;
+}, undefined> : TDataType extends 'json' ? v.GenericSchema<Json> : TData extends number ? TAdditionalProperties['noPipe'] extends true ? v.NumberSchema<undefined> : v.SchemaWithPipe<RemoveNeverElements<[
+    v.NumberSchema<undefined>,
+    v.MinValueAction<number, number, undefined>,
+    v.MaxValueAction<number, number, undefined>,
+    TColumnType extends 'MySqlTinyInt' | 'PgSmallInt' | 'PgSmallSerial' | 'MySqlSmallInt' | 'MySqlMediumInt' | 'PgInteger' | 'PgSerial' | 'MySqlInt' | 'PgBigInt53' | 'PgBigSerial53' | 'MySqlBigInt53' | 'MySqlSerial' | 'SQLiteInteger' | 'MySqlYear' ? v.IntegerAction<number, undefined> : never
+]>> : TData extends bigint ? TAdditionalProperties['noPipe'] extends true ? v.BigintSchema<undefined> : v.SchemaWithPipe<[
+    v.BigintSchema<undefined>,
+    v.MinValueAction<bigint, bigint, undefined>,
+    v.MaxValueAction<bigint, bigint, undefined>
+]> : TData extends boolean ? v.BooleanSchema<undefined> : TData extends string ? RemovePipeIfNoElements<v.SchemaWithPipe<RemoveNeverElements<[
+    v.StringSchema<undefined>,
+    TColumnType extends 'PgBinaryVector' ? v.RegexAction<string, undefined> : never,
+    TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<string, number, undefined> : v.MaxLengthAction<string, number, undefined> : never
+]>>> : v.AnySchema;
+type HandleSelectColumn<TSchema extends v.GenericSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TSchema : v.NullableSchema<TSchema, undefined>;
+type HandleInsertColumn<TSchema extends v.GenericSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? TColumn['_']['hasDefault'] extends true ? v.OptionalSchema<TSchema, undefined> : TSchema : v.OptionalSchema<v.NullableSchema<TSchema, undefined>, undefined>;
+type HandleUpdateColumn<TSchema extends v.GenericSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? v.OptionalSchema<TSchema, undefined> : v.OptionalSchema<v.NullableSchema<TSchema, undefined>, undefined>;
+export type HandleColumn<TType extends 'select' | 'insert' | 'update', TColumn extends Column> = GetValibotType<TColumn['_']['data'], TColumn['_']['dataType'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>, GetBaseColumn<TColumn>, ExtractAdditionalProperties<TColumn>> extends infer TSchema extends v.GenericSchema ? TSchema extends v.AnySchema ? v.AnySchema : TType extends 'select' ? HandleSelectColumn<TSchema, TColumn> : TType extends 'insert' ? HandleInsertColumn<TSchema, TColumn> : TType extends 'update' ? HandleUpdateColumn<TSchema, TColumn> : TSchema : v.AnySchema;
+export {};

package/column.types.d.ts

@@ -0,0 +1,70 @@
+import type { Assume, Column } from 'drizzle-orm';
+import type * as v from 'valibot';
+import type { ArrayHasAtLeastOneValue, ColumnIsGeneratedAlwaysAs, IsNever, Json, RemoveNeverElements } from './utils.js';
+export type GetEnumValuesFromColumn<TColumn extends Column> = TColumn['_'] extends {
+    enumValues: [string, ...string[]];
+} ? TColumn['_']['enumValues'] : undefined;
+export type GetBaseColumn<TColumn extends Column> = TColumn['_'] extends {
+    baseColumn: Column | never | undefined;
+} ? IsNever<TColumn['_']['baseColumn']> extends false ? TColumn['_']['baseColumn'] : undefined : undefined;
+export type EnumValuesToEnum<TEnumValues extends [string, ...string[]]> = {
+    readonly [K in TEnumValues[number]]: K;
+};
+export type ExtractAdditionalProperties<TColumn extends Column> = {
+    max: TColumn['_']['columnType'] extends 'PgVarchar' | 'SQLiteText' | 'PgChar' | 'MySqlChar' ? Assume<TColumn['_'], {
+        length: number | undefined;
+    }>['length'] : TColumn['_']['columnType'] extends 'MySqlText' | 'MySqlVarChar' ? number : TColumn['_']['columnType'] extends 'PgBinaryVector' | 'PgHalfVector' | 'PgVector' ? Assume<TColumn['_'], {
+        dimensions: number;
+    }>['dimensions'] : TColumn['_']['columnType'] extends 'PgArray' ? Assume<TColumn['_'], {
+        size: number | undefined;
+    }>['size'] : undefined;
+    fixedLength: TColumn['_']['columnType'] extends 'PgChar' | 'MySqlChar' | 'PgHalfVector' | 'PgVector' | 'PgArray' ? true : false;
+    arrayPipelines: [];
+};
+type RemovePipeIfNoElements<T extends v.SchemaWithPipe<[any, ...any[]]>> = T extends infer TPiped extends {
+    pipe: [any, ...any[]];
+} ? TPiped['pipe'][1] extends undefined ? T['pipe'][0] : TPiped : never;
+type BuildArraySchema<TWrapped extends v.GenericSchema, TPipelines extends any[][]> = TPipelines extends [infer TFirst extends any[], ...infer TRest extends any[][]] ? BuildArraySchema<RemovePipeIfNoElements<v.SchemaWithPipe<[v.ArraySchema<TWrapped, undefined>, ...TFirst]>>, TRest> : TPipelines extends [infer TFirst extends any[]] ? BuildArraySchema<RemovePipeIfNoElements<v.SchemaWithPipe<[v.ArraySchema<TWrapped, undefined>, ...TFirst]>>, []> : TWrapped;
+export type GetValibotType<TData, TDataType extends string, TColumnType extends string, TEnumValues extends [string, ...string[]] | undefined, TBaseColumn extends Column | undefined, TAdditionalProperties extends Record<string, any>> = TColumnType extends 'PgHalfVector' | 'PgVector' ? RemovePipeIfNoElements<v.SchemaWithPipe<RemoveNeverElements<[
+    v.ArraySchema<v.NumberSchema<undefined>, undefined>,
+    TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<number[], number, undefined> : v.MaxLengthAction<number[], number, undefined> : never
+]>>> : TColumnType extends 'PgUUID' ? v.SchemaWithPipe<[v.StringSchema<undefined>, v.UuidAction<string, undefined>]> : TAdditionalProperties['arrayFinished'] extends true ? GetValibotType<TData, TDataType, TColumnType, TEnumValues, TBaseColumn, Omit<TAdditionalProperties, 'arrayFinished'>> extends infer TSchema extends v.GenericSchema ? BuildArraySchema<TSchema, TAdditionalProperties['arrayPipelines']> : never : TBaseColumn extends Column ? GetValibotType<TBaseColumn['_']['data'], TBaseColumn['_']['dataType'], TBaseColumn['_']['columnType'], GetEnumValuesFromColumn<TBaseColumn>, GetBaseColumn<TBaseColumn>, Omit<ExtractAdditionalProperties<TBaseColumn>, 'arrayPipelines'> & {
+    arrayPipelines: [
+        RemoveNeverElements<[
+            TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<Assume<TBaseColumn['_']['data'], any[]>[], number, undefined> : v.MaxLengthAction<Assume<TBaseColumn['_']['data'], any[]>[], number, undefined> : never
+        ]>,
+        ...TAdditionalProperties['arrayPipelines']
+    ];
+    arrayFinished: GetBaseColumn<TBaseColumn> extends undefined ? true : false;
+}> : ArrayHasAtLeastOneValue<TEnumValues> extends true ? v.EnumSchema<EnumValuesToEnum<Assume<TEnumValues, [string, ...string[]]>>, undefined> : TData extends infer TTuple extends [any, ...any[]] ? v.TupleSchema<Assume<{
+    [K in keyof TTuple]: GetValibotType<TTuple[K], string, string, undefined, undefined, {
+        noPipe: true;
+    }>;
+}, [
+    any,
+    ...any[]
+]>, undefined> : TData extends Date ? v.DateSchema<undefined> : TData extends Buffer ? v.GenericSchema<Buffer> : TDataType extends 'array' ? v.ArraySchema<GetValibotType<Assume<TData, any[]>[number], string, string, undefined, undefined, {
+    noPipe: true;
+}>, undefined> : TData extends infer TDict extends Record<string, any> ? v.ObjectSchema<{
+    readonly [K in keyof TDict]: GetValibotType<TDict[K], string, string, undefined, undefined, {
+        noPipe: true;
+    }>;
+}, undefined> : TDataType extends 'json' ? v.GenericSchema<Json> : TData extends number ? TAdditionalProperties['noPipe'] extends true ? v.NumberSchema<undefined> : v.SchemaWithPipe<RemoveNeverElements<[
+    v.NumberSchema<undefined>,
+    v.MinValueAction<number, number, undefined>,
+    v.MaxValueAction<number, number, undefined>,
+    TColumnType extends 'MySqlTinyInt' | 'PgSmallInt' | 'PgSmallSerial' | 'MySqlSmallInt' | 'MySqlMediumInt' | 'PgInteger' | 'PgSerial' | 'MySqlInt' | 'PgBigInt53' | 'PgBigSerial53' | 'MySqlBigInt53' | 'MySqlSerial' | 'SQLiteInteger' | 'MySqlYear' ? v.IntegerAction<number, undefined> : never
+]>> : TData extends bigint ? TAdditionalProperties['noPipe'] extends true ? v.BigintSchema<undefined> : v.SchemaWithPipe<[
+    v.BigintSchema<undefined>,
+    v.MinValueAction<bigint, bigint, undefined>,
+    v.MaxValueAction<bigint, bigint, undefined>
+]> : TData extends boolean ? v.BooleanSchema<undefined> : TData extends string ? RemovePipeIfNoElements<v.SchemaWithPipe<RemoveNeverElements<[
+    v.StringSchema<undefined>,
+    TColumnType extends 'PgBinaryVector' ? v.RegexAction<string, undefined> : never,
+    TAdditionalProperties['max'] extends number ? TAdditionalProperties['fixedLength'] extends true ? v.LengthAction<string, number, undefined> : v.MaxLengthAction<string, number, undefined> : never
+]>>> : v.AnySchema;
+type HandleSelectColumn<TSchema extends v.GenericSchema, TColumn extends Column> = TColumn['_']['notNull'] extends true ? TSchema : v.NullableSchema<TSchema, undefined>;
+type HandleInsertColumn<TSchema extends v.GenericSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? TColumn['_']['hasDefault'] extends true ? v.OptionalSchema<TSchema, undefined> : TSchema : v.OptionalSchema<v.NullableSchema<TSchema, undefined>, undefined>;
+type HandleUpdateColumn<TSchema extends v.GenericSchema, TColumn extends Column> = ColumnIsGeneratedAlwaysAs<TColumn> extends true ? never : TColumn['_']['notNull'] extends true ? v.OptionalSchema<TSchema, undefined> : v.OptionalSchema<v.NullableSchema<TSchema, undefined>, undefined>;
+export type HandleColumn<TType extends 'select' | 'insert' | 'update', TColumn extends Column> = GetValibotType<TColumn['_']['data'], TColumn['_']['dataType'], TColumn['_']['columnType'], GetEnumValuesFromColumn<TColumn>, GetBaseColumn<TColumn>, ExtractAdditionalProperties<TColumn>> extends infer TSchema extends v.GenericSchema ? TSchema extends v.AnySchema ? v.AnySchema : TType extends 'select' ? HandleSelectColumn<TSchema, TColumn> : TType extends 'insert' ? HandleInsertColumn<TSchema, TColumn> : TType extends 'update' ? HandleUpdateColumn<TSchema, TColumn> : TSchema : v.AnySchema;
+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;
+};