@prisma-next/contract-authoring 0.3.0-dev.4 → 0.3.0-dev.41

package/src/table-builder.ts

@@ -0,0 +1,295 @@
+import type { ColumnDefault, ExecutionMutationDefaultValue } from '@prisma-next/contract/types';
+import { ifDefined } from '@prisma-next/utils/defined';
+import type {
+  ColumnBuilderState,
+  ColumnTypeDescriptor,
+  ForeignKeyDef,
+  IndexDef,
+  TableBuilderState,
+  UniqueConstraintDef,
+} from './builder-state';
+
+/**
+ * Column options for nullable columns.
+ */
+interface NullableColumnOptions<Descriptor extends ColumnTypeDescriptor> {
+  type: Descriptor;
+  nullable: true;
+  typeParams?: Record<string, unknown>;
+  default?: ColumnDefault;
+}
+
+/**
+ * Column options for non-nullable columns.
+ * Non-nullable columns can optionally have a default value.
+ */
+interface NonNullableColumnOptions<Descriptor extends ColumnTypeDescriptor> {
+  type: Descriptor;
+  nullable?: false;
+  typeParams?: Record<string, unknown>;
+  default?: ColumnDefault;
+}
+
+type GeneratedColumnOptions<Descriptor extends ColumnTypeDescriptor> = Omit<
+  NonNullableColumnOptions<Descriptor>,
+  'default' | 'nullable'
+> & {
+  /**
+   * Generated columns are always non-nullable and use mutation-time defaults
+   * that the runtime injects when the column is omitted from insert input.
+   */
+  nullable?: false;
+  generated: ExecutionMutationDefaultValue;
+};
+
+/** Column options for any column nullability. */
+type ColumnOptions<Descriptor extends ColumnTypeDescriptor> =
+  | NullableColumnOptions<Descriptor>
+  | NonNullableColumnOptions<Descriptor>;
+
+type NullableFromOptions<TOptions> = TOptions extends { nullable: true } ? true : false;
+
+interface TableBuilderInternalState<
+  Name extends string,
+  Columns extends Record<string, ColumnBuilderState<string, boolean, string>>,
+  PrimaryKey extends readonly string[] | undefined,
+> {
+  readonly name: Name;
+  readonly columns: Columns;
+  readonly primaryKey: PrimaryKey;
+  readonly primaryKeyName: string | undefined;
+  readonly uniques: readonly UniqueConstraintDef[];
+  readonly indexes: readonly IndexDef[];
+  readonly foreignKeys: readonly ForeignKeyDef[];
+}
+
+/**
+ * Creates a new table builder with the given name.
+ * This is the preferred way to create a TableBuilder - it ensures
+ * type parameters are inferred correctly without unsafe casts.
+ */
+export function createTable<Name extends string>(name: Name): TableBuilder<Name> {
+  return new TableBuilder(name, {}, undefined, undefined, [], [], []);
+}
+
+/**
+ * Builder for defining table structure with type-safe chaining.
+ * Use `createTable(name)` to create instances.
+ */
+export class TableBuilder<
+  Name extends string,
+  Columns extends Record<string, ColumnBuilderState<string, boolean, string>> = Record<
+    never,
+    ColumnBuilderState<string, boolean, string>
+  >,
+  PrimaryKey extends readonly string[] | undefined = undefined,
+> {
+  private readonly _state: TableBuilderInternalState<Name, Columns, PrimaryKey>;
+
+  /** @internal Use createTable() instead */
+  constructor(
+    name: Name,
+    columns: Columns,
+    primaryKey: PrimaryKey,
+    primaryKeyName: string | undefined,
+    uniques: readonly UniqueConstraintDef[],
+    indexes: readonly IndexDef[],
+    foreignKeys: readonly ForeignKeyDef[],
+  ) {
+    this._state = {
+      name,
+      columns,
+      primaryKey,
+      primaryKeyName,
+      uniques,
+      indexes,
+      foreignKeys,
+    };
+  }
+
+  private get _name(): Name {
+    return this._state.name;
+  }
+
+  private get _columns(): Columns {
+    return this._state.columns;
+  }
+
+  private get _primaryKey(): PrimaryKey {
+    return this._state.primaryKey;
+  }
+
+  /** Add a nullable column to the table. */
+  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(
+    name: ColName,
+    options: NullableColumnOptions<Descriptor>,
+  ): TableBuilder<
+    Name,
+    Columns & Record<ColName, ColumnBuilderState<ColName, true, Descriptor['codecId']>>,
+    PrimaryKey
+  >;
+
+  /**
+   * Add a non-nullable column to the table.
+   * Non-nullable columns can optionally have a default value.
+   */
+  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(
+    name: ColName,
+    options: NonNullableColumnOptions<Descriptor>,
+  ): TableBuilder<
+    Name,
+    Columns & Record<ColName, ColumnBuilderState<ColName, false, Descriptor['codecId']>>,
+    PrimaryKey
+  >;
+
+  /**
+   * Implementation of the column method.
+   */
+  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(
+    name: ColName,
+    options: ColumnOptions<Descriptor>,
+  ): TableBuilder<
+    Name,
+    Columns & Record<ColName, ColumnBuilderState<ColName, boolean, Descriptor['codecId']>>,
+    PrimaryKey
+  > {
+    return this.columnInternal(name, options);
+  }
+
+  generated<ColName extends string, Descriptor extends ColumnTypeDescriptor>(
+    name: ColName,
+    options: GeneratedColumnOptions<Descriptor>,
+  ): TableBuilder<
+    Name,
+    Columns & Record<ColName, ColumnBuilderState<ColName, false, Descriptor['codecId']>>,
+    PrimaryKey
+  > {
+    const { generated, ...columnOptions } = options;
+    return this.columnInternal(name, columnOptions, generated);
+  }
+
+  private columnInternal<
+    ColName extends string,
+    Descriptor extends ColumnTypeDescriptor,
+    Options extends ColumnOptions<Descriptor>,
+  >(
+    name: ColName,
+    options: Options,
+    executionDefault?: ExecutionMutationDefaultValue,
+  ): TableBuilder<
+    Name,
+    Columns &
+      Record<
+        ColName,
+        ColumnBuilderState<ColName, NullableFromOptions<Options>, Descriptor['codecId']>
+      >,
+    PrimaryKey
+  > {
+    const nullable = options.nullable ?? false;
+    const { codecId, nativeType, typeParams: descriptorTypeParams, typeRef } = options.type;
+    const typeParams = options.typeParams ?? descriptorTypeParams;
+
+    const columnState = {
+      name,
+      nullable,
+      type: codecId,
+      nativeType,
+      ...ifDefined('typeParams', typeParams),
+      ...ifDefined('typeRef', typeRef),
+      ...ifDefined('default', 'default' in options ? options.default : undefined),
+      ...ifDefined('executionDefault', executionDefault),
+    } as ColumnBuilderState<ColName, NullableFromOptions<Options>, Descriptor['codecId']>;
+    const newColumns = { ...this._columns, [name]: columnState } as Columns &
+      Record<
+        ColName,
+        ColumnBuilderState<ColName, NullableFromOptions<Options>, Descriptor['codecId']>
+      >;
+    return new TableBuilder(
+      this._state.name,
+      newColumns,
+      this._state.primaryKey,
+      this._state.primaryKeyName,
+      this._state.uniques,
+      this._state.indexes,
+      this._state.foreignKeys,
+    );
+  }
+
+  primaryKey<PK extends readonly string[]>(
+    columns: PK,
+    name?: string,
+  ): TableBuilder<Name, Columns, PK> {
+    return new TableBuilder(
+      this._state.name,
+      this._state.columns,
+      columns,
+      name,
+      this._state.uniques,
+      this._state.indexes,
+      this._state.foreignKeys,
+    );
+  }
+
+  unique(columns: readonly string[], name?: string): TableBuilder<Name, Columns, PrimaryKey> {
+    const constraint: UniqueConstraintDef = name ? { columns, name } : { columns };
+    return new TableBuilder(
+      this._state.name,
+      this._state.columns,
+      this._state.primaryKey,
+      this._state.primaryKeyName,
+      [...this._state.uniques, constraint],
+      this._state.indexes,
+      this._state.foreignKeys,
+    );
+  }
+
+  index(columns: readonly string[], name?: string): TableBuilder<Name, Columns, PrimaryKey> {
+    const indexDef: IndexDef = name ? { columns, name } : { columns };
+    return new TableBuilder(
+      this._state.name,
+      this._state.columns,
+      this._state.primaryKey,
+      this._state.primaryKeyName,
+      this._state.uniques,
+      [...this._state.indexes, indexDef],
+      this._state.foreignKeys,
+    );
+  }
+
+  foreignKey(
+    columns: readonly string[],
+    references: { table: string; columns: readonly string[] },
+    opts?: { name?: string; constraint?: boolean; index?: boolean },
+  ): TableBuilder<Name, Columns, PrimaryKey> {
+    const fkDef: ForeignKeyDef = {
+      columns,
+      references,
+      ...(opts?.name !== undefined && { name: opts.name }),
+      ...(opts?.constraint !== undefined && { constraint: opts.constraint }),
+      ...(opts?.index !== undefined && { index: opts.index }),
+    };
+    return new TableBuilder(
+      this._state.name,
+      this._state.columns,
+      this._state.primaryKey,
+      this._state.primaryKeyName,
+      this._state.uniques,
+      this._state.indexes,
+      [...this._state.foreignKeys, fkDef],
+    );
+  }
+
+  build(): TableBuilderState<Name, Columns, PrimaryKey> {
+    return {
+      name: this._name,
+      columns: this._columns,
+      ...(this._primaryKey !== undefined ? { primaryKey: this._primaryKey } : {}),
+      ...(this._state.primaryKeyName !== undefined
+        ? { primaryKeyName: this._state.primaryKeyName }
+        : {}),
+      uniques: this._state.uniques,
+      indexes: this._state.indexes,
+      foreignKeys: this._state.foreignKeys,
+    } as TableBuilderState<Name, Columns, PrimaryKey>;
+  }
+}

