type-plus 4.2.0 → 4.3.2

package/ts/array/Some.ts

@@ -1,24 +1,26 @@
-import { Equal } from '../predicates'
-import { Tail } from './Tail'
-import { UnionOfValues } from './UnionOfValues'
-
-export type Some<
-  A extends any[],
-  Criteria,
-  Mode extends 'strict' | 'loose' = 'loose',
-  Then = true,
-  Else = false
-  > =
-  Mode extends 'strict' ? SomeStrict<A, Criteria, Then, Else> :
-  number extends A['length'] ? UnionOfValues<A> extends Criteria ? Then : Else :
-  A['length'] extends 0 ? Else :
-  A[0] extends Criteria ? Then : Some<Tail<A>, Criteria, 'loose', Then, Else>
-
-type SomeStrict<A extends any[], Criteria, Then, Else> =
-  number extends A['length']
-  ? (Equal<UnionOfValues<A>, Criteria> extends true ? Then : Else)
-  : (A['length'] extends 0
-    ? Else
-    : (Equal<A[0], Criteria> extends true
-      ? Then
-      : SomeStrict<Tail<A>, Criteria, Then, Else>))
+import type { Equal } from '../predicates'
+import type { Tail } from './Tail'
+import type { UnionOfValues } from './UnionOfValues'
+
+export type Some<
+  A extends any[],
+  Criteria,
+  Mode extends 'strict' | 'loose' = 'loose',
+  Then = true,
+  Else = false
+  > =
+  Mode extends 'strict' ? Some.Strict<A, Criteria, Then, Else> :
+  number extends A['length'] ? UnionOfValues<A> extends Criteria ? Then : Else :
+  A['length'] extends 0 ? Else :
+  A[0] extends Criteria ? Then : Some<Tail<A>, Criteria, 'loose', Then, Else>
+
+export namespace Some {
+  export type Strict<A extends any[], Criteria, Then, Else> =
+    number extends A['length']
+    ? (Equal<UnionOfValues<A>, Criteria> extends true ? Then : Else)
+    : (A['length'] extends 0
+      ? Else
+      : (Equal<A[0], Criteria> extends true
+        ? Then
+        : Strict<Tail<A>, Criteria, Then, Else>))
+}

package/ts/functional/compose.spec.ts

@@ -0,0 +1,32 @@
+import { compose, isType } from '..'
+
+test('works with endofunctors: +2 *3', () => {
+  const plus2 = (x: number) => x + 2
+  const multiply3 = (x: number) => x * 3
+
+  const a = compose(plus2, multiply3)
+
+  isType.equal<true, (a: number) => number, typeof a>()
+  expect(a(2)).toBe(12)
+})
+
+test('cross types', () => {
+  const n2s = (n: number) => '' + n
+  const len1 = (s: string) => s.length === 1
+
+  const isSingleDigit = compose(n2s, len1)
+
+  isType.equal<true, (n: number) => boolean, typeof isSingleDigit>()
+  expect(isSingleDigit(1)).toBe(true)
+  expect(isSingleDigit(10)).toBe(false)
+})
+
+test('multiple params first function', () => {
+  const add = (a: number, b: number) => a + b
+  const multiply3 = (x: number) => x * 3
+
+  const a = compose(add, multiply3)
+
+  isType.equal<true, (a: number, b: number) => number, typeof a>()
+  expect(a(2, 2)).toBe(12)
+})

package/ts/functional/compose.ts

@@ -0,0 +1,9 @@
+import { Head, Last } from '../array'
+import { AnyFunction } from '../function/AnyFunction'
+
+/**
+ * compose functions
+ */
+export function compose<FS extends AnyFunction[]>(...fns: FS): (...args: Parameters<Head<FS>>) => ReturnType<Last<FS>> {
+  return (...args: any[]) => fns.reduce((args, fn) => [fn(...args)], args)[0] as any
+}

package/ts/functional/index.ts

@@ -1,2 +1,3 @@
 // export * from './Maybe'
 export type { ChainFn, EndoFn } from './ChainFn'
+export * from './compose'

package/ts/math/Abs.ts

