type-plus 4.5.1 → 4.5.2

package/cjs/array/CreateTuple.d.ts

@@ -1,5 +1,10 @@
-import type { IsPositive } from '../math';
-export declare type CreateTuple<L extends number, T = any> = IsPositive<L> extends true ? CreateTuple.Device<[], L, T> : never;
-export declare namespace CreateTuple {
-    type Device<R extends any[], L extends number, T> = R['length'] extends L ? R : Device<[T, ...R], L, T>;
-}
+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 {};

package/package.json

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

package/ts/array/CreateTuple.spec.ts

@@ -1,21 +1,32 @@
-import { CreateTuple, isType } from '..'
-
-test('create empty tuple', () => {
-  isType.equal<true, [], CreateTuple<0>>()
-})
-
-test('single element', () => {
-  isType.equal<true, [any], CreateTuple<1>>()
-})
-
-test('multiple elements', () => {
-  isType.equal<true, [any, any, any], CreateTuple<3>>()
-})
-
-test('override element type', () => {
-  isType.equal<true, [1, 1, 1, 1, 1], CreateTuple<5, 1>>()
-})
-
-test('negative length gets never', () => {
-  isType.equal<true, never, CreateTuple<-1>>()
-})
+import { CreateTuple, isType } from '..'
+
+test('create empty tuple', () => {
+  isType.equal<true, [], CreateTuple<0>>()
+})
+
+test('single element', () => {
+  isType.equal<true, [any], CreateTuple<1>>()
+})
+
+test('multiple elements', () => {
+  isType.equal<true, [any, any, any], CreateTuple<3>>()
+})
+
+test('override element type', () => {
+  isType.equal<true, [1, 1, 1, 1, 1], CreateTuple<5, 1>>()
+})
+
+test('negative length gets never', () => {
+  isType.equal<true, never, CreateTuple<-1>>()
+})
+
+test('Can create tuple up to 7000', () => {
+  type A = CreateTuple<7000>['length']
+
+  isType.equal<true, 7000, A>()
+})
+
+test('L = number gets array', () => {
+  type A = CreateTuple<number, 1>
+  isType.equal<true, 1[], A>()
+})

package/ts/array/CreateTuple.ts

