@prisma/client-engine-runtime 7.10.0-dev.8 → 7.10.0-integration-prisma7-project-closeout.8

package/dist/index.d.mts

@@ -173,6 +173,21 @@ export declare type Fragment = {
     groupSeparator: string;
 };
 
+/**
+ * Query plan nodes that perform database I/O: individual queries and statements,
+ * and subtrees executed within a transaction.
+ */
+export declare type ImpureQueryPlanNode = {
+    type: 'query';
+    args: QueryPlanDbQuery;
+} | {
+    type: 'execute';
+    args: QueryPlanDbQuery;
+} | {
+    type: 'transaction';
+    args: QueryPlanNode;
+};
+
 export declare type InMemoryOps = {
     pagination: Pagination | null;
     distinct: string[] | null;
@@ -288,72 +303,24 @@ export declare type PrismaValuePlaceholder = {
     };
 };
 
-export declare type QueryEvent = {
-    timestamp: Date;
-    query: string;
-    params: readonly unknown[];
-    duration: number;
-};
-
-export declare class QueryInterpreter {
-    #private;
-    constructor({ onQuery, tracingHelper, serializer, rawSerializer, provider, connectionInfo, }: QueryInterpreterOptions);
-    static forSql(options: {
-        onQuery?: (event: QueryEvent) => void;
-        tracingHelper: TracingHelper;
-        provider?: SchemaProvider;
-        connectionInfo?: ConnectionInfo;
-    }): QueryInterpreter;
-    run(queryPlan: DeepReadonly<QueryPlanNode>, options: QueryRuntimeOptions): Promise<unknown>;
-    private interpretNode;
-}
-
-export declare type QueryInterpreterOptions = {
-    onQuery?: (event: QueryEvent) => void;
-    tracingHelper: TracingHelper;
-    serializer: (results: SqlResultSet) => Value;
-    rawSerializer?: (results: SqlResultSet) => Value;
-    provider?: SchemaProvider;
-    connectionInfo?: ConnectionInfo;
-};
-
-export declare type QueryInterpreterSqlCommenter = {
-    plugins: SqlCommenterPlugin[];
-    queryInfo: SqlCommenterQueryInfo;
-};
-
-export declare type QueryInterpreterTransactionManager = {
-    enabled: true;
-    manager: TransactionManager;
-} | {
-    enabled: false;
-};
-
-export declare type QueryPlanBinding = {
-    name: string;
-    expr: QueryPlanNode;
-};
-
-export declare type QueryPlanDbQuery = {
-    type: 'rawSql';
-    sql: string;
-    args: PrismaValue[];
-    argTypes: ArgType[];
-} | {
-    type: 'templateSql';
-    fragments: Fragment[];
-    placeholderFormat: PlaceholderFormat;
-    args: PrismaValue[];
-    argTypes: DynamicArgType[];
-    chunkable: boolean;
-};
-
-export declare type QueryPlanNode = {
+/**
+ * Query plan nodes that are free of side effects and can be interpreted synchronously
+ * without touching the database. The `Rest` parameter controls what other nodes may
+ * appear in child positions: with the default `never` the tree is fully pure, while
+ * `PureQueryPlanNode<ImpureQueryPlanNode>` describes a tree of pure nodes that may
+ * contain impure nodes anywhere inside.
+ */
+export declare type PureQueryPlanNode<Rest = never> = {
     type: 'value';
     args: PrismaValue;
+    /**
+     * Present when this node is the result of evaluating an impure node during
+     * query plan purification. Never produced by the query compiler.
+     */
+    lastInsertId?: string;
 } | {
     type: 'seq';
-    args: QueryPlanNode[];
+    args: (PureQueryPlanNode<Rest> | Rest)[];
 } | {
     type: 'get';
     args: {
@@ -362,101 +329,166 @@ export declare type QueryPlanNode = {
 } | {
     type: 'let';
     args: {
-        bindings: QueryPlanBinding[];
-        expr: QueryPlanNode;
+        bindings: {
+            name: string;
+            expr: PureQueryPlanNode<Rest> | Rest;
+        }[];
+        expr: PureQueryPlanNode<Rest> | Rest;
     };
 } | {
     type: 'getFirstNonEmpty';
     args: {
         names: string[];
     };
-} | {
-    type: 'query';
-    args: QueryPlanDbQuery;
-} | {
-    type: 'execute';
-    args: QueryPlanDbQuery;
 } | {
     type: 'reverse';
-    args: QueryPlanNode;
+    args: PureQueryPlanNode<Rest> | Rest;
 } | {
     type: 'sum';
-    args: QueryPlanNode[];
+    args: (PureQueryPlanNode<Rest> | Rest)[];
 } | {
     type: 'concat';
-    args: QueryPlanNode[];
+    args: (PureQueryPlanNode<Rest> | Rest)[];
 } | {
     type: 'unique';
-    args: QueryPlanNode;
+    args: PureQueryPlanNode<Rest> | Rest;
 } | {
     type: 'required';
-    args: QueryPlanNode;
+    args: PureQueryPlanNode<Rest> | Rest;
 } | {
     type: 'join';
     args: {
-        parent: QueryPlanNode;
-        children: JoinExpression[];
+        parent: PureQueryPlanNode<Rest> | Rest;
+        children: {
+            child: PureQueryPlanNode<Rest> | Rest;
+            on: [left: string, right: string][];
+            parentField: string;
+            isRelationUnique: boolean;
+        }[];
         canAssumeStrictEquality: boolean;
     };
 } | {
     type: 'mapField';
     args: {
         field: string;
-        records: QueryPlanNode;
+        records: PureQueryPlanNode<Rest> | Rest;
     };
-} | {
-    type: 'transaction';
-    args: QueryPlanNode;
 } | {
     type: 'dataMap';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         structure: ResultNode;
         enums: Record<string, Record<string, string>>;
     };
 } | {
     type: 'validate';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         rules: DataRule[];
     } & ValidationError;
 } | {
     type: 'if';
     args: {
-        value: QueryPlanNode;
+        value: PureQueryPlanNode<Rest> | Rest;
         rule: DataRule;
-        then: QueryPlanNode;
-        else: QueryPlanNode;
+        then: PureQueryPlanNode<Rest> | Rest;
+        else: PureQueryPlanNode<Rest> | Rest;
     };
 } | {
     type: 'unit';
 } | {
     type: 'diff';
     args: {
-        from: QueryPlanNode;
-        to: QueryPlanNode;
+        from: PureQueryPlanNode<Rest> | Rest;
+        to: PureQueryPlanNode<Rest> | Rest;
         fields: string[];
     };
 } | {
     type: 'initializeRecord';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         fields: Record<string, FieldInitializer>;
     };
 } | {
     type: 'mapRecord';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         fields: Record<string, FieldOperation>;
     };
 } | {
     type: 'process';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         operations: InMemoryOps;
     };
 };
 
