type-plus 8.0.0-beta.2 → 8.0.0-beta.4

package/cjs/number/is_number.d.ts

@@ -0,0 +1,85 @@
+import type { Assignable } from '../predicates/assignable.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $MergeOptions } from '../type_plus/$merge_options.js';
+import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $Exact } from '../type_plus/branch/$exact.js';
+import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is `number` or `number` literals.
+ *
+ * @example
+ * ```ts
+ * type R = IsNumber<number> // true
+ * type R = IsNumber<1> // true
+ *
+ * type R = IsNumber<never> // false
+ * type R = IsNumber<unknown> // false
+ * type R = IsNumber<string | boolean> // false
+ *
+ * type R = IsNumber<string | number> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `number` or `number` literals, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNumber<number, { selection: 'filter' }> // number
+ * type R = IsNumber<1, { selection: 'filter' }> // 1
+ *
+ * type R = IsNumber<never, { selection: 'filter' }> // never
+ * type R = IsNumber<unknown, { selection: 'filter' }> // never
+ * type R = IsNumber<string | boolean, { selection: 'filter' }> // never
+ *
+ * type R = IsNumber<string | number> // number
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsNumber<number | 1> // boolean
+ * type R = IsNumber<number | 1, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNumber<number, $SelectionBranch> // $Then
+ * type R = IsNumber<string, $SelectionBranch> // $Else
+ * ```
+ */
+export type IsNumber<T, $O extends IsNumber.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Else]>;
+    $else: IsNumber.$<T, $O>;
+}>>;
+export declare namespace IsNumber {
+    type $Options = $Equality.$Options & $Exact.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is `number` or `number` literals.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true ? $IsDistributive<$O, {
+        $then: _D<T, $O>;
+        $else: _N<T, $O>;
+    }> : Assignable.$<T, number, $O>;
+    type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options;
+    type _D<T, $O extends $UtilOptions> = T extends number & infer U ? U extends number ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+    type _N<T, $O extends $UtilOptions> = [T] extends [number & infer U] ? U extends number ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+}
+//# sourceMappingURL=is_number.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"is_number.d.ts","sourceRoot":"","sources":["../../src/number/is_number.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACxE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACxB,CACD,CACD,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3D,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,IAAI,GAC3F,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC3D,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC9B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAA;IAEpE,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACpE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACxE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/number/is_number.js

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

package/cjs/number/is_number.js.map

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

package/cjs/number/is_number_literal.d.ts

@@ -0,0 +1,83 @@
+import type { Assignable } from '../predicates/assignable.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $MergeOptions } from '../type_plus/$merge_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is number literals.
+ *
+ * @example
+ * ```ts
+ * type R = IsNumberLiteral<number> // false
+ * type R = IsNumberLiteral<1> // true
+ *
+ * type R = IsNumberLiteral<never> // false
+ * type R = IsNumberLiteral<unknown> // false
+ * type R = IsNumberLiteral<string | boolean> // false
+ *
+ * type R = IsNumberLiteral<string | 1> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is number literals, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNumberLiteral<number, { selection: 'filter' }> // never
+ * type R = IsNumberLiteral<1, { selection: 'filter' }> // 1
+ *
+ * type R = IsNumberLiteral<never, { selection: 'filter' }> // never
+ * type R = IsNumberLiteral<unknown, { selection: 'filter' }> // never
+ * type R = IsNumberLiteral<string | boolean, { selection: 'filter' }> // never
+ *
+ * type R = IsNumberLiteral<string | 1> // 1
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsNumberLiteral<1 | string> // boolean
+ * type R = IsNumberLiteral<1 | string, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNumberLiteral<1, $SelectionBranch> // $Then
+ * type R = IsNumberLiteral<string, $SelectionBranch> // $Else
+ * ```
+ */
+export type IsNumberLiteral<T, $O extends IsNumberLiteral.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Else]>;
+    $else: IsNumberLiteral.$<T, $O>;
+}>>;
+export declare namespace IsNumberLiteral {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is number literals.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $IsDistributive<$O, {
+        $then: _D<T, $O>;
+        $else: _N<T, $O>;
+    }>;
+    type $UtilOptions = Assignable.$UtilOptions;
+    type _D<T, $O extends $UtilOptions> = T extends number & infer U ? U extends number ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
+    type _N<T, $O extends $UtilOptions> = [T] extends [number & infer U] ? U extends number ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
+}
+//# sourceMappingURL=is_number_literal.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"is_number_literal.d.ts","sourceRoot":"","sources":["../../src/number/is_number_literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,EAAE,SAAS,eAAe,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACtF,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC/B,CACD,CACD,CAAA;AAED,yBAAiB,eAAe,CAAC;IAChC,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAEvG,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;IAElD,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACpE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACxE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/number/is_number_literal.js

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

