@prisma-next/sql-relational-core 0.3.0-dev.34 → 0.3.0-dev.37

package/src/ast/codec-types.ts

@@ -1,5 +1,32 @@
+import { ifDefined } from '@prisma-next/utils/defined';
+import type { Type } from 'arktype';
 import type { O } from 'ts-toolbelt';
 
+/**
+ * Descriptor for parameterized codecs that require type parameter validation.
+ * Shared between adapter (compile-time) and runtime layers to avoid duplication.
+ *
+ * @template TParams - The shape of the type parameters (e.g., `{ length: number }`)
+ * @template THelper - The type returned by the optional `init` hook
+ */
+export interface CodecParamsDescriptor<TParams = Record<string, unknown>, THelper = unknown> {
+  /** The codec ID this descriptor applies to (e.g., 'pg/vector@1') */
+  readonly codecId: string;
+
+  /**
+   * Arktype schema for validating typeParams.
+   * Used to validate both storage.types entries and inline column typeParams.
+   */
+  readonly paramsSchema: Type<TParams>;
+
+  /**
+   * Optional init hook called during runtime context creation.
+   * Receives validated params and returns a helper object to be stored in context.types.
+   * If not provided, the validated params are stored directly.
+   */
+  readonly init?: (params: TParams) => THelper;
+}
+
 /**
  * Codec metadata for database-specific type information.
  * Used for schema introspection and verification.
@@ -20,7 +47,13 @@ export interface CodecMeta {
  * Codecs are pure, synchronous functions with no side effects or IO.
  * They provide deterministic conversion between database wire types and JS values.
  */
