effect-qb 0.16.0 → 0.19.0

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 (128) hide show
  1. package/README.md +4 -0
  2. package/dist/index.js +8065 -0
  3. package/dist/mysql.js +4036 -2418
  4. package/dist/postgres/metadata.js +2536 -625
  5. package/dist/postgres.js +8248 -7857
  6. package/dist/sqlite.js +8854 -0
  7. package/dist/standard.js +8019 -0
  8. package/package.json +15 -3
  9. package/src/casing.ts +71 -0
  10. package/src/index.ts +2 -0
  11. package/src/internal/casing.ts +89 -0
  12. package/src/internal/column-state.ts +11 -6
  13. package/src/internal/column.ts +44 -7
  14. package/src/internal/datatypes/define.ts +2 -1
  15. package/src/internal/datatypes/enrich.ts +23 -0
  16. package/src/internal/datatypes/lookup.ts +14 -7
  17. package/src/internal/derived-table.ts +7 -13
  18. package/src/internal/dialect-renderers/mysql.ts +2046 -0
  19. package/src/{postgres/internal/sql-expression-renderer.ts → internal/dialect-renderers/postgres.ts} +867 -283
  20. package/src/{mysql/internal/sql-expression-renderer.ts → internal/dialect-renderers/sqlite.ts} +834 -358
  21. package/src/internal/dialect.ts +37 -0
  22. package/src/internal/dsl-mutation-runtime.ts +29 -10
  23. package/src/internal/dsl-plan-runtime.ts +41 -24
  24. package/src/internal/dsl-query-runtime.ts +11 -31
  25. package/src/internal/dsl-transaction-ddl-runtime.ts +61 -15
  26. package/src/internal/executor.ts +57 -15
  27. package/src/internal/expression-ast.ts +3 -2
  28. package/src/internal/grouping-key.ts +216 -9
  29. package/src/internal/implication-runtime.ts +3 -2
  30. package/src/internal/json/types.ts +155 -40
  31. package/src/internal/predicate/context.ts +14 -1
  32. package/src/internal/predicate/key.ts +19 -2
  33. package/src/internal/predicate/runtime.ts +30 -3
  34. package/src/internal/query.d.ts +38 -11
  35. package/src/internal/query.ts +315 -54
  36. package/src/internal/renderer.ts +51 -6
  37. package/src/internal/runtime/driver-value-mapping.ts +58 -0
  38. package/src/internal/runtime/normalize.ts +74 -43
  39. package/src/internal/runtime/schema.ts +5 -3
  40. package/src/internal/runtime/value.ts +153 -30
  41. package/src/internal/scalar.ts +6 -1
  42. package/src/internal/schema-derivation.d.ts +12 -61
  43. package/src/internal/schema-derivation.ts +90 -38
  44. package/src/internal/schema-expression.ts +2 -2
  45. package/src/internal/sql-expression-renderer.ts +19 -0
  46. package/src/internal/standard-dsl.ts +6885 -0
  47. package/src/internal/table-options.ts +229 -62
  48. package/src/internal/table.d.ts +33 -32
  49. package/src/internal/table.ts +469 -160
  50. package/src/mysql/column-extension.ts +3 -0
  51. package/src/mysql/column.ts +27 -12
  52. package/src/mysql/datatypes/index.ts +24 -2
  53. package/src/mysql/errors/catalog.ts +5 -5
  54. package/src/mysql/errors/normalize.ts +2 -2
  55. package/src/mysql/executor.ts +7 -5
  56. package/src/mysql/internal/dialect.ts +9 -4
  57. package/src/mysql/internal/dsl.ts +906 -324
  58. package/src/mysql/internal/renderer.ts +7 -2
  59. package/src/mysql/json.ts +37 -0
  60. package/src/mysql/query-extension.ts +16 -0
  61. package/src/mysql/query.ts +9 -2
  62. package/src/mysql/renderer.ts +31 -4
  63. package/src/mysql.ts +4 -12
  64. package/src/postgres/column-extension.ts +28 -0
  65. package/src/postgres/column.ts +9 -13
  66. package/src/postgres/datatypes/index.d.ts +2 -1
  67. package/src/postgres/datatypes/index.ts +3 -2
  68. package/src/postgres/errors/normalize.ts +2 -2
  69. package/src/postgres/executor.ts +55 -10
  70. package/src/postgres/function/core.ts +20 -4
  71. package/src/postgres/function/index.ts +1 -17
  72. package/src/postgres/internal/dialect.ts +9 -4
  73. package/src/postgres/internal/dsl.ts +850 -359
  74. package/src/postgres/internal/renderer.ts +7 -2
  75. package/src/postgres/internal/schema-ddl.ts +22 -9
  76. package/src/postgres/internal/schema-model.ts +244 -10
  77. package/src/postgres/json.ts +100 -24
  78. package/src/postgres/jsonb.ts +38 -0
  79. package/src/postgres/query-extension.ts +2 -0
  80. package/src/postgres/query.ts +9 -2
  81. package/src/postgres/renderer.ts +31 -4
  82. package/src/postgres/schema-management.ts +108 -16
  83. package/src/postgres/schema.ts +98 -15
  84. package/src/postgres/table.ts +203 -398
  85. package/src/postgres/type.ts +8 -7
  86. package/src/postgres.ts +9 -11
  87. package/src/sqlite/column-extension.ts +3 -0
  88. package/src/sqlite/column.ts +127 -0
  89. package/src/sqlite/datatypes/index.ts +80 -0
  90. package/src/sqlite/datatypes/spec.ts +98 -0
  91. package/src/sqlite/errors/catalog.ts +103 -0
  92. package/src/sqlite/errors/fields.ts +19 -0
  93. package/src/sqlite/errors/index.ts +19 -0
  94. package/src/sqlite/errors/normalize.ts +229 -0
  95. package/src/sqlite/errors/requirements.ts +71 -0
  96. package/src/sqlite/errors/types.ts +29 -0
  97. package/src/sqlite/executor.ts +229 -0
  98. package/src/sqlite/function/aggregate.ts +2 -0
  99. package/src/sqlite/function/core.ts +2 -0
  100. package/src/sqlite/function/index.ts +19 -0
  101. package/src/sqlite/function/string.ts +2 -0
  102. package/src/sqlite/function/temporal.ts +100 -0
  103. package/src/sqlite/function/window.ts +2 -0
  104. package/src/sqlite/internal/dialect.ts +42 -0
  105. package/src/sqlite/internal/dsl.ts +6979 -0
  106. package/src/sqlite/internal/renderer.ts +51 -0
  107. package/src/sqlite/json.ts +39 -0
  108. package/src/sqlite/query-extension.ts +2 -0
  109. package/src/sqlite/query.ts +196 -0
  110. package/src/sqlite/renderer.ts +51 -0
  111. package/src/sqlite.ts +14 -0
  112. package/src/standard/column.ts +163 -0
  113. package/src/standard/datatypes/index.ts +83 -0
  114. package/src/standard/datatypes/spec.ts +98 -0
  115. package/src/standard/dialect.ts +40 -0
  116. package/src/standard/function/aggregate.ts +2 -0
  117. package/src/standard/function/core.ts +2 -0
  118. package/src/standard/function/index.ts +18 -0
  119. package/src/standard/function/string.ts +2 -0
  120. package/src/standard/function/temporal.ts +78 -0
  121. package/src/standard/function/window.ts +2 -0
  122. package/src/standard/internal/renderer.ts +45 -0
  123. package/src/standard/query.ts +152 -0
  124. package/src/standard/renderer.ts +21 -0
  125. package/src/standard/table.ts +147 -0
  126. package/src/standard.ts +18 -0
  127. package/src/internal/aggregation-validation.ts +0 -57
  128. package/src/mysql/table.ts +0 -157
