type-plus 4.5.1 → 4.6.1

package/README.md

@@ -285,12 +285,14 @@ type No = IsAny<1, 'yes', 'no'> // 'no'
 - `CreateTuple<L, T>`: Creates `Tuple<T>` with `L` number of elements.
 - `DropFirst<A>`: drops the first value type of `A`.
 - `DropLast<A>`: drops the last value type of `A`.
-- `Filter<A, Criteria>`: gets the array of types satisfying `Criteria` in `A`.
+- `DropMatch<A, Criteria>`: drops entries matching `Criteria` in array or tuple `A`.
+- `Filter<A, Criteria>`: filter the array or tuple `A`, keeping entries satisfying `Criteria`. **deprecated. Renaming to `KeepMatch`**
 - `FindFirst<A, Criteria>`: gets the first type satisfying `Criteria`.
 - `FindLast<A, Criteria>`: gets the last type satisfying `Criteria`.
 - `Head<A>`: gets the first entry in the array.
 - `IntersectOfProps<A, K>`: gets the intersect of `A[K]` types (deprecate `MapToProp`)
 - `IsArray<T>`: `logical` predicate for `Array`.
+- `KeepMatch<A, Criteria>`: keeps entries satisfying `Criteria` in array or tuple `A`.
 - `Last<A>`: gets the last type of an array or tuple.
 - `literalArray(...entries)`: return an array whose items are restricted to the provided literals.
 - `PadLeft<A, Total, PadWith>`: pads `A` with `PadWith` if the length of `A` is less than `L`.

package/cjs/array/CreateTuple.d.ts

