type-plus 6.8.0 → 7.0.0

package/esm/math/Subtract.d.ts

@@ -1,19 +0,0 @@
-import type { PadLeft, Some, Tail } from '../array/index.js';
-import type { IsInteger } from '../number/integer.js';
-import type { IsPositive } from '../number/positive.js';
-import type { And } from '../predicates/index.js';
-import type { Digit, DigitArray } from './Digit.js';
-import type { Max } from './Max.js';
-export type Subtract<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsInteger<A>>, And<IsPositive<B>, IsInteger<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 type Decrement<A extends number, Fail = never> = Subtract<A, 1, Fail>;
-//# sourceMappingURL=Subtract.d.ts.map

package/esm/math/Subtract.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Subtract.d.ts","sourceRoot":"","sources":["../../ts/math/Subtract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,GAAG,CAC3E,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAChC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAChC,SAAS,IAAI,GACX,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAC5D,EAAE,SAAS,MAAM,EAAE,GAClB,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GACxC,EAAE,SAAS,MAAM,EAAE,GAClB,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,GAC9C,CAAC,SAAS,MAAM,GACf,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAClC,GAAG,SAAS,MAAM,EAAE,GACnB,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAClC,GAAG,SAAS,MAAM,EAAE,GACnB,QAAQ,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,SAAS,MAAM,MAAM,GACrD,MAAM,SAAS,MAAM,EAAE,GACtB,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,IAAI,GACzC,IAAI,GACJ,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,GAC5B,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,GACL,IAAI,CAAA;AAEP,yBAAiB,QAAQ,CAAC;IACzB,KAAY,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvG,CAAC,GACD,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAE1D,KAAY,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QAChF,GAAG,MAAM,CAAC;QACV,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;KACnB,GACE,CAAC,CAAC,QAAQ,CAAC,GACX,KAAK,CAAA;CACR;AAED;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA"}

package/esm/math/Subtract.js

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

package/esm/math/Subtract.js.map

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

