effect-qb 0.17.0 → 0.20.0

package/src/postgres/table.ts

@@ -1,363 +1,73 @@
-import type * as Schema from "effect/Schema"
-
-import type * as Expression from "../internal/scalar.js"
-import { ColumnTypeId, type AnyColumnDefinition } from "../internal/column-state.js"
 import * as BaseTable from "../internal/table.js"
 import type { TableOptionSpec } from "../internal/table-options.js"
 
-type Dialect = "postgres"
-
-type DialectColumn = AnyColumnDefinition & {
-  readonly [ColumnTypeId]: {
-    readonly dbType: Expression.DbType.Any & { readonly dialect: Dialect }
-  }
-}
-
-type DialectFieldMap = Record<string, DialectColumn>
-
-type InlinePrimaryKeyKeys<Fields extends DialectFieldMap> = Extract<{
-  [K in keyof Fields]: Fields[K]["metadata"]["primaryKey"] extends true ? K : never
-}[keyof Fields], string>
-
-export type TableDefinition<
-  Name extends string,
-  Fields extends DialectFieldMap,
-  PrimaryKeyColumns extends keyof Fields & string = InlinePrimaryKeyKeys<Fields>,
-  Kind extends "schema" | "alias" = "schema",
-  SchemaName extends string | undefined = "public"
-> = BaseTable.TableDefinition<Name, Fields, PrimaryKeyColumns, Kind, SchemaName>
-
-export type TableClassStatic<
-  Name extends string,
-  Fields extends DialectFieldMap,
-  PrimaryKeyColumns extends keyof Fields & string = InlinePrimaryKeyKeys<Fields>,
-  SchemaName extends string | undefined = "public"
-> = BaseTable.TableClassStatic<Name, Fields, PrimaryKeyColumns, SchemaName>
-
-export type AnyTable = BaseTable.AnyTable
-
-type FieldsOfTable<Table> = Table extends BaseTable.TableDefinition<any, infer Fields extends DialectFieldMap, any, any, any>
-  ? Fields
-  : Table extends BaseTable.TableClassStatic<any, infer Fields extends DialectFieldMap, any, any>
-    ? Fields
-    : never
-
-type ColumnNamesOfTable<Table> = Extract<keyof FieldsOfTable<Table>, string>
-
-type PrimaryKeyOfTable<Table> = Table extends BaseTable.TableDefinition<any, any, infer PrimaryKeyColumns extends string, any, any>
-  ? PrimaryKeyColumns
-  : Table extends BaseTable.TableClassStatic<any, any, infer PrimaryKeyColumns extends string, any>
-    ? PrimaryKeyColumns
-    : never
-
-type SchemaNameOfTable<Table> = Table extends BaseTable.TableDefinition<any, any, any, any, infer SchemaName>
-  ? SchemaName
-  : Table extends BaseTable.TableClassStatic<any, any, any, infer SchemaName>
-    ? SchemaName
-    : never
-
-type ApplySchemaTableOptions<
-  Name extends string,
-  Fields extends DialectFieldMap,
-  PrimaryKeyColumns extends keyof Fields & string,
-  SchemaName extends string,
-  Options extends BaseTable.DeclaredTableOptions
-> = BaseTable.ApplyDeclaredOptions<
-  BaseTable.TableDefinition<Name, Fields, PrimaryKeyColumns, "schema", SchemaName>,
-  Options
-> extends BaseTable.TableDefinition<any, any, infer AppliedPrimaryKeyColumns extends keyof Fields & string, "schema", any>
-  ? TableDefinition<Name, Fields, AppliedPrimaryKeyColumns, "schema", SchemaName>
-  : TableDefinition<Name, Fields, PrimaryKeyColumns, "schema", SchemaName>
-
-export type TableSchemaNamespace<SchemaName extends string> = {
-  readonly schemaName: SchemaName
-  readonly table: <
-    Name extends string,
-    Fields extends DialectFieldMap,
-    const Options extends BaseTable.DeclaredTableOptions,
-    PrimaryKeyColumns extends keyof Fields & string = InlinePrimaryKeyKeys<Fields>
-  >(
-    name: Name,
-    fields: Fields,
-    ...options: Options & BaseTable.ValidateDeclaredOptions<BaseTable.TableDefinition<Name, Fields, PrimaryKeyColumns, "schema", SchemaName>, Options>
-  ) => ApplySchemaTableOptions<Name, Fields, PrimaryKeyColumns, SchemaName, Options>
-}
+export type {
+  DdlExpressionLike,
+  IndexKeySpec as IndexKey,
+  ReferentialAction,
+  TableOption
+} from "../internal/table.js"
 
