ts-type 2.1.10 → 3.0.2

package/lib/type/record/partial.js

@@ -1,3 +1,10 @@
 "use strict";
+/**
+ * 記錄部分類型工具
+ * Record Partial Type Utilities
+ *
+ * 提供可選和必填記錄類型的工具
+ * Provides optional and required record type utilities
+ */
 Object.defineProperty(exports, "__esModule", { value: true });
 //# sourceMappingURL=partial.js.map

package/lib/type/record/partial.js.map

@@ -1 +1 @@
-{"version":3,"file":"partial.js","sourceRoot":"","sources":["partial.ts"],"names":[],"mappings":"","sourcesContent":["\nexport type ITSPartialRecord<K extends keyof any, T> = {\n\t[P in K]?: T;\n};\n\nexport type ITSRequireRecord<K extends keyof any, T> = {\n\t[P in K]-?: T;\n};\n"]}
+{"version":3,"file":"partial.js","sourceRoot":"","sources":["partial.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG","sourcesContent":["/**\n * 記錄部分類型工具\n * Record Partial Type Utilities\n * \n * 提供可選和必填記錄類型的工具\n * Provides optional and required record type utilities\n */\n\n/**\n * 可選的記錄類型\n * Optional record type\n * \n * 類似 Partial，但使用指定的鍵集合\n * Similar to Partial, but uses a specified key set\n * \n * @example\n * type PartialUser = ITSPartialRecord<'name' | 'age', string>;\n * // type PartialUser = { name?: string; age?: string; }\n */\nexport type ITSPartialRecord<K extends keyof any, T> = {\n\t[P in K]?: T;\n};\n\n/**\n * 必填的記錄類型\n * Required record type\n * \n * 類似 Required，但使用指定的鍵集合\n * Similar to Required, but uses a specified key set\n * \n * @example\n * type RequiredUser = ITSRequireRecord<'name' | 'age', string>;\n * // type RequiredUser = { name: string; age: string; }\n */\nexport type ITSRequireRecord<K extends keyof any, T> = {\n\t[P in K]-?: T;\n};\n"]}

package/lib/type/record/readonly.d.ts

@@ -1,3 +1,35 @@
-export declare type ITSReadonlyRecord<K extends keyof any, T> = {
+/**
+ * 記錄唯讀類型工具
+ * Record Readonly Type Utilities
+ *
+ * 提供唯讀和可讀寫記錄類型的工具
+ * Provides readonly and writable record type utilities
+ */
+/**
+ * 唯讀記錄類型
+ * Readonly record type
+ *
+ * 將指定鍵集合的所有屬性設為唯讀
+ * Makes all properties of the specified key set readonly
+ *
+ * @example
+ * type ReadonlyUser = ITSReadonlyRecord<'name' | 'age', string>;
+ * // type ReadonlyUser = { readonly name: string; readonly age: string; }
+ */
+export type ITSReadonlyRecord<K extends keyof any, T> = {
     readonly [P in K]: T;
 };
+/**
+ * 可讀寫記錄類型
+ * Writable record type
+ *
+ * 將指定鍵集合的所有屬性設為可讀寫（移除 readonly）
+ * Makes all properties of the specified key set writable (removes readonly)
+ *
+ * @example
+ * type WritableUser = ITSWriteableRecord<'name' | 'age', string>;
+ * // type WritableUser = { name: string; age: string; }
+ */
+export type ITSWriteableRecord<K extends keyof any, T> = {
+    -readonly [P in K]: T;
+};

package/lib/type/record/readonly.js

@@ -1,3 +1,10 @@
 "use strict";
+/**
+ * 記錄唯讀類型工具
+ * Record Readonly Type Utilities
+ *
+ * 提供唯讀和可讀寫記錄類型的工具
+ * Provides readonly and writable record type utilities
+ */
 Object.defineProperty(exports, "__esModule", { value: true });
 //# sourceMappingURL=readonly.js.map

package/lib/type/record/readonly.js.map

@@ -1 +1 @@
-{"version":3,"file":"readonly.js","sourceRoot":"","sources":["readonly.ts"],"names":[],"mappings":"","sourcesContent":["\nexport type ITSReadonlyRecord<K extends keyof any, T> = {\n\treadonly [P in K]: T;\n};\n"]}
+{"version":3,"file":"readonly.js","sourceRoot":"","sources":["readonly.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG","sourcesContent":["/**\n * 記錄唯讀類型工具\n * Record Readonly Type Utilities\n * \n * 提供唯讀和可讀寫記錄類型的工具\n * Provides readonly and writable record type utilities\n */\n\n/**\n * 唯讀記錄類型\n * Readonly record type\n * \n * 將指定鍵集合的所有屬性設為唯讀\n * Makes all properties of the specified key set readonly\n * \n * @example\n * type ReadonlyUser = ITSReadonlyRecord<'name' | 'age', string>;\n * // type ReadonlyUser = { readonly name: string; readonly age: string; }\n */\nexport type ITSReadonlyRecord<K extends keyof any, T> = {\n\treadonly [P in K]: T;\n};\n\n/**\n * 可讀寫記錄類型\n * Writable record type\n * \n * 將指定鍵集合的所有屬性設為可讀寫（移除 readonly）\n * Makes all properties of the specified key set writable (removes readonly)\n * \n * @example\n * type WritableUser = ITSWriteableRecord<'name' | 'age', string>;\n * // type WritableUser = { name: string; age: string; }\n */\nexport type ITSWriteableRecord<K extends keyof any, T> = {\n\t-readonly [P in K]: T;\n};\n"]}

package/lib/type/record.d.ts

@@ -1,87 +1,209 @@
 /**
+ * 記錄（Record）類型操作工具
+ * Record Type Manipulation Utilities
+ *
+ * 提供物件類型選擇、覆寫、合併等操作
+ * Provides object type selection, overwrite, merge and other operations
+ *
  * Created by user on 2019/6/11.
  */
-import { ITSKeyofBothDiff, ITSKeyofBothSame, ITSKeyofDiff, ITSKeyofSame } from '../helper/filter';
-export { ITSRequireRecord, ITSPartialRecord } from '../type/record/partial';
+import type { ITSKeyofBothDiff, ITSKeyofBothSame, ITSKeyofDiff, ITSKeyofSame } from '../helper/filter';
+export type { ITSRequireRecord, ITSPartialRecord } from '../type/record/partial';
 /**
- * @deprecated
+ * 取得兩個鍵集合的差異（已棄用）
+ * Get the difference between two key sets (deprecated)
+ *
+ * @deprecated 請使用 ITSKeyofDiff 取代 / Please use ITSKeyofDiff instead
  */
-export declare type ITSDiff<T extends keyof any, U extends keyof any> = ({
+export type ITSDiff<T extends keyof any, U extends keyof any> = ({
     [P in T]: P;
 } & {
     [P in U]: never;
 } & {
     [x: string]: never;
 })[T];
-export declare type ITSPickSame<T, U> = Pick<T, ITSKeyofSame<T, U>>;
-export declare type ITSPickDiff<T, U> = Pick<T, ITSKeyofDiff<T, U>>;
 /**
- * 生成一個新類型 具有 T 與 U 當中同時存在的 KEY
+ * 選擇 T 中與 U 相同的鍵
+ * Pick keys from T that are the same as U
+ *
+ * @example
+ * type A = { a: 1; b: 2; };
+ * type B = { a: 3; c: 4; };
+ * type Result = ITSPickSame<A, B>;
+ * // type Result = { a: 1 }
+ */
+export type ITSPickSame<T, U> = Pick<T, ITSKeyofSame<T, U>>;
+/**
+ * 選擇 T 中與 U 不同的鍵
+ * Pick keys from T that are different from U
+ *
+ * @example
+ * type A = { a: 1; b: 2; };
+ * type B = { a: 3; c: 4; };
+ * type Result = ITSPickDiff<A, B>;
+ * // type Result = { b: 2 }
  */
-export declare type ITSPickBothSame<T, U> = Pick<T & U, ITSKeyofBothSame<T, U>>;
+export type ITSPickDiff<T, U> = Pick<T, ITSKeyofDiff<T, U>>;
 /**
- * 生成一個新類型 不具有 T 與 U 當中同時存在的 KEY
+ * 選擇 T 與 U 中同時存在的鍵
+ * Pick keys that exist in both T and U
+ *
+ * @example
+ * type A = { a: 1; b: 2; };
+ * type B = { a: 3; c: 4; };
+ * type Result = ITSPickBothSame<A, B>;
+ * // type Result = { a: 1 }
  */
-export declare type ITSPickBothDiff<T, U> = Pick<T & U, ITSKeyofBothDiff<T, U>>;
-export declare type ITSPickBoth<T, U, K extends ITSKeyofBothSame<T, U> = ITSKeyofBothSame<T, U>> = Pick<T & U, K>;
+export type ITSPickBothSame<T, U> = Pick<T & U, ITSKeyofBothSame<T, U>>;
 /**
+ * 選擇 T 與 U 中不同時存在的鍵
+ * Pick keys that do not exist in both T and U
+ *
+ * @example
+ * type A = { a: 1; b: 2; };
+ * type B = { a: 3; c: 4; };
+ * type Result = ITSPickBothDiff<A, B>;
+ * // type Result = { b: 2; c: 4 }
+ */
+export type ITSPickBothDiff<T, U> = Pick<T & U, ITSKeyofBothDiff<T, U>>;
+/**
+ * 選擇指定鍵集合 K（必須是 T 與 U 中同時存在的鍵）
+ * Pick a specified key set K (must be keys that exist in both T and U)
+ */
+export type ITSPickBoth<T, U, K extends ITSKeyofBothSame<T, U> = ITSKeyofBothSame<T, U>> = Pick<T & U, K>;
+/**
+ * 取得物件成員的類型
+ * Get the type of an object member
+ *
  * @see https://stackoverflow.com/questions/49198713/override-the-properties-of-an-interface-in-typescript
  */
-export declare type ITSPickMember<T, K extends keyof T> = T[K];
+export type ITSPickMember<T, K extends keyof T> = T[K];
 /**
- * exclude all key in K at T
- * @deprecated
+ * 排除指定鍵（已棄用）
+ * Exclude specified keys (deprecated)
+ *
+ * @deprecated 請使用 Omit 取代 / Please use Omit instead
  */
-export declare type ITSPickNot<T, K extends keyof T> = Omit<T, K>;
+export type ITSPickNot<T, K extends keyof T> = Omit<T, K>;
 /**
+ * 覆寫物件類型的屬性
+ * Overwrite properties of an object type
+ *
+ * 用 U 中的屬性覆寫 T 中的同名屬性
+ * Overwrites properties in T with the same name from U
+ *
  * @see https://stackoverflow.com/questions/49198713/override-the-properties-of-an-interface-in-typescript
  *
  * @example
- * export interface A1 { s: string;}
- * export declare type A2 = ITSOverwrite<A1, { s: number; }>;
- * export declare let a2: A2;
+ * interface A1 { s: string }
+ * type A2 = ITSOverwrite<A1, { s: number }>;
+ * // type A2 = { s: number }
  */
-export declare type ITSOverwrite<T, U> = Omit<T, keyof U> & U;
+export type ITSOverwrite<T, U> = Omit<T, keyof U> & U;
 /**
+ * 合併兩個物件類型，處理衝突屬性
+ * Merge two object types, handling conflicting properties
+ *
+ * 對於 T 與 U 中同時存在的鍵，取兩者的聯集類型
+ * For keys that exist in both T and U, takes the union type of both
+ *
  * @example
  * type Test1 = { id: number, code: string }
  * type Test2 = { id: string, code: number }
  * type Test3 = ITSMergeBoth<Test1, Test2>
- * export const x: Test3 = { id: "bob", code: "bob" }
+ * // type Test3 = { id: string | number; code: string | number }
  * @see https://github.com/microsoft/TypeScript/issues/35627
  */
-export declare type ITSMergeBoth<T, U> = ITSPickBothDiff<T, U> & Pick<T | U, ITSKeyofBothSame<T, U>>;
+export type ITSMergeBoth<T, U> = ITSPickBothDiff<T, U> & Pick<T | U, ITSKeyofBothSame<T, U>>;
 /**
- * pick K and mark as Required
+ * 選擇指定鍵並設為必填
+ * Pick specified keys and mark as Required
+ *
+ * @example
+ * interface User { name?: string; age?: number; email?: string; }
+ * type RequiredName = ITSRequiredPick<User, 'name'>;
+ * // type RequiredName = { name: string; age?: number; email?: string; }
  */
-export declare type ITSRequiredPick<T, K extends keyof T = keyof T> = {
+export type ITSRequiredPick<T, K extends keyof T = keyof T> = {
     [P in K]-?: T[P];
 };
 /**
- * pick K and mark as Partial
+ * 選擇指定鍵並設為可選
+ * Pick specified keys and mark as Partial
+ *
+ * @example
+ * interface User { name: string; age: number; email: string; }
+ * type PartialName = ITSPartialPick<User, 'name'>;
+ * // type PartialName = { name?: string; age: number; email: string; }
  */
-export declare type ITSPartialPick<T, K extends keyof T = keyof T> = {
+export type ITSPartialPick<T, K extends keyof T = keyof T> = {
     [P in K]?: T[P];
 };
 /**
- * clone a type and mark all RK is Required, PK is Partial
+ * 複製類型並將指定鍵RK設為必填，其他鍵Pk設為可選
+ * Clone a type and mark specified keys as Required, other keys as Partial
+ *
+ * @example
+ * interface User { name: string; age: number; email: string; }
+ * type Result = ITSPickExtra<User, 'name', 'email'>;
+ * // type Result = { name: string; } & { age?: number; email?: string; }
+ */
+export type ITSPickExtra<T, RK extends keyof T, PK extends Exclude<keyof T, RK> = Exclude<keyof T, RK>> = ITSRequiredPick<T, RK> & ITSPartialPick<T, PK>;
+/**
+ * 複製類型並將指定鍵Pk設為可選，其他鍵Rk設為必填（與 ITSPickExtra 相反）
+ * Clone a type and mark specified keys as Partial, other keys as Required (opposite of ITSPickExtra)
+ *
+ * @example
+ * interface User { name: string; age: number; email: string; }
+ * type Result = ITSPickExtra2<User, 'name', 'email'>;
+ * // type Result = { name?: string; } & { age: number; email: string; }
+ */
+export type ITSPickExtra2<T, PK extends keyof T, RK extends Exclude<keyof T, PK> = Exclude<keyof T, PK>> = ITSRequiredPick<T, RK> & ITSPartialPick<T, PK>;
+/**
+ * 保留指定鍵為必填，其他鍵不變
+ * Keep specified keys as Required, other keys unchanged
+ *
+ * @example
+ * interface User { name: string; age: number; email: string; }
+ * type Result = ITSRequiredWith<User, 'name'>;
+ * // type Result = { name: string; age: number; email: string; }
  */
-export declare type ITSPickExtra<T, RK extends keyof T, PK extends Exclude<keyof T, RK> = Exclude<keyof T, RK>> = ITSRequiredPick<T, RK> & ITSPartialPick<T, PK>;
+export type ITSRequiredWith<T, K extends keyof T> = Omit<T, K> & ITSRequiredPick<T, K>;
 /**
- * clone a type and mark all RK is Required, PK is Partial
+ * 保留指定鍵為可選，其他鍵不變
+ * Keep specified keys as Partial, other keys unchanged
+ *
+ * @example
+ * interface User { name: string; age: number; email: string; }
+ * type Result = ITSPartialWith<User, 'name'>;
+ * // type Result = { name?: string; age: number; email: string; }
  */
-export declare type ITSPickExtra2<T, PK extends keyof T, RK extends Exclude<keyof T, PK> = Exclude<keyof T, PK>> = ITSRequiredPick<T, RK> & ITSPartialPick<T, PK>;
-export declare type ITSRequiredWith<T, K extends keyof T> = Omit<T, K> & ITSRequiredPick<T, K>;
-export declare type ITSPartialWith<T, K extends keyof T> = Omit<T, K> & ITSPartialPick<T, K>;
+export type ITSPartialWith<T, K extends keyof T> = Omit<T, K> & ITSPartialPick<T, K>;
 /**
- * https://stackoverflow.com/questions/40510611/typescript-interface-require-one-of-two-properties-to-exist
+ * 確保物件至少具有指定的鍵集合中的一個
+ * Ensure the object has at least one of the specified key sets
+ *
+ * @see https://stackoverflow.com/questions/40510611/typescript-interface-require-one-of-two-properties-to-exist
+ *
+ * @example
+ * interface User { name?: string; age?: number; }
+ * type AtLeastOne = ITSRequireAtLeastOne<User, 'name' | 'age'>;
+ * // 需要至少提供 name 或 age 其中一個
  */
-export declare type ITSRequireAtLeastOne<T, Keys extends keyof T = keyof T> = Omit<T, Keys> & {
+export type ITSRequireAtLeastOne<T, Keys extends keyof T = keyof T> = Omit<T, Keys> & {
     [K in Keys]-?: ITSRequiredPick<T, K> & ITSPartialPick<T, Exclude<Keys, K>>;
 }[Keys];
 /**
- * https://stackoverflow.com/questions/40510611/typescript-interface-require-one-of-two-properties-to-exist
+ * 確保物件只能具有指定的鍵集合中的其中一個（互斥）
+ * Ensure the object can only have exactly one of the specified key sets (mutually exclusive)
+ *
+ * @see https://stackoverflow.com/questions/40510611/typescript-interface-require-one-of-two-properties-to-exist
+ *
+ * @example
+ * interface User { name?: string; age?: number; }
+ * type OnlyOne = ITSRequireOnlyOne<User, 'name' | 'age'>;
+ * // 只能提供 name 或 age 其中一個，不能同時提供
  */
-export declare type ITSRequireOnlyOne<T, Keys extends keyof T = keyof T> = Omit<T, Keys> & {
+export type ITSRequireOnlyOne<T, Keys extends keyof T = keyof T> = Omit<T, Keys> & {
     [K in Keys]-?: ITSRequiredPick<T, K> & Partial<Record<Exclude<Keys, K>, never>>;
 }[Keys];

package/lib/type/record.js

@@ -1,5 +1,11 @@
 "use strict";
 /**
+ * 記錄（Record）類型操作工具
+ * Record Type Manipulation Utilities
+ *
+ * 提供物件類型選擇、覆寫、合併等操作
+ * Provides object type selection, overwrite, merge and other operations
+ *
  * Created by user on 2019/6/11.
  */
 Object.defineProperty(exports, "__esModule", { value: true });

package/lib/type/record.js.map

@@ -1 +1 @@
-{"version":3,"file":"record.js","sourceRoot":"","sources":["record.ts"],"names":[],"mappings":";AAAA;;GAEG","sourcesContent":["/**\n * Created by user on 2019/6/11.\n */\n\nimport { ITSKeyofBothDiff, ITSKeyofBothSame, ITSKeyofDiff, ITSKeyofSame } from '../helper/filter';\n\nexport { ITSRequireRecord, ITSPartialRecord } from '../type/record/partial';\n\n/**\n * @deprecated\n */\nexport type ITSDiff<T extends keyof any, U extends keyof any> = (\n\t{ [P in T]: P }\n\t&\n\t{ [P in U]: never }\n\t&\n\t{ [x: string]: never }\n\t)[T];\n\nexport type ITSPickSame<T, U> = Pick<T, ITSKeyofSame<T, U>>;\nexport type ITSPickDiff<T, U> = Pick<T, ITSKeyofDiff<T, U>>;\n\n/**\n * 生成一個新類型 具有 T 與 U 當中同時存在的 KEY\n */\nexport type ITSPickBothSame<T, U> = Pick<T & U, ITSKeyofBothSame<T, U>>;\n/**\n * 生成一個新類型 不具有 T 與 U 當中同時存在的 KEY\n */\nexport type ITSPickBothDiff<T, U> = Pick<T & U, ITSKeyofBothDiff<T, U>>;\n\nexport type ITSPickBoth<T, U, K extends ITSKeyofBothSame<T, U> = ITSKeyofBothSame<T, U>> = Pick<T & U, K>;\n\n/**\n * @see https://stackoverflow.com/questions/49198713/override-the-properties-of-an-interface-in-typescript\n */\nexport type ITSPickMember<T, K extends keyof T> = T[K];\n\n/**\n * exclude all key in K at T\n * @deprecated\n */\nexport type ITSPickNot<T, K extends keyof T> = Omit<T, K>;\n\n/**\n * @see https://stackoverflow.com/questions/49198713/override-the-properties-of-an-interface-in-typescript\n *\n * @example\n * export interface A1 { s: string;}\n * export declare type A2 = ITSOverwrite<A1, { s: number; }>;\n * export declare let a2: A2;\n */\nexport type ITSOverwrite<T, U> = Omit<T, keyof U> & U;\n\n/**\n * @example\n * type Test1 = { id: number, code: string }\n * type Test2 = { id: string, code: number }\n * type Test3 = ITSMergeBoth<Test1, Test2>\n * export const x: Test3 = { id: \"bob\", code: \"bob\" }\n * @see https://github.com/microsoft/TypeScript/issues/35627\n */\nexport type ITSMergeBoth<T, U> = ITSPickBothDiff<T, U> & Pick<T | U, ITSKeyofBothSame<T, U>>;\n\n/**\n * pick K and mark as Required\n */\nexport type ITSRequiredPick<T, K extends keyof T = keyof T> = {\n\t[P in K]-?: T[P];\n};\n\n/**\n * pick K and mark as Partial\n */\nexport type ITSPartialPick<T, K extends keyof T = keyof T> = {\n\t[P in K]?: T[P];\n};\n\n/**\n * clone a type and mark all RK is Required, PK is Partial\n */\nexport type ITSPickExtra<T, RK extends keyof T, PK extends Exclude<keyof T, RK> = Exclude<keyof T, RK>> =\n\tITSRequiredPick<T, RK>\n\t& ITSPartialPick<T, PK>;\n\n/**\n * clone a type and mark all RK is Required, PK is Partial\n */\nexport type ITSPickExtra2<T, PK extends keyof T, RK extends Exclude<keyof T, PK> = Exclude<keyof T, PK>> =\n\tITSRequiredPick<T, RK>\n\t& ITSPartialPick<T, PK>;\n\nexport type ITSRequiredWith<T, K extends keyof T> = Omit<T, K> & ITSRequiredPick<T, K>;\nexport type ITSPartialWith<T, K extends keyof T> = Omit<T, K> & ITSPartialPick<T, K>;\n\n/**\n * https://stackoverflow.com/questions/40510611/typescript-interface-require-one-of-two-properties-to-exist\n */\nexport type ITSRequireAtLeastOne<T, Keys extends keyof T = keyof T> =\n\tOmit<T, Keys>\n\t& {\n\t[K in Keys]-?: ITSRequiredPick<T, K>\n\t& ITSPartialPick<T, Exclude<Keys, K>>\n}[Keys];\n\n/**\n * https://stackoverflow.com/questions/40510611/typescript-interface-require-one-of-two-properties-to-exist\n */\nexport type ITSRequireOnlyOne<T, Keys extends keyof T = keyof T> =\n\tOmit<T, Keys>\n\t& {\n\t[K in Keys]-?: ITSRequiredPick<T, K>\n\t& Partial<Record<Exclude<Keys, K>, never>>\n}[Keys];\n\n"]}
+{"version":3,"file":"record.js","sourceRoot":"","sources":["record.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG","sourcesContent":["/**\n * 記錄（Record）類型操作工具\n * Record Type Manipulation Utilities\n * \n * 提供物件類型選擇、覆寫、合併等操作\n * Provides object type selection, overwrite, merge and other operations\n * \n * Created by user on 2019/6/11.\n */\n\nimport type { ITSKeyofBothDiff, ITSKeyofBothSame, ITSKeyofDiff, ITSKeyofSame } from '../helper/filter';\n\nexport type { ITSRequireRecord, ITSPartialRecord } from '../type/record/partial';\n\n/**\n * 取得兩個鍵集合的差異（已棄用）\n * Get the difference between two key sets (deprecated)\n * \n * @deprecated 請使用 ITSKeyofDiff 取代 / Please use ITSKeyofDiff instead\n */\nexport type ITSDiff<T extends keyof any, U extends keyof any> = (\n\t{ [P in T]: P }\n\t&\n\t{ [P in U]: never }\n\t&\n\t{ [x: string]: never }\n\t)[T];\n\n/**\n * 選擇 T 中與 U 相同的鍵\n * Pick keys from T that are the same as U\n * \n * @example\n * type A = { a: 1; b: 2; };\n * type B = { a: 3; c: 4; };\n * type Result = ITSPickSame<A, B>;\n * // type Result = { a: 1 }\n */\nexport type ITSPickSame<T, U> = Pick<T, ITSKeyofSame<T, U>>;\n\n/**\n * 選擇 T 中與 U 不同的鍵\n * Pick keys from T that are different from U\n * \n * @example\n * type A = { a: 1; b: 2; };\n * type B = { a: 3; c: 4; };\n * type Result = ITSPickDiff<A, B>;\n * // type Result = { b: 2 }\n */\nexport type ITSPickDiff<T, U> = Pick<T, ITSKeyofDiff<T, U>>;\n\n/**\n * 選擇 T 與 U 中同時存在的鍵\n * Pick keys that exist in both T and U\n * \n * @example\n * type A = { a: 1; b: 2; };\n * type B = { a: 3; c: 4; };\n * type Result = ITSPickBothSame<A, B>;\n * // type Result = { a: 1 }\n */\nexport type ITSPickBothSame<T, U> = Pick<T & U, ITSKeyofBothSame<T, U>>;\n\n/**\n * 選擇 T 與 U 中不同時存在的鍵\n * Pick keys that do not exist in both T and U\n * \n * @example\n * type A = { a: 1; b: 2; };\n * type B = { a: 3; c: 4; };\n * type Result = ITSPickBothDiff<A, B>;\n * // type Result = { b: 2; c: 4 }\n */\nexport type ITSPickBothDiff<T, U> = Pick<T & U, ITSKeyofBothDiff<T, U>>;\n\n/**\n * 選擇指定鍵集合 K（必須是 T 與 U 中同時存在的鍵）\n * Pick a specified key set K (must be keys that exist in both T and U)\n */\nexport type ITSPickBoth<T, U, K extends ITSKeyofBothSame<T, U> = ITSKeyofBothSame<T, U>> = Pick<T & U, K>;\n\n/**\n * 取得物件成員的類型\n * Get the type of an object member\n * \n * @see https://stackoverflow.com/questions/49198713/override-the-properties-of-an-interface-in-typescript\n */\nexport type ITSPickMember<T, K extends keyof T> = T[K];\n\n/**\n * 排除指定鍵（已棄用）\n * Exclude specified keys (deprecated)\n * \n * @deprecated 請使用 Omit 取代 / Please use Omit instead\n */\nexport type ITSPickNot<T, K extends keyof T> = Omit<T, K>;\n\n/**\n * 覆寫物件類型的屬性\n * Overwrite properties of an object type\n * \n * 用 U 中的屬性覆寫 T 中的同名屬性\n * Overwrites properties in T with the same name from U\n * \n * @see https://stackoverflow.com/questions/49198713/override-the-properties-of-an-interface-in-typescript\n * \n * @example\n * interface A1 { s: string }\n * type A2 = ITSOverwrite<A1, { s: number }>;\n * // type A2 = { s: number }\n */\nexport type ITSOverwrite<T, U> = Omit<T, keyof U> & U;\n\n/**\n * 合併兩個物件類型，處理衝突屬性\n * Merge two object types, handling conflicting properties\n * \n * 對於 T 與 U 中同時存在的鍵，取兩者的聯集類型\n * For keys that exist in both T and U, takes the union type of both\n * \n * @example\n * type Test1 = { id: number, code: string }\n * type Test2 = { id: string, code: number }\n * type Test3 = ITSMergeBoth<Test1, Test2>\n * // type Test3 = { id: string | number; code: string | number }\n * @see https://github.com/microsoft/TypeScript/issues/35627\n */\nexport type ITSMergeBoth<T, U> = ITSPickBothDiff<T, U> & Pick<T | U, ITSKeyofBothSame<T, U>>;\n\n/**\n * 選擇指定鍵並設為必填\n * Pick specified keys and mark as Required\n * \n * @example\n * interface User { name?: string; age?: number; email?: string; }\n * type RequiredName = ITSRequiredPick<User, 'name'>;\n * // type RequiredName = { name: string; age?: number; email?: string; }\n */\nexport type ITSRequiredPick<T, K extends keyof T = keyof T> = {\n\t[P in K]-?: T[P];\n};\n\n/**\n * 選擇指定鍵並設為可選\n * Pick specified keys and mark as Partial\n * \n * @example\n * interface User { name: string; age: number; email: string; }\n * type PartialName = ITSPartialPick<User, 'name'>;\n * // type PartialName = { name?: string; age: number; email: string; }\n */\nexport type ITSPartialPick<T, K extends keyof T = keyof T> = {\n\t[P in K]?: T[P];\n};\n\n/**\n * 複製類型並將指定鍵RK設為必填，其他鍵Pk設為可選\n * Clone a type and mark specified keys as Required, other keys as Partial\n * \n * @example\n * interface User { name: string; age: number; email: string; }\n * type Result = ITSPickExtra<User, 'name', 'email'>;\n * // type Result = { name: string; } & { age?: number; email?: string; }\n */\nexport type ITSPickExtra<T, RK extends keyof T, PK extends Exclude<keyof T, RK> = Exclude<keyof T, RK>> =\n\tITSRequiredPick<T, RK>\n\t& ITSPartialPick<T, PK>;\n\n/**\n * 複製類型並將指定鍵Pk設為可選，其他鍵Rk設為必填（與 ITSPickExtra 相反）\n * Clone a type and mark specified keys as Partial, other keys as Required (opposite of ITSPickExtra)\n * \n * @example\n * interface User { name: string; age: number; email: string; }\n * type Result = ITSPickExtra2<User, 'name', 'email'>;\n * // type Result = { name?: string; } & { age: number; email: string; }\n */\nexport type ITSPickExtra2<T, PK extends keyof T, RK extends Exclude<keyof T, PK> = Exclude<keyof T, PK>> =\n\tITSRequiredPick<T, RK>\n\t& ITSPartialPick<T, PK>;\n\n/**\n * 保留指定鍵為必填，其他鍵不變\n * Keep specified keys as Required, other keys unchanged\n * \n * @example\n * interface User { name: string; age: number; email: string; }\n * type Result = ITSRequiredWith<User, 'name'>;\n * // type Result = { name: string; age: number; email: string; }\n */\nexport type ITSRequiredWith<T, K extends keyof T> = Omit<T, K> & ITSRequiredPick<T, K>;\n\n/**\n * 保留指定鍵為可選，其他鍵不變\n * Keep specified keys as Partial, other keys unchanged\n * \n * @example\n * interface User { name: string; age: number; email: string; }\n * type Result = ITSPartialWith<User, 'name'>;\n * // type Result = { name?: string; age: number; email: string; }\n */\nexport type ITSPartialWith<T, K extends keyof T> = Omit<T, K> & ITSPartialPick<T, K>;\n\n/**\n * 確保物件至少具有指定的鍵集合中的一個\n * Ensure the object has at least one of the specified key sets\n * \n * @see https://stackoverflow.com/questions/40510611/typescript-interface-require-one-of-two-properties-to-exist\n * \n * @example\n * interface User { name?: string; age?: number; }\n * type AtLeastOne = ITSRequireAtLeastOne<User, 'name' | 'age'>;\n * // 需要至少提供 name 或 age 其中一個\n */\nexport type ITSRequireAtLeastOne<T, Keys extends keyof T = keyof T> =\n\tOmit<T, Keys>\n\t& {\n\t[K in Keys]-?: ITSRequiredPick<T, K>\n\t& ITSPartialPick<T, Exclude<Keys, K>>\n}[Keys];\n\n/**\n * 確保物件只能具有指定的鍵集合中的其中一個（互斥）\n * Ensure the object can only have exactly one of the specified key sets (mutually exclusive)\n * \n * @see https://stackoverflow.com/questions/40510611/typescript-interface-require-one-of-two-properties-to-exist\n * \n * @example\n * interface User { name?: string; age?: number; }\n * type OnlyOne = ITSRequireOnlyOne<User, 'name' | 'age'>;\n * // 只能提供 name 或 age 其中一個，不能同時提供\n */\nexport type ITSRequireOnlyOne<T, Keys extends keyof T = keyof T> =\n\tOmit<T, Keys>\n\t& {\n\t[K in Keys]-?: ITSRequiredPick<T, K>\n\t& Partial<Record<Exclude<Keys, K>, never>>\n}[Keys];\n"]}

package/lib/type/tuple/empty.d.ts

@@ -1,2 +1,17 @@
+/**
+ * 空元組類型
+ * Empty Tuple Type
+ *
+ * 提供空元組相關的類型定義
+ * Provides empty tuple-related type definitions
+ */
 import { ITSArrayListMaybeReadonly } from '../base';
-export declare type ITSEmptyTuple = ITSArrayListMaybeReadonly<never>;
+/**
+ * 空元組類型
+ * Empty tuple type
+ *
+ * @example
+ * type Empty = ITSEmptyTuple;
+ * // type Empty = [] | readonly []
+ */
+export type ITSEmptyTuple = ITSArrayListMaybeReadonly<never>;

package/lib/type/tuple/empty.js

@@ -1,3 +1,10 @@
 "use strict";
+/**
+ * 空元組類型
+ * Empty Tuple Type
+ *
+ * 提供空元組相關的類型定義
+ * Provides empty tuple-related type definitions
+ */
 Object.defineProperty(exports, "__esModule", { value: true });
 //# sourceMappingURL=empty.js.map

package/lib/type/tuple/empty.js.map

@@ -1 +1 @@
-{"version":3,"file":"empty.js","sourceRoot":"","sources":["empty.ts"],"names":[],"mappings":"","sourcesContent":["import { ITSArrayListMaybeReadonly } from '../base';\n\nexport type ITSEmptyTuple = ITSArrayListMaybeReadonly<never>;\n"]}
+{"version":3,"file":"empty.js","sourceRoot":"","sources":["empty.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG","sourcesContent":["/**\n * 空元組類型\n * Empty Tuple Type\n * \n * 提供空元組相關的類型定義\n * Provides empty tuple-related type definitions\n */\n\nimport { ITSArrayListMaybeReadonly } from '../base';\n\n/**\n * 空元組類型\n * Empty tuple type\n * \n * @example\n * type Empty = ITSEmptyTuple;\n * // type Empty = [] | readonly []\n */\nexport type ITSEmptyTuple = ITSArrayListMaybeReadonly<never>;\n"]}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "ts-type",
-  "version": "2.1.10",
-  "description": "add some typescript type and re-export some build-in typescript type",
+  "version": "3.0.2",
+  "description": "TypeScript 類型工具庫：提供豐富的類型操作工具和重新導出的內建類型 / TypeScript type utility library: provides rich type manipulation utilities and re-exported built-in types",
   "keywords": [
     ".d.ts",
     "@types",
@@ -23,9 +23,21 @@
     "typescript",
     "typing",
     "typings",
-    "type-helprt",
+    "type-helper",
     "toolbox",
-    "toolbelt"
+    "toolbelt",
+    "utility",
+    "utilities",
+    "type-utilities",
+    "type-manipulation",
+    "advanced-types",
+    "type-transform",
+    "type-inference",
+    "generic-types",
+    "type-safe",
+    "bilingual",
+    "chinese",
+    "english"
   ],
   "homepage": "https://github.com/bluelovers/ws-ts-type/tree/master/packages/ts-type#readme",
   "bugs": {
@@ -33,7 +45,8 @@
   },
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/bluelovers/ws-ts-type.git"
+    "url": "git+https://github.com/bluelovers/ws-ts-type.git",
+    "directory": "packages/ts-type"
   },
   "license": "ISC",
   "author": "",
@@ -43,26 +56,46 @@
     "test": "test"
   },
   "scripts": {
+    "coverage": "yarn run test -- --coverage",
     "pretest": "yarn run build",
-    "test": "yarn run ts:check",
+    "test": "yarn run ts:check && yarn run test:tsd",
+    "test:jest": "jest --passWithNoTests",
+    "test:jest:coverage": "node --run test:jest -- --coverage",
+    "test:jest:snapshot": "yarn run test:jest -- -u",
+    "test:snapshot": "yarn run test -- -u",
+    "test:tsd": "tsd",
     "build": "yarn run build-lib-toc",
-    "build-lib-toc": "ynpx ts-node ./test/script/toc && yarn run build:toc",
-    "build:toc": "tsc -p ./ --isolatedModules --noStrictGenericChecks --skipLibCheck & echo build:toc",
+    "build-lib-toc": "ts-node ./test/script/toc && yarn run build:toc",
+    "build:toc": "tsc --skipLibCheck & echo build:toc",
     "preversion": "yarn run test && yarn run postpublish:git:commit",
     "prepublishOnly": "echo prepublishOnly",
     "postpublish:git:commit": "git commit -m \"build(release): publish\" ./lib/index.d.ts & echo postpublish:git:commit",
-    "ncu": "npx yarn-tool ncu -u",
-    "sort-package-json": "npx yarn-tool sort",
-    "ts:check": "tsc --noEmit -p tsconfig.check.json"
+    "ncu": "yarn-tool ncu -u",
+    "sort-package-json": "yarn-tool sort",
+    "ts:check": "tsc -p tsconfig.check.json --emitDeclarationOnly --skipLibCheck",
+    "tsc:showConfig": "ynpx get-current-tsconfig -p"
+  },
+  "tsd": {
+    "compilerOptions": {
+      "skipLibCheck": true,
+      "emitDeclarationOnly": true,
+      "noUnusedParameters": false,
+      "allowUnusedLabels": true,
+      "noUnusedLocals": false,
+      "noPropertyAccessFromIndexSignature": false
+    },
+    "directory": "test/spec",
+    "testFiles": [
+      "test/spec/**/*.ts"
+    ]
   },
   "dependencies": {
-    "tslib": "^2",
+    "@types/node": "*",
+    "tslib": ">=2",
     "typedarray-dts": "^1.0.0"
   },
   "peerDependencies": {
-    "@types/bluebird": "*",
-    "@types/node": "*",
     "ts-toolbelt": "^9.6.0"
   },
-  "gitHead": "39049cae0123305c59b08c33069075b99411f4f4"
+  "gitHead": "57f82cba146cfef0d0f3f138e5ec736cd17f040d"
 }

package/ts-toolbelt.js

@@ -1,2 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });

package/lib/helper/unpacked.d.ts

@@ -1,13 +0,0 @@
-/**
- * for Iterator IteratorResult
- */
-/**
- * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html
- */
-import { ITSMapLike, ITSResolvable, ITSTypeFunction } from '../generic';
-export declare type ITSUnpackedReturnType<T extends (...args: any[]) => any> = ITSUnpacked<ReturnType<T>>;
-export declare type ITSUnpacked<T> = T extends ITSMapLike<any, infer U> ? U : T extends (infer U)[] ? U : T extends ArrayLike<infer U> ? U : T extends Iterator<infer U> ? U : T extends IteratorResult<infer U> ? U : T extends ITSTypeFunction<infer U> ? U : T extends ITSResolvable<infer U> ? U : T;
-export declare type ITSUnpackedPromiseLike<T> = T extends ITSResolvable<infer U> ? U : T;
-export declare type ITSUnpackedIteratorLike<T extends Iterator<any> | IteratorResult<any>> = T extends Iterator<infer U> ? ITSUnpacked<U> : T extends IteratorResult<infer U> ? ITSUnpacked<U> : T;
-export declare type ITSUnpackedArrayLike<T extends ArrayLike<any> | any[]> = T extends (infer U)[] ? ITSUnpacked<U> : T extends readonly (infer U)[] ? ITSUnpacked<U> : T extends ArrayLike<infer U> ? ITSUnpacked<U> : T;
-export declare type ITSUnpackedThisFunction<T extends (...args: any[]) => any> = T extends (this: infer R, ...args: any[]) => any ? R : unknown;

package/lib/helper/unpacked.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"unpacked.js","sourceRoot":"","sources":["unpacked.ts"],"names":[],"mappings":"","sourcesContent":["/**\n * for Iterator IteratorResult\n */\n/**\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html\n */\nimport { ITSMapLike, ITSResolvable, ITSTypeFunction } from '../generic';\n\nexport type ITSUnpackedReturnType<T extends (...args: any[]) => any> =\n\tITSUnpacked<ReturnType<T>>\n//\tT extends ITSTypeFunction<infer R>\n//\t\t? ITSUnpacked<R>\n//\t\t: T\n\t;\nexport type ITSUnpacked<T> =\n\tT extends ITSMapLike<any, infer U> ? U :\n\t\tT extends (infer U)[] ? U :\n\t\t\tT extends ArrayLike<infer U> ? U :\n\t\t\t\tT extends Iterator<infer U> ? U :\n\t\t\t\t\tT extends IteratorResult<infer U> ? U :\n\t\t\t\t\t\tT extends ITSTypeFunction<infer U> ? U :\n\t\t\t\t\t\t\tT extends ITSResolvable<infer U> ? U :\n\t\t\t\t\t\t\t\t//T extends Promise<infer U> ? U :\n\t\t\t\t\t\t\t\tT\n\t;\nexport type ITSUnpackedPromiseLike<T> =\n\tT extends ITSResolvable<infer U> ? U :\n\t\tT\n\t;\nexport type ITSUnpackedIteratorLike<T extends Iterator<any> | IteratorResult<any>> =\n\tT extends Iterator<infer U> ? ITSUnpacked<U> :\n\t\tT extends IteratorResult<infer U> ? ITSUnpacked<U> :\n\t\t\tT\n\t;\nexport type ITSUnpackedArrayLike<T extends ArrayLike<any> | any[]> =\n\tT extends (infer U)[] ? ITSUnpacked<U> :\n\t\tT extends readonly (infer U)[] ? ITSUnpacked<U> :\n\t\t\tT extends ArrayLike<infer U> ? ITSUnpacked<U> :\n\t\t\t\tT\n\t;\n\nexport type ITSUnpackedThisFunction<T extends (...args: any[]) => any> =\n\tT extends (this: infer R, ...args: any[]) => any\n\t\t? R\n\t\t: unknown;\n"]}

package/lib/type/bluebird.d.ts

@@ -1,19 +0,0 @@
-/**
- * Created by user on 2019/5/17.
- */
-import Bluebird from 'bluebird';
-import { ITSUnpackedReturnType, ITSKeyOfRecordExtractToKey, ITSUnpackedPromiseLike, ITSAnyFunction } from '..';
-export declare type IBluebird<T> = Bluebird<T>;
-export declare type ITSBluebird<T> = Bluebird<T>;
-export declare type ITSWrapFunctionBluebird<T extends (...args: any[]) => any> = (...args: Parameters<T>) => IBluebird<ITSUnpackedReturnType<T>>;
-export declare type ITSBluebirdPromisifyAll<T extends {
-    [p: string | symbol]: ITSAnyFunction;
-}, K extends ITSKeyOfRecordExtractToKey<T, Function> = ITSKeyOfRecordExtractToKey<T, Function>> = Omit<T, K> & {
-    [P in K]: (...argv: Parameters<T[P]>) => IBluebird<ITSUnpackedPromiseLike<ReturnType<T[P]>>>;
-};
-export declare type ITSPromisifyAll<T extends {
-    [p: string | symbol]: ITSAnyFunction;
-}, K extends ITSKeyOfRecordExtractToKey<T, Function> = ITSKeyOfRecordExtractToKey<T, Function>> = Omit<T, K> & {
-    [P in K]: (...argv: Parameters<T[P]>) => Promise<ITSUnpackedPromiseLike<ReturnType<T[P]>>>;
-};
-export declare type ITSResultArrayToBluebirdInspection<T> = T extends [infer T1, infer T2, infer T3, infer T4, infer T5] ? [Bluebird.Inspection<T1>, Bluebird.Inspection<T2>, Bluebird.Inspection<T3>, Bluebird.Inspection<T4>, Bluebird.Inspection<T5>] : T extends [infer T1, infer T2, infer T3, infer T4] ? [Bluebird.Inspection<T1>, Bluebird.Inspection<T2>, Bluebird.Inspection<T3>, Bluebird.Inspection<T4>] : T extends [infer T1, infer T2, infer T3] ? [Bluebird.Inspection<T1>, Bluebird.Inspection<T2>, Bluebird.Inspection<T3>] : T extends [infer T1, infer T2] ? [Bluebird.Inspection<T1>, Bluebird.Inspection<T2>] : T extends [infer T1] ? [Bluebird.Inspection<T1>] : T extends (infer R)[] ? Bluebird.Inspection<R>[] : never;

package/lib/type/bluebird.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"bluebird.js","sourceRoot":"","sources":["bluebird.ts"],"names":[],"mappings":";AAAA;;GAEG","sourcesContent":["/**\n * Created by user on 2019/5/17.\n */\n\nimport Bluebird from 'bluebird';\nimport { ITSUnpackedReturnType, ITSKeyOfRecordExtractToKey, ITSUnpackedPromiseLike, ITSAnyFunction } from '..';\n\nexport type IBluebird<T> = Bluebird<T>;\nexport type ITSBluebird<T> = Bluebird<T>;\n\nexport type ITSWrapFunctionBluebird<T extends (...args: any[]) => any> =\n\t(...args: Parameters<T>) => IBluebird<ITSUnpackedReturnType<T>>;\n\nexport type ITSBluebirdPromisifyAll<T extends {\n\t[p: string | symbol]: ITSAnyFunction\n}, K extends ITSKeyOfRecordExtractToKey<T, Function> = ITSKeyOfRecordExtractToKey<T, Function>> = Omit<T, K> & {\n\t[P in K]: (...argv: Parameters<T[P]>) => IBluebird<ITSUnpackedPromiseLike<ReturnType<T[P]>>>\n}\n\nexport type ITSPromisifyAll<T extends {\n\t[p: string | symbol]: ITSAnyFunction\n}, K extends ITSKeyOfRecordExtractToKey<T, Function> = ITSKeyOfRecordExtractToKey<T, Function>> = Omit<T, K> & {\n\t[P in K]: (...argv: Parameters<T[P]>) => Promise<ITSUnpackedPromiseLike<ReturnType<T[P]>>>\n}\n\nexport type ITSResultArrayToBluebirdInspection<T> = T extends [infer T1, infer T2, infer T3, infer T4, infer T5] ? [Bluebird.Inspection<T1>, Bluebird.Inspection<T2>, Bluebird.Inspection<T3>, Bluebird.Inspection<T4>, Bluebird.Inspection<T5>] : T extends [infer T1, infer T2, infer T3, infer T4] ? [Bluebird.Inspection<T1>, Bluebird.Inspection<T2>, Bluebird.Inspection<T3>, Bluebird.Inspection<T4>] : T extends [infer T1, infer T2, infer T3] ? [Bluebird.Inspection<T1>, Bluebird.Inspection<T2>, Bluebird.Inspection<T3>] : T extends [infer T1, infer T2] ? [Bluebird.Inspection<T1>, Bluebird.Inspection<T2>] : T extends [infer T1] ? [Bluebird.Inspection<T1>] : T extends (infer R)[] ? Bluebird.Inspection<R>[] : never;\n"]}

package/tsconfig.check.json

@@ -1,17 +0,0 @@
-{
-  "extends": "@bluelovers/tsconfig/esm/mapfile.json",
-  "compilerOptions": {
-    "skipLibCheck": true,
-    "noEmit": true,
-    "declaration": false
-  },
-  "exclude": [
-    "node_modules",
-    "./node_modules",
-    "./node_modules/*",
-    "**/node_modules/*",
-    "**/test/script/*",
-    "**/test/demo/*",
-    "**/test/temp/*"
-  ]
-}