@@ -1,5 +1,2 @@
-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 { 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/array/DropMatch.d.ts

@@ -0,0 +1,5 @@
+import { Equal } from '../predicates';
+declare type ExcludeUnionOfEmptyTuple<A> = Equal<A, []> extends true ? A : Exclude<A, []>;
+export declare type DropMatch<A extends Array<any>, Criteria> = number extends A['length'] ? (A[0] extends Criteria ? never[] : (undefined extends Criteria ? Array<NonNullable<A[0]>> : (Criteria extends A[0] ? Array<Exclude<A[0], Criteria>> : A))) : DropMatchTuple<A, Criteria>;
+declare type DropMatchTuple<A extends Array<any>, Criteria> = (A['length'] extends 0 ? A : (A extends [infer Head, ...infer Tail] ? (Tail['length'] extends 0 ? (undefined extends Criteria ? (Head extends Criteria ? [] : [Head]) : ExcludeUnionOfEmptyTuple<(Head extends Criteria ? [] : [Head])>) : (Exclude<Head, Criteria> extends never ? DropMatch<Tail, Criteria> : [Exclude<Head, Criteria>, ...DropMatch<Tail, Criteria>])) : never[]));
+export {};

package/cjs/array/DropMatch.js

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

package/cjs/array/DropMatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DropMatch.js","sourceRoot":"","sources":["../../ts/array/DropMatch.ts"],"names":[],"mappings":""}

package/cjs/array/Filter.d.ts

@@ -1 +1,2 @@
 export declare type Filter<A extends Array<any>, Criteria> = number extends A['length'] ? (A[0] extends Criteria ? A : (Criteria extends A[0] ? Array<Criteria> : never[])) : (A['length'] extends 0 ? never : (A extends [infer Head, ...infer Tail] ? (Tail['length'] extends 0 ? (Head extends Criteria ? [Head] : never[]) : (Head extends Criteria ? [Head, ...Filter<Tail, Criteria>] : Filter<Tail, Criteria>)) : never));
+export declare type KeepMatch<A extends Array<any>, Criteria> = Filter<A, Criteria>;

package/cjs/array/index.d.ts

@@ -3,7 +3,8 @@ export type { Concat } from './Concat';
 export type { CreateTuple } from './CreateTuple';
 export type { DropFirst } from './DropFirst';
 export type { DropLast } from './DropLast';
-export type { Filter } from './Filter';
+export type { DropMatch } from './DropMatch';
+export type { Filter, KeepMatch } from './Filter';
 export type { FindFirst, First } from './FindFirst';
 export type { FindLast } from './FindLast';
 export type { Head } from './Head';

package/cjs/array/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAYA,iDAA8B;AAE9B,gDAA6B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAaA,iDAA8B;AAE9B,gDAA6B"}

package/cjs/math/Digit.d.ts

@@ -3,29 +3,29 @@ import { And } from '../predicates';
 import { IsPositive } from './IsPositive';
 import { IsWhole } from './IsWhole';
 export declare namespace Digit {
-    type ToTuple = {
+    type ToTuple<T = 1> = {
         [k in number]: any[];
     } & {
         0: [];
-        1: [1];
-        2: [1, 1];
-        3: [1, 1, 1];
-        4: [1, 1, 1, 1];
-        5: [1, 1, 1, 1, 1];
-        6: [1, 1, 1, 1, 1, 1];
-        7: [1, 1, 1, 1, 1, 1, 1];
-        8: [1, 1, 1, 1, 1, 1, 1, 1];
-        9: [1, 1, 1, 1, 1, 1, 1, 1, 1];
-        10: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        11: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        12: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        13: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        14: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        15: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        16: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        17: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        18: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        19: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
+        1: [T];
+        2: [T, T];
+        3: [T, T, T];
+        4: [T, T, T, T];
+        5: [T, T, T, T, T];
+        6: [T, T, T, T, T, T];
+        7: [T, T, T, T, T, T, T];
+        8: [T, T, T, T, T, T, T, T];
+        9: [T, T, T, T, T, T, T, T, T];
+        10: [T, T, T, T, T, T, T, T, T, T];
+        11: [T, T, T, T, T, T, T, T, T, T, T];
+        12: [T, T, T, T, T, T, T, T, T, T, T, T];
+        13: [T, T, T, T, T, T, T, T, T, T, T, T, T];
+        14: [T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        15: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        16: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        17: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        18: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        19: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
     };
     type GreaterThan<A extends number, B extends number> = B extends GreaterThanMap[A] ? true : false;
     type GreaterThanMap = {
@@ -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/esm/array/DropMatch.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=DropMatch.js.map

package/esm/array/DropMatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DropMatch.js","sourceRoot":"","sources":["../../ts/array/DropMatch.ts"],"names":[],"mappings":""}

package/esm/array/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":"AAYA,cAAc,gBAAgB,CAAA;AAE9B,cAAc,eAAe,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":"AAaA,cAAc,gBAAgB,CAAA;AAE9B,cAAc,eAAe,CAAA"}

package/package.json

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

package/ts/array/CreateTuple.spec.ts

@@ -1,21 +1,34 @@
-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', () => {
+  type A = CreateTuple<3>
+  isType.equal<true, [any, any, any], A>()
+})
+
+test('override element type', () => {
+  type A = CreateTuple<5, 1>
+  isType.equal<true, [1, 1, 1, 1, 1], A>()
+})
+
+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,12 @@
-import type { IsPositive } from '../math'
+import { DigitArray, IsPositive } from '../math'
 
 /**
  * Creates `Tuple<T>` with `L` number of elements.
+ * @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> =
-  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
+  ? DigitArray.ToTuple<[], DigitArray.FromNumber<L>, T>
+  : never

package/ts/array/DropMatch.spec.ts

@@ -0,0 +1,113 @@
+import { DropMatch, isType } from '..'
+
+describe('DropMatch<A, C>', () => {
+  describe('A is array', () => {
+    test('drop all types gets never[]', () => {
+      type A = DropMatch<Array<string>, string>
+      isType.equal<true, never[], A>()
+
+      type B = DropMatch<Array<string | boolean>, string | boolean>
+      isType.equal<true, never[], B>()
+    })
+
+    test('drop undefined and null from array', () => {
+      type A = DropMatch<Array<string | undefined>, undefined>
+      isType.equal<true, string[], A>()
+
+      type B = DropMatch<Array<string | number | undefined>, undefined>
+      isType.equal<true, Array<string | number>, B>()
+
+      type C = DropMatch<Array<string | number | undefined | null>, undefined | null>
+      isType.equal<true, Array<string | number>, C>()
+    })
+
+    test('can get undefined and null array when other types dropped', () => {
+      type A = DropMatch<Array<string | undefined>, string>
+      isType.equal<true, undefined[], A>()
+
+      type B = DropMatch<Array<string | number | null>, string>
+      isType.equal<true, Array<number | null>, B>()
+    })
+
+    test('unmatched criteria returns original', () => {
+      type Actual = DropMatch<Array<string | undefined>, number>
+
+      isType.equal<true, Array<string | undefined>, Actual>()
+    })
+  })
+
+  describe('A is Tuple', () => {
+    test('empty tuple', () => {
+      type A = DropMatch<[], undefined>
+      isType.equal<true, [], A>()
+
+      type B = DropMatch<[1, undefined], undefined>
+      isType.equal<true, [1], B>()
+
+      type C = DropMatch<[1, undefined, 3], undefined>
+      isType.equal<true, [1, 3], C>()
+
+      type D = DropMatch<[1, string | undefined, 3], undefined>
+      isType.equal<true, [1, string, 3], D>()
+    })
+
+    test('drop undefined from tuple', () => {
+      type A = DropMatch<[undefined], undefined>
+      isType.equal<true, [], A>()
+
+      type B = DropMatch<[1, undefined], undefined>
+      isType.equal<true, [1], B>()
+
+      type C = DropMatch<[1, undefined, 3], undefined>
+      isType.equal<true, [1, 3], C>()
+
+      type D = DropMatch<[1, string | undefined, 3], undefined>
+      isType.equal<true, [1, string, 3], D>()
+    })
+
+    test('get original if not matched', () => {
+      type A = DropMatch<[1], undefined>
+      isType.equal<true, [1], A>()
+
+      type B = DropMatch<[1], undefined | string>
+      isType.equal<true, [1], B>()
+
+      type C = DropMatch<[1, 2, 3, 4], 5>
+      isType.equal<true, [1, 2, 3, 4], C>()
+    })
+
+    test('drop narrow type', () => {
+      type C = DropMatch<[1], number>
+      isType.equal<true, [], C>()
+    })
+
+    test('keep widen type', () => {
+      type D = DropMatch<[number], 1>
+      isType.equal<true, [number], D>()
+    })
+
+    test('drop type from tuple', () => {
+      type A = DropMatch<[1], 1>
+      isType.equal<true, [], A>()
+
+      type B = DropMatch<[number | string], number>
+      isType.equal<true, [string], B>()
+
+      type C = DropMatch<[1, undefined, 3], 1>
+      isType.equal<true, [undefined, 3], C>()
+
+      type D = DropMatch<[1, string | undefined, 3], 3>
+      isType.equal<true, [1, string | undefined], D>()
+    })
+
+    test('drop multiple types', () => {
+      type Actual = DropMatch<[1, 2, 3, 4], 2 | 4>
+      isType.equal<true, [1, 3], Actual>()
+    })
+
+    test('drop undefined and null', () => {
+      type Actual = DropMatch<[1, undefined, 3, null], undefined | null>
+      isType.equal<true, [1, 3], Actual>()
+    })
+  })
+})

package/ts/array/DropMatch.ts

@@ -0,0 +1,53 @@
+import { Equal } from '../predicates'
+
+type ExcludeUnionOfEmptyTuple<A> = Equal<A, []> extends true ? A : Exclude<A, []>
+
+/**
+ * drops entries matching `Criteria` in array or tuple `A`.
+ */
+export type DropMatch<A extends Array<any>, Criteria> =
+  number extends A['length']
+  // array
+  ? (A[0] extends Criteria
+    // criteria matches: DropAll<string[], string>
+    ? never[]
+    : (undefined extends Criteria
+      ? Array<NonNullable<A[0]>>
+      // TODO: A[0] extends Criteria?
+      : (Criteria extends A[0] ? Array<Exclude<A[0], Criteria>> : A))
+  )
+  : DropMatchTuple<A, Criteria>
+
+type DropMatchTuple<A extends Array<any>, Criteria> =
+  (A['length'] extends 0
+    // empty tuple
+    ? A
+    : (A extends [infer Head, ...infer Tail]
+      ? (Tail['length'] extends 0
+        // single element tuple
+        ? (undefined extends Criteria
+          ? (Head extends Criteria
+            ? []
+            : [Head])
+          : ExcludeUnionOfEmptyTuple<(Head extends Criteria ? [] : [Head])>
+        )
+        // multiple elements
+        : (Exclude<Head, Criteria> extends never
+          ? DropMatch<Tail, Criteria>
+          : [Exclude<Head, Criteria>, ...DropMatch<Tail, Criteria>]
+        ))
+      : never[]))
+  // : (undefined extends Criteria
+  //   ? (Head extends undefined
+  //     ? DropAll<Tail, Criteria>
+  //     : [NonNullable<Head>, ...DropAll<Tail, Criteria>])
+  //   : []
+  // ))
+  // : (Head extends Criteria
+  //   ? (undefined extends Criteria
+  //     ? [1, 2, 3]// [NonNullable<Head>, ...Filter<Tail, Criteria>]
+  //     : [2, 3]// [Head, ...Filter<Tail, Criteria>]
+  //   )
+  //   : [2]//Filter<Tail, Criteria>
+  // ))
+  // : 2[]))

package/ts/array/Filter.spec.ts

@@ -1,4 +1,4 @@
-import { Filter, isType } from '..'
+import { Filter, isType, KeepMatch } from '..'
 
 describe('Filter<A, C>', () => {
   describe('A is array', () => {
@@ -52,3 +52,56 @@ describe('Filter<A, C>', () => {
     })
   })
 })
+
+describe('KeepMatch<A, C>', () => {
+  describe('A is array', () => {
+    test('array matching criteria gets itself', () => {
+      type Actual = KeepMatch<string[], string>
+      isType.equal<true, string[], Actual>()
+    })
+
+    test('array not matching criteria gets never[]', () => {
+      type Actual = KeepMatch<string[], number>
+      isType.equal<true, never[], Actual>()
+    })
+
+    test('remove unmatched type form array', () => {
+      type Actual = KeepMatch<Array<string | number>, string>
+
+      isType.equal<true, string[], Actual>()
+    })
+
+    test('remove undefined and null', () => {
+      type Actual = KeepMatch<Array<string | undefined | null>, string>
+      isType.equal<true, string[], Actual>()
+    })
+
+    test('can filter with undefined and null', () => {
+      type Actual = KeepMatch<Array<string | undefined | null>, undefined | null>
+      // Array<undefined | null> is destructured to undefined[] | null[] by TypeScript
+      isType.equal<true, undefined[] | null[], Actual>()
+    })
+
+    test('work with never[]', () => {
+      type Actual = KeepMatch<never[], undefined>
+      isType.equal<true, never[], Actual>()
+    })
+  })
+
+  describe(`A is Tuple`, () => {
+    test('matching criteria', () => {
+      type Actual = KeepMatch<[1, 2, 3, 4], 2 | 4>
+      isType.equal<true, [2, 4], Actual>()
+    })
+
+    test('no match gets never[]', () => {
+      type Actual = KeepMatch<[1, 2, 3, 4], 5>
+      isType.equal<true, never[], Actual>()
+    })
+
+    test('matching undefined and null', () => {
+      type Actual = KeepMatch<[1, undefined, 3, null], undefined | null>
+      isType.equal<true, [undefined, null], Actual>()
+    })
+  })
+})

package/ts/array/Filter.ts

@@ -1,3 +1,7 @@
+/**
+ * filter the array or tuple `A`, keeping entries satisfying `Criteria`.
+ * @deprecated renaming to `KeepMatch`
+ */
 export type Filter<A extends Array<any>, Criteria> =
   number extends A['length']
   // array
@@ -15,3 +19,8 @@ export type Filter<A extends Array<any>, Criteria> =
           ? [Head, ...Filter<Tail, Criteria>]
           : Filter<Tail, Criteria>))
       : never))