-export interface Codec<Id extends string = string, TWire = unknown, TJs = unknown> {
+export interface Codec<
+  Id extends string = string,
+  TWire = unknown,
+  TJs = unknown,
+  TParams = Record<string, unknown>,
+  THelper = unknown,
+> {
   /**
    * Namespaced codec identifier in format 'namespace/name@version'
    * Examples: 'pg/text@1', 'pg/uuid@1', 'pg/timestamptz@1'
@@ -39,6 +72,31 @@ export interface Codec<Id extends string = string, TWire = unknown, TJs = unknow
    */
   readonly meta?: CodecMeta;
 
+  /**
+   * Optional params schema for parameterized codecs.
+   * If provided, typeParams are validated against this schema.
+   */
+  readonly paramsSchema?: Type<TParams>;
+
+  /**
+   * Optional init hook for building runtime helper state from validated params.
+   *
+   * Useful when parameterized types need derived data at runtime, for example:
+   * - normalize typeParams into a stable helper shape consumed by lanes/adapters
+   * - precompute reusable values once during context creation
+   * - avoid repeating typeParams parsing logic during query execution
+   *
+   * Example:
+   *   { length: 255 } -> { kind: 'variable', maxLength: 255 }
+   *
+   * **Convention for JSON/JSONB codecs**: When the helper includes a `validate`
+   * property of type `JsonSchemaValidateFn`, the runtime will use it to enforce
+   * JSON Schema conformance during encoding and decoding. The property is
+   * discovered via duck typing (`helper?.validate`) for flexibility across
+   * different codec types.
+   */
+  readonly init?: (params: TParams) => THelper;
+
   /**
    * Decode a wire value (from database) to JavaScript type.
    * Must be synchronous and pure (no side effects).
@@ -157,17 +215,27 @@ class CodecRegistryImpl implements CodecRegistry {
 /**
  * Codec factory - creates a codec with typeId and encode/decode functions.
  */
-export function codec<Id extends string, TWire, TJs>(config: {
+export function codec<
+  Id extends string,
+  TWire,
+  TJs,
+  TParams = Record<string, unknown>,
+  THelper = unknown,
+>(config: {
   typeId: Id;
   targetTypes: readonly string[];
   encode: (value: TJs) => TWire;
   decode: (wire: TWire) => TJs;
   meta?: CodecMeta;
-}): Codec<Id, TWire, TJs> {
+  paramsSchema?: Type<TParams>;
+  init?: (params: TParams) => THelper;
+}): Codec<Id, TWire, TJs, TParams, THelper> {
   return {
     id: config.typeId,
     targetTypes: config.targetTypes,
-    ...(config.meta ? { meta: config.meta } : {}),
+    ...ifDefined('meta', config.meta),
+    ...ifDefined('paramsSchema', config.paramsSchema),
+    ...ifDefined('init', config.init),
     encode: config.encode,
     decode: config.decode,
   };

package/src/ast/driver-types.ts

@@ -13,13 +13,30 @@ export interface SqlExplainResult<Row = Record<string, unknown>> {
   readonly rows: ReadonlyArray<Row>;
 }
 
-export interface SqlDriver {
-  connect(): Promise<void>;
+export type SqlDriverState = 'unbound' | 'connected' | 'closed';
+
+export interface SqlDriver<TBinding = void> extends SqlQueryable {
+  readonly state?: SqlDriverState;
+  connect(binding: TBinding): Promise<void>;
+  acquireConnection(): Promise<SqlConnection>;
+  close(): Promise<void>;
+}
+
+export interface SqlConnection extends SqlQueryable {
+  beginTransaction(): Promise<SqlTransaction>;
+  release(): Promise<void>;
+}
+
+export interface SqlTransaction extends SqlQueryable {
+  commit(): Promise<void>;
+  rollback(): Promise<void>;
+}
+
+export interface SqlQueryable {
   execute<Row = Record<string, unknown>>(request: SqlExecuteRequest): AsyncIterable<Row>;
   explain?(request: SqlExecuteRequest): Promise<SqlExplainResult>;
   query<Row = Record<string, unknown>>(
     sql: string,
     params?: readonly unknown[],
   ): Promise<SqlQueryResult<Row>>;
-  close(): Promise<void>;
 }

package/src/ast/predicate.ts

@@ -3,6 +3,8 @@ import type {
   BinaryOp,
   ExistsExpr,
   Expression,
+  ListLiteralExpr,
+  LiteralExpr,
   NullCheckExpr,
   ParamRef,
   SelectAst,
@@ -11,7 +13,7 @@ import type {
 export function createBinaryExpr(
   op: BinaryOp,
   left: Expression,
-  right: Expression | ParamRef,
+  right: Expression | ParamRef | LiteralExpr | ListLiteralExpr,
 ): BinaryExpr {
   return {
     kind: 'bin',

package/src/ast/sql-codecs.ts

@@ -0,0 +1,67 @@
+import { type as arktype } from 'arktype';
+import { codec, defineCodecs } from './codec-types';
+
+export const SQL_CHAR_CODEC_ID = 'sql/char@1' as const;
+export const SQL_VARCHAR_CODEC_ID = 'sql/varchar@1' as const;
+export const SQL_INT_CODEC_ID = 'sql/int@1' as const;
+export const SQL_FLOAT_CODEC_ID = 'sql/float@1' as const;
+
+const lengthParamsSchema = arktype({
+  length: 'number.integer > 0',
+});
+
+type LengthTypeHelper = {
+  readonly kind: 'fixed' | 'variable';
+  readonly maxLength: number;
+};
+
+function createLengthTypeHelper(
+  kind: LengthTypeHelper['kind'],
+): (params: Record<string, unknown>) => LengthTypeHelper {
+  return (params) => ({
+    kind,
+    maxLength: params['length'] as number,
+  });
+}
+
+const sqlCharCodec = codec<typeof SQL_CHAR_CODEC_ID, string, string>({
+  typeId: SQL_CHAR_CODEC_ID,
+  targetTypes: ['char'],
+  encode: (value: string): string => value,
+  decode: (wire: string): string => wire.trimEnd(),
+  paramsSchema: lengthParamsSchema,
+  init: createLengthTypeHelper('fixed'),
+});
+
+const sqlVarcharCodec = codec<typeof SQL_VARCHAR_CODEC_ID, string, string>({
+  typeId: SQL_VARCHAR_CODEC_ID,
+  targetTypes: ['varchar'],
+  encode: (value: string): string => value,
+  decode: (wire: string): string => wire,
+  paramsSchema: lengthParamsSchema,
+  init: createLengthTypeHelper('variable'),
+});
+
+const sqlIntCodec = codec<typeof SQL_INT_CODEC_ID, number, number>({
+  typeId: SQL_INT_CODEC_ID,
+  targetTypes: ['int'],
+  encode: (value) => value,
+  decode: (wire) => wire,
+});
+
+const sqlFloatCodec = codec<typeof SQL_FLOAT_CODEC_ID, number, number>({
+  typeId: SQL_FLOAT_CODEC_ID,
+  targetTypes: ['float'],
+  encode: (value) => value,
+  decode: (wire) => wire,
+});
+
+const codecs = defineCodecs()
+  .add('char', sqlCharCodec)
+  .add('varchar', sqlVarcharCodec)
+  .add('int', sqlIntCodec)
+  .add('float', sqlFloatCodec);
+
+export const sqlCodecDefinitions = codecs.codecDefinitions;
+export const sqlDataTypes = codecs.dataTypes;
+export type SqlCodecTypes = typeof codecs.CodecTypes;

package/src/ast/types.ts

@@ -56,13 +56,28 @@ export function isOperationExpr(expr: Expression): expr is OperationExpr {
   return expr.kind === 'operation';
 }
 
-export type BinaryOp = 'eq' | 'neq' | 'gt' | 'lt' | 'gte' | 'lte';
+export type BinaryOp =
+  | 'eq'
+  | 'neq'
+  | 'gt'
+  | 'lt'
+  | 'gte'
+  | 'lte'
+  | 'like'
+  | 'ilike'
+  | 'in'
+  | 'notIn';
+
+export interface ListLiteralExpr {
+  readonly kind: 'listLiteral';
+  readonly values: ReadonlyArray<ParamRef | LiteralExpr>;
+}
 
 export interface BinaryExpr {
   readonly kind: 'bin';
   readonly op: BinaryOp;
   readonly left: Expression;
-  readonly right: Expression | ParamRef;
+  readonly right: Expression | ParamRef | LiteralExpr | ListLiteralExpr;
 }
 
 export interface ExistsExpr {
@@ -81,10 +96,20 @@ export interface NullCheckExpr {
   readonly isNull: boolean;
 }
 
+export interface AndExpr {
+  readonly kind: 'and';
+  readonly exprs: ReadonlyArray<WhereExpr>;
+}
+
+export interface OrExpr {
+  readonly kind: 'or';
+  readonly exprs: ReadonlyArray<WhereExpr>;
+}
+
 /**
  * Union type for WHERE clause expressions.
  */
-export type WhereExpr = BinaryExpr | ExistsExpr | NullCheckExpr;
+export type WhereExpr = BinaryExpr | ExistsExpr | NullCheckExpr | AndExpr | OrExpr;
 
 export type JoinOnExpr = {
   readonly kind: 'eqCol';

package/src/exports/ast.ts

@@ -8,6 +8,7 @@ export * from '../ast/join';
 export * from '../ast/order';
 export * from '../ast/predicate';
 export * from '../ast/select';
+export * from '../ast/sql-codecs';
 export * from '../ast/types';
 export * from '../ast/update';
 export * from '../ast/util';

package/src/exports/utils/guards.ts

@@ -0,0 +1 @@
+export * from '../guards';

package/src/query-lane-context.ts

@@ -4,11 +4,65 @@ import type { CodecRegistry } from './ast/codec-types';
 
 /**
  * Registry of initialized type helpers from storage.types.
- * Each key is a type name from storage.types, and the value is the initialized helper
- * (or validated typeParams if no init hook was provided).
+ * Each key is a type name from storage.types, and the value is:
+ * - The result of the codec's init hook (if provided), or
+ * - The full StorageTypeInstance metadata (codecId, nativeType, typeParams) if no init hook
  */
 export type TypeHelperRegistry = Record<string, unknown>;
 
+// =============================================================================
+// JSON Schema Validation Types
+// =============================================================================
+
+/**
+ * A single validation error from JSON Schema validation.
+ */
+export interface JsonSchemaValidationError {
+  readonly path: string;
+  readonly message: string;
+  readonly keyword: string;
+}
+
+/**
+ * Result of a JSON Schema validation.
+ */
+export type JsonSchemaValidationResult =
+  | { readonly valid: true }
+  | { readonly valid: false; readonly errors: ReadonlyArray<JsonSchemaValidationError> };
+
+/**
+ * A compiled JSON Schema validate function.
+ * Returns a structured result indicating whether the value conforms to the schema.
+ */
+export type JsonSchemaValidateFn = (value: unknown) => JsonSchemaValidationResult;
+
+/**
+ * Registry of compiled JSON Schema validators for columns with typed JSON/JSONB.
+ *
+ * Built during context creation by scanning the contract for columns whose codec
+ * descriptor provides an `init` hook that returns a `{ validate }` helper.
+ * Keys are `"table.column"` (e.g., `"user.metadata"`).
+ */
+export interface JsonSchemaValidatorRegistry {
+  /** Get the compiled validator for a column. Key format: "table.column". */
+  get(key: string): JsonSchemaValidateFn | undefined;
+  /** Number of registered validators. */
+  readonly size: number;
+}
+
+export type MutationDefaultsOp = 'create' | 'update';
+
+export type AppliedMutationDefault = {
+  readonly column: string;
+  readonly value: unknown;
+};
+
+export type MutationDefaultsOptions = {
+  readonly op: MutationDefaultsOp;
+  readonly table: string;
+  readonly values: Record<string, unknown>;
+};
+
 /**
  * Minimal context interface for SQL query lanes.
  *
@@ -16,15 +70,25 @@ export type TypeHelperRegistry = Record<string, unknown>;
  * operation builders. This interface explicitly excludes runtime concerns like
  * adapters, connection management, and transaction state.
  */
-export interface QueryLaneContext<
+export interface ExecutionContext<
   TContract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>,
 > {
   readonly contract: TContract;
   readonly operations: OperationRegistry;
   readonly codecs: CodecRegistry;
   /**
-   * Optional type helper registry for parameterized types.
-   * When present, schema() will expose these helpers via schema.types.
+   * Type helper registry for parameterized types.
+   * Schema builders expose these helpers via schema.types.
+   */
+  readonly types: TypeHelperRegistry;
+  /**
+   * Compiled JSON Schema validators for typed JSON/JSONB columns.
+   * Present only when the contract declares columns with JSON Schema typeParams.
+   */
+  readonly jsonSchemaValidators?: JsonSchemaValidatorRegistry;
+  /**
+   * Applies execution-time mutation defaults for the given table.
+   * Returns the applied defaults (caller-provided values always win).
    */
-  readonly types?: TypeHelperRegistry;
+  applyMutationDefaults(options: MutationDefaultsOptions): ReadonlyArray<AppliedMutationDefault>;
 }

package/src/schema.ts

@@ -9,7 +9,7 @@ import type {
 } from '@prisma-next/sql-contract/types';
 import type { BinaryOp, ColumnRef, ExpressionSource, TableRef } from './ast/types';
 import { attachOperationsToColumnBuilder } from './operations-registry';
-import type { QueryLaneContext } from './query-lane-context';
+import type { ExecutionContext } from './query-lane-context';
 import type {
   BinaryBuilder,
   CodecTypes as CodecTypesType,
@@ -382,7 +382,7 @@ type ToOperationTypes<T> = T extends OperationTypes ? T : NormalizeOperationType
  * ```
  */
 export function schema<Contract extends SqlContract<SqlStorage>>(
-  context: QueryLaneContext<Contract>,
+  context: ExecutionContext<Contract>,
 ): SchemaReturnType<Contract> {
   const contract = context.contract;
   const storage = contract.storage;
@@ -422,8 +422,8 @@ export function schema<Contract extends SqlContract<SqlStorage>>(
     ) as ExtractSchemaTables<Contract, CodecTypes, Operations>[typeof tableName];
   }
 
-  // Get type helpers from context (populated by createRuntimeContext)
-  const types = (context.types ?? {}) as ExtractSchemaTypes<Contract>;
+  // Get type helpers from context (populated by runtime context creation)
+  const types = context.types as ExtractSchemaTypes<Contract>;
 
   return Object.freeze({ tables, types }) as SchemaReturnType<Contract>;
 }

package/src/types.ts

@@ -17,7 +17,7 @@ import type {
   QueryAst,
 } from './ast/types';
 import type { SqlQueryPlan } from './plan';
-import type { QueryLaneContext } from './query-lane-context';
+import type { ExecutionContext } from './query-lane-context';
 
 export interface ParamPlaceholder {
   readonly kind: 'param-placeholder';
@@ -788,7 +788,7 @@ export interface BuildOptions {
 export interface SqlBuilderOptions<
   TContract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>,
 > {
-  readonly context: QueryLaneContext<TContract>;
+  readonly context: ExecutionContext<TContract>;
 }
 
 /**

package/dist/ast/adapter-types.d.ts

@@ -1,28 +0,0 @@
-import type { CodecRegistry } from './codec-types';
-export type AdapterTarget = string;
-export interface AdapterProfile<TTarget extends AdapterTarget = AdapterTarget> {
-    readonly id: string;
-    readonly target: TTarget;
-    readonly capabilities: Record<string, unknown>;
-    /**
-     * Returns the adapter's default codec registry.
-     * The registry contains codecs provided by the adapter for converting
-     * between wire types and JavaScript types.
-     */
-    codecs(): CodecRegistry;
-}
-export interface LoweredPayload<TBody = unknown> {
-    readonly profileId?: string;
-    readonly body: TBody;
-    readonly annotations?: Record<string, unknown>;
-}
-export interface LowererContext<TContract = unknown> {
-    readonly contract: TContract;
-    readonly params?: readonly unknown[];
-}
-export type Lowerer<Ast = unknown, TContract = unknown, TBody = unknown> = (ast: Ast, context: LowererContext<TContract>) => LoweredPayload<TBody>;
-export interface Adapter<Ast = unknown, TContract = unknown, TBody = unknown> {
-    readonly profile: AdapterProfile;
-    lower(ast: Ast, context: LowererContext<TContract>): LoweredPayload<TBody>;
-}
-//# sourceMappingURL=adapter-types.d.ts.map

package/dist/ast/adapter-types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"adapter-types.d.ts","sourceRoot":"","sources":["../../src/ast/adapter-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC;AAEnC,MAAM,WAAW,cAAc,CAAC,OAAO,SAAS,aAAa,GAAG,aAAa;IAC3E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/C;;;;OAIG;IACH,MAAM,IAAI,aAAa,CAAC;CACzB;AAED,MAAM,WAAW,cAAc,CAAC,KAAK,GAAG,OAAO;IAC7C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,cAAc,CAAC,SAAS,GAAG,OAAO;IACjD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;CACtC;AAED,MAAM,MAAM,OAAO,CAAC,GAAG,GAAG,OAAO,EAAE,SAAS,GAAG,OAAO,EAAE,KAAK,GAAG,OAAO,IAAI,CACzE,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,KAC/B,cAAc,CAAC,KAAK,CAAC,CAAC;AAE3B,MAAM,WAAW,OAAO,CAAC,GAAG,GAAG,OAAO,EAAE,SAAS,GAAG,OAAO,EAAE,KAAK,GAAG,OAAO;IAC1E,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;CAC5E"}

package/dist/ast/codec-types.d.ts

@@ -1,141 +0,0 @@
-import type { O } from 'ts-toolbelt';
-/**
- * Codec metadata for database-specific type information.
- * Used for schema introspection and verification.
- */
-export interface CodecMeta {
-    readonly db?: {
-        readonly sql?: {
-            readonly postgres?: {
-                readonly nativeType: string;
-            };
-        };
-    };
-}
-/**
- * Codec interface for encoding/decoding values between wire format and JavaScript types.
- *
- * Codecs are pure, synchronous functions with no side effects or IO.
- * They provide deterministic conversion between database wire types and JS values.
- */
-export interface Codec<Id extends string = string, TWire = unknown, TJs = unknown> {
-    /**
-     * Namespaced codec identifier in format 'namespace/name@version'
-     * Examples: 'pg/text@1', 'pg/uuid@1', 'pg/timestamptz@1'
-     */
-    readonly id: Id;
-    /**
-     * Contract scalar type IDs that this codec can handle.
-     * Examples: ['text'], ['int4', 'float8'], ['timestamp', 'timestamptz']
-     */
-    readonly targetTypes: readonly string[];
-    /**
-     * Optional metadata for database-specific type information.
-     * Used for schema introspection and verification.
-     */
-    readonly meta?: CodecMeta;
-    /**
-     * Decode a wire value (from database) to JavaScript type.
-     * Must be synchronous and pure (no side effects).
-     */
-    decode(wire: TWire): TJs;
-    /**
-     * Encode a JavaScript value to wire format (for database).
-     * Optional - if not provided, values pass through unchanged.
-     * Must be synchronous and pure (no side effects).
-     */
-    encode?(value: TJs): TWire;
-}
-/**
- * Registry interface for codecs organized by ID and by contract scalar type.
- *
- * The registry allows looking up codecs by their namespaced ID or by the
- * contract scalar types they handle. Multiple codecs may handle the same
- * scalar type; ordering in byScalar reflects preference (adapter first,
- * then packs, then app overrides).
- */
-export interface CodecRegistry {
-    get(id: string): Codec<string> | undefined;
-    has(id: string): boolean;
-    getByScalar(scalar: string): readonly Codec<string>[];
-    getDefaultCodec(scalar: string): Codec<string> | undefined;
-    register(codec: Codec<string>): void;
-    [Symbol.iterator](): Iterator<Codec<string>>;
-    values(): IterableIterator<Codec<string>>;
-}
-/**
- * Codec factory - creates a codec with typeId and encode/decode functions.
- */
-export declare function codec<Id extends string, TWire, TJs>(config: {
-    typeId: Id;
-    targetTypes: readonly string[];
-    encode: (value: TJs) => TWire;
-    decode: (wire: TWire) => TJs;
-    meta?: CodecMeta;
-}): Codec<Id, TWire, TJs>;
-/**
- * Type helpers to extract codec types.
- */
-export type CodecId<T> = T extends Codec<infer Id, unknown, unknown> ? Id : T extends {
-    readonly id: infer Id;
-} ? Id : never;
-export type CodecInput<T> = T extends Codec<string, unknown, infer JsT> ? JsT : never;
-export type CodecOutput<T> = T extends Codec<string, unknown, infer JsT> ? JsT : never;
-/**
- * Type helper to extract codec types from builder instance.
- */
-export type ExtractCodecTypes<ScalarNames extends {
-    readonly [K in keyof ScalarNames]: Codec<string>;
-} = Record<never, never>> = {
-    readonly [K in keyof ScalarNames as ScalarNames[K] extends Codec<infer Id, unknown, unknown> ? Id : never]: {
-        readonly input: CodecInput<ScalarNames[K]>;
-        readonly output: CodecOutput<ScalarNames[K]>;
-    };
-};
-/**
- * Type helper to extract data type IDs from builder instance.
- * Uses ExtractCodecTypes which preserves literal types as keys.
- * Since ExtractCodecTypes<Record<K, ScalarNames[K]>> has exactly one key (the Id),
- * we extract it by creating a mapped type that uses the Id as both key and value,
- * then extract the value type. This preserves literal types.
- */
-export type ExtractDataTypes<ScalarNames extends {
-    readonly [K in keyof ScalarNames]: Codec<string>;
-}> = {
-    readonly [K in keyof ScalarNames]: {
-        readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;
-    }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];
-};
-/**
- * Builder interface for declaring codecs.
- */
-export interface CodecDefBuilder<ScalarNames extends {
-    readonly [K in keyof ScalarNames]: Codec<string>;
-} = Record<never, never>> {
-    readonly CodecTypes: ExtractCodecTypes<ScalarNames>;
-    add<ScalarName extends string, CodecImpl extends Codec<string>>(scalarName: ScalarName, codecImpl: CodecImpl): CodecDefBuilder<O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>>;
-    readonly codecDefinitions: {
-        readonly [K in keyof ScalarNames]: {
-            readonly typeId: ScalarNames[K] extends Codec<infer Id extends string, unknown, unknown> ? Id : never;
-            readonly scalar: K;
-            readonly codec: ScalarNames[K];
-            readonly input: CodecInput<ScalarNames[K]>;
-            readonly output: CodecOutput<ScalarNames[K]>;
-            readonly jsType: CodecOutput<ScalarNames[K]>;
-        };
-    };
-    readonly dataTypes: {
-        readonly [K in keyof ScalarNames]: {
-            readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;
-        }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];
-    };
-}
-/**
- * Create a new codec registry.
- */
-export declare function createCodecRegistry(): CodecRegistry;
-/**
- * Create a new codec definition builder.
- */
-export declare function defineCodecs(): CodecDefBuilder<Record<never, never>>;
-//# sourceMappingURL=codec-types.d.ts.map

package/dist/ast/codec-types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"codec-types.d.ts","sourceRoot":"","sources":["../../src/ast/codec-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,aAAa,CAAC;AAErC;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,CAAC,EAAE;QACZ,QAAQ,CAAC,GAAG,CAAC,EAAE;YACb,QAAQ,CAAC,QAAQ,CAAC,EAAE;gBAClB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;aAC7B,CAAC;SACH,CAAC;KACH,CAAC;CACH;AAED;;;;;GAKG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM,EAAE,KAAK,GAAG,OAAO,EAAE,GAAG,GAAG,OAAO;IAC/E;;;OAGG;IACH,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAEhB;;;OAGG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAExC;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAE1B;;;OAGG;IACH,MAAM,CAAC,IAAI,EAAE,KAAK,GAAG,GAAG,CAAC;IAEzB;;;;OAIG;IACH,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,GAAG,KAAK,CAAC;CAC5B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IAC3C,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;IACzB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IACtD,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IAC3D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACrC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7C,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;CAC3C;AAqFD;;GAEG;AACH,wBAAgB,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;IAC3D,MAAM,EAAE,EAAE,CAAC;IACX,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,MAAM,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,KAAK,CAAC;IAC9B,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,GAAG,CAAC;IAC7B,IAAI,CAAC,EAAE,SAAS,CAAC;CAClB,GAAG,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAQxB;AAED;;GAEG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IACnB,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,GACvC,EAAE,GACF,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,CAAA;CAAE,GACjC,EAAE,GACF,KAAK,CAAC;AACd,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC;AACtF,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC;AAEvF;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAC3B,WAAW,SAAS;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC;CAAE,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAC7F;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,WAAW,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,GACxF,EAAE,GACF,KAAK,GAAG;QACV,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;KAC9C;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAC1B,WAAW,SAAS;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC;CAAE,IACtE;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,WAAW,GAAG;QACjC,QAAQ,EAAE,EAAE,IAAI,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE;KACxE,CAAC,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtD,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,eAAe,CAC9B,WAAW,SAAS;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC;CAAE,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;IAE/F,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAEpD,GAAG,CAAC,UAAU,SAAS,MAAM,EAAE,SAAS,SAAS,KAAK,CAAC,MAAM,CAAC,EAC5D,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,SAAS,GACnB,eAAe,CAChB,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CACxF,CAAC;IAEF,QAAQ,CAAC,gBAAgB,EAAE;QACzB,QAAQ,EAAE,CAAC,IAAI,MAAM,WAAW,GAAG;YACjC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,GACpF,EAAE,GACF,KAAK,CAAC;YACV,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACnB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;YAC/B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;SAC9C;KACF,CAAC;IAEF,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,EAAE,CAAC,IAAI,MAAM,WAAW,GAAG;YACjC,QAAQ,EAAE,EAAE,IAAI,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE;SACxE,CAAC,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACtD,CAAC;CACH;AAkHD;;GAEG;AACH,wBAAgB,mBAAmB,IAAI,aAAa,CAEnD;AAED;;GAEG;AACH,wBAAgB,YAAY,IAAI,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAEpE"}

package/dist/ast/common.d.ts

@@ -1,7 +0,0 @@
-import type { ColumnRef, LiteralExpr, OperationExpr, ParamRef, TableRef } from './types';
-export declare function createTableRef(name: string): TableRef;
-export declare function createColumnRef(table: string, column: string): ColumnRef;
-export declare function createParamRef(index: number, name?: string): ParamRef;
-export declare function createOperationExpr(operation: OperationExpr): OperationExpr;
-export declare function createLiteralExpr(value: unknown): LiteralExpr;
-//# sourceMappingURL=common.d.ts.map

package/dist/ast/common.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../src/ast/common.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAGzF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAKrD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAMxE;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,QAAQ,CAMrE;AAED,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,aAAa,GAAG,aAAa,CAE3E;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAK7D"}

package/dist/ast/delete.d.ts

@@ -1,8 +0,0 @@
-import type { ColumnRef, DeleteAst, TableRef, WhereExpr } from './types';
-export interface CreateDeleteAstOptions {
-    readonly table: TableRef;
-    readonly where: WhereExpr;
-    readonly returning?: ReadonlyArray<ColumnRef>;
-}
-export declare function createDeleteAst(options: CreateDeleteAstOptions): DeleteAst;
-//# sourceMappingURL=delete.d.ts.map

package/dist/ast/delete.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"delete.d.ts","sourceRoot":"","sources":["../../src/ast/delete.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAGzE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;CAC/C;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,sBAAsB,GAAG,SAAS,CAO1E"}