type-plus 4.3.0 → 4.3.1

package/cjs/array/CreateTuple.d.ts

@@ -1,7 +1,8 @@
-import { IsPositive } from '../math';
+import type { IsPositive } from '../math';
 /**
  * Creates `Tuple<T>` with `L` number of elements.
  */
-export declare type CreateTuple<L extends number, T = any> = IsPositive<L> extends true ? Device<[], L, T> : never;
-declare type Device<R extends any[], L extends number, T> = R['length'] extends L ? R : Device<[T, ...R], L, T>;
-export {};
+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>;
+}

package/cjs/array/Some.d.ts

@@ -1,6 +1,7 @@
-import { Equal } from '../predicates';
-import { Tail } from './Tail';
-import { UnionOfValues } from './UnionOfValues';
-export declare 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>;
-declare 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>));
-export {};
+import type { Equal } from '../predicates';
+import type { Tail } from './Tail';
+import type { UnionOfValues } from './UnionOfValues';
+export declare 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 declare namespace Some {
+    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/cjs/math/Abs.d.ts

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

package/cjs/math/Add.d.ts

@@ -1,17 +1,21 @@
-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';
+import type { PadLeft } from '../array';
+import type { And } from '../predicates';
+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 declare 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;
-declare 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>] : []) : []));
-declare type AddDigit<A extends number, B extends number> = [...Digit.ToTuple[A], ...Digit.ToTuple[B]]['length'];
+export declare 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 declare namespace Add {
+    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>] : []) : []));
+    type Digit<A extends number, B extends number> = [
+        ...Digit.ToTuple[A],
+        ...Digit.ToTuple[B]
+    ]['length'];
+}
 /**
  * Increment `A` by 1.
  */
 export declare type Increment<A extends number, Fail = never> = Add<A, 1, Fail>;
-export {};

package/cjs/math/Digit.d.ts

@@ -3,7 +3,7 @@ import { And } from '../predicates';
 import { IsPositive } from './IsPositive';
 import { IsWhole } from './IsWhole';
 export declare namespace Digit {
-    export type ToTuple = {
+    type ToTuple = {
         [k in number]: any[];
     } & {
         0: [];
@@ -30,7 +30,7 @@ export declare namespace Digit {
     /**
      * A > B for [1-9]
      */
-    export type GreaterThan<A extends number, B extends number> = B extends GreaterThanMap[A] ? true : false;
+    type GreaterThan<A extends number, B extends number> = B extends GreaterThanMap[A] ? true : false;
     type GreaterThanMap = {
         [k in number]: number;
     } & {
@@ -45,16 +45,15 @@ export declare namespace Digit {
         8: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7;
         9: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8;
     };
-    export {};
 }
 export declare 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 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 Multi10<C extends any[]> = [...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C];
-    export type FromNumber<N extends number> = FromString<NumberToString<N>>;
+    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 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>] : [];
+    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 = {
@@ -95,5 +94,4 @@ export declare namespace DigitArray {
         8: 18;
         9: 19;
     };
-    export {};
 }

package/cjs/math/GreaterThan.d.ts

@@ -1,10 +1,11 @@
-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 declare 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>;
-declare 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);
-declare 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);
-export {};
+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 declare 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 declare namespace GreaterThan {
+    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);
+    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/cjs/math/Max.d.ts

@@ -1,9 +1,10 @@
-import { Head, Tail } from '../array';
-import { And, Equal } from '../predicates';
-import { Digit, DigitArray } from './Digit';
-import { IsPositive } from './IsPositive';
-import { IsWhole } from './IsWhole';
-export declare 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>;
-declare 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);
-declare 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;
-export {};
+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 declare 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 declare namespace Max {
+    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);
+    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;
+}

package/cjs/math/Subtract.d.ts

@@ -1,14 +1,15 @@
-import { PadLeft, Some, Tail } from '../array';
-import { And } from '../predicates';
-import { Digit, DigitArray } from './Digit';
-import { IsPositive } from './IsPositive';
-import { IsWhole } from './IsWhole';
-import { Max } from './Max';
-export declare type Subtract<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends true ? (DigitArray.Shift10<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[] ? SubtractDigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ? Some<Result, never, 'strict'> extends true ? Fail : DigitArray.ToNumber<Result> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail) : Fail;
-declare type SubtractDigitArray<R extends number[], A extends number[], B extends number[]> = A['length'] extends 0 ? R : SubtractDigitArray<[...R, SubtractDigit<A[0], B[0]>], Tail<A>, Tail<B>>;
-declare type SubtractDigit<A extends number, B extends number> = Digit.ToTuple[A] extends [...(infer U), ...Digit.ToTuple[B]] ? U['length'] : never;
+import type { PadLeft, Some, Tail } from '../array';
+import type { And } from '../predicates';
+import type { Digit, DigitArray } from './Digit';
+import type { IsPositive } from './IsPositive';
+import type { IsWhole } from './IsWhole';
+import type { Max } from './Max';
+export declare type Subtract<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends true ? (DigitArray.Shift10<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[] ? Subtract.DigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ? Some<Result, never, 'strict'> extends true ? Fail : DigitArray.ToNumber<Result> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail) : Fail;
+export declare namespace Subtract {
+    type DigitArray<R extends number[], A extends number[], B extends number[]> = A['length'] extends 0 ? R : DigitArray<[...R, Digit<A[0], B[0]>], Tail<A>, Tail<B>>;
+    type Digit<A extends number, B extends number> = Digit.ToTuple[A] extends [...(infer U), ...Digit.ToTuple[B]] ? U['length'] : never;
+}
 /**
  * A - 1
  */
 export declare type Decrement<A extends number, Fail = never> = Subtract<A, 1, Fail>;