-export type TableOption = BaseTable.TableOption
-export type DdlExpressionLike = BaseTable.DdlExpressionLike
-export type IndexKey = BaseTable.IndexKeySpec
-export type ReferentialAction = BaseTable.ReferentialAction
-
-type SchemaTable = {
-  readonly columns: Record<string, unknown>
-}
-
-type TableExpressionFactory<Table extends SchemaTable> = (
-  columns: Table["columns"]
-) => DdlExpressionLike
-
-type TableScopedOptionBuilder<
-  Table extends SchemaTable,
-  Spec extends import("../internal/table-options.js").TableOptionSpec = import("../internal/table-options.js").TableOptionSpec
-> = {
-  (table: Table): Table
-  readonly option: Spec
-}
-
-export const TypeId = BaseTable.TypeId
-export const OptionsSymbol = BaseTable.OptionsSymbol
-export const options = BaseTable.options
-
-export const make = <
-  Name extends string,
-  Fields extends DialectFieldMap,
-  SchemaName extends string | undefined = "public"
->(
-  name: Name,
-  fields: Fields,
-  schemaName: SchemaName = "public" as SchemaName
-): TableDefinition<Name, Fields> =>
-  BaseTable.make(name, fields, schemaName) as TableDefinition<Name, Fields>
-
-export const schema = <SchemaName extends string>(
-  schemaName: SchemaName
-): TableSchemaNamespace<SchemaName> => {
-  const table = <
-    Name extends string,
-    Fields extends DialectFieldMap,
-    const Options extends BaseTable.DeclaredTableOptions,
-    PrimaryKeyColumns extends keyof Fields & string = InlinePrimaryKeyKeys<Fields>
-  >(
-    name: Name,
-    fields: Fields,
-    ...declaredOptions: Options & BaseTable.ValidateDeclaredOptions<BaseTable.TableDefinition<Name, Fields, PrimaryKeyColumns, "schema", SchemaName>, Options>
-  ) =>
-    (BaseTable.schema(schemaName).table as (
-      name: Name,
-      fields: Fields,
-      ...options: BaseTable.DeclaredTableOptions
-    ) => BaseTable.TableDefinition<any, any, any, "schema", any>)(
-      name,
-      fields,
-      ...declaredOptions
-    ) as ApplySchemaTableOptions<Name, Fields, PrimaryKeyColumns, SchemaName, Options>
-  return {
-    schemaName,
-    table
-  } as unknown as TableSchemaNamespace<SchemaName>
-}
-
-export const alias = <
-  Table extends AnyTable,
-  AliasName extends string
->(
-  table: Table,
-  aliasName: AliasName
-): TableDefinition<
-  AliasName,
-  FieldsOfTable<Table>,
-  PrimaryKeyOfTable<Table>,
-  "alias",
-  SchemaNameOfTable<Table>
-> =>
-  BaseTable.alias(table as any, aliasName) as TableDefinition<
-    AliasName,
-    FieldsOfTable<Table>,
-    PrimaryKeyOfTable<Table>,
-    "alias",
-    SchemaNameOfTable<Table>
-  >
-
-export const Class = <Self = never, SchemaName extends string | undefined = "public">(
-  name: string,
-  schemaName: SchemaName = "public" as SchemaName
-) => {
-  const base = BaseTable.Class<Self, SchemaName>(name, schemaName)
-  return base as unknown as <
-    Fields extends DialectFieldMap
-  >(fields: Fields) => [Self] extends [never]
-    ? BaseTable.MissingSelfGeneric
-    : TableClassStatic<typeof name, Fields, InlinePrimaryKeyKeys<Fields>, SchemaName>
-}
-
-export const option = BaseTable.option
-
-type RichPrimaryKeyInput<Columns extends string | readonly string[]> = {
-  readonly columns: Columns & BaseTable.NonEmptyColumnInput<Columns>
-  readonly name?: string
-  readonly deferrable?: boolean
-  readonly initiallyDeferred?: boolean
-}
-
-type RichUniqueInput<Columns extends string | readonly string[]> = {
-  readonly columns: Columns & BaseTable.NonEmptyColumnInput<Columns>
-  readonly name?: string
-  readonly nullsNotDistinct?: boolean
-  readonly deferrable?: boolean
-  readonly initiallyDeferred?: boolean
-}
-
-type RichIndexKeyInput =
-  | {
-      readonly column: string
-      readonly order?: "asc" | "desc"
-      readonly nulls?: "first" | "last"
-      readonly operatorClass?: string
-      readonly collation?: string
-    }
-  | {
-      readonly expression: DdlExpressionLike
-      readonly order?: "asc" | "desc"
-      readonly nulls?: "first" | "last"
-      readonly operatorClass?: string
-      readonly collation?: string
-    }
+type NamedSpec = Extract<TableOptionSpec, { readonly name?: string }>
+type PrimaryKeySpec = Extract<TableOptionSpec, { readonly kind: "primaryKey" }>
+type UniqueSpec = Extract<TableOptionSpec, { readonly kind: "unique" }>
+type IndexSpec = Extract<TableOptionSpec, { readonly kind: "index" }>
+type ForeignKeySpec = Extract<TableOptionSpec, { readonly kind: "foreignKey" }>
+type CheckSpec = Extract<TableOptionSpec, { readonly kind: "check" }>
 
