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.
- package/README.md +4 -0
- package/dist/index.js +8065 -0
- package/dist/mysql.js +4036 -2418
- package/dist/postgres/metadata.js +2536 -625
- package/dist/postgres.js +8248 -7857
- package/dist/sqlite.js +8854 -0
- package/dist/standard.js +8019 -0
- package/package.json +15 -3
- package/src/casing.ts +71 -0
- package/src/index.ts +2 -0
- package/src/internal/casing.ts +89 -0
- package/src/internal/column-state.ts +11 -6
- package/src/internal/column.ts +44 -7
- package/src/internal/datatypes/define.ts +2 -1
- package/src/internal/datatypes/enrich.ts +23 -0
- package/src/internal/datatypes/lookup.ts +14 -7
- package/src/internal/derived-table.ts +7 -13
- package/src/internal/dialect-renderers/mysql.ts +2046 -0
- package/src/{postgres/internal/sql-expression-renderer.ts → internal/dialect-renderers/postgres.ts} +867 -283
- package/src/{mysql/internal/sql-expression-renderer.ts → internal/dialect-renderers/sqlite.ts} +834 -358
- package/src/internal/dialect.ts +37 -0
- package/src/internal/dsl-mutation-runtime.ts +29 -10
- package/src/internal/dsl-plan-runtime.ts +41 -24
- package/src/internal/dsl-query-runtime.ts +11 -31
- package/src/internal/dsl-transaction-ddl-runtime.ts +61 -15
- package/src/internal/executor.ts +57 -15
- package/src/internal/expression-ast.ts +3 -2
- package/src/internal/grouping-key.ts +216 -9
- package/src/internal/implication-runtime.ts +3 -2
- package/src/internal/json/types.ts +155 -40
- package/src/internal/predicate/context.ts +14 -1
- package/src/internal/predicate/key.ts +19 -2
- package/src/internal/predicate/runtime.ts +30 -3
- package/src/internal/query.d.ts +38 -11
- package/src/internal/query.ts +315 -54
- package/src/internal/renderer.ts +51 -6
- package/src/internal/runtime/driver-value-mapping.ts +58 -0
- package/src/internal/runtime/normalize.ts +74 -43
- package/src/internal/runtime/schema.ts +5 -3
- package/src/internal/runtime/value.ts +153 -30
- package/src/internal/scalar.ts +6 -1
- package/src/internal/schema-derivation.d.ts +12 -61
- package/src/internal/schema-derivation.ts +90 -38
- package/src/internal/schema-expression.ts +2 -2
- package/src/internal/sql-expression-renderer.ts +19 -0
- package/src/internal/standard-dsl.ts +6885 -0
- package/src/internal/table-options.ts +229 -62
- package/src/internal/table.d.ts +33 -32
- package/src/internal/table.ts +469 -160
- package/src/mysql/column-extension.ts +3 -0
- package/src/mysql/column.ts +27 -12
- package/src/mysql/datatypes/index.ts +24 -2
- package/src/mysql/errors/catalog.ts +5 -5
- package/src/mysql/errors/normalize.ts +2 -2
- package/src/mysql/executor.ts +7 -5
- package/src/mysql/internal/dialect.ts +9 -4
- package/src/mysql/internal/dsl.ts +906 -324
- package/src/mysql/internal/renderer.ts +7 -2
- package/src/mysql/json.ts +37 -0
- package/src/mysql/query-extension.ts +16 -0
- package/src/mysql/query.ts +9 -2
- package/src/mysql/renderer.ts +31 -4
- package/src/mysql.ts +4 -12
- package/src/postgres/column-extension.ts +28 -0
- package/src/postgres/column.ts +9 -13
- package/src/postgres/datatypes/index.d.ts +2 -1
- package/src/postgres/datatypes/index.ts +3 -2
- package/src/postgres/errors/normalize.ts +2 -2
- package/src/postgres/executor.ts +55 -10
- package/src/postgres/function/core.ts +20 -4
- package/src/postgres/function/index.ts +1 -17
- package/src/postgres/internal/dialect.ts +9 -4
- package/src/postgres/internal/dsl.ts +850 -359
- package/src/postgres/internal/renderer.ts +7 -2
- package/src/postgres/internal/schema-ddl.ts +22 -9
- package/src/postgres/internal/schema-model.ts +244 -10
- package/src/postgres/json.ts +100 -24
- package/src/postgres/jsonb.ts +38 -0
- package/src/postgres/query-extension.ts +2 -0
- package/src/postgres/query.ts +9 -2
- package/src/postgres/renderer.ts +31 -4
- package/src/postgres/schema-management.ts +108 -16
- package/src/postgres/schema.ts +98 -15
- package/src/postgres/table.ts +203 -398
- package/src/postgres/type.ts +8 -7
- package/src/postgres.ts +9 -11
- package/src/sqlite/column-extension.ts +3 -0
- package/src/sqlite/column.ts +127 -0
- package/src/sqlite/datatypes/index.ts +80 -0
- package/src/sqlite/datatypes/spec.ts +98 -0
- package/src/sqlite/errors/catalog.ts +103 -0
- package/src/sqlite/errors/fields.ts +19 -0
- package/src/sqlite/errors/index.ts +19 -0
- package/src/sqlite/errors/normalize.ts +229 -0
- package/src/sqlite/errors/requirements.ts +71 -0
- package/src/sqlite/errors/types.ts +29 -0
- package/src/sqlite/executor.ts +229 -0
- package/src/sqlite/function/aggregate.ts +2 -0
- package/src/sqlite/function/core.ts +2 -0
- package/src/sqlite/function/index.ts +19 -0
- package/src/sqlite/function/string.ts +2 -0
- package/src/sqlite/function/temporal.ts +100 -0
- package/src/sqlite/function/window.ts +2 -0
- package/src/sqlite/internal/dialect.ts +42 -0
- package/src/sqlite/internal/dsl.ts +6979 -0
- package/src/sqlite/internal/renderer.ts +51 -0
- package/src/sqlite/json.ts +39 -0
- package/src/sqlite/query-extension.ts +2 -0
- package/src/sqlite/query.ts +196 -0
- package/src/sqlite/renderer.ts +51 -0
- package/src/sqlite.ts +14 -0
- package/src/standard/column.ts +163 -0
- package/src/standard/datatypes/index.ts +83 -0
- package/src/standard/datatypes/spec.ts +98 -0
- package/src/standard/dialect.ts +40 -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/internal/renderer.ts +45 -0
- package/src/standard/query.ts +152 -0
- package/src/standard/renderer.ts +21 -0
- package/src/standard/table.ts +147 -0
- package/src/standard.ts +18 -0
- package/src/internal/aggregation-validation.ts +0 -57
- 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
|
-
}
|
package/src/mysql/table.ts
DELETED
|
@@ -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>
|