feat: new type UnionToSubTupleArray & fix LiteralUnion

Author: Col0ring

.lintstagedrc.json

@@ -1,4 +1,4 @@
 {
-  "*.{ts,tsx}": ["npm run test", "npm run lint:eslint", "npm run format"],
+  "*.{ts,tsx}": ["npm run lint:eslint", "npm run format"],
   "*.{md,yaml,yml,json,html}": ["npm run format"]
 }

docs/types-kit.getsubtuple.md

@@ -0,0 +1,17 @@
+<!-- Do not edit this file. It is automatically generated by API Documenter. -->
+
+[Home](./index.md) &gt; [types-kit](./types-kit.md) &gt; [GetSubTuple](./types-kit.getsubtuple.md)
+
+## GetSubTuple type
+
+<b>Signature:</b>
+
+```typescript
+type GetSubTuple<
+  L extends number,
+  V,
+  R extends readonly unknown[] = []
+> = R['length'] extends L ? [...R, V] : GetSubTuple<L, V, [...R, V]>
+```
+<b>References:</b> [GetSubTuple](./types-kit.getsubtuple.md)
+

docs/types-kit.literalunion.md

@@ -9,7 +9,7 @@ Allows creating a union type by combining primitive types and literal types with
 <b>Signature:</b>
 
 ```typescript
-export type LiteralUnion<T extends U, U> = T | (U & {})
+export type LiteralUnion<T extends U, U> = T | (U & Omit<U, PropertyKey>)
 ```
 
 ## Example

docs/types-kit.md

@@ -37,6 +37,7 @@
 |  [Flat](./types-kit.flat.md) | Create an array that includes the flatten array type. |
 |  [FlattedArrayItem](./types-kit.flattedarrayitem.md) | Get the flatted item type from an array. |
 |  [Get](./types-kit.get.md) | Get the specified value from T. |
+|  [GetSubTuple](./types-kit.getsubtuple.md) |  |
 |  [If](./types-kit.if.md) | If for types. |
 |  [IfElseIf](./types-kit.ifelseif.md) | If/Else if for types. |
 |  [IfExtends](./types-kit.ifextends.md) | If Condition\[0\] extends Condition\[1\], return Case1, else return Case2. |
@@ -117,6 +118,7 @@
 |  [TupleToObject](./types-kit.tupletoobject.md) | Convert a tuple to an object, it can pass in a tag to modify the key value. |
 |  [TupleToUnion](./types-kit.tupletounion.md) | Convert a tuple to union type. |
 |  [UnionToIntersection](./types-kit.uniontointersection.md) | Convert union type to Intersection type. |
+|  [UnionToSubTupleArray](./types-kit.uniontosubtuplearray.md) | Get all sub tuple array from the passing parameter. |
 |  [UnionToTuple](./types-kit.uniontotuple.md) | Convert union type to a tuple. |
 |  [UrlParamsToUnion](./types-kit.urlparamstounion.md) | Parser the params of a url into a union type |
 |  [UrlQueryToObject](./types-kit.urlquerytoobject.md) | Parser the querystring of a url into an object type |

docs/types-kit.uniontosubtuplearray.md

@@ -0,0 +1,27 @@
+<!-- Do not edit this file. It is automatically generated by API Documenter. -->
+
+[Home](./index.md) &gt; [types-kit](./types-kit.md) &gt; [UnionToSubTupleArray](./types-kit.uniontosubtuplearray.md)
+
+## UnionToSubTupleArray type
+
+Get all sub tuple array from the passing parameter.
+
+<b>Signature:</b>
+
+```typescript
+export type UnionToSubTupleArray<T> = TupleKeys<UnionToTuple<T>> extends infer V
+  ? V extends number
+    ? GetSubTuple<V, T>
+    : never
+  : never
+```
+<b>References:</b> [TupleKeys](./types-kit.tuplekeys.md)<!-- -->, [UnionToTuple](./types-kit.uniontotuple.md)<!-- -->, [GetSubTuple](./types-kit.getsubtuple.md)
+
+## Example
+
+
+```ts
+// Expect: ['a' | 'b'] | ['a' | 'b', 'a' | 'b']
+type Foo = UnionToSubTupleArray<'a' | 'b'>
+```
+

src/convert/convert.test.ts

@@ -5,6 +5,7 @@ import { StringToNumber } from './string-to-number'
 import { TupleToObject } from './tuple-to-object'
 import { TupleToUnion } from './tuple-to-union'
 import { UnionToIntersection } from './union-to-intersection'
+import { UnionToSubTupleArray } from './union-to-sub-tuple-array'
 import { UnionToTuple } from './union-to-tuple'
 import { UrlParamsToUnion, UrlQueryToObject } from './url-to-other'
 
@@ -58,6 +59,13 @@ type TestUrlParamsToUnion = Expect<
 
 type TestLiteralToPrimitive = Expect<LiteralToPrimitive<'a'>, string>
 
+type TestUnionToSubTupleArray = Expect<
+  UnionToSubTupleArray<'a' | 'b' | 'c'>,
+  | ['a' | 'b' | 'c']
+  | ['a' | 'b' | 'c', 'a' | 'b' | 'c']
+  | ['a' | 'b' | 'c', 'a' | 'b' | 'c', 'a' | 'b' | 'c']
+>
+
 export type Result = Test<
   [
     TestStringToNumber,
@@ -68,6 +76,7 @@ export type Result = Test<
     TestOtherToString,
     TestUrlQueryToObject,
     TestUrlParamsToUnion,
-    TestLiteralToPrimitive
+    TestLiteralToPrimitive,
+    TestUnionToSubTupleArray
   ]
 >

src/convert/index.d.ts

@@ -4,5 +4,6 @@ export * from './string-to-number'
 export * from './tuple-to-object'
 export * from './tuple-to-union'
 export * from './union-to-intersection'
+export * from './union-to-sub-tuple-array'
 export * from './union-to-tuple'
 export * from './url-to-other'

src/convert/union-to-sub-tuple-array.d.ts

@@ -0,0 +1,22 @@
+import { TupleKeys } from '../mapper'
+import { UnionToTuple } from './union-to-tuple'
+
+type GetSubTuple<
+  L extends number,
+  V,
+  R extends readonly unknown[] = []
+> = R['length'] extends L ? [...R, V] : GetSubTuple<L, V, [...R, V]>
+
+/**
+ * Get all sub tuple array from the passing parameter.
+ * @example
+ * ```ts
+ * // Expect: ['a' | 'b'] | ['a' | 'b', 'a' | 'b']
+ * type Foo = UnionToSubTupleArray<'a' | 'b'>
+ * ```
+ */
+export type UnionToSubTupleArray<T> = TupleKeys<UnionToTuple<T>> extends infer V
+  ? V extends number
+    ? GetSubTuple<V, T>
+    : never
+  : never

src/union/literal-union.d.ts

@@ -7,4 +7,9 @@
  * const foo:Foo = '' // You will get auto-completion for `dog` and `cat` literals.
  * ```
  */
-export type LiteralUnion<T extends U, U> = T | (U & {})
+// Omit<U, PropertyKey> => {}
+export type LiteralUnion<T extends U, U> = T | (U & Omit<U, PropertyKey>)
+// /**
+//  * @deprecated see https://github.com/microsoft/TypeScript/pull/49119
+//  */
+// export type LiteralUnion<T extends U, U> = T | (U & {})