@@ -1,12 +1,27 @@
-import type { IsPositive } from '../math'
+import { IsPositive } from '../math'
+
+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 }
 
 /**
  * Creates `Tuple<T>` with `L` number of elements.
+ * @note The original implementation hits recursive limit.
+ * Updated implementation based on below by @lazytype
+ * @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> =
-  IsPositive<L> extends true ? CreateTuple.Device<[], L, T> : never
-
-export namespace CreateTuple {
-  export type Device<R extends any[], L extends number, T> =
-    R['length'] extends L ? R : Device<[T, ...R], L, T>
-}
+  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

package/ts/math/Add.spec.ts

@@ -1,82 +1,82 @@
-import { Add, Increment, isType } from '..'
-
-describe('Add<A, B>', () => {
-  test('fractional A gets never', () => {
-    isType.equal<true, never, Add<1.1, 1>>()
-  })
-
-  test('negative A gets never', () => {
-    isType.equal<true, never, Add<-1, 1>>()
-  })
-
-  test('fractional B gets never', () => {
-    isType.equal<true, never, Add<1, 1.2>>()
-  })
-
-  test('negative B gets never', () => {
-    isType.equal<true, never, Add<1, -1>>()
-  })
-
-  test('number gets Fail', () => {
-    isType.equal<true, never, Add<number, 1>>()
-    isType.equal<true, never, Add<1, number>>()
-
-    isType.equal<true, number, Add<number, 1, number>>()
-    isType.equal<true, number, Add<1, number, number>>()
-  })
-
-  describe('single digit', () => {
-    test('0 + n = n', () => {
-      isType.equal<true, 0, Add<0, 0>>()
-      isType.equal<true, 1, Add<0, 1>>()
-      isType.equal<true, 2, Add<0, 2>>()
-      isType.equal<true, 3, Add<0, 3>>()
-      isType.equal<true, 4, Add<0, 4>>()
-      isType.equal<true, 5, Add<0, 5>>()
-      isType.equal<true, 6, Add<0, 6>>()
-      isType.equal<true, 7, Add<0, 7>>()
-      isType.equal<true, 8, Add<0, 8>>()
-      isType.equal<true, 9, Add<0, 9>>()
-    })
-    test('9 + n', () => {
-      isType.equal<true, 9, Add<9, 0>>()
-      isType.equal<true, 10, Add<9, 1>>()
-      isType.equal<true, 11, Add<9, 2>>()
-      isType.equal<true, 12, Add<9, 3>>()
-      isType.equal<true, 13, Add<9, 4>>()
-      isType.equal<true, 14, Add<9, 5>>()
-      isType.equal<true, 15, Add<9, 6>>()
-      isType.equal<true, 16, Add<9, 7>>()
-      isType.equal<true, 17, Add<9, 8>>()
-      isType.equal<true, 18, Add<9, 9>>()
-    })
-  })
-
-  test('1 + 2 digits', () => {
-    isType.equal<true, 16, Add<3, 13>>()
-    isType.equal<true, 108, Add<9, 99>>()
-  })
-
-  test('2 + 1 digits', () => {
-    isType.equal<true, 16, Add<13, 3>>()
-    isType.equal<true, 108, Add<99, 9>>()
-  })
-
-  test('2 + 2 digits', () => {
-    isType.equal<true, 20, Add<10, 10>>()
-    isType.equal<true, 38, Add<19, 19>>()
-  })
-
-  test('n + n digits', () => {
-    isType.equal<true, 7777, Add<1234, 6543>>()
-  })
-})
-
-describe('Increment<A>', () => {
-  test('add 1', () => {
-    isType.equal<true, 1, Increment<0>>()
-  })
-  test('work with large number', () => {
-    isType.equal<true, 7777, Increment<7776>>()
-  })
-})
+import { Add, Increment, isType } from '..'
+
+describe('Add<A, B>', () => {
+  test('fractional A gets never', () => {
+    isType.equal<true, never, Add<1.1, 1>>()
+  })
+
+  test('negative A gets never', () => {
+    isType.equal<true, never, Add<-1, 1>>()
+  })
+
+  test('fractional B gets never', () => {
+    isType.equal<true, never, Add<1, 1.2>>()
+  })
+
+  test('negative B gets never', () => {
+    isType.equal<true, never, Add<1, -1>>()
+  })
+
+  test('number gets Fail', () => {
+    isType.equal<true, never, Add<number, 1>>()
+    isType.equal<true, never, Add<1, number>>()
+
+    isType.equal<true, number, Add<number, 1, number>>()
+    isType.equal<true, number, Add<1, number, number>>()
+  })
+
+  describe('single digit', () => {
+    test('0 + n = n', () => {
+      isType.equal<true, 0, Add<0, 0>>()
+      isType.equal<true, 1, Add<0, 1>>()
+      isType.equal<true, 2, Add<0, 2>>()
+      isType.equal<true, 3, Add<0, 3>>()
+      isType.equal<true, 4, Add<0, 4>>()
+      isType.equal<true, 5, Add<0, 5>>()
+      isType.equal<true, 6, Add<0, 6>>()
+      isType.equal<true, 7, Add<0, 7>>()
+      isType.equal<true, 8, Add<0, 8>>()
+      isType.equal<true, 9, Add<0, 9>>()
+    })
+    test('9 + n', () => {
+      isType.equal<true, 9, Add<9, 0>>()
+      isType.equal<true, 10, Add<9, 1>>()
+      isType.equal<true, 11, Add<9, 2>>()
+      isType.equal<true, 12, Add<9, 3>>()
+      isType.equal<true, 13, Add<9, 4>>()
+      isType.equal<true, 14, Add<9, 5>>()
+      isType.equal<true, 15, Add<9, 6>>()
+      isType.equal<true, 16, Add<9, 7>>()
+      isType.equal<true, 17, Add<9, 8>>()
+      isType.equal<true, 18, Add<9, 9>>()
+    })
+  })
+
+  test('1 + 2 digits', () => {
+    isType.equal<true, 16, Add<3, 13>>()
+    isType.equal<true, 108, Add<9, 99>>()
+  })
+
+  test('2 + 1 digits', () => {
+    isType.equal<true, 16, Add<13, 3>>()
+    isType.equal<true, 108, Add<99, 9>>()
+  })
+
+  test('2 + 2 digits', () => {
+    isType.equal<true, 20, Add<10, 10>>()
+    isType.equal<true, 38, Add<19, 19>>()
+  })
+
+  test('n + n digits', () => {
+    isType.equal<true, 7777, Add<1234, 6543>>()
+  })
+})
+
+describe('Increment<A>', () => {
+  test('add 1', () => {
+    isType.equal<true, 1, Increment<0>>()
+  })
+  test('work with large number', () => {
+    isType.equal<true, 7777, Increment<7776>>()
+  })
+})

package/ts/math/Digit.spec.ts

@@ -1,185 +1,184 @@
-import { Equal, isType } from '..'
-import { Digit, DigitArray } from './Digit'
-
-describe('DigitArray.ToNumber<DA>', () => {
-  test('no digit gets 0', () => {
-    type A = DigitArray.ToNumber<[]>
-    isType.t<Equal<A, 0>>()
-  })
-
-  test('single digit', () => {
-    isType.t<Equal<DigitArray.ToNumber<[0]>, 0>>()
-    isType.t<Equal<DigitArray.ToNumber<[1]>, 1>>()
-    isType.t<Equal<DigitArray.ToNumber<[2]>, 2>>()
-    isType.t<Equal<DigitArray.ToNumber<[3]>, 3>>()
-    isType.t<Equal<DigitArray.ToNumber<[4]>, 4>>()
-    isType.t<Equal<DigitArray.ToNumber<[5]>, 5>>()
-    isType.t<Equal<DigitArray.ToNumber<[6]>, 6>>()
-    isType.t<Equal<DigitArray.ToNumber<[7]>, 7>>()
-    isType.t<Equal<DigitArray.ToNumber<[8]>, 8>>()
-    isType.t<Equal<DigitArray.ToNumber<[9]>, 9>>()
-
-  })
-
-  test('two digits', () => {
-    isType.t<Equal<DigitArray.ToNumber<[1, 0]>, 10>>()
-    isType.t<Equal<DigitArray.ToNumber<[1, 0]>, 10>>()
-    isType.t<Equal<DigitArray.ToNumber<[3, 1]>, 31>>()
-    isType.t<Equal<DigitArray.ToNumber<[13, 1]>, 131>>()
-    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 4]>, 1234>>()
-  })
-
-  test('multi digits', () => {
-    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 4]>, 1234>>()
-    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 5]>, 1235>>()
-  })
-})
-
-describe('DigitArray.Shift10<DA>', () => {
-  test('zero digit gets the same', () => {
-    isType.equal<true, [], DigitArray.Shift10<[]>>()
-  })
-
-  test('single digit gets the same', () => {
-    isType.equal<true, [5], DigitArray.Shift10<[5]>>()
-  })
-
-  test('two digits with leading 0 get trimmed', () => {
-    isType.equal<true, [5], DigitArray.Shift10<[0, 5]>>()
-  })
-  test('two digits gets value shifted', () => {
-    isType.equal<true, [15], DigitArray.Shift10<[1, 5]>>()
-    isType.equal<true, [8, 10], DigitArray.Shift10<[9, 0]>>()
-    isType.equal<true, [8, 19], DigitArray.Shift10<[9, 9]>>()
-  })
-  test('multiple digits', () => {
-    isType.equal<true, [11, 12, 14], DigitArray.Shift10<[0, 1, 2, 3, 4]>>()
-  })
-})
-
-
-describe('Digit.GreaterThan<A, B>', () => {
-  test('n > n is false', () => {
-    isType.equal<true, false, Digit.GreaterThan<0, 0>>()
-    isType.equal<true, false, Digit.GreaterThan<1, 1>>()
-    isType.equal<true, false, Digit.GreaterThan<2, 2>>()
-    isType.equal<true, false, Digit.GreaterThan<3, 3>>()
-    isType.equal<true, false, Digit.GreaterThan<4, 4>>()
-    isType.equal<true, false, Digit.GreaterThan<5, 5>>()
-    isType.equal<true, false, Digit.GreaterThan<6, 6>>()
-    isType.equal<true, false, Digit.GreaterThan<7, 7>>()
-    isType.equal<true, false, Digit.GreaterThan<8, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<9, 9>>()
-  })
-  test('N > m is true', () => {
-    isType.equal<true, true, Digit.GreaterThan<1, 0>>()
-    isType.equal<true, true, Digit.GreaterThan<2, 0>>()
-    isType.equal<true, true, Digit.GreaterThan<3, 0>>()
-    isType.equal<true, true, Digit.GreaterThan<4, 0>>()
-    isType.equal<true, true, Digit.GreaterThan<5, 0>>()
-    isType.equal<true, true, Digit.GreaterThan<6, 0>>()
-    isType.equal<true, true, Digit.GreaterThan<7, 0>>()
-    isType.equal<true, true, Digit.GreaterThan<8, 0>>()
-    isType.equal<true, true, Digit.GreaterThan<9, 0>>()
-
-    isType.equal<true, true, Digit.GreaterThan<2, 1>>()
-    isType.equal<true, true, Digit.GreaterThan<3, 1>>()
-    isType.equal<true, true, Digit.GreaterThan<4, 1>>()
-    isType.equal<true, true, Digit.GreaterThan<5, 1>>()
-    isType.equal<true, true, Digit.GreaterThan<6, 1>>()
-    isType.equal<true, true, Digit.GreaterThan<7, 1>>()
-    isType.equal<true, true, Digit.GreaterThan<8, 1>>()
-    isType.equal<true, true, Digit.GreaterThan<9, 1>>()
-
-    isType.equal<true, true, Digit.GreaterThan<3, 2>>()
-    isType.equal<true, true, Digit.GreaterThan<4, 2>>()
-    isType.equal<true, true, Digit.GreaterThan<5, 2>>()
-    isType.equal<true, true, Digit.GreaterThan<6, 2>>()
-    isType.equal<true, true, Digit.GreaterThan<7, 2>>()
-    isType.equal<true, true, Digit.GreaterThan<8, 2>>()
-    isType.equal<true, true, Digit.GreaterThan<9, 2>>()
-
-    isType.equal<true, true, Digit.GreaterThan<4, 3>>()
-    isType.equal<true, true, Digit.GreaterThan<5, 3>>()
-    isType.equal<true, true, Digit.GreaterThan<6, 3>>()
-    isType.equal<true, true, Digit.GreaterThan<7, 3>>()
-    isType.equal<true, true, Digit.GreaterThan<8, 3>>()
-    isType.equal<true, true, Digit.GreaterThan<9, 3>>()
-
-    isType.equal<true, true, Digit.GreaterThan<5, 4>>()
-    isType.equal<true, true, Digit.GreaterThan<6, 4>>()
-    isType.equal<true, true, Digit.GreaterThan<7, 4>>()
-    isType.equal<true, true, Digit.GreaterThan<8, 4>>()
-    isType.equal<true, true, Digit.GreaterThan<9, 4>>()
-
-    isType.equal<true, true, Digit.GreaterThan<6, 5>>()
-    isType.equal<true, true, Digit.GreaterThan<7, 5>>()
-    isType.equal<true, true, Digit.GreaterThan<8, 5>>()
-    isType.equal<true, true, Digit.GreaterThan<9, 5>>()
-
-    isType.equal<true, true, Digit.GreaterThan<7, 6>>()
-    isType.equal<true, true, Digit.GreaterThan<8, 6>>()
-    isType.equal<true, true, Digit.GreaterThan<9, 6>>()
-
-    isType.equal<true, true, Digit.GreaterThan<8, 7>>()
-    isType.equal<true, true, Digit.GreaterThan<9, 7>>()
-
-    isType.equal<true, true, Digit.GreaterThan<9, 8>>()
-  })
-
-  test('n > M is false', () => {
-    isType.equal<true, false, Digit.GreaterThan<0, 1>>()
-    isType.equal<true, false, Digit.GreaterThan<0, 2>>()
-    isType.equal<true, false, Digit.GreaterThan<0, 3>>()
-    isType.equal<true, false, Digit.GreaterThan<0, 4>>()
-    isType.equal<true, false, Digit.GreaterThan<0, 5>>()
-    isType.equal<true, false, Digit.GreaterThan<0, 6>>()
-    isType.equal<true, false, Digit.GreaterThan<0, 7>>()
-    isType.equal<true, false, Digit.GreaterThan<0, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<0, 9>>()
-
-    isType.equal<true, false, Digit.GreaterThan<1, 2>>()
-    isType.equal<true, false, Digit.GreaterThan<1, 3>>()
-    isType.equal<true, false, Digit.GreaterThan<1, 4>>()
-    isType.equal<true, false, Digit.GreaterThan<1, 5>>()
-    isType.equal<true, false, Digit.GreaterThan<1, 6>>()
-    isType.equal<true, false, Digit.GreaterThan<1, 7>>()
-    isType.equal<true, false, Digit.GreaterThan<1, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<1, 9>>()
-
-    isType.equal<true, false, Digit.GreaterThan<2, 3>>()
-    isType.equal<true, false, Digit.GreaterThan<2, 4>>()
-    isType.equal<true, false, Digit.GreaterThan<2, 5>>()
-    isType.equal<true, false, Digit.GreaterThan<2, 6>>()
-    isType.equal<true, false, Digit.GreaterThan<2, 7>>()
-    isType.equal<true, false, Digit.GreaterThan<2, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<2, 9>>()
-
-    isType.equal<true, false, Digit.GreaterThan<3, 4>>()
-    isType.equal<true, false, Digit.GreaterThan<3, 5>>()
-    isType.equal<true, false, Digit.GreaterThan<3, 6>>()
-    isType.equal<true, false, Digit.GreaterThan<3, 7>>()
-    isType.equal<true, false, Digit.GreaterThan<3, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<3, 9>>()
-
-    isType.equal<true, false, Digit.GreaterThan<4, 5>>()
-    isType.equal<true, false, Digit.GreaterThan<4, 6>>()
-    isType.equal<true, false, Digit.GreaterThan<4, 7>>()
-    isType.equal<true, false, Digit.GreaterThan<4, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<4, 9>>()
-
-    isType.equal<true, false, Digit.GreaterThan<5, 6>>()
-    isType.equal<true, false, Digit.GreaterThan<5, 7>>()
-    isType.equal<true, false, Digit.GreaterThan<5, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<5, 9>>()
-
-    isType.equal<true, false, Digit.GreaterThan<6, 7>>()
-    isType.equal<true, false, Digit.GreaterThan<6, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<6, 9>>()
-
-    isType.equal<true, false, Digit.GreaterThan<7, 8>>()
-    isType.equal<true, false, Digit.GreaterThan<7, 9>>()
-
-    isType.equal<true, false, Digit.GreaterThan<8, 9>>()
-  })
-})
+import { Equal, isType } from '..'
+import { Digit, DigitArray } from './Digit'
+
+describe('DigitArray.ToNumber<DA>', () => {
+  test('no digit gets 0', () => {
+    type A = DigitArray.ToNumber<[]>
+    isType.t<Equal<A, 0>>()
+  })
+
+  test('single digit', () => {
+    isType.t<Equal<DigitArray.ToNumber<[0]>, 0>>()
+    isType.t<Equal<DigitArray.ToNumber<[1]>, 1>>()
+    isType.t<Equal<DigitArray.ToNumber<[2]>, 2>>()
+    isType.t<Equal<DigitArray.ToNumber<[3]>, 3>>()
+    isType.t<Equal<DigitArray.ToNumber<[4]>, 4>>()
+    isType.t<Equal<DigitArray.ToNumber<[5]>, 5>>()
+    isType.t<Equal<DigitArray.ToNumber<[6]>, 6>>()
+    isType.t<Equal<DigitArray.ToNumber<[7]>, 7>>()
+    isType.t<Equal<DigitArray.ToNumber<[8]>, 8>>()
+    isType.t<Equal<DigitArray.ToNumber<[9]>, 9>>()
+
+  })
+
+  test('two digits', () => {
+    isType.t<Equal<DigitArray.ToNumber<[1, 0]>, 10>>()
+    isType.t<Equal<DigitArray.ToNumber<[1, 0]>, 10>>()
+    isType.t<Equal<DigitArray.ToNumber<[3, 1]>, 31>>()
+    isType.t<Equal<DigitArray.ToNumber<[13, 1]>, 131>>()
+    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 4]>, 1234>>()
+  })
+
+  test('multi digits', () => {
+    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 4]>, 1234>>()
+    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 5]>, 1235>>()
+  })
+})
+
+describe('DigitArray.Shift10<DA>', () => {
+  test('zero digit gets the same', () => {
+    isType.equal<true, [], DigitArray.Shift10<[]>>()
+  })
+
+  test('single digit gets the same', () => {
+    isType.equal<true, [5], DigitArray.Shift10<[5]>>()
+  })
+
+  test('two digits with leading 0 get trimmed', () => {
+    isType.equal<true, [5], DigitArray.Shift10<[0, 5]>>()
+  })
+  test('two digits gets value shifted', () => {
+    isType.equal<true, [15], DigitArray.Shift10<[1, 5]>>()
+    isType.equal<true, [8, 10], DigitArray.Shift10<[9, 0]>>()
+    isType.equal<true, [8, 19], DigitArray.Shift10<[9, 9]>>()
+  })
+  test('multiple digits', () => {
+    isType.equal<true, [11, 12, 14], DigitArray.Shift10<[0, 1, 2, 3, 4]>>()
+  })
+})
+
+describe('Digit.GreaterThan<A, B>', () => {
+  test('n > n is false', () => {
+    isType.equal<true, false, Digit.GreaterThan<0, 0>>()
+    isType.equal<true, false, Digit.GreaterThan<1, 1>>()
+    isType.equal<true, false, Digit.GreaterThan<2, 2>>()
+    isType.equal<true, false, Digit.GreaterThan<3, 3>>()
+    isType.equal<true, false, Digit.GreaterThan<4, 4>>()
+    isType.equal<true, false, Digit.GreaterThan<5, 5>>()
+    isType.equal<true, false, Digit.GreaterThan<6, 6>>()
+    isType.equal<true, false, Digit.GreaterThan<7, 7>>()
+    isType.equal<true, false, Digit.GreaterThan<8, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<9, 9>>()
+  })
+  test('N > m is true', () => {
+    isType.equal<true, true, Digit.GreaterThan<1, 0>>()
+    isType.equal<true, true, Digit.GreaterThan<2, 0>>()
+    isType.equal<true, true, Digit.GreaterThan<3, 0>>()
+    isType.equal<true, true, Digit.GreaterThan<4, 0>>()
+    isType.equal<true, true, Digit.GreaterThan<5, 0>>()
+    isType.equal<true, true, Digit.GreaterThan<6, 0>>()
+    isType.equal<true, true, Digit.GreaterThan<7, 0>>()
+    isType.equal<true, true, Digit.GreaterThan<8, 0>>()
+    isType.equal<true, true, Digit.GreaterThan<9, 0>>()
+
+    isType.equal<true, true, Digit.GreaterThan<2, 1>>()
+    isType.equal<true, true, Digit.GreaterThan<3, 1>>()
+    isType.equal<true, true, Digit.GreaterThan<4, 1>>()
+    isType.equal<true, true, Digit.GreaterThan<5, 1>>()
+    isType.equal<true, true, Digit.GreaterThan<6, 1>>()
+    isType.equal<true, true, Digit.GreaterThan<7, 1>>()
+    isType.equal<true, true, Digit.GreaterThan<8, 1>>()
+    isType.equal<true, true, Digit.GreaterThan<9, 1>>()
+
+    isType.equal<true, true, Digit.GreaterThan<3, 2>>()
+    isType.equal<true, true, Digit.GreaterThan<4, 2>>()
+    isType.equal<true, true, Digit.GreaterThan<5, 2>>()
+    isType.equal<true, true, Digit.GreaterThan<6, 2>>()
+    isType.equal<true, true, Digit.GreaterThan<7, 2>>()
+    isType.equal<true, true, Digit.GreaterThan<8, 2>>()
+    isType.equal<true, true, Digit.GreaterThan<9, 2>>()
+
+    isType.equal<true, true, Digit.GreaterThan<4, 3>>()
+    isType.equal<true, true, Digit.GreaterThan<5, 3>>()
+    isType.equal<true, true, Digit.GreaterThan<6, 3>>()
+    isType.equal<true, true, Digit.GreaterThan<7, 3>>()
+    isType.equal<true, true, Digit.GreaterThan<8, 3>>()
+    isType.equal<true, true, Digit.GreaterThan<9, 3>>()
+
+    isType.equal<true, true, Digit.GreaterThan<5, 4>>()
+    isType.equal<true, true, Digit.GreaterThan<6, 4>>()
+    isType.equal<true, true, Digit.GreaterThan<7, 4>>()
+    isType.equal<true, true, Digit.GreaterThan<8, 4>>()
+    isType.equal<true, true, Digit.GreaterThan<9, 4>>()
+
+    isType.equal<true, true, Digit.GreaterThan<6, 5>>()
+    isType.equal<true, true, Digit.GreaterThan<7, 5>>()
+    isType.equal<true, true, Digit.GreaterThan<8, 5>>()
+    isType.equal<true, true, Digit.GreaterThan<9, 5>>()
+
+    isType.equal<true, true, Digit.GreaterThan<7, 6>>()
+    isType.equal<true, true, Digit.GreaterThan<8, 6>>()
+    isType.equal<true, true, Digit.GreaterThan<9, 6>>()
+
+    isType.equal<true, true, Digit.GreaterThan<8, 7>>()
+    isType.equal<true, true, Digit.GreaterThan<9, 7>>()
+
+    isType.equal<true, true, Digit.GreaterThan<9, 8>>()
+  })
+
+  test('n > M is false', () => {
+    isType.equal<true, false, Digit.GreaterThan<0, 1>>()
+    isType.equal<true, false, Digit.GreaterThan<0, 2>>()
+    isType.equal<true, false, Digit.GreaterThan<0, 3>>()
+    isType.equal<true, false, Digit.GreaterThan<0, 4>>()
+    isType.equal<true, false, Digit.GreaterThan<0, 5>>()
+    isType.equal<true, false, Digit.GreaterThan<0, 6>>()
+    isType.equal<true, false, Digit.GreaterThan<0, 7>>()
+    isType.equal<true, false, Digit.GreaterThan<0, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<0, 9>>()
+
+    isType.equal<true, false, Digit.GreaterThan<1, 2>>()
+    isType.equal<true, false, Digit.GreaterThan<1, 3>>()
+    isType.equal<true, false, Digit.GreaterThan<1, 4>>()
+    isType.equal<true, false, Digit.GreaterThan<1, 5>>()
+    isType.equal<true, false, Digit.GreaterThan<1, 6>>()
+    isType.equal<true, false, Digit.GreaterThan<1, 7>>()
+    isType.equal<true, false, Digit.GreaterThan<1, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<1, 9>>()
+
+    isType.equal<true, false, Digit.GreaterThan<2, 3>>()
+    isType.equal<true, false, Digit.GreaterThan<2, 4>>()
+    isType.equal<true, false, Digit.GreaterThan<2, 5>>()
+    isType.equal<true, false, Digit.GreaterThan<2, 6>>()
+    isType.equal<true, false, Digit.GreaterThan<2, 7>>()
+    isType.equal<true, false, Digit.GreaterThan<2, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<2, 9>>()
+
+    isType.equal<true, false, Digit.GreaterThan<3, 4>>()
+    isType.equal<true, false, Digit.GreaterThan<3, 5>>()
+    isType.equal<true, false, Digit.GreaterThan<3, 6>>()
+    isType.equal<true, false, Digit.GreaterThan<3, 7>>()
+    isType.equal<true, false, Digit.GreaterThan<3, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<3, 9>>()
+
+    isType.equal<true, false, Digit.GreaterThan<4, 5>>()
+    isType.equal<true, false, Digit.GreaterThan<4, 6>>()
+    isType.equal<true, false, Digit.GreaterThan<4, 7>>()
+    isType.equal<true, false, Digit.GreaterThan<4, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<4, 9>>()
+
+    isType.equal<true, false, Digit.GreaterThan<5, 6>>()
+    isType.equal<true, false, Digit.GreaterThan<5, 7>>()
+    isType.equal<true, false, Digit.GreaterThan<5, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<5, 9>>()
+
+    isType.equal<true, false, Digit.GreaterThan<6, 7>>()
+    isType.equal<true, false, Digit.GreaterThan<6, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<6, 9>>()
+
+    isType.equal<true, false, Digit.GreaterThan<7, 8>>()
+    isType.equal<true, false, Digit.GreaterThan<7, 9>>()
+
+    isType.equal<true, false, Digit.GreaterThan<8, 9>>()
+  })
+})