@@ -1,57 +0,0 @@
1
- import * as Expression from "./scalar.js"
2
- import { groupingKeyOfExpression } from "./grouping-key.js"
3
-
4
- /** Recursive selection value accepted by aggregate-shape validation. */
5
- export type SelectionValue =
6
- | Expression.Any
7
- | {
8
- readonly [key: string]: SelectionValue
9
- }
10
-
11
- const isExpression = (value: unknown): value is Expression.Any =>
12
- typeof value === "object" && value !== null && Expression.TypeId in value
13
-
14
- const selectionHasAggregate = (selection: SelectionValue): boolean => {
15
- if (isExpression(selection)) {
16
- return selection[Expression.TypeId].kind === "aggregate"
17
- }
18
- return Object.values(selection).some((value) => selectionHasAggregate(value))
19
- }
20
-
21
- const isGroupedSelectionValid = (
22
- selection: SelectionValue,
23
- groupedExpressions: ReadonlySet<string>
24
- ): boolean => {
25
- if (isExpression(selection)) {
26
- const aggregation = selection[Expression.TypeId].kind
27
- if (aggregation === "aggregate") {
28
- return true
29
- }
30
- if (aggregation === "window") {
31
- return false
32
- }
33
- if (Object.keys(selection[Expression.TypeId].dependencies).length === 0) {
34
- return true
35
- }
36
- return groupedExpressions.has(groupingKeyOfExpression(selection))
37
- }
38
- return Object.values(selection).every((value) => isGroupedSelectionValid(value, groupedExpressions))
39
- }
40
-
41
- /**
42
- * Validates that grouped/scalar selection mixing is legal for the provided
43
- * `groupBy(...)` expressions.
44
- */
45
- export const validateAggregationSelection = (
46
- selection: SelectionValue,
47
- grouped: readonly Expression.Any[]
48
- ): void => {
49
- const groupedExpressions = new Set(grouped.map(groupingKeyOfExpression))
50
- const hasAggregate = selectionHasAggregate(selection)
51
- const isValid = hasAggregate || grouped.length > 0
52
- ? isGroupedSelectionValid(selection, groupedExpressions)
53
- : true
54
- if (!isValid) {
55
- throw new Error("Invalid grouped selection: scalar expressions must be covered by groupBy(...) when aggregates are present")
56
- }
57
- }
@@ -1,157 +0,0 @@
1
- import type * as Schema from "effect/Schema"
2
-
3
- import type * as Expression from "../internal/scalar.js"
4
- import { ColumnTypeId, type AnyColumnDefinition } from "../internal/column-state.js"
5
- import * as BaseTable from "../internal/table.js"
6
-
7
- type Dialect = "mysql"
8
-
9
- type DialectColumn = AnyColumnDefinition & {
10
- readonly [ColumnTypeId]: {
11
- readonly dbType: Expression.DbType.Any & { readonly dialect: Dialect }
12
- }
13
- }
14
-
15
- type DialectFieldMap = Record<string, DialectColumn>
16
-
17
- type InlinePrimaryKeyKeys<Fields extends DialectFieldMap> = Extract<{
18
- [K in keyof Fields]: Fields[K]["metadata"]["primaryKey"] extends true ? K : never
19
- }[keyof Fields], string>
20
-
21
- export type TableDefinition<
22
- Name extends string,
23
- Fields extends DialectFieldMap,
24
- PrimaryKeyColumns extends keyof Fields & string = InlinePrimaryKeyKeys<Fields>,
25
- Kind extends "schema" | "alias" = "schema",
26
- SchemaName extends string | undefined = undefined
27
- > = BaseTable.TableDefinition<Name, Fields, PrimaryKeyColumns, Kind, SchemaName>
28
-
29
- export type TableClassStatic<
30
- Name extends string,
31
- Fields extends DialectFieldMap,
32
- PrimaryKeyColumns extends keyof Fields & string = InlinePrimaryKeyKeys<Fields>,
33
- SchemaName extends string | undefined = undefined
34
- > = BaseTable.TableClassStatic<Name, Fields, PrimaryKeyColumns, SchemaName>
35
-
36
- export type AnyTable = BaseTable.AnyTable
37
-
38
- type FieldsOfTable<Table> = Table extends BaseTable.TableDefinition<any, infer Fields extends DialectFieldMap, any, any, any>
39
- ? Fields
40
- : Table extends BaseTable.TableClassStatic<any, infer Fields extends DialectFieldMap, any, any>
41
- ? Fields
42
- : never
43
-
44
- type PrimaryKeyOfTable<Table> = Table extends BaseTable.TableDefinition<any, any, infer PrimaryKeyColumns extends string, any, any>
45
- ? PrimaryKeyColumns
46
- : Table extends BaseTable.TableClassStatic<any, any, infer PrimaryKeyColumns extends string, any>
47
- ? PrimaryKeyColumns
48
- : never
49
-
50
- type SchemaNameOfTable<Table> = Table extends BaseTable.TableDefinition<any, any, any, any, infer SchemaName>
51
- ? SchemaName
52
- : Table extends BaseTable.TableClassStatic<any, any, any, infer SchemaName>
53
- ? SchemaName
54
- : never
55
-
56
- export type TableSchemaNamespace<SchemaName extends string> = {
57
- readonly schemaName: SchemaName
58
- readonly table: <
59
- Name extends string,
60
- Fields extends DialectFieldMap,
61
- PrimaryKeyColumns extends keyof Fields & string = InlinePrimaryKeyKeys<Fields>
62
- >(
63
- name: Name,
64
- fields: Fields,
65
- ...options: BaseTable.DeclaredTableOptions
66
- ) => TableDefinition<Name, Fields, PrimaryKeyColumns, "schema", SchemaName>
67
- }
68
-
69
- export type TableOption = BaseTable.TableOption
70
-
71
- export const TypeId = BaseTable.TypeId
72
- export const OptionsSymbol = BaseTable.OptionsSymbol
73
- export const options = BaseTable.options
74
-
75
- export const make = <
76
- Name extends string,
77
- Fields extends DialectFieldMap,
78
- SchemaName extends string | undefined = undefined
79
- >(
80
- name: Name,
81
- fields: Fields,
82
- schemaName: SchemaName = undefined as SchemaName
83
- ): TableDefinition<Name, Fields> =>
84
- BaseTable.make(name, fields, schemaName) as TableDefinition<Name, Fields>
85
-
86
- export const schema = <SchemaName extends string>(
87
- schemaName: SchemaName
88
- ): TableSchemaNamespace<SchemaName> => ({
89
- schemaName,
90
- table: <
91
- Name extends string,
92
- Fields extends DialectFieldMap,
93
- PrimaryKeyColumns extends keyof Fields & string = InlinePrimaryKeyKeys<Fields>
94
- >(
95
- name: Name,
96
- fields: Fields,
97
- ...declaredOptions: BaseTable.DeclaredTableOptions
98
- ) =>
99
- BaseTable.schema(schemaName).table(
100
- name,
101
- fields,
102
- ...declaredOptions
103
- ) as TableDefinition<Name, Fields, PrimaryKeyColumns, "schema", SchemaName>
104
- })
105
-
106
- export const alias = <
107
- Table extends AnyTable,
108
- AliasName extends string
109
- >(
110
- table: Table,
111
- aliasName: AliasName
112
- ): TableDefinition<
113
- AliasName,
114
- FieldsOfTable<Table>,
115
- PrimaryKeyOfTable<Table>,
116
- "alias",
117
- SchemaNameOfTable<Table>
118
- > =>
119
- BaseTable.alias(table as any, aliasName) as TableDefinition<
120
- AliasName,
121
- FieldsOfTable<Table>,
122
- PrimaryKeyOfTable<Table>,
123
- "alias",
124
- SchemaNameOfTable<Table>
125
- >
126
-
127
- export const Class = <Self = never, SchemaName extends string | undefined = undefined>(
128
- name: string,
129
- schemaName: SchemaName = undefined as SchemaName
130
- ) => {
131
- const base = BaseTable.Class<Self, SchemaName>(name, schemaName)
132
- return base as unknown as <
133
- Fields extends DialectFieldMap
134
- >(fields: Fields) => [Self] extends [never]
135
- ? BaseTable.MissingSelfGeneric
136
- : TableClassStatic<typeof name, Fields, InlinePrimaryKeyKeys<Fields>, SchemaName>
137
- }
138
-
139
- export const primaryKey = BaseTable.primaryKey
140
- export const unique = BaseTable.unique
141
- export const index = BaseTable.index
142
- export const foreignKey = <
143
- LocalColumns extends string | readonly string[],
144
- TargetTable extends AnyTable,
145
- TargetColumns extends string | readonly string[]
146
- >(
147
- columns: LocalColumns,
148
- target: () => TargetTable,
149
- referencedColumns: TargetColumns
150
- ): BaseTable.TableOption =>
151
- BaseTable.foreignKey(columns, target as () => BaseTable.AnyTable, referencedColumns)
152
-
153
- export const check = BaseTable.check
154
-
155
- export type SelectOf<Table extends { readonly schemas: { readonly select: Schema.Schema<any> } }> = BaseTable.SelectOf<Table>
156
- export type InsertOf<Table extends { readonly schemas: { readonly insert: Schema.Schema<any> } }> = BaseTable.InsertOf<Table>
157
- export type UpdateOf<Table extends { readonly schemas: { readonly update: Schema.Schema<any> } }> = BaseTable.UpdateOf<Table>