type-plus 6.8.0 → 7.0.0

package/cjs/equal/equal.d.ts

@@ -22,11 +22,15 @@ type IdentityEqual<A, B, Then, Else> = (<_>() => _ extends (A & _) | _ ? 1 : 2)
  * type R = Equal<[any], [1]> // false
  * type R = Equal<{ a: 1 }, { a: 1; b: 2 }> // false
  * ```
+ *
+ * Note that intersection type checks only works at first level.
+ * It cannot be check recursively,
+ * or else will run into infinite recursion if the type includes recursive types.
  */
-export type Equal<A, B, Then = true, Else = false> = [A, B] extends [B, A] ? BothNever<A, B, Then, Else, BothAny<A, B, Then, Else, IdentityEqual<A, B, Then, And<IsObject<A>, IsObject<B>, IdentityEqual<Properties<A>, Properties<B>, [
+export type IsEqual<A, B, Then = true, Else = false> = [A, B] extends [B, A] ? BothNever<A, B, Then, Else, BothAny<A, B, Then, Else, IdentityEqual<A, B, Then, And<IsObject<A>, IsObject<B>, IdentityEqual<Properties<A>, Properties<B>, [
     A,
     B
-] extends [(...args: infer P1) => any, (...args: infer P2) => any] ? Equal<P1, P2, Then, Else> : Then, Else>, [
+] extends [(...args: infer P1) => any, (...args: infer P2) => any] ? IsEqual<P1, P2, Then, Else> : Then, Else>, [
     A,
     B
 ] extends [B, A] ? Then : Else>>>> : And<IsSymbol<A>, IsSymbol<B>, Then, Else>;
@@ -45,7 +49,51 @@ export type Equal<A, B, Then = true, Else = false> = [A, B] extends [B, A] ? Bot
  * type R = NotEqual<[any], [1]> // true
  * type R = NotEqual<{ a: 1 }, { a: 1; b: 2 }> // true
  * ```
+ *
+ * Note that intersection type checks only works at first level.
+ * It cannot be check recursively,
+ * or else will run into infinite recursion if the type includes recursive types.
+ */
+export type IsNotEqual<A, B, Then = true, Else = false> = IsEqual<A, B, Else, Then>;
+/**
+ * Checks `A` and `B` are equal.
+ *
+ * @deprecated this will be changed to `filter` variant in the future.
+ * Please use `IsEqual` for the `predicate` behavior.
+ *
+ * ```ts
+ * type R = Equal<1, 1> // true
+ * type R = Equal<any, any> // true
+ * type R = Equal<boolean, boolean> // true
+ * type R = Equal<true, true> // true
+ * type R = Equal<[1], [1]> // true
+ *
+ * type R = Equal<boolean, true> // false
+ * type R = Equal<any, 1> // false
+ * type R = Equal<[any], [1]> // false
+ * type R = Equal<{ a: 1 }, { a: 1; b: 2 }> // false
+ * ```
+ */
+export type Equal<A, B, Then = true, Else = false> = IsEqual<A, B, Then, Else>;
+/**
+ * Checks `A` and `B` are not equal.
+ *
+ * @deprecated this will be changed to `filter` variant in the future.
+ * Please use `IsNotEqual` for the `predicate` behavior.
+ *
+ * ```ts
+ * type R = NotEqual<1, 1> // false
+ * type R = NotEqual<any, any> // false
+ * type R = NotEqual<boolean, boolean> // false
+ * type R = NotEqual<true, true> // false
+ * type R = NotEqual<[1], [1]> // false
+ *
+ * type R = NotEqual<boolean, true> // true
+ * type R = NotEqual<any, 1> // true
+ * type R = NotEqual<[any], [1]> // true
+ * type R = NotEqual<{ a: 1 }, { a: 1; b: 2 }> // true
+ * ```
  */
-export type NotEqual<A, B, Then = true, Else = false> = Equal<A, B, Else, Then>;
+export type NotEqual<A, B, Then = true, Else = false> = IsNotEqual<A, B, Then, Else>;
 export {};
 //# sourceMappingURL=equal.d.ts.map