package/src/types.ts

@@ -0,0 +1,133 @@
+import type { ColumnDefault } from '@prisma-next/contract/types';
+import type {
+  ColumnBuilderState,
+  ModelBuilderState,
+  RelationDefinition,
+  TableBuilderState,
+} from './builder-state';
+
+export type BuildStorageColumn<Nullable extends boolean, Type extends string> = {
+  readonly nativeType: string;
+  readonly codecId: Type;
+  readonly nullable: Nullable;
+  readonly typeParams?: Record<string, unknown>;
+  readonly typeRef?: string;
+  readonly default?: ColumnDefault;
+};
+
+export type ExtractColumns<
+  T extends TableBuilderState<
+    string,
+    Record<string, ColumnBuilderState<string, boolean, string>>,
+    readonly string[] | undefined
+  >,
+> = T extends TableBuilderState<string, infer C, readonly string[] | undefined> ? C : never;
+
+export type ExtractPrimaryKey<
+  T extends TableBuilderState<
+    string,
+    Record<string, ColumnBuilderState<string, boolean, string>>,
+    readonly string[] | undefined
+  >,
+> =
+  T extends TableBuilderState<
+    string,
+    Record<string, ColumnBuilderState<string, boolean, string>>,
+    infer PK
+  >
+    ? PK
+    : never;
+
+export type BuildStorage<
+  Tables extends Record<
+    string,
+    TableBuilderState<
+      string,
+      Record<string, ColumnBuilderState<string, boolean, string>>,
+      readonly string[] | undefined
+    >
+  >,
+> = {
+  readonly tables: {
+    readonly [K in keyof Tables]: {
+      readonly columns: {
+        readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<
+          Tables[K]
+        >[ColK] extends ColumnBuilderState<string, infer Null, infer TType>
+          ? BuildStorageColumn<Null & boolean, TType>
+          : never;
+      };
+    };
+  };
+};
+
+export type BuildStorageTables<
+  Tables extends Record<
+    string,
+    TableBuilderState<
+      string,
+      Record<string, ColumnBuilderState<string, boolean, string>>,
+      readonly string[] | undefined
+    >
+  >,
+> = {
+  readonly [K in keyof Tables]: {
+    readonly columns: {
+      readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<
+        Tables[K]
+      >[ColK] extends ColumnBuilderState<string, infer Null, infer TType>
+        ? BuildStorageColumn<Null & boolean, TType>
+        : never;
+    };
+  };
+};
+
+export type Mutable<T> = {
+  -readonly [K in keyof T]-?: T[K];
+};
+
+export type BuildModelFields<Fields extends Record<string, string>> = {
+  readonly [K in keyof Fields]: { readonly column: Fields[K] };
+};
+
+export type ExtractModelFields<
+  T extends ModelBuilderState<
+    string,
+    string,
+    Record<string, string>,
+    Record<string, RelationDefinition>
+  >,
+> =
+  T extends ModelBuilderState<string, string, infer F, Record<string, RelationDefinition>>
+    ? F
+    : never;
+
+export type ExtractModelRelations<
+  T extends ModelBuilderState<
+    string,
+    string,
+    Record<string, string>,
+    Record<string, RelationDefinition>
+  >,
+> = T extends ModelBuilderState<string, string, Record<string, string>, infer R> ? R : never;
+
+export type BuildModels<
+  Models extends Record<
+    string,
+    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>
+  >,
+> = {
+  readonly [K in keyof Models]: {
+    readonly storage: { readonly table: Models[K]['table'] };
+    readonly fields: BuildModelFields<ExtractModelFields<Models[K]>>;
+  };
+};
+
+export type BuildRelations<
+  Models extends Record<
+    string,
+    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>
+  >,
+> = {
+  readonly [K in keyof Models as Models[K]['table']]: ExtractModelRelations<Models[K]>;
+};