package/cjs/number/is_number_literal.js.map

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

package/cjs/number/number_array.d.ts

@@ -0,0 +1 @@
+//# 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":["../../src/number/number_array.ts"],"names":[],"mappings":""}

package/cjs/number/number_array.js

@@ -0,0 +1,16 @@
+"use strict";
+// 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.js.map

package/cjs/number/number_array.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"number_array.js","sourceRoot":"","sources":["../../src/number/number_array.ts"],"names":[],"mappings":";AAAA,yDAAyD;AAEzD,sEAAsE;AACtE,gBAAgB;AAChB,SAAS;AACT,yBAAyB;AACzB,QAAQ;AACR,4BAA4B;AAC5B,WAAW;AACX,4BAA4B;AAC5B,sBAAsB;AACtB,iGAAiG;AACjG,gCAAgC;AAChC,YAAY;AACZ,IAAI"}

package/cjs/number/number_plus.d.ts

@@ -0,0 +1,12 @@
+export type * from '../numeric/is_integer.js';
+export type * from '../numeric/is_negative.js';
+export type * from '../numeric/is_not_integer.js';
+export type * from '../numeric/is_not_negative.js';
+export type * from '../numeric/is_not_numeric.js';
+export type * from '../numeric/is_not_positive.js';
+export type * from '../numeric/is_numeric.js';
+export type * from '../numeric/is_positive.js';
+export type * from '../numeric/numeric_type.js';
+export type * from './is_not_number.js';
+export type * from './is_number.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":["../../src/number/number_plus.ts"],"names":[],"mappings":"AAAA,mBAAmB,0BAA0B,CAAA;AAC7C,mBAAmB,2BAA2B,CAAA;AAC9C,mBAAmB,8BAA8B,CAAA;AACjD,mBAAmB,+BAA+B,CAAA;AAClD,mBAAmB,8BAA8B,CAAA;AACjD,mBAAmB,+BAA+B,CAAA;AAClD,mBAAmB,0BAA0B,CAAA;AAC7C,mBAAmB,2BAA2B,CAAA;AAC9C,mBAAmB,4BAA4B,CAAA;AAC/C,mBAAmB,oBAAoB,CAAA;AACvC,mBAAmB,gBAAgB,CAAA"}

package/cjs/number/number_plus.js

@@ -0,0 +1,4 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+// export type { Sum } from './number_array.js'
+//# sourceMappingURL=number_plus.js.map

package/cjs/number/number_plus.js.map

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

package/cjs/numeric/cast.d.ts

@@ -0,0 +1,27 @@
+import type { StringToBigint } from '../bigint/cast.js';
+import type { StringToNumber } from '../number/cast.js';
+/**
+ * Cast a string to a numeric literal type (number or bigint) if possible.
+ *
+ * ```ts
+ * StringToNumeric<'1'> // 1
+ * StringToNumeric<'1n'> // 1n
+ * StringToNumeric<'-1'> // -1
+ * StringToNumeric<'-1n'> // -1n
+ * ```
+ */
+export type StringToNumeric<S extends string, Fail = never> = StringToBigint<S, StringToNumber<S, Fail>>;
+/**
+ * Cast a numeric literal type (number or bigint) to string.
+ *
+ * ```ts
+ * NumericToString<1> // '1'
+ * NumericToString<1.23> // '1.23'
+ * NumericToString<0.00123> // '0.00123'
+ * NumericToString<1n> // '1n'
+ * NumericToString<-1> // '-1'
+ * NumericToString<-1n> // '-1n'
+ * ```
+ */
+export type NumericToString<N extends number | bigint> = N extends number ? `${N}` : `${N}n`;
+//# sourceMappingURL=cast.d.ts.map

package/cjs/numeric/cast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cast.d.ts","sourceRoot":"","sources":["../../src/numeric/cast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAEvD;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AAExG;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,CAAA"}

package/cjs/numeric/cast.js

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

package/cjs/numeric/cast.js.map

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

package/cjs/numeric/is_integer.d.ts