@@ -1,4 +1,4 @@
-import { DigitArray } from './Digit'
-
-export type Abs<N extends number, Fail = never> = number extends N ? Fail :
-`${N}` extends `-${infer P}` ? DigitArray.ToNumber<DigitArray.FromString<P>> : N
+import type { DigitArray } from './Digit'
+
+export type Abs<N extends number, Fail = never> = number extends N ? Fail :
+  `${N}` extends `-${infer P}` ? DigitArray.ToNumber<DigitArray.FromString<P>> : N

package/ts/math/Add.ts

@@ -1,49 +1,52 @@
-import { PadLeft } from '../array'
-import { And } from '../predicates'
-import { Digit, DigitArray } from './Digit'
-import { IsPositive } from './IsPositive'
-import { IsWhole } from './IsWhole'
-import { Max } from './Max'
-
-/**
- * Add two number literals.
- */
-export type Add<A extends number, B extends number, Fail = never> =
-  And<
-    And<IsPositive<A>, IsWhole<A>>,
-    And<IsPositive<B>, IsWhole<B>>
-  > extends false ? Fail :
-  DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ?
-  DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ?
-  Max<DA['length'], DB['length']> extends infer M ? M extends number ?
-  PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ?
-  PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ?
-  DigitArray.ToNumber<AddDigitArray<PDA, PDB>>
-  : Fail : Fail
-  : Fail : Fail
-  : Fail : Fail
-  : Fail : Fail
-  : Fail : Fail
-
-type AddDigitArray<A extends number[], B extends number[]> = (
-  A extends [any, ...infer ATail]
-  ? (ATail extends number[]
-    ? (B extends [any, ...infer BTail]
-      ? (BTail extends number[]
-        ? [AddDigit<A[0], B[0]>, ...AddDigitArray<ATail, BTail>]
-        : [])
-      : [A[0], ...AddDigitArray<[], ATail>])
-    : [])
-  : (B extends [any, ...infer BTail]
-    ? (BTail extends number[]
-      ? [B[0], ...AddDigitArray<[], BTail>]
-      : [])
-    : [])
-)
-
-type AddDigit<A extends number, B extends number> = [...Digit.ToTuple[A], ...Digit.ToTuple[B]]['length']
-
-/**
- * Increment `A` by 1.
- */
-export type Increment<A extends number, Fail = never> = Add<A, 1, Fail>
+import type { PadLeft } from '../array'
+import type { And } from '../predicates'
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+import type { Digit, DigitArray } from './Digit'
+import type { IsPositive } from './IsPositive'
+import type { IsWhole } from './IsWhole'
+import type { Max } from './Max'
+
+/**
+ * Add two number literals.
+ */
+export type Add<A extends number, B extends number, Fail = never> =
+  And<
+    And<IsPositive<A>, IsWhole<A>>,
+    And<IsPositive<B>, IsWhole<B>>
+  > extends false ? Fail :
+  DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ?
+  DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ?
+  Max<DA['length'], DB['length']> extends infer M ? M extends number ?
+  PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ?
+  PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ?
+  DigitArray.ToNumber<Add.DigitArray<PDA, PDB>>
+  : Fail : Fail
+  : Fail : Fail
+  : Fail : Fail
+  : Fail : Fail
+  : Fail : Fail
+
+export namespace Add {
+  export type DigitArray<A extends number[], B extends number[]> = (
+    A extends [any, ...infer ATail]
+    ? (ATail extends number[]
+      ? (B extends [any, ...infer BTail]
+        ? (BTail extends number[]
+          ? [Digit<A[0], B[0]>, ...DigitArray<ATail, BTail>]
+          : [])
+        : [A[0], ...DigitArray<[], ATail>])
+      : [])
+    : (B extends [any, ...infer BTail]
+      ? (BTail extends number[]
+        ? [B[0], ...DigitArray<[], BTail>]
+        : [])
+      : [])
+  )
+
+  export type Digit<A extends number, B extends number> =
+    [...Digit.ToTuple[A], ...Digit.ToTuple[B]]['length']
+}
+/**
+ * Increment `A` by 1.
+ */
+export type Increment<A extends number, Fail = never> = Add<A, 1, Fail>

package/ts/math/Digit.ts

