ts-type 3.0.2 → 3.0.3

package/CHANGELOG.md

@@ -3,6 +3,21 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+## [3.0.3](https://github.com/bluelovers/ws-ts-type/compare/ts-type@3.0.2...ts-type@3.0.3) (2026-03-07)
+
+
+
+### ✨　Features
+
+* **ts-type:** 新增輔助類型工具 ([7a670c2](https://github.com/bluelovers/ws-ts-type/commit/7a670c236c77f8a6694299e80d5f742f13a1661f))
+
+
+### 🛠　Build System
+
+* **release:** publish ([d12a117](https://github.com/bluelovers/ws-ts-type/commit/d12a117d467df70f1f78f028a1371cee57124ca6))
+
+
+
 ## [3.0.2](https://github.com/bluelovers/ws-ts-type/compare/ts-type@3.0.1...ts-type@3.0.2) (2026-03-07)
 
 

package/lib/helper/conditional.d.ts

@@ -0,0 +1,34 @@
+/**
+ * 條件類型工具
+ * Conditional Type Utilities
+ *
+ * 提供基於條件的類型選擇工具
+ * Provides conditional-based type selection utilities
+ */
+/**
+ * 條件類型：根據條件 C 選擇 T 或 U
+ * Conditional type: select T or U based on condition C
+ *
+ * @example
+ * type IsString<T> = T extends string ? true : false;
+ * type Result = ITSIf<IsString<T>, 'is string', 'not string'>;
+ */
+export type ITSHelperIf<C extends boolean, T, U> = C extends true ? T : U;
+/**
+ * 條件類型：根據類型匹配選擇 T 或 U
+ * Conditional type: select T or U based on type match
+ *
+ * @example
+ * type Result = ITSIfExtends<string, 'text', 'other'>; // 'text'
+ * type Result2 = ITSIfExtends<number, 'text', 'other'>; // 'other'
+ */
+export type ITSHelperIfExtends<T, U, IfTrue, IfFalse> = T extends U ? IfTrue : IfFalse;
+/**
+ * 條件類型：根據類型相等選擇 T 或 U
+ * Conditional type: select T or U based on type equality
+ *
+ * @example
+ * type Result = ITSIfEquals<string, string, 'same', 'different'>; // 'same'
+ * type Result2 = ITSIfEquals<string, number, 'same', 'different'>; // 'different'
+ */
+export type ITSHelperIfEquals<T, U, IfTrue, IfFalse> = T extends U ? U extends T ? IfTrue : IfFalse : IfFalse;

package/lib/helper/conditional.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * 條件類型工具
+ * Conditional Type Utilities
+ *
+ * 提供基於條件的類型選擇工具
+ * Provides conditional-based type selection utilities
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=conditional.js.map

package/lib/helper/conditional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional.js","sourceRoot":"","sources":["conditional.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG","sourcesContent":["/**\n * 條件類型工具\n * Conditional Type Utilities\n * \n * 提供基於條件的類型選擇工具\n * Provides conditional-based type selection utilities\n */\n\n/**\n * 條件類型：根據條件 C 選擇 T 或 U\n * Conditional type: select T or U based on condition C\n * \n * @example\n * type IsString<T> = T extends string ? true : false;\n * type Result = ITSIf<IsString<T>, 'is string', 'not string'>;\n */\nexport type ITSHelperIf<C extends boolean, T, U> = C extends true ? T : U;\n\n/**\n * 條件類型：根據類型匹配選擇 T 或 U\n * Conditional type: select T or U based on type match\n * \n * @example\n * type Result = ITSIfExtends<string, 'text', 'other'>; // 'text'\n * type Result2 = ITSIfExtends<number, 'text', 'other'>; // 'other'\n */\nexport type ITSHelperIfExtends<T, U, IfTrue, IfFalse> = T extends U ? IfTrue : IfFalse;\n\n/**\n * 條件類型：根據類型相等選擇 T 或 U\n * Conditional type: select T or U based on type equality\n * \n * @example\n * type Result = ITSIfEquals<string, string, 'same', 'different'>; // 'same'\n * type Result2 = ITSIfEquals<string, number, 'same', 'different'>; // 'different'\n */\nexport type ITSHelperIfEquals<T, U, IfTrue, IfFalse> = T extends U \n  ? U extends T \n    ? IfTrue \n    : IfFalse \n  : IfFalse;\n"]}

package/lib/helper/deep-map.d.ts

@@ -0,0 +1,56 @@
+/**
+ * 深層映射工具
+ * Deep Mapping Utilities
+ *
+ * 提供對物件進行深層類型轉換的工具
+ * Provides utilities for deep type transformation of objects
+ */
+import { ITSArrayListMaybeReadonly } from '../type/base';
+/**
+ * 深層映射：對物件的所有屬性應用轉換 - 無法實現
+ * Deep mapping: apply transformation to all properties of an object
+ *
+ * TypeScript 無法在類型層級將函數作為泛型參數傳遞
+ * TypeScript cannot pass functions as generic parameters at type level
+ *
+ * @example
+ * interface User { name: string; profile: { age: number; } }
+ * type ReadonlyUser = ITSDeepMap<User, readonly>;
+ * // { readonly name: string; readonly profile: { readonly age: number; } }
+ */
+/**
+ * 深層映射：對物件的所有屬性應用轉換（包含陣列）- 無法實現
+ * Deep mapping: apply transformation to all properties of an object (including arrays)
+ *
+ * TypeScript 無法在類型層級將函數作為泛型參數傳遞
+ * TypeScript cannot pass functions as generic parameters at type level
+ *
+ * @example
+ * interface Data { items: string[]; nested: { values: number[]; } }
+ * type ReadonlyData = ITSDeepMapWithArrays<Data, readonly>;
+ * // { readonly items: readonly string[]; readonly nested: { readonly values: readonly number[]; } }
+ */
+/**
+ * 深層部分映射：對物件的所有屬性應用 Partial
+ * Deep partial mapping: apply Partial to all properties of an object
+ *
+ * @example
+ * interface User { name: string; profile: { age: number; } }
+ * type PartialUser = ITSDeepPartial<User>;
+ * // { name?: string; profile?: { age?: number; } }
+ */
+export type ITSDeepPartial<T> = T extends object ? T extends ITSArrayListMaybeReadonly<any> ? T : {
+    [K in keyof T]?: ITSDeepPartial<T[K]>;
+} : T;
+/**
+ * 深層必填映射：對物件的所有屬性應用 Required
+ * Deep required mapping: apply Required to all properties of an object
+ *
+ * @example
+ * interface User { name?: string; profile?: { age?: number; } }
+ * type RequiredUser = ITSDeepRequired<User>;
+ * // { name: string; profile: { age: number; } }
+ */
+export type ITSDeepRequired<T> = T extends object ? T extends ITSArrayListMaybeReadonly<any> ? T : {
+    [K in keyof T]-?: ITSDeepRequired<T[K]>;
+} : T;

package/lib/helper/deep-map.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * 深層映射工具
+ * Deep Mapping Utilities
+ *
+ * 提供對物件進行深層類型轉換的工具
+ * Provides utilities for deep type transformation of objects
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=deep-map.js.map

package/lib/helper/deep-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deep-map.js","sourceRoot":"","sources":["deep-map.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG","sourcesContent":["/**\n * 深層映射工具\n * Deep Mapping Utilities\n * \n * 提供對物件進行深層類型轉換的工具\n * Provides utilities for deep type transformation of objects\n */\n\nimport { ITSArrayListMaybeReadonly } from '../type/base';\n\n/**\n * 深層映射：對物件的所有屬性應用轉換 - 無法實現\n * Deep mapping: apply transformation to all properties of an object\n * \n * TypeScript 無法在類型層級將函數作為泛型參數傳遞\n * TypeScript cannot pass functions as generic parameters at type level\n * \n * @example\n * interface User { name: string; profile: { age: number; } }\n * type ReadonlyUser = ITSDeepMap<User, readonly>;\n * // { readonly name: string; readonly profile: { readonly age: number; } }\n */\n// export type ITSDeepMap<T, F> = never;\n\n// 保留原始實現作為參考 / Keep original implementation for reference\n// export type ITSDeepMap<T, F> = T extends object \n// \t? T extends ITSArrayListMaybeReadonly<any>\n// \t\t? T\n// \t\t: {\n// \t\t\t[K in keyof T]: ITSDeepMap<T[K], F>;\n// \t\t  }\n// \t: T;\n\n/**\n * 深層映射：對物件的所有屬性應用轉換（包含陣列）- 無法實現\n * Deep mapping: apply transformation to all properties of an object (including arrays)\n * \n * TypeScript 無法在類型層級將函數作為泛型參數傳遞\n * TypeScript cannot pass functions as generic parameters at type level\n * \n * @example\n * interface Data { items: string[]; nested: { values: number[]; } }\n * type ReadonlyData = ITSDeepMapWithArrays<Data, readonly>;\n * // { readonly items: readonly string[]; readonly nested: { readonly values: readonly number[]; } }\n */\n// export type ITSDeepMapWithArrays<T, F> = never;\n\n// 保留原始實現作為參考 / Keep original implementation for reference\n// export type ITSDeepMapWithArrays<T, F extends (x: any) => any> = T extends object \n// \t? T extends ITSArrayListMaybeReadonly<any>\n// \t\t? F<T>\n// \t\t: {\n// \t\t\t[K in keyof T]: ITSDeepMapWithArrays<T[K], F>;\n// \t\t  }\n// \t: T;\n\n/**\n * 深層部分映射：對物件的所有屬性應用 Partial\n * Deep partial mapping: apply Partial to all properties of an object\n * \n * @example\n * interface User { name: string; profile: { age: number; } }\n * type PartialUser = ITSDeepPartial<User>;\n * // { name?: string; profile?: { age?: number; } }\n */\nexport type ITSDeepPartial<T> = T extends object \n  ? T extends ITSArrayListMaybeReadonly<any>\n    ? T\n    : {\n        [K in keyof T]?: ITSDeepPartial<T[K]>;\n      }\n  : T;\n\n/**\n * 深層必填映射：對物件的所有屬性應用 Required\n * Deep required mapping: apply Required to all properties of an object\n * \n * @example\n * interface User { name?: string; profile?: { age?: number; } }\n * type RequiredUser = ITSDeepRequired<User>;\n * // { name: string; profile: { age: number; } }\n */\nexport type ITSDeepRequired<T> = T extends object \n  ? T extends ITSArrayListMaybeReadonly<any>\n    ? T\n    : {\n        [K in keyof T]-?: ITSDeepRequired<T[K]>;\n      }\n  : T;\n"]}

package/lib/helper/string/operations.d.ts

@@ -0,0 +1,123 @@
+/**
+ * 字串操作工具
+ * String Operation Utilities
+ *
+ * 提供字串相關的類型操作工具
+ * Provides string-related type manipulation utilities
+ */
+/**
+ * 字串首字母大寫
+ * Capitalize first letter of string
+ *
+ * @example
+ * type Result = ITSCapitalize<'hello'>; // 'Hello'
+ * type Result2 = ITSCapitalize<'world'>; // 'World'
+ */
+export type ITSCapitalize<S extends string> = S extends `${infer First}${infer Rest}` ? `${Uppercase<First>}${Rest}` : S;
+/**
+ * 字串首字母小寫
+ * Uncapitalize first letter of string
+ *
+ * @example
+ * type Result = ITSUncapitalize<'Hello'>; // 'hello'
+ * type Result2 = ITSUncapitalize<'World'>; // 'world'
+ */
+export type ITSUncapitalize<S extends string> = S extends `${infer First}${infer Rest}` ? `${Lowercase<First>}${Rest}` : S;
+/**
+ * 字串轉為大寫
+ * Convert string to uppercase
+ *
+ * @example
+ * type Result = ITSToUpperCase<'hello'>; // 'HELLO'
+ * type Result2 = ITSToUpperCase<'World'>; // 'WORLD'
+ */
+export type ITSToUpperCase<S extends string> = Uppercase<S>;
+/**
+ * 字串轉為小寫
+ * Convert string to lowercase
+ *
+ * @example
+ * type Result = ITSToLowerCase<'HELLO'>; // 'hello'
+ * type Result2 = ITSToLowerCase<'World'>; // 'world'
+ */
+export type ITSToLowerCase<S extends string> = Lowercase<S>;
+/**
+ * TODO: 字串重複指定次數 - 無法實現
+ * Repeat string specified number of times
+ *
+ * TypeScript 無法在類型層級進行遞迴數學運算
+ * TypeScript cannot perform recursive mathematical operations at type level
+ *
+ * @example
+ * type Result = ITSRepeat<'abc', 3>; // 'abcabcabc'
+ * type Result2 = ITSRepeat<'x', 5>; // 'xxxxx'
+ */
+/**
+ * TODO: 字串長度 - 無法實現
+ * Get string length
+ *
+ * TypeScript 無法在類型層級計算字串長度
+ * TypeScript cannot calculate string length at type level
+ *
+ * @example
+ * type Result = ITSStringLength<'hello'>; // 5
+ * type Result2 = ITSStringLength<''>; // 0
+ */
+/**
+ * TODO: 字串分割 - 無法實現
+ * Split string by separator
+ *
+ * TypeScript 無法在類型層級進行字串分割操作
+ * TypeScript cannot perform string splitting operations at type level
+ *
+ * @example
+ * type Result = ITSSplit<'a,b,c', ','>; // ['a', 'b', 'c']
+ * type Result2 = ITSSplit<'hello world', ' '>; // ['hello', 'world']
+ */
+/**
+ * TODO: 字串連接 - 無法實現
+ * Join string array with separator
+ *
+ * TypeScript 無法在類型層級進行陣列連接操作
+ * TypeScript cannot perform array joining operations at type level
+ *
+ * @example
+ * type Result = ITSJoin<['a', 'b', 'c'], ','>; // 'a,b,c'
+ * type Result2 = ITSJoin<['hello', 'world'], ' '>; // 'hello world'
+ */
+/**
+ * 字串替換
+ * Replace substring in string
+ *
+ * @example
+ * type Result = ITSReplace<'hello world', 'world', 'typescript'>; // 'hello typescript'
+ * type Result2 = ITSReplace<'abc123', '123', '456'>; // 'abc456'
+ */
+export type ITSReplace<S extends string, Search extends string, Replace extends string> = S extends `${infer Prefix}${Search}${infer Suffix}` ? `${Prefix}${Replace}${Suffix}` : S;
+/**
+ * 字串是否包含子字串
+ * Check if string contains substring
+ *
+ * @example
+ * type Result = ITSIncludes<'hello world', 'world'>; // true
+ * type Result2 = ITSIncludes<'hello world', 'typescript'>; // false
+ */
+export type ITSIncludes<S extends string, Search extends string> = S extends `${string}${Search}${string}` ? true : false;
+/**
+ * 字串是否以指定前綴開始
+ * Check if string starts with prefix
+ *
+ * @example
+ * type Result = ITSStartsWith<'hello world', 'hello'>; // true
+ * type Result2 = ITSStartsWith<'hello world', 'world'>; // false
+ */
+export type ITSStartsWith<S extends string, Prefix extends string> = S extends `${Prefix}${string}` ? true : false;
+/**
+ * 字串是否以指定後綴結束
+ * Check if string ends with suffix
+ *
+ * @example
+ * type Result = ITSEndsWith<'hello world', 'world'>; // true
+ * type Result2 = ITSEndsWith<'hello world', 'hello'>; // false
+ */
+export type ITSEndsWith<S extends string, Suffix extends string> = S extends `${string}${Suffix}` ? true : false;

package/lib/helper/string/operations.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * 字串操作工具
+ * String Operation Utilities
+ *
+ * 提供字串相關的類型操作工具
+ * Provides string-related type manipulation utilities
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=operations.js.map

package/lib/helper/string/operations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operations.js","sourceRoot":"","sources":["operations.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG","sourcesContent":["/**\n * 字串操作工具\n * String Operation Utilities\n * \n * 提供字串相關的類型操作工具\n * Provides string-related type manipulation utilities\n */\n\n/**\n * 字串首字母大寫\n * Capitalize first letter of string\n * \n * @example\n * type Result = ITSCapitalize<'hello'>; // 'Hello'\n * type Result2 = ITSCapitalize<'world'>; // 'World'\n */\nexport type ITSCapitalize<S extends string> = S extends `${infer First}${infer Rest}` \n  ? `${Uppercase<First>}${Rest}` \n  : S;\n\n/**\n * 字串首字母小寫\n * Uncapitalize first letter of string\n * \n * @example\n * type Result = ITSUncapitalize<'Hello'>; // 'hello'\n * type Result2 = ITSUncapitalize<'World'>; // 'world'\n */\nexport type ITSUncapitalize<S extends string> = S extends `${infer First}${infer Rest}` \n  ? `${Lowercase<First>}${Rest}` \n  : S;\n\n/**\n * 字串轉為大寫\n * Convert string to uppercase\n * \n * @example\n * type Result = ITSToUpperCase<'hello'>; // 'HELLO'\n * type Result2 = ITSToUpperCase<'World'>; // 'WORLD'\n */\nexport type ITSToUpperCase<S extends string> = Uppercase<S>;\n\n/**\n * 字串轉為小寫\n * Convert string to lowercase\n * \n * @example\n * type Result = ITSToLowerCase<'HELLO'>; // 'hello'\n * type Result2 = ITSToLowerCase<'World'>; // 'world'\n */\nexport type ITSToLowerCase<S extends string> = Lowercase<S>;\n\n/**\n * TODO: 字串重複指定次數 - 無法實現\n * Repeat string specified number of times\n * \n * TypeScript 無法在類型層級進行遞迴數學運算\n * TypeScript cannot perform recursive mathematical operations at type level\n * \n * @example\n * type Result = ITSRepeat<'abc', 3>; // 'abcabcabc'\n * type Result2 = ITSRepeat<'x', 5>; // 'xxxxx'\n */\n// export type ITSRepeat<S extends string, N extends number> = never;\n\n// 保留原始實現作為參考 / Keep original implementation for reference\n// export type ITSRepeat<S extends string, N extends number> = \n// \tN extends 0 \n// \t\t? '' \n// \t\t: N extends infer Count \n// \t\t\t? Count extends number \n// \t\t\t\t? `${S}${ITSRepeat<S, Count extends 0 ? never : Count - 1>}`\n// \t\t\t\t: never \n// \t\t\t: never;\n\n/**\n * TODO: 字串長度 - 無法實現\n * Get string length\n * \n * TypeScript 無法在類型層級計算字串長度\n * TypeScript cannot calculate string length at type level\n * \n * @example\n * type Result = ITSStringLength<'hello'>; // 5\n * type Result2 = ITSStringLength<''>; // 0\n */\n// export type ITSStringLength<S extends string> = never;\n\n// 保留原始實現作為參考 / Keep original implementation for reference\n// export type ITSStringLength<S extends string, Counter extends any[] = []> = \n// \tS extends `${string}${infer Rest}` \n// \t\t? ITSStringLength<Rest, [...Counter, any]>\n// \t\t: Counter['length'];\n\n/**\n * TODO: 字串分割 - 無法實現\n * Split string by separator\n * \n * TypeScript 無法在類型層級進行字串分割操作\n * TypeScript cannot perform string splitting operations at type level\n * \n * @example\n * type Result = ITSSplit<'a,b,c', ','>; // ['a', 'b', 'c']\n * type Result2 = ITSSplit<'hello world', ' '>; // ['hello', 'world']\n */\n// export type ITSSplit<S extends string, Separator extends string> = never;\n\n// 保留原始實現作為參考 / Keep original implementation for reference\n// export type ITSSplit<S extends string, Separator extends string> = \n// \tS extends `${infer First}${Separator}${infer Rest}`\n// \t\t? [First, ...ITSSplit<Rest, Separator>]\n// \t\t: [S];\n\n/**\n * TODO: 字串連接 - 無法實現\n * Join string array with separator\n * \n * TypeScript 無法在類型層級進行陣列連接操作\n * TypeScript cannot perform array joining operations at type level\n * \n * @example\n * type Result = ITSJoin<['a', 'b', 'c'], ','>; // 'a,b,c'\n * type Result2 = ITSJoin<['hello', 'world'], ' '>; // 'hello world'\n */\n// export type ITSJoin<T extends string[], Separator extends string> = never;\n\n// 保留原始實現作為參考 / Keep original implementation for reference\n// export type ITSJoin<T extends string[], Separator extends string> = \n// \tT extends [infer First, ...infer Rest]\n// \t\t? First extends string\n// \t\t\t? Rest extends string[]\n// \t\t\t\t? Rest['length'] extends 0\n// \t\t\t\t\t? First\n// \t\t\t\t\t: `${First}${Separator}${ITSJoin<Rest, Separator>}`\n// \t\t\t\t: never\n// \t\t\t: never\n// \t\t: '';\n\n/**\n * 字串替換\n * Replace substring in string\n * \n * @example\n * type Result = ITSReplace<'hello world', 'world', 'typescript'>; // 'hello typescript'\n * type Result2 = ITSReplace<'abc123', '123', '456'>; // 'abc456'\n */\nexport type ITSReplace<S extends string, Search extends string, Replace extends string> = \n  S extends `${infer Prefix}${Search}${infer Suffix}`\n    ? `${Prefix}${Replace}${Suffix}`\n    : S;\n\n/**\n * 字串是否包含子字串\n * Check if string contains substring\n * \n * @example\n * type Result = ITSIncludes<'hello world', 'world'>; // true\n * type Result2 = ITSIncludes<'hello world', 'typescript'>; // false\n */\nexport type ITSIncludes<S extends string, Search extends string> = \n  S extends `${string}${Search}${string}` ? true : false;\n\n/**\n * 字串是否以指定前綴開始\n * Check if string starts with prefix\n * \n * @example\n * type Result = ITSStartsWith<'hello world', 'hello'>; // true\n * type Result2 = ITSStartsWith<'hello world', 'world'>; // false\n */\nexport type ITSStartsWith<S extends string, Prefix extends string> = \n  S extends `${Prefix}${string}` ? true : false;\n\n/**\n * 字串是否以指定後綴結束\n * Check if string ends with suffix\n * \n * @example\n * type Result = ITSEndsWith<'hello world', 'world'>; // true\n * type Result2 = ITSEndsWith<'hello world', 'hello'>; // false\n */\nexport type ITSEndsWith<S extends string, Suffix extends string> = \n  S extends `${string}${Suffix}` ? true : false;\n"]}

package/lib/index.d.ts

@@ -1,6 +1,8 @@
 export * from './generic';
 export * from './helper';
 export * from './helper/array/readonly';
+export * from './helper/conditional';
+export * from './helper/deep-map';
 export * from './helper/filter';
 export * from './helper/infer';
 export * from './helper/intersection';
@@ -19,6 +21,7 @@ export * from './helper/record/pick-type';
 export * from './helper/string';
 export * from './helper/string/infer';
 export * from './helper/string/literal-string';
+export * from './helper/string/operations';
 export * from './helper/tuple';
 export * from './helper/typeof';
 export * from './internal/filter';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-type",
-  "version": "3.0.2",
+  "version": "3.0.3",
   "description": "TypeScript 類型工具庫：提供豐富的類型操作工具和重新導出的內建類型 / TypeScript type utility library: provides rich type manipulation utilities and re-exported built-in types",
   "keywords": [
     ".d.ts",
@@ -97,5 +97,5 @@
   "peerDependencies": {
     "ts-toolbelt": "^9.6.0"
   },
-  "gitHead": "57f82cba146cfef0d0f3f138e5ec736cd17f040d"
+  "gitHead": "4ef633a04245358fed59633c9d9ceff0607d30d3"
 }