@@ -0,0 +1,30 @@
+import type { IsBigint } from '../bigint/is_bigint.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * Is T an integer, including bigint.
+ *
+ * ```ts
+ * 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, $O extends IsInteger.$Options = {}> = IsNumber<T, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? number extends T ? $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : T extends number & infer U ? `${T}` extends `${number}.${number}` ? $ResolveBranch<T, $O, [$Else]> : [T, U] extends [U, T] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : never : R extends $Else ? IsBigint<T, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : never : never : never;
+export declare namespace IsInteger {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+}
+//# sourceMappingURL=is_integer.d.ts.map

package/cjs/numeric/is_integer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_integer.d.ts","sourceRoot":"","sources":["../../src/numeric/is_integer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACtE,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,MAAM,SAAS,CAAC,GACf,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACpE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACzB,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GACnC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACtE,KAAK,GACP,CAAC,SAAS,KAAK,GACd,QAAQ,CACR,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACf,CAAC,SAAS,KAAK,GACd,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACN,KAAK,GACP,KAAK,CAAA;AACR,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CACrE"}

package/cjs/numeric/is_integer.js

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

package/cjs/numeric/is_integer.js.map

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

package/cjs/numeric/is_negative.d.ts

@@ -0,0 +1,35 @@
+import type { IsBigint } from '../bigint/is_bigint.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * Is `T` a negative numeric type.
+ *
+ * ```ts
+ * type R = IsNegative<-1> // true
+ * type R = IsNegative<-1n> // true
+ *
+ * type R = IsNegative<0> // false
+ * type R = IsNegative<1> // false
+ *
+ * type R = IsNegative<number> // boolean
+ * type R = IsNegative<bigint> // boolean
+ * type R = IsNegative<any> // boolean
+ * ```
+ */
+export type IsNegative<T, $O extends IsNegative.$Options = {}> = IsBigint<T, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? IsNegative._Negative<T, bigint, $O> : IsNumber<Exclude<T, bigint>, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? IsNegative._Negative<T, number, $O> : $ResolveBranch<T, $O, [$Else]> : never : never;
+export declare namespace IsNegative {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    type _Negative<T, U extends number | bigint, $O extends IsNegative.$Options> = T extends U & infer R ? `${T}` extends `-${string}` ? $ResolveBranch<T, $O, [$Then]> : U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : [T, R] extends [R, T] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : never;
+}
+//# sourceMappingURL=is_negative.d.ts.map

package/cjs/numeric/is_negative.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_negative.d.ts","sourceRoot":"","sources":["../../src/numeric/is_negative.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxE,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACnC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,SAAS,MAAM,CAAC,GAC7G,CAAC,SAAS,KAAK,GACd,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACnC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACrE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,GACxG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACvE,KAAK,CAAA;CACR"}

package/cjs/numeric/is_negative.js

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

package/cjs/numeric/is_negative.js.map

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

package/cjs/numeric/is_not_integer.d.ts

@@ -0,0 +1,32 @@
+import type { IsBigint } from '../bigint/is_bigint.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * 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, $O extends IsNotInteger.$Options = {}> = IsNumber<T, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? number extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : T extends number ? `${T}` extends `${number}.${number}` ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : never : R extends $Else ? IsBigint<T, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<Exclude<T, number>, $O, [$Then]> : never : never : never;
+export declare namespace IsNotInteger {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+}
+//# sourceMappingURL=is_not_integer.d.ts.map

package/cjs/numeric/is_not_integer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_integer.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_integer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC5E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,MAAM,SAAS,CAAC,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,CAAC,SAAS,MAAM,GACf,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GACnC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACP,CAAC,SAAS,KAAK,GACd,QAAQ,CACR,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACf,CAAC,SAAS,KAAK,GACd,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAChD,KAAK,GACN,KAAK,GACP,KAAK,CAAA;AACR,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CACrE"}

package/cjs/numeric/is_not_integer.js

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

package/cjs/numeric/is_not_integer.js.map

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

package/cjs/numeric/is_not_negative.d.ts

@@ -0,0 +1,35 @@
+import type { IsBigint } from '../bigint/is_bigint.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * Is `T` a not a negative numeric type.
+ *
+ * ```ts
+ * type R = IsNotNegative<1> // true
+ * type R = IsNotNegative<0> // true
+ * type R = IsNotNegative<1n> // true
+ *
+ * type R = IsNotNegative<-1> // false
+ *
+ * type R = IsNotNegative<number> // boolean
+ * type R = IsNotNegative<bigint> // boolean
+ * type R = IsNotNegative<any> // boolean
+ * ```
+ */
+export type IsNotNegative<T, $O extends IsNotNegative.$Options = {}> = IsBigint<T, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? IsNotNegative._Negative<T, bigint, $O> : IsNumber<Exclude<T, bigint>, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? IsNotNegative._Negative<T, number, $O> : $ResolveBranch<Exclude<T, number | bigint>, $O, [$Then]> : never : never;
+export declare namespace IsNotNegative {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    type _Negative<T, U extends number | bigint, $O extends IsNotNegative.$Options> = T extends U ? `${T}` extends `-${string}` ? $ResolveBranch<T, $O, [$Else]> : U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : never;
+}
+//# sourceMappingURL=is_not_negative.d.ts.map

package/cjs/numeric/is_not_negative.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_negative.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_negative.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC9E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,SAAS,MAAM,CAAC,GAC7G,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACzD,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACrE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GACjG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAChC,KAAK,CAAA;CACR"}

package/cjs/numeric/is_not_negative.js

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

package/cjs/numeric/is_not_negative.js.map

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

package/cjs/numeric/is_not_numeric.d.ts

@@ -0,0 +1,19 @@
+import type { $SelectInvert } from '../type_plus/branch/$select_invert.js';
+/**
+ * Is `T` not numeric.
+ *
+ * ```ts
+ * type R = IsNotNumeric<1> // false
+ * type R = IsNotNumeric<1.1> // false
+ *
+ * type R = IsNotNumeric<string> // true
+ * type R = IsNotNumeric<unknown> // true
+ * ```
+ */
+export type IsNotNumeric<T, $O extends IsNotNumeric.$Options = {}> = $SelectInvert<T, number | bigint, $O>;
+export declare namespace IsNotNumeric {
+    type $Options = $SelectInvert.$Options;
+    type $Default = $SelectInvert.$Default;
+    type $Branch = $SelectInvert.$Branch;
+}
+//# sourceMappingURL=is_not_numeric.d.ts.map

package/cjs/numeric/is_not_numeric.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_numeric.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_numeric.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAE1E;;;;;;;;;;GAUG;AAEH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,CAAA;AAE1G,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,OAAO,GAAG,aAAa,CAAC,OAAO,CAAA;CAC3C"}

package/cjs/numeric/is_not_numeric.js

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

package/cjs/numeric/is_not_numeric.js.map

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

package/cjs/numeric/is_not_positive.d.ts

@@ -0,0 +1,36 @@
+import type { IsBigint } from '../bigint/is_bigint.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * Is `T` not a positive numeric type.
+ *
+ * ```ts
+ * type R = IsNotPositive<-1> // true
+ * type R = IsNotPositive<-1n> // true
+ *
+ * type R = IsNotPositive<0> // false
+ * type R = IsNotPositive<1> // false
+ *
+ * type R = IsNotPositive<number> // boolean
+ * type R = IsNotPositive<bigint> // boolean
+ * type R = IsNotPositive<any> // boolean
+ *
+ * ```
+ */
+export type IsNotPositive<T, $O extends IsNotPositive.$Options = {}> = IsBigint<T, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? IsNotPositive._Negative<T, bigint, $O> : IsNumber<Exclude<T, bigint>, {
+    distributive: $O['distributive'];
+    $then: $Then;
+    $else: $Else;
+}> extends infer R ? R extends $Then ? IsNotPositive._Negative<T, number, $O> : $ResolveBranch<Exclude<T, number | bigint>, $O, [$Then]> : never : never;
+export declare namespace IsNotPositive {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    type _Negative<T, U extends number | bigint, $O extends IsNotPositive.$Options> = T extends U ? `${T}` extends `-${string}` ? $ResolveBranch<T, $O, [$Then]> : U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]> : never;
+}
+//# sourceMappingURL=is_not_positive.d.ts.map

package/cjs/numeric/is_not_positive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_positive.d.ts","sourceRoot":"","sources":["../../src/numeric/is_not_positive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC9E,CAAC,EACD;IACC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,CACD,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,SAAS,MAAM,CAAC,GAC7G,CAAC,SAAS,KAAK,GACd,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACtC,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACzD,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACrE,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GACjG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC1B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAChC,KAAK,CAAA;CACR"}

package/cjs/numeric/is_not_positive.js

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

package/cjs/numeric/is_not_positive.js.map

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

package/cjs/numeric/is_numeric.d.ts

@@ -0,0 +1,19 @@
+import type { $Select } from '../type_plus/branch/$select.js';
+/**
+ * Is `T` numeric.
+ *
+ * ```ts
+ * type R = IsNumeric<1> // true
+ * type R = IsNumeric<1.1> // true
+ *
+ * type R = IsNumeric<string> // false
+ * type R = IsNumeric<unknown> // false
+ * ```
+ */
+export type IsNumeric<T, $O extends IsNumeric.$Options = {}> = $Select<T, number | bigint, $O>;
+export declare namespace IsNumeric {
+    type $Options = $Select.$Options;
+    type $Default = $Select.$Default;
+    type $Branch = $Select.$Branch;
+}
+//# sourceMappingURL=is_numeric.d.ts.map

package/cjs/numeric/is_numeric.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_numeric.d.ts","sourceRoot":"","sources":["../../src/numeric/is_numeric.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,CAAA;AAE9F,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IACvC,KAAY,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IACvC,KAAY,OAAO,GAAG,OAAO,CAAC,OAAO,CAAA;CACrC"}

package/cjs/numeric/is_numeric.js

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

package/cjs/numeric/is_numeric.js.map

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