-type RichIndexDetails = {
-  readonly name?: string
-  readonly unique?: boolean
-  readonly method?: string
-  readonly include?: readonly string[]
-  readonly predicate?: DdlExpressionLike
+type IndexKeyOptions = {
+  readonly order?: "asc" | "desc"
+  readonly nulls?: "first" | "last"
+  readonly operatorClass?: string
+  readonly collation?: string
 }
 
-type RichIndexInput<Columns extends string | readonly string[] = string | readonly string[]> = RichIndexDetails & (
+type IndexKeyInput<Table extends BaseTable.SchemaTableDefinition = BaseTable.SchemaTableDefinition> =
   | {
-      readonly columns: Columns & BaseTable.NonEmptyColumnInput<Columns>
-      readonly keys?: readonly [RichIndexKeyInput, ...RichIndexKeyInput[]]
-    }
+      readonly column: BaseTable.TableColumn<Table>
+    } & IndexKeyOptions
   | {
-      readonly columns?: Columns & BaseTable.NonEmptyColumnInput<Columns>
-      readonly keys: readonly [RichIndexKeyInput, ...RichIndexKeyInput[]]
-    }
-)
-
-type PrimaryKeyOptionSpec = Extract<TableOptionSpec, { readonly kind: "primaryKey" }>
-type UniqueOptionSpec = Extract<TableOptionSpec, { readonly kind: "unique" }>
-type IndexOptionSpec = Extract<TableOptionSpec, { readonly kind: "index" }>
-type ForeignKeyOptionSpec = Extract<TableOptionSpec, { readonly kind: "foreignKey" }>
-
-type RichPrimaryKeyOptionSpec<Columns extends string | readonly string[]> = PrimaryKeyOptionSpec & {
-  readonly kind: "primaryKey"
-  readonly columns: BaseTable.NormalizeColumns<Columns>
-}
-
-type RichUniqueOptionSpec<Columns extends string | readonly string[]> = UniqueOptionSpec & {
-  readonly kind: "unique"
-  readonly columns: BaseTable.NormalizeColumns<Columns>
-}
+      readonly expression: BaseTable.DdlExpressionLike
+    } & IndexKeyOptions
 
-type KnownTargetColumnsInput<
-  TargetTable extends AnyTable,
-  Columns extends string | readonly string[]
-> = BaseTable.NormalizeColumns<Columns> extends infer NormalizedColumns extends readonly string[]
-  ? string extends NormalizedColumns[number]
-    ? unknown
-    : Exclude<NormalizedColumns[number], ColumnNamesOfTable<TargetTable>> extends never
-      ? unknown
-      : never
+type EmptyIndexKeyOperatorClass<Key> = Key extends { readonly operatorClass: infer OperatorClass extends string }
+  ? BaseTable.NonEmptyStringInput<OperatorClass> extends never ? Key : never
   : never
 
