kysely 0.24.1 → 0.25.0

package/dist/esm/util/type-utils.d.ts

@@ -2,10 +2,7 @@ import { SelectQueryBuilder } from '../query-builder/select-query-builder.js';
 import { InsertResult } from '../query-builder/insert-result.js';
 import { DeleteResult } from '../query-builder/delete-result.js';
 import { UpdateResult } from '../query-builder/update-result.js';
-/**
- * Given an object type, extracts the union of all value types.
- */
-export declare type ValueType<T> = T[keyof T];
+import { KyselyTypeError } from './type-error.js';
 /**
  * Given a database type and a union of table names in that db, returns
  * a union type with all possible column names.
@@ -37,9 +34,9 @@ export declare type ValueType<T> = T[keyof T];
  * // Columns == 'id' | 'name' | 'species'
  * ```
  */
-export declare type AnyColumn<DB, TB extends keyof DB> = {
+export declare type AnyColumn<DB, TB extends keyof DB> = DrainOuterGeneric<{
     [T in TB]: keyof DB[T];
-}[TB] & string;
+}[TB] & string>;
 /**
  * Extracts a column type.
  */
@@ -102,9 +99,9 @@ export declare type ArrayItemType<T> = T extends ReadonlyArray<infer I> ? I : ne
 export declare type AnySelectQueryBuilder = SelectQueryBuilder<any, any, any>;
 export declare type SimplifySingleResult<O> = O extends InsertResult ? O : O extends DeleteResult ? O : O extends UpdateResult ? O : Simplify<O> | undefined;
 export declare type SimplifyResult<O> = O extends InsertResult ? O : O extends DeleteResult ? O : O extends UpdateResult ? O : Simplify<O>;
-export declare type Simplify<T> = {
+export declare type Simplify<T> = DrainOuterGeneric<{
     [K in keyof T]: T[K];
-} & {};
+} & {}>;
 /**
  * Represents a database row whose column names and their types are unknown.
  */
@@ -115,33 +112,50 @@ export declare type UnknownRow = Record<string, unknown>;
 export declare type Nullable<T> = {
     [P in keyof T]: T[P] | null;
 };
-/**
- * Takes all properties from T1 and merges all properties from T2
- * that don't exist in T1 as optional properties.
- *
- * Example:
- *
- * interface Person {
- *   name: string
- *   age: number
- * }
- *
- * interface Pet {
- *   name: string
- *   species: 'cat' | 'dog'
- * }
- *
- * type Merged = MergePartial<Person, Pet>
- *
- * // { name: string, age: number, species?: 'cat' | 'dog' }
- */
-export declare type MergePartial<T1, T2> = T1 & Partial<Omit<T2, keyof T1>>;
 /**
  * Evaluates to `true` if `T` is `never`.
  */
 export declare type IsNever<T> = [T] extends [never] ? true : false;
+/**
+ * Evaluates to `true` if `T` is `any`.
+ */
+export declare type IsAny<T> = 0 extends T & 1 ? true : false;
 /**
  * Evaluates to `true` if the types `T` and `U` are equal.
  */
 export declare type Equals<T, U> = (<G>() => G extends T ? 1 : 2) extends <G>() => G extends U ? 1 : 2 ? true : false;
+export declare type NarrowPartial<S, T> = DrainOuterGeneric<{
+    [K in keyof S & string]: K extends keyof T ? T[K] extends S[K] ? T[K] : KyselyTypeError<`$narrowType() call failed: passed type does not exist in '${K}'s type union`> : S[K];
+}>;
 export declare type SqlBool = boolean | 0 | 1;
+/**
+ * Utility to reduce depth of TypeScript's internal type instantiation stack.
+ *
+ * Example:
+ *
+ * ```ts
+ * type A<T> = { item: T }
+ *
+ * type Test<T> = A<
+ *   A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<T>>>>>>>>>>>>>>>>>>>>>>>>
+ * >
+ *
+ * type Error = Test<number> // Type instantiation is excessively deep and possibly infinite.ts (2589)
+ * ```
+ *
+ * To fix this, we can use `DrainOuterGeneric`:
+ *
+ * ```ts
+ * type A<T> = DrainOuterGeneric<{ item: T }>
+ *
+ * type Test<T> = A<
+ *  A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<T>>>>>>>>>>>>>>>>>>>>>>>>
+ * >
+ *
+ * type Ok = Test<number> // Ok
+ * ```
+ */
+export declare type DrainOuterGeneric<T> = [T] extends [unknown] ? T : never;
+export declare type ShallowRecord<K extends keyof any, T> = DrainOuterGeneric<{
+    [P in K]: T;
+}>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kysely",
-  "version": "0.24.1",
+  "version": "0.25.0",
   "description": "Type safe SQL query builder",
   "repository": {
     "type": "git",