type-plus 4.4.2 → 4.5.2

package/ts/array/Filter.spec.ts

@@ -1,21 +1,54 @@
-import { assertType, Equal, Filter } from '..'
-
-test('array matching criteria gets itself', () => {
-  type Actual = Filter<string[], string>
-  assertType.isTrue(true as Equal<string[], Actual>)
-})
-
-test('array not matching criteria gets never[]', () => {
-  type Actual = Filter<string[], number>
-  assertType.isTrue(true as Equal<never[], Actual>)
-})
-
-test('tuple filters to those matching criteria', () => {
-  type Actual = Filter<[1, 2, 3, 4], 2 | 4>
-  assertType.isTrue(true as Equal<[2, 4], Actual>)
-})
-
-test('tuple not value match criteria gets never[]', () => {
-  type Actual = Filter<[1, 2, 3, 4], 5>
-  assertType.isTrue(true as Equal<never[], Actual>)
-})
+import { Filter, isType } from '..'
+
+describe('Filter<A, C>', () => {
+  describe('A is array', () => {
+    test('array matching criteria gets itself', () => {
+      type Actual = Filter<string[], string>
+      isType.equal<true, string[], Actual>()
+    })
+
+    test('array not matching criteria gets never[]', () => {
+      type Actual = Filter<string[], number>
+      isType.equal<true, never[], Actual>()
+    })
+
+    test('remove unmatched type form array', () => {
+      type Actual = Filter<Array<string | number>, string>
+
+      isType.equal<true, string[], Actual>()
+    })
+
+    test('remove undefined and null', () => {
+      type Actual = Filter<Array<string | undefined | null>, string>
+      isType.equal<true, string[], Actual>()
+    })
+
+    test('can filter with undefined and null', () => {
+      type Actual = Filter<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 = Filter<never[], undefined>
+      isType.equal<true, never[], Actual>()
+    })
+  })
+
+  describe(`A is Tuple`, () => {
+    test('matching criteria', () => {
+      type Actual = Filter<[1, 2, 3, 4], 2 | 4>
+      isType.equal<true, [2, 4], Actual>()
+    })
+
+    test('no match gets never[]', () => {
+      type Actual = Filter<[1, 2, 3, 4], 5>
+      isType.equal<true, never[], Actual>()
+    })
+
+    test('matching undefined and null', () => {
+      type Actual = Filter<[1, undefined, 3, null], undefined | null>
+      isType.equal<true, [undefined, null], Actual>()
+    })
+  })
+})

package/ts/array/Filter.ts

@@ -1,12 +1,17 @@
-export type Filter<A extends Array<any>, Criteria> =
-  number extends A['length']
-  ? (A[0] extends Criteria ? A : 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 type Filter<A extends Array<any>, Criteria> =
+  number extends A['length']
+  // array
+  ? (A[0] extends Criteria
+    ? A
+    : (Criteria extends A[0] ? Array<Criteria> : never[])
+  )
+  // tuple
+  : (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))

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