-type RichIndexColumnOption<Spec> = Spec extends { readonly columns: infer Columns extends string | readonly string[] }
-  ? { readonly columns: BaseTable.NormalizeColumns<Columns> }
-  : {}
-
-type RichIndexIncludeOption<Spec> = Spec extends { readonly include: infer Include extends readonly string[] }
-  ? { readonly include: Include }
-  : {}
-
-type RichIndexKeySpec<Key> = Key extends { readonly column: infer Column extends string }
-  ? BaseTable.IndexKeySpec & { readonly kind: "column"; readonly column: Column }
-  : BaseTable.IndexKeySpec & { readonly kind: "expression" }
-
-type RichIndexKeys<Keys extends readonly [RichIndexKeyInput, ...RichIndexKeyInput[]]> = {
-  readonly [K in keyof Keys]: Keys[K] extends RichIndexKeyInput ? RichIndexKeySpec<Keys[K]> : never
-} & readonly [BaseTable.IndexKeySpec, ...BaseTable.IndexKeySpec[]]
-
-type RichIndexKeysOption<Spec> = Spec extends { readonly keys: infer Keys extends readonly [RichIndexKeyInput, ...RichIndexKeyInput[]] }
-  ? { readonly keys: RichIndexKeys<Keys> }
-  : {}
-
-type RichIndexColumnsConstraint<Spec> = Spec extends { readonly columns: infer Columns extends string | readonly string[] }
-  ? BaseTable.NonEmptyColumnInput<Columns> extends never ? never : unknown
-  : unknown
-
-type RichIndexOptionSpec<Spec> = IndexOptionSpec & {
-  readonly kind: "index"
-  readonly name?: string
-  readonly unique?: boolean
-  readonly method?: string
-  readonly predicate?: DdlExpressionLike
-} & RichIndexColumnOption<Spec> & RichIndexIncludeOption<Spec> & RichIndexKeysOption<Spec>
-
-type RichForeignKeyOptionSpec<
-  LocalColumns extends string | readonly string[],
-  TargetTable extends AnyTable,
-  TargetColumns extends string | readonly string[]
-> = ForeignKeyOptionSpec & {
-  readonly kind: "foreignKey"
-  readonly columns: BaseTable.NormalizeColumns<LocalColumns>
-  readonly references: () => {
-    readonly tableName: string
-    readonly schemaName?: string
-    readonly columns: BaseTable.NormalizeColumns<TargetColumns>
-    readonly knownColumns: readonly ColumnNamesOfTable<TargetTable>[]
-  }
-}
-
-type RichForeignKeyInput<
-  LocalColumns extends string | readonly string[],
-  TargetTable extends AnyTable,
-  TargetColumns extends string | readonly string[]
-> = {
-  readonly columns: LocalColumns & BaseTable.NonEmptyColumnInput<LocalColumns>
-  readonly target: () => TargetTable
-  readonly referencedColumns: TargetColumns & BaseTable.NonEmptyColumnInput<TargetColumns> & BaseTable.MatchingColumnArityInput<LocalColumns, TargetColumns> & KnownTargetColumnsInput<NoInfer<TargetTable>, TargetColumns>
-  readonly name?: string
-  readonly onUpdate?: ReferentialAction
-  readonly onDelete?: ReferentialAction
-  readonly deferrable?: boolean
-  readonly initiallyDeferred?: boolean
-}
-
-type RichCheckInput<Name extends string = string> = {
-  readonly name: Name
-  readonly predicate: DdlExpressionLike
-  readonly noInherit?: boolean
-}
-
-const isObject = (value: unknown): value is Record<string, unknown> =>
-  typeof value === "object" && value !== null && !Array.isArray(value)
-
-const isTableExpressionFactory = (value: unknown): value is TableExpressionFactory<SchemaTable> =>
-  typeof value === "function"
-
-const makeTableScopedOption = <
-  Table extends SchemaTable,
-  Spec extends import("../internal/table-options.js").TableOptionSpec
->(
-  placeholder: Spec,
-  resolve: (table: Table) => Spec
-): TableScopedOptionBuilder<Table, Spec> => {
-  const builder = ((table: Table) =>
-    BaseTable.option(resolve(table))(table as never)) as unknown as TableScopedOptionBuilder<Table, Spec>
-  ;(builder as { option: Spec }).option = placeholder
-  return builder
-}
+type EmptyIndexKeyCollation<Key> = Key extends { readonly collation: infer Collation extends string }
+  ? BaseTable.NonEmptyStringInput<Collation> extends never ? Key : never
+  : never
 
-const normalizeColumns = (columns: string | readonly string[]): readonly [string, ...string[]] => {
-  const normalized = Array.isArray(columns) ? [...columns] : [columns]
-  if (normalized.length === 0) {
-    throw new Error("Table options require at least one column")
-  }
-  return normalized as unknown as readonly [string, ...string[]]
-}
+type InvalidIndexKeyMetadata<Key> =
+  | EmptyIndexKeyOperatorClass<Key>
+  | EmptyIndexKeyCollation<Key>
+
+type NonEmptyIndexKeyInput<Key> =
+  [InvalidIndexKeyMetadata<Key>] extends [never] ? unknown : never
+
+type NormalizedIndexKey<Key> = Key extends { readonly expression: infer Expression extends BaseTable.DdlExpressionLike }
+  ? {
+      readonly kind: "expression"
+      readonly expression: Expression
+      readonly order: Key extends { readonly order: infer Order extends "asc" | "desc" } ? Order : undefined
+      readonly nulls: Key extends { readonly nulls: infer Nulls extends "first" | "last" } ? Nulls : undefined
+      readonly operatorClass: Key extends { readonly operatorClass: infer OperatorClass extends string } ? OperatorClass : undefined
+      readonly collation: Key extends { readonly collation: infer Collation extends string } ? Collation : undefined
+    }
+  : Key extends { readonly column: infer Column extends BaseTable.AnyColumnSelection }
+    ? {
+        readonly kind: "column"
+        readonly column: BaseTable.SelectedColumns<Column>[number]
+        readonly order: Key extends { readonly order: infer Order extends "asc" | "desc" } ? Order : undefined
+        readonly nulls: Key extends { readonly nulls: infer Nulls extends "first" | "last" } ? Nulls : undefined
+        readonly operatorClass: Key extends { readonly operatorClass: infer OperatorClass extends string } ? OperatorClass : undefined
+        readonly collation: Key extends { readonly collation: infer Collation extends string } ? Collation : undefined
+      }
+    : never
 