@@ -1,115 +1,115 @@
-import { Tail } from '../array'
-import { And } from '../predicates'
-import { IsPositive } from './IsPositive'
-import { IsWhole } from './IsWhole'
-
-export namespace Digit {
-  export type ToTuple = {
-    [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],
-  }
-
-  /**
-   * A > B for [1-9]
-   */
-  export type GreaterThan<A extends number, B extends number> = B extends GreaterThanMap[A] ? true : false
-
-  type GreaterThanMap = { [k in number]: number } & {
-    0: never,
-    1: 0,
-    2: 0 | 1,
-    3: 0 | 1 | 2,
-    4: 0 | 1 | 2 | 3,
-    5: 0 | 1 | 2 | 3 | 4,
-    6: 0 | 1 | 2 | 3 | 4 | 5,
-    7: 0 | 1 | 2 | 3 | 4 | 5 | 6,
-    8: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7,
-    9: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8,
-  }
-}
-
-export namespace DigitArray {
-  export type ToNumber<C extends number[]> = ToTuple<[], C>['length']
-
-  export 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 Multi10<C extends any[]> = [...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C]
-
-
-  export type FromNumber<N extends number> = FromString<NumberToString<N>>
-
-  type NumberToString<N extends number> = (And<IsPositive<N>, IsWhole<N>>) extends true ? `${N}` : never
-
-  export type FromString<S extends string> = S extends `1${infer L}` ? [1, ...FromString<L>]
-    : S extends `2${infer L}` ? [2, ...FromString<L>]
-    : S extends `3${infer L}` ? [3, ...FromString<L>]
-    : S extends `4${infer L}` ? [4, ...FromString<L>]
-    : S extends `5${infer L}` ? [5, ...FromString<L>]
-    : S extends `6${infer L}` ? [6, ...FromString<L>]
-    : S extends `7${infer L}` ? [7, ...FromString<L>]
-    : S extends `8${infer L}` ? [8, ...FromString<L>]
-    : S extends `9${infer L}` ? [9, ...FromString<L>]
-    : S extends `0${infer L}` ? [0, ...FromString<L>]
-    : []
-
-  export type Shift10<DA extends number[]> = TrimLeadingZero<Shift10State<[], DA>>
-  type Shift10State<R extends number[], DA extends number[]> =
-    DA['length'] extends 0
-    ? R
-    : (DA['length'] extends 1
-      ? [...R, ...DA]
-      : (DA extends [any, ...infer T]
-        ? (T extends number[]
-          ? (DA[0] extends 0
-            ? Shift10State<[...R, DA[0]], T>
-            : (T extends [any, ...infer Y]
-              ? (Y extends number[]
-                ? Shift10State<[...R, MinusOne[DA[0]]], [Plus10[T[0]], ...Y]>
-                : [])
-              : []))
-          : [])
-        : [])
-    )
-
-  type TrimLeadingZero<A extends number[]> =
-    A['length'] extends 0
-    ? A
-    : A[0] extends 0 ? TrimLeadingZero<Tail<A>> : A
-
-  type MinusOne = { [k in number]: number } & {
-    0: 0, 1: 0, 2: 1, 3: 2, 4: 3, 5: 4, 6: 5, 7: 6, 8: 7, 9: 8,
-    10: 9, 11: 10, 12: 11, 13: 12, 14: 13, 15: 14, 16: 15, 17: 16, 18: 17, 19: 18
-  }
-
-  type Plus10 = { [k in number]: number } &
-  { 0: 10, 1: 11, 2: 12, 3: 13, 4: 14, 5: 15, 6: 16, 7: 17, 8: 18, 9: 19 }
-}
+import { Tail } from '../array'
+import { And } from '../predicates'
+import { IsPositive } from './IsPositive'
+import { IsWhole } from './IsWhole'
+
+export namespace Digit {
+  export type ToTuple = {
+    [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],
+  }
+
+  /**
+   * A > B for [1-9]
+   */
+  export type GreaterThan<A extends number, B extends number> = B extends GreaterThanMap[A] ? true : false
+
+  export type GreaterThanMap = { [k in number]: number } & {
+    0: never,
+    1: 0,
+    2: 0 | 1,
+    3: 0 | 1 | 2,
+    4: 0 | 1 | 2 | 3,
+    5: 0 | 1 | 2 | 3 | 4,
+    6: 0 | 1 | 2 | 3 | 4 | 5,
+    7: 0 | 1 | 2 | 3 | 4 | 5 | 6,
+    8: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7,
+    9: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8,
+  }
+}
+
+export namespace DigitArray {
+  export type ToNumber<C extends number[]> = ToTuple<[], C>['length']
+
+  export 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))
+
+  export type Multi10<C extends any[]> = [...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C]
+
+
+  export type FromNumber<N extends number> = FromString<NumberToString<N>>
+
+  export type NumberToString<N extends number> = (And<IsPositive<N>, IsWhole<N>>) extends true ? `${N}` : never
+
+  export type FromString<S extends string> = S extends `1${infer L}` ? [1, ...FromString<L>]
+    : S extends `2${infer L}` ? [2, ...FromString<L>]
+    : S extends `3${infer L}` ? [3, ...FromString<L>]
+    : S extends `4${infer L}` ? [4, ...FromString<L>]
+    : S extends `5${infer L}` ? [5, ...FromString<L>]
+    : S extends `6${infer L}` ? [6, ...FromString<L>]
+    : S extends `7${infer L}` ? [7, ...FromString<L>]
+    : S extends `8${infer L}` ? [8, ...FromString<L>]
+    : S extends `9${infer L}` ? [9, ...FromString<L>]
+    : S extends `0${infer L}` ? [0, ...FromString<L>]
+    : []
+
+  export type Shift10<DA extends number[]> = TrimLeadingZero<Shift10State<[], DA>>
+  export type Shift10State<R extends number[], DA extends number[]> =
+    DA['length'] extends 0
+    ? R
+    : (DA['length'] extends 1
+      ? [...R, ...DA]
+      : (DA extends [any, ...infer T]
+        ? (T extends number[]
+          ? (DA[0] extends 0
+            ? Shift10State<[...R, DA[0]], T>
+            : (T extends [any, ...infer Y]
+              ? (Y extends number[]
+                ? Shift10State<[...R, MinusOne[DA[0]]], [Plus10[T[0]], ...Y]>
+                : [])
+              : []))
+          : [])
+        : [])
+    )
+
+  export type TrimLeadingZero<A extends number[]> =
+    A['length'] extends 0
+    ? A
+    : A[0] extends 0 ? TrimLeadingZero<Tail<A>> : A
+
+  export type MinusOne = { [k in number]: number } & {
+    0: 0, 1: 0, 2: 1, 3: 2, 4: 3, 5: 4, 6: 5, 7: 6, 8: 7, 9: 8,
+    10: 9, 11: 10, 12: 11, 13: 12, 14: 13, 15: 14, 16: 15, 17: 16, 18: 17, 19: 18
+  }
+
+  export type Plus10 = { [k in number]: number } &
+  { 0: 10, 1: 11, 2: 12, 3: 13, 4: 14, 5: 15, 6: 16, 7: 17, 8: 18, 9: 19 }
+}

