@prisma-next/sql-lane-query-builder 0.11.0 → 0.12.0-dev.10
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/dist/index.d.mts +101 -72
- package/dist/index.d.mts.map +1 -1
- package/dist/index.mjs.map +1 -1
- package/package.json +17 -9
package/dist/index.d.mts
CHANGED
|
@@ -1,4 +1,15 @@
|
|
|
1
|
-
//#region ../../../1-framework/0-foundation/contract/dist/
|
|
1
|
+
//#region ../../../1-framework/0-foundation/contract/dist/domain-envelope-Cv5OTm8D.d.mts
|
|
2
|
+
//#region src/namespace-id.d.ts
|
|
3
|
+
type NamespaceId = string & {
|
|
4
|
+
readonly __brand: 'NamespaceId';
|
|
5
|
+
};
|
|
6
|
+
//#endregion
|
|
7
|
+
//#region src/cross-reference.d.ts
|
|
8
|
+
interface CrossReference {
|
|
9
|
+
readonly namespace: NamespaceId;
|
|
10
|
+
readonly model: string;
|
|
11
|
+
}
|
|
12
|
+
//#endregion
|
|
2
13
|
//#region src/domain-types.d.ts
|
|
3
14
|
type ScalarFieldType = {
|
|
4
15
|
readonly kind: 'scalar';
|
|
@@ -25,12 +36,12 @@ type ContractRelationOn = {
|
|
|
25
36
|
readonly targetFields: readonly string[];
|
|
26
37
|
};
|
|
27
38
|
type ContractReferenceRelation = {
|
|
28
|
-
readonly to:
|
|
39
|
+
readonly to: CrossReference;
|
|
29
40
|
readonly cardinality: '1:1' | '1:N' | 'N:1';
|
|
30
41
|
readonly on: ContractRelationOn;
|
|
31
42
|
};
|
|
32
43
|
type ContractEmbedRelation = {
|
|
33
|
-
readonly to:
|
|
44
|
+
readonly to: CrossReference;
|
|
34
45
|
readonly cardinality: '1:1' | '1:N';
|
|
35
46
|
};
|
|
36
47
|
type ContractRelation = ContractReferenceRelation | ContractEmbedRelation;
|
|
@@ -50,9 +61,45 @@ interface ContractModelBase<TModelStorage extends ModelStorageBase = ModelStorag
|
|
|
50
61
|
readonly storage: TModelStorage;
|
|
51
62
|
readonly discriminator?: ContractDiscriminator;
|
|
52
63
|
readonly variants?: Record<string, ContractVariantEntry>;
|
|
53
|
-
readonly base?:
|
|
64
|
+
readonly base?: CrossReference;
|
|
54
65
|
readonly owner?: string;
|
|
55
66
|
}
|
|
67
|
+
/**
|
|
68
|
+
* One namespace's application-domain entities — models and optional value
|
|
69
|
+
* objects keyed by entity name within that namespace coordinate.
|
|
70
|
+
*/
|
|
71
|
+
interface ApplicationDomainNamespace<TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
|
|
72
|
+
readonly models: TModels;
|
|
73
|
+
readonly valueObjects?: Record<string, ContractValueObject>;
|
|
74
|
+
}
|
|
75
|
+
/**
|
|
76
|
+
* Application-domain envelope: entity content keyed by namespace id.
|
|
77
|
+
* Mirrors the storage plane's `namespaces` segment (ADR 221).
|
|
78
|
+
*/
|
|
79
|
+
interface ApplicationDomain<TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
|
|
80
|
+
readonly namespaces: Readonly<Record<string, ApplicationDomainNamespace<TModels>>>;
|
|
81
|
+
}
|
|
82
|
+
//#endregion
|
|
83
|
+
//#region ../../../1-framework/0-foundation/contract/dist/contract-types-jgIOdqua.d.mts
|
|
84
|
+
//#region src/control-policy.d.ts
|
|
85
|
+
/**
|
|
86
|
+
* Governance posture for a storage-plane node or for the contract as a whole.
|
|
87
|
+
*
|
|
88
|
+
* - `managed` — Prisma Next owns the full lifecycle (DDL, migrations, verification).
|
|
89
|
+
* - `tolerated` — node was found in the database but is not schema-managed; Prisma Next
|
|
90
|
+
* leaves it untouched while tracking its existence.
|
|
91
|
+
* - `external` — node is owned by an external system; Prisma Next never emits DDL for it.
|
|
92
|
+
* - `observed` — read-only access; Prisma Next does not write to or migrate the node.
|
|
93
|
+
*/
|
|
94
|
+
type ControlPolicy = 'managed' | 'tolerated' | 'external' | 'observed';
|
|
95
|
+
/**
|
|
96
|
+
* Resolves the effective control policy for a storage-plane node.
|
|
97
|
+
*
|
|
98
|
+
* Precedence: node-level value → contract default → `'managed'`.
|
|
99
|
+
*
|
|
100
|
+
* Both parameters are optional raw values so this function stays node-type-agnostic
|
|
101
|
+
* and can be called by any consumer (verifier, planner, etc.) without importing IR classes.
|
|
102
|
+
*/
|
|
56
103
|
//#endregion
|
|
57
104
|
//#region src/types.d.ts
|
|
58
105
|
/**
|
|
@@ -86,13 +133,26 @@ type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;
|
|
|
86
133
|
* `type ProfileHash = ProfileHashBase<'sha256:def456...'>`
|
|
87
134
|
*/
|
|
88
135
|
type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;
|
|
136
|
+
/**
|
|
137
|
+
* Plain-data namespace entry in a storage block. Every hydrated contract
|
|
138
|
+
* carries at least `id` plus zero or more entity-kind slot maps (`tables`,
|
|
139
|
+
* `collections`, …). Foundation declares only this shape — no IR machinery.
|
|
140
|
+
*/
|
|
141
|
+
interface StorageNamespace {
|
|
142
|
+
readonly id: string;
|
|
143
|
+
}
|
|
89
144
|
/**
|
|
90
145
|
* Base type for family-specific storage blocks.
|
|
91
146
|
* Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the
|
|
92
147
|
* storage hash alongside family-specific data (tables, collections, etc.).
|
|
148
|
+
*
|
|
149
|
+
* The `namespaces` map is carried by every hydrated storage block. Serialized
|
|
150
|
+
* envelope shape is target-owned; this types the in-memory contract after
|
|
151
|
+
* `deserializeContract`.
|
|
93
152
|
*/
|
|
94
153
|
interface StorageBase<THash extends string = string> {
|
|
95
154
|
readonly storageHash: StorageHashBase<THash>;
|
|
155
|
+
readonly namespaces: Readonly<Record<string, StorageNamespace>>;
|
|
96
156
|
}
|
|
97
157
|
type GeneratedValueSpec = {
|
|
98
158
|
readonly id: string;
|
|
@@ -171,22 +231,20 @@ type ContractExecutionSection<THash extends string = string> = {
|
|
|
171
231
|
interface Contract<TStorage extends StorageBase = StorageBase, TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
|
|
172
232
|
readonly target: string;
|
|
173
233
|
readonly targetFamily: string;
|
|
174
|
-
readonly roots: Record<string,
|
|
175
|
-
readonly models: TModels;
|
|
176
|
-
readonly valueObjects?: Record<string, ContractValueObject>;
|
|
234
|
+
readonly roots: Record<string, CrossReference>;
|
|
177
235
|
/**
|
|
178
|
-
*
|
|
179
|
-
*
|
|
180
|
-
* omitted from the on-disk envelope so emitted contracts stay byte-stable.
|
|
236
|
+
* Application plane (ADR 221): `domain.namespaces.<nsId>.{ models, valueObjects }`.
|
|
237
|
+
* `TModels` types the union of model entries across namespaces for family DSL inference.
|
|
181
238
|
*/
|
|
182
|
-
readonly domain
|
|
239
|
+
readonly domain: ApplicationDomain<TModels>;
|
|
183
240
|
readonly storage: TStorage;
|
|
184
241
|
readonly capabilities: Record<string, Record<string, boolean>>;
|
|
185
242
|
readonly extensionPacks: Record<string, unknown>;
|
|
186
243
|
readonly execution?: ContractExecutionSection;
|
|
187
244
|
readonly profileHash: ProfileHashBase<string>;
|
|
188
245
|
readonly meta: Record<string, unknown>;
|
|
189
|
-
|
|
246
|
+
readonly defaultControl?: ControlPolicy;
|
|
247
|
+
}
|
|
190
248
|
//#endregion
|
|
191
249
|
//#region src/type-errors.d.ts
|
|
192
250
|
/**
|
|
@@ -261,7 +319,7 @@ type TableAsterisk<TTableName extends string = string, THash extends StorageHash
|
|
|
261
319
|
* through a union of leaves where each leaf carries a literal kind, so
|
|
262
320
|
* requiring `kind` at the base would be unearned. Future leaves that
|
|
263
321
|
* earn polymorphic dispatch override with a required literal at that
|
|
264
|
-
* leaf (e.g. `override readonly kind = '
|
|
322
|
+
* leaf (e.g. `override readonly kind = 'pack-contributed-kind' as const`).
|
|
265
323
|
*
|
|
266
324
|
* `IRNodeBase` carries no methods: the freeze-and-assign affordance
|
|
267
325
|
* lives in the free `freezeNode` helper below. Keeping `freezeNode` out
|
|
@@ -316,8 +374,8 @@ declare abstract class IRNodeBase implements IRNode {
|
|
|
316
374
|
* own native idiom). Generic consumers walking "all named entries" go
|
|
317
375
|
* through a family-typed namespace, not the framework `Namespace`.
|
|
318
376
|
*
|
|
319
|
-
* Every namespace concretion (e.g.
|
|
320
|
-
* `
|
|
377
|
+
* Every namespace concretion (e.g. family-built SQL namespaces,
|
|
378
|
+
* `MongoUnboundNamespace`, target-promoted namespaces like
|
|
321
379
|
* `PostgresSchema`) carries exactly: `id` (enumerable string), `kind`
|
|
322
380
|
* (non-enumerable string discriminator set via `Object.defineProperty`),
|
|
323
381
|
* and one or more entity-kind slot maps — each an own-enumerable property
|
|
@@ -329,8 +387,7 @@ declare abstract class IRNodeBase implements IRNode {
|
|
|
329
387
|
* on this invariant to enumerate entities structurally without
|
|
330
388
|
* family-specific knowledge.
|
|
331
389
|
*/
|
|
332
|
-
interface Namespace extends IRNode {
|
|
333
|
-
readonly id: string;
|
|
390
|
+
interface Namespace extends IRNode, StorageNamespace {
|
|
334
391
|
readonly kind: string;
|
|
335
392
|
}
|
|
336
393
|
/**
|
|
@@ -371,6 +428,15 @@ interface Namespace extends IRNode {
|
|
|
371
428
|
interface Storage extends IRNode {
|
|
372
429
|
readonly namespaces: Readonly<Record<string, Namespace>>;
|
|
373
430
|
} //#endregion
|
|
431
|
+
//#region src/ir/domain.d.ts
|
|
432
|
+
/**
|
|
433
|
+
* Lazy walk over every named domain entity in a {@link ApplicationDomain},
|
|
434
|
+
* yielded as {@link EntityCoordinate} tuples with `plane: 'domain'`.
|
|
435
|
+
*
|
|
436
|
+
* Same structural rules as {@link elementCoordinates} over storage: skip
|
|
437
|
+
* scalar `id`; each other object-valued property is an entity-kind slot.
|
|
438
|
+
*/
|
|
439
|
+
//#endregion
|
|
374
440
|
//#region src/ir/storage-type.d.ts
|
|
375
441
|
/**
|
|
376
442
|
* Framework-level alphabet for entries in a storage `types` slot.
|
|
@@ -378,7 +444,7 @@ interface Storage extends IRNode {
|
|
|
378
444
|
* The slot is polymorphic at the framework level: a family or target can
|
|
379
445
|
* persist either a JSON-clean codec-triple object literal (carrying
|
|
380
446
|
* `kind: 'codec-instance'`) or a class-instance IR node with a narrower
|
|
381
|
-
* kind discriminator (e.g. `'
|
|
447
|
+
* kind discriminator (e.g. `'<kind>'`). Hydration walkers,
|
|
382
448
|
* verifiers, and planners dispatch on the `kind` literal to recover the
|
|
383
449
|
* precise variant.
|
|
384
450
|
*
|
|
@@ -394,7 +460,7 @@ interface StorageType extends IRNode {
|
|
|
394
460
|
readonly kind: string;
|
|
395
461
|
} //#endregion
|
|
396
462
|
//#endregion
|
|
397
|
-
//#region ../../1-core/contract/dist/types-
|
|
463
|
+
//#region ../../1-core/contract/dist/types-Cx_5A_L0.d.mts
|
|
398
464
|
//#region src/ir/sql-node.d.ts
|
|
399
465
|
/**
|
|
400
466
|
* SQL family IR node base. Carries the family-level `kind` discriminator
|
|
@@ -446,7 +512,7 @@ interface ForeignKeyReferenceInput {
|
|
|
446
512
|
* as the sentinel `namespaceId` for single-namespace (unbound) references.
|
|
447
513
|
*/
|
|
448
514
|
declare class ForeignKeyReference extends SqlNode {
|
|
449
|
-
readonly namespaceId:
|
|
515
|
+
readonly namespaceId: NamespaceId;
|
|
450
516
|
readonly tableName: string;
|
|
451
517
|
readonly columns: readonly string[];
|
|
452
518
|
constructor(input: ForeignKeyReferenceInput);
|
|
@@ -528,6 +594,7 @@ interface PostgresEnumStorageEntry extends StorageType {
|
|
|
528
594
|
* present on raw JSON envelopes).
|
|
529
595
|
*/
|
|
530
596
|
readonly codecId: string;
|
|
597
|
+
readonly control?: ControlPolicy;
|
|
531
598
|
}
|
|
532
599
|
/**
|
|
533
600
|
* Narrow a polymorphic `StorageType` entry to the Postgres-enum shape
|
|
@@ -588,6 +655,7 @@ interface StorageColumnInput {
|
|
|
588
655
|
readonly typeParams?: Record<string, unknown>;
|
|
589
656
|
readonly typeRef?: string;
|
|
590
657
|
readonly default?: ColumnDefault;
|
|
658
|
+
readonly control?: ControlPolicy;
|
|
591
659
|
}
|
|
592
660
|
/**
|
|
593
661
|
* SQL Contract IR node for a single column entry in `StorageTable.columns`.
|
|
@@ -609,6 +677,7 @@ declare class StorageColumn extends SqlNode {
|
|
|
609
677
|
readonly typeParams?: Record<string, unknown>;
|
|
610
678
|
readonly typeRef?: string;
|
|
611
679
|
readonly default?: ColumnDefault;
|
|
680
|
+
readonly control?: ControlPolicy;
|
|
612
681
|
constructor(input: StorageColumnInput);
|
|
613
682
|
} //#endregion
|
|
614
683
|
//#region src/ir/unique-constraint.d.ts
|
|
@@ -631,6 +700,7 @@ interface StorageTableInput {
|
|
|
631
700
|
readonly uniques: ReadonlyArray<UniqueConstraint | UniqueConstraintInput>;
|
|
632
701
|
readonly indexes: ReadonlyArray<Index | IndexInput>;
|
|
633
702
|
readonly foreignKeys: ReadonlyArray<ForeignKey | ForeignKeyInput>;
|
|
703
|
+
readonly control?: ControlPolicy;
|
|
634
704
|
}
|
|
635
705
|
/**
|
|
636
706
|
* SQL Contract IR node for a single table entry in a namespace's
|
|
@@ -650,6 +720,7 @@ declare class StorageTable extends SqlNode {
|
|
|
650
720
|
readonly indexes: ReadonlyArray<Index>;
|
|
651
721
|
readonly foreignKeys: ReadonlyArray<ForeignKey>;
|
|
652
722
|
readonly primaryKey?: PrimaryKey;
|
|
723
|
+
readonly control?: ControlPolicy;
|
|
653
724
|
constructor(input: StorageTableInput);
|
|
654
725
|
} //#endregion
|
|
655
726
|
//#region src/ir/storage-type-instance.d.ts
|
|
@@ -696,18 +767,13 @@ interface StorageTypeInstanceInput {
|
|
|
696
767
|
* Polymorphic value type for document-scoped `SqlStorage.types` entries
|
|
697
768
|
* (codec aliases / parameterised native type registrations). Postgres
|
|
698
769
|
* native enum registrations live under
|
|
699
|
-
* `storage.namespaces[namespaceId].
|
|
770
|
+
* `storage.namespaces[namespaceId].enum` instead.
|
|
700
771
|
*/
|
|
701
772
|
type SqlStorageTypeEntry = StorageTypeInstance | StorageTypeInstanceInput | PostgresEnumStorageEntry;
|
|
702
|
-
interface SqlNamespaceTablesInput {
|
|
703
|
-
readonly id: string;
|
|
704
|
-
readonly tables?: Record<string, StorageTable | StorageTableInput>;
|
|
705
|
-
readonly types?: Record<string, PostgresEnumStorageEntry>;
|
|
706
|
-
}
|
|
707
773
|
interface SqlStorageInput<THash extends string = string> {
|
|
708
774
|
readonly storageHash: StorageHashBase<THash>;
|
|
709
775
|
readonly types?: Record<string, SqlStorageTypeEntry>;
|
|
710
|
-
readonly namespaces
|
|
776
|
+
readonly namespaces: Readonly<Record<string, SqlNamespace>>;
|
|
711
777
|
}
|
|
712
778
|
/**
|
|
713
779
|
* SQL Contract IR root node for the `storage` field.
|
|
@@ -719,16 +785,11 @@ interface SqlStorageInput<THash extends string = string> {
|
|
|
719
785
|
* target-specific storage extensions).
|
|
720
786
|
*
|
|
721
787
|
* Honours the framework `Storage` interface: every SQL IR carries a
|
|
722
|
-
* `namespaces` map keyed by namespace id.
|
|
723
|
-
*
|
|
724
|
-
*
|
|
725
|
-
*
|
|
726
|
-
* `
|
|
727
|
-
* target's namespace shape lands.
|
|
728
|
-
*
|
|
729
|
-
* The constructor normalises optional `types` into class instances and
|
|
730
|
-
* materialises plain namespace envelope objects into `Namespace` class
|
|
731
|
-
* instances so downstream walks see a uniform AST.
|
|
788
|
+
* `namespaces` map keyed by namespace id. Callers must supply fully
|
|
789
|
+
* constructed `Namespace` instances — construction discipline lives
|
|
790
|
+
* in the authoring builders and deserializer hydration paths.
|
|
791
|
+
*
|
|
792
|
+
* The constructor normalises optional `types` into class instances.
|
|
732
793
|
* `types` is polymorphic per Decision 18 Option B: codec-triple inputs
|
|
733
794
|
* are stamped with `kind: 'codec-instance'`; class-instance kinds
|
|
734
795
|
* (e.g. Postgres-enum entries satisfying `PostgresEnumStorageEntry`)
|
|
@@ -739,47 +800,15 @@ interface SqlStorageInput<THash extends string = string> {
|
|
|
739
800
|
*/
|
|
740
801
|
type SqlNamespace = Namespace & {
|
|
741
802
|
readonly tables: Readonly<Record<string, StorageTable>>;
|
|
742
|
-
readonly
|
|
803
|
+
readonly enum?: Readonly<Record<string, PostgresEnumStorageEntry>>;
|
|
743
804
|
};
|
|
744
805
|
declare class SqlStorage<THash extends string = string> extends SqlNode implements Storage {
|
|
745
806
|
readonly storageHash: StorageHashBase<THash>;
|
|
746
|
-
readonly namespaces: Readonly<Record<string, SqlNamespace
|
|
747
|
-
readonly __unbound__: SqlNamespace;
|
|
748
|
-
};
|
|
807
|
+
readonly namespaces: Readonly<Record<string, SqlNamespace>>;
|
|
749
808
|
readonly types?: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;
|
|
750
809
|
constructor(input: SqlStorageInput<THash>);
|
|
751
810
|
} //#endregion
|
|
752
|
-
//#region src/ir/sql-
|
|
753
|
-
/**
|
|
754
|
-
* Family-layer placeholder for the SQL unbound-namespace singleton —
|
|
755
|
-
* the late-bound slot whose binding the target resolves at connection
|
|
756
|
-
* time rather than at authoring time.
|
|
757
|
-
*
|
|
758
|
-
* SQL contracts honour the framework `Storage.namespaces` invariant from
|
|
759
|
-
* the moment they appear in the IR. Today `SqlStorage` is family-shared
|
|
760
|
-
* (Postgres + SQLite consume the same class); a per-target namespace
|
|
761
|
-
* concretion (`PostgresSchema.unbound`, `SqliteUnboundDatabase.instance`)
|
|
762
|
-
* earns its existence when each target's namespace shape lands. Until
|
|
763
|
-
* then the family ships a single placeholder singleton so the JSON
|
|
764
|
-
* envelope and runtime walk are honest at every layer.
|
|
765
|
-
*
|
|
766
|
-
* The `kind` discriminator is installed as a non-enumerable own property
|
|
767
|
-
* so the JSON envelope reads `{ "id": "__unbound__" }` — symmetric
|
|
768
|
-
* with the family-level non-enumerable `kind` on `SqlNode` and bounded
|
|
769
|
-
* to the minimum data the framework `Namespace` interface promises.
|
|
770
|
-
*
|
|
771
|
-
* **Freeze-trap warning.** The leaf constructor calls
|
|
772
|
-
* `freezeNode(this)` after installing `kind`. The leaf-class shape
|
|
773
|
-
* works today only because `NamespaceBase` does NOT freeze in its
|
|
774
|
-
* constructor — the `Object.defineProperty(this, 'kind', …)` call after
|
|
775
|
-
* `super()` succeeds because the instance is still mutable at that
|
|
776
|
-
* point. Subclasses that add instance fields will still hit the freeze
|
|
777
|
-
* trap once leaf-class `freezeNode(this)` runs; and if a future
|
|
778
|
-
* framework change lifts the freeze to `NamespaceBase`, even the
|
|
779
|
-
* `defineProperty` here would silently fail. To add subclass instance
|
|
780
|
-
* fields safely, lift `freezeNode` to a leaf-class `seal()` hook each
|
|
781
|
-
* leaf calls explicitly at the end of its own constructor.
|
|
782
|
-
*/
|
|
811
|
+
//#region src/ir/build-sql-namespace.d.ts
|
|
783
812
|
type CodecTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
|
|
784
813
|
readonly codecTypes: infer C;
|
|
785
814
|
} ? C extends Record<string, {
|
package/dist/index.d.mts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.mts","names":["ScalarFieldType","Record","kind","codecId","typeParams","ValueObjectFieldType","name","UnionFieldType","ReadonlyArray","members","ContractFieldType","ContractField","nullable","type","many","dict","ContractRelationOn","localFields","targetFields","ContractReferenceRelation","to","cardinality","on","ContractEmbedRelation","ContractRelation","ContractDiscriminator","field","ContractVariantEntry","value","ContractValueObject","fields","ModelStorageBase","Readonly","ContractModelBase","TModelStorage","relations","storage","discriminator","variants","base","owner","ContractModel","HasModelsWithRelations","models","ReferenceRelationKeys","TContract","ModelName","K","EmbedRelationKeys","$","Brand","TKey","TValue","StorageHashBase","THash","ExecutionHashBase","executionHash","T","coreHash","ProfileHashBase","profileHash","StorageBase","storageHash","FieldType","items","properties","GeneratedValueSpec","id","params","JsonPrimitive","JsonValue","key","ColumnDefaultLiteralValue","ColumnDefaultLiteralInputValue","Date","isColumnDefaultLiteralInputValue","ColumnDefault","expression","isColumnDefault","ExecutionMutationDefaultValue","isExecutionMutationDefaultValue","ExecutionMutationDefault","ref","table","column","onCreate","onUpdate","ExecutionMutationDefaultPhases","Omit","ExecutionSection","mutations","defaults","Source","readOnly","projection","origin","capabilities","DocIndex","Expr","keys","unique","where","path","DocCollection","strategy","indexes","PlanMeta","target","targetFamily","lane","annotations","ContractMarkerRecord","contractJson","canonicalVersion","updatedAt","appTag","meta","invariants","ContractExecutionSection","Contract","TStorage","TModels","roots","valueObjects","domain","extensionPacks","execution","A","B","C","D","E","F","G","H","I","J","L","M","N","O","P","R","S","U","V","W","_","a","b","c","d","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t","u","v","w","x","y","z","IRNode","kind","IRNodeBase","freezeNode","T","node","UNBOUND_NAMESPACE_ID","Namespace","id","NamespaceBase","EntityCoordinate","plane","namespaceId","entityKind","entityName","elementCoordinates","Storage","Generator","storage","Record","Readonly","namespaces","StorageType","IRNodeBase","Namespace","NamespaceBase","Storage","StorageType","ColumnDefault","StorageHashBase","CodecTrait","SqlNode","kind","constructor","ForeignKeyReferenceInput","namespaceId","tableName","columns","ForeignKeyReference","input","ReferentialAction","ForeignKeyInput","source","target","name","onDelete","onUpdate","constraint","index","ForeignKey","POSTGRES_ENUM_KIND","PostgresEnumStorageEntry","nativeType","values","codecId","isPostgresEnumStorageEntry","value","PrimaryKeyInput","PrimaryKey","IndexInput","Record","type","options","Index","StorageColumnInput","nullable","typeParams","typeRef","default","StorageColumn","UniqueConstraintInput","UniqueConstraint","StorageTableInput","ReadonlyArray","primaryKey","uniques","indexes","foreignKeys","StorageTable","Readonly","CODEC_INSTANCE_KIND","StorageTypeInstance","StorageTypeInstanceInput","toStorageTypeInstance","isStorageTypeInstance","SqlStorageTypeEntry","SqlNamespaceTablesInput","id","tables","types","SqlStorageInput","THash","storageHash","namespaces","SqlNamespace","SqlStorage","__unbound__","SqlUnboundNamespace","instance","ForeignKeyOptions","SqlModelFieldStorage","column","SqlModelStorage","table","fields","DEFAULT_FK_CONSTRAINT","DEFAULT_FK_INDEX","applyFkDefaults","fk","overrideDefaults","TypeMaps","TCodecTypes","TQueryOperationTypes","TFieldOutputTypes","TFieldInputTypes","output","codecTypes","queryOperationTypes","fieldOutputTypes","fieldInputTypes","CodecTypesOf","T","C","QueryOperationSelfSpec","traits","QueryOperationReturn","returnType","QueryOperationTypeEntry","self","impl","args","SqlQueryOperationTypes","_CT","QueryOperationTypesBase","QueryOperationTypesOf","Q","TypeMapsPhantomKey","ContractWithTypeMaps","TContract","TTypeMaps","K","ExtractTypeMapsFromContract","NonNullable","FieldOutputTypesOf","F","FieldInputTypesOf","ExtractCodecTypes","ExtractQueryOperationTypes","ExtractFieldOutputTypes","ExtractFieldInputTypes","ResolveCodecTypes","$","A","B","D","E","G","H","I","J","L","M","N","O","P","R","S","U","V","W","X","Y","Z","_","a","b","c","d","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t","u","v","w","x","y","z"],"sources":["../../../../1-framework/0-foundation/contract/dist/contract-types-Bt2uyqs3.d.mts","../src/type-errors.ts","../src/column-reference.ts","../../../../1-framework/1-core/framework-components/dist/ir.d.mts","../../../1-core/contract/dist/types-DZpIXwK4.d.mts","../src/type-atoms.ts","../src/selection.ts","../src/table-reference.ts","../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"mappings":";;KACKA,eAAAA;EAAAA,SACME,IAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,UAAAA,GAAaH,MAAAA;AAAAA;AAAAA,KAEnBI,oBAAAA;EAAAA,SACMH,IAAAA;EAAAA,SACAI,IAAAA;AAAAA;AAAAA,KAENC,cAAAA;EAAAA,SACML,IAAAA;EAAAA,SACAO,OAAAA,EAASD,aAAAA,CAAcR,eAAAA,GAAkBK,oBAAAA;AAAAA;AAAAA,KAE/CK,iBAAAA,GAAoBV,eAAAA,GAAkBK,oBAAAA,GAAuBE,cAAAA;AAAAA,KAC7DI,aAAAA;EAAAA,SACMC,QAAAA;EAAAA,SACAC,IAAAA,EAAMH,iBAAAA;EAAAA,SACNI,IAAAA;EAAAA,SACAC,IAAAA;AAAAA;AAAAA,KAENC,kBAAAA;EAAAA,SACMC,WAAAA;EAAAA,SACAC,YAAAA;AAAAA;AAAAA,KAENC,yBAAAA;EAAAA,SACMC,EAAAA;EAAAA,SACAC,WAAAA;EAAAA,SACAC,EAAAA,EAAIN,kBAAAA;AAAAA;AAAAA,KAEVO,qBAAAA;EAAAA,SACMH,EAAAA;EAAAA,SACAC,WAAAA;AAAAA;AAAAA,KAENG,gBAAAA,GAAmBL,yBAAAA,GAA4BI,qBAAAA;AAAAA,KAC/CE,qBAAAA;EAAAA,SACMC,KAAAA;AAAAA;AAAAA,KAENC,oBAAAA;EAAAA,SACMC,KAAAA;AAAAA;AAAAA,KAENC,mBAAAA;EAAAA,SACMC,MAAAA,EAAQ7B,MAAAA,SAAeU,aAAAA;AAAAA;AAAAA,KAE7BoB,gBAAAA,GAAmBC,QAAAA,CAAS/B,MAAAA;AAAAA,UACvBgC,iBAAAA,uBAAwCF,gBAAAA,GAAmBA,gBAAAA;EAAAA,SAC1DD,MAAAA,EAAQ7B,MAAAA,SAAeU,aAAAA;EAAAA,SACvBwB,SAAAA,EAAWlC,MAAAA,SAAeuB,gBAAAA;EAAAA,SAC1BY,OAAAA,EAASF,aAAAA;EAAAA,SACTG,aAAAA,GAAgBZ,qBAAAA;EAAAA,SAChBa,QAAAA,GAAWrC,MAAAA,SAAe0B,oBAAAA;EAAAA,SAC1BY,IAAAA;EAAAA,SACAC,KAAAA;AAAAA;AAAAA;AAAAA;;;;cAiBGS,CAAAA;;;AAzCmB;;;;KAgD5BC,KAAAA;EAAAA,CACFD,CAAAA,WAAYE,IAAAA,GAAOC,MAAAA;AAAAA;;;;AA3CmD;;KAkDpEC,eAAAA,yBAAwCC,KAAAA,GAAQJ,KAAAA;;;AAhDrC;;;KAsDXK,iBAAAA,yBAA0CD,KAAAA,GAAQJ,KAAAA;;;;;;KAQlDS,eAAAA,yBAAwCL,KAAAA,GAAQJ,KAAAA;;AAxDN;;;;UA+DrCW,WAAAA;EAAAA,SACCC,WAAAA,EAAaT,eAAAA,CAAgBC,KAAAA;AAAAA;AAAAA,KAQnCY,kBAAAA;EAAAA,SACMC,EAAAA;EAAAA,SACAC,MAAAA,GAASnE,MAAAA;AAAAA;AAAAA,KAEfoE,aAAAA;AAAAA,KACAC,SAAAA,GAAYD,aAAAA;EAAAA,UACLE,GAAAA,WAAcD,SAAAA;AAAAA,aACbA,SAAAA;AAAAA,KACRE,yBAAAA,GAA4BF,SAAAA;AAAAA,KAC5BG,8BAAAA,GAAiCD,yBAAAA,GAA4BE,IAAAA;;;;;;;;;KAU7DE,aAAAA;EAAAA,SACM1E,IAAAA;EAAAA,SACA0B,KAAAA,EAAO6C,8BAAAA;AAAAA;EAAAA,SAEPvE,IAAAA;EAAAA,SACA2E,UAAAA;AAAAA;AAAAA,KAGNE,6BAAAA;EAAAA,SACM7E,IAAAA;EAAAA,SACAiE,EAAAA,EAAID,kBAAAA;EAAAA,SACJE,MAAAA,GAASnE,MAAAA;AAAAA;AAAAA,KAGfgF,wBAAAA;EAAAA,SACMC,GAAAA;IAAAA,SACEC,KAAAA;IAAAA,SACAC,MAAAA;EAAAA;EAAAA,SAEFC,QAAAA,GAAWN,6BAAAA;EAAAA,SACXO,QAAAA,GAAWP,6BAAAA;AAAAA;;;;;;;;;;;;;AAhCA;;;KA6GjBuC,wBAAAA;EAAAA,SACM9D,aAAAA,EAAeD,iBAAAA,CAAkBD,KAAAA;EAAAA,SACjCoC,SAAAA;IAAAA,SACEC,QAAAA,EAAUnF,aAAAA,CAAcyE,wBAAAA;EAAAA;AAAAA;;AArGqE;;;;;;;;;;;AAQlC;;;UA+G9DsC,QAAAA,kBAA0B1D,WAAAA,GAAcA,WAAAA,kBAA6B5D,MAAAA,SAAegC,iBAAAA,IAAqBhC,MAAAA,SAAegC,iBAAAA;EAAAA,SACvH0E,MAAAA;EAAAA,SACAC,YAAAA;EAAAA,SACAc,KAAAA,EAAOzH,MAAAA;EAAAA,SACP0C,MAAAA,EAAQ8E,OAAAA;EAAAA,SACRE,YAAAA,GAAe1H,MAAAA,SAAe4B,mBAAAA;EAhHf;;AAE8E;;;EAF9E,SAsHf+F,MAAAA,GAAS3H,MAAAA,SAAeA,MAAAA,SAAeA,MAAAA;EAAAA,SACvCmC,OAAAA,EAASoF,QAAAA;EAAAA,SACTxB,YAAAA,EAAc/F,MAAAA,SAAeA,MAAAA;EAAAA,SAC7B4H,cAAAA,EAAgB5H,MAAAA;EAAAA,SAChB6H,SAAAA,GAAYR,wBAAAA;EAAAA,SACZ1D,WAAAA,EAAaD,eAAAA;EAAAA,SACbyD,IAAAA,EAAMnH,MAAAA;AAAAA;;;;;;;;KCrQL,YAAA;;;;;;;KAQA,qCAAA,kBAAuD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;;;KCL7E,eAAA,wFAGI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,WAAA;EAAA,SACT,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,8EAEC,UAAA,IAAc,KAAA;AFfW;;;;;AAIf;AAJe,KEwBlB,iCAAA,kBAAmD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;KAKzE,QAAA;EAAA,SACD,OAAA;EAAA,SACA,QAAA;AAAA,IACP,KAAA;;;;;;;KAQQ,aAAA,mDAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA;EAAA,SACA,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,oFAEC,UAAA,IAAc,KAAA;;;;;;;;;;;;;;;;AFhDW;;;;;AAIf;;;;;;;;;;;;;;;AAIyD;;;;;;;;UG6B9D4K,MAAAA;EAAAA,SACCC,IAAAA;AAAAA;AAAAA,uBAEYC,UAAAA,YAAsBF,MAAAA;EAAAA,kBACzBC,IAAAA;AAAAA;;;;;;;;;;;;;;AHTJ;;;;;AAGA;;;;;;;;;AAG+B;;;;;AAER;;;;;;;;;UGuE7BM,SAAAA,SAAkBP,MAAAA;EAAAA,SACjBQ,EAAAA;EAAAA,SACAP,IAAAA;AAAAA;;;AHxCiB;;;;;;;;;AAO8B;;;;;;;;;AAQoB;;;;;;;;;AAOG;;;;;;UGgGvEe,OAAAA,SAAgBhB,MAAAA;EAAAA,SACfqB,UAAAA,EAAYD,QAAAA,CAASD,MAAAA,SAAeZ,SAAAA;AAAAA;AAAAA;;;;;;;;;AHhFrB;;;;;AAER;;;;;UGoGRe,WAAAA,SAAoBtB,MAAAA;EAAAA,SACnBC,IAAAA;AAAAA;;;;;;;;;;;;AHvNmB;;;;;AAIf;;;;;;;;;;;;;;;AAIyD;;;;uBIyBjD8B,OAAAA,SAAgBR,UAAAA;EAAAA,SAC5BS,IAAAA;EACTC,WAAAA,CAAAA;AAAAA;AAAAA;AAAAA,UAIQC,wBAAAA;EAAAA,SACCC,WAAAA;EAAAA,SACAC,SAAAA;EAAAA,SACAC,OAAAA;AAAAA;;;;;;;;cASGC,mBAAAA,SAA4BP,OAAAA;EAAAA,SAC/BI,WAAAA;EAAAA,SACAC,SAAAA;EAAAA,SACAC,OAAAA;EACTJ,WAAAA,CAAYM,KAAAA,EAAOL,wBAAAA;AAAAA;AAAAA;AAAAA,KAIhBM,iBAAAA;AAAAA,UACKC,eAAAA;EAAAA,SACCC,MAAAA,EAAQJ,mBAAAA,GAAsBJ,wBAAAA;EAAAA,SAC9BS,MAAAA,EAAQL,mBAAAA,GAAsBJ,wBAAAA;EAAAA,SAC9BU,IAAAA;EAAAA,SACAC,QAAAA,GAAWL,iBAAAA;EAAAA,SACXM,QAAAA,GAAWN,iBAAAA;EJzCW;EAAA,SI2CtBO,UAAAA;EJ3CsB;EAAA,SI6CtBC,KAAAA;AAAAA;;;AJzCW;;;;;AAEmD;;;;;cIqD3DC,UAAAA,SAAmBlB,OAAAA;EAAAA,SACtBW,MAAAA,EAAQJ,mBAAAA;EAAAA,SACRK,MAAAA,EAAQL,mBAAAA;EAAAA,SACRS,UAAAA;EAAAA,SACAC,KAAAA;EAAAA,SACAJ,IAAAA;EAAAA,SACAC,QAAAA,GAAWL,iBAAAA;EAAAA,SACXM,QAAAA,GAAWN,iBAAAA;EACpBP,WAAAA,CAAYM,KAAAA,EAAOE,eAAAA;AAAAA;AAAAA;;;AJrD0B;;;;;AAER;;;;;;;;cIsEzBS,kBAAAA;;;;;;;;;;;;;UAaJC,wBAAAA,SAAiCxB,WAAAA;EAAAA,SAChCK,IAAAA,SAAakB,kBAAAA;EAAAA,SACbN,IAAAA;EAAAA,SACAQ,UAAAA;EAAAA,SACAC,MAAAA;EJlFA7L;;;;;;;EAAAA,SI0FA8L,OAAAA;AAAAA;AJ5E4S;;;;;AAAA;AAAA;AAAA,UIsF7SG,eAAAA;EAAAA,SACCpB,OAAAA;EAAAA,SACAO,IAAAA;AAAAA;;;;cAKGc,UAAAA,SAAmB3B,OAAAA;EAAAA,SACtBM,OAAAA;EAAAA,SACAO,IAAAA;EACTX,WAAAA,CAAYM,KAAAA,EAAOkB,eAAAA;AAAAA;AAAAA;AAAAA,UAIXE,UAAAA;EAAAA,SACCtB,OAAAA;EAAAA,SACAO,IAAAA;EAAAA,SACAiB,IAAAA;EAAAA,SACAC,OAAAA,GAAUF,MAAAA;AAAAA;;;AJnFqC;;;;;;cI6F5CG,KAAAA,SAAchC,OAAAA;EAAAA,SACjBM,OAAAA;EAAAA,SACAO,IAAAA;EAAAA,SACAiB,IAAAA;EAAAA,SACAC,OAAAA,GAAUF,MAAAA;EACnB3B,WAAAA,CAAYM,KAAAA,EAAOoB,UAAAA;AAAAA;AAAAA;;;;AJnF4D;;;;;;;UIiGvEK,kBAAAA;EAAAA,SACCZ,UAAAA;EAAAA,SACAE,OAAAA;EAAAA,SACAW,QAAAA;EAAAA,SACAC,UAAAA,GAAaN,MAAAA;EAAAA,SACbO,OAAAA;EAAAA,SACAC,OAAAA,GAAUxC,aAAAA;AAAAA;;;;;AJtFK;;;;;AAER;;;;cImGJyC,aAAAA,SAAsBtC,OAAAA;EAAAA,SACzBqB,UAAAA;EAAAA,SACAE,OAAAA;EAAAA,SACAW,QAAAA;EAAAA,SACAC,UAAAA,GAAaN,MAAAA;EAAAA,SACbO,OAAAA;EAAAA,SACAC,OAAAA,GAAUxC,aAAAA;EACnBK,WAAAA,CAAYM,KAAAA,EAAOyB,kBAAAA;AAAAA;AAAAA;AAAAA,UAIXM,qBAAAA;EAAAA,SACCjC,OAAAA;EAAAA,SACAO,IAAAA;AAAAA;AJ5G+B;;;AAAA,cIiH5B2B,gBAAAA,SAAyBxC,OAAAA;EAAAA,SAC5BM,OAAAA;EAAAA,SACAO,IAAAA;EACTX,WAAAA,CAAYM,KAAAA,EAAO+B,qBAAAA;AAAAA;AAAAA;AAAAA,UAIXE,iBAAAA;EAAAA,SACCnC,OAAAA,EAASuB,MAAAA,SAAeS,aAAAA,GAAgBL,kBAAAA;EAAAA,SACxCU,UAAAA,GAAahB,UAAAA,GAAaD,eAAAA;EAAAA,SAC1BkB,OAAAA,EAASF,aAAAA,CAAcF,gBAAAA,GAAmBD,qBAAAA;EAAAA,SAC1CM,OAAAA,EAASH,aAAAA,CAAcV,KAAAA,GAAQJ,UAAAA;EAAAA,SAC/BkB,WAAAA,EAAaJ,aAAAA,CAAcxB,UAAAA,GAAaR,eAAAA;AAAAA;;;;;;;;;;;AJrGqD;;cImH1FqC,YAAAA,SAAqB/C,OAAAA;EAAAA,SACxBM,OAAAA,EAAS0C,QAAAA,CAASnB,MAAAA,SAAeS,aAAAA;EAAAA,SACjCM,OAAAA,EAASF,aAAAA,CAAcF,gBAAAA;EAAAA,SACvBK,OAAAA,EAASH,aAAAA,CAAcV,KAAAA;EAAAA,SACvBc,WAAAA,EAAaJ,aAAAA,CAAcxB,UAAAA;EAAAA,SAC3ByB,UAAAA,GAAahB,UAAAA;EACtBzB,WAAAA,CAAYM,KAAAA,EAAOiC,iBAAAA;AAAAA;AAAAA;;AJlDA;;;;;;cI6DPQ,mBAAAA;;;;;;;;;UASJC,mBAAAA,SAA4BtD,WAAAA;EAAAA,SAC3BK,IAAAA,SAAagD,mBAAAA;EAAAA,SACb1B,OAAAA;EAAAA,SACAF,UAAAA;EAAAA,SACAc,UAAAA,EAAYN,MAAAA;AAAAA;;;;;;UAObsB,wBAAAA;EAAAA,SACC5B,OAAAA;EAAAA,SACAF,UAAAA;EAAAA,SACAc,UAAAA,EAAYN,MAAAA;AAAAA;;;;;;;;;;;;;;KAsBlByB,mBAAAA,GAAsBJ,mBAAAA,GAAsBC,wBAAAA,GAA2B/B,wBAAAA;AAAAA,UAClEmC,uBAAAA;EAAAA,SACCC,EAAAA;EAAAA,SACAC,MAAAA,GAAS5B,MAAAA,SAAekB,YAAAA,GAAeN,iBAAAA;EAAAA,SACvCiB,KAAAA,GAAQ7B,MAAAA,SAAeT,wBAAAA;AAAAA;AAAAA,UAExBuC,eAAAA;EAAAA,SACCE,WAAAA,EAAa/D,eAAAA,CAAgB8D,KAAAA;EAAAA,SAC7BF,KAAAA,GAAQ7B,MAAAA,SAAeyB,mBAAAA;EAAAA,SACvBQ,UAAAA,GAAad,QAAAA,CAASnB,MAAAA,SAAepC,SAAAA,GAAY8D,uBAAAA;AAAAA;;;;;;;;;;;;;;;;;;;;;;AHrU5D;;;;;AAQA;;KG2VKQ,YAAAA,GAAetE,SAAAA;EAAAA,SACTgE,MAAAA,EAAQT,QAAAA,CAASnB,MAAAA,SAAekB,YAAAA;EAAAA,SAChCW,KAAAA,GAAQV,QAAAA,CAASnB,MAAAA,SAAeT,wBAAAA;AAAAA;AAAAA,cAE7B4C,UAAAA,wCAAkDhE,OAAAA,YAAmBL,OAAAA;EAAAA,SACxEkE,WAAAA,EAAa/D,eAAAA,CAAgB8D,KAAAA;EAAAA,SAC7BE,UAAAA,EAAYd,QAAAA,CAASnB,MAAAA,SAAekC,YAAAA;IAAAA,SAClCE,WAAAA,EAAaF,YAAAA;EAAAA;EAAAA,SAEfL,KAAAA,GAAQV,QAAAA,CAASnB,MAAAA,SAAeqB,mBAAAA,GAAsB9B,wBAAAA;EAC/DlB,WAAAA,CAAYM,KAAAA,EAAOmD,eAAAA,CAAgBC,KAAAA;AAAAA;AAAAA;;AF1WrC;;;;;;;;;;;;;;;;;;;;;;;;;;AAkBA;;;KEqaK6B,YAAAA,OAAmBC,CAAAA,oBAAqB7D,MAAAA,kBAAwB6D,CAAAA;EAAAA,SAC1DL,UAAAA;AAAAA,IACPM,CAAAA,SAAU9D,MAAAA;EACZuD,MAAAA;AAAAA,KACGO,CAAAA,GAAI9D,MAAAA,kBAAwBA,MAAAA;;;;AD3ZlB;;;;KCocV4E,kBAAAA;AAAAA,KAEAK,2BAAAA,MAAiCL,kBAAAA,eAAiCf,CAAAA,GAAIqB,WAAAA,CAAYrB,CAAAA,CAAEe,kBAAAA,SAA2Bf,CAAAA;AAAAA,KAO/GyB,iBAAAA,MAAuB1B,YAAAA,CAAaqB,2BAAAA,CAA4BpB,CAAAA;;;;;;;;KClfzD,iBAAA,YAA6B,MAAA,sBAA4B,MAAA;;;;;;KAOzD,kBAAA,yCACE,OAAA,KAAY,OAAA,CAAQ,OAAA,OAAc,OAAA,EAAS,CAAA,WACjD,OAAA;;;;;ALNO;;KKcH,YAAA,qDAAiE,iBAAA,CAC3E,OAAA,CAAQ,QAAA,iBACJ,QAAA,0BAEuB,QAAA,SAAiB,QAAA,GAAW,CAAA,eAAgB,QAAA,GAC7D,QAAA,CAAS,CAAA,IACT,CAAA,eAAgB,QAAA,GACd,QAAA,CAAS,CAAA;;;;;;KAUX,OAAA,YAAmB,MAAA;;;;;AL3ByC;KKkC5D,QAAA,2BAAmC,iBAAA,eAC/B,OAAA,GAAU,OAAA,CAAQ,CAAA;;;;;;;;KCtCtB,aAAA,mBAAgC,QAAA,CAAS,UAAA,KACnD,SAAA;;;;;ANN4B;;;;KMgBlB,iBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,aAAA,CAAc,SAAA,sCACb,aAAA,CAAc,SAAA,EAAW,UAAA,kCACxC,aAAA,CAAc,SAAA,EAAW,UAAA,aAAuB,WAAA,KACzD,QAAA,SAAiB,aAAA,IAEZ,QAAA,4CACD,iBAAA,CAAkB,SAAA,EAAW,QAAA;ANpBtB;;;;AAAA,KM2BH,SAAA,GAAY,MAAA,SAAe,cAAA;;;;;;;UAQtB,cAAA;EAAA,SACN,WAAA,EAAa,SAAA;EAAA,SACb,SAAA,EAAW,OAAA;AAAA;ANjCkD;;;;;;AAAA,KM0C5D,gBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,aAAA,CAAc,SAAA,cACrC,iBAAA,iCAC4B,aAAA,CAAc,SAAA,EAAW,UAAA,wBAC5C,cAAA,CACT,iBAAA,CAAkB,SAAA,EAAW,UAAA,EAAY,UAAA,GACzC,aAAA,CAAc,SAAA,EAAW,UAAA,aAAuB,UAAA;;;;;;;;;KCpDxC,cAAA,8CAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,KAAA;AAAA,IAChB,KAAA,yFAEF,KAAA;;;APZ4B;;;;KOqBlB,gCAAA,kBAAkD,YAAA,IAAgB,KAAA,CAAM,QAAA;APjBrE;;;;;;AAAA,KOyBH,0BAAA,kBAA4C,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;KCjBlE,GAAA,mBAAsB,QAAA,CAAS,UAAA,oCACZ,aAAA,CAAc,SAAA,aAAsB,cAAA,CAC/D,SAAA,EACA,SAAA,wDAEwB,OAAA,OAChB,aAAA,CAAc,SAAA,EAAW,SAAA,oBACzB,cAAA,aAEG,eAAA,CAAgB,UAAA,EAAY,SAAA,EAAW,SAAA;EAAA,UAExC,GAAA,GAAM,aAAA,CAAc,SAAA,EAAW,SAAA;AAAA,IACvC,MAAA,CACA,WAAA,EACA,iCAAA,uDAAwF,SAAA;EAAA,UAGlF,GAAA,GAAM,QAAA;AAAA,IACd,MAAA,CACA,WAAA,EACA,gCAAA;;;;;;iBAQY,SAAA,mBAA4B,QAAA,CAAS,UAAA,EAAA,CACnD,SAAA,EAAW,SAAA,GACV,GAAA,CAAI,SAAA;;;;;;;;;;cChCM,aAAA,mBACO,QAAA,CAAS,UAAA,mBACX,aAAA,CAAc,QAAA,CAAS,UAAA,uBACpB,SAAA;EAAA;cAMP,QAAA,EAAU,SAAA;EAItB,MAAA,CACE,QAAA,EAAU,QAAA,GACT,kBAAA,CAAmB,OAAA,iBAClB,aAAA,CACE,SAAA,EACA,OAAA,EACA,YAAA,CAAa,UAAA,EAAY,gBAAA,CAAiB,SAAA,QAAiB,OAAA,eAE7D,qCAAA;EACJ,MAAA,0BAAgC,OAAA,UAAA,CAC9B,QAAA,EAAU,aAAA,CAAc,UAAA,EAAY,SAAA,8BACnC,aAAA,CACD,SAAA,EACA,OAAA,EACA,YAAA,CAAa,UAAA,EAAY,gBAAA,CAAiB,SAAA,EAAW,UAAA;EAEvD,MAAA,CACE,GAAA,UACC,qCAAA;EAQH,KAAA,CAAA,GAAS,OAAA,CAAQ,UAAA,yBAGb,QAAA,CAAS,UAAA;AAAA;;;;;;;;cC5CF,IAAA,mBAAuB,QAAA,CAAS,UAAA;EAAA;cAG/B,QAAA,EAAU,SAAA;EVTC;;;;AAEV;EUgBb,IAAA,CACE,KAAA,EAAO,cAAA,UACN,qCAAA;;;;EAIH,IAAA,sBAAA,CACE,KAAA,iBAAsB,KAAA,GAClB,0BAAA,0FACA,cAAA,CAAe,KAAA,EAAO,SAAA,8BACzB,KAAA,kBACC,aAAA,CAAc,SAAA,EAAW,IAAA,CAAK,aAAA,CAAc,SAAA,GAAY,KAAA,KACxD,qCAAA;EACJ,IAAA,CACE,KAAA,EAAO,0BAAA,0FACN,qCAAA;AAAA;;;;iBAaW,UAAA,CACd,QAAA,UACC,qCAAA;;;;iBAIa,UAAA,mBAA6B,QAAA,CAAS,UAAA,EAAA,CACpD,QAAA,EAAU,SAAA,GACT,IAAA,CAAK,SAAA"}
|
|
1
|
+
{"version":3,"file":"index.d.mts","names":["_$arktype_internal_variants_object_ts0","NamespaceId","__brand","asNamespaceId","value","CrossReference","namespace","model","CrossReferenceSchema","ObjectType","crossRef","ScalarFieldType","Record","kind","codecId","typeParams","ValueObjectFieldType","name","UnionFieldType","ReadonlyArray","members","ContractFieldType","ContractField","nullable","type","many","dict","ContractRelationOn","localFields","targetFields","ContractReferenceRelation","to","cardinality","on","ContractEmbedRelation","ContractRelation","ContractDiscriminator","field","ContractVariantEntry","ContractValueObject","fields","ModelStorageBase","Readonly","ContractModelBase","TModelStorage","relations","storage","discriminator","variants","base","owner","ContractModel","ReferenceRelationKeys","TModels","ModelName","K","EmbedRelationKeys","UNBOUND_DOMAIN_NAMESPACE_ID","ApplicationDomainNamespace","models","valueObjects","ApplicationDomain","namespaces","ContractWithDomain","domain","resolveSingleDomainNamespaceId","namespaceId","contractModels","contract","contractValueObjects","C","D","E","O","S","T","_","a","b","c","d","f","g","h","i","k","l","m","n","o","p","r","s","t","u","v","w","x","y","T","CrossReference","_","ContractValueObject","p","ContractModelBase","t","ApplicationDomain","ControlPolicy","effectiveControl","nodeControl","defaultControl","$","Brand","TKey","TValue","K","StorageHashBase","THash","ExecutionHashBase","executionHash","value","coreHash","ProfileHashBase","profileHash","StorageEntitySlot","Record","Readonly","StorageNamespace","id","StorageBase","storageHash","namespaces","FieldType","type","nullable","items","properties","GeneratedValueSpec","params","JsonPrimitive","JsonValue","key","ColumnDefaultLiteralValue","ColumnDefaultLiteralInputValue","Date","isColumnDefaultLiteralInputValue","ColumnDefault","kind","expression","isColumnDefault","ExecutionMutationDefaultValue","isExecutionMutationDefaultValue","ExecutionMutationDefault","ref","table","column","onCreate","onUpdate","ExecutionMutationDefaultPhases","Omit","ExecutionSection","ReadonlyArray","mutations","defaults","Source","readOnly","projection","origin","capabilities","DocIndex","Expr","name","keys","unique","where","path","DocCollection","strategy","fields","indexes","PlanMeta","target","targetFamily","lane","annotations","ContractMarkerRecord","contractJson","canonicalVersion","updatedAt","appTag","meta","invariants","LedgerEntryRecord","space","migrationName","migrationHash","from","to","appliedAt","operationCount","ContractExecutionSection","Contract","TStorage","TModels","roots","domain","storage","extensionPacks","execution","ContractModelsMap","TContract","ExactlyOneKey","Only","NamespaceValueObjectsOf","TNamespace","valueObjects","VO","ContractValueObjectsMap","Projected","A","C","D","E","F","I","L","M","N","O","P","R","S","a","b","c","d","f","g","h","i","j","k","l","m","n","o","r","s","u","v","w","x","y","ApplicationDomain","StorageBase","StorageNamespace","IRNode","kind","IRNodeBase","freezeNode","T","node","UNBOUND_NAMESPACE_ID","Namespace","NamespaceBase","id","EntityCoordinate","plane","namespaceId","entityKind","entityName","elementCoordinates","Pick","Generator","storage","Storage","Record","Readonly","namespaces","domainElementCoordinates","domain","StorageType","IRNodeBase","Namespace","NamespaceBase","Storage","StorageType","ColumnDefault","ControlPolicy","NamespaceId","StorageHashBase","CodecTrait","SqlNode","kind","constructor","ForeignKeyReferenceInput","namespaceId","tableName","columns","ForeignKeyReference","input","ReferentialAction","ForeignKeyInput","source","target","name","onDelete","onUpdate","constraint","index","ForeignKey","POSTGRES_ENUM_KIND","PostgresEnumStorageEntry","nativeType","values","codecId","control","isPostgresEnumStorageEntry","value","PrimaryKeyInput","PrimaryKey","IndexInput","Record","type","options","Index","StorageColumnInput","nullable","typeParams","typeRef","default","StorageColumn","UniqueConstraintInput","UniqueConstraint","StorageTableInput","ReadonlyArray","primaryKey","uniques","indexes","foreignKeys","StorageTable","Readonly","CODEC_INSTANCE_KIND","StorageTypeInstance","StorageTypeInstanceInput","toStorageTypeInstance","isStorageTypeInstance","SqlStorageTypeEntry","SqlNamespaceTablesInput","id","tables","enum","SqlStorageInput","THash","SqlNamespace","storageHash","types","namespaces","SqlStorage","buildSqlNamespace","buildSqlNamespaceMap","SqlUnboundNamespace","instance","ForeignKeyOptions","SqlModelFieldStorage","column","SqlModelStorage","table","fields","DEFAULT_FK_CONSTRAINT","DEFAULT_FK_INDEX","applyFkDefaults","fk","overrideDefaults","TypeMaps","TCodecTypes","TQueryOperationTypes","TFieldOutputTypes","TFieldInputTypes","output","codecTypes","queryOperationTypes","fieldOutputTypes","fieldInputTypes","CodecTypesOf","T","C","QueryOperationSelfSpec","traits","QueryOperationReturn","returnType","QueryOperationTypeEntry","self","impl","args","SqlQueryOperationTypes","_CT","QueryOperationTypesBase","QueryOperationTypesOf","Q","TypeMapsPhantomKey","ContractWithTypeMaps","TContract","TTypeMaps","K","ExtractTypeMapsFromContract","NonNullable","FieldOutputTypesOf","F","FieldInputTypesOf","ExtractCodecTypes","ExtractQueryOperationTypes","ExtractFieldOutputTypes","ExtractFieldInputTypes","ResolveCodecTypes","$","A","B","D","E","G","H","I","J","L","M","N","O","P","R","S","U","V","W","X","Y","Z","_","a","b","c","d","et","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t","tt","u","v","w","x","y","z"],"sources":["../../../../1-framework/0-foundation/contract/dist/domain-envelope-Cv5OTm8D.d.mts","../../../../1-framework/0-foundation/contract/dist/contract-types-jgIOdqua.d.mts","../src/type-errors.ts","../src/column-reference.ts","../../../../1-framework/1-core/framework-components/dist/ir.d.mts","../../../1-core/contract/dist/types-Cx_5A_L0.d.mts","../src/type-atoms.ts","../src/selection.ts","../src/table-reference.ts","../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"mappings":";;KAGKC,WAAAA;EAAAA,SACMC,OAAO;AAAA;AAAA;AAAA;AAAA,UAKRG,cAAAA;EAAAA,SACCC,SAAAA,EAAWL,WAAW;EAAA,SACtBM,KAAAA;AAAAA;AAAAA;AAAAA;AAAAA,KAMNI,eAAAA;EAAAA,SACME,IAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,UAAAA,GAAaH,MAAM;AAAA;AAAA,KAEzBI,oBAAAA;EAAAA,SACMH,IAAAA;EAAAA,SACAI,IAAI;AAAA;AAAA,KAEVC,cAAAA;EAAAA,SACML,IAAAA;EAAAA,SACAO,OAAAA,EAASD,aAAAA,CAAcR,eAAAA,GAAkBK,oBAAAA;AAAAA;AAAAA,KAE/CK,iBAAAA,GAAoBV,eAAAA,GAAkBK,oBAAAA,GAAuBE,cAAAA;AAAAA,KAC7DI,aAAAA;EAAAA,SACMC,QAAAA;EAAAA,SACAC,IAAAA,EAAMH,iBAAiB;EAAA,SACvBI,IAAAA;EAAAA,SACAC,IAAAA;AAAAA;AAAAA,KAENC,kBAAAA;EAAAA,SACMC,WAAAA;EAAAA,SACAC,YAAY;AAAA;AAAA,KAElBC,yBAAAA;EAAAA,SACMC,EAAAA,EAAI1B,cAAAA;EAAAA,SACJ2B,WAAAA;EAAAA,SACAC,EAAAA,EAAIN,kBAAkB;AAAA;AAAA,KAE5BO,qBAAAA;EAAAA,SACMH,EAAAA,EAAI1B,cAAc;EAAA,SAClB2B,WAAAA;AAAAA;AAAAA,KAENG,gBAAAA,GAAmBL,yBAAAA,GAA4BI,qBAAqB;AAAA,KACpEE,qBAAAA;EAAAA,SACMC,KAAK;AAAA;AAAA,KAEXC,oBAAAA;EAAAA,SACMlC,KAAK;AAAA;AAAA,KAEXmC,mBAAAA;EAAAA,SACMC,MAAAA,EAAQ5B,MAAM,SAASU,aAAAA;AAAAA;AAAAA,KAE7BmB,gBAAAA,GAAmBC,QAAQ,CAAC9B,MAAAA;AAAAA,UACvB+B,iBAAAA,uBAAwCF,gBAAAA,GAAmBA,gBAAAA;EAAAA,SAC1DD,MAAAA,EAAQ5B,MAAAA,SAAeU,aAAAA;EAAAA,SACvBuB,SAAAA,EAAWjC,MAAAA,SAAeuB,gBAAAA;EAAAA,SAC1BW,OAAAA,EAASF,aAAAA;EAAAA,SACTG,aAAAA,GAAgBX,qBAAAA;EAAAA,SAChBY,QAAAA,GAAWpC,MAAAA,SAAe0B,oBAAAA;EAAAA,SAC1BW,IAAAA,GAAO5C,cAAAA;EAAAA,SACP6C,KAAAA;AAAAA;;;;;UAkBDQ,0BAAAA,iBAA2C9C,MAAAA,SAAe+B,iBAAAA,IAAqB/B,MAAAA,SAAe+B,iBAAAA;EAAAA,SAC7FgB,MAAAA,EAAQN,OAAAA;EAAAA,SACRO,YAAAA,GAAehD,MAAAA,SAAe2B,mBAAAA;AAAAA;;;;;UAM/BsB,iBAAAA,iBAAkCjD,MAAAA,SAAe+B,iBAAAA,IAAqB/B,MAAAA,SAAe+B,iBAAAA;EAAAA,SACpFmB,UAAAA,EAAYpB,QAAAA,CAAS9B,MAAAA,SAAe8C,0BAAAA,CAA2BL,OAAAA;AAAAA;;;;;AA/FoB;;;;AAI5E;AAEwC;;;KCMrDsD,aAAAA;;;;;ADDW;AAG4D;;;;;;;;cCa9DI,CAAAA;ADPgB;;;;AAIf;AAAA;AAJe,KCczBC,KAAAA;EAAAA,CACFD,CAAAA,WAAYE,IAAAA,GAAOC,MAAAA;AAAAA;;;;;;KAOjBE,eAAAA,yBAAwCC,KAAAA,GAAQL,KAAK;;;;;ADdc;KCoBnEM,iBAAAA,yBAA0CD,KAAAA,GAAQL,KAAK;;;;;;KAQvDU,eAAAA,yBAAwCL,KAAAA,GAAQL,KAAK;;;;;;UAahDe,gBAAAA;EAAAA,SACCC,EAAE;AAAA;ADnCE;;;;AAIQ;AAAA;;;;AAJR,UC8CLC,WAAAA;EAAAA,SACCC,WAAAA,EAAad,eAAAA,CAAgBC,KAAAA;EAAAA,SAC7Bc,UAAAA,EAAYL,QAAAA,CAASD,MAAAA,SAAeE,gBAAAA;AAAAA;AAAAA,KAQ1CU,kBAAAA;EAAAA,SACMT,EAAAA;EAAAA,SACAU,MAAAA,GAASb,MAAM;AAAA;AAAA,KAErBc,aAAAA;AAAAA,KACAC,SAAAA,GAAYD,aAAAA;EAAAA,UACLE,GAAAA,WAAcD,SAAAA;AAAAA,aACbA,SAAAA;AAAAA,KACRE,yBAAAA,GAA4BF,SAAS;AAAA,KACrCG,8BAAAA,GAAiCD,yBAAAA,GAA4BE,IAAI;ADlDG;AAAA;;;;AAEzD;AAAA;;AAFyD,KC4DpEE,aAAAA;EAAAA,SACMC,IAAAA;EAAAA,SACA3B,KAAAA,EAAOuB,8BAA8B;AAAA;EAAA,SAErCI,IAAAA;EAAAA,SACAC,UAAAA;AAAAA;AAAAA,KAGNE,6BAAAA;EAAAA,SACMH,IAAAA;EAAAA,SACAnB,EAAAA,EAAIS,kBAAAA;EAAAA,SACJC,MAAAA,GAASb,MAAM;AAAA;AAAA,KAGrB2B,wBAAAA;EAAAA,SACMC,GAAAA;IAAAA,SACEC,KAAAA;IAAAA,SACAC,MAAAA;EAAAA;EAAAA,SAEFC,QAAAA,GAAWN,6BAAAA;EAAAA,SACXO,QAAAA,GAAWP,6BAA6B;AAAA;;;;;;;ADnC8B;;;;AC/F8D;;;;AAY7H;ADmF+D,KC6H5EkD,wBAAAA;EAAAA,SACMjF,aAAAA,EAAeD,iBAAAA,CAAkBD,KAAAA;EAAAA,SACjC6C,SAAAA;IAAAA,SACEC,QAAAA,EAAUF,aAAAA,CAAcT,wBAAAA;EAAAA;AAAAA;;;;;;;;;;;;;;;AA5LT;UA8MlBiD,QAAAA,kBAA0BxE,WAAAA,GAAcA,WAAAA,kBAA6BJ,MAAAA,SAAerB,iBAAAA,IAAqBqB,MAAAA,SAAerB,iBAAAA;EAAAA,SACvH6E,MAAAA;EAAAA,SACAC,YAAAA;EAAAA,SACAsB,KAAAA,EAAO/E,MAAAA,SAAezB,cAAAA;EA1MZiB;;;;EAAAA,SA+MVwF,MAAAA,EAAQnG,iBAAAA,CAAkBiG,OAAAA;EAAAA,SAC1BG,OAAAA,EAASJ,QAAAA;EAAAA,SACTlC,YAAAA,EAAc3C,MAAAA,SAAeA,MAAAA;EAAAA,SAC7BkF,cAAAA,EAAgBlF,MAAAA;EAAAA,SAChBmF,SAAAA,GAAYR,wBAAAA;EAAAA,SACZ7E,WAAAA,EAAaD,eAAAA;EAAAA,SACboE,IAAAA,EAAMjE,MAAAA;EAAAA,SACNf,cAAAA,GAAiBH,aAAAA;AAAAA;;;;;;ADhQkE;;KEOlF,YAAA;;AFHM;AAEwC;;;;KES9C,qCAAA,kBAAuD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;AFfK;;;;AAI5E;KGMN,eAAA,wFAGI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,WAAA;EAAA,SACT,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,8EAEC,UAAA,IAAc,KAAA;;;;;AHRH;AAG4D;KGchE,iCAAA,kBAAmD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;KAKzE,QAAA;EAAA,SACD,OAAA;EAAA,SACA,QAAA;AAAA,IACP,KAAK;AHhBqB;AAAA;;;;AAIf;AAJe,KGwBlB,aAAA,mDAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA;EAAA,SACA,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,oFAEC,UAAA,IAAc,KAAA;;;;;AHpD2E;;;;AAI5E;AAEwC;;;;;;;;AAK1C;AAG4D;;;;;;;;;AAM9C;AAAA;;;;AAIf;AAAA;;;;;;;;;;UImBLqJ,MAAAA;EAAAA,SACCC,IAAI;AAAA;AAAA,uBAEQC,UAAAA,YAAsBF,MAAM;EAAA,kBAC/BC,IAAI;AAAA;;;;;;;;;;;;AJHS;AAAA;;;;;;;;AAIX;AAAA;;;;AAEmD;AAAA;;;;AAEzD;AAAA;;;;AAGA;AAAA;;;;;UI8DNM,SAAAA,SAAkBP,MAAAA,EAAQD,gBAAgB;EAAA,SACzCE,IAAAA;AAAAA;;;AJlDK;AAawC;;;;;;;;;;;;;;;;;;;;;;;AAOI;AAAA;;;;;;;;UI2GlDkB,OAAAA,SAAgBnB,MAAAA;EAAAA,SACfsB,UAAAA,EAAYD,QAAAA,CAASD,MAAAA,SAAeb,SAAAA;AAAAA;AAAAA;;;;;;;;;;;AJrGkC;;;;AC/F8D;;;;AAY7H;AASiH;;;;AAMrG;AAAA;;;UGyMpBkB,WAAAA,SAAoBzB,MAAM;EAAA,SACzBC,IAAI;AAAA;;;;;;;AJjOG;AAEwC;;;;;;;;AAK1C;AAG4D;;;;;;;;;AAM9C;AAAA;;;;AAIf;AAAA;;;;uBKaQmC,OAAAA,SAAgBV,UAAU;EAAA,SACtCW,IAAAA;EACTC,WAAAA,CAAAA;AAAAA;AAAAA;AAAAA,UAIQC,wBAAAA;EAAAA,SACCC,WAAAA;EAAAA,SACAC,SAAAA;EAAAA,SACAC,OAAAA;AAAAA;ALlB6D;;;;;;;AAAA,cK2B1DC,mBAAAA,SAA4BP,OAAAA;EAAAA,SAC/BI,WAAAA,EAAaP,WAAAA;EAAAA,SACbQ,SAAAA;EAAAA,SACAC,OAAAA;EACTJ,WAAAA,CAAYM,KAAAA,EAAOL,wBAAAA;AAAAA;AAAAA;AAAAA,KAIhBM,iBAAAA;AAAAA,UACKC,eAAAA;EAAAA,SACCC,MAAAA,EAAQJ,mBAAAA,GAAsBJ,wBAAAA;EAAAA,SAC9BS,MAAAA,EAAQL,mBAAAA,GAAsBJ,wBAAAA;EAAAA,SAC9BU,IAAAA;EAAAA,SACAC,QAAAA,GAAWL,iBAAAA;EAAAA,SACXM,QAAAA,GAAWN,iBAAAA;ELlCP;EAAA,SKoCJO,UAAAA;ELpCI;EAAA,SKsCJC,KAAAA;AAAAA;;ALlCY;AAAA;;;;;;;;;;cKgDTC,UAAAA,SAAmBlB,OAAAA;EAAAA,SACtBW,MAAAA,EAAQJ,mBAAAA;EAAAA,SACRK,MAAAA,EAAQL,mBAAAA;EAAAA,SACRS,UAAAA;EAAAA,SACAC,KAAAA;EAAAA,SACAJ,IAAAA;EAAAA,SACAC,QAAAA,GAAWL,iBAAAA;EAAAA,SACXM,QAAAA,GAAWN,iBAAAA;EACpBP,WAAAA,CAAYM,KAAAA,EAAOE,eAAAA;AAAAA;AAAAA;;;AL7CoD;AAAA;;;;AAEzD;AAAA;;;;AAGA;AAAA;;cK2DFS,kBAAAA;;;;;;ALxDiC;AAAA;;;;AAER;AAAA;UKmE7BC,wBAAAA,SAAiC1B,WAAAA;EAAAA,SAChCO,IAAAA,SAAakB,kBAAAA;EAAAA,SACbN,IAAAA;EAAAA,SACAQ,UAAAA;EAAAA,SACAC,MAAAA;ELrEQ9S;;;;;;;EAAAA,SK6ER+S,OAAAA;EAAAA,SACAC,OAAAA,GAAU5B,aAAAA;AAAAA;;;;;;;;UAUX+B,eAAAA;EAAAA,SACCrB,OAAAA;EAAAA,SACAO,IAAI;AAAA;;;;cAKDe,UAAAA,SAAmB5B,OAAO;EAAA,SAC7BM,OAAAA;EAAAA,SACAO,IAAAA;EACTX,WAAAA,CAAYM,KAAAA,EAAOmB,eAAAA;AAAAA;AAAAA;AAAAA,UAIXE,UAAAA;EAAAA,SACCvB,OAAAA;EAAAA,SACAO,IAAAA;EAAAA,SACAkB,IAAAA;EAAAA,SACAC,OAAAA,GAAUF,MAAM;AAAA;;;;;;;;;cAUbG,KAAAA,SAAcjC,OAAAA;EAAAA,SACjBM,OAAAA;EAAAA,SACAO,IAAAA;EAAAA,SACAkB,IAAAA;EAAAA,SACAC,OAAAA,GAAUF,MAAAA;EACnB5B,WAAAA,CAAYM,KAAAA,EAAOqB,UAAAA;AAAAA;AAAAA;AL/FuC;;;;;;;;;;AAAA,UK6GlDK,kBAAAA;EAAAA,SACCb,UAAAA;EAAAA,SACAE,OAAAA;EAAAA,SACAY,QAAAA;EAAAA,SACAC,UAAAA,GAAaN,MAAAA;EAAAA,SACbO,OAAAA;EAAAA,SACAC,OAAAA,GAAU3C,aAAAA;EAAAA,SACV6B,OAAAA,GAAU5B,aAAAA;AAAAA;;;;;;AL7G4D;;;;AC/F8D;;;;cI2NjI2C,aAAAA,SAAsBvC,OAAAA;EAAAA,SACzBqB,UAAAA;EAAAA,SACAE,OAAAA;EAAAA,SACAY,QAAAA;EAAAA,SACAC,UAAAA,GAAaN,MAAAA;EAAAA,SACbO,OAAAA;EAAAA,SACAC,OAAAA,GAAU3C,aAAAA;EAAAA,SACV6B,OAAAA,GAAU5B,aAAAA;EACnBM,WAAAA,CAAYM,KAAAA,EAAO0B,kBAAAA;AAAAA;AAAAA;AAAAA,UAIXM,qBAAAA;EAAAA,SACClC,OAAAA;EAAAA,SACAO,IAAI;AAAA;;;;cAKD4B,gBAAAA,SAAyBzC,OAAO;EAAA,SACnCM,OAAAA;EAAAA,SACAO,IAAAA;EACTX,WAAAA,CAAYM,KAAAA,EAAOgC,qBAAAA;AAAAA;AAAAA;AAAAA,UAIXE,iBAAAA;EAAAA,SACCpC,OAAAA,EAASwB,MAAAA,SAAeS,aAAAA,GAAgBL,kBAAAA;EAAAA,SACxCU,UAAAA,GAAahB,UAAAA,GAAaD,eAAAA;EAAAA,SAC1BkB,OAAAA,EAASF,aAAAA,CAAcF,gBAAAA,GAAmBD,qBAAAA;EAAAA,SAC1CM,OAAAA,EAASH,aAAAA,CAAcV,KAAAA,GAAQJ,UAAAA;EAAAA,SAC/BkB,WAAAA,EAAaJ,aAAAA,CAAczB,UAAAA,GAAaR,eAAAA;EAAAA,SACxCc,OAAAA,GAAU5B,aAAAA;AAAAA;;;;;;AJ3MuC;AAEkB;;;;;;cIuNhEoD,YAAAA,SAAqBhD,OAAAA;EAAAA,SACxBM,OAAAA,EAAS2C,QAAAA,CAASnB,MAAAA,SAAeS,aAAAA;EAAAA,SACjCM,OAAAA,EAASF,aAAAA,CAAcF,gBAAAA;EAAAA,SACvBK,OAAAA,EAASH,aAAAA,CAAcV,KAAAA;EAAAA,SACvBc,WAAAA,EAAaJ,aAAAA,CAAczB,UAAAA;EAAAA,SAC3B0B,UAAAA,GAAahB,UAAAA;EAAAA,SACbJ,OAAAA,GAAU5B,aAAAA;EACnBM,WAAAA,CAAYM,KAAAA,EAAOkC,iBAAAA;AAAAA;AAAAA;;;;;;;;cAWPQ,mBAAAA;;;;;;;;;UASJC,mBAAAA,SAA4BzD,WAAAA;EAAAA,SAC3BO,IAAAA,SAAaiD,mBAAAA;EAAAA,SACb3B,OAAAA;EAAAA,SACAF,UAAAA;EAAAA,SACAe,UAAAA,EAAYN,MAAAA;AAAAA;;;;AJ3MG;AAAA;UIkNhBsB,wBAAAA;EAAAA,SACC7B,OAAAA;EAAAA,SACAF,UAAAA;EAAAA,SACAe,UAAAA,EAAYN,MAAM;AAAA;;;;;;;;;;;AJ/Ma;AAAA;;KIqOrCyB,mBAAAA,GAAsBJ,mBAAAA,GAAsBC,wBAAAA,GAA2BhC,wBAAAA;AAAAA,UAMlEwC,eAAAA;EAAAA,SACCG,WAAAA,EAAajE,eAAAA,CAAgB+D,KAAAA;EAAAA,SAC7BG,KAAAA,GAAQlC,MAAAA,SAAeyB,mBAAAA;EAAAA,SACvBU,UAAAA,EAAYhB,QAAAA,CAASnB,MAAAA,SAAegC,YAAAA;AAAAA;;;AJ9N1B;AAEmD;;;;;;;;;;AAI9C;AAE8E;;;;;;;;;KI+OnGA,YAAAA,GAAevE,SAAAA;EAAAA,SACTmE,MAAAA,EAAQT,QAAAA,CAASnB,MAAAA,SAAekB,YAAAA;EAAAA,SAChCW,IAAAA,GAAOV,QAAAA,CAASnB,MAAAA,SAAeV,wBAAAA;AAAAA;AAAAA,cAE5B8C,UAAAA,wCAAkDlE,OAAAA,YAAmBP,OAAAA;EAAAA,SACxEsE,WAAAA,EAAajE,eAAAA,CAAgB+D,KAAAA;EAAAA,SAC7BI,UAAAA,EAAYhB,QAAAA,CAASnB,MAAAA,SAAegC,YAAAA;EAAAA,SACpCE,KAAAA,GAAQf,QAAAA,CAASnB,MAAAA,SAAeqB,mBAAAA,GAAsB/B,wBAAAA;EAC/DlB,WAAAA,CAAYM,KAAAA,EAAOoD,eAAAA,CAAgBC,KAAAA;AAAAA;AAAAA;AAAAA,KAiFhC+B,YAAAA,OAAmBC,CAAAA,oBAAqB/D,MAAAA,kBAAwB+D,CAAAA;EAAAA,SAC1DL,UAAAA;AAAAA,IACPM,CAAAA,SAAUhE,MAAAA;EACZyD,MAAAA;AAAAA,KACGO,CAAAA,GAAIhE,MAAAA,kBAAwBA,MAAAA;;;;;;;AHxbgE;KGie5F8E,kBAAAA;AAAAA,KAEAK,2BAAAA,MAAiCL,kBAAAA,eAAiCf,CAAAA,GAAIqB,WAAAA,CAAYrB,CAAAA,CAAEe,kBAAAA,SAA2Bf,CAAAA;AAAAA,KAO/GyB,iBAAAA,MAAuB1B,YAAAA,CAAaqB,2BAAAA,CAA4BpB,CAAAA;;;;;;;ALzfyB;KMKlF,iBAAA,YAA6B,MAAA,sBAA4B,MAAM;;;ANDzD;AAEwC;;KMM9C,kBAAA,yCACE,OAAA,KAAY,OAAA,CAAQ,OAAA,OAAc,OAAA,EAAS,CAAA,WACjD,OAAA;;;;ANHQ;AAG4D;;KMQhE,YAAA,qDAAiE,iBAAA,CAC3E,OAAA,CAAQ,QAAA,iBACJ,QAAA,0BAEuB,QAAA,SAAiB,QAAA,GAAW,CAAA,eAAgB,QAAA,GAC7D,QAAA,CAAS,CAAA,IACT,CAAA,eAAgB,QAAA,GACd,QAAA,CAAS,CAAA;;;;;ANTO;KMmBlB,OAAA,YAAmB,MAAM;;;;ANftB;AAAA;KMsBH,QAAA,2BAAmC,iBAAA,eAC/B,OAAA,GAAU,OAAA,CAAQ,CAAA;;;;AN/C4D;;;;KOSlF,aAAA,mBAAgC,QAAA,CAAS,UAAA,KACnD,SAAA;APJwD;;;;;;;;AAAA,KOc9C,iBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,aAAA,CAAc,SAAA,sCACb,aAAA,CAAc,SAAA,EAAW,UAAA,kCACxC,aAAA,CAAc,SAAA,EAAW,UAAA,aAAuB,WAAA,KACzD,QAAA,SAAiB,aAAA,IAEZ,QAAA,4CACD,iBAAA,CAAkB,SAAA,EAAW,QAAA;APduC;;;;AAAA,KOqBhE,SAAA,GAAY,MAAM,SAAS,cAAA;;;;;APfT;AAAA;UOuBb,cAAA;EAAA,SACN,WAAA,EAAa,SAAA;EAAA,SACb,SAAA,EAAW,OAAO;AAAA;APrBd;;;;;;AAAA,KO8BH,gBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,aAAA,CAAc,SAAA,cACrC,iBAAA,iCAC4B,aAAA,CAAc,SAAA,EAAW,UAAA,wBAC5C,cAAA,CACT,iBAAA,CAAkB,SAAA,EAAW,UAAA,EAAY,UAAA,GACzC,aAAA,CAAc,SAAA,EAAW,UAAA,aAAuB,UAAA;;;;;AP7D0C;;;;KQSlF,cAAA,8CAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,KAAA;AAAA,IAChB,KAAA,yFAEF,KAAA;;;;;;;KASU,gCAAA,kBAAkD,YAAA,IAAgB,KAAA,CAAM,QAAA;ARXR;;;;;;AAAA,KQmBhE,0BAAA,kBAA4C,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;AR7B5D;AAEwC;KSU9C,GAAA,mBAAsB,QAAA,CAAS,UAAA,oCACZ,aAAA,CAAc,SAAA,aAAsB,cAAA,CAC/D,SAAA,EACA,SAAA,wDAEwB,OAAA,OAChB,aAAA,CAAc,SAAA,EAAW,SAAA,oBACzB,cAAA,aAEG,eAAA,CAAgB,UAAA,EAAY,SAAA,EAAW,SAAA;EAAA,UAExC,GAAA,GAAM,aAAA,CAAc,SAAA,EAAW,SAAA;AAAA,IACvC,MAAA,CACA,WAAA,EACA,iCAAA,uDAAwF,SAAA;EAAA,UAGlF,GAAA,GAAM,QAAA;AAAA,IACd,MAAA,CACA,WAAA,EACA,gCAAA;;;;;;iBAQY,SAAA,mBAA4B,QAAA,CAAS,UAAA,EAAA,CACnD,SAAA,EAAW,SAAA,GACV,GAAA,CAAI,SAAA;;;;;AT1CW;AAEwC;;;;cUQ7C,aAAA,mBACO,QAAA,CAAS,UAAA,mBACX,aAAA,CAAc,QAAA,CAAS,UAAA,uBACpB,SAAA;EAAA;cAMP,QAAA,EAAU,SAAA;EAItB,MAAA,CACE,QAAA,EAAU,QAAA,GACT,kBAAA,CAAmB,OAAA,iBAClB,aAAA,CACE,SAAA,EACA,OAAA,EACA,YAAA,CAAa,UAAA,EAAY,gBAAA,CAAiB,SAAA,QAAiB,OAAA,eAE7D,qCAAA;EACJ,MAAA,0BAAgC,OAAA,UAAA,CAC9B,QAAA,EAAU,aAAA,CAAc,UAAA,EAAY,SAAA,8BACnC,aAAA,CACD,SAAA,EACA,OAAA,EACA,YAAA,CAAa,UAAA,EAAY,gBAAA,CAAiB,SAAA,EAAW,UAAA;EAEvD,MAAA,CACE,GAAA,UACC,qCAAA;EAQH,KAAA,CAAA,GAAS,OAAA,CAAQ,UAAA,yBAGb,QAAA,CAAS,UAAA;AAAA;;;;;AVpDG;AAEwC;;cWM7C,IAAA,mBAAuB,QAAA,CAAS,UAAA;EAAA;cAG/B,QAAA,EAAU,SAAA;EXLFhY;;;AACN;AAG4D;EWU1E,IAAA,CACE,KAAA,EAAO,cAAA,UACN,qCAAA;;;;EAIH,IAAA,sBAAA,CACE,KAAA,iBAAsB,KAAA,GAClB,0BAAA,0FACA,cAAA,CAAe,KAAA,EAAO,SAAA,8BACzB,KAAA,kBACC,aAAA,CAAc,SAAA,EAAW,IAAA,CAAK,aAAA,CAAc,SAAA,GAAY,KAAA,KACxD,qCAAA;EACJ,IAAA,CACE,KAAA,EAAO,0BAAA,0FACN,qCAAA;AAAA;;AXnByB;AAAA;iBWgCd,UAAA,CACd,QAAA,UACC,qCAAqC;;;AX9BzB;iBWkCC,UAAA,mBAA6B,QAAA,CAAS,UAAA,EAAA,CACpD,QAAA,EAAU,SAAA,GACT,IAAA,CAAK,SAAA"}
|
package/dist/index.mjs.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.mjs","names":["#contract","#contract"],"sources":["../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type {\n Asterisk,\n ColumnReference,\n ColumnReferenceOutOfContractError,\n TableAsterisk,\n} from './column-reference';\nimport type { UnboundTables } from './selection';\nimport type { TableReference, TableReferenceOutOfContractError } from './table-reference';\n\n/**\n * A fluent API representing references to tables and columns in a SQL contract.\n *\n * @template TContract The contract that describes the database.\n */\nexport type Ref<TContract extends Contract<SqlStorage>> = {\n readonly [TableName in keyof UnboundTables<TContract> & string]: TableReference<\n TableName,\n TContract['storage']['storageHash']\n > & {\n readonly [ColumnName in Exclude<\n keyof UnboundTables<TContract>[TableName]['columns'],\n keyof TableReference\n > &\n string]: ColumnReference<ColumnName, TableName, TContract['storage']['storageHash']>;\n } & {\n readonly ['*']: TableAsterisk<TableName, TContract['storage']['storageHash']>;\n } & Record<\n PropertyKey,\n ColumnReferenceOutOfContractError<`[error] reference to a non-existing column in the '${TableName}' table`>\n >;\n} & {\n readonly ['*']: Asterisk;\n} & Record<\n PropertyKey,\n TableReferenceOutOfContractError<`[error] reference to a non-existing table in the contract`>\n >;\n\n/**\n * Creates a reference object for the given SQL contract.\n *\n * @template TContract The contract that describes the database.\n */\nexport function createRef<TContract extends Contract<SqlStorage>>(\n _contract: TContract,\n): Ref<TContract> {\n return new Proxy({} as Ref<TContract>, {\n get(_target, tableName) {\n if (tableName === '*') {\n return Object.freeze({\n '~name': tableName,\n '~table': null,\n });\n }\n\n return new Proxy(\n {},\n {\n get(_target, columnName) {\n if (columnName === '~name') {\n return tableName;\n }\n\n return Object.freeze({\n '~name': columnName,\n '~table': tableName,\n });\n },\n },\n );\n },\n });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { Asterisk, TableAsterisk } from './column-reference';\nimport type { Selection, TableToSelection, UnboundTables } from './selection';\nimport type { ExactlyOneProperty, IsNever, MergeObjects, Simplify } from './type-atoms';\nimport type { PreviousFunctionReceivedBadInputError } from './type-errors';\n\n/**\n * A builder for SQL `select` queries.\n *\n * @template TContract The contract that describes the database.\n * @template TTables The tables involved in the current `select` query.\n * @template TSelection The current selection of the `select` query.\n */\nexport class SelectBuilder<\n TContract extends Contract<SqlStorage>,\n TTables extends UnboundTables<Contract<SqlStorage>>,\n TSelection extends Selection = never,\n> {\n // @ts-expect-error\n // biome-ignore lint/correctness/noUnusedPrivateClassMembers: will be used soon.\n readonly #contract: TContract;\n\n constructor(contract: TContract) {\n this.#contract = contract;\n }\n\n select(\n asterisk: Asterisk,\n ): ExactlyOneProperty<TTables> extends true\n ? SelectBuilder<\n TContract,\n TTables,\n MergeObjects<TSelection, TableToSelection<TContract, keyof TTables & string>>\n >\n : PreviousFunctionReceivedBadInputError<'[error] selecting all columns via `*` results in ambiguity when multiple tables are involved in the query'>;\n select<TTableName extends keyof TTables & string>(\n asterisk: TableAsterisk<TTableName, TContract['storage']['storageHash']>,\n ): SelectBuilder<\n TContract,\n TTables,\n MergeObjects<TSelection, TableToSelection<TContract, TTableName>>\n >;\n select(\n arg: never,\n ): PreviousFunctionReceivedBadInputError<'[error] invalid input in previous `select()` call'>;\n select(..._args: unknown[]): unknown {\n // TODO: do runtime stuff.\n return this;\n }\n\n // TODO: the return type here is not the real one we'll use eventually.\n // I'm using something to test the selection stuff.\n build(): IsNever<TSelection> extends true\n ? // TODO: either split to two builders or provide a type-level error here.\n never\n : Simplify<TSelection> {\n // TODO: do runtime stuff.\n return {} as never;\n }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SelectBuilder } from './select-builder';\nimport type { UnboundTables } from './selection';\nimport type { TableReference, TableReferenceTooWideError } from './table-reference';\nimport type { PreviousFunctionReceivedBadInputError } from './type-errors';\n\n/**\n * The root of all builder.\n *\n * @template TContract The contract that describes the database.\n */\nexport class Root<TContract extends Contract<SqlStorage>> {\n readonly #contract: TContract;\n\n constructor(contract: TContract) {\n this.#contract = contract;\n }\n\n /**\n * SQL's `from` clause, where all `select` queries actually start from.\n *\n * @param table The table to select from.\n */\n from(\n table: TableReference<never>,\n ): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n /**\n * @template TName The name of the table to select from.\n */\n from<TName extends string>(\n table: string extends TName\n ? TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>\n : TableReference<TName, TContract['storage']['storageHash']>,\n ): TName extends string\n ? SelectBuilder<TContract, Pick<UnboundTables<TContract>, TName>>\n : PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n from(\n table: TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>,\n ): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n /**\n * @internal\n */\n from(_table: unknown): unknown {\n // TODO: use runtime table reference value to do something \"AST\"-related.\n return new SelectBuilder(this.#contract);\n }\n}\n\n/**\n * Creates a new `Root` instance.\n */\nexport function createRoot(\n contract: never,\n): PreviousFunctionReceivedBadInputError<'[error] root creation will likely fail at runtime given the passed contract is not valid or verified'>;\n/**\n * @template TContract The contract that describes the database.\n */\nexport function createRoot<TContract extends Contract<SqlStorage>>(\n contract: TContract,\n): Root<TContract>;\n/**\n * @internal\n */\nexport function createRoot(contract: unknown): unknown {\n // Blind cast: the public overloads above (`createRoot(TContract)`)\n // statically constrain `contract` to `Contract<SqlStorage>` —\n // this internal `unknown` overload exists only to give the\n // implementation a single body. Any caller that reaches the\n // `unknown` form has already been narrowed by the matching\n // overload at compile time.\n return new Root(contract as unknown as Contract<SqlStorage>);\n}\n"],"mappings":";;;;;;AA4CA,SAAgB,UACd,WACgB;CAChB,OAAO,IAAI,MAAM,
|
|
1
|
+
{"version":3,"file":"index.mjs","names":["#contract","#contract"],"sources":["../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type {\n Asterisk,\n ColumnReference,\n ColumnReferenceOutOfContractError,\n TableAsterisk,\n} from './column-reference';\nimport type { UnboundTables } from './selection';\nimport type { TableReference, TableReferenceOutOfContractError } from './table-reference';\n\n/**\n * A fluent API representing references to tables and columns in a SQL contract.\n *\n * @template TContract The contract that describes the database.\n */\nexport type Ref<TContract extends Contract<SqlStorage>> = {\n readonly [TableName in keyof UnboundTables<TContract> & string]: TableReference<\n TableName,\n TContract['storage']['storageHash']\n > & {\n readonly [ColumnName in Exclude<\n keyof UnboundTables<TContract>[TableName]['columns'],\n keyof TableReference\n > &\n string]: ColumnReference<ColumnName, TableName, TContract['storage']['storageHash']>;\n } & {\n readonly ['*']: TableAsterisk<TableName, TContract['storage']['storageHash']>;\n } & Record<\n PropertyKey,\n ColumnReferenceOutOfContractError<`[error] reference to a non-existing column in the '${TableName}' table`>\n >;\n} & {\n readonly ['*']: Asterisk;\n} & Record<\n PropertyKey,\n TableReferenceOutOfContractError<`[error] reference to a non-existing table in the contract`>\n >;\n\n/**\n * Creates a reference object for the given SQL contract.\n *\n * @template TContract The contract that describes the database.\n */\nexport function createRef<TContract extends Contract<SqlStorage>>(\n _contract: TContract,\n): Ref<TContract> {\n return new Proxy({} as Ref<TContract>, {\n get(_target, tableName) {\n if (tableName === '*') {\n return Object.freeze({\n '~name': tableName,\n '~table': null,\n });\n }\n\n return new Proxy(\n {},\n {\n get(_target, columnName) {\n if (columnName === '~name') {\n return tableName;\n }\n\n return Object.freeze({\n '~name': columnName,\n '~table': tableName,\n });\n },\n },\n );\n },\n });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { Asterisk, TableAsterisk } from './column-reference';\nimport type { Selection, TableToSelection, UnboundTables } from './selection';\nimport type { ExactlyOneProperty, IsNever, MergeObjects, Simplify } from './type-atoms';\nimport type { PreviousFunctionReceivedBadInputError } from './type-errors';\n\n/**\n * A builder for SQL `select` queries.\n *\n * @template TContract The contract that describes the database.\n * @template TTables The tables involved in the current `select` query.\n * @template TSelection The current selection of the `select` query.\n */\nexport class SelectBuilder<\n TContract extends Contract<SqlStorage>,\n TTables extends UnboundTables<Contract<SqlStorage>>,\n TSelection extends Selection = never,\n> {\n // @ts-expect-error\n // biome-ignore lint/correctness/noUnusedPrivateClassMembers: will be used soon.\n readonly #contract: TContract;\n\n constructor(contract: TContract) {\n this.#contract = contract;\n }\n\n select(\n asterisk: Asterisk,\n ): ExactlyOneProperty<TTables> extends true\n ? SelectBuilder<\n TContract,\n TTables,\n MergeObjects<TSelection, TableToSelection<TContract, keyof TTables & string>>\n >\n : PreviousFunctionReceivedBadInputError<'[error] selecting all columns via `*` results in ambiguity when multiple tables are involved in the query'>;\n select<TTableName extends keyof TTables & string>(\n asterisk: TableAsterisk<TTableName, TContract['storage']['storageHash']>,\n ): SelectBuilder<\n TContract,\n TTables,\n MergeObjects<TSelection, TableToSelection<TContract, TTableName>>\n >;\n select(\n arg: never,\n ): PreviousFunctionReceivedBadInputError<'[error] invalid input in previous `select()` call'>;\n select(..._args: unknown[]): unknown {\n // TODO: do runtime stuff.\n return this;\n }\n\n // TODO: the return type here is not the real one we'll use eventually.\n // I'm using something to test the selection stuff.\n build(): IsNever<TSelection> extends true\n ? // TODO: either split to two builders or provide a type-level error here.\n never\n : Simplify<TSelection> {\n // TODO: do runtime stuff.\n return {} as never;\n }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SelectBuilder } from './select-builder';\nimport type { UnboundTables } from './selection';\nimport type { TableReference, TableReferenceTooWideError } from './table-reference';\nimport type { PreviousFunctionReceivedBadInputError } from './type-errors';\n\n/**\n * The root of all builder.\n *\n * @template TContract The contract that describes the database.\n */\nexport class Root<TContract extends Contract<SqlStorage>> {\n readonly #contract: TContract;\n\n constructor(contract: TContract) {\n this.#contract = contract;\n }\n\n /**\n * SQL's `from` clause, where all `select` queries actually start from.\n *\n * @param table The table to select from.\n */\n from(\n table: TableReference<never>,\n ): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n /**\n * @template TName The name of the table to select from.\n */\n from<TName extends string>(\n table: string extends TName\n ? TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>\n : TableReference<TName, TContract['storage']['storageHash']>,\n ): TName extends string\n ? SelectBuilder<TContract, Pick<UnboundTables<TContract>, TName>>\n : PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n from(\n table: TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>,\n ): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n /**\n * @internal\n */\n from(_table: unknown): unknown {\n // TODO: use runtime table reference value to do something \"AST\"-related.\n return new SelectBuilder(this.#contract);\n }\n}\n\n/**\n * Creates a new `Root` instance.\n */\nexport function createRoot(\n contract: never,\n): PreviousFunctionReceivedBadInputError<'[error] root creation will likely fail at runtime given the passed contract is not valid or verified'>;\n/**\n * @template TContract The contract that describes the database.\n */\nexport function createRoot<TContract extends Contract<SqlStorage>>(\n contract: TContract,\n): Root<TContract>;\n/**\n * @internal\n */\nexport function createRoot(contract: unknown): unknown {\n // Blind cast: the public overloads above (`createRoot(TContract)`)\n // statically constrain `contract` to `Contract<SqlStorage>` —\n // this internal `unknown` overload exists only to give the\n // implementation a single body. Any caller that reaches the\n // `unknown` form has already been narrowed by the matching\n // overload at compile time.\n return new Root(contract as unknown as Contract<SqlStorage>);\n}\n"],"mappings":";;;;;;AA4CA,SAAgB,UACd,WACgB;CAChB,OAAO,IAAI,MAAM,CAAC,GAAqB,EACrC,IAAI,SAAS,WAAW;EACtB,IAAI,cAAc,KAChB,OAAO,OAAO,OAAO;GACnB,SAAS;GACT,UAAU;EACZ,CAAC;EAGH,OAAO,IAAI,MACT,CAAC,GACD,EACE,IAAI,SAAS,YAAY;GACvB,IAAI,eAAe,SACjB,OAAO;GAGT,OAAO,OAAO,OAAO;IACnB,SAAS;IACT,UAAU;GACZ,CAAC;EACH,EACF,CACF;CACF,EACF,CAAC;AACH;;;;;;;;;;AC3DA,IAAa,gBAAb,MAIE;CAGA;CAEA,YAAY,UAAqB;EAC/B,KAAKA,YAAY;CACnB;CAqBA,OAAO,GAAG,OAA2B;EAEnC,OAAO;CACT;CAIA,QAGyB;EAEvB,OAAO,CAAC;CACV;AACF;;;;;;;;AChDA,IAAa,OAAb,MAA0D;CACxD;CAEA,YAAY,UAAqB;EAC/B,KAAKC,YAAY;CACnB;;;;CA0BA,KAAK,QAA0B;EAE7B,OAAO,IAAI,cAAc,KAAKA,SAAS;CACzC;AACF;;;;AAiBA,SAAgB,WAAW,UAA4B;CAOrD,OAAO,IAAI,KAAK,QAA2C;AAC7D"}
|
package/package.json
CHANGED
|
@@ -1,31 +1,39 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@prisma-next/sql-lane-query-builder",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.12.0-dev.10",
|
|
4
4
|
"license": "Apache-2.0",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"sideEffects": false,
|
|
7
7
|
"description": "SQL query builder lane for Prisma Next",
|
|
8
8
|
"devDependencies": {
|
|
9
|
-
"@prisma-next/contract": "0.
|
|
10
|
-
"@prisma-next/sql-contract": "0.
|
|
11
|
-
"@prisma-next/tsconfig": "0.
|
|
12
|
-
"@prisma-next/tsdown": "0.
|
|
9
|
+
"@prisma-next/contract": "0.12.0-dev.10",
|
|
10
|
+
"@prisma-next/sql-contract": "0.12.0-dev.10",
|
|
11
|
+
"@prisma-next/tsconfig": "0.12.0-dev.10",
|
|
12
|
+
"@prisma-next/tsdown": "0.12.0-dev.10",
|
|
13
13
|
"tsdown": "0.22.0",
|
|
14
14
|
"typescript": "5.9.3",
|
|
15
15
|
"vitest": "4.1.6"
|
|
16
16
|
},
|
|
17
|
+
"peerDependencies": {
|
|
18
|
+
"typescript": ">=5.9"
|
|
19
|
+
},
|
|
20
|
+
"peerDependenciesMeta": {
|
|
21
|
+
"typescript": {
|
|
22
|
+
"optional": true
|
|
23
|
+
}
|
|
24
|
+
},
|
|
17
25
|
"files": [
|
|
18
26
|
"dist",
|
|
19
27
|
"src"
|
|
20
28
|
],
|
|
21
|
-
"
|
|
22
|
-
"node": ">=20"
|
|
23
|
-
},
|
|
29
|
+
"types": "./dist/index.d.mts",
|
|
24
30
|
"exports": {
|
|
25
31
|
".": "./dist/index.mjs",
|
|
26
32
|
"./package.json": "./package.json"
|
|
27
33
|
},
|
|
28
|
-
"
|
|
34
|
+
"engines": {
|
|
35
|
+
"node": ">=24"
|
|
36
|
+
},
|
|
29
37
|
"repository": {
|
|
30
38
|
"type": "git",
|
|
31
39
|
"url": "https://github.com/prisma/prisma-next.git",
|