type-plus 4.6.0 → 4.6.1

package/cjs/array/CreateTuple.d.ts

@@ -1,10 +1,2 @@
-import { IsPositive } from '../math';
-declare type BuildPowersOf2LengthArrays<N extends number, R extends never[][]> = R[0][N] extends never ? R : BuildPowersOf2LengthArrays<N, [[...R[0], ...R[0]], ...R]>;
-declare type ConcatLargestUntilDone<N extends number, R extends never[][], B extends never[]> = B['length'] extends N ? B : [...R[0], ...B][N] extends never ? ConcatLargestUntilDone<N, R extends [R[0], ...infer U] ? U extends never[][] ? U : never : never, B> : ConcatLargestUntilDone<N, R extends [R[0], ...infer U] ? U extends never[][] ? U : never : never, [...R[0], ...B]>;
-declare type Replace<R extends any[], T> = {
-    [K in keyof R]: T;
-};
-export declare type CreateTuple<L extends number, T = any> = number extends L ? T[] : IsPositive<L> extends true ? {
-    [K in L]: BuildPowersOf2LengthArrays<K, [[never]]> extends infer U ? (U extends never[][] ? Replace<ConcatLargestUntilDone<K, U, []>, T> : never) : never;
-}[L] : never;
-export {};
+import { DigitArray, IsPositive } from '../math';
+export declare type CreateTuple<L extends number, T = any> = number extends L ? T[] : IsPositive<L> extends true ? DigitArray.ToTuple<[], DigitArray.FromNumber<L>, T> : never;

package/cjs/math/Digit.d.ts

@@ -45,7 +45,7 @@ export declare namespace Digit {
 }
 export declare namespace DigitArray {
     type ToNumber<C extends number[]> = ToTuple<[], C>['length'];
-    type ToTuple<R extends any[], S extends number[]> = S['length'] extends 0 ? R : (S['length'] extends 1 ? [...R, ...Digit.ToTuple[S[0]]] : (S extends [any, ...infer T] ? (T extends any[] ? ToTuple<Multi10<[...R, ...Digit.ToTuple[S[0]]]>, T> : never) : never));
+    type ToTuple<R extends any[], S extends number[], X = any> = S['length'] extends 0 ? R : (S['length'] extends 1 ? [...R, ...Digit.ToTuple<X>[S[0]]] : (S extends [any, ...infer T] ? (T extends any[] ? ToTuple<Multi10<[...R, ...Digit.ToTuple<X>[S[0]]]>, T> : never) : never));
     type Multi10<C extends any[]> = [...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C];
     type FromNumber<N extends number> = FromString<NumberToString<N>>;
     type NumberToString<N extends number> = (And<IsPositive<N>, IsWhole<N>>) extends true ? `${N}` : never;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "4.6.0",
+  "version": "4.6.1",
   "description": "Provides additional types for TypeScript.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {

package/ts/array/CreateTuple.spec.ts

@@ -9,11 +9,13 @@ test('single element', () => {
 })
 
 test('multiple elements', () => {
-  isType.equal<true, [any, any, any], CreateTuple<3>>()
+  type A = CreateTuple<3>
+  isType.equal<true, [any, any, any], A>()
 })
 
 test('override element type', () => {
-  isType.equal<true, [1, 1, 1, 1, 1], CreateTuple<5, 1>>()
+  type A = CreateTuple<5, 1>
+  isType.equal<true, [1, 1, 1, 1, 1], A>()
 })
 
 test('negative length gets never', () => {

package/ts/array/CreateTuple.ts

@@ -1,35 +1,12 @@
-import {
-  // Digit,
-  IsPositive
-} from '../math'
-
-// export type CreateTuple<L extends number, T = any> =
-//   number extends L ? T[] : IsPositive<L> extends true
-//   ? [...Digit.ToTuple<T>[L]]
-//   : never
-
-type BuildPowersOf2LengthArrays<N extends number, R extends never[][]> =
-  R[0][N] extends never ? R : BuildPowersOf2LengthArrays<N, [[...R[0], ...R[0]], ...R]>
-
-type ConcatLargestUntilDone<N extends number, R extends never[][], B extends never[]> =
-  B['length'] extends N ? B : [...R[0], ...B][N] extends never
-  ? ConcatLargestUntilDone<N, R extends [R[0], ...infer U] ? U extends never[][] ? U : never : never, B>
-  : ConcatLargestUntilDone<N, R extends [R[0], ...infer U] ? U extends never[][] ? U : never : never, [...R[0], ...B]>
-
-type Replace<R extends any[], T> = { [K in keyof R]: T }
+import { DigitArray, IsPositive } from '../math'
 
 /**
  * Creates `Tuple<T>` with `L` number of elements.
- * @note The original implementation hits recursive limit.
- * Updated implementation based on below by @lazytype
+ * @note Other cool implementations by @lazytype, @jcalz:
  * @see https://github.com/microsoft/TypeScript/issues/26223#issuecomment-674514787
  * @see https://github.com/microsoft/TypeScript/issues/47874#issuecomment-1039157322
  */
 export type CreateTuple<L extends number, T = any> =
   number extends L ? T[] : IsPositive<L> extends true
-  ? {
-    [K in L]: BuildPowersOf2LengthArrays<K, [[never]]> extends infer U
-    ? (U extends never[][] ? Replace<ConcatLargestUntilDone<K, U, []>, T> : never)
-    : never
-  }[L]
+  ? DigitArray.ToTuple<[], DigitArray.FromNumber<L>, T>
   : never

package/ts/math/Digit.ts

@@ -51,14 +51,14 @@ export namespace Digit {
 export namespace DigitArray {
   export type ToNumber<C extends number[]> = ToTuple<[], C>['length']
 
-  export type ToTuple<R extends any[], S extends number[]> =
+  export type ToTuple<R extends any[], S extends number[], X = any> =
     S['length'] extends 0
     ? R
     : (S['length'] extends 1
-      ? [...R, ...Digit.ToTuple[S[0]]]
+      ? [...R, ...Digit.ToTuple<X>[S[0]]]
       : (S extends [any, ...infer T]
         ? (T extends any[]
-          ? ToTuple<Multi10<[...R, ...Digit.ToTuple[S[0]]]>, T>
+          ? ToTuple<Multi10<[...R, ...Digit.ToTuple<X>[S[0]]]>, T>
           : never)
         : never))