ts-type 2.1.10 → 3.0.1

package/CHANGELOG.md

@@ -3,6 +3,45 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+## [3.0.1](https://github.com/bluelovers/ws-ts-type/compare/ts-type@2.1.10...ts-type@3.0.1) (2022-10-10)
+
+
+### BREAKING CHANGES
+
+* remove `unpacked` , `bluebird`
+* .
+
+
+
+### ✨　Features
+
+* `ITSStringInferToType` ([cbc1788](https://github.com/bluelovers/ws-ts-type/commit/cbc1788d087a320d2dd837c42cd353d3a43a34f3))
+* ITSPickOne ([4f056cd](https://github.com/bluelovers/ws-ts-type/commit/4f056cdf4078ac06adea3c82bd000229714039d2))
+* remove `unpacked` , `bluebird` ([52247d9](https://github.com/bluelovers/ws-ts-type/commit/52247d98ca482f5d0dfe879d3c6d69936dcfa195))
+
+
+### 📦　Code Refactoring
+
+* . ([b656466](https://github.com/bluelovers/ws-ts-type/commit/b656466b216e331293acb9c77b36054cb0bd0c2b))
+
+
+### 🛠　Build System
+
+* update typescript ([eb59d89](https://github.com/bluelovers/ws-ts-type/commit/eb59d897c2888c7a45406ffcad4b9033608b0b66))
+
+
+### 📌　Dependencies
+
+* update deps ([ab5f3e4](https://github.com/bluelovers/ws-ts-type/commit/ab5f3e48da1f10ddd4445ba6dda9a0a68c5f656f))
+
+
+### 🔖　Miscellaneous
+
+* . ([6588a93](https://github.com/bluelovers/ws-ts-type/commit/6588a932156f6e44e746b3ae2452336a04833153))
+* . ([4eddd02](https://github.com/bluelovers/ws-ts-type/commit/4eddd023316693edd41fda4e2c6338bc507775a6))
+
+
+
 ## [2.1.10](https://github.com/bluelovers/ws-ts-type/compare/ts-type@2.1.9...ts-type@2.1.10) (2022-08-10)
 
 

package/index.js

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

package/lib/_build-in.d.ts

@@ -2,16 +2,17 @@
  * re-export build-in type
  * for some time ide is stupid can't found types
  */
-export declare type ITSParameters<T extends (...args: any[]) => any> = Parameters<T>;
-export declare type ITSConstructorParameters<T extends new (...args: any[]) => any> = ConstructorParameters<T>;
-export declare type ITSPartial<T> = Partial<T>;
-export declare type ITSPick<T, K extends keyof T> = Pick<T, K>;
-export declare type ITSInstanceType<T extends new (...args: any[]) => any> = InstanceType<T>;
-export declare type ITSClassDecorator = <TFunction extends Function>(target: TFunction) => TFunction | void;
-export declare type ITSPropertyDecorator = (target: object, propertyKey: string | symbol) => void;
-export declare type ITSMethodDecorator = <T>(target: object, propertyKey: string | symbol, descriptor: TypedPropertyDescriptor<T>) => TypedPropertyDescriptor<T> | void;
-export declare type ITSParameterDecorator = (target: object, propertyKey: string | symbol, parameterIndex: number) => void;
+export type ITSParameters<T extends (...args: any[]) => any> = Parameters<T>;
+export type ITSConstructorParameters<T extends new (...args: any[]) => any> = ConstructorParameters<T>;
+export type ITSPartial<T> = Partial<T>;
+export type ITSPick<T, K extends keyof T = keyof T> = Pick<T, K>;
+export type ITSInstanceType<T extends new (...args: any[]) => any> = InstanceType<T>;
+export type ITSClassDecorator = <TFunction extends Function>(target: TFunction) => TFunction | void;
+export type ITSPropertyDecorator = (target: object, propertyKey: string | symbol) => void;
+export type ITSMethodDecorator = <T>(target: object, propertyKey: string | symbol, descriptor: TypedPropertyDescriptor<T>) => TypedPropertyDescriptor<T> | void;
+export type ITSParameterDecorator = (target: object, propertyKey: string | symbol, parameterIndex: number) => void;
 /**
  * Exclude null and undefined from T
+ * @see https://devblogs.microsoft.com/typescript/announcing-typescript-4-8/#improved-intersection-reduction-union-compatibility-and-narrowing
  */
-export declare type ITSNonNullable<T> = T extends null | undefined ? never : T;
+export type ITSNonNullable<T> = NonNullable<T>;

package/lib/_build-in.js.map

@@ -1 +1 @@
-{"version":3,"file":"_build-in.js","sourceRoot":"","sources":["_build-in.ts"],"names":[],"mappings":";AAAA;;;GAGG","sourcesContent":["/**\n * re-export build-in type\n * for some time ide is stupid can't found types\n */\n\nexport type ITSParameters<T extends (...args: any[]) => any> = Parameters<T>\nexport type ITSConstructorParameters<T extends new (...args: any[]) => any> = ConstructorParameters<T>\nexport type ITSPartial<T> = Partial<T>\nexport type ITSPick<T, K extends keyof T> = Pick<T, K>\nexport type ITSInstanceType<T extends new (...args: any[]) => any> = InstanceType<T>\n\n\nexport type ITSClassDecorator = <TFunction extends Function>(target: TFunction) => TFunction | void;\nexport type ITSPropertyDecorator = (target: object, propertyKey: string | symbol) => void;\nexport type ITSMethodDecorator = <T>(target: object, propertyKey: string | symbol, descriptor: TypedPropertyDescriptor<T>) => TypedPropertyDescriptor<T> | void;\nexport type ITSParameterDecorator = (target: object, propertyKey: string | symbol, parameterIndex: number) => void;\n\n/**\n * Exclude null and undefined from T\n */\nexport type ITSNonNullable<T> = T extends null | undefined ? never : T;\n"]}
+{"version":3,"file":"_build-in.js","sourceRoot":"","sources":["_build-in.ts"],"names":[],"mappings":";AAAA;;;GAGG","sourcesContent":["/**\n * re-export build-in type\n * for some time ide is stupid can't found types\n */\n\nexport type ITSParameters<T extends (...args: any[]) => any> = Parameters<T>\nexport type ITSConstructorParameters<T extends new (...args: any[]) => any> = ConstructorParameters<T>\nexport type ITSPartial<T> = Partial<T>\nexport type ITSPick<T, K extends keyof T = keyof T> = Pick<T, K>\nexport type ITSInstanceType<T extends new (...args: any[]) => any> = InstanceType<T>\n\n\nexport type ITSClassDecorator = <TFunction extends Function>(target: TFunction) => TFunction | void;\nexport type ITSPropertyDecorator = (target: object, propertyKey: string | symbol) => void;\nexport type ITSMethodDecorator = <T>(target: object, propertyKey: string | symbol, descriptor: TypedPropertyDescriptor<T>) => TypedPropertyDescriptor<T> | void;\nexport type ITSParameterDecorator = (target: object, propertyKey: string | symbol, parameterIndex: number) => void;\n\n/**\n * Exclude null and undefined from T\n * @see https://devblogs.microsoft.com/typescript/announcing-typescript-4-8/#improved-intersection-reduction-union-compatibility-and-narrowing\n */\nexport type ITSNonNullable<T> = NonNullable<T>;\n"]}

package/lib/generic.d.ts

@@ -1,4 +1,4 @@
-export declare type ITSTypeFunction<T> = (...args: any[]) => T;
+export type ITSTypeFunction<T> = (...args: any[]) => T;
 export interface ITSMapLike<K, V> {
     get(key: K): V | undefined;
     has(key: K): boolean;
@@ -9,7 +9,7 @@ export interface ITSSetLike<V> {
 /**
  * @see bluebird
  */
-export declare type ITSResolvable<R> = R | PromiseLike<R>;
+export type ITSResolvable<R> = R | PromiseLike<R>;
 export interface ITSArrayLikeWriteable<T> {
     readonly length: number;
     [n: number]: T;

package/lib/helper/array/readonly.d.ts

@@ -1,3 +1,3 @@
 import { ITSArrayListMaybeReadonly } from '../../type/base';
-export declare type ITSToReadonlyArray<T extends ITSArrayListMaybeReadonly<any>> = T extends [...infer R] | readonly [...infer R] ? readonly [...R] : never;
-export declare type ITSToWriteableArray<T extends ITSArrayListMaybeReadonly<any>> = T extends [...infer R] | readonly [...infer R] ? [...R] : never;
+export type ITSToReadonlyArray<T extends ITSArrayListMaybeReadonly<any>> = T extends [...infer R] | readonly [...infer R] ? readonly [...R] : never;
+export type ITSToWriteableArray<T extends ITSArrayListMaybeReadonly<any>> = T extends [...infer R] | readonly [...infer R] ? [...R] : never;

package/lib/helper/filter.d.ts

@@ -4,30 +4,30 @@
 /**
  * Exclude from T those types that are assignable to U, and replace to R
  */
-export declare type ITSExclude2<T, U, R = T> = T extends U ? never : R;
+export type ITSExclude2<T, U, R = T> = T extends U ? never : R;
 /**
  * Extract from T those types that are assignable to U, and replace to R
  */
-export declare type ITSExtract2<T, U, R = T> = T extends U ? R : never;
-export declare type ITSExtractKeyof<T, U> = Extract<keyof T, U>;
-export declare type ITSExtractArrayLike<A, K extends Extract<keyof A, number> = Extract<keyof A, number>> = {
+export type ITSExtract2<T, U, R = T> = T extends U ? R : never;
+export type ITSExtractKeyof<T, U> = Extract<keyof T, U>;
+export type ITSExtractArrayLike<A, K extends Extract<keyof A, number> = Extract<keyof A, number>> = {
     [Index in K]: A[Index];
 };
-export declare type ITSKeyofArrayLike<A> = keyof ITSExtractArrayLike<A>;
-export declare type ITSNullable<T> = T extends null | undefined ? T : never;
+export type ITSKeyofArrayLike<A> = keyof ITSExtractArrayLike<A>;
+export type ITSNullable<T> = T extends null | undefined ? T : never;
 /**
  * 找出 T 當中 與 U 相同的 key
  */
-export declare type ITSKeyofSame<T, U> = Extract<keyof T, keyof U>;
+export type ITSKeyofSame<T, U> = Extract<keyof T, keyof U>;
 /**
  * 找出 T 當中 與 U 不同的 key
  */
-export declare type ITSKeyofDiff<T, U> = Exclude<keyof T, ITSKeyofSame<T, U>>;
+export type ITSKeyofDiff<T, U> = Exclude<keyof T, ITSKeyofSame<T, U>>;
 /**
  * 找出 T 與 U 當中同時存在的 key
  */
-export declare type ITSKeyofBothSame<T, U> = ITSKeyofSame<T, U> | ITSKeyofSame<U, T>;
+export type ITSKeyofBothSame<T, U> = ITSKeyofSame<T, U> | ITSKeyofSame<U, T>;
 /**
  * 去除 T 與 U 當中同時存在的 key
  */
-export declare type ITSKeyofBothDiff<T, U> = ITSKeyofDiff<T, U> | ITSKeyofDiff<U, T>;
+export type ITSKeyofBothDiff<T, U> = ITSKeyofDiff<T, U> | ITSKeyofDiff<U, T>;

package/lib/helper/infer.d.ts

@@ -1,9 +1,9 @@
 /**
  * Created by user on 2019/6/12.
  */
-export declare type ITSValueOfMember<T, K extends keyof T> = T extends {
+export type ITSValueOfMember<T, K extends keyof T> = T extends {
     [p in K]: infer U;
 } ? U : never;
-export declare type ITSLengthOf<T extends {
+export type ITSLengthOf<T extends {
     length: number;
 }> = ITSValueOfMember<T, 'length'>;

package/lib/helper/intersection.d.ts

@@ -6,4 +6,4 @@
  * type SynthesizedFunctionIntersection = ITSUnionToIntersection<FunctionUnion>
  * // type SynthesizedFunctionIntersection = (() => void) & ((p: string) => void)
  */
-export declare type ITSUnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
+export type ITSUnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;

package/lib/helper/key-value.d.ts

@@ -6,8 +6,12 @@
  */
 import { ITSMapLike } from '../generic';
 import { ITSIteratorLazy } from './typeof';
-export declare type ITSValueOf<T> = T[keyof T];
-export declare type ITSKeyOf<T> = keyof T;
-export declare type ITSPickValueOf<T, K extends keyof T> = ITSValueOf<Pick<T, K>>;
-export declare type ITSValueOfIterator<T extends ITSIteratorLazy<any>> = (T extends Iterator<infer U> ? U : T extends IteratorResult<infer U> ? U : any)[];
-export declare type ITSValueOfMap<T extends ITSMapLike<any, any>> = T extends ITSMapLike<any, infer U> ? U[] : any[];
+import { ITSArrayListMaybeReadonly } from '../type/base';
+export type ITSValueOf<T extends Record<any, any>> = T[keyof T];
+export type { ITSValueOf as ITSValueOfRecord };
+export type ITSKeyOf<T> = keyof T;
+export type ITSPickValueOf<T, K extends keyof T> = ITSValueOf<Pick<T, K>>;
+export type ITSValueOfIterator<T extends ITSIteratorLazy<any>> = (T extends Iterator<infer U> ? U : T extends IteratorResult<infer U> ? U : any)[];
+export type ITSValueOfMap<T extends ITSMapLike<any, any>> = T extends ITSMapLike<any, infer U> ? U[] : any[];
+export type ITSValueOfArray<T extends ITSArrayListMaybeReadonly<any>> = T extends readonly (infer U)[] ? U : T extends (infer U)[] ? U : never;
+export type ITSValueOfArrayLike<T extends ITSArrayListMaybeReadonly<any> | ArrayLike<any>> = T extends ITSArrayListMaybeReadonly<T> ? ITSValueOfArray<T> : T extends ArrayLike<infer U> ? U : never;

package/lib/helper/key-value.js.map

@@ -1 +1 @@
-{"version":3,"file":"key-value.js","sourceRoot":"","sources":["key-value.ts"],"names":[],"mappings":";AAAA;;GAEG","sourcesContent":["/**\n * Created by user on 2019/6/11.\n */\n\n/**\n * https://stackoverflow.com/questions/49285864/is-there-a-valueof-similar-to-keyof-in-typescript\n */\nimport { ITSMapLike } from '../generic';\nimport { ITSIteratorLazy } from './typeof';\n\nexport type ITSValueOf<T> = T[keyof T];\nexport type ITSKeyOf<T> = keyof T;\n\nexport type ITSPickValueOf<T, K extends keyof T> = ITSValueOf<Pick<T, K>>;\n\nexport type ITSValueOfIterator<T extends ITSIteratorLazy<any>> =\n\t(T extends Iterator<infer U> ? U :\n\t\tT extends IteratorResult<infer U> ? U :\n\t\t\tany)[]\n\t;\n\nexport type ITSValueOfMap<T extends ITSMapLike<any, any>> =\n\tT extends ITSMapLike<any, infer U> ? U[] :\n\t\tany[]\n\t;\n\n\n"]}
+{"version":3,"file":"key-value.js","sourceRoot":"","sources":["key-value.ts"],"names":[],"mappings":";AAAA;;GAEG","sourcesContent":["/**\n * Created by user on 2019/6/11.\n */\n\n/**\n * https://stackoverflow.com/questions/49285864/is-there-a-valueof-similar-to-keyof-in-typescript\n */\nimport { ITSMapLike } from '../generic';\nimport { ITSIteratorLazy } from './typeof';\nimport { ITSArrayListMaybeReadonly } from '../type/base';\n\nexport type ITSValueOf<T extends Record<any, any>> = T[keyof T];\n\nexport type { ITSValueOf as ITSValueOfRecord };\n\nexport type ITSKeyOf<T> = keyof T;\n\nexport type ITSPickValueOf<T, K extends keyof T> = ITSValueOf<Pick<T, K>>;\n\nexport type ITSValueOfIterator<T extends ITSIteratorLazy<any>> =\n\t(T extends Iterator<infer U> ? U :\n\t\tT extends IteratorResult<infer U> ? U :\n\t\t\tany)[]\n\t;\n\nexport type ITSValueOfMap<T extends ITSMapLike<any, any>> =\n\tT extends ITSMapLike<any, infer U> ? U[] :\n\t\tany[]\n\t;\n\nexport type ITSValueOfArray<T extends ITSArrayListMaybeReadonly<any>> =\n\tT extends readonly (infer U)[]\n\t\t? U : T extends (infer U)[]\n\t\t\t\t? U : never\n\t;\n\nexport type ITSValueOfArrayLike<T extends ITSArrayListMaybeReadonly<any> | ArrayLike<any>> =\n\tT extends ITSArrayListMaybeReadonly<T>\n\t\t? ITSValueOfArray<T> : T extends ArrayLike<infer U>\n\t\t\t? U : never\n\t;\n"]}

package/lib/helper/number.d.ts

@@ -1,5 +1,5 @@
 import { ITSToStringLiteral } from './string';
-export declare type ITSNumberString<N extends number | bigint = number> = ITSToStringLiteral<N>;
-export declare type ITSUnpackNumberString<S extends string, R = never> = S extends ITSNumberString<infer N> ? N : R;
-export declare type ITSNumberValue = number | string;
-export declare type ITSNumberValue2 = number | ITSNumberString;
+export type ITSNumberString<N extends number | bigint = number> = ITSToStringLiteral<N>;
+export type ITSUnpackNumberString<S extends string, R = never> = S extends ITSNumberString<infer N> ? N : R;
+export type ITSNumberValue = number | string;
+export type ITSNumberValue2 = number | ITSNumberString;

package/lib/helper/overwrite.d.ts

@@ -1,4 +1,4 @@
 /**
  * Created by user on 2019/6/11.
  */
-export declare type ITSOverwriteThisFunction<T extends any, F extends (...args: any[]) => any> = (this: T, ...args: Parameters<F>) => ReturnType<F>;
+export type ITSOverwriteThisFunction<T extends any, F extends (...args: any[]) => any> = (this: T, ...args: Parameters<F>) => ReturnType<F>;

package/lib/helper/promise.d.ts

@@ -0,0 +1,3 @@
+import { ITSAnyFunction } from '../type/base';
+export type ITSAwaitedLazy<T> = T extends PromiseLike<infer U> ? Awaited<U> : T;
+export type ITSAwaitedReturnType<T extends ITSAnyFunction> = ITSAwaitedLazy<ReturnType<T>>;

package/lib/helper/{unpacked.js → promise.js}

@@ -1,3 +1,3 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=unpacked.js.map
+//# sourceMappingURL=promise.js.map

package/lib/helper/promise.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promise.js","sourceRoot":"","sources":["promise.ts"],"names":[],"mappings":"","sourcesContent":["import { ITSAnyFunction } from '../type/base';\n\nexport type ITSAwaitedLazy<T> = T extends PromiseLike<infer U> ? Awaited<U> : T;\n\nexport type ITSAwaitedReturnType<T extends ITSAnyFunction> = ITSAwaitedLazy<ReturnType<T>>\n"]}

package/lib/helper/readonly.d.ts

@@ -1,27 +1,27 @@
+import { ITSValueOfArray } from './key-value';
 /**
  * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html
  *
  * Add readonly and ?
  */
-import { ITSUnpackedArrayLike } from './unpacked';
-export declare type ITSReadonlyPartial<T> = {
+export type ITSReadonlyPartial<T> = {
     readonly [P in keyof T]?: T[P];
 };
-export declare type ITSWriteable<T> = ITSWriteablePick<T, keyof T>;
-export declare type ITSWriteablePick<T, K extends keyof T = keyof T> = {
+export type ITSWriteable<T> = ITSWriteablePick<T, keyof T>;
+export type ITSWriteablePick<T, K extends keyof T = keyof T> = {
     -readonly [P in K]: T[P];
 };
-export declare type ITSReadonlyPick<T, K extends keyof T = keyof T> = {
+export type ITSReadonlyPick<T, K extends keyof T = keyof T> = {
     readonly [P in K]: T[P];
 };
-export declare type ITSWriteableWith<T, K extends keyof T = keyof T> = Omit<T, K> & ITSWriteablePick<T, K>;
-export declare type ITSReadonlyWith<T, K extends keyof T = keyof T> = Omit<T, K> & ITSReadonlyPick<T, K>;
-export declare type ITSReadonlyToWriteableArray<T extends readonly any[]> = Omit<T, keyof any[]> & ITSUnpackedArrayLike<T>[] & {
+export type ITSWriteableWith<T, K extends keyof T = keyof T> = Omit<T, K> & ITSWriteablePick<T, K>;
+export type ITSReadonlyWith<T, K extends keyof T = keyof T> = Omit<T, K> & ITSReadonlyPick<T, K>;
+export type ITSReadonlyToWriteableArray<T extends readonly any[]> = Omit<T, keyof any[]> & ITSValueOfArray<T>[] & {
     -readonly [P in number | 'length']: T[P];
 };
-export declare type ITSWriteableDeep<T, K extends keyof T = keyof T> = T extends Record<any, any> ? {
+export type ITSWriteableDeep<T, K extends keyof T = keyof T> = T extends Record<any, any> ? {
     -readonly [P in K]: ITSWriteableDeep<T[P]>;
 } : T;
-export declare type ITSReadonlyDeep<T, K extends keyof T = keyof T> = T extends Record<any, any> ? {
+export type ITSReadonlyDeep<T, K extends keyof T = keyof T> = T extends Record<any, any> ? {
     readonly [P in K]: ITSReadonlyDeep<T[P]>;
 } : T;

package/lib/helper/readonly.js.map

@@ -1 +1 @@
-{"version":3,"file":"readonly.js","sourceRoot":"","sources":["readonly.ts"],"names":[],"mappings":"","sourcesContent":["/**\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html\n *\n * Add readonly and ?\n */\nimport { ITSUnpackedArrayLike } from './unpacked';\n\nexport type ITSReadonlyPartial<T> = {\n\treadonly [P in keyof T]?: T[P]\n};\n\nexport type ITSWriteable<T> = ITSWriteablePick<T, keyof T>;\n\nexport type ITSWriteablePick<T, K extends keyof T = keyof T> = {\n\t-readonly [P in K]: T[P];\n};\n\nexport type ITSReadonlyPick<T, K extends keyof T = keyof T> = {\n\treadonly [P in K]: T[P];\n};\n\nexport type ITSWriteableWith<T, K extends keyof T = keyof T> = Omit<T, K> & ITSWriteablePick<T, K>;\n\nexport type ITSReadonlyWith<T, K extends keyof T = keyof T> = Omit<T, K> & ITSReadonlyPick<T, K>;\n\nexport type ITSReadonlyToWriteableArray<T extends readonly any[]> = Omit<T, keyof any[]> & ITSUnpackedArrayLike<T>[] & {\n\t-readonly [P in number | 'length']: T[P]\n};\n\nexport type ITSWriteableDeep<T, K extends keyof T = keyof T> = T extends Record<any, any> ? {\n\t-readonly [P in K]: ITSWriteableDeep<T[P]>;\n} : T;\n\nexport type ITSReadonlyDeep<T, K extends keyof T = keyof T> =\n\tT extends Record<any, any> ? {\n\treadonly [P in K]: ITSReadonlyDeep<T[P]>;\n} : T;\n"]}
+{"version":3,"file":"readonly.js","sourceRoot":"","sources":["readonly.ts"],"names":[],"mappings":"","sourcesContent":["\nimport { ITSValueOfArray } from './key-value';\n\n/**\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html\n *\n * Add readonly and ?\n */\nexport type ITSReadonlyPartial<T> = {\n\treadonly [P in keyof T]?: T[P]\n};\n\nexport type ITSWriteable<T> = ITSWriteablePick<T, keyof T>;\n\nexport type ITSWriteablePick<T, K extends keyof T = keyof T> = {\n\t-readonly [P in K]: T[P];\n};\n\nexport type ITSReadonlyPick<T, K extends keyof T = keyof T> = {\n\treadonly [P in K]: T[P];\n};\n\nexport type ITSWriteableWith<T, K extends keyof T = keyof T> = Omit<T, K> & ITSWriteablePick<T, K>;\n\nexport type ITSReadonlyWith<T, K extends keyof T = keyof T> = Omit<T, K> & ITSReadonlyPick<T, K>;\n\nexport type ITSReadonlyToWriteableArray<T extends readonly any[]> = Omit<T, keyof any[]> & ITSValueOfArray<T>[] & {\n\t-readonly [P in number | 'length']: T[P]\n};\n\nexport type ITSWriteableDeep<T, K extends keyof T = keyof T> = T extends Record<any, any> ? {\n\t-readonly [P in K]: ITSWriteableDeep<T[P]>;\n} : T;\n\nexport type ITSReadonlyDeep<T, K extends keyof T = keyof T> =\n\tT extends Record<any, any> ? {\n\treadonly [P in K]: ITSReadonlyDeep<T[P]>;\n} : T;\n"]}

package/lib/helper/record/enum.d.ts

@@ -1,4 +1,8 @@
 import { ITSEnumLike } from '../../type/record/enum';
-import { ITSValueOfRecord } from '../../helper';
-export declare type ITSExcludeEnumValue<Enum extends ITSEnumLike, U extends ITSValueOfRecord<Enum>> = Exclude<ITSValueOfRecord<Enum>, U>;
-export declare type ITSExtractEnumValue<Enum extends ITSEnumLike, U extends ITSValueOfRecord<Enum>> = Extract<ITSValueOfRecord<Enum>, U>;
+import { ITSValueOf } from '../key-value';
+import { ITSStringInferToNumber } from '../string/infer';
+import { ITSToStringLiteral } from '../string';
+export type ITSExcludeEnumValue<Enum extends ITSEnumLike, U extends ITSValueOf<Enum>> = Exclude<ITSValueOf<Enum>, U>;
+export type ITSExtractEnumValue<Enum extends ITSEnumLike, U extends ITSValueOf<Enum>> = Extract<ITSValueOf<Enum>, U>;
+export type ITSNumberEnumToNumber<T extends number> = ITSStringInferToNumber<ITSToStringLiteral<Extract<T, number>>>;
+export type ITSNumberEnumAndNumber<T extends number> = Extract<T, number> | ITSNumberEnumToNumber<T>;

package/lib/helper/record/enum.js.map

@@ -1 +1 @@
-{"version":3,"file":"enum.js","sourceRoot":"","sources":["enum.ts"],"names":[],"mappings":"","sourcesContent":["import { ITSEnumLike } from '../../type/record/enum';\nimport { ITSValueOfRecord } from '../../helper';\n\nexport type ITSExcludeEnumValue<Enum extends ITSEnumLike, U extends ITSValueOfRecord<Enum>> = Exclude<ITSValueOfRecord<Enum>, U>;\n\nexport type ITSExtractEnumValue<Enum extends ITSEnumLike, U extends ITSValueOfRecord<Enum>> = Extract<ITSValueOfRecord<Enum>, U>;\n"]}
+{"version":3,"file":"enum.js","sourceRoot":"","sources":["enum.ts"],"names":[],"mappings":"","sourcesContent":["import { ITSEnumLike, ITSNumberEnumLike } from '../../type/record/enum';\nimport { ITSValueOf } from '../key-value';\nimport { ITSStringInferToNumber } from '../string/infer';\nimport { ITSToStringLiteral } from '../string';\n\nexport type ITSExcludeEnumValue<Enum extends ITSEnumLike, U extends ITSValueOf<Enum>> = Exclude<ITSValueOf<Enum>, U>;\n\nexport type ITSExtractEnumValue<Enum extends ITSEnumLike, U extends ITSValueOf<Enum>> = Extract<ITSValueOf<Enum>, U>;\n\nexport type ITSNumberEnumToNumber<T extends number> = ITSStringInferToNumber<ITSToStringLiteral<Extract<T, number>>>\n\nexport type ITSNumberEnumAndNumber<T extends number> = Extract<T, number> | ITSNumberEnumToNumber<T>\n"]}

package/lib/helper/record/member.d.ts

@@ -4,5 +4,5 @@ import { ITSExtractKeyof } from '../filter';
 /**
  * filter all member is function and key type is string or symbol
  */
-export declare type ITSMemberMethods<T> = ITSExtractRecord<T, Function, Extract<keyof T, ITSPropertyKey>>;
-export declare type ITSKeyofMemberMethods<T> = ITSExtractKeyof<ITSMemberMethods<T>, ITSPropertyKey>;
+export type ITSMemberMethods<T> = ITSExtractRecord<T, Function, Extract<keyof T, ITSPropertyKey>>;
+export type ITSKeyofMemberMethods<T> = ITSExtractKeyof<ITSMemberMethods<T>, ITSPropertyKey>;

package/lib/helper/record/omit-index.d.ts

@@ -3,7 +3,12 @@
  *
  * @see https://stackoverflow.com/a/51956054/4563339
  */
-export declare type ITSOmitIndexSignatures<T> = {
+export type ITSOmitIndexSignatures<T extends Record<any, any>> = {
     [K in keyof T as string extends K ? never : number extends K ? never : K]: T[K];
 };
-export declare type ITSKnownKeys<T> = keyof ITSOmitIndexSignatures<T>;
+export type ITSKnownKeys<T extends Record<any, any>> = keyof ITSOmitIndexSignatures<T>;
+export type ITSKnownKeys2<T> = {
+    [K in keyof T]: string extends K ? never : number extends K ? never : K;
+} extends {
+    [_ in keyof T]: infer U;
+} ? U : never;

package/lib/helper/record/omit-index.js.map

@@ -1 +1 @@
-{"version":3,"file":"omit-index.js","sourceRoot":"","sources":["omit-index.ts"],"names":[],"mappings":";AAAA,EAAE","sourcesContent":["//\n\n/**\n * remove index signature using mapped types\n *\n * @see https://stackoverflow.com/a/51956054/4563339\n */\nexport type ITSOmitIndexSignatures<T> = {\n\t[K in keyof T as string extends K ? never : number extends K ? never : K]: T[K]\n};\n\nexport type ITSKnownKeys<T> = keyof ITSOmitIndexSignatures<T>;\n"]}
+{"version":3,"file":"omit-index.js","sourceRoot":"","sources":["omit-index.ts"],"names":[],"mappings":";AAAA,EAAE","sourcesContent":["//\n\n/**\n * remove index signature using mapped types\n *\n * @see https://stackoverflow.com/a/51956054/4563339\n */\nexport type ITSOmitIndexSignatures<T extends Record<any, any>> = {\n\t[K in keyof T as string extends K ? never : number extends K ? never : K]: T[K]\n};\n\nexport type ITSKnownKeys<T extends Record<any, any>> = keyof ITSOmitIndexSignatures<T>;\n\nexport type ITSKnownKeys2<T> = {\n\t[K in keyof T]: string extends K ? never : number extends K ? never : K\n} extends { [_ in keyof T]: infer U } ? U : never;\n"]}

package/lib/helper/record/partial.d.ts

@@ -1,4 +1,4 @@
 /**
  * try check key is partial of record
  */
-export declare type ITSKeyIsPartialOfRecord<T, K extends keyof T> = Omit<T, K> extends T ? K : never;
+export type ITSKeyIsPartialOfRecord<T, K extends keyof T> = Omit<T, K> extends T ? K : never;

package/lib/helper/record/pick-one.d.ts

@@ -0,0 +1,9 @@
+import { ITSPartialRecord } from '../../type/record/partial';
+/**
+ * 在项目开发中，很多时候会遇到一种场景，需要定义一个对象的类型，此类型必须包含某n个字段中的其中一种，且只选一个。
+ *
+ * @see https://juejin.cn/post/7150316226009382919#heading-2
+ */
+export type ITSPickOne<T, Keys extends keyof T = keyof T> = {
+    [K in Keys]: Record<K, T[K]> & ITSPartialRecord<Exclude<keyof T, K>, void>;
+}[Keys];

package/lib/{type/bluebird.js → helper/record/pick-one.js}

@@ -1,6 +1,3 @@
 "use strict";
-/**
- * Created by user on 2019/5/17.
- */
 Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=bluebird.js.map
+//# sourceMappingURL=pick-one.js.map

package/lib/helper/record/pick-one.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pick-one.js","sourceRoot":"","sources":["pick-one.ts"],"names":[],"mappings":"","sourcesContent":["import { ITSPartialRecord } from '../../type/record/partial';\n\n/**\n * 在项目开发中，很多时候会遇到一种场景，需要定义一个对象的类型，此类型必须包含某n个字段中的其中一种，且只选一个。\n *\n * @see https://juejin.cn/post/7150316226009382919#heading-2\n */\nexport type ITSPickOne<T, Keys extends keyof T = keyof T> = {\n\t[K in Keys]: Record<K, T[K]> & ITSPartialRecord<Exclude<keyof T, K>, void>\n}[Keys]\n"]}

package/lib/helper/record/pick-type.d.ts

@@ -5,12 +5,12 @@
 import { ITSNullPrimitive } from '../../type/base';
 import { ITSValueOf } from '../key-value';
 import { ITSExclude2, ITSExtract2 } from '../filter';
-export declare type ITSKeyofByExtractType<T extends Record<keyof any, any>, U, K extends keyof T = keyof T> = K extends keyof T ? T[K] extends U ? K : never : never;
+export type ITSKeyofByExtractType<T extends Record<keyof any, any>, U, K extends keyof T = keyof T> = K extends keyof T ? T[K] extends U ? K : never : never;
 /**
  * @see https://github.com/type-challenges/type-challenges/blob/master/questions/2595-medium-pickbytype/README.md
  * @see https://github.com/type-challenges/type-challenges/issues/3814
  */
-export declare type ITSKeyofByExcludeType<T extends Record<keyof any, any>, U, K extends keyof T = keyof T> = K extends keyof T ? T[K] extends U ? never : K : never;
+export type ITSKeyofByExcludeType<T extends Record<keyof any, any>, U, K extends keyof T = keyof T> = K extends keyof T ? T[K] extends U ? never : K : never;
 /**
  * From `T`, pick a set of properties whose type are assignable to `U`.
  *
@@ -25,7 +25,7 @@ type OmitBoolean = ITSPickByType<{
  * @see https://github.com/type-challenges/type-challenges/blob/master/questions/2595-medium-pickbytype/README.md
  * @see https://github.com/type-challenges/type-challenges/issues/3814
  */
-export declare type ITSPickByType<T extends Record<keyof any, any>, U, K extends keyof T = keyof T> = {
+export type ITSPickByType<T extends Record<keyof any, any>, U, K extends keyof T = keyof T> = {
     [P in ITSKeyofByExtractType<T, U, K>]: T[P];
 };
 /**
@@ -42,42 +42,42 @@ type OmitBoolean = ITSOmitByType<{
  * @see https://github.com/type-challenges/type-challenges/blob/master/questions/2595-medium-pickbytype/README.md
  * @see https://github.com/type-challenges/type-challenges/issues/3814
  */
-export declare type ITSOmitByType<T extends Record<keyof any, any>, U, K extends keyof T = keyof T> = {
+export type ITSOmitByType<T extends Record<keyof any, any>, U, K extends keyof T = keyof T> = {
     [P in ITSKeyofByExcludeType<T, U, K>]: T[P];
 };
 /**
  * @internal
  */
-export declare type ITSRecordExcludeToKey<Base, Type> = {
+export type ITSRecordExcludeToKey<Base, Type> = {
     [Key in keyof Base]: ITSExclude2<Base[Key], Type, Key>;
 };
 /**
  * @internal
  */
-export declare type ITSRecordExtractToKey<Base, Type> = {
+export type ITSRecordExtractToKey<Base, Type> = {
     [Key in keyof Base]: ITSExtract2<Base[Key], Type, Key>;
 };
-export declare type ITSKeyOfRecordExcludeToKey<Base, Type> = ITSValueOf<ITSRecordExcludeToKey<Base, Type>>;
-export declare type ITSKeyOfRecordExtractToKey<Base, Type> = ITSValueOf<ITSRecordExtractToKey<Base, Type>>;
-export declare type ITSPickRecordType<Base, Type> = Pick<Base, ITSKeyOfRecordExtractToKey<Base, Type>>;
-export declare type ITSOmitRecordType<Base, Type> = Pick<Base, ITSKeyOfRecordExcludeToKey<Base, Type>>;
+export type ITSKeyOfRecordExcludeToKey<Base, Type> = ITSValueOf<ITSRecordExcludeToKey<Base, Type>>;
+export type ITSKeyOfRecordExtractToKey<Base, Type> = ITSValueOf<ITSRecordExtractToKey<Base, Type>>;
+export type ITSPickRecordType<Base, Type> = Pick<Base, ITSKeyOfRecordExtractToKey<Base, Type>>;
+export type ITSOmitRecordType<Base, Type> = Pick<Base, ITSKeyOfRecordExcludeToKey<Base, Type>>;
 /**
  * @deprecated use `ITSPickByType<M, T, K>`
  */
-export declare type ITSExtractRecord<M, T, K extends keyof M = keyof M> = ITSPickByType<M, T, K>;
-export declare type ITSExtractRecordNoNull<M, T, K extends keyof M = keyof M> = {
+export type ITSExtractRecord<M, T, K extends keyof M = keyof M> = ITSPickByType<M, T, K>;
+export type ITSExtractRecordNoNull<M, T, K extends keyof M = keyof M> = {
     [P in K]: NonNullable<M[P]>;
 };
 /**
  * @deprecated use `ITSOmitByType<M, T, K>`
  */
-export declare type ITSExcludeRecord<M, T, K extends keyof M = keyof M> = ITSOmitByType<M, T, K>;
-export declare type ITSExcludeRecordNoNull<M, T, K extends keyof M = keyof M> = ITSOmitByType<M, ITSNullPrimitive, K>;
+export type ITSExcludeRecord<M, T, K extends keyof M = keyof M> = ITSOmitByType<M, T, K>;
+export type ITSExcludeRecordNoNull<M, T, K extends keyof M = keyof M> = ITSOmitByType<M, ITSNullPrimitive, K>;
 /**
  * @deprecated use `ITSKeyofByExtractType<T, U, K>`
  */
-export declare type ITSExtractKeyofRecord<M, T, K extends keyof M = keyof M> = ITSKeyofByExtractType<M, T, K>;
+export type ITSExtractKeyofRecord<M, T, K extends keyof M = keyof M> = ITSKeyofByExtractType<M, T, K>;
 /**
  * @deprecated use `ITSKeyofByExcludeType<M, T, K>`
  */
-export declare type ITSExcludeKeyofRecord<M, T, K extends keyof M = keyof M> = ITSKeyofByExcludeType<M, T, K>;
+export type ITSExcludeKeyofRecord<M, T, K extends keyof M = keyof M> = ITSKeyofByExcludeType<M, T, K>;

package/lib/helper/record.d.ts

@@ -1,7 +1,7 @@
 /**
  * https://stackoverflow.com/a/55479659/4563339
  */
-export { ITSKeyIsPartialOfRecord } from './record/partial';
+export type { ITSKeyIsPartialOfRecord } from './record/partial';
 /**
  * returns a union of the readonly keys of an Object.
  *
@@ -19,7 +19,7 @@ export { ITSKeyIsPartialOfRecord } from './record/partial';
  * type Keys = ITSKeyOfRecordExtractReadonly<Todo>
  * // expected to be "title" | "description"
  */
-export declare type ITSKeyOfRecordExtractReadonly<T> = {
+export type ITSKeyOfRecordExtractReadonly<T> = {
     [K in keyof T]-?: (<U>() => U extends {
         -readonly [P in K]: T[K];
     } ? 1 : 2) extends (<U>() => U extends {
@@ -27,6 +27,6 @@ export declare type ITSKeyOfRecordExtractReadonly<T> = {
     } ? 1 : 2) ? never : K;
 }[keyof T];
 export type { ITSKeyOfRecordExtractReadonly as ITSGetReadonlyKeys };
-export declare type ITSKeyOfRecordExcludeReadonly<T> = Exclude<keyof T, ITSKeyOfRecordExtractReadonly<T>>;
-export declare type ITSKeyIsReadonlyOfRecord<T, K extends ITSKeyOfRecordExtractReadonly<T>> = Extract<K, ITSKeyOfRecordExtractReadonly<T>>;
-export declare type ITSKeyIsNotReadonlyOfRecord<T, K extends ITSKeyOfRecordExcludeReadonly<T>> = Extract<K, ITSKeyOfRecordExcludeReadonly<T>>;
+export type ITSKeyOfRecordExcludeReadonly<T> = Exclude<keyof T, ITSKeyOfRecordExtractReadonly<T>>;
+export type ITSKeyIsReadonlyOfRecord<T, K extends ITSKeyOfRecordExtractReadonly<T>> = Extract<K, ITSKeyOfRecordExtractReadonly<T>>;
+export type ITSKeyIsNotReadonlyOfRecord<T, K extends ITSKeyOfRecordExcludeReadonly<T>> = Extract<K, ITSKeyOfRecordExcludeReadonly<T>>;

package/lib/helper/record.js.map

@@ -1 +1 @@
-{"version":3,"file":"record.js","sourceRoot":"","sources":["record.ts"],"names":[],"mappings":";AAAA;;GAEG","sourcesContent":["/**\n * https://stackoverflow.com/a/55479659/4563339\n */\n\nexport { ITSKeyIsPartialOfRecord } from './record/partial';\n\n/**\n * returns a union of the readonly keys of an Object.\n *\n * @see https://github.com/type-challenges/type-challenges/blob/master/questions/5-extreme-readonly-keys/README.md\n * @see https://github.com/type-challenges/type-challenges/issues/87\n *\n * @alias ITSGetReadonlyKeys\n *\n * @example\n * interface Todo {\n * readonly title: string\n * readonly description: string\n * completed: boolean\n * }\n * type Keys = ITSKeyOfRecordExtractReadonly<Todo>\n * // expected to be \"title\" | \"description\"\n */\nexport type ITSKeyOfRecordExtractReadonly<T> = {[K in keyof T]-?: (<U>() => U extends {-readonly [P in K]: T[K]} ? 1 : 2) extends (<U>() => U extends {[P in K]: T[K]} ? 1 : 2) ? never : K}[keyof T];\n\nexport type { ITSKeyOfRecordExtractReadonly as ITSGetReadonlyKeys }\n\nexport type ITSKeyOfRecordExcludeReadonly<T> = Exclude<keyof T, ITSKeyOfRecordExtractReadonly<T>>\n\nexport type ITSKeyIsReadonlyOfRecord<T, K extends ITSKeyOfRecordExtractReadonly<T>> = Extract<K, ITSKeyOfRecordExtractReadonly<T>>;\n\nexport type ITSKeyIsNotReadonlyOfRecord<T, K extends ITSKeyOfRecordExcludeReadonly<T>> = Extract<K, ITSKeyOfRecordExcludeReadonly<T>>;\n"]}
+{"version":3,"file":"record.js","sourceRoot":"","sources":["record.ts"],"names":[],"mappings":";AAAA;;GAEG","sourcesContent":["/**\n * https://stackoverflow.com/a/55479659/4563339\n */\n\nexport type { ITSKeyIsPartialOfRecord } from './record/partial';\n\n/**\n * returns a union of the readonly keys of an Object.\n *\n * @see https://github.com/type-challenges/type-challenges/blob/master/questions/5-extreme-readonly-keys/README.md\n * @see https://github.com/type-challenges/type-challenges/issues/87\n *\n * @alias ITSGetReadonlyKeys\n *\n * @example\n * interface Todo {\n * readonly title: string\n * readonly description: string\n * completed: boolean\n * }\n * type Keys = ITSKeyOfRecordExtractReadonly<Todo>\n * // expected to be \"title\" | \"description\"\n */\nexport type ITSKeyOfRecordExtractReadonly<T> = {[K in keyof T]-?: (<U>() => U extends {-readonly [P in K]: T[K]} ? 1 : 2) extends (<U>() => U extends {[P in K]: T[K]} ? 1 : 2) ? never : K}[keyof T];\n\nexport type { ITSKeyOfRecordExtractReadonly as ITSGetReadonlyKeys }\n\nexport type ITSKeyOfRecordExcludeReadonly<T> = Exclude<keyof T, ITSKeyOfRecordExtractReadonly<T>>\n\nexport type ITSKeyIsReadonlyOfRecord<T, K extends ITSKeyOfRecordExtractReadonly<T>> = Extract<K, ITSKeyOfRecordExtractReadonly<T>>;\n\nexport type ITSKeyIsNotReadonlyOfRecord<T, K extends ITSKeyOfRecordExcludeReadonly<T>> = Extract<K, ITSKeyOfRecordExcludeReadonly<T>>;\n"]}

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

@@ -0,0 +1,6 @@
+import { ITSToStringLiteralAllowedType } from '../string';
+export type ITSStringInferToType<Str extends string, Type extends ITSToStringLiteralAllowedType, R = never> = Str extends `${infer U extends Type}` ? U : R;
+export type ITSStringInferToNumber<Str extends string, R = never> = ITSStringInferToType<Str, number, R>;
+export type ITSStringInferToBoolean<Str extends string, R = never> = ITSStringInferToType<Str, boolean, R>;
+export type ITSStringInferToNull<Str extends string, R = never> = ITSStringInferToType<Str, null, R>;
+export type ITSStringInferToUndefined<Str extends string, R = never> = ITSStringInferToType<Str, undefined, R>;

package/lib/helper/string/infer.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=infer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"infer.js","sourceRoot":"","sources":["infer.ts"],"names":[],"mappings":"","sourcesContent":["import { ITSToStringLiteralAllowedType } from '../string';\n\nexport type ITSStringInferToType<Str extends string, Type extends ITSToStringLiteralAllowedType, R = never> =\n\tStr extends `${infer U extends Type}`\n\t\t? U\n\t\t: R;\n\nexport type ITSStringInferToNumber<Str extends string, R = never> = ITSStringInferToType<Str, number, R>\n\nexport type ITSStringInferToBoolean<Str extends string, R = never> = ITSStringInferToType<Str, boolean, R>\n\nexport type ITSStringInferToNull<Str extends string, R = never> = ITSStringInferToType<Str, null, R>\n\nexport type ITSStringInferToUndefined<Str extends string, R = never> = ITSStringInferToType<Str, undefined, R>\n"]}

package/lib/helper/string/literal-string.d.ts

@@ -2,9 +2,9 @@
  * Convert literal string types like 'foo-bar' to 'FooBar'
  * @see yargs
  */
-export declare type ITSPascalCase<S extends string> = string extends S ? string : S extends `${infer T}-${infer U}` ? `${Capitalize<T>}${ITSPascalCase<U>}` : Capitalize<S>;
+export type ITSPascalCase<S extends string> = string extends S ? string : S extends `${infer T}-${infer U}` ? `${Capitalize<T>}${ITSPascalCase<U>}` : Capitalize<S>;
 /**
  * Convert literal string types like 'foo-bar' to 'fooBar'
  * @see yargs
  */
-export declare type ITSCamelCase<S extends string> = string extends S ? string : S extends `${infer T}-${infer U}` ? `${T}${ITSPascalCase<U>}` : S;
+export type ITSCamelCase<S extends string> = string extends S ? string : S extends `${infer T}-${infer U}` ? `${T}${ITSPascalCase<U>}` : S;

package/lib/helper/string.d.ts

@@ -1,17 +1,17 @@
-export declare type ITSToStringLiteralAllowedType = string | number | boolean | bigint;
+export type ITSToStringLiteralAllowedType = string | number | boolean | bigint;
 /**
  * `${T}`
  */
-export declare type ITSToStringLiteral<T extends ITSToStringLiteralAllowedType> = `${T}`;
+export type ITSToStringLiteral<T extends ITSToStringLiteralAllowedType> = `${T}`;
 /**
  * T & `${T}`
  */
-export declare type ITSTypeAndStringLiteral<T extends ITSToStringLiteralAllowedType> = T | ITSToStringLiteral<T>;
+export type ITSTypeAndStringLiteral<T extends ITSToStringLiteralAllowedType> = T | ITSToStringLiteral<T>;
 /**
  * S & `${T}`
  */
-export declare type ITSAndStringLiteral<T extends ITSToStringLiteralAllowedType, S = string> = S | ITSToStringLiteral<T>;
+export type ITSAndStringLiteral<T extends ITSToStringLiteralAllowedType, S = string> = S | ITSToStringLiteral<T>;
 /**
  * S & T & `${T}`
  */
-export declare type ITSAndTypeAndStringLiteral<T extends ITSToStringLiteralAllowedType, S = string> = S | ITSTypeAndStringLiteral<T>;
+export type ITSAndTypeAndStringLiteral<T extends ITSToStringLiteralAllowedType, S = string> = S | ITSTypeAndStringLiteral<T>;

package/lib/helper/tuple.d.ts

@@ -5,4 +5,4 @@
  * ITSTupleKeys<[string, string, string]> = "0" | "1" | "2"
  * @see https://stackoverflow.com/questions/50374908/transform-union-type-to-intersection-type
  */
-export declare type ITSTupleKeys<T extends any[]> = Exclude<keyof T, keyof []>;
+export type ITSTupleKeys<T extends any[]> = Exclude<keyof T, keyof []>;

package/lib/helper/typeof.d.ts

@@ -1,6 +1,5 @@
 /**
  * Created by user on 2019/6/11.
  */
-export declare type ITSIteratorLazy<T extends Iterator<any> | IteratorResult<any>> = T extends IteratorResult<infer U> ? IteratorResult<U> : T extends Iterator<infer U> ? Iterator<U> : T;
-export declare type ITSTypeOfArrayLike<T extends any[]> = T extends (infer U)[] ? U : T extends ArrayLike<infer U> ? U : any;
-export declare type ITSTypeOfIterator<T extends ITSIteratorLazy<any>> = T extends Iterator<infer U> ? U : T extends IteratorResult<infer U> ? U : any;
+export type ITSIteratorLazy<T extends Iterator<any> | IteratorResult<any>> = T extends IteratorResult<infer U> ? IteratorResult<U> : T extends Iterator<infer U> ? Iterator<U> : T;
+export type ITSTypeOfIterator<T extends ITSIteratorLazy<any>> = T extends Iterator<infer U> ? U : T extends IteratorResult<infer U> ? U : any;

package/lib/helper/typeof.js.map

@@ -1 +1 @@
-{"version":3,"file":"typeof.js","sourceRoot":"","sources":["typeof.ts"],"names":[],"mappings":";AAAA;;GAEG","sourcesContent":["/**\n * Created by user on 2019/6/11.\n */\n\n\nexport type ITSIteratorLazy<T extends Iterator<any> | IteratorResult<any>> =\n//\tT\n\tT extends IteratorResult<infer U> ? IteratorResult<U> :\n\t\tT extends Iterator<infer U> ? Iterator<U> :\n\t\t\tT\n\t;\n\nexport type ITSTypeOfArrayLike<T extends any[]> =\n\tT extends (infer U)[] ? U :\n\t\tT extends ArrayLike<infer U> ? U :\n\t\t\tany\n\t;\n\nexport type ITSTypeOfIterator<T extends ITSIteratorLazy<any>> =\n\tT extends Iterator<infer U> ? U :\n\t\tT extends IteratorResult<infer U> ? U :\n\t\t\tany\n\t;\n"]}
+{"version":3,"file":"typeof.js","sourceRoot":"","sources":["typeof.ts"],"names":[],"mappings":";AAAA;;GAEG","sourcesContent":["/**\n * Created by user on 2019/6/11.\n */\n\n\nexport type ITSIteratorLazy<T extends Iterator<any> | IteratorResult<any>> =\n//\tT\n\tT extends IteratorResult<infer U> ? IteratorResult<U> :\n\t\tT extends Iterator<infer U> ? Iterator<U> :\n\t\t\tT\n\t;\n\nexport type ITSTypeOfIterator<T extends ITSIteratorLazy<any>> =\n\tT extends Iterator<infer U> ? U :\n\t\tT extends IteratorResult<infer U> ? U :\n\t\t\tany\n\t;\n"]}

package/lib/helper.d.ts

@@ -1,5 +1,5 @@
 import { ITSArrayListMaybeReadonly } from './type/base';
-import { ITSUnpackedReturnType } from './helper/unpacked';
+import { ITSAwaitedReturnType } from './helper/promise';
 /**
  * copy current function with Parameters and return to new value
  *
@@ -10,13 +10,11 @@ import { ITSUnpackedReturnType } from './helper/unpacked';
  * declare let c: ITSOverwriteReturnType<typeof f, string>;
  * // c = (a: number) => string
  */
-export declare type ITSOverwriteReturnType<T extends (...args: any[]) => any, R extends unknown> = (...args: Parameters<T>) => R;
-export declare type ITSWrapFunctionPromiseLike<T extends (...args: any[]) => any> = (...args: Parameters<T>) => PromiseLike<ITSUnpackedReturnType<T>>;
-export declare type ITSWrapFunctionPromise<T extends (...args: any[]) => any> = (...args: Parameters<T>) => Promise<ITSUnpackedReturnType<T>>;
+export type ITSOverwriteReturnType<T extends (...args: any[]) => any, R extends unknown> = (...args: Parameters<T>) => R;
+export type ITSWrapFunctionPromiseLike<T extends (...args: any[]) => any> = (...args: Parameters<T>) => PromiseLike<ITSAwaitedReturnType<T>>;
+export type ITSWrapFunctionPromise<T extends (...args: any[]) => any> = (...args: Parameters<T>) => Promise<ITSAwaitedReturnType<T>>;
 /**
  * @deprecated
  */
-export declare type ITSExtendsOf<T, U> = Extract<T, U>;
-export declare type ITSKeyOfArray<T extends ITSArrayListMaybeReadonly<any>> = Exclude<keyof T, symbol | string>;
-export declare type ITSValueOfArray<T extends ITSArrayListMaybeReadonly<any>> = T extends (infer U)[] ? U : never;
-export declare type ITSValueOfRecord<T extends Record<any, any>> = T[keyof T];
+export type ITSExtendsOf<T, U> = Extract<T, U>;
+export type ITSKeyOfArray<T extends ITSArrayListMaybeReadonly<any>> = Exclude<keyof T, symbol | string>;