package/esm/number/integer.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"integer.d.ts","sourceRoot":"","sources":["../../ts/number/integer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAC5D,CAAC,EACD,IAAI,EACJ;IAAC,CAAC;CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CACzE,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE1E;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAElF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/number/negative.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"negative.d.ts","sourceRoot":"","sources":["../../ts/number/negative.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAE7C;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CACtD,CAAC,EACD,IAAI,GAAG,IAAI,EACX,OAAO,CACN,CAAC,EACD,IAAI,EACJ;IAAC,MAAM;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAC5B,IAAI,GACJ,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAC/B,IAAI,GACJ,CAAC,SAAS,IAAI,GACd,IAAI,GACJ,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,GAC7B,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,IAAI,GACJ,IAAI,GACL,IAAI,CACP,CACD,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CACzD,CAAC,EACD,IAAI,GAAG,IAAI,EACX,OAAO,CACN,CAAC,EACD,IAAI,EACJ;IAAC,MAAM;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAC5B,IAAI,GACJ,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAC/B,IAAI,GACJ,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,GAC7B,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,IAAI,GACJ,IAAI,GACL,IAAI,CACP,CACD,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/number/numeric_type.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"numeric_type.d.ts","sourceRoot":"","sources":["../../ts/number/numeric_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAE1D;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,CAAA;AAErC;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,CAAA;AAEzB;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAA;AAE/G;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAElF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/number/positive.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"positive.d.ts","sourceRoot":"","sources":["../../ts/number/positive.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAErC;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CACtD,CAAC,EACD,IAAI,GAAG,IAAI,EACX,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAChG,CAAA;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/predicates/isType.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"isType.d.ts","sourceRoot":"","sources":["../../ts/predicates/isType.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAE9C;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,CAAA;AACnD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,IAAI,CAAC,CAAA;yBAAvE,MAAM;;;;;;AAatB;;GAEG;AACH,iBAAS,OAAO,CAAC,CAAC,SAAS,KAAK,KAAK,OAAO,CAAA;AAC5C;;GAEG;AACH,iBAAS,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,IAAI,KAAK,CAAA"}

package/esm/predicates/isType.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"isType.js","sourceRoot":"","sources":["../../ts/predicates/isType.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAmC;IAC3E,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/C,CAAC;AAED,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AACjD,CAAC,CAAA;AAED,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAChD,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AAClD,CAAC,CAAA;AAUD,SAAS,OAAO,CAAC,OAAiB;IACjC,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,GAAG,OAAO,CAAA;AAEtB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,GAAG,cAA0C,CAAC,CAAA"}

package/ts/array/create_tuple.ts

@@ -1,17 +0,0 @@
-import type { DigitArray } from '../math/index.js'
-import type { IsInteger } from '../number/integer.js'
-import type { IsPositive } from '../number/positive.js'
-
-/**
- * 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 = unknown, Fail = never> = number extends L
-	? T[]
-	: IsPositive<L> extends true
-	? IsInteger<L> extends true
-		? DigitArray.ToTuple<[], DigitArray.FromNumber<L>, T>
-		: Fail
-	: Fail

package/ts/array/find_first.ts

@@ -1,16 +0,0 @@
-export type FindFirst<A extends Array<any>, Criteria> = number extends A['length']
-	? A[0] extends Criteria
-		? A[0]
-		: never
-	: A['length'] extends 0
-	? never
-	: A extends [any, ...infer Tail]
-	? A[0] extends Criteria
-		? A[0]
-		: FindFirst<Tail, Criteria>
-	: never
-
-/**
- * @deprecated use FindFirst
- */
-export type First<A extends any[], Criteria> = FindFirst<A, Criteria>

package/ts/array/find_last.ts

@@ -1,11 +0,0 @@
-export type FindLast<A extends Array<any>, Criteria> = number extends A['length']
-	? A[0] extends Criteria
-		? A[0]
-		: never
-	: A['length'] extends 0
-	? never
-	: A extends [...infer Heads, infer Last]
-	? Last extends Criteria
-		? Last
-		: FindLast<Heads, Criteria>
-	: never

package/ts/array/pad_left.ts

@@ -1,16 +0,0 @@
-import type { IsAny } from '../any/any_type.js'
-import type { Equal } from '../equal/equal.js'
-import type { CreateTuple } from './create_tuple.js'
-import type { UnionOfValues } from './union_of_values.js'
-
-export type PadLeft<A extends any[], Total extends number, PadWith = any> = number extends A['length']
-	? IsAny<UnionOfValues<A>> extends true
-		? A
-		: Equal<UnionOfValues<A>, PadWith> extends true
-		? A
-		: PadLeft<[...CreateTuple<Total, PadWith>, ...A], Total, PadWith>
-	: CreateTuple<Total, any> extends [...infer U, ...A]
-	? number extends U['length']
-		? A
-		: [...CreateTuple<U['length'], PadWith>, ...A]
-	: A

package/ts/array/some.ts

@@ -1,33 +0,0 @@
-import type { Equal } from '../equal/equal.js'
-import type { Tail } from './tail.js'
-import type { UnionOfValues } from './union_of_values.js'
-
-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,7 +0,0 @@
-import type { DigitArray } from './Digit.js'
-
-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,58 +0,0 @@
-import type { PadLeft } from '../array/index.js'
-import type { IsInteger } from '../number/integer.js'
-import type { IsPositive } from '../number/positive.js'
-import type { And } from '../predicates/index.js'
-import type { Digit, DigitArray } from './Digit.js'
-import type { Max } from './Max.js'
-
-/**
- * Add two number literals.
- */
-export type Add<A extends number, B extends number, Fail = never> = And<
-	And<IsPositive<A>, IsInteger<A>>,
-	And<IsPositive<B>, IsInteger<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,152 +0,0 @@
-import type { Tail } from '../array/tail.js'
-import type { IsInteger } from '../number/integer.js'
-import type { IsPositive } from '../number/positive.js'
-import type { And } from '../predicates/index.js'
-
-export namespace Digit {
-	export type ToTuple<T = 1> = {
-		[k in number]: any[]
-	} & {
-		0: []
-		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]
-	}
-
-	/**
-	 * 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[], 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
-
-	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 FromNumberAbs<N extends number> = FromString<TrimMinusSign<`${N}`>>
-	export type TrimMinusSign<N extends string> = N extends `-${infer rest}` ? rest : N
-
-	export type NumberToString<N extends number> = And<IsPositive<N>, IsInteger<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,55 +0,0 @@
-import type { Head, PadLeft, Tail } from '../array/index.js'
-import type { Equal } from '../equal/equal.js'
-import type { IsInteger } from '../number/integer.js'
-import type { IsPositive } from '../number/positive.js'
-import type { And, Or, Xor } from '../predicates/index.js'
-import type { Digit, DigitArray } from './Digit.js'
-import type { Max } from './Max.js'
-
-export type GreaterThan<A extends number, B extends number, Fail = never> = And<
-	IsInteger<A>,
-	IsInteger<B>
-> extends false
-	? Fail
-	: number extends A
-	? Fail
-	: number extends B
-	? Fail
-	: Equal<A, B> extends true
-	? false
-	: Xor<IsPositive<A>, IsPositive<B>> extends true
-	? IsPositive<A>
-	: Or<IsPositive<A>, IsPositive<B>> extends false
-	? GreaterThan.ForWholeNumber<B, A>
-	: GreaterThan.ForWholeNumber<A, B>
-
-export namespace GreaterThan {
-	export type ForWholeNumber<
-		A extends number,
-		B extends number
-	> = DigitArray.FromNumberAbs<A> extends infer DA
-		? DA extends number[]
-			? DigitArray.FromNumberAbs<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[]
-											? ForDigitArray<PDA, PDB>
-											: never
-										: never
-									: never
-								: never
-							: never
-						: never
-					: never
-				: never
-			: never
-		: never
-
-	export type ForDigitArray<DA extends number[], DB extends number[]> = Equal<Head<DA>, Head<DB>> extends true
-		? ForDigitArray<Tail<DA>, Tail<DB>>
-		: Digit.GreaterThan<Head<DA>, Head<DB>>
-}

package/ts/math/Max.ts

@@ -1,10 +0,0 @@
-import { Equal } from '../equal/equal.js'
-import type { GreaterThan } from './GreaterThan.js'
-
-export type Max<A extends number, B extends number, Fail = never> = GreaterThan<A, B> extends infer Result
-	? Equal<Result, never> extends true
-		? Fail
-		: Result extends true
-		? A
-		: B
-	: never

package/ts/math/Subtract.ts

@@ -1,57 +0,0 @@
-import type { PadLeft, Some, Tail } from '../array/index.js'
-import type { IsInteger } from '../number/integer.js'
-import type { IsPositive } from '../number/positive.js'
-import type { And } from '../predicates/index.js'
-import type { Digit, DigitArray } from './Digit.js'
-import type { Max } from './Max.js'
-
-export type Subtract<A extends number, B extends number, Fail = never> = And<
-	And<IsPositive<A>, IsInteger<A>>,
-	And<IsPositive<B>, IsInteger<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>