npm - effect-qb - Versions diffs - 4.0.0-beta.66 → 4.0.0-beta.98 - Mend

effect-qb 4.0.0-beta.66 → 4.0.0-beta.98

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (129) hide show

package/README.md +5 -2
package/dist/index.js +9376 -0
package/dist/mysql.js +3921 -2573
package/dist/postgres/metadata.js +2491 -1373
package/dist/postgres.js +5453 -5155
package/dist/sqlite.js +6895 -5529
package/dist/standard.js +9330 -0
package/package.json +9 -2
package/src/casing.ts +71 -0
package/src/index.ts +2 -0
package/src/internal/casing.ts +89 -0
package/src/internal/coercion/rules.ts +13 -1
package/src/internal/column-state.ts +21 -15
package/src/internal/column.ts +44 -7
package/src/internal/datatypes/define.ts +7 -1
package/src/internal/datatypes/enrich.ts +23 -0
package/src/internal/datatypes/lookup.ts +81 -25
package/src/internal/datatypes/matrix.ts +903 -0
package/src/internal/datatypes/shape.ts +2 -0
package/src/internal/derived-table.ts +4 -36
package/src/{mysql/internal/sql-expression-renderer.ts → internal/dialect-renderers/mysql.ts} +552 -361
package/src/{postgres/internal/sql-expression-renderer.ts → internal/dialect-renderers/postgres.ts} +657 -400
package/src/{sqlite/internal/sql-expression-renderer.ts → internal/dialect-renderers/sqlite.ts} +505 -347
package/src/internal/dialect.ts +35 -0
package/src/internal/dsl-mutation-runtime.ts +12 -162
package/src/internal/dsl-plan-runtime.ts +10 -138
package/src/internal/dsl-query-runtime.ts +5 -79
package/src/internal/dsl-transaction-ddl-runtime.ts +41 -65
package/src/internal/executor.ts +14 -16
package/src/internal/grouping-key.ts +87 -20
package/src/internal/implication-runtime.ts +1 -1
package/src/internal/json/path-access.ts +351 -0
package/src/internal/predicate/runtime.ts +3 -0
package/src/internal/query.d.ts +38 -11
package/src/internal/query.ts +64 -25
package/src/internal/renderer.ts +26 -14
package/src/internal/runtime/normalize.ts +12 -5
package/src/internal/scalar.ts +7 -1
package/src/internal/schema-derivation.d.ts +7 -7
package/src/internal/schema-derivation.ts +9 -9
package/src/internal/schema-expression.ts +2 -2
package/src/internal/sql-expression-renderer.ts +19 -0
package/src/internal/standard-dsl.ts +6978 -0
package/src/internal/table-options.ts +126 -66
package/src/internal/table.ts +652 -219
package/src/mysql/column-extension.ts +3 -0
package/src/mysql/column.ts +8 -9
package/src/mysql/datatypes/index.ts +4 -2
package/src/mysql/datatypes/spec.ts +6 -176
package/src/mysql/errors/normalize.ts +0 -1
package/src/mysql/executor.ts +7 -7
package/src/mysql/internal/dialect.ts +9 -4
package/src/mysql/internal/dsl.ts +312 -154
package/src/mysql/internal/renderer.ts +6 -2
package/src/mysql/json.ts +7 -2
package/src/mysql/query-extension.ts +16 -0
package/src/mysql/renderer.ts +37 -3
package/src/mysql/type.ts +60 -0
package/src/mysql.ts +7 -13
package/src/postgres/check.ts +1 -0
package/src/postgres/column-extension.ts +28 -0
package/src/postgres/column.ts +2 -8
package/src/postgres/datatypes/index.d.ts +2 -1
package/src/postgres/datatypes/index.ts +4 -2
package/src/postgres/datatypes/spec.ts +6 -260
package/src/postgres/errors/normalize.ts +0 -1
package/src/postgres/executor.ts +7 -7
package/src/postgres/foreign-key.ts +24 -0
package/src/postgres/function/core.ts +1 -3
package/src/postgres/function/index.ts +1 -17
package/src/postgres/index.ts +1 -0
package/src/postgres/internal/dialect.ts +9 -4
package/src/postgres/internal/dsl.ts +306 -163
package/src/postgres/internal/renderer.ts +6 -2
package/src/postgres/internal/schema-ddl.ts +22 -10
package/src/postgres/internal/schema-model.ts +238 -7
package/src/postgres/json-extension.ts +7 -0
package/src/postgres/json.ts +762 -173
package/src/postgres/jsonb.ts +37 -0
package/src/postgres/primary-key.ts +24 -0
package/src/postgres/query-extension.ts +2 -0
package/src/postgres/renderer.ts +37 -3
package/src/postgres/schema-management.ts +12 -11
package/src/postgres/schema.ts +106 -15
package/src/postgres/table.ts +205 -530
package/src/postgres/type.ts +93 -10
package/src/postgres/unique.ts +32 -0
package/src/postgres.ts +20 -16
package/src/sqlite/column-extension.ts +3 -0
package/src/sqlite/column.ts +8 -9
package/src/sqlite/datatypes/index.ts +4 -2
package/src/sqlite/datatypes/spec.ts +6 -94
package/src/sqlite/errors/normalize.ts +0 -1
package/src/sqlite/executor.ts +7 -7
package/src/sqlite/internal/dialect.ts +9 -4
package/src/sqlite/internal/dsl.ts +301 -154
package/src/sqlite/internal/renderer.ts +6 -2
package/src/sqlite/json.ts +8 -2
package/src/sqlite/query-extension.ts +2 -0
package/src/sqlite/renderer.ts +37 -3
package/src/sqlite/type.ts +40 -0
package/src/sqlite.ts +7 -13
package/src/standard/cast.ts +113 -0
package/src/standard/check.ts +17 -0
package/src/standard/column.ts +163 -0
package/src/standard/datatypes/index.ts +83 -0
package/src/standard/datatypes/spec.ts +12 -0
package/src/standard/dialect.ts +40 -0
package/src/standard/foreign-key.ts +37 -0
package/src/standard/function/aggregate.ts +2 -0
package/src/standard/function/core.ts +2 -0
package/src/standard/function/index.ts +18 -0
package/src/standard/function/string.ts +2 -0
package/src/standard/function/temporal.ts +78 -0
package/src/standard/function/window.ts +2 -0
package/src/standard/index.ts +17 -0
package/src/standard/internal/renderer.ts +45 -0
package/src/standard/json.ts +883 -0
package/src/standard/primary-key.ts +17 -0
package/src/standard/query.ts +152 -0
package/src/standard/renderer.ts +49 -0
package/src/standard/table.ts +151 -0
package/src/standard/unique.ts +17 -0
package/src/standard.ts +32 -0
package/src/internal/aggregation-validation.ts +0 -57
package/src/internal/table.d.ts +0 -180
package/src/mysql/table.ts +0 -186
package/src/postgres/cast.ts +0 -45
package/src/sqlite/table.ts +0 -175