+
+/**
+ * keeps entries satisfying `Criteria` in array or tuple `A`.
+ */
+export type KeepMatch<A extends Array<any>, Criteria> = Filter<A, Criteria>

package/ts/array/index.ts

@@ -3,7 +3,8 @@ export type { Concat } from './Concat'
 export type { CreateTuple } from './CreateTuple'
 export type { DropFirst } from './DropFirst'
 export type { DropLast } from './DropLast'
-export type { Filter } from './Filter'
+export type { DropMatch } from './DropMatch'
+export type { Filter, KeepMatch } from './Filter'
 export type { FindFirst, First } from './FindFirst'
 export type { FindLast } from './FindLast'
 export type { Head } from './Head'

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>>()
+  })
+})

package/ts/math/Digit.ts

@@ -4,29 +4,29 @@ import { IsPositive } from './IsPositive'
 import { IsWhole } from './IsWhole'
 
 export namespace Digit {
-  export type ToTuple = {
+  export type ToTuple<T = 1> = {
     [k in number]: any[]
   } & {
     0: [],
-    1: [1],
-    2: [1, 1],
-    3: [1, 1, 1],
-    4: [1, 1, 1, 1],
-    5: [1, 1, 1, 1, 1],
-    6: [1, 1, 1, 1, 1, 1],
-    7: [1, 1, 1, 1, 1, 1, 1],
-    8: [1, 1, 1, 1, 1, 1, 1, 1],
-    9: [1, 1, 1, 1, 1, 1, 1, 1, 1],
-    10: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    11: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    12: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    13: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    14: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    15: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    16: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    17: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    18: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
-    19: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
+    1: [T],
+    2: [T, T],
+    3: [T, T, T],
+    4: [T, T, T, T],
+    5: [T, T, T, T, T],
+    6: [T, T, T, T, T, T],
+    7: [T, T, T, T, T, T, T],
+    8: [T, T, T, T, T, T, T, T],
+    9: [T, T, T, T, T, T, T, T, T],
+    10: [T, T, T, T, T, T, T, T, T, T],
+    11: [T, T, T, T, T, T, T, T, T, T, T],
+    12: [T, T, T, T, T, T, T, T, T, T, T, T],
+    13: [T, T, T, T, T, T, T, T, T, T, T, T, T],
+    14: [T, T, T, T, T, T, T, T, T, T, T, T, T, T],
+    15: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T],
+    16: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T],
+    17: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T],
+    18: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T],
+    19: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T],
   }
 
   /**
@@ -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))