+export declare type QueryEvent = {
+    timestamp: Date;
+    query: string;
+    params: readonly unknown[];
+    duration: number;
+};
+
+export declare class QueryInterpreter {
+    #private;
+    constructor({ onQuery, tracingHelper, serializer, rawSerializer, provider, connectionInfo, }: QueryInterpreterOptions);
+    static forSql(options: {
+        onQuery?: (event: QueryEvent) => void;
+        tracingHelper: TracingHelper;
+        provider?: SchemaProvider;
+        connectionInfo?: ConnectionInfo;
+    }): QueryInterpreter;
+    run(queryPlan: DeepReadonly<QueryPlanNode>, options: QueryRuntimeOptions): Promise<unknown>;
+    private interpretNode;
+}
+
+export declare type QueryInterpreterOptions = {
+    onQuery?: (event: QueryEvent) => void;
+    tracingHelper: TracingHelper;
+    serializer: (results: SqlResultSet) => Value;
+    rawSerializer?: (results: SqlResultSet) => Value;
+    provider?: SchemaProvider;
+    connectionInfo?: ConnectionInfo;
+};
+
+export declare type QueryInterpreterSqlCommenter = {
+    plugins: SqlCommenterPlugin[];
+    queryInfo: SqlCommenterQueryInfo;
+};
+
+export declare type QueryInterpreterTransactionManager = {
+    enabled: true;
+    manager: TransactionManager;
+} | {
+    enabled: false;
+};
+
+export declare type QueryPlanBinding = {
+    name: string;
+    expr: QueryPlanNode;
+};
+
+export declare type QueryPlanDbQuery = {
+    type: 'rawSql';
+    sql: string;
+    args: PrismaValue[];
+    argTypes: ArgType[];
+} | {
+    type: 'templateSql';
+    fragments: Fragment[];
+    placeholderFormat: PlaceholderFormat;
+    args: PrismaValue[];
+    argTypes: DynamicArgType[];
+    chunkable: boolean;
+};
+
+/**
+ * A query plan as emitted by the query compiler: a tree of pure nodes that may
+ * contain impure nodes anywhere inside.
+ */
+export declare type QueryPlanNode = ImpureQueryPlanNode | PureQueryPlanNode<ImpureQueryPlanNode>;
+
 declare type QueryRuntimeOptions = {
     queryable: SqlQueryable;
     transactionManager: QueryInterpreterTransactionManager;

package/dist/index.d.ts

@@ -173,6 +173,21 @@ export declare type Fragment = {
     groupSeparator: string;
 };
 
+/**
+ * Query plan nodes that perform database I/O: individual queries and statements,
+ * and subtrees executed within a transaction.
+ */
+export declare type ImpureQueryPlanNode = {
+    type: 'query';
+    args: QueryPlanDbQuery;
+} | {
+    type: 'execute';
+    args: QueryPlanDbQuery;
+} | {
+    type: 'transaction';
+    args: QueryPlanNode;
+};
+
 export declare type InMemoryOps = {
     pagination: Pagination | null;
     distinct: string[] | null;
@@ -288,72 +303,24 @@ export declare type PrismaValuePlaceholder = {
     };
 };
 
-export declare type QueryEvent = {
-    timestamp: Date;
-    query: string;
-    params: readonly unknown[];
-    duration: number;
-};
-
-export declare class QueryInterpreter {
-    #private;
-    constructor({ onQuery, tracingHelper, serializer, rawSerializer, provider, connectionInfo, }: QueryInterpreterOptions);
-    static forSql(options: {
-        onQuery?: (event: QueryEvent) => void;
-        tracingHelper: TracingHelper;
-        provider?: SchemaProvider;
-        connectionInfo?: ConnectionInfo;
-    }): QueryInterpreter;
-    run(queryPlan: DeepReadonly<QueryPlanNode>, options: QueryRuntimeOptions): Promise<unknown>;
-    private interpretNode;
-}
-
-export declare type QueryInterpreterOptions = {
-    onQuery?: (event: QueryEvent) => void;
-    tracingHelper: TracingHelper;
-    serializer: (results: SqlResultSet) => Value;
-    rawSerializer?: (results: SqlResultSet) => Value;
-    provider?: SchemaProvider;
-    connectionInfo?: ConnectionInfo;
-};
-
-export declare type QueryInterpreterSqlCommenter = {
-    plugins: SqlCommenterPlugin[];
-    queryInfo: SqlCommenterQueryInfo;
-};
-
-export declare type QueryInterpreterTransactionManager = {
-    enabled: true;
-    manager: TransactionManager;
-} | {
-    enabled: false;
-};
-
-export declare type QueryPlanBinding = {
-    name: string;
-    expr: QueryPlanNode;
-};
-
-export declare type QueryPlanDbQuery = {
-    type: 'rawSql';
-    sql: string;
-    args: PrismaValue[];
-    argTypes: ArgType[];
-} | {
-    type: 'templateSql';
-    fragments: Fragment[];
-    placeholderFormat: PlaceholderFormat;
-    args: PrismaValue[];
-    argTypes: DynamicArgType[];
-    chunkable: boolean;
-};
-
-export declare type QueryPlanNode = {
+/**
+ * Query plan nodes that are free of side effects and can be interpreted synchronously
+ * without touching the database. The `Rest` parameter controls what other nodes may
+ * appear in child positions: with the default `never` the tree is fully pure, while
+ * `PureQueryPlanNode<ImpureQueryPlanNode>` describes a tree of pure nodes that may
+ * contain impure nodes anywhere inside.
+ */
+export declare type PureQueryPlanNode<Rest = never> = {
     type: 'value';
     args: PrismaValue;
+    /**
+     * Present when this node is the result of evaluating an impure node during
+     * query plan purification. Never produced by the query compiler.
+     */
+    lastInsertId?: string;
 } | {
     type: 'seq';
-    args: QueryPlanNode[];
+    args: (PureQueryPlanNode<Rest> | Rest)[];
 } | {
     type: 'get';
     args: {
@@ -362,101 +329,166 @@ export declare type QueryPlanNode = {
 } | {
     type: 'let';
     args: {
-        bindings: QueryPlanBinding[];
-        expr: QueryPlanNode;
+        bindings: {
+            name: string;
+            expr: PureQueryPlanNode<Rest> | Rest;
+        }[];
+        expr: PureQueryPlanNode<Rest> | Rest;
     };
 } | {
     type: 'getFirstNonEmpty';
     args: {
         names: string[];
     };
-} | {
-    type: 'query';
-    args: QueryPlanDbQuery;
-} | {
-    type: 'execute';
-    args: QueryPlanDbQuery;
 } | {
     type: 'reverse';
-    args: QueryPlanNode;
+    args: PureQueryPlanNode<Rest> | Rest;
 } | {
     type: 'sum';
-    args: QueryPlanNode[];
+    args: (PureQueryPlanNode<Rest> | Rest)[];
 } | {
     type: 'concat';
-    args: QueryPlanNode[];
+    args: (PureQueryPlanNode<Rest> | Rest)[];
 } | {
     type: 'unique';
-    args: QueryPlanNode;
+    args: PureQueryPlanNode<Rest> | Rest;
 } | {
     type: 'required';
-    args: QueryPlanNode;
+    args: PureQueryPlanNode<Rest> | Rest;
 } | {
     type: 'join';
     args: {
-        parent: QueryPlanNode;
-        children: JoinExpression[];
+        parent: PureQueryPlanNode<Rest> | Rest;
+        children: {
+            child: PureQueryPlanNode<Rest> | Rest;
+            on: [left: string, right: string][];
+            parentField: string;
+            isRelationUnique: boolean;
+        }[];
         canAssumeStrictEquality: boolean;
     };
 } | {
     type: 'mapField';
     args: {
         field: string;
-        records: QueryPlanNode;
+        records: PureQueryPlanNode<Rest> | Rest;
     };
-} | {
-    type: 'transaction';
-    args: QueryPlanNode;
 } | {
     type: 'dataMap';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         structure: ResultNode;
         enums: Record<string, Record<string, string>>;
     };
 } | {
     type: 'validate';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         rules: DataRule[];
     } & ValidationError;
 } | {
     type: 'if';
     args: {
-        value: QueryPlanNode;
+        value: PureQueryPlanNode<Rest> | Rest;
         rule: DataRule;
-        then: QueryPlanNode;
-        else: QueryPlanNode;
+        then: PureQueryPlanNode<Rest> | Rest;
+        else: PureQueryPlanNode<Rest> | Rest;
     };
 } | {
     type: 'unit';
 } | {
     type: 'diff';
     args: {
-        from: QueryPlanNode;
-        to: QueryPlanNode;
+        from: PureQueryPlanNode<Rest> | Rest;
+        to: PureQueryPlanNode<Rest> | Rest;
         fields: string[];
     };
 } | {
     type: 'initializeRecord';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         fields: Record<string, FieldInitializer>;
     };
 } | {
     type: 'mapRecord';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         fields: Record<string, FieldOperation>;
     };
 } | {
     type: 'process';
     args: {
-        expr: QueryPlanNode;
+        expr: PureQueryPlanNode<Rest> | Rest;
         operations: InMemoryOps;
     };
 };
 