package/src/internal/table-options.ts CHANGED Viewed

@@ -4,7 +4,10 @@ import {
   type AnyColumnDefinition,
   type IsNullable
 } from "./column-state.js"
+import type * as Casing from "./casing.js"
+import * as Expression from "./scalar.js"
 import type { Any as AnyExpression } from "./scalar.js"
+import * as SchemaExpression from "./schema-expression.js"
 import type { Any as AnySchemaExpression } from "./schema-expression.js"
 import type { TableFieldMap } from "./schema-derivation.js"
@@ -39,6 +42,27 @@ const validateReferentialAction = (action: unknown): void => {
   }
 }
+const requireColumnArray = (
+  value: unknown,
+  message: string
+): readonly string[] => {
+  if (!Array.isArray(value) || value.some((column) => typeof column !== "string" || column.length === 0)) {
+    throw new Error(message)
+  }
+  return value
+}
+const requireOptionalColumnArray = (
+  value: unknown,
+  message: string
+): readonly string[] =>
+  value === undefined ? [] : requireColumnArray(value, message)
+const isDdlExpressionLike = (value: unknown): value is DdlExpressionLike =>
+  typeof value === "object" &&
+  value !== null &&
+  (Expression.TypeId in value || SchemaExpression.TypeId in value)
 export type IndexKeySpec =
   | {
       readonly kind: "column"
@@ -91,6 +115,7 @@ export type TableOptionSpec =
       readonly references: () => {
         readonly tableName: string
         readonly schemaName?: string
+        readonly casing?: Casing.Options
         readonly columns: ColumnList
         readonly knownColumns?: readonly string[]
       }
@@ -134,6 +159,83 @@ type TupleFromColumns<Columns> = Columns extends readonly [infer Head extends st
 export type NonEmptyColumnInput<Columns extends string | readonly string[]> =
   TupleFromColumns<Columns> extends never ? never : Columns
+export type NonEmptyStringInput<Value extends string> =
+  string extends Value ? Value : Value extends "" ? never : Value
+export type LiteralStringInput<Value extends string> =
+  string extends Value ? never : NonEmptyStringInput<Value>
+type LowerAlpha =
+  | "a"
+  | "b"
+  | "c"
+  | "d"
+  | "e"
+  | "f"
+  | "g"
+  | "h"
+  | "i"
+  | "j"
+  | "k"
+  | "l"
+  | "m"
+  | "n"
+  | "o"
+  | "p"
+  | "q"
+  | "r"
+  | "s"
+  | "t"
+  | "u"
+  | "v"
+  | "w"
+  | "x"
+  | "y"
+  | "z"
+type UpperAlpha = Uppercase<LowerAlpha>
+type Digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
+type IdentifierStart = LowerAlpha | UpperAlpha | "_"
+type IdentifierRest = IdentifierStart | Digit
+type SafeIdentifierRest<Value extends string> =
+  Value extends ""
+    ? Value
+    : Value extends `${infer Head}${infer Tail}`
+      ? Head extends IdentifierRest ? SafeIdentifierRest<Tail> : never
+      : never
+type SafeSqlIdentifier<Value extends string> =
+  Value extends `${infer Head}${infer Tail}`
+    ? Head extends IdentifierStart
+      ? SafeIdentifierRest<Tail> extends never ? never : Value
+      : never
+    : never
+export type SafeSqlIdentifierPathInput<Value extends string> =
+  string extends Value
+    ? never
+    : Value extends `${infer Head}.${infer Tail}`
+      ? SafeSqlIdentifier<Head> extends never
+        ? never
+        : SafeSqlIdentifierPathInput<Tail> extends never ? never : Value
+      : SafeSqlIdentifier<Value> extends never ? never : Value
+export type SafeSqlIdentifierInput<Value extends string> =
+  string extends Value
+    ? never
+    : SafeSqlIdentifier<Value> extends never ? never : Value
+type LiteralStringTupleInput<Values extends readonly string[]> = {
+  readonly [K in keyof Values]: Values[K] extends string ? LiteralStringInput<Values[K]> : never
+} & Values
+export type CollationIdentifierInput<Value extends string | readonly [string, ...string[]]> =
+  Value extends string
+    ? LiteralStringInput<Value>
+    : Value extends readonly [string, ...string[]]
+      ? LiteralStringTupleInput<Value>
+      : never
 export type MatchingColumnArityInput<
   Left extends string | readonly string[],
   Right extends string | readonly string[]
@@ -206,11 +308,10 @@ type InlinePrimaryKeyKeys<Fields extends TableFieldMap> = Extract<{
 /** Normalizes a string or tuple input into a non-empty column list. */
 export const normalizeColumnList = (columns: string | readonly string[]): ColumnList => {
-  const normalized = Array.isArray(columns) ? [...columns] : [columns]
-  if (normalized.length === 0) {
-    throw new Error("Table options require at least one column")
+  if (typeof columns === "string") {
+    return [columns]
   }
-  return normalized as unknown as ColumnList
+  return [columns[0] as string, ...columns.slice(1)]
 }
 /** Converts inline column flags into normalized table option records. */
@@ -236,8 +337,6 @@ export const collectInlineOptions = <Fields extends TableFieldMap>(
       })
     }
     if (column.metadata.references) {
-      validateReferentialAction(column.metadata.references.onUpdate)
-      validateReferentialAction(column.metadata.references.onDelete)
       const local = [columnName] as ColumnList
       options.push({
         kind: "foreignKey",
@@ -248,6 +347,7 @@ export const collectInlineOptions = <Fields extends TableFieldMap>(
           return {
             tableName: bound.baseTableName,
             schemaName: bound.schemaName,
+            casing: bound.casing,
             columns: [bound.columnName]
           }
         },
@@ -287,24 +387,16 @@ export const resolvePrimaryKeyColumns = <Fields extends TableFieldMap>(
   const inline = Object.entries(fields)
     .filter(([, column]) => column.metadata.primaryKey)
     .map(([key]) => key) as (keyof Fields & string)[]
-  const explicit = declaredOptions
-    .filter((option) => option.kind === "primaryKey")
-    .map((option) => option.columns)
-  if (explicit.length > 1) {
-    throw new Error("Only one primary key declaration is allowed")
-  }
+  const explicit = declaredOptions.flatMap((option) => {
+    if (typeof option !== "object" || option === null || !("kind" in option) || option.kind !== "primaryKey") {
+      return []
+    }
+    return Array.isArray(option.columns) ? [option.columns] : []
+  })
   if (explicit.length === 0) {
     return inline
   }
   const tablePrimaryKey = [...explicit[0]!] as (keyof Fields & string)[]
-  if (inline.length > 0) {
-    const same =
-      inline.length === tablePrimaryKey.length &&
-      inline.every((column) => tablePrimaryKey.includes(column))
-    if (!same) {
-      throw new Error("Inline primary keys conflict with table-level primary key declaration")
-    }
-  }
   return tablePrimaryKey
 }
@@ -312,67 +404,35 @@ export const resolvePrimaryKeyColumns = <Fields extends TableFieldMap>(
 export const validateOptions = <Fields extends TableFieldMap>(
   tableName: string,
   fields: Fields,
-  options: readonly TableOptionSpec[]
+  options: unknown
 ): void => {
-  const knownColumns = new Set(Object.keys(fields))
-  for (const option of options) {
+  const tableOptions = (Array.isArray(options)
+    ? options
+    : [options]) as readonly TableOptionSpec[]
+  for (const option of tableOptions) {
+    if (typeof option !== "object" || option === null || !("kind" in option)) {
+      continue
+    }
     switch (option.kind) {
       case "index":
       case "primaryKey":
       case "unique":
       case "foreignKey": {
-        const columns = option.kind === "index"
-          ? option.columns ?? []
-          : option.columns
-        if (columns.length === 0 && option.kind !== "index") {
-          throw new Error(`Option '${option.kind}' on table '${tableName}' requires at least one column`)
-        }
-        for (const column of columns) {
-          if (!knownColumns.has(column)) {
-            throw new Error(`Unknown column '${column}' on table '${tableName}'`)
-          }
-        }
-        if (option.kind === "foreignKey") {
-          validateReferentialAction(option.onUpdate)
-          validateReferentialAction(option.onDelete)
-          const reference = option.references()
-          if (reference.columns.length !== columns.length) {
-            throw new Error(`Foreign key on table '${tableName}' must reference the same number of columns`)
-          }
-          if (reference.knownColumns) {
-            const referenced = new Set(reference.knownColumns)
-            for (const column of reference.columns) {
-              if (!referenced.has(column)) {
-                throw new Error(`Unknown referenced column '${column}' on table '${reference.tableName}'`)
-              }
-            }
-          }
-        }
         if (option.kind === "index") {
-          for (const column of option.include ?? []) {
-            if (!knownColumns.has(column)) {
-              throw new Error(`Unknown included column '${column}' on table '${tableName}'`)
-            }
-          }
-          for (const key of option.keys ?? []) {
-            if (key.kind === "column" && !knownColumns.has(key.column)) {
-              throw new Error(`Unknown index key column '${key.column}' on table '${tableName}'`)
+          const keys = Array.isArray(option.keys) ? option.keys : []
+          for (const key of keys) {
+            if (typeof key !== "object" || key === null || !("kind" in key)) {
+              continue
             }
           }
-          if (columns.length === 0 && (option.keys === undefined || option.keys.length === 0)) {
-            throw new Error(`Index on table '${tableName}' requires at least one column or key`)
-          }
         }
         break
       }
       case "check": {
         break
       }
-    }
-  }
-  for (const column of resolvePrimaryKeyColumns(fields, options)) {
-    if (fields[column]!.metadata.nullable) {
-      throw new Error(`Primary key column '${String(column)}' cannot be nullable`)
+      default:
+        break
     }
   }
 }