package/cjs/equal/equal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"equal.d.ts","sourceRoot":"","sources":["../../ts/equal/equal.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,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAExD,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAC1C,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV,IAAI,EACJ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CACrC,CAAA;AAED,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;AAEtG,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAC/F,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,GACD,CAAC,GACD,CAAC,GACD,IAAI,GACJ,IAAI,CAAA;AAEP;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACvE,SAAS,CACT,CAAC,EACD,CAAC,EACD,IAAI,EACJ,IAAI,EACJ,OAAO,CACN,CAAC,EACD,CAAC,EACD,IAAI,EACJ,IAAI,EACJ,aAAa,CACZ,CAAC,EACD,CAAC,EACD,IAAI,EACJ,GAAG,CACF,QAAQ,CAAC,CAAC,CAAC,EACX,QAAQ,CAAC,CAAC,CAAC,EACX,aAAa,CACZ,UAAU,CAAC,CAAC,CAAC,EACb,UAAU,CAAC,CAAC,CAAC,EACb;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,GACpE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GACzB,IAAI,EACP,IAAI,CACJ,EAGD;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CACnC,CACD,CACD,CACA,GACD,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"equal.d.ts","sourceRoot":"","sources":["../../ts/equal/equal.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,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAExD,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAC1C,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV,IAAI,EACJ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CACrC,CAAA;AAED,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;AAEtG,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAC/F,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,GACD,CAAC,GACD,CAAC,GACD,IAAI,GACJ,IAAI,CAAA;AAEP;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACzE,SAAS,CACT,CAAC,EACD,CAAC,EACD,IAAI,EACJ,IAAI,EACJ,OAAO,CACN,CAAC,EACD,CAAC,EACD,IAAI,EACJ,IAAI,EACJ,aAAa,CACZ,CAAC,EACD,CAAC,EACD,IAAI,EACJ,GAAG,CACF,QAAQ,CAAC,CAAC,CAAC,EACX,QAAQ,CAAC,CAAC,CAAC,EACX,aAAa,CACZ,UAAU,CAAC,CAAC,CAAC,EACb,UAAU,CAAC,CAAC,CAAC,EACb;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,GACpE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAC3B,IAAI,EACP,IAAI,CACJ,EAGD;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CACnC,CACD,CACD,CACA,GACD,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5C;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEnF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/cjs/functional/Maybe.d.ts

@@ -1,5 +1,5 @@
 import type { Brand } from '../nominal/index.js';
-import type { Equal } from '../equal/equal.js';
+import type { IsEqual } from '../equal/equal.js';
 import type { Widen } from '../utils/index.js';
 export type Maybe<T> = Just<T> | None<T>;
 export type Just<T> = Brand<'maybe', T> & {
@@ -8,6 +8,6 @@ export type Just<T> = Brand<'maybe', T> & {
 export type None<T> = Brand<'maybe', void> & {
     unwrap(): T;
 };
-export declare function just<T>(value: T): Equal<T, undefined | null> extends true ? None<T> : Just<Widen<NonNullable<T>>>;
+export declare function just<T>(value: T): IsEqual<T, undefined | null> extends true ? None<T> : Just<Widen<NonNullable<T>>>;
 export declare function none<T>(): None<T>;
 //# sourceMappingURL=Maybe.d.ts.map

package/cjs/functional/Maybe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Maybe.d.ts","sourceRoot":"","sources":["../../ts/functional/Maybe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAE9C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;AACxC,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AACzD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AAE5D,wBAAgB,IAAI,CAAC,CAAC,EACrB,KAAK,EAAE,CAAC,GACN,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAOjF;AAED,wBAAgB,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAEjC"}
+{"version":3,"file":"Maybe.d.ts","sourceRoot":"","sources":["../../ts/functional/Maybe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAE9C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;AACxC,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AACzD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AAE5D,wBAAgB,IAAI,CAAC,CAAC,EACrB,KAAK,EAAE,CAAC,GACN,OAAO,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAOnF;AAED,wBAAgB,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAEjC"}

package/cjs/index.d.ts

@@ -1,12 +1,14 @@
 export { required, requiredDeep, unpartial } from 'unpartial';
 export type { IsAnyOrNever } from './any/any_or_never.js';
 export type { AnyType, IsAny, IsNotAny, NotAnyType } from './any/any_type.js';
-export type { At, Concat } from './array/array.js';
+export type { At } from './array/array.at.js';
+export type { Concat } from './array/array.concat.js';
 export * as ArrayPlus from './array/array_plus.js';
 export type { ArrayType, IsArray, IsNotArray, NotArrayType } from './array/array_type.js';
 export * from './array/index.js';
 export * from './assertion/assert_type.js';
 export type { BigintType, IsBigint, IsNotBigint, NotBigintType } from './bigint/bigint_type.js';
+export type { StringToBigint } from './bigint/cast.js';
 export type { IsNotStrictBigint, IsStrictBigint, NotStrictBigintType, StrictBigintType } from './bigint/strict_bigint_type.js';
 export type { BooleanType, IsBoolean, IsNotBoolean, NotBooleanType } from './boolean/boolean_type.js';
 export type { FalseType, IsFalse, IsNotFalse, NotFalseType } from './boolean/false_type.js';
@@ -14,25 +16,29 @@ export type { IsNotStrictBoolean, IsStrictBoolean, NotStrictBooleanType, StrictB
 export type { IsNotTrue, IsTrue, NotTrueType, TrueType } from './boolean/true_type.js';
 export * from './class/index.js';
 export type { ComposableTypes, NonComposableTypes } from './composable_types.js';
-export type { Equal, NotEqual } from './equal/equal.js';
+export type { Equal, IsEqual, IsNotEqual, NotEqual } from './equal/equal.js';
 export type { AnyFunction } from './function/any_function.js';
 export * from './function/extract_function.js';
 export type { FunctionType, IsFunction, IsNotFunction, NotFunctionType } from './function/function_type.js';
 export type { IsNotStrictFunction, IsStrictFunction, NotStrictFunctionType, StrictFunctionType } from './function/strict_function_type.js';
 export * from './functional/index.js';
 export type { JSONArray, JSONObject, JSONPrimitive, JSONTypes } from './json.js';
-export type { Abs, Add, Decrement, Digit, DigitArray, GreaterThan, Increment, Max, Subtract } from './math/index.js';
+export type { Abs, Add, Decrement, GreaterThan, Increment, Max, Multiply, Subtract } from './math/index.js';
+export * as MathPlus from './math/math_plus.js';
 export type { IsNever, IsNotNever, Is_Never, NeverType, NotNeverType, Not_Never } from './never/never_type.js';
 export * from './nodejs/index.js';
 export * from './nominal/index.js';
 export type { IsNotNull, IsNull, NotNullType, NullType } from './null/null_type.js';
-export type { Integer, IsInteger, IsNotInteger, IsWhole, NotInteger } from './number/integer.js';
-export type { IsNegative, IsNotNegative, Negative, NotNegative } from './number/negative.js';
+export type { StringToNumber } from './number/cast.js';
 export * as NumberPlus from './number/number_plus.js';
 export type { IsNotNumber, IsNumber, NotNumberType, NumberType } from './number/number_type.js';
-export type { IsNotNumeric, IsNumeric, NotNumericType, Numeric, NumericType, Zero } from './number/numeric_type.js';
-export type { IsNotPositive, IsPositive, NonPositive, Positive } from './number/positive.js';
 export type { IsNotStrictNumber, IsStrictNumber, NotStrictNumberType, StrictNumberType } from './number/strict_number_type.js';
+export type { NumericToString, StringToNumeric } from './numeric/cast.js';
+export type { Integer, IsInteger, IsNotInteger, IsWhole, NotInteger } from './numeric/integer.js';
+export type { IsNegative, IsNotNegative, Negative, NotNegative } from './numeric/negative.js';
+export * as NumericPlus from './numeric/numeric_plus.js';
+export type { IsNotNumeric, IsNumeric, NotNumericType, Numeric, NumericType, Zero } from './numeric/numeric_type.js';
+export type { IsNotPositive, IsPositive, NonPositive, Positive } from './numeric/positive.js';
 export * from './object/index.js';
 export type { IsNotObject, IsObject, NotObjectType, ObjectType } from './object/object_type.js';
 export * from './predicates/index.js';
@@ -45,7 +51,10 @@ export type { IsNotString, IsString, NotStringType, StringType } from './string/
 export type { IsNotSymbol, IsSymbol, NotSymbolType, SymbolType } from './symbol/symbol_type.js';
 export * from './testing/stub.js';
 export * from './testing/test_type.js';
+export * from './tuple/create_tuple.js';
+export * as TuplePlus from './tuple/tuple_plus.js';
 export type { IsNotTuple, IsTuple, NotTupleType, TupleType } from './tuple/tuple_type.js';
+export * from './type-guard/is_type.js';
 export type { Failed, FailedT } from './type/failed.js';
 export type { NoInfer } from './type/no_infer.js';
 export type { IsNotUndefined, IsUndefined, NotUndefinedType, UndefinedType } from './undefined/undefined_type.js';

package/cjs/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC7D,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACzD,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC7E,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAA;AAClD,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACzF,cAAc,kBAAkB,CAAA;AAChC,cAAc,4BAA4B,CAAA;AAC1C,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAC/F,YAAY,EACX,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,MAAM,gCAAgC,CAAA;AACvC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AACrG,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3F,YAAY,EACX,kBAAkB,EAClB,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,MAAM,kCAAkC,CAAA;AACzC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtF,cAAc,kBAAkB,CAAA;AAChC,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAChF,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAC7D,cAAc,gCAAgC,CAAA;AAC9C,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC3G,YAAY,EACX,mBAAmB,EACnB,gBAAgB,EAChB,qBAAqB,EACrB,kBAAkB,EAClB,MAAM,oCAAoC,CAAA;AAC3C,cAAc,uBAAuB,CAAA;AACrC,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAChF,YAAY,EACX,GAAG,EACH,GAAG,EACH,SAAS,EACT,KAAK,EACL,UAAU,EACV,WAAW,EACX,SAAS,EACT,GAAG,EACH,QAAQ,EACR,MAAM,iBAAiB,CAAA;AACxB,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AAC9G,cAAc,mBAAmB,CAAA;AACjC,cAAc,oBAAoB,CAAA;AAClC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AACnF,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChG,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAC5F,OAAO,KAAK,UAAU,MAAM,yBAAyB,CAAA;AACrD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAC/F,YAAY,EACX,YAAY,EACZ,SAAS,EACT,cAAc,EACd,OAAO,EACP,WAAW,EACX,IAAI,EACJ,MAAM,0BAA0B,CAAA;AACjC,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAA;AAC5F,YAAY,EACX,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,MAAM,gCAAgC,CAAA;AACvC,cAAc,mBAAmB,CAAA;AACjC,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAC/F,cAAc,uBAAuB,CAAA;AACrC,YAAY,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AACpD,cAAc,oBAAoB,CAAA;AAClC,YAAY,EACX,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,MAAM,gCAAgC,CAAA;AACvC,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrE,YAAY,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAC/F,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAC/F,cAAc,mBAAmB,CAAA;AACjC,cAAc,wBAAwB,CAAA;AACtC,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AACzF,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACvD,YAAY,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AACjD,YAAY,EACX,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,aAAa,EACb,MAAM,+BAA+B,CAAA;AACtC,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AACrG,cAAc,kBAAkB,CAAA;AAChC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC7D,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACzD,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC7E,YAAY,EAAE,EAAE,EAAE,MAAM,qBAAqB,CAAA;AAC7C,YAAY,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACrD,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAA;AAClD,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACzF,cAAc,kBAAkB,CAAA;AAChC,cAAc,4BAA4B,CAAA;AAC1C,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAC/F,YAAY,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACtD,YAAY,EACX,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,MAAM,gCAAgC,CAAA;AACvC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AACrG,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3F,YAAY,EACX,kBAAkB,EAClB,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,MAAM,kCAAkC,CAAA;AACzC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtF,cAAc,kBAAkB,CAAA;AAChC,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAChF,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAC5E,YAAY,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAC7D,cAAc,gCAAgC,CAAA;AAC9C,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC3G,YAAY,EACX,mBAAmB,EACnB,gBAAgB,EAChB,qBAAqB,EACrB,kBAAkB,EAClB,MAAM,oCAAoC,CAAA;AAC3C,cAAc,uBAAuB,CAAA;AACrC,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAChF,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC3G,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAA;AAC/C,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AAC9G,cAAc,mBAAmB,CAAA;AACjC,cAAc,oBAAoB,CAAA;AAClC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AACnF,YAAY,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,KAAK,UAAU,MAAM,yBAAyB,CAAA;AACrD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAC/F,YAAY,EACX,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,MAAM,gCAAgC,CAAA;AACvC,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACzE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACjG,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AAC7F,OAAO,KAAK,WAAW,MAAM,2BAA2B,CAAA;AACxD,YAAY,EACX,YAAY,EACZ,SAAS,EACT,cAAc,EACd,OAAO,EACP,WAAW,EACX,IAAI,EACJ,MAAM,2BAA2B,CAAA;AAClC,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAC7F,cAAc,mBAAmB,CAAA;AACjC,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAC/F,cAAc,uBAAuB,CAAA;AACrC,YAAY,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AACpD,cAAc,oBAAoB,CAAA;AAClC,YAAY,EACX,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,MAAM,gCAAgC,CAAA;AACvC,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrE,YAAY,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAC/F,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAC/F,cAAc,mBAAmB,CAAA;AACjC,cAAc,wBAAwB,CAAA;AACtC,cAAc,yBAAyB,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAA;AAClD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AACzF,cAAc,yBAAyB,CAAA;AACvC,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACvD,YAAY,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AACjD,YAAY,EACX,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,aAAa,EACb,MAAM,+BAA+B,CAAA;AACtC,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AACrG,cAAc,kBAAkB,CAAA;AAChC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA"}

package/cjs/index.js

@@ -26,7 +26,7 @@ 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 });
-exports.NumberPlus = exports.ArrayPlus = exports.unpartial = exports.requiredDeep = exports.required = void 0;
+exports.TuplePlus = exports.NumericPlus = exports.NumberPlus = exports.MathPlus = exports.ArrayPlus = exports.unpartial = exports.requiredDeep = exports.required = void 0;
 var unpartial_1 = require("unpartial");
 Object.defineProperty(exports, "required", { enumerable: true, get: function () { return unpartial_1.required; } });
 Object.defineProperty(exports, "requiredDeep", { enumerable: true, get: function () { return unpartial_1.requiredDeep; } });
@@ -37,13 +37,18 @@ __exportStar(require("./assertion/assert_type.js"), exports);
 __exportStar(require("./class/index.js"), exports);
 __exportStar(require("./function/extract_function.js"), exports);
 __exportStar(require("./functional/index.js"), exports);
+exports.MathPlus = __importStar(require("./math/math_plus.js"));
 __exportStar(require("./nodejs/index.js"), exports);
 __exportStar(require("./nominal/index.js"), exports);
 exports.NumberPlus = __importStar(require("./number/number_plus.js"));
+exports.NumericPlus = __importStar(require("./numeric/numeric_plus.js"));
 __exportStar(require("./object/index.js"), exports);
 __exportStar(require("./predicates/index.js"), exports);
 __exportStar(require("./promise/index.js"), exports);
 __exportStar(require("./testing/stub.js"), exports);
 __exportStar(require("./testing/test_type.js"), exports);
+__exportStar(require("./tuple/create_tuple.js"), exports);
+exports.TuplePlus = __importStar(require("./tuple/tuple_plus.js"));
+__exportStar(require("./type-guard/is_type.js"), exports);
 __exportStar(require("./utils/index.js"), exports);
 //# sourceMappingURL=index.js.map

package/cjs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,uCAA6D;AAApD,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAAE,sGAAA,SAAS,OAAA;AAI1C,mEAAkD;AAElD,mDAAgC;AAChC,6DAA0C;AAiB1C,mDAAgC;AAIhC,iEAA8C;AAQ9C,wDAAqC;AAcrC,oDAAiC;AACjC,qDAAkC;AAIlC,sEAAqD;AAiBrD,oDAAiC;AAEjC,wDAAqC;AAErC,qDAAkC;AAWlC,oDAAiC;AACjC,yDAAsC;AAYtC,mDAAgC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,uCAA6D;AAApD,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAAE,sGAAA,SAAS,OAAA;AAK1C,mEAAkD;AAElD,mDAAgC;AAChC,6DAA0C;AAkB1C,mDAAgC;AAIhC,iEAA8C;AAQ9C,wDAAqC;AAGrC,gEAA+C;AAE/C,oDAAiC;AACjC,qDAAkC;AAGlC,sEAAqD;AAWrD,yEAAwD;AAUxD,oDAAiC;AAEjC,wDAAqC;AAErC,qDAAkC;AAWlC,oDAAiC;AACjC,yDAAsC;AACtC,0DAAuC;AACvC,mEAAkD;AAElD,0DAAuC;AAWvC,mDAAgC"}

package/cjs/math/abs.d.ts

@@ -0,0 +1,6 @@
+import type { IsBigint } from '../bigint/bigint_type.js';
+import type { IsNumber } from '../number/number_type.js';
+export type Abs<N extends number | bigint, Fail = never> = IsNumber<N, [
+    number
+] extends [N] ? Fail : `${N}` extends `-${infer P extends number}` ? P : N, IsBigint<N, [bigint] extends [N] ? Fail : `${N}` extends `-${infer P extends bigint}` ? P : N, Fail>>;
+//# sourceMappingURL=abs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"abs.d.ts","sourceRoot":"","sources":["../../ts/math/abs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAYxD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAClE,CAAC,EACD;IAAC,MAAM;CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EACjF,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CACpG,CAAA"}

package/cjs/math/{Add.js → abs.js}

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

package/cjs/math/abs.js.map

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

package/cjs/math/add.d.ts

@@ -0,0 +1,7 @@
+import type { NumericStruct } from './numeric_struct.js';
+export type Add<A extends number | bigint, B extends number | bigint, Fail = never> = [
+    NumericStruct.FromNumeric<A, Fail>,
+    NumericStruct.FromNumeric<B, Fail>
+] extends [infer MA, infer MB] ? MA extends NumericStruct ? MB extends NumericStruct ? NumericStruct.ToNumeric<NumericStruct.Add<MA, MB>> : Fail : Fail : never;
+export type Increment<N extends number | bigint> = Add<N, 1>;
+//# sourceMappingURL=add.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"add.d.ts","sourceRoot":"","sources":["../../ts/math/add.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI;IACrF,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC;IAClC,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC;CAClC,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAC3B,EAAE,SAAS,aAAa,GACvB,EAAE,SAAS,aAAa,GACvB,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAClD,IAAI,GACL,IAAI,GACL,KAAK,CAAA;AAER,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/cjs/math/{Max.js → add.js}

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

package/cjs/math/add.js.map

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

package/cjs/math/greater_than.d.ts

@@ -0,0 +1,4 @@
+import type { IsPositive } from '../numeric/positive.js';
+import type { Subtract } from './subtract.js';
+export type GreaterThan<A extends number | bigint, B extends number | bigint, Fail = never> = Subtract<A, B, 'fail'> extends infer R extends number ? R extends 0 ? false : IsPositive<R> : Fail;
+//# sourceMappingURL=greater_than.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"greater_than.d.ts","sourceRoot":"","sources":["../../ts/math/greater_than.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAE7C,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CACrG,CAAC,EACD,CAAC,EACD,MAAM,CACN,SAAS,MAAM,CAAC,SAAS,MAAM,GAC7B,CAAC,SAAS,CAAC,GACV,KAAK,GACL,UAAU,CAAC,CAAC,CAAC,GACd,IAAI,CAAA"}

package/cjs/math/greater_than.js

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

package/cjs/math/greater_than.js.map

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

package/cjs/math/index.d.ts

@@ -1,7 +1,7 @@
-export type { Abs } from './Abs.js';
-export type { Add, Increment } from './Add.js';
-export type { Digit, DigitArray } from './Digit.js';
-export type { GreaterThan } from './GreaterThan.js';
-export type { Max } from './Max.js';
-export type { Decrement, Subtract } from './Subtract.js';
+export type { Abs } from './abs.js';
+export type { GreaterThan } from './greater_than.js';
+export type { Max } from './max.js';
+export type { Add, Increment } from './add.js';
+export type { Multiply } from './multiply.js';
+export type { Decrement, Subtract } from './subtract.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/math/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AACnC,YAAY,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAC9C,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,YAAY,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AACnC,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/math/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACpD,YAAY,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AACnC,YAAY,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAC9C,YAAY,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA"}

package/cjs/math/math_plus.d.ts

@@ -0,0 +1,5 @@
+export type { Add, Increment } from './add.js';
+export type { ToNegative } from './math_plus.to_negative.js';
+export type { Multiply } from './multiply.js';
+export type { Decrement, Subtract } from './subtract.js';
+//# sourceMappingURL=math_plus.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"math_plus.d.ts","sourceRoot":"","sources":["../../ts/math/math_plus.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAC9C,YAAY,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA"}

package/cjs/math/math_plus.js

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

package/cjs/math/math_plus.js.map

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

package/cjs/math/math_plus.to_negative.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Converts a number or bigint `N` to negative.
+ * If `N` is already negative, it returns itself.
+ *
+ * @example
+ * ```ts
+ * ToNegative<5> // -5
+ * ToNegative<0> // 0
+ * ToNegative<-5> // -5
+ * ```
+ */
+export type ToNegative<N extends number | bigint> = N extends number ? N extends 0 ? 0 : `-${N}` extends `${infer W extends number}` ? W : N : N extends 0n ? 0n : `-${N}` extends `${infer W extends bigint}` ? W : N;
+//# sourceMappingURL=math_plus.to_negative.d.ts.map

package/cjs/math/math_plus.to_negative.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"math_plus.to_negative.d.ts","sourceRoot":"","sources":["../../ts/math/math_plus.to_negative.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,MAAM,GACjE,CAAC,SAAS,CAAC,GACV,CAAC,GACD,IAAI,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GAC3C,CAAC,GACD,CAAC,GACF,CAAC,SAAS,EAAE,GACZ,EAAE,GACF,IAAI,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GAC3C,CAAC,GACD,CAAC,CAAA"}

package/cjs/math/math_plus.to_negative.js

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

package/cjs/math/math_plus.to_negative.js.map

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

package/cjs/math/max.d.ts

@@ -0,0 +1,4 @@
+import type { IsNever } from '../never/never_type.js';
+import type { GreaterThan } from './greater_than.js';
+export type Max<A extends number | bigint, B extends number | bigint, Fail = never> = GreaterThan<A, B> extends infer Result ? IsNever<Result> extends true ? Fail : Result extends true ? A : B : never;
+//# sourceMappingURL=max.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"max.d.ts","sourceRoot":"","sources":["../../ts/math/max.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAEpD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAChG,CAAC,EACD,CAAC,CACD,SAAS,MAAM,MAAM,GACnB,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,GAC3B,IAAI,GACJ,MAAM,SAAS,IAAI,GACnB,CAAC,GACD,CAAC,GACF,KAAK,CAAA"}

package/cjs/math/{Abs.js → max.js}

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

package/cjs/math/max.js.map

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

package/cjs/math/multiply.d.ts

@@ -0,0 +1,6 @@
+import type { NumericStruct } from './numeric_struct.js';
+export type Multiply<A extends number | bigint, B extends number | bigint, Fail = never> = [
+    NumericStruct.FromNumeric<A, Fail>,
+    NumericStruct.FromNumeric<B, Fail>
+] extends [infer MA, infer MB] ? MA extends NumericStruct ? MB extends NumericStruct ? NumericStruct.ToNumeric<NumericStruct.Multiply<MA, MB>> : Fail : Fail : never;
+//# sourceMappingURL=multiply.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"multiply.d.ts","sourceRoot":"","sources":["../../ts/math/multiply.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI;IAC1F,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC;IAClC,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC;CAClC,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAC3B,EAAE,SAAS,aAAa,GACvB,EAAE,SAAS,aAAa,GACvB,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACvD,IAAI,GACL,IAAI,GACL,KAAK,CAAA"}

package/cjs/{array/array.js → math/multiply.js}

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

package/cjs/math/multiply.js.map

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