package/ts/math/GreaterThan.ts

@@ -1,36 +1,38 @@
-import { Head, PadLeft, Tail } from '../array'
-import { And, Equal } from '../predicates'
-import { Digit, DigitArray } from './Digit'
-import { IsPositive } from './IsPositive'
-import { IsWhole } from './IsWhole'
-import { Max } from './Max'
-
-export type GreaterThan<A extends number, B extends number, Fail = never> =
-  And<
-    And<IsPositive<A>, IsWhole<A>>,
-    And<IsPositive<B>, IsWhole<B>>
-  > extends false ? Fail :
-  number extends A ? Fail :
-  number extends B ? Fail :
-  Equal<A, B> extends true ? false :
-  GreaterThanOnPositiveWhole<A, B>
-
-type GreaterThanOnPositiveWhole<A extends number, B extends number> = (
-  DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ?
-  DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ?
-  Max<DA['length'], DB['length']> extends infer M ? M extends number ?
-  PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ?
-  PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ?
-  GreaterThanOnDigitArray<PDA, PDB>
-  : never : never
-  : never : never
-  : never : never
-  : never : never
-  : never : never
-)
-
-type GreaterThanOnDigitArray<DA extends number[], DB extends number[]> = (
-  Equal<Head<DA>, Head<DB>> extends true ?
-  GreaterThanOnDigitArray<Tail<DA>, Tail<DB>> extends Tail<DA> ? true : false :
-  Digit.GreaterThan<Head<DA>, Head<DB>> extends true ? true : false
-)
+import type { Head, PadLeft, Tail } from '../array'
+import type { And, Equal } from '../predicates'
+import type { Digit, DigitArray } from './Digit'
+import type { IsPositive } from './IsPositive'
+import type { IsWhole } from './IsWhole'
+import type { Max } from './Max'
+
+export type GreaterThan<A extends number, B extends number, Fail = never> =
+  And<
+    And<IsPositive<A>, IsWhole<A>>,
+    And<IsPositive<B>, IsWhole<B>>
+  > extends false ? Fail :
+  number extends A ? Fail :
+  number extends B ? Fail :
+  Equal<A, B> extends true ? false :
+  GreaterThan.OnPositiveWhole<A, B>
+
+export namespace GreaterThan {
+  export type OnPositiveWhole<A extends number, B extends number> = (
+    DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ?
+    DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ?
+    Max<DA['length'], DB['length']> extends infer M ? M extends number ?
+    PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ?
+    PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ?
+    OnDigitArray<PDA, PDB>
+    : never : never
+    : never : never
+    : never : never
+    : never : never
+    : never : never
+  )
+
+  export type OnDigitArray<DA extends number[], DB extends number[]> = (
+    Equal<Head<DA>, Head<DB>> extends true ?
+    OnDigitArray<Tail<DA>, Tail<DB>> extends Tail<DA> ? true : false :
+    Digit.GreaterThan<Head<DA>, Head<DB>> extends true ? true : false
+  )
+}

