type-plus 6.2.0 → 6.4.0

package/cjs/math/GreaterThan.d.ts

@@ -1,9 +1,11 @@
-import type { Head, PadLeft, Tail } from '../array_plus/index.js';
-import type { IsPositive, IsWhole } from '../number_plus/number.js';
-import type { And, Equal, Or, Xor } from '../predicates/index.js';
+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<IsWhole<A>, IsWhole<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 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 declare namespace GreaterThan {
     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;
     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/cjs/math/GreaterThan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GreaterThan.d.ts","sourceRoot":"","sources":["../../ts/math/GreaterThan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAA;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACnE,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,GAAG,CAC9E,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,CACV,SAAS,KAAK,GACZ,IAAI,GACJ,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACxB,KAAK,GACL,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9C,UAAU,CAAC,CAAC,CAAC,GACb,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAC9C,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAChC,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnC,yBAAiB,WAAW,CAAC;IAC5B,KAAY,cAAc,CACzB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,IACb,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAC7C,EAAE,SAAS,MAAM,EAAE,GAClB,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAC3C,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,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,GACvB,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,CAAA;IAER,KAAY,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,SAAS,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACzG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,GACjC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;CACxC"}
+{"version":3,"file":"GreaterThan.d.ts","sourceRoot":"","sources":["../../ts/math/GreaterThan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,GAAG,CAC9E,SAAS,CAAC,CAAC,CAAC,EACZ,SAAS,CAAC,CAAC,CAAC,CACZ,SAAS,KAAK,GACZ,IAAI,GACJ,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACxB,KAAK,GACL,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9C,UAAU,CAAC,CAAC,CAAC,GACb,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAC9C,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAChC,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnC,yBAAiB,WAAW,CAAC;IAC5B,KAAY,cAAc,CACzB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,IACb,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAC7C,EAAE,SAAS,MAAM,EAAE,GAClB,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAC3C,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,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,GACvB,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,GACN,KAAK,CAAA;IAER,KAAY,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,SAAS,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACzG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,GACjC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;CACxC"}

package/cjs/math/Max.d.ts

@@ -1,4 +1,4 @@
-import type { Equal } from '../predicates/index.js';
+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;
 //# sourceMappingURL=Max.d.ts.map

package/cjs/math/Max.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Max.d.ts","sourceRoot":"","sources":["../../ts/math/Max.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,MAAM,GACvG,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,IAAI,GAChC,IAAI,GACJ,MAAM,SAAS,IAAI,GACnB,CAAC,GACD,CAAC,GACF,KAAK,CAAA"}
+{"version":3,"file":"Max.d.ts","sourceRoot":"","sources":["../../ts/math/Max.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,MAAM,GACvG,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,IAAI,GAChC,IAAI,GACJ,MAAM,SAAS,IAAI,GACnB,CAAC,GACD,CAAC,GACF,KAAK,CAAA"}

package/cjs/math/Subtract.d.ts

@@ -1,9 +1,10 @@
-import type { PadLeft, Some, Tail } from '../array_plus/index.js';
+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 { IsPositive, IsWhole } from '../number_plus/number.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>, 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 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 [

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

@@ -1 +1 @@
-{"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,wBAAwB,CAAA;AACjE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACnE,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,OAAO,CAAC,CAAC,CAAC,CAAC,EAC9B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAC9B,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"}
+{"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/cjs/never/never_type.d.ts

@@ -0,0 +1,59 @@
+import type { Brand } from '../nominal/brand.js';
+/**
+ * This is a unique type used in the `Else` branch of `NeverType`.
+ */
+export type Not_Never = Brand<'not_never', symbol>;
+/**
+ * This is a unique type used in the `Else` branch of `NotNeverType`.
+ */
+export type Is_Never = Brand<'is_never', symbol>;
+/**
+ * Check if `T` is `never`.
+ * If it is not, returns `Not_Never`.
+ *
+ * ```ts
+ * import type { NeverType } from 'type-plus'
+ *
+ * type R = NeverType<never> // never
+ *
+ * type R = NeverType<1> // 'not never'
+ * ```
+ */
+export type NeverType<T, Then = T, Else = Not_Never> = [T, never] extends [never, T] ? Then : Else;
+/**
+ * Check if `T` is not `never`.
+ * If it is not, returns `Is_Never`.
+ *
+ * ```ts
+ * import type { NotNeverType } from 'type-plus'
+ *
+ * type R = NotNeverType<1> // 1
+ *
+ * type R = NotNeverType<never> // 'is_never'
+ * ```
+ */
+export type NotNeverType<T, Then = T, Else = Is_Never> = NeverType<T, Else, Then>;
+/**
+ * Is `T` `never`.
+ *
+ * ```
+ * import type { IsNever } from 'type-plus'
+ *
+ * type R = IsNever<never> // true
+ *
+ * type R = IsNever<1> // false
+ * ```
+ */
+export type IsNever<T, Then = true, Else = false> = NeverType<T, Then, Else>;
+/**
+ * Is `T` not `never`.
+ *
+ * ```
+ * import type { IsNotNever } from 'type-plus'
+ *
+ * type R = IsNotNever<1> // true
+ *
+ * type R = IsNotNever<never> // false
+ */
+export type IsNotNever<T, Then = true, Else = false> = NeverType<T, Else, Then>;
+//# sourceMappingURL=never_type.d.ts.map

package/cjs/never/never_type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"never_type.d.ts","sourceRoot":"","sources":["../../ts/never/never_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAGhD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;AAElD;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;AAEhD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAElG;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,QAAQ,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEjF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;;GASG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/cjs/never/never_type.js

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

package/cjs/never/never_type.js.map

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

package/cjs/nominal/brand.d.ts

@@ -0,0 +1,21 @@
+import type { Widen } from '../utils/index.js';
+import { typeSym, valueSym } from './types.js';
+/**
+ * Create a "branded" version of a type.
+ * TypeScript won't allow implicit conversion to this type
+ */
+export type Brand<B extends string, T> = T extends object ? T & {
+    [typeSym]: B;
+} : {
+    [typeSym]: B;
+    [valueSym]: T;
+};
+/**
+ * Creates a brand creator with the specified type.
+ */
+export declare function brand<B extends string>(type: B): <T>(subject: T) => Brand<B, Widen<T>>;
+/**
+ * Creates a branded value of specified type.
+ */
+export declare function brand<B extends string, T>(type: B, subject: T): Brand<B, Widen<T>>;
+//# sourceMappingURL=brand.d.ts.map

package/cjs/nominal/brand.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"brand.d.ts","sourceRoot":"","sources":["../../ts/nominal/brand.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE9C;;;GAGG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,GACtD,CAAC,GAAG;IAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CAAE,GACpB;IAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;CAAE,CAAA;AAElC;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACvF;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/cjs/nominal/brand.js

@@ -0,0 +1,20 @@
+"use strict";
+// By Drew Colthorp, <https://spin.atomicobject.com/2018/01/15/typescript-flexible-nominal-typing/#comment-604580>
+// <https://gist.github.com/dcolthorp/aa21cf87d847ae9942106435bf47565d>
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.brand = void 0;
+const isType_js_1 = require("../predicates/isType.js");
+const types_js_1 = require("./types.js");
+function brand(type, subject) {
+    if (subject === undefined)
+        return function (subject) {
+            return brand(type, subject);
+        };
+    if ((0, isType_js_1.isType)(subject, s => typeof s === 'object' && s !== null)) {
+        // if subject is not an object, the branding will exist only in type-level.
+        subject[types_js_1.typeSym] = type;
+    }
+    return subject;
+}
+exports.brand = brand;
+//# sourceMappingURL=brand.js.map

package/cjs/nominal/brand.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"brand.js","sourceRoot":"","sources":["../../ts/nominal/brand.ts"],"names":[],"mappings":";AAAA,kHAAkH;AAClH,uEAAuE;;;AAEvE,uDAAgD;AAEhD,yCAA8C;AAkB9C,SAAgB,KAAK,CAAC,IAAY,EAAE,OAAiB;IACpD,IAAI,OAAO,KAAK,SAAS;QACxB,OAAO,UAAa,OAAU;YAC7B,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC5B,CAAC,CAAA;IAEF,IAAI,IAAA,kBAAM,EAAwB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE;QACrF,2EAA2E;QAC3E,OAAO,CAAC,kBAAO,CAAC,GAAG,IAAI,CAAA;KACvB;IACD,OAAO,OAAO,CAAA;AACf,CAAC;AAXD,sBAWC"}

package/cjs/nominal/flavor.d.ts

@@ -0,0 +1,20 @@
+import type { Widen } from '../utils/index.js';
+import { typeSym } from './types.js';
+/**
+ * Create a "flavored" version of a type.
+ * TypeScript will disallow mixing flavors,
+ * but will allow unflavored values of that type to be passed in where a flavored version is expected.
+ * This is a less restrictive form of branding.
+ */
+export type Flavor<F extends string, T> = T & {
+    [typeSym]?: F;
+};
+/**
+ * Creates a brand creator with the specified type.
+ */
+export declare function flavor<F extends string>(type: F): <T>(subject: T) => Flavor<F, Widen<T>>;
+/**
+ * Creates a branded value of specified type.
+ */
+export declare function flavor<F extends string, T>(type: F, subject: T): Flavor<F, Widen<T>>;
+//# sourceMappingURL=flavor.d.ts.map

package/cjs/nominal/flavor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flavor.d.ts","sourceRoot":"","sources":["../../ts/nominal/flavor.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEpC;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG;IAC7C,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACb,CAAA;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACzF;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/cjs/nominal/flavor.js

@@ -0,0 +1,20 @@
+"use strict";
+// By Drew Colthorp, <https://spin.atomicobject.com/2018/01/15/typescript-flexible-nominal-typing/#comment-604580>
+// <https://gist.github.com/dcolthorp/aa21cf87d847ae9942106435bf47565d>
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.flavor = void 0;
+const isType_js_1 = require("../predicates/isType.js");
+const types_js_1 = require("./types.js");
+function flavor(type, subject) {
+    if (subject === undefined)
+        return function (subject) {
+            return flavor(type, subject);
+        };
+    if ((0, isType_js_1.isType)(subject, s => typeof s === 'object' && s !== null)) {
+        // if subject is not an object, the branding will exist only in type-level.
+        subject[types_js_1.typeSym] = type;
+    }
+    return subject;
+}
+exports.flavor = flavor;
+//# sourceMappingURL=flavor.js.map

package/cjs/nominal/flavor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flavor.js","sourceRoot":"","sources":["../../ts/nominal/flavor.ts"],"names":[],"mappings":";AAAA,kHAAkH;AAClH,uEAAuE;;;AAEvE,uDAAgD;AAEhD,yCAAoC;AAoBpC,SAAgB,MAAM,CAAC,IAAY,EAAE,OAAiB;IACrD,IAAI,OAAO,KAAK,SAAS;QACxB,OAAO,UAAa,OAAU;YAC7B,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC7B,CAAC,CAAA;IAEF,IAAI,IAAA,kBAAM,EAAwB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE;QACrF,2EAA2E;QAC3E,OAAO,CAAC,kBAAO,CAAC,GAAG,IAAI,CAAA;KACvB;IAED,OAAO,OAAO,CAAA;AACf,CAAC;AAZD,wBAYC"}

package/cjs/nominal/index.d.ts

@@ -0,0 +1,4 @@
+export * from './brand.js';
+export * from './flavor.js';
+export * from './nominal_match.js';
+//# sourceMappingURL=index.d.ts.map

package/cjs/nominal/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/nominal/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA"}

package/cjs/nominal/index.js

@@ -0,0 +1,20 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./brand.js"), exports);
+__exportStar(require("./flavor.js"), exports);
+__exportStar(require("./nominal_match.js"), exports);
+//# sourceMappingURL=index.js.map

package/cjs/nominal/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/nominal/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,6CAA0B;AAC1B,8CAA2B;AAC3B,qDAAkC"}

package/cjs/nominal/nominal_match.d.ts

@@ -0,0 +1,5 @@
+import type { Brand } from './brand.js';
+import type { Flavor } from './flavor.js';
+export declare function nominalMatch<A extends string, B extends A>(a: Brand<A, unknown>, b: Brand<B, unknown>): boolean;
+export declare function nominalMatch<A extends string, B extends A>(a: Flavor<A, unknown>, b: Flavor<B, unknown>): boolean;
+//# sourceMappingURL=nominal_match.d.ts.map

package/cjs/nominal/nominal_match.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nominal_match.d.ts","sourceRoot":"","sources":["../../ts/nominal/nominal_match.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGzC,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EACzD,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EACpB,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAClB,OAAO,CAAA;AACV,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EACzD,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EACrB,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,GACnB,OAAO,CAAA"}

package/cjs/nominal/nominal_match.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nominalMatch = void 0;
+const types_js_1 = require("./types.js");
+function nominalMatch(a, b) {
+    if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null)
+        return a[types_js_1.typeSym] === b[types_js_1.typeSym];
+    else {
+        return true;
+    }
+}
+exports.nominalMatch = nominalMatch;
+//# sourceMappingURL=nominal_match.js.map

package/cjs/nominal/nominal_match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nominal_match.js","sourceRoot":"","sources":["../../ts/nominal/nominal_match.ts"],"names":[],"mappings":";;;AAEA,yCAAoC;AAUpC,SAAgB,YAAY,CAC3B,CAAyC,EACzC,CAAyC;IAEzC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAC7E,OAAO,CAAC,CAAC,kBAAO,CAAC,KAAK,CAAC,CAAC,kBAAO,CAAC,CAAA;SAC5B;QACJ,OAAO,IAAI,CAAA;KACX;AACF,CAAC;AATD,oCASC"}

package/cjs/nominal/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../ts/nominal/types.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,eAAiB,CAAA;AACrC,eAAO,MAAM,QAAQ,eAAkB,CAAA"}

package/cjs/nominal/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../ts/nominal/types.ts"],"names":[],"mappings":";;;AAAa,QAAA,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;AACxB,QAAA,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA"}

package/cjs/null/null_type.d.ts

@@ -0,0 +1,58 @@
+import type { IsAny } from '../any/any_type.js';
+/**
+ * Check if the type `T` is exactly `null`.
+ *
+ * ```
+ * import type { NullType } from 'type-plus'
+ *
+ * type R = NullType<null> // null
+ *
+ * type R = NullType<never> // never
+ * type R = NullType<unknown> // never
+ * type R = NullType<string | boolean> // never
+ * ```
+ */
+export type NullType<T, Then = T, Else = never> = IsAny<T, Else, [T, null] extends [null, T] ? Then : Else>;
+/**
+ * Is the type `T` exactly `null`.
+ *
+ * ```
+ * import type { IsNull } from 'type-plus'
+ *
+ * type R = IsNull<null> // true
+ *
+ * type R = IsNull<never> // false
+ * type R = IsNull<unknown> // false
+ * type R = IsNull<string | boolean> // false
+ * ```
+ */
+export type IsNull<T, Then = true, Else = false> = NullType<T, Then, Else>;
+/**
+ * Check if the type `T` is not exactly `null`.
+ *
+ * ```
+ * import type { NotNullType } from 'type-plus'
+ *
+ * type R = NotNullType<null> // never
+ *
+ * type R = NotNullType<never> // never
+ * type R = NotNullType<unknown> // unknown
+ * type R = NotNullType<string | boolean> // string | boolean
+ * ```
+ */
+export type NotNullType<T, Then = T, Else = never> = NullType<T, Else, Then>;
+/**
+ * Is the type `T` not exactly `null`.
+ *
+ * ```
+ * import type { IsNotNull } from 'type-plus'
+ *
+ * type R = IsNotNull<null> // false
+ *
+ * type R = IsNotNull<never> // true
+ * type R = IsNotNull<unknown> // true
+ * type R = IsNotNull<string | boolean> // true
+ * ```
+ */
+export type IsNotNull<T, Then = true, Else = false> = NullType<T, Else, Then>;
+//# sourceMappingURL=null_type.d.ts.map

package/cjs/null/null_type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"null_type.d.ts","sourceRoot":"","sources":["../../ts/null/null_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE/C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAA;AAE3G;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE1E;;;;;;;;;;;;GAYG;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;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/cjs/null/null_type.js

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

package/cjs/null/null_type.js.map

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

package/cjs/number/integer.d.ts

@@ -0,0 +1,75 @@
+import type { IsAnyOrNever } from '../any/any_or_never.js';
+import type { Numeric } from './numeric_type.js';
+/**
+ * Check if T is an integer, including bigint.
+ *
+ * ```ts
+ * import type { Integer } from 'type-plus'
+ *
+ * type R = Integer<0> // 0
+ * type R = Integer<1n> // 1n
+ *
+ * type R = Integer<1.1> // never
+ * type R = Integer<number> // never as it contains non-integer
+ * ```
+ */
+export type Integer<T, Then = T, Else = never> = IsAnyOrNever<T, Else, [
+    T
+] extends [Numeric] ? (`${T}` extends `${bigint}` ? Then : Else) : Else>;
+/**
+ * Is T an integer, including bigint.
+ *
+ * ```ts
+ * import type { IsInteger } from 'type-plus'
+ *
+ * type R = IsInteger<0> // true
+ * type R = IsInteger<1n> // true
+ *
+ * type R = IsInteger<1.1> // false
+ * type R = IsInteger<number> // false as it contains non-integer
+ * ```
+ */
+export type IsInteger<T, Then = true, Else = false> = Integer<T, Then, Else>;
+/**
+ * Check if T is not an integer, including bigint.
+ *
+ * ```ts
+ * import type { NotInteger } from 'type-plus'
+ *
+ * type R = NotInteger<1.1> // 1.1
+ * type R = NotInteger<number> // number as it contains non-integer
+ *
+ * type R = NotInteger<0> // never
+ * type R = NotInteger<1n> // never
+ * ```
+ */
+export type NotInteger<T, Then = T, Else = never> = Integer<T, Else, Then>;
+/**
+ * Is T not an integer, including bigint.
+ *
+ * ```ts
+ * import type { IsNotInteger } from 'type-plus'
+ *
+ * type R = IsNotInteger<1.1> // true
+ * type R = IsNotInteger<number> // true as it contains non-integer
+ *
+ * type R = IsNotInteger<0> // false
+ * type R = IsNotInteger<1n> // false
+ * ```
+ */
+export type IsNotInteger<T, Then = true, Else = false> = NotInteger<T, Else, Then>;
+/**
+ * Check if T is an integer, including bigint.
+ *
+ * ```
+ * import type { IsWhole } from 'type-plus'
+ *
+ * type R = IsWhole<0> // 0
+ * type R = IsWhole<1n> // 1n
+ *
+ * type R = IsWhole<1.1> // never
+ * type R = IsWhole<number> // never as it contains non-integer
+ * ```
+ */
+export type IsWhole<N, Then = true, Else = false> = Integer<N, Then, Else>;
+//# sourceMappingURL=integer.d.ts.map

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

@@ -0,0 +1 @@
+{"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;;;;;;;;;;;;GAYG;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;;;;;;;;;;;;GAYG;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;;;;;;;;;;;;GAYG;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;;;;;;;;;;;;GAYG;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/cjs/number/integer.js

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

package/cjs/number/integer.js.map

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

package/cjs/number/negative.d.ts

@@ -0,0 +1,78 @@
+import type { IsAny } from '../any/any_type.js';
+import type { IsNever } from '../never/never_type.js';
+import type { Zero } from './numeric_type.js';
+/**
+ * Check if 'T' is a negative numeric type.
+ *
+ * ```ts
+ * import type { Negative } from 'type-plus'
+ *
+ * type R = Negative<-1> // -1
+ * type R = Negative<-1n> // -1n
+ *
+ * type R = Negative<number> // number
+ * type R = Negative<any> // any
+ *
+ * type R = Negative<0> // never
+ * type R = Negative<1> // never
+ * ```
+ */
+export type Negative<T, Then = T, Else = never> = IsAny<T, Then | Else, IsNever<T, Else, [
+    number,
+    T
+] extends [T, number] ? Then : [bigint, T] extends [T, bigint] ? Then : T extends Zero ? Else : [T] extends [number | bigint] ? `${T}` extends `-${string}` ? Then : Else : Else>>;
+/**
+ * Is 'T' a negative numeric type.
+ *
+ * ```ts
+ * import type { IsNegative } from 'type-plus'
+ *
+ * type R = IsNegative<-1> // true
+ * type R = IsNegative<-1n> // true
+ *
+ * type R = IsNegative<number> // boolean
+ * type R = IsNegative<any> // boolean
+ *
+ * type R = IsNegative<0> // false
+ * type R = IsNegative<1> // false
+ * ```
+ */
+export type IsNegative<T, Then = true, Else = false> = Negative<T, Then, Else>;
+/**
+ * Check if 'T' is not a negative numeric type.
+ *
+ * ```ts
+ * import type { NotNegative } from 'type-plus'
+ *
+ * type R = NotNegative<-1> // never
+ * type R = NotNegative<-1n> // never
+ *
+ * type R = NotNegative<number> // number
+ * type R = NotNegative<any> // any
+ *
+ * type R = NotNegative<0> // 0
+ * type R = NotNegative<1> // 1
+ * ```
+ */
+export type NotNegative<T, Then = T, Else = never> = IsAny<T, Then | Else, IsNever<T, Then, [
+    number,
+    T
+] extends [T, number] ? Then : [bigint, T] extends [T, bigint] ? Then : [T] extends [number | bigint] ? `${T}` extends `-${string}` ? Else : Then : Then>>;
+/**
+ * Is 'T' not a negative numeric type.
+ *
+ * ```ts
+ * import type { IsNotNegative } from 'type-plus'
+ *
+ * type R = IsNotNegative<-1> // false
+ * type R = IsNotNegative<-1n> // false
+ *
+ * type R = IsNotNegative<number> // boolean
+ * type R = IsNotNegative<any> // boolean
+ *
+ * type R = IsNotNegative<0> // true
+ * type R = IsNotNegative<1> // true
+ * ```
+ */
+export type IsNotNegative<T, Then = true, Else = false> = NotNegative<T, Then, Else>;
+//# sourceMappingURL=negative.d.ts.map

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

@@ -0,0 +1 @@
+{"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;;;;;;;;;;;;;;;GAeG;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;;;;;;;;;;;;;;;GAeG;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;;;;;;;;;;;;;;;GAeG;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;;;;;;;;;;;;;;;GAeG;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/cjs/number/negative.js

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

package/cjs/number/negative.js.map

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

package/cjs/number/number_array.d.ts

@@ -0,0 +1,3 @@
+import type { Add, IsStrictNumber } from '../index.js';
+export type Sum<A extends number[], Fail = never> = IsStrictNumber<A['length'], Fail, A['length'] extends 0 ? 0 : A['length'] extends 1 ? A[0] : A['length'] extends 2 ? Add<A[0], A[1]> : A extends [infer F extends number, infer S extends number, ...infer Tail extends number[]] ? Sum<[Add<F, S>, ...Tail]> : never>;
+//# sourceMappingURL=number_array.d.ts.map

package/cjs/number/number_array.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"number_array.d.ts","sourceRoot":"","sources":["../../ts/number/number_array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,IAAI,GAAG,KAAK,IAAI,cAAc,CACjE,CAAC,CAAC,QAAQ,CAAC,EACX,IAAI,EACJ,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAClB,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,MAAM,IAAI,SAAS,MAAM,EAAE,CAAC,GAC1F,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,GACzB,KAAK,CACR,CAAA"}

package/cjs/number/number_array.js

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

package/cjs/number/number_array.js.map

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

package/cjs/number/number_plus.d.ts

@@ -0,0 +1,8 @@
+export type { Integer, IsInteger, IsNotInteger, IsWhole, NotInteger } from './integer.js';
+export type { IsNegative, IsNotNegative, Negative, NotNegative } from './negative.js';
+export type { Sum } from './number_array.js';
+export type { IsNotNumber, IsNumber, NotNumberType, NumberType } from './number_type.js';
+export type { IsNotNumeric, IsNumeric, NotNumericType, Numeric, NumericType, Zero } from './numeric_type.js';
+export type { IsNotPositive, IsPositive, NonPositive, Positive } from './positive.js';
+export type { IsNotStrictNumber, IsStrictNumber, NotStrictNumberType, StrictNumberType } from './strict_number_type.js';
+//# sourceMappingURL=number_plus.d.ts.map

package/cjs/number/number_plus.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"number_plus.d.ts","sourceRoot":"","sources":["../../ts/number/number_plus.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzF,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AACrF,YAAY,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AAC5C,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AACxF,YAAY,EACX,YAAY,EACZ,SAAS,EACT,cAAc,EACd,OAAO,EACP,WAAW,EACX,IAAI,EACJ,MAAM,mBAAmB,CAAA;AAC1B,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACrF,YAAY,EACX,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,MAAM,yBAAyB,CAAA"}

package/cjs/number/number_plus.js.map

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