@prisma-next/sql-lane-query-builder 0.5.0-dev.9 → 0.5.0

package/dist/index.d.mts

@@ -1,8 +1,188 @@
-import { Brand, Contract, StorageHashBase } from "@prisma-next/contract/types";
-import { ExtractCodecTypes, SqlStorage, StorageColumn } from "@prisma-next/sql-contract/types";
-
+//#region ../../../1-framework/0-foundation/contract/dist/contract-types-Kl86EaEa.d.mts
+//#region src/domain-types.d.ts
+type ScalarFieldType = {
+  readonly kind: 'scalar';
+  readonly codecId: string;
+  readonly typeParams?: Record<string, unknown>;
+};
+type ValueObjectFieldType = {
+  readonly kind: 'valueObject';
+  readonly name: string;
+};
+type UnionFieldType = {
+  readonly kind: 'union';
+  readonly members: ReadonlyArray<ScalarFieldType | ValueObjectFieldType>;
+};
+type ContractFieldType = ScalarFieldType | ValueObjectFieldType | UnionFieldType;
+type ContractField = {
+  readonly nullable: boolean;
+  readonly type: ContractFieldType;
+  readonly many?: true;
+  readonly dict?: true;
+};
+type ContractRelationOn = {
+  readonly localFields: readonly string[];
+  readonly targetFields: readonly string[];
+};
+type ContractReferenceRelation = {
+  readonly to: string;
+  readonly cardinality: '1:1' | '1:N' | 'N:1';
+  readonly on: ContractRelationOn;
+};
+type ContractEmbedRelation = {
+  readonly to: string;
+  readonly cardinality: '1:1' | '1:N';
+};
+type ContractRelation = ContractReferenceRelation | ContractEmbedRelation;
+type ContractDiscriminator = {
+  readonly field: string;
+};
+type ContractVariantEntry = {
+  readonly value: string;
+};
+type ContractValueObject = {
+  readonly fields: Record<string, ContractField>;
+};
+type ModelStorageBase = Readonly<Record<string, unknown>>;
+interface ContractModelBase<TModelStorage extends ModelStorageBase = ModelStorageBase> {
+  readonly fields: Record<string, ContractField>;
+  readonly relations: Record<string, ContractRelation>;
+  readonly storage: TModelStorage;
+  readonly discriminator?: ContractDiscriminator;
+  readonly variants?: Record<string, ContractVariantEntry>;
+  readonly base?: string;
+  readonly owner?: string;
+}
+//#endregion
+//#region src/types.d.ts
+/**
+ * Unique symbol used as the key for branding types.
+ */
+declare const $: unique symbol;
+/**
+ * A helper type to brand a given type with a unique identifier.
+ *
+ * @template TKey Text used as the brand key.
+ * @template TValue Optional value associated with the brand key. Defaults to `true`.
+ */
+type Brand<TKey extends string | number | symbol, TValue = true> = {
+  [$]: { [K in TKey]: TValue };
+};
+/**
+ * Base type for storage contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type StorageHash = StorageHashBase<'sha256:abc123...'>`
+ */
+type StorageHashBase<THash extends string> = THash & Brand<'StorageHash'>;
+/**
+ * Base type for execution contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type ExecutionHash = ExecutionHashBase<'sha256:def456...'>`
+ */
+type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;
+/**
+ * Base type for profile contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type ProfileHash = ProfileHashBase<'sha256:def456...'>`
+ */
+type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;
+/**
+ * Base type for family-specific storage blocks.
+ * Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the
+ * storage hash alongside family-specific data (tables, collections, etc.).
+ */
+interface StorageBase<THash extends string = string> {
+  readonly storageHash: StorageHashBase<THash>;
+}
+type GeneratedValueSpec = {
+  readonly id: string;
+  readonly params?: Record<string, unknown>;
+};
+type JsonPrimitive = string | number | boolean | null;
+type JsonValue = JsonPrimitive | {
+  readonly [key: string]: JsonValue;
+} | readonly JsonValue[];
+type ColumnDefaultLiteralValue = JsonValue;
+type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | Date;
+/**
+ * Runtime predicate for `ColumnDefaultLiteralInputValue`. Authoring layers
+ * resolve template values from caller-supplied args (typed `unknown` at the
+ * boundary) and need to validate before constructing a `ColumnDefault`.
+ * Accepts JSON primitives, plain arrays/objects of JSON values, and `Date`
+ * instances. Rejects functions, class instances (other than `Date`),
+ * `undefined`, `bigint`, `symbol`, and arrays/objects containing those.
+ */
+type ColumnDefault = {
+  readonly kind: 'literal';
+  readonly value: ColumnDefaultLiteralInputValue;
+} | {
+  readonly kind: 'function';
+  readonly expression: string;
+};
+type ExecutionMutationDefaultValue = {
+  readonly kind: 'generator';
+  readonly id: GeneratedValueSpec['id'];
+  readonly params?: Record<string, unknown>;
+};
+type ExecutionMutationDefault = {
+  readonly ref: {
+    readonly table: string;
+    readonly column: string;
+  };
+  readonly onCreate?: ExecutionMutationDefaultValue;
+  readonly onUpdate?: ExecutionMutationDefaultValue;
+};
+/**
+ * `ExecutionMutationDefault` minus its `ref` — the per-field phases value
+ * authoring layers attach to a column before the column ref is known.
+ */
+//#endregion
+//#region src/contract-types.d.ts
+/**
+ * Execution section for the unified contract (ADR 182).
+ *
+ * Unlike the legacy {@link import('./types').ExecutionSection}, this type
+ * requires `executionHash` — when an execution section is present, its
+ * hash must be too (consistent with `StorageBase.storageHash`).
+ *
+ * @template THash  Literal hash string type for type-safe hash tracking.
+ */
+type ContractExecutionSection<THash extends string = string> = {
+  readonly executionHash: ExecutionHashBase<THash>;
+  readonly mutations: {
+    readonly defaults: ReadonlyArray<ExecutionMutationDefault>;
+  };
+};
+/**
+ * Unified contract representation (ADR 182).
+ *
+ * A `Contract` is the canonical in-memory representation of a data contract.
+ * It is model-first (domain models carry their own storage bridge) and
+ * family-parameterized (SQL, Mongo, etc. specialize via `TStorage` and model
+ * storage generics on `ContractModel`).
+ *
+ * JSON persistence fields (`schemaVersion`, `sources`) are not represented
+ * here — they are handled at the serialization boundary.
+ *
+ * @template TStorage  Family-specific storage block (extends {@link StorageBase}).
+ * @template TModels   Record of model name → {@link ContractModel} with
+ *                     family-specific model storage.
+ */
+interface Contract<TStorage extends StorageBase = StorageBase, TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
+  readonly target: string;
+  readonly targetFamily: string;
+  readonly roots: Record<string, string>;
+  readonly models: TModels;
+  readonly valueObjects?: Record<string, ContractValueObject>;
+  readonly storage: TStorage;
+  readonly capabilities: Record<string, Record<string, boolean>>;
+  readonly extensionPacks: Record<string, unknown>;
+  readonly execution?: ContractExecutionSection;
+  readonly profileHash: ProfileHashBase<string>;
+  readonly meta: Record<string, unknown>;
+} //#endregion
+//#endregion
 //#region src/type-errors.d.ts