-export {};

package/cjs/math/index.d.ts

@@ -1,5 +1,6 @@
 export type { Abs } from './Abs';
 export type { Add, Increment } from './Add';
+export type { Digit, DigitArray } from './Digit';
 export type { GreaterThan } from './GreaterThan';
 export type { IsPositive } from './IsPositive';
 export type { IsWhole } from './IsWhole';

package/cjs/nodejs/isNodeError.d.ts

@@ -1,4 +1,4 @@
-declare type SystemErrors = {
+export declare type SystemErrors = {
     'EACCES': Error & {
         code: 'EACCES';
     };
@@ -28,4 +28,3 @@ export declare type SystemErrorCodes = keyof SystemErrors;
  * Feel free to contribute.
  */
 export declare function isSystemError<C extends SystemErrorCodes>(code: C, err: unknown): err is SystemErrors[C];
-export {};

package/cjs/nodejs/isNodeError.js.map

@@ -1 +1 @@
-{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":";;;AAoBA;;;;GAIG;AACH,SAAgB,aAAa,CAA6B,IAAO,EAAE,GAAY;IAC7E,OAAO,CAAC,CAAC,GAAG,IAAK,GAAW,CAAC,IAAI,KAAK,IAAI,CAAA;AAC5C,CAAC;AAFD,sCAEC"}
+{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":";;;AAmBA;;;;GAIG;AACH,SAAgB,aAAa,CAA6B,IAAO,EAAE,GAAY;IAC7E,OAAO,CAAC,CAAC,GAAG,IAAK,GAAW,CAAC,IAAI,KAAK,IAAI,CAAA;AAC5C,CAAC;AAFD,sCAEC"}

package/cjs/object/split.d.ts

@@ -2,7 +2,7 @@ import { AnyRecord, Omit } from '..';
 declare type Splitter<T extends AnyRecord> = Partial<{
     [k in keyof T]: T[k] | undefined;
 }>;
-declare type Split<T extends AnyRecord, S extends AnyRecord> = {
+export declare type Split<T extends AnyRecord, S extends AnyRecord> = {
     [k in keyof S]: NonNullable<T[k]> | S[k];
 };
 /**

package/esm/nodejs/isNodeError.js.map

@@ -1 +1 @@
-{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":"AAoBA;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAA6B,IAAO,EAAE,GAAY;IAC7E,OAAO,CAAC,CAAC,GAAG,IAAK,GAAW,CAAC,IAAI,KAAK,IAAI,CAAA;AAC5C,CAAC"}
+{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":"AAmBA;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAA6B,IAAO,EAAE,GAAY;IAC7E,OAAO,CAAC,CAAC,GAAG,IAAK,GAAW,CAAC,IAAI,KAAK,IAAI,CAAA;AAC5C,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "type-plus",
-  "version": "4.3.0",
-  "description": "Provides additional types for `typescript`.",
+  "version": "4.3.1",
+  "description": "Provides additional types for TypeScript.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {
     "url": "https://github.com/unional/type-plus/issues"
@@ -26,9 +26,10 @@
     "ts"
   ],
   "scripts": {
-    "build": "run-p build:cjs build:esm",
+    "build": "run-p build:cjs build:esm build:doc",
     "build:cjs": "tsc -p tsconfig.cjs.json",
     "build:esm": "tsc -p tsconfig.esm.json",
+    "build:doc": "typedoc",
     "clean": "rimraf cjs esm coverage lib libm",
     "coverage": "jest --coverage",
     "depcheck": "yarn dependency-check",
@@ -83,6 +84,7 @@
     "rimraf": "^3.0.2",
     "satisfier": "^5.1.2",
     "size-limit": "^7.0.8",
+    "typedoc": "^0.22.13",
     "typescript": "^4.6.2"
   },
   "size-limit": [

package/ts/array/CreateTuple.ts

@@ -1,10 +1,12 @@
-import { IsPositive } from '../math'
+import type { IsPositive } from '../math'
 
 /**
  * Creates `Tuple<T>` with `L` number of elements.
  */
 export type CreateTuple<L extends number, T = any> =
-  IsPositive<L> extends true ? Device<[], L, T> : never
+  IsPositive<L> extends true ? CreateTuple.Device<[], L, T> : never
 
-type Device<R extends any[], L extends number, T> =
-  R['length'] extends L ? R : Device<[T, ...R], L, T>
+export namespace CreateTuple {
+  export type Device<R extends any[], L extends number, T> =
+    R['length'] extends L ? R : Device<[T, ...R], L, T>
+}

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/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
+}

package/ts/math/Subtract.ts

@@ -1,40 +1,43 @@
-import { PadLeft, Some, Tail } from '../array'
-import { And } from '../predicates'
-import { Digit, DigitArray } from './Digit'
-import { IsPositive } from './IsPositive'
-import { IsWhole } from './IsWhole'
-import { Max } from './Max'
-
-export type Subtract<A extends number, B extends number, Fail = never> =
-  And<
-    And<IsPositive<A>, IsWhole<A>>,
-    And<IsPositive<B>, IsWhole<B>>
-  > extends true
-  ? (DigitArray.Shift10<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[] ?
-    SubtractDigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ?
-    Some<Result, never, 'strict'> extends true ? Fail :
-    DigitArray.ToNumber<Result>
-    : Fail : Fail
-    : Fail : Fail
-    : Fail : Fail
-    : Fail : Fail
-    : Fail : Fail
-    : Fail : Fail)
-  : Fail
-
-type SubtractDigitArray<R extends number[], A extends number[], B extends number[]> =
-  A['length'] extends 0 ? R :
-  SubtractDigitArray<[...R, SubtractDigit<A[0], B[0]>], Tail<A>, Tail<B>>
-
-
-type SubtractDigit<A extends number, B extends number> =
-  Digit.ToTuple[A] extends [...(infer U), ...Digit.ToTuple[B]] ? U['length'] : never
-
-/**
- * A - 1
- */
-export type Decrement<A extends number, Fail = never> = Subtract<A, 1, Fail>
+import type { PadLeft, Some, Tail } 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'
+
+export type Subtract<A extends number, B extends number, Fail = never> =
+  And<
+    And<IsPositive<A>, IsWhole<A>>,
+    And<IsPositive<B>, IsWhole<B>>
+  > extends true
+  ? (DigitArray.Shift10<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[] ?
+    Subtract.DigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ?
+    Some<Result, never, 'strict'> extends true ? Fail :
+    DigitArray.ToNumber<Result>
+    : Fail : Fail
+    : Fail : Fail
+    : Fail : Fail
+    : Fail : Fail
+    : Fail : Fail
+    : Fail : Fail)
+  : Fail
+
+export namespace Subtract {
+  export type DigitArray<R extends number[], A extends number[], B extends number[]> =
+    A['length'] extends 0 ? R :
+    DigitArray<[...R, Digit<A[0], B[0]>], Tail<A>, Tail<B>>
+
+
+  export type Digit<A extends number, B extends number> =
+    Digit.ToTuple[A] extends [...(infer U), ...Digit.ToTuple[B]] ? U['length'] : never
+}
+
+/**
+ * A - 1
+ */
+export type Decrement<A extends number, Fail = never> = Subtract<A, 1, Fail>

package/ts/math/index.ts

@@ -1,5 +1,6 @@
 export type { Abs } from './Abs'
 export type { Add, Increment } from './Add'
+export type { Digit, DigitArray } from './Digit'
 export type { GreaterThan } from './GreaterThan'
 export type { IsPositive } from './IsPositive'
 export type { IsWhole } from './IsWhole'

package/ts/nodejs/isNodeError.ts

@@ -1,5 +1,4 @@
-
-type SystemErrors = {
+export type SystemErrors = {
   'EACCES': Error & { code: 'EACCES' },
   'EADDRINUSE': Error & { code: 'EADDRINUSE' },
   'ECONNREFUSED': Error,

package/ts/object/split.ts

@@ -1,7 +1,7 @@
 import { AnyRecord, Omit, reduceByKey } from '..'
 
 type Splitter<T extends AnyRecord> = Partial<{ [k in keyof T]: T[k] | undefined }>
-type Split<T extends AnyRecord, S extends AnyRecord> = { [k in keyof S]: NonNullable<T[k]> | S[k] }
+export type Split<T extends AnyRecord, S extends AnyRecord> = { [k in keyof S]: NonNullable<T[k]> | S[k] }
 
 /**
  * Split an object into multiple objects.