package/ts/math/Max.ts

@@ -1,31 +1,32 @@
-import { Head, Tail } from '../array'
-import { And, Equal } from '../predicates'
-import { Digit, DigitArray } from './Digit'
-import { IsPositive } from './IsPositive'
-import { IsWhole } from './IsWhole'
-
-export type Max<A extends number, B extends number, Fail = never> =
-  And<IsPositive<A>, IsWhole<A>> extends false ? Fail :
-  And<IsPositive<B>, IsWhole<B>> extends false ? Fail :
-  number extends A ? Fail :
-  number extends B ? Fail :
-  Equal<A, B> extends true ? A :
-  MaxOnPositiveWhole<A, B>
-
-type MaxOnPositiveWhole<A extends number, B extends number> = (
-  DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ?
-  DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ?
-  MaxOnDigitArray<DA, DB> extends DA ? A : B
-  : never : never
-  : never : never
-)
-
-type MaxOnDigitArray<DA extends number[], DB extends number[]> =
-  Equal<DA['length'], DB['length']> extends true
-  ? (Equal<Head<DA>, Head<DB>> extends true
-    ? (Tail<DA> extends infer TDA ? TDA extends number[] ?
-      MaxOnDigitArray<TDA, Tail<DB>> extends TDA ? DA : DB
-      : never : never)
-    : Digit.GreaterThan<Head<DA>, Head<DB>> extends true ? DA : DB)
-  : MaxOnPositiveWhole<DA['length'], DB['length']> extends DA['length'] ? DA : DB
-
+import type { Head, Tail } from '../array'
+import type { And, Equal } from '../predicates'
+import type { Digit, DigitArray } from './Digit'
+import type { IsPositive } from './IsPositive'
+import type { IsWhole } from './IsWhole'
+
+export type Max<A extends number, B extends number, Fail = never> =
+  And<IsPositive<A>, IsWhole<A>> extends false ? Fail :
+  And<IsPositive<B>, IsWhole<B>> extends false ? Fail :
+  number extends A ? Fail :
+  number extends B ? Fail :
+  Equal<A, B> extends true ? A :
+  Max.OnPositiveWhole<A, B>
+
+export namespace Max {
+  export type OnPositiveWhole<A extends number, B extends number> = (
+    DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ?
+    DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ?
+    OnDigitArray<DA, DB> extends DA ? A : B
+    : never : never
+    : never : never
+  )
+
+  export type OnDigitArray<DA extends number[], DB extends number[]> =
+    Equal<DA['length'], DB['length']> extends true
+    ? (Equal<Head<DA>, Head<DB>> extends true
+      ? (Tail<DA> extends infer TDA ? TDA extends number[] ?
+        OnDigitArray<TDA, Tail<DB>> extends TDA ? DA : DB
+        : never : never)
+      : Digit.GreaterThan<Head<DA>, Head<DB>> extends true ? DA : DB)
+    : OnPositiveWhole<DA['length'], DB['length']> extends DA['length'] ? DA : DB
+}