+export declare type QueryEvent = {
+    timestamp: Date;
+    query: string;
+    params: readonly unknown[];
+    duration: number;
+};
+
+export declare class QueryInterpreter {
+    #private;
+    constructor({ onQuery, tracingHelper, serializer, rawSerializer, provider, connectionInfo, }: QueryInterpreterOptions);
+    static forSql(options: {
+        onQuery?: (event: QueryEvent) => void;
+        tracingHelper: TracingHelper;
+        provider?: SchemaProvider;
+        connectionInfo?: ConnectionInfo;
+    }): QueryInterpreter;
+    run(queryPlan: DeepReadonly<QueryPlanNode>, options: QueryRuntimeOptions): Promise<unknown>;
+    private interpretNode;
+}
+
+export declare type QueryInterpreterOptions = {
+    onQuery?: (event: QueryEvent) => void;
+    tracingHelper: TracingHelper;
+    serializer: (results: SqlResultSet) => Value;
+    rawSerializer?: (results: SqlResultSet) => Value;
+    provider?: SchemaProvider;
+    connectionInfo?: ConnectionInfo;
+};
+
+export declare type QueryInterpreterSqlCommenter = {
+    plugins: SqlCommenterPlugin[];
+    queryInfo: SqlCommenterQueryInfo;
+};
+
+export declare type QueryInterpreterTransactionManager = {
+    enabled: true;
+    manager: TransactionManager;
+} | {
+    enabled: false;
+};
+
+export declare type QueryPlanBinding = {
+    name: string;
+    expr: QueryPlanNode;
+};
+
+export declare type QueryPlanDbQuery = {
+    type: 'rawSql';
+    sql: string;
+    args: PrismaValue[];
+    argTypes: ArgType[];
+} | {
+    type: 'templateSql';
+    fragments: Fragment[];
+    placeholderFormat: PlaceholderFormat;
+    args: PrismaValue[];
+    argTypes: DynamicArgType[];
+    chunkable: boolean;
+};
+
+/**
+ * A query plan as emitted by the query compiler: a tree of pure nodes that may
+ * contain impure nodes anywhere inside.
+ */
+export declare type QueryPlanNode = ImpureQueryPlanNode | PureQueryPlanNode<ImpureQueryPlanNode>;
+
 declare type QueryRuntimeOptions = {
     queryable: SqlQueryable;
     transactionManager: QueryInterpreterTransactionManager;