Add Arktype validation (via drizzle-arktype package)

[L-Mario564]

Addresses #2473.
Depends on #4097.

This PR adds a new package: drizzle-arktype. It's exactly like the other validator packages, but of course, this one is made for Arktype.

Documentation: drizzle-team/drizzle-orm-docs#530.

Example

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',
});

Thanks to @ssalbdivad for answering some questions I had related to Arktype.

[ssalbdivad]

Awesome work, looks great overall!

There's definitely some room for type optimization, but I'd rather ship an initial version and start getting feedback ASAP if that's a concern affecting many users first.

If so, happy to help get @ark/attest set up so we can start benchmarking and optimizing inference.

Once the few concerns I mentioned are addressed, we should get this in the hands of users right away 🚢

[L-Mario564]

Awesome work, looks great overall!

There's definitely some room for type optimization, but I'd rather ship an initial version and start getting feedback ASAP if that's a concern affecting many users first.

If so, happy to help get @ark/attest set up so we can start benchmarking and optimizing inference.

Once the few concerns I mentioned are addressed, we should get this in the hands of users right away 🚢

Thanks for the feedback! Will go through most if not all of it soon.

[ssalbdivad]

Looks perfect! I mentioned a tiny change to the assertion logic but approving now as it's good to ship!

[ssalbdivad]

Nice!🧹

[ssalbdivad]

I would switch the order of these assertions so that you get the simpler one first and stricter one last.

[AndriiSherman]

thanks! I'll fix tests, for some reason they are failing, and we are ready for the initial release

[ssalbdivad]

@AndriiSherman HYPE 🙌🙌🙌

also the number of things that can fail in CI when you think nothing should is so humbling...

[AndriiSherman]

@AndriiSherman HYPE 🙌🙌🙌

also the number of things that can fail in CI when you think nothing should is so humbling...

just found, should be fixed today

[Christopher96u]

I'm ready to hit npm i drizzle-arktype. Arktype is DOPE