package/dist/index.d.ts

@@ -1,175 +0,0 @@
-import { TargetPackRef } from '@prisma-next/contract/framework-components';
-
-/**
- * Column type descriptor containing both codec ID and native type.
- * Used when defining columns with descriptor objects instead of string IDs.
- */
-type ColumnTypeDescriptor = {
-    readonly codecId: string;
-    readonly nativeType: string;
-};
-interface ColumnBuilderState<Name extends string, Nullable extends boolean, Type extends string> {
-    readonly name: Name;
-    readonly nullable: Nullable;
-    readonly type: Type;
-    readonly nativeType: string;
-}
-interface TableBuilderState<Name extends string, Columns extends Record<string, ColumnBuilderState<string, boolean, string>>, PrimaryKey extends readonly string[] | undefined> {
-    readonly name: Name;
-    readonly columns: Columns;
-    readonly primaryKey?: PrimaryKey;
-}
-type RelationDefinition = {
-    readonly to: string;
-    readonly cardinality: '1:1' | '1:N' | 'N:1' | 'N:M';
-    readonly on: {
-        readonly parentCols: readonly string[];
-        readonly childCols: readonly string[];
-    };
-    readonly through?: {
-        readonly table: string;
-        readonly parentCols: readonly string[];
-        readonly childCols: readonly string[];
-    };
-};
-interface ModelBuilderState<Name extends string, Table extends string, Fields extends Record<string, string>, Relations extends Record<string, RelationDefinition>> {
-    readonly name: Name;
-    readonly table: Table;
-    readonly fields: Fields;
-    readonly relations: Relations;
-}
-interface ContractBuilderState<Target extends string | undefined = string | undefined, Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = Record<never, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>, Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = Record<never, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>, CoreHash extends string | undefined = string | undefined, ExtensionPacks extends Record<string, unknown> | undefined = undefined, Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined> {
-    readonly target?: Target;
-    readonly tables: Tables;
-    readonly models: Models;
-    readonly coreHash?: CoreHash;
-    readonly extensionPacks?: ExtensionPacks;
-    readonly capabilities?: Capabilities;
-    /**
-     * Array of extension pack namespace identifiers (e.g., ['pgvector', 'postgis']).
-     * Populated when extension packs are registered during contract building.
-     * Used to track which extension packs are included in the contract.
-     * Can be undefined or empty if no extension packs are registered.
-     * Namespace format matches the extension pack ID (e.g., 'pgvector', not 'pgvector@1.0.0').
-     */
-    readonly extensionNamespaces?: readonly string[];
-}
-interface ColumnBuilder<Name extends string, Nullable extends boolean, Type extends string> {
-    nullable<Value extends boolean>(value?: Value): ColumnBuilder<Name, Value, Type>;
-    type<Id extends string>(id: Id): ColumnBuilder<Name, Nullable, Id>;
-    build(): ColumnBuilderState<Name, Nullable, Type>;
-}
-
-declare class ModelBuilder<Name extends string, Table extends string, Fields extends Record<string, string> = Record<never, never>, Relations extends Record<string, RelationDefinition> = Record<never, never>> {
-    private readonly _name;
-    private readonly _table;
-    private readonly _fields;
-    private readonly _relations;
-    constructor(name: Name, table: Table, fields?: Fields, relations?: Relations);
-    field<FieldName extends string, ColumnName extends string>(fieldName: FieldName, columnName: ColumnName): ModelBuilder<Name, Table, Fields & Record<FieldName, ColumnName>, Relations>;
-    relation<RelationName extends string, ToModel extends string, ToTable extends string>(name: RelationName, options: {
-        toModel: ToModel;
-        toTable: ToTable;
-        cardinality: '1:1' | '1:N' | 'N:1';
-        on: {
-            parentTable: Table;
-            parentColumns: readonly string[];
-            childTable: ToTable;
-            childColumns: readonly string[];
-        };
-    }): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>>;
-    relation<RelationName extends string, ToModel extends string, ToTable extends string, JunctionTable extends string>(name: RelationName, options: {
-        toModel: ToModel;
-        toTable: ToTable;
-        cardinality: 'N:M';
-        through: {
-            table: JunctionTable;
-            parentColumns: readonly string[];
-            childColumns: readonly string[];
-        };
-        on: {
-            parentTable: Table;
-            parentColumns: readonly string[];
-            childTable: JunctionTable;
-            childColumns: readonly string[];
-        };
-    }): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>>;
-    build(): ModelBuilderState<Name, Table, Fields, Relations>;
-}
-
-declare class TableBuilder<Name extends string, Columns extends Record<string, ColumnBuilderState<string, boolean, string>> = Record<never, ColumnBuilderState<string, boolean, string>>, PrimaryKey extends readonly string[] | undefined = undefined> {
-    private readonly _name;
-    private readonly _columns;
-    private readonly _primaryKey;
-    constructor(name: Name, columns?: Columns, primaryKey?: PrimaryKey);
-    column<ColName extends string, Descriptor extends ColumnTypeDescriptor, Nullable extends boolean | undefined = undefined>(name: ColName, options: {
-        type: Descriptor;
-        nullable?: Nullable;
-    }): TableBuilder<Name, Columns & Record<ColName, ColumnBuilderState<ColName, Nullable extends true ? true : false, Descriptor['codecId']>>, PrimaryKey>;
-    primaryKey<PK extends readonly string[]>(columns: PK, _name?: string): TableBuilder<Name, Columns, PK>;
-    unique(_columns: readonly string[], _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
-    index(_columns: readonly string[], _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
-    foreignKey(_columns: readonly string[], _references: {
-        table: string;
-        columns: readonly string[];
-    }, _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
-    build(): TableBuilderState<Name, Columns, PrimaryKey>;
-}
-
-declare class ContractBuilder<Target extends string | undefined = undefined, Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = Record<never, never>, Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = Record<never, never>, CoreHash extends string | undefined = undefined, ExtensionPacks extends Record<string, unknown> | undefined = undefined, Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined> {
-    protected readonly state: ContractBuilderState<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
-    constructor(state?: ContractBuilderState<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>);
-    target<T extends string>(packRef: TargetPackRef<string, T>): ContractBuilder<T, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
-    capabilities<C extends Record<string, Record<string, boolean>>>(capabilities: C): ContractBuilder<Target, Tables, Models, CoreHash, ExtensionPacks, C>;
-    table<TableName extends string, T extends TableBuilder<TableName, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>(name: TableName, callback: (t: TableBuilder<TableName>) => T | undefined): ContractBuilder<Target, Tables & Record<TableName, ReturnType<T['build']>>, Models, CoreHash, ExtensionPacks, Capabilities>;
-    model<ModelName extends string, TableName extends string, M extends ModelBuilder<ModelName, TableName, Record<string, string>, Record<string, RelationDefinition>>>(name: ModelName, table: TableName, callback: (m: ModelBuilder<ModelName, TableName, Record<string, string>, Record<never, never>>) => M | undefined): ContractBuilder<Target, Tables, Models & Record<ModelName, ReturnType<M['build']>>, CoreHash, ExtensionPacks, Capabilities>;
-    coreHash<H extends string>(hash: H): ContractBuilder<Target, Tables, Models, H, ExtensionPacks, Capabilities>;
-}
-declare function defineContract(): ContractBuilder;
-
-type BuildStorageColumn<Nullable extends boolean, Type extends string> = {
-    readonly nativeType: string;
-    readonly codecId: Type;
-    readonly nullable: Nullable;
-};
-type ExtractColumns<T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = T extends TableBuilderState<string, infer C, readonly string[] | undefined> ? C : never;
-type ExtractPrimaryKey<T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, infer PK> ? PK : never;
-type BuildStorage<Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>> = {
-    readonly tables: {
-        readonly [K in keyof Tables]: {
-            readonly columns: {
-                readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<Tables[K]>[ColK] extends ColumnBuilderState<string, infer Null, infer TType> ? BuildStorageColumn<Null & boolean, TType> : never;
-            };
-        };
-    };
-};
-type BuildStorageTables<Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>> = {
-    readonly [K in keyof Tables]: {
-        readonly columns: {
-            readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<Tables[K]>[ColK] extends ColumnBuilderState<string, infer Null, infer TType> ? BuildStorageColumn<Null & boolean, TType> : never;
-        };
-    };
-};
-type Mutable<T> = {
-    -readonly [K in keyof T]-?: T[K];
-};
-type BuildModelFields<Fields extends Record<string, string>> = {
-    readonly [K in keyof Fields]: {
-        readonly column: Fields[K];
-    };
-};
-type ExtractModelFields<T extends ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = T extends ModelBuilderState<string, string, infer F, Record<string, RelationDefinition>> ? F : never;
-type ExtractModelRelations<T extends ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = T extends ModelBuilderState<string, string, Record<string, string>, infer R> ? R : never;
-type BuildModels<Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>> = {
-    readonly [K in keyof Models]: {
-        readonly storage: {
-            readonly table: Models[K]['table'];
-        };
-        readonly fields: BuildModelFields<ExtractModelFields<Models[K]>>;
-    };
-};
-type BuildRelations<Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>> = {
-    readonly [K in keyof Models as Models[K]['table']]: ExtractModelRelations<Models[K]>;
-};
-
-export { type BuildModelFields, type BuildModels, type BuildRelations, type BuildStorage, type BuildStorageColumn, type BuildStorageTables, type ColumnBuilder, type ColumnBuilderState, type ColumnTypeDescriptor, ContractBuilder, type ContractBuilderState, type ExtractColumns, type ExtractModelFields, type ExtractModelRelations, type ExtractPrimaryKey, ModelBuilder, type ModelBuilderState, type Mutable, type RelationDefinition, TableBuilder, type TableBuilderState, defineContract };