-const normalizeIndexKeys = (
-  keys: readonly [RichIndexKeyInput, ...RichIndexKeyInput[]]
-): readonly [BaseTable.IndexKeySpec, ...BaseTable.IndexKeySpec[]] =>
-  keys.map((key) => "expression" in key
-      ? {
+const normalizeIndexKey = (key: IndexKeyInput): BaseTable.IndexKeySpec =>
+  "expression" in key
+    ? {
         kind: "expression",
         expression: key.expression,
         order: key.order,
@@ -367,201 +77,158 @@ const normalizeIndexKeys = (
       }
     : {
         kind: "column",
-        column: key.column,
+        column: BaseTable.selectedColumnList(key.column)[0]!,
         order: key.order,
         nulls: key.nulls,
         operatorClass: key.operatorClass,
         collation: key.collation
-      }) as unknown as readonly [BaseTable.IndexKeySpec, ...BaseTable.IndexKeySpec[]]
-
-export const primaryKey: {
-  <const Columns extends string | readonly string[]>(
-    columns: Columns & BaseTable.NonEmptyColumnInput<Columns>
-  ): BaseTable.TableOption<{
-    readonly kind: "primaryKey"
-    readonly columns: BaseTable.NormalizeColumns<Columns>
-  }>
-  <const Columns extends string | readonly string[]>(
-    spec: RichPrimaryKeyInput<Columns>
-  ): BaseTable.TableOption<RichPrimaryKeyOptionSpec<Columns>>
-} = ((input: unknown) =>
-  isObject(input) && "columns" in input
-    ? BaseTable.option({
-        kind: "primaryKey",
-        columns: normalizeColumns((input as RichPrimaryKeyInput<string | readonly string[]>).columns),
-        name: (input as RichPrimaryKeyInput<string | readonly string[]>).name,
-        deferrable: (input as RichPrimaryKeyInput<string | readonly string[]>).deferrable,
-        initiallyDeferred: (input as RichPrimaryKeyInput<string | readonly string[]>).initiallyDeferred
-      })
-    : BaseTable.primaryKey(input as string | readonly string[])) as never
-
-export const unique: {
-  <const Columns extends string | readonly string[]>(
-    columns: Columns & BaseTable.NonEmptyColumnInput<Columns>
-  ): BaseTable.TableOption<{
-    readonly kind: "unique"
-    readonly columns: BaseTable.NormalizeColumns<Columns>
-  }>
-  <const Columns extends string | readonly string[]>(
-    spec: RichUniqueInput<Columns>
-  ): BaseTable.TableOption<RichUniqueOptionSpec<Columns>>
-} = ((input: unknown) =>
-  isObject(input) && "columns" in input && ("name" in input || "nullsNotDistinct" in input || "deferrable" in input || "initiallyDeferred" in input)
-    ? BaseTable.option({
-        kind: "unique",
-        columns: normalizeColumns((input as RichUniqueInput<string | readonly string[]>).columns),
-        name: (input as RichUniqueInput<string | readonly string[]>).name,
-        nullsNotDistinct: (input as RichUniqueInput<string | readonly string[]>).nullsNotDistinct,
-        deferrable: (input as RichUniqueInput<string | readonly string[]>).deferrable,
-        initiallyDeferred: (input as RichUniqueInput<string | readonly string[]>).initiallyDeferred
-      })
-    : BaseTable.unique(input as string | readonly string[])) as never
+      }
 
-export const index: {
-  <const Columns extends string | readonly string[]>(
-    columns: Columns & BaseTable.NonEmptyColumnInput<Columns>
-  ): BaseTable.TableOption<{
-    readonly kind: "index"
-    readonly columns: BaseTable.NormalizeColumns<Columns>
-  }>
-  <Table extends SchemaTable, const Columns extends string | readonly string[], const Spec extends Omit<RichIndexInput<Columns>, "predicate"> & {
-      readonly predicate: TableExpressionFactory<Table>
-  }>(
-    spec: Spec & RichIndexColumnsConstraint<Spec>
-  ): TableScopedOptionBuilder<Table, RichIndexOptionSpec<Spec>>
-  <const Columns extends string | readonly string[], const Spec extends RichIndexInput<Columns>>(
-    spec: Spec & RichIndexColumnsConstraint<Spec>
-  ): BaseTable.TableOption<RichIndexOptionSpec<Spec>>
-} = ((input: unknown) =>
-  isObject(input) && ("columns" in input || "keys" in input || "name" in input || "unique" in input || "method" in input || "include" in input || "predicate" in input)
-    ? (() => {
-        const spec = input as RichIndexInput<string | readonly string[]> & {
-          readonly predicate?: DdlExpressionLike | TableExpressionFactory<SchemaTable>
-        }
-        const predicate = spec.predicate
-        const placeholder = {
-          kind: "index" as const,
-          columns: spec.columns === undefined
-            ? undefined
-            : normalizeColumns(spec.columns),
-          keys: spec.keys === undefined
-            ? undefined
-            : normalizeIndexKeys(spec.keys),
-          name: spec.name,
-          unique: spec.unique,
-          method: spec.method,
-          include: spec.include,
-          predicate: predicate as unknown as DdlExpressionLike
-        }
-        return isTableExpressionFactory(predicate)
-          ? makeTableScopedOption(placeholder, (table) => ({
-              ...placeholder,
-              predicate: predicate(table.columns)
-            }))
-          : BaseTable.option({
-              ...placeholder,
-              predicate
-            })
-      })()
-    : BaseTable.index(input as string | readonly string[])) as never
-export const foreignKey = <
-  const LocalColumns extends string | readonly string[],
-  TargetTable extends AnyTable,
-  const TargetColumns extends string | readonly string[]
+/** Adds a Postgres constraint or index name to a standard table option. */
+export const named = <const Name extends string>(
+  name: BaseTable.NonEmptyStringInput<Name>
+) =>
+  <Spec extends NamedSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+    option: BaseTable.TableOption<Spec, TableContext>
+  ): BaseTable.TableOption<Spec & { readonly name: Name }, TableContext> =>
+    BaseTable.mapOption(option, (spec) => ({
+      ...spec,
+      name
+    } as Spec & { readonly name: Name }))
+
+/** Marks a standard primary key, unique, or foreign-key option as deferrable. */
+export const deferrable = <
+  Spec extends PrimaryKeySpec | UniqueSpec | ForeignKeySpec,
+  TableContext extends BaseTable.SchemaTableDefinition
+>(option: BaseTable.TableOption<Spec, TableContext>): BaseTable.TableOption<Spec & { readonly deferrable: true }, TableContext> =>
+  BaseTable.mapOption(option, (spec) => ({
+    ...spec,
+    deferrable: true
+  } as Spec & { readonly deferrable: true }))
+
+/** Marks a deferrable standard primary key, unique, or foreign-key option as initially deferred. */
+export const initiallyDeferred = <
+  Spec extends PrimaryKeySpec | UniqueSpec | ForeignKeySpec,
+  TableContext extends BaseTable.SchemaTableDefinition
+>(option: BaseTable.TableOption<Spec, TableContext>): BaseTable.TableOption<Spec & {
+  readonly deferrable: true
+  readonly initiallyDeferred: true
+}, TableContext> =>
+  BaseTable.mapOption(option, (spec) => ({
+    ...spec,
+    deferrable: true,
+    initiallyDeferred: true
+  } as Spec & { readonly deferrable: true; readonly initiallyDeferred: true }))
+
+/** Adds Postgres NULLS NOT DISTINCT to a standard unique option. */
+export const nullsNotDistinct = <Spec extends UniqueSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+  option: BaseTable.TableOption<Spec, TableContext>
+): BaseTable.TableOption<Spec & { readonly nullsNotDistinct: true }, TableContext> =>
+  BaseTable.mapOption(option, (spec) => ({
+    ...spec,
+    nullsNotDistinct: true
+  } as Spec & { readonly nullsNotDistinct: true }))
+
+/** Marks a standard index option as a Postgres unique index. */
+export const uniqueIndex = <Spec extends IndexSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+  option: BaseTable.TableOption<Spec, TableContext>
+): BaseTable.TableOption<Spec & { readonly unique: true }, TableContext> =>
+  BaseTable.mapOption(option, (spec) => ({
+    ...spec,
+    unique: true
+  } as Spec & { readonly unique: true }))
+
+/** Adds a Postgres index method to a standard index option. */
+export const using = <const Method extends string>(
+  method: BaseTable.NonEmptyStringInput<Method>
+) =>
+  <Spec extends IndexSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+    option: BaseTable.TableOption<Spec, TableContext>
+  ): BaseTable.TableOption<Spec & { readonly method: Method }, TableContext> =>
+    BaseTable.mapOption(option, (spec) => ({
+      ...spec,
+      method
+    } as Spec & { readonly method: Method }))
+
+/** Adds Postgres INCLUDE columns to a standard index option. */
+export const include = <
+  Selection extends BaseTable.AnyColumnSelection
 >(
-  columnsOrSpec: (LocalColumns & BaseTable.NonEmptyColumnInput<LocalColumns>) | RichForeignKeyInput<LocalColumns, TargetTable, TargetColumns>,
-  target?: () => TargetTable,
-  referencedColumns?: TargetColumns & BaseTable.NonEmptyColumnInput<TargetColumns> & BaseTable.MatchingColumnArityInput<LocalColumns, TargetColumns> & KnownTargetColumnsInput<NoInfer<TargetTable>, TargetColumns>
-): BaseTable.TableOption<RichForeignKeyOptionSpec<LocalColumns, TargetTable, TargetColumns>> =>
-  isObject(columnsOrSpec) && "columns" in columnsOrSpec && "target" in columnsOrSpec
-    ? (() => {
-        const spec = columnsOrSpec as RichForeignKeyInput<LocalColumns, TargetTable, TargetColumns>
-        const targetTable = spec.target()
-        const targetState = targetTable[BaseTable.TypeId]
-        return BaseTable.option({
-          kind: "foreignKey",
-          columns: normalizeColumns(spec.columns) as BaseTable.NormalizeColumns<LocalColumns>,
-          name: spec.name,
-          references: () => ({
-            tableName: targetState.baseName,
-            schemaName: targetState.schemaName,
-            columns: normalizeColumns(spec.referencedColumns) as BaseTable.NormalizeColumns<TargetColumns>,
-            knownColumns: Object.keys(targetState.fields) as unknown as readonly ColumnNamesOfTable<TargetTable>[]
-          }),
-          onUpdate: spec.onUpdate,
-          onDelete: spec.onDelete,
-          deferrable: spec.deferrable,
-          initiallyDeferred: spec.initiallyDeferred
-        } as RichForeignKeyOptionSpec<LocalColumns, TargetTable, TargetColumns>)
-      })()
-    : BaseTable.foreignKey<LocalColumns, TargetTable, TargetColumns>(
-        columnsOrSpec as LocalColumns & BaseTable.NonEmptyColumnInput<LocalColumns>,
-        target as () => TargetTable,
-        referencedColumns as TargetColumns & BaseTable.NonEmptyColumnInput<TargetColumns> & BaseTable.MatchingColumnArityInput<LocalColumns, TargetColumns> & KnownTargetColumnsInput<NoInfer<TargetTable>, TargetColumns>
-      )
-
-export const check: {
-  <Name extends string>(name: Name, predicate: DdlExpressionLike): BaseTable.TableOption
-  <Name extends string, Table extends SchemaTable>(
-    name: Name,
-    predicate: TableExpressionFactory<Table>
-  ): TableScopedOptionBuilder<Table, {
-    readonly kind: "check"
-    readonly name: Name
-    readonly predicate: DdlExpressionLike
-  }>
-  <Name extends string, Table extends SchemaTable>(
-    spec: Omit<RichCheckInput<Name>, "predicate"> & {
-      readonly predicate: TableExpressionFactory<Table>
-    }
-  ): TableScopedOptionBuilder<Table, {
-    readonly kind: "check"
-    readonly name: Name
-    readonly predicate: DdlExpressionLike
-    readonly noInherit?: boolean
-  }>
-  <Name extends string>(spec: RichCheckInput<Name>): BaseTable.TableOption
-} = ((nameOrSpec: string | RichCheckInput, predicate?: DdlExpressionLike) =>
-  isObject(nameOrSpec)
-    ? (() => {
-        const spec = nameOrSpec as RichCheckInput & {
-          readonly predicate: DdlExpressionLike | TableExpressionFactory<SchemaTable>
-        }
-        const specPredicate = spec.predicate
-        const placeholder = {
-          kind: "check" as const,
-          name: spec.name,
-          predicate: specPredicate as unknown as DdlExpressionLike,
-          noInherit: spec.noInherit
-        }
-        return isTableExpressionFactory(specPredicate)
-          ? makeTableScopedOption(placeholder, (table) => ({
-              ...placeholder,
-              predicate: specPredicate(table.columns)
-            }))
-          : BaseTable.option({
-              ...placeholder,
-              predicate: specPredicate
-            })
-      })()
-    : (() => {
-        const predicateOrFactory = predicate as DdlExpressionLike | TableExpressionFactory<SchemaTable>
-        const placeholder = {
-          kind: "check" as const,
-          name: nameOrSpec,
-          predicate: predicateOrFactory as unknown as DdlExpressionLike
-        }
-        return isTableExpressionFactory(predicateOrFactory)
-          ? makeTableScopedOption(placeholder, (table) => ({
-              ...placeholder,
-              predicate: predicateOrFactory(table.columns)
-            }))
-          : BaseTable.option({
-              ...placeholder,
-              predicate: predicateOrFactory
-            })
-      })()) as never
-
-export type SelectOf<Table extends { readonly schemas: { readonly select: Schema.Schema<any> } }> = BaseTable.SelectOf<Table>
-export type InsertOf<Table extends { readonly schemas: { readonly insert: Schema.Schema<any> } }> = BaseTable.InsertOf<Table>
-export type UpdateOf<Table extends { readonly schemas: { readonly update: Schema.Schema<any> } }> = BaseTable.UpdateOf<Table>
+  columns: (table: any) => Selection
+) =>
+  <Spec extends IndexSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+    option: BaseTable.TableOption<Spec, TableContext>
+  ): BaseTable.TableOption<Spec & { readonly include: BaseTable.SelectedColumns<Selection> }, TableContext> =>
+    BaseTable.optionFromTable({
+      ...option.option,
+      include: [] as unknown as BaseTable.SelectedColumns<Selection>
+    } as Spec & { readonly include: BaseTable.SelectedColumns<Selection> }, (table) => ({
+      ...BaseTable.resolveOption(option, table as TableContext),
+      include: BaseTable.selectedColumnList(columns(table))
+    } as Spec & { readonly include: BaseTable.SelectedColumns<Selection> }))
+
+/** Adds a Postgres partial-index predicate to a standard index option. */
+export const where = <Predicate extends BaseTable.DdlExpressionLike>(
+  predicate: Predicate
+) =>
+  <Spec extends IndexSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+    option: BaseTable.TableOption<Spec, TableContext>
+  ): BaseTable.TableOption<Spec & { readonly predicate: Predicate }, TableContext> =>
+    BaseTable.mapOption(option, (spec) => ({
+      ...spec,
+      predicate
+    } as Spec & { readonly predicate: Predicate }))
+
+/** Replaces standard index columns with a single Postgres index key. */
+export const key = <
+  Column extends BaseTable.TableColumn<BaseTable.SchemaTableDefinition>,
+  const Options extends IndexKeyOptions = {}
+>(
+  column: (table: any) => Column,
+  options?: Options & NonEmptyIndexKeyInput<Options>
+) =>
+  <Spec extends IndexSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+    option: BaseTable.TableOption<Spec, TableContext>
+  ): BaseTable.TableOption<Spec & {
+    readonly keys: readonly [NormalizedIndexKey<{ readonly column: Column } & Options>]
+  }, TableContext> =>
+    BaseTable.optionFromTable({
+      ...option.option,
+      columns: undefined,
+      keys: [] as unknown as readonly [NormalizedIndexKey<{ readonly column: Column } & Options>]
+    } as unknown as Spec & { readonly keys: readonly [NormalizedIndexKey<{ readonly column: Column } & Options>] }, (table) => ({
+      ...BaseTable.resolveOption(option, table as TableContext),
+      columns: undefined,
+      keys: [normalizeIndexKey({ column: column(table), ...options })]
+    } as unknown as Spec & { readonly keys: readonly [NormalizedIndexKey<{ readonly column: Column } & Options>] }))
+
+/** Replaces standard index columns with Postgres index keys. */
+export const keys = (
+  keys: (table: any) => readonly [IndexKeyInput, ...IndexKeyInput[]]
+) =>
+  <Spec extends IndexSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+    option: BaseTable.TableOption<Spec, TableContext>
+  ): BaseTable.TableOption<Spec & {
+    readonly keys: readonly [BaseTable.IndexKeySpec, ...BaseTable.IndexKeySpec[]]
+  }, TableContext> =>
+    BaseTable.optionFromTable({
+      ...option.option,
+      columns: undefined,
+      keys: [] as unknown as readonly [BaseTable.IndexKeySpec, ...BaseTable.IndexKeySpec[]]
+    } as Spec & { readonly keys: readonly [BaseTable.IndexKeySpec, ...BaseTable.IndexKeySpec[]] }, (table) => {
+      const resolvedKeys = keys(table)
+      return {
+        ...BaseTable.resolveOption(option, table as TableContext),
+        columns: undefined,
+        keys: [normalizeIndexKey(resolvedKeys[0]), ...resolvedKeys.slice(1).map(normalizeIndexKey)]
+      } as Spec & { readonly keys: readonly [BaseTable.IndexKeySpec, ...BaseTable.IndexKeySpec[]] }
+    })
+
+/** Adds Postgres NO INHERIT to a standard check option. */
+export const noInherit = <Spec extends CheckSpec, TableContext extends BaseTable.SchemaTableDefinition>(
+  option: BaseTable.TableOption<Spec, TableContext>
+): BaseTable.TableOption<Spec & { readonly noInherit: true }, TableContext> =>
+  BaseTable.mapOption(option, (spec) => ({
+    ...spec,
+    noInherit: true
+  } as Spec & { readonly noInherit: true }))