-
 /**
  * An error message type, prefixed with `[error]`.
  *
@@ -54,6 +234,110 @@ type TableAsterisk<TTableName extends string = string, THash extends StorageHash
   readonly '~table': TTableName;
 } & Brand<'[info] referencing all columns that belong to the following table reference:', `${TTableName}@${THash}`>;
 //#endregion
+//#region ../../1-core/contract/dist/types-njsiV-Ck.d.mts
+//#region src/types.d.ts
+/**
+ * A column definition in storage.
+ *
+ * `typeParams` is optional because most columns use non-parameterized types.
+ * Columns with parameterized types can either inline `typeParams` or reference
+ * a named {@link StorageTypeInstance} via `typeRef`.
+ */
+type StorageColumn = {
+  readonly nativeType: string;
+  readonly codecId: string;
+  readonly nullable: boolean;
+  /**
+   * Opaque, codec-owned JS/type parameters.
+   * The codec that owns `codecId` defines the shape and semantics.
+   * Mutually exclusive with `typeRef`.
+   */
+  readonly typeParams?: Record<string, unknown>;
+  /**
+   * Reference to a named type instance in `storage.types`.
+   * Mutually exclusive with `typeParams`.
+   */
+  readonly typeRef?: string;
+  /**
+   * Default value for the column.
+   * Can be a literal value or database function.
+   */
+  readonly default?: ColumnDefault;
+};
+type PrimaryKey = {
+  readonly columns: readonly string[];
+  readonly name?: string;
+};
+type UniqueConstraint = {
+  readonly columns: readonly string[];
+  readonly name?: string;
+};
+type Index = {
+  readonly columns: readonly string[];
+  readonly name?: string;
+  readonly type?: string;
+  readonly options?: Record<string, unknown>;
+};
+type ForeignKeyReferences = {
+  readonly table: string;
+  readonly columns: readonly string[];
+};
+type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';
+type ForeignKey = {
+  readonly columns: readonly string[];
+  readonly references: ForeignKeyReferences;
+  readonly name?: string;
+  readonly onDelete?: ReferentialAction;
+  readonly onUpdate?: ReferentialAction; /** Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY). */
+  readonly constraint: boolean; /** Whether to emit a backing index for the FK columns. */
+  readonly index: boolean;
+};
+type StorageTable = {
+  readonly columns: Record<string, StorageColumn>;
+  readonly primaryKey?: PrimaryKey;
+  readonly uniques: ReadonlyArray<UniqueConstraint>;
+  readonly indexes: ReadonlyArray<Index>;
+  readonly foreignKeys: ReadonlyArray<ForeignKey>;
+};
+/**
+ * A named, parameterized type instance.
+ * These are registered in `storage.types` for reuse across columns
+ * and to enable ergonomic schema surfaces like `schema.types.MyType`.
+ *
+ * Unlike {@link StorageColumn}, `typeParams` is required here because
+ * `StorageTypeInstance` exists specifically to define reusable parameterized types.
+ * A type instance without parameters would be redundant—columns can reference
+ * the codec directly via `codecId`.
+ */
+type StorageTypeInstance = {
+  readonly codecId: string;
+  readonly nativeType: string;
+  readonly typeParams: Record<string, unknown>;
+};
+type SqlStorage<THash extends string = string> = StorageBase<THash> & {
+  readonly tables: Record<string, StorageTable>;
+  /**
+   * Named type instances for parameterized/custom types.
+   * Columns can reference these via `typeRef`.
+   */
+  readonly types?: Record<string, StorageTypeInstance>;
+};
+type CodecTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
+  readonly codecTypes: infer C;
+} ? C extends Record<string, {
+  output: unknown;
+}> ? C : Record<string, never> : Record<string, never>;
+/**
+ * Dispatch hint identifying the first-argument target of an operation.
+ *
+ * Used by ORM column helpers to decide whether an operation is reachable on a
+ * field. Either names a concrete codec identity or a set of capability traits
+ * that the field's codec must carry.
+ */
+type TypeMapsPhantomKey = '__@prisma-next/sql-contract/typeMaps@__';
+type ExtractTypeMapsFromContract<T> = TypeMapsPhantomKey extends keyof T ? NonNullable<T[TypeMapsPhantomKey & keyof T]> : never;
+type ExtractCodecTypes<T> = CodecTypesOf<ExtractTypeMapsFromContract<T>>;
+//#endregion
 //#region src/table-reference.d.ts
 /**
  * An object representing a reference to a table in the database.

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/type-errors.ts","../src/column-reference.ts","../src/table-reference.ts","../src/ref.ts","../src/type-atoms.ts","../src/selection.ts","../src/select-builder.ts","../src/root.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAOA;AAQA;AAAmE,KARvD,YAAA,GAQuD,WAAA,MAAA,EAAA;;;;;;;ACLvD,KDKA,qCCLe,CAAA,iBDKwC,YCLxC,CAAA,GDKwD,KCLxD,CDK8D,QCL9D,CAAA;;;;;ADH3B;AAQA;;;;AAAwF,KCL5E,eDK4E,CAAA,oBAAA,MAAA,GAAA,MAAA,EAAA,mBAAA,MAAA,GAAA,MAAA,EAAA,cCFxE,eDEwE,CAAA,MAAA,CAAA,GCF9C,eDE8C,CAAA,MAAA,CAAA,CAAA,GAAA;oBCApE;qBACC;IACjB,mFAEC,cAAc;AATnB;;;;;;AASmB,KASP,iCATO,CAAA,iBAS4C,YAT5C,CAAA,GAS4D,KAT5D,CASkE,QATlE,CAAA;;;AASnB;AAA+D,KAKnD,QAAA,GALmD;EAAsB,SAAA,OAAA,EAAA,GAAA;EAAN,SAAA,QAAA,EAAA,IAAA;CAAK,GAQhF,KARgF,CAAA,6DAAA,CAAA;AAKpF;AAWA;;;;;AAQmB,KARP,aAQO,CAAA,mBAAA,MAAA,GAAA,MAAA,EAAA,cANH,eAMG,CAAA,MAAA,CAAA,GANuB,eAMvB,CAAA,MAAA,CAAA,CAAA,GAAA;EAFf,SAAA,OAAA,EAAA,GAAA;EAAK,SAAA,QAAA,EADY,UACZ;IAAL,yFAEC,cAAc;;;;;AD7CnB;AAQA;;;AAAmF,KENvE,cFMuE,CAAA,cAAA,MAAA,GAAA,MAAA,EAAA,cEJnE,eFImE,CAAA,MAAA,CAAA,GEJzC,eFIyC,CAAA,MAAA,CAAA,CAAA,GAAA;EAAK,SAAA,OAAA,EEFpE,KFEoE;IEDpF,8FAEF;;;ADNF;;;;AAMqB,KCST,gCDTS,CAAA,iBCSyC,YDTzC,CAAA,GCSyD,KDTzD,CCS+D,QDT/D,CAAA;;;;;AAYrB;;AAAqF,KCKzE,0BDLyE,CAAA,iBCK7B,YDL6B,CAAA,GCKb,KDLa,CCKP,QDLO,CAAA;;;ADrBrF;AAQA;;;;AAAwF,KGA5E,GHA4E,CAAA,kBGAtD,QHAsD,CGA7C,UHA6C,CAAA,CAAA,GAAA,+BGCzD,0CAA0C,eACrE,WACA,iEAEwB,cAChB,+BAA+B,6BAC/B,2BAEG,gBAAgB,YAAY,WAAW;EFd1C,UAAA,GAAA,CAAe,EEgBP,aFhBO,CEgBO,SFhBP,EEgBkB,SFhBlB,CAAA,SAAA,CAAA,CAAA,aAAA,CAAA,CAAA;AAGX,CAAA,GEcV,MFdU,CEeV,WFfU,EEgBV,iCFhBU,CAAA,sDEgB8E,SFhB9E,SAAA,CAAA,CAAA,EAA0B,GAAA;EAEtB,UAAA,GAAA,CAAA,EEiBF,QFjBE;CACC,GEiBjB,MFjBiB,CEkBjB,WFlBiB,EEmBjB,gCFnBiB,CAAA,2DAAA,CAAA,CAAA;;;;;AAYrB;AAA+D,iBEe/C,SFf+C,CAAA,kBEenB,QFfmB,CEeV,UFfU,CAAA,CAAA,CAAA,SAAA,EEgBlD,SFhBkD,CAAA,EEiB5D,GFjB4D,CEiBxD,SFjBwD,CAAA;;;;;;;ADrB/D;AAQY,KIVA,iBJUA,CAAA,MAAA,CAAA,GAAA,CIV6B,MJUQ,CAAA,SAAA,CAAA,OAAA,CAAA,GIVoB,MJUpB,GAAA,KAAA;;;;;;KIHrC,2DACE,YAAY,QAAQ,cAAc,SAAS,KHHzD,CAAA,MGIQ,OHJI,CAAA;;;;;;;AAOR,KGKQ,YHLR,CAAA,iBAAA,MAAA,EAAA,iBAAA,MAAA,CAAA,GGKyE,iBHLzE,CGMF,OHNE,CGMM,QHNN,CAAA,SAAA,IAAA,GGOE,QHPF,GAAA,iBAAK,MGSoB,QHTpB,GAAA,MGSqC,QHTrC,GGSgD,CHThD,SAAA,MGSgE,QHThE,GGUG,QHVH,CGUY,CHVZ,CAAA,GGWG,CHXH,SAAA,MGWmB,QHXnB,GGYK,QHZL,CGYc,CHZd,CAAA,GAAA,KAAA,EAWT,CAAA;;;;;AAKA;AAWY,KGLA,OHKA,CAAa,MAAA,CAAA,GAAA,CGLM,MHKN,CAAA,SAAA,CAAA,KAAA,CAAA,GAAA,IAAA,GAAA,KAAA;;;;;;AAMrB,KGJQ,QHIR,CAAA,gBAAA,MAAA,CAAA,GGJ2C,iBHI3C,CAAA,QAAK,MGHO,OHGP,GGHiB,OHGjB,CGHyB,CHGzB,CAAA;;;;AD3CT;AAQA;;;;;;KKHY,oCACQ,SAAS,sCACF,mEACC,+BAA+B,4CAC9C,+BAA+B,uBAAuB,gBAC/D,iBAAiB,iBAEZ,oDACD,kBAAkB,WAAW;;AJVrC;;;AAKoB,KIYR,SAAA,GAAY,MJZJ,CAAA,MAAA,EIYmB,cJZnB,CAAA,OAAA,EAAA,OAAA,CAAA,CAAA;;;;;;AAapB;AAA+D,UIO9C,cJP8C,CAAA,OAAA,EAAA,kBAAA,MAAA,GAAA,OAAA,GAAA,OAAA,CAAA,CAAA;EAAsB,SAAA,WAAA,EIQ7D,SJR6D;EAAN,SAAA,SAAA,EISzD,OJTyD;;AAK/E;AAWA;;;;;AAQmB,KINP,gBJMO,CAAA,kBILC,QJKD,CILU,UJKV,CAAA,EAAA,mBAAA,MIJQ,SJIR,CAAA,SAAA,CAAA,CAAA,QAAA,CAAA,GAAA,MAAA,CAAA,GIHf,iBJGe,CAAA,0BAFf,MIA4B,SJA5B,CAAA,SAAA,CAAA,CAAA,QAAA,CAAA,CIA2D,UJA3D,CAAA,CAAA,SAAA,CAAA,GAAA,MAAA,GICS,cJDT,CIEA,iBJFA,CIEkB,SJFlB,EIE6B,UJF7B,EIEyC,UJFzC,CAAA,EIGA,SJHA,CAAA,SAAA,CAAA,CAAA,QAAA,CAAA,CIG+B,UJH/B,CAAA,CAAA,SAAA,CAAA,CIGsD,UJHtD,CAAA,CAAA,YAAA,CAAA,CAAA,EAAK,CAAA;;;;;;;;;;AAxCG,cKIC,aLJc,CAAA,kBKKP,QLLO,CKKE,ULLF,CAAA,EAAA,gBKMT,QLNS,CKMA,ULNA,CAAA,CAAA,SAAA,CAAA,CAAA,QAAA,CAAA,EAAA,mBKON,SLPM,GAAA,KAAA,CAAA,CAAA;EAGX,CAAA,OAAA;EAA0B,WAAA,CAAA,QAAA,EKUlB,SLVkB;EAEtB,MAAA,CAAA,QAAA,EKaN,QLbM,CAAA,EKcf,kBLde,CKcI,OLdJ,CAAA,SAAA,IAAA,GKed,aLfc,CKgBZ,SLhBY,EKiBZ,OLjBY,EKkBZ,YLlBY,CKkBC,ULlBD,EKkBa,gBLlBb,CKkB8B,SLlB9B,EAAA,MKkB+C,OLlB/C,GAAA,MAAA,CAAA,CAAA,CAAA,GKoBd,qCLpBc,CAAA,2GAAA,CAAA;EACC,MAAA,CAAA,mBAAA,MKoBa,OLpBb,GAAA,MAAA,CAAA,CAAA,QAAA,EKqBP,aLrBO,CKqBO,ULrBP,EKqBmB,SLrBnB,CAAA,SAAA,CAAA,CAAA,aAAA,CAAA,CAAA,CAAA,EKsBhB,aLtBgB,CKuBjB,SLvBiB,EKwBjB,OLxBiB,EKyBjB,YLzBiB,CKyBJ,ULzBI,EKyBQ,gBLzBR,CKyByB,SLzBzB,EKyBoC,ULzBpC,CAAA,CAAA,CAAA;EAGhB,MAAA,CAAA,GAAA,EAAA,KAAA,CAAA,EK0BA,qCL1BA,CAAA,mDAAA,CAAA;EAAc,KAAA,CAAA,CAAA,EKkCR,OLlCQ,CKkCA,ULlCA,CAAA,SAAA,IAAA,GAAA,KAAA,GKqCb,QLrCa,CKqCJ,ULrCI,CAAA;;;;ADJnB;;;;;cOJa,uBAAuB,SAAS;;wBAGrB;ENJZ;;;;;EASP,IAAA,CAAA,KAAA,EMKM,cNLN,CAAA,KAAA,CAAA,CAAA,EMMA,qCNNA,CAAA,mGAAA,CAAA;EAAc;;;EASP,IAAA,CAAA,cAAA,MAAA,CAAA,CAAA,KAAA,EAAA,MAAiC,SMEnB,KNFmB,GMGrC,0BNHqC,CAAA,qFAAA,CAAA,GMIrC,cNJqC,CMItB,KNJsB,EMIf,SNJe,CAAA,SAAA,CAAA,CAAA,aAAA,CAAA,CAAA,CAAA,EMKxC,KNLwC,SAAA,MAAA,GMMvC,aNNuC,CMMzB,SNNyB,EMMd,INNc,CMMT,SNNS,CAAA,SAAA,CAAA,CAAA,QAAA,CAAA,EMMuB,KNNvB,CAAA,CAAA,GMOvC,qCNPuC,CAAA,mGAAA,CAAA;EAAkB,IAAA,CAAA,KAAA,EMSpD,0BNToD,CAAA,qFAAA,CAAA,CAAA,EMU1D,qCNV0D,CAAA,mGAAA,CAAA;;;;AAK/D;AAWY,iBMOI,UAAA,CNPS,QAAA,EAAA,KAAA,CAAA,EMStB,qCNTsB,CAAA,sGAAA,CAAA;;;;AAQpB,iBMKW,UNLX,CAAA,kBMKwC,QNLxC,CMKiD,UNLjD,CAAA,CAAA,CAAA,QAAA,EMMO,SNNP,CAAA,EMOF,INPE,CMOG,SNPH,CAAA"}
+{"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","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","ColumnDefault","StorageBase","CodecTrait","StorageColumn","Record","nativeType","codecId","nullable","typeParams","typeRef","default","PrimaryKey","columns","name","UniqueConstraint","Index","type","options","ForeignKeyReferences","table","ReferentialAction","ForeignKeyOptions","onDelete","onUpdate","ForeignKey","references","constraint","index","StorageTable","ReadonlyArray","primaryKey","uniques","indexes","foreignKeys","StorageTypeInstance","SqlStorage","THash","tables","types","SqlModelFieldStorage","column","SqlModelStorage","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","input","QueryOperationTypesBase","QueryOperationTypesOf","Q","TypeMapsPhantomKey","ContractWithTypeMaps","TContract","TTypeMaps","K","ExtractTypeMapsFromContract","NonNullable","FieldOutputTypesOf","F","FieldInputTypesOf","ExtractCodecTypes","ExtractQueryOperationTypes","ExtractFieldOutputTypes","ExtractFieldInputTypes","ResolveCodecTypes","A","D","E","M","N","O","P","S","_","a","b","c","d","f","g","h","i","j","k","l","m","n","o","p","r","s","t","u","v","w","x","y"],"sources":["../../../../1-framework/0-foundation/contract/dist/contract-types-Kl86EaEa.d.mts","../src/type-errors.ts","../src/column-reference.ts","../../../1-core/contract/dist/types-njsiV-Ck.d.mts","../src/table-reference.ts","../src/ref.ts","../src/type-atoms.ts","../src/selection.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;EAAAA,SAC9BO,OAAAA,EAASoF,QAAAA;EAAAA,SACTxB,YAAAA,EAAc/F,MAAAA,SAAeA,MAAAA;EAAAA,SAC7B2H,cAAAA,EAAgB3H,MAAAA;EAAAA,SAChB4H,SAAAA,GAAYP,wBAAAA;EAAAA,SACZ1D,WAAAA,EAAaD,eAAAA;EAAAA,SACbyD,IAAAA,EAAMnH,MAAAA;AAAAA;;;;;;;;KC/PL,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;;;;;;;;;;;KCzCd8K,aAAAA;EAAAA,SACME,UAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,QAAAA;;;;AHNI;;WGYJC,UAAAA,GAAaJ,MAAAA;EHRUhL;;;;EAAAA,SGavBqL,OAAAA;EHdAnL;;;;EAAAA,SGmBAoL,OAAAA,GAAUV,aAAAA;AAAAA;AAAAA,KAEhBW,UAAAA;EAAAA,SACMC,OAAAA;EAAAA,SACAC,IAAAA;AAAAA;AAAAA,KAENC,gBAAAA;EAAAA,SACMF,OAAAA;EAAAA,SACAC,IAAAA;AAAAA;AAAAA,KAENE,KAAAA;EAAAA,SACMH,OAAAA;EAAAA,SACAC,IAAAA;EAAAA,SACAG,IAAAA;EAAAA,SACAC,OAAAA,GAAUb,MAAAA;AAAAA;AAAAA,KAEhBc,oBAAAA;EAAAA,SACMC,KAAAA;EAAAA,SACAP,OAAAA;AAAAA;AAAAA,KAENQ,iBAAAA;AAAAA,KAMAI,UAAAA;EAAAA,SACMZ,OAAAA;EAAAA,SACAa,UAAAA,EAAYP,oBAAAA;EAAAA,SACZL,IAAAA;EAAAA,SACAS,QAAAA,GAAWF,iBAAAA;EAAAA,SACXG,QAAAA,GAAWH,iBAAAA,EHtCC;EAAA,SGuCZM,UAAAA,WHrCmB;EAAA,SGsCnBC,KAAAA;AAAAA;AAAAA,KAENC,YAAAA;EAAAA,SACMhB,OAAAA,EAASR,MAAAA,SAAeD,aAAAA;EAAAA,SACxB2B,UAAAA,GAAanB,UAAAA;EAAAA,SACboB,OAAAA,EAASF,aAAAA,CAAcf,gBAAAA;EAAAA,SACvBkB,OAAAA,EAASH,aAAAA,CAAcd,KAAAA;EAAAA,SACvBkB,WAAAA,EAAaJ,aAAAA,CAAcL,UAAAA;AAAAA;AH1CL;;;;;AAIX;;;;;AAJW,KGsD5BU,mBAAAA;EAAAA,SACM5B,OAAAA;EAAAA,SACAD,UAAAA;EAAAA,SACAG,UAAAA,EAAYJ,MAAAA;AAAAA;AAAAA,KAElB+B,UAAAA,kCAA4ClC,WAAAA,CAAYmC,KAAAA;EAAAA,SAClDC,MAAAA,EAAQjC,MAAAA,SAAewB,YAAAA;;;;AHjDlB;WGsDLU,KAAAA,GAAQlC,MAAAA,SAAe8B,mBAAAA;AAAAA;AAAAA,KA+B7BwB,YAAAA,OAAmBC,CAAAA,oBAAqBvD,MAAAA,kBAAwBuD,CAAAA;EAAAA,SAC1DL,UAAAA;AAAAA,IACPM,CAAAA,SAAUxD,MAAAA;EACZiD,MAAAA;AAAAA,KACGO,CAAAA,GAAIxD,MAAAA,kBAAwBA,MAAAA;;;;;;;;KAyC5BuE,kBAAAA;AAAAA,KAEAK,2BAAAA,MAAiCL,kBAAAA,eAAiChB,CAAAA,GAAIsB,WAAAA,CAAYtB,CAAAA,CAAEgB,kBAAAA,SAA2BhB,CAAAA;AAAAA,KAO/G0B,iBAAAA,MAAuB3B,YAAAA,CAAasB,2BAAAA,CAA4BrB,CAAAA;;;;;;;;;KCzKzD,cAAA,8CAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,KAAA;AAAA,IAChB,KAAA,yFAEF,KAAA;;;AJZ4B;;;;KIqBlB,gCAAA,kBAAkD,YAAA,IAAgB,KAAA,CAAM,QAAA;AJjBrE;;;;;;AAAA,KIyBH,0BAAA,kBAA4C,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;KClBlE,GAAA,mBAAsB,QAAA,CAAS,UAAA,oCACZ,SAAA,iCAA0C,cAAA,CACrE,SAAA,EACA,SAAA,wDAEwB,OAAA,OAChB,SAAA,sBAA+B,SAAA,oBAC/B,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;AL3BW;;;;;AAAA,iBKmCC,SAAA,mBAA4B,QAAA,CAAS,UAAA,EAAA,CACnD,SAAA,EAAW,SAAA,GACV,GAAA,CAAI,SAAA;;;;;;;;KCxCK,iBAAA,YAA6B,MAAA,sBAA4B,MAAA;;;;;;KAOzD,kBAAA,yCACE,OAAA,KAAY,OAAA,CAAQ,OAAA,OAAc,OAAA,EAAS,CAAA,WACjD,OAAA;;;;;ANNO;;KMcH,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;;;;;AN3ByC;KMkC5D,QAAA,2BAAmC,iBAAA,eAC/B,OAAA,GAAU,OAAA,CAAQ,CAAA;;;;;;;;;;;KCnCtB,iBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,SAAA,0DACC,SAAA,sBAA+B,UAAA,kCAC9C,SAAA,sBAA+B,UAAA,aAAuB,WAAA,KAC/D,QAAA,SAAiB,aAAA,IAEZ,QAAA,4CACD,iBAAA,CAAkB,SAAA,EAAW,QAAA;;APhBP;;;KOuBlB,SAAA,GAAY,MAAA,SAAe,cAAA;;APnBxB;;;;;UO2BE,cAAA;EAAA,SACN,WAAA,EAAa,SAAA;EAAA,SACb,SAAA,EAAW,OAAA;AAAA;;;;;;;KASV,gBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,SAAA,kCACvB,iBAAA,iCAC4B,SAAA,sBAA+B,UAAA,wBAClD,cAAA,CACT,iBAAA,CAAkB,SAAA,EAAW,UAAA,EAAY,UAAA,GACzC,SAAA,sBAA+B,UAAA,aAAuB,UAAA;;;;;;;;;;cCvC7C,aAAA,mBACO,QAAA,CAAS,UAAA,mBACX,QAAA,CAAS,UAAA,2CACN,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;;;;;;;;cC7CF,IAAA,mBAAuB,QAAA,CAAS,UAAA;EAAA;cAG/B,QAAA,EAAU,SAAA;ETRnBlO;;;;;ESiBH,IAAA,CACE,KAAA,EAAO,cAAA,UACN,qCAAA;ETfc;;;ESmBjB,IAAA,sBAAA,CACE,KAAA,iBAAsB,KAAA,GAClB,0BAAA,0FACA,cAAA,CAAe,KAAA,EAAO,SAAA,8BACzB,KAAA,kBACC,aAAA,CAAc,SAAA,EAAW,IAAA,CAAK,SAAA,uBAAgC,KAAA,KAC9D,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"}

package/dist/index.mjs

@@ -10,7 +10,7 @@ function createRef(_contract) {
 			"~name": tableName,
 			"~table": null
 		});
-		return new Proxy({}, { get(_target$1, columnName) {
+		return new Proxy({}, { get(_target, columnName) {
 			if (columnName === "~name") return tableName;
 			return Object.freeze({
 				"~name": columnName,
@@ -19,7 +19,6 @@ function createRef(_contract) {
 		} });
 	} });
 }
-
 //#endregion
 //#region src/select-builder.ts
 /**
@@ -41,7 +40,6 @@ var SelectBuilder = class {
 		return {};
 	}
 };
-
 //#endregion
 //#region src/root.ts
 /**
@@ -67,7 +65,7 @@ var Root = class {
 function createRoot(contract) {
 	return new Root(contract);
 }
-
 //#endregion
 export { createRef, createRoot };
+
 //# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -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 { 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 TContract['storage']['tables'] & string]: TableReference<\n    TableName,\n    TContract['storage']['storageHash']\n  > & {\n    readonly [ColumnName in Exclude<\n      keyof TContract['storage']['tables'][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 } 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 Contract<SqlStorage>['storage']['tables'],\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 { 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<TContract['storage']['tables'], 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  return new Root(contract as Contract<SqlStorage>);\n}\n"],"mappings":";;;;;;AA2CA,SAAgB,UACd,WACgB;AAChB,QAAO,IAAI,MAAM,EAAE,EAAoB,EACrC,IAAI,SAAS,WAAW;AACtB,MAAI,cAAc,IAChB,QAAO,OAAO,OAAO;GACnB,SAAS;GACT,UAAU;GACX,CAAC;AAGJ,SAAO,IAAI,MACT,EAAE,EACF,EACE,IAAI,WAAS,YAAY;AACvB,OAAI,eAAe,QACjB,QAAO;AAGT,UAAO,OAAO,OAAO;IACnB,SAAS;IACT,UAAU;IACX,CAAC;KAEL,CACF;IAEJ,CAAC;;;;;;;;;;;;ACzDJ,IAAa,gBAAb,MAIE;CAGA,CAASA;CAET,YAAY,UAAqB;AAC/B,QAAKA,WAAY;;CAsBnB,OAAO,GAAG,OAA2B;AAEnC,SAAO;;CAKT,QAGyB;AAEvB,SAAO,EAAE;;;;;;;;;;;AC/Cb,IAAa,OAAb,MAA0D;CACxD,CAASC;CAET,YAAY,UAAqB;AAC/B,QAAKA,WAAY;;;;;CA2BnB,KAAK,QAA0B;AAE7B,SAAO,IAAI,cAAc,MAAKA,SAAU;;;;;;AAmB5C,SAAgB,WAAW,UAA4B;AACrD,QAAO,IAAI,KAAK,SAAiC"}
+{"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 { 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 TContract['storage']['tables'] & string]: TableReference<\n    TableName,\n    TContract['storage']['storageHash']\n  > & {\n    readonly [ColumnName in Exclude<\n      keyof TContract['storage']['tables'][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 } 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 Contract<SqlStorage>['storage']['tables'],\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 { 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<TContract['storage']['tables'], 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  return new Root(contract as Contract<SqlStorage>);\n}\n"],"mappings":";;;;;;AA2CA,SAAgB,UACd,WACgB;CAChB,OAAO,IAAI,MAAM,EAAE,EAAoB,EACrC,IAAI,SAAS,WAAW;EACtB,IAAI,cAAc,KAChB,OAAO,OAAO,OAAO;GACnB,SAAS;GACT,UAAU;GACX,CAAC;EAGJ,OAAO,IAAI,MACT,EAAE,EACF,EACE,IAAI,SAAS,YAAY;GACvB,IAAI,eAAe,SACjB,OAAO;GAGT,OAAO,OAAO,OAAO;IACnB,SAAS;IACT,UAAU;IACX,CAAC;KAEL,CACF;IAEJ,CAAC;;;;;;;;;;;ACzDJ,IAAa,gBAAb,MAIE;CAGA;CAEA,YAAY,UAAqB;EAC/B,KAAKA,YAAY;;CAsBnB,OAAO,GAAG,OAA2B;EAEnC,OAAO;;CAKT,QAGyB;EAEvB,OAAO,EAAE;;;;;;;;;;AC/Cb,IAAa,OAAb,MAA0D;CACxD;CAEA,YAAY,UAAqB;EAC/B,KAAKC,YAAY;;;;;CA2BnB,KAAK,QAA0B;EAE7B,OAAO,IAAI,cAAc,KAAKA,UAAU;;;;;;AAmB5C,SAAgB,WAAW,UAA4B;CACrD,OAAO,IAAI,KAAK,SAAiC"}

package/package.json

@@ -1,17 +1,18 @@
 {
   "name": "@prisma-next/sql-lane-query-builder",
-  "version": "0.5.0-dev.9",
+  "version": "0.5.0",
+  "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "SQL query builder lane for Prisma Next",
   "devDependencies": {
-    "tsdown": "0.18.4",
+    "tsdown": "0.22.0",
     "typescript": "5.9.3",
-    "vitest": "4.0.17",
-    "@prisma-next/contract": "0.5.0-dev.9",
-    "@prisma-next/sql-contract": "0.5.0-dev.9",
-    "@prisma-next/tsconfig": "0.0.0",
-    "@prisma-next/tsdown": "0.0.0"
+    "vitest": "4.1.5",
+    "@prisma-next/contract": "0.5.0",
+    "@prisma-next/sql-contract": "0.5.0",
+    "@prisma-next/tsdown": "0.0.0",
+    "@prisma-next/tsconfig": "0.0.0"
   },
   "files": [
     "dist",