ts-data-forge 6.13.1 → 7.0.1

package/dist/number/branded-types/non-zero-finite-number.d.mts

@@ -46,7 +46,7 @@ export declare const NonZeroFiniteNumber: {
      * @param a The NonZeroFiniteNumber.
      * @returns The absolute value as a NonZeroFiniteNumber.
      */
-    readonly abs: (x: TtfImported_NonZeroFiniteNumber) => TsDataForgeInternals.RefinedNumberUtils.ToNonNegative<TtfImported_NonZeroFiniteNumber>;
+    readonly abs: (x: TtfImported_NonZeroFiniteNumber) => import("ts-type-forge").IntersectBrand<TtfImported_NonZeroFiniteNumber, import("ts-type-forge").PositiveNumber>;
     /**
      * Returns the smaller of two NonZeroFiniteNumber values.
      *
@@ -98,22 +98,6 @@ export declare const NonZeroFiniteNumber: {
      * @returns `a ** b` as a NonZeroFiniteNumber.
      */
     readonly pow: (x: TtfImported_NonZeroFiniteNumber, y: TtfImported_NonZeroFiniteNumber) => TtfImported_NonZeroFiniteNumber;
-    /**
-     * Adds two NonZeroFiniteNumber values.
-     *
-     * @param a The first NonZeroFiniteNumber.
-     * @param b The second NonZeroFiniteNumber.
-     * @returns `a + b` as a NonZeroFiniteNumber.
-     */
-    readonly add: (x: TtfImported_NonZeroFiniteNumber, y: TtfImported_NonZeroFiniteNumber) => TtfImported_NonZeroFiniteNumber;
-    /**
-     * Subtracts one NonZeroFiniteNumber from another.
-     *
-     * @param a The minuend NonZeroFiniteNumber.
-     * @param b The subtrahend NonZeroFiniteNumber.
-     * @returns `a - b` as a NonZeroFiniteNumber.
-     */
-    readonly sub: (x: TtfImported_NonZeroFiniteNumber, y: TtfImported_NonZeroFiniteNumber) => TtfImported_NonZeroFiniteNumber;
     /**
      * Multiplies two NonZeroFiniteNumber values.
      *
@@ -125,6 +109,10 @@ export declare const NonZeroFiniteNumber: {
     /**
      * Divides one NonZeroFiniteNumber by another.
      *
+     * Exact (non-flooring) division of two non-zero finite numbers is always
+     * non-zero, so this stays closed. For the non-closed operations (`add`/`sub`,
+     * whose result may be `0`) use {@link Num.add}/{@link Num.sub}.
+     *
      * @param a The dividend NonZeroFiniteNumber.
      * @param b The divisor NonZeroFiniteNumber.
      * @returns `a / b` as a NonZeroFiniteNumber.

package/dist/number/branded-types/non-zero-finite-number.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-finite-number.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-finite-number.mts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,mBAAmB,IAAI,+BAA+B,EAC5D,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,mBAAmB,GAAG,+BAA+B,CAAC;AAElE,KAAK,WAAW,GAAG,mBAAmB,CAAC;AA2DvC;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,qDAAK,CAAC;AAExC;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB;;;;;;MAAW,CAAC;AAE9C;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;IAC9B;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;wBA/FA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAiG3D;;;;;OAKG;uBAjGA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAmG3D;;;;;OAKG;wBAnGA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAqG3D;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;;;;;;;CAEK,CAAC"}
+{"version":3,"file":"non-zero-finite-number.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-finite-number.mts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,mBAAmB,IAAI,+BAA+B,EAC5D,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,mBAAmB,GAAG,+BAA+B,CAAC;AAElE,KAAK,WAAW,GAAG,mBAAmB,CAAC;AAyDvC;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,qDAAK,CAAC;AAExC;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB;;;;;;MAAW,CAAC;AAE9C;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;IAC9B;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;wBA/FA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAiG3D;;;;;OAKG;uBAjGA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAmG3D;;;;;OAKG;wBAnGA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAqG3D;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;;;;;OAUG;;;;;;;;CAEK,CAAC"}

package/dist/number/branded-types/non-zero-finite-number.mjs

@@ -1,7 +1,7 @@
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
 const typeNameInMessage = 'a non-zero finite number';
-const { abs, add, castType, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForFloat({
+const { abs, castType, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForFloat({
     nonZero: true,
     MIN_VALUE: -Number.MAX_VALUE,
     MAX_VALUE: Number.MAX_VALUE,
@@ -107,22 +107,6 @@ const NonZeroFiniteNumber = {
      * @returns `a ** b` as a NonZeroFiniteNumber.
      */
     pow,
-    /**
-     * Adds two NonZeroFiniteNumber values.
-     *
-     * @param a The first NonZeroFiniteNumber.
-     * @param b The second NonZeroFiniteNumber.
-     * @returns `a + b` as a NonZeroFiniteNumber.
-     */
-    add,
-    /**
-     * Subtracts one NonZeroFiniteNumber from another.
-     *
-     * @param a The minuend NonZeroFiniteNumber.
-     * @param b The subtrahend NonZeroFiniteNumber.
-     * @returns `a - b` as a NonZeroFiniteNumber.
-     */
-    sub,
     /**
      * Multiplies two NonZeroFiniteNumber values.
      *
@@ -134,6 +118,10 @@ const NonZeroFiniteNumber = {
     /**
      * Divides one NonZeroFiniteNumber by another.
      *
+     * Exact (non-flooring) division of two non-zero finite numbers is always
+     * non-zero, so this stays closed. For the non-closed operations (`add`/`sub`,
+     * whose result may be `0`) use {@link Num.add}/{@link Num.sub}.
+     *
      * @param a The dividend NonZeroFiniteNumber.
      * @param b The divisor NonZeroFiniteNumber.
      * @returns `a / b` as a NonZeroFiniteNumber.

package/dist/number/branded-types/non-zero-finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-finite-number.mjs","sources":["../../../src/number/branded-types/non-zero-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAaA,MAAM,iBAAiB,GAAG,0BAA0B;AAEpD,MAAM,EACJ,GAAG,EACH,GAAG,EACH,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,GAAG,GACJ,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,iBAAiB,CAI3D;AACA,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;IAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,iBAAiB;AACT,CAAA,CAAC;AAEX;AAEA,MAAM,KAAK,GAAG,CACZ,CAAc;AAEd;AACA,IAAI,CAAC,KAAK,CAAC,CAAC,CAA+D;AAE7E,MAAM,IAAI,GAAG,CACX,CAAc;AAEd;AACA,IAAI,CAAC,IAAI,CAAC,CAAC,CAA+D;AAE5E,MAAM,KAAK,GAAG,CACZ,CAAc;AAEd;AACA,IAAI,CAAC,KAAK,CAAC,CAAC,CAA+D;AAc7E;;;;;AAKG;AACI,MAAM,qBAAqB,GAAG;AAErC;;;;;;AAMG;AACI,MAAM,qBAAqB,GAAG;AAErC;;;;;;;AAOG;AACI,MAAM,mBAAmB,GAAG;AACjC;;;;;;AAMG;IACH,EAAE;AAEF;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;IACH,KAAK;AAEL;;;;;AAKG;IACH,IAAI;AAEJ;;;;;AAKG;IACH,KAAK;AAEL;;;;AAIG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;;;;;"}
+{"version":3,"file":"non-zero-finite-number.mjs","sources":["../../../src/number/branded-types/non-zero-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAaA,MAAM,iBAAiB,GAAG,0BAA0B;AAEpD,MAAM,EACJ,GAAG,EACH,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,GACtB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,iBAAiB,CAI3D;AACA,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;IAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,iBAAiB;AACT,CAAA,CAAC;AAEX;AAEA,MAAM,KAAK,GAAG,CACZ,CAAc;AAEd;AACA,IAAI,CAAC,KAAK,CAAC,CAAC,CAA+D;AAE7E,MAAM,IAAI,GAAG,CACX,CAAc;AAEd;AACA,IAAI,CAAC,IAAI,CAAC,CAAC,CAA+D;AAE5E,MAAM,KAAK,GAAG,CACZ,CAAc;AAEd;AACA,IAAI,CAAC,KAAK,CAAC,CAAC,CAA+D;AAc7E;;;;;AAKG;AACI,MAAM,qBAAqB,GAAG;AAErC;;;;;;AAMG;AACI,MAAM,qBAAqB,GAAG;AAErC;;;;;;;AAOG;AACI,MAAM,mBAAmB,GAAG;AACjC;;;;;;AAMG;IACH,EAAE;AAEF;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;IACH,KAAK;AAEL;;;;;AAKG;IACH,IAAI;AAEJ;;;;;AAKG;IACH,KAAK;AAEL;;;;AAIG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;;;;;AAUG;IACH,GAAG;;;;;"}

package/dist/number/branded-types/non-zero-int.d.mts

@@ -1,5 +1,4 @@
 import { type NonZeroInt as TtfImported_NonZeroInt } from 'ts-type-forge';
-import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 export type NonZeroInt = TtfImported_NonZeroInt;
 /**
  * Checks if a number is a NonZeroInt.
@@ -44,7 +43,7 @@ export declare const NonZeroInt: {
      * @param a The non-zero integer.
      * @returns The absolute value as a NonZeroInt.
      */
-    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TsDataForgeInternals.RefinedNumberUtils.ToNonNegative<TtfImported_NonZeroInt>;
+    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => import("ts-type-forge").IntersectBrand<TtfImported_NonZeroInt, import("ts-type-forge").PositiveNumber>;
     /**
      * Returns the smaller of two non-zero integers.
      *
@@ -75,44 +74,17 @@ export declare const NonZeroInt: {
      * @returns `a ** b` as a NonZeroInt.
      */
     readonly pow: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TtfImported_NonZeroInt;
-    /**
-     * Adds two non-zero integers.
-     *
-     * @param a The first non-zero integer.
-     * @param b The second non-zero integer.
-     * @returns `a + b` as a NonZeroInt.
-     */
-    readonly add: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TtfImported_NonZeroInt;
-    /**
-     * Subtracts one non-zero integer from another.
-     *
-     * @param a The minuend non-zero integer.
-     * @param b The subtrahend non-zero integer.
-     * @returns `a - b` as a NonZeroInt.
-     */
-    readonly sub: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TtfImported_NonZeroInt;
     /**
      * Multiplies two non-zero integers.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first non-zero integer.
      * @param b The second non-zero integer.
      * @returns `a * b` as a NonZeroInt.
      */
     readonly mul: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TtfImported_NonZeroInt;
-    /**
-     * Divides one non-zero integer by another using floor division.
-     *
-     * @param a The dividend non-zero integer.
-     * @param b The divisor non-zero integer.
-     * @returns `⌊a / b⌋` as a NonZeroInt.
-     */
-    readonly div: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: 1 | 2 | 3 | 32 | 4 | 5 | 6 | 7 | 8 | 9 | 11 | 10 | 20 | 30 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 31 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | -1 | -2 | -3 | -32 | -40 | -4 | -5 | -6 | -7 | -8 | -9 | -11 | -10 | -20 | -30 | -12 | -13 | -14 | -15 | -16 | -17 | -18 | -19 | -21 | -22 | -23 | -24 | -25 | -26 | -27 | -28 | -29 | -31 | -33 | -34 | -35 | -36 | -37 | -38 | -39 | import("ts-type-forge").NormalizeBrandUnion<number & {
-        readonly NaNValue: false;
-        readonly Finite: true;
-        readonly Int: true;
-        readonly "!=0": true;
-    } & Readonly<{
-        'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
-    }>>) => TtfImported_NonZeroInt;
 };
 //# sourceMappingURL=non-zero-int.d.mts.map

package/dist/number/branded-types/non-zero-int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,IAAI,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAE1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,UAAU,GAAG,sBAAsB,CAAC;AA8BhD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,4CAAK,CAAC;AAE/B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY;;;;;;;MAAW,CAAC;AAErC;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;;;;;;;;CAEK,CAAC"}
+{"version":3,"file":"non-zero-int.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,IAAI,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAI1E,MAAM,MAAM,UAAU,GAAG,sBAAsB,CAAC;AA2BhD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,4CAAK,CAAC;AAE/B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY;;;;;;;MAAW,CAAC;AAErC;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;;;;;OAUG;;CAEK,CAAC"}

package/dist/number/branded-types/non-zero-int.mjs

@@ -1,7 +1,7 @@
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
 const typeNameInMessage = 'a non-zero integer';
-const { abs, add, castType, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+const { abs, castType, is, max: max_, min: min_, mul, pow, randomNonZero: random, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
     integerOrSafeInteger: 'Integer',
     nonZero: true,
     MIN_VALUE: -Number.MAX_VALUE,
@@ -75,38 +75,18 @@ const NonZeroInt = {
      * @returns `a ** b` as a NonZeroInt.
      */
     pow,
-    /**
-     * Adds two non-zero integers.
-     *
-     * @param a The first non-zero integer.
-     * @param b The second non-zero integer.
-     * @returns `a + b` as a NonZeroInt.
-     */
-    add,
-    /**
-     * Subtracts one non-zero integer from another.
-     *
-     * @param a The minuend non-zero integer.
-     * @param b The subtrahend non-zero integer.
-     * @returns `a - b` as a NonZeroInt.
-     */
-    sub,
     /**
      * Multiplies two non-zero integers.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first non-zero integer.
      * @param b The second non-zero integer.
      * @returns `a * b` as a NonZeroInt.
      */
     mul,
-    /**
-     * Divides one non-zero integer by another using floor division.
-     *
-     * @param a The dividend non-zero integer.
-     * @param b The divisor non-zero integer.
-     * @returns `⌊a / b⌋` as a NonZeroInt.
-     */
-    div,
 };
 
 export { NonZeroInt, asNonZeroInt, isNonZeroInt };

package/dist/number/branded-types/non-zero-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int.mjs","sources":["../../../src/number/branded-types/non-zero-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,oBAAoB;AAE9C,MAAM,EACJ,GAAG,EACH,GAAG,EACH,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,GAAG,GACJ,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,SAAS;AAC/B,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;IAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;AAKG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;;AAMG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;;AAMG;AACI,MAAM,UAAU,GAAG;AACxB;;;;;AAKG;IACH,EAAE;AAEF;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;AAIG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;;;;;"}
+{"version":3,"file":"non-zero-int.mjs","sources":["../../../src/number/branded-types/non-zero-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,oBAAoB;AAE9C,MAAM,EACJ,GAAG,EACH,QAAQ,EACR,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,GACtB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,SAAS;AAC/B,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;IAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;AAKG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;;AAMG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;;AAMG;AACI,MAAM,UAAU,GAAG;AACxB;;;;;AAKG;IACH,EAAE;AAEF;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;AAIG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;;;;;AAUG;IACH,GAAG;;;;;"}

package/dist/number/branded-types/non-zero-int16.d.mts

@@ -1,5 +1,4 @@
 import { type NonZeroInt16 as TtfImported_NonZeroInt16 } from 'ts-type-forge';
-import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 export type NonZeroInt16 = TtfImported_NonZeroInt16;
 /**
  * Checks if a number is a NonZeroInt16 (16-bit non-zero signed integer in the
@@ -20,11 +19,11 @@ export declare const asNonZeroInt16: <N extends number>(x: N) => number & {
     readonly NaNValue: false;
     readonly Finite: true;
     readonly Int: true;
-    readonly "!=0": true;
     readonly "> -2^16": true;
     readonly "> -2^32": true;
     readonly ">= -2^15": true;
     readonly ">= -2^31": true;
+    readonly "!=0": true;
     readonly "< 2^15": true;
     readonly "< 2^16": true;
     readonly "< 2^31": true;
@@ -69,7 +68,7 @@ export declare const NonZeroInt16: {
      * @param a The NonZeroInt16 value.
      * @returns The absolute value as a NonZeroInt16, clamped to valid range.
      */
-    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TsDataForgeInternals.RefinedNumberUtils.ToNonNegative<TtfImported_NonZeroInt16>;
+    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => import("ts-type-forge").IntersectBrand<TtfImported_NonZeroInt16, import("ts-type-forge").PositiveNumber>;
     /**
      * Returns the smaller of two NonZeroInt16 values.
      *
@@ -108,53 +107,17 @@ export declare const NonZeroInt16: {
      * @returns `a ** b` clamped to [-32768, 32767] as a NonZeroInt16.
      */
     readonly pow: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TtfImported_NonZeroInt16;
-    /**
-     * Adds two NonZeroInt16 values.
-     *
-     * @param a The first NonZeroInt16.
-     * @param b The second NonZeroInt16.
-     * @returns `a + b` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    readonly add: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TtfImported_NonZeroInt16;
-    /**
-     * Subtracts one NonZeroInt16 from another.
-     *
-     * @param a The minuend NonZeroInt16.
-     * @param b The subtrahend NonZeroInt16.
-     * @returns `a - b` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    readonly sub: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TtfImported_NonZeroInt16;
     /**
      * Multiplies two NonZeroInt16 values.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first NonZeroInt16.
      * @param b The second NonZeroInt16.
      * @returns `a * b` clamped to [-32768, 32767] as a NonZeroInt16.
      */
     readonly mul: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TtfImported_NonZeroInt16;
-    /**
-     * Divides one NonZeroInt16 by another using floor division.
-     *
-     * @param a The dividend NonZeroInt16.
-     * @param b The divisor NonZeroInt16.
-     * @returns `⌊a / b⌋` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    readonly div: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: 1 | 2 | 3 | 32 | 4 | 5 | 6 | 7 | 8 | 9 | 11 | 10 | 20 | 30 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 31 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | -1 | -2 | -3 | -32 | -40 | -4 | -5 | -6 | -7 | -8 | -9 | -11 | -10 | -20 | -30 | -12 | -13 | -14 | -15 | -16 | -17 | -18 | -19 | -21 | -22 | -23 | -24 | -25 | -26 | -27 | -28 | -29 | -31 | -33 | -34 | -35 | -36 | -37 | -38 | -39 | import("ts-type-forge").NormalizeBrandUnion<number & {
-        readonly NaNValue: false;
-        readonly Finite: true;
-        readonly Int: true;
-        readonly "!=0": true;
-        readonly "> -2^16": true;
-        readonly "> -2^32": true;
-        readonly ">= -2^15": true;
-        readonly ">= -2^31": true;
-        readonly "< 2^15": true;
-        readonly "< 2^16": true;
-        readonly "< 2^31": true;
-        readonly "< 2^32": true;
-        readonly SafeInt: true;
-    } & Readonly<{
-        'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
-    }>>) => TtfImported_NonZeroInt16;
 };
 //# sourceMappingURL=non-zero-int16.d.mts.map

package/dist/number/branded-types/non-zero-int16.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int16.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int16.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,IAAI,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,YAAY,GAAG,wBAAwB,CAAC;AAiCpD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,8CAAK,CAAC;AAEjC;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;MAAW,CAAC;AAEvC;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;IACvB;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;;;;;;;;;;;;;;;;;CAEK,CAAC"}
+{"version":3,"file":"non-zero-int16.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int16.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,IAAI,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAI9E,MAAM,MAAM,YAAY,GAAG,wBAAwB,CAAC;AA8BpD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,8CAAK,CAAC;AAEjC;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;MAAW,CAAC;AAEvC;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;IACvB;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;;;;;OAUG;;CAEK,CAAC"}

package/dist/number/branded-types/non-zero-int16.mjs

@@ -1,7 +1,7 @@
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
 const typeNameInMessage = 'a non-zero integer in [-2^15, 2^15)';
-const { MAX_VALUE, MIN_VALUE, abs, add, castType, clamp, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+const { MAX_VALUE, MIN_VALUE, abs, castType, clamp, is, max: max_, min: min_, mul, pow, randomNonZero: random, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
     integerOrSafeInteger: 'SafeInteger',
     nonZero: true,
     MIN_VALUE: -32768,
@@ -99,38 +99,18 @@ const NonZeroInt16 = {
      * @returns `a ** b` clamped to [-32768, 32767] as a NonZeroInt16.
      */
     pow,
-    /**
-     * Adds two NonZeroInt16 values.
-     *
-     * @param a The first NonZeroInt16.
-     * @param b The second NonZeroInt16.
-     * @returns `a + b` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    add,
-    /**
-     * Subtracts one NonZeroInt16 from another.
-     *
-     * @param a The minuend NonZeroInt16.
-     * @param b The subtrahend NonZeroInt16.
-     * @returns `a - b` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    sub,
     /**
      * Multiplies two NonZeroInt16 values.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first NonZeroInt16.
      * @param b The second NonZeroInt16.
      * @returns `a * b` clamped to [-32768, 32767] as a NonZeroInt16.
      */
     mul,
-    /**
-     * Divides one NonZeroInt16 by another using floor division.
-     *
-     * @param a The dividend NonZeroInt16.
-     * @param b The divisor NonZeroInt16.
-     * @returns `⌊a / b⌋` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    div,
 };
 
 export { NonZeroInt16, asNonZeroInt16, isNonZeroInt16 };

package/dist/number/branded-types/non-zero-int16.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int16.mjs","sources":["../../../src/number/branded-types/non-zero-int16.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,qCAAqC;AAE/D,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,GAAG,EACH,QAAQ,EACR,KAAK,EACL,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,GAAG,GACJ,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,aAAa;AACnC,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,MAAU;AACrB,IAAA,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;IACtB,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;;;AAQG;AACI,MAAM,YAAY,GAAG;AAC1B;;;;;;AAMG;IACH,EAAE;AAEF;;;;AAIG;IACH,SAAS;AAET;;;;AAIG;IACH,SAAS;AAET;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;IACH,KAAK;AAEL;;;;;AAKG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;;;;;"}
+{"version":3,"file":"non-zero-int16.mjs","sources":["../../../src/number/branded-types/non-zero-int16.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,qCAAqC;AAE/D,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,QAAQ,EACR,KAAK,EACL,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,GACtB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,aAAa;AACnC,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,MAAU;AACrB,IAAA,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;IACtB,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;;;AAQG;AACI,MAAM,YAAY,GAAG;AAC1B;;;;;;AAMG;IACH,EAAE;AAEF;;;;AAIG;IACH,SAAS;AAET;;;;AAIG;IACH,SAAS;AAET;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;IACH,KAAK;AAEL;;;;;AAKG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;;;;;AAUG;IACH,GAAG;;;;;"}

package/dist/number/branded-types/non-zero-int32.d.mts

@@ -1,5 +1,4 @@
 import { type NonZeroInt32 as TtfImported_NonZeroInt32 } from 'ts-type-forge';
-import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 export type NonZeroInt32 = TtfImported_NonZeroInt32;
 /**
  * Checks if a number is a NonZeroInt32 (32-bit non-zero signed integer in the
@@ -20,9 +19,9 @@ export declare const asNonZeroInt32: <N extends number>(x: N) => number & {
     readonly NaNValue: false;
     readonly Finite: true;
     readonly Int: true;
-    readonly "!=0": true;
     readonly "> -2^32": true;
     readonly ">= -2^31": true;
+    readonly "!=0": true;
     readonly "< 2^31": true;
     readonly "< 2^32": true;
     readonly SafeInt: true;
@@ -65,7 +64,7 @@ export declare const NonZeroInt32: {
      * @param a The NonZeroInt32 value.
      * @returns The absolute value as a NonZeroInt32, clamped to valid range.
      */
-    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>) => TsDataForgeInternals.RefinedNumberUtils.ToNonNegative<TtfImported_NonZeroInt32>;
+    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>) => import("ts-type-forge").IntersectBrand<TtfImported_NonZeroInt32, import("ts-type-forge").PositiveNumber>;
     /**
      * Returns the smaller of two NonZeroInt32 values.
      *
@@ -105,49 +104,17 @@ export declare const NonZeroInt32: {
      * @returns `a ** b` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
      */
     readonly pow: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>) => TtfImported_NonZeroInt32;
-    /**
-     * Adds two NonZeroInt32 values.
-     *
-     * @param a The first NonZeroInt32.
-     * @param b The second NonZeroInt32.
-     * @returns `a + b` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
-     */
-    readonly add: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>) => TtfImported_NonZeroInt32;
-    /**
-     * Subtracts one NonZeroInt32 from another.
-     *
-     * @param a The minuend NonZeroInt32.
-     * @param b The subtrahend NonZeroInt32.
-     * @returns `a - b` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
-     */
-    readonly sub: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>) => TtfImported_NonZeroInt32;
     /**
      * Multiplies two NonZeroInt32 values.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first NonZeroInt32.
      * @param b The second NonZeroInt32.
      * @returns `a * b` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
      */
     readonly mul: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>) => TtfImported_NonZeroInt32;
-    /**
-     * Divides one NonZeroInt32 by another using floor division.
-     *
-     * @param a The dividend NonZeroInt32.
-     * @param b The divisor NonZeroInt32.
-     * @returns `⌊a / b⌋` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
-     */
-    readonly div: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt32>, y: 1 | 2 | 3 | 32 | 4 | 5 | 6 | 7 | 8 | 9 | 11 | 10 | 20 | 30 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 31 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | -1 | -2 | -3 | -32 | -40 | -4 | -5 | -6 | -7 | -8 | -9 | -11 | -10 | -20 | -30 | -12 | -13 | -14 | -15 | -16 | -17 | -18 | -19 | -21 | -22 | -23 | -24 | -25 | -26 | -27 | -28 | -29 | -31 | -33 | -34 | -35 | -36 | -37 | -38 | -39 | import("ts-type-forge").NormalizeBrandUnion<number & {
-        readonly NaNValue: false;
-        readonly Finite: true;
-        readonly Int: true;
-        readonly "!=0": true;
-        readonly "> -2^32": true;
-        readonly ">= -2^31": true;
-        readonly "< 2^31": true;
-        readonly "< 2^32": true;
-        readonly SafeInt: true;
-    } & Readonly<{
-        'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
-    }>>) => TtfImported_NonZeroInt32;
 };
 //# sourceMappingURL=non-zero-int32.d.mts.map

package/dist/number/branded-types/non-zero-int32.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int32.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int32.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,IAAI,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,YAAY,GAAG,wBAAwB,CAAC;AAiCpD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,8CAAK,CAAC;AAEjC;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;MAAW,CAAC;AAEvC;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;IACvB;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;;;;;;;;;;;;;CAEK,CAAC"}
+{"version":3,"file":"non-zero-int32.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int32.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,IAAI,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAI9E,MAAM,MAAM,YAAY,GAAG,wBAAwB,CAAC;AA8BpD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,8CAAK,CAAC;AAEjC;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;MAAW,CAAC;AAEvC;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;IACvB;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;;;;;OAUG;;CAEK,CAAC"}

package/dist/number/branded-types/non-zero-int32.mjs

@@ -1,7 +1,7 @@
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
 const typeNameInMessage = 'a non-zero integer in [-2^31, 2^31)';
-const { MAX_VALUE, MIN_VALUE, abs, add, castType, clamp, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+const { MAX_VALUE, MIN_VALUE, abs, castType, clamp, is, max: max_, min: min_, mul, pow, randomNonZero: random, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
     integerOrSafeInteger: 'SafeInteger',
     nonZero: true,
     MIN_VALUE: -2147483648,
@@ -100,38 +100,18 @@ const NonZeroInt32 = {
      * @returns `a ** b` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
      */
     pow,
-    /**
-     * Adds two NonZeroInt32 values.
-     *
-     * @param a The first NonZeroInt32.
-     * @param b The second NonZeroInt32.
-     * @returns `a + b` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
-     */
-    add,
-    /**
-     * Subtracts one NonZeroInt32 from another.
-     *
-     * @param a The minuend NonZeroInt32.
-     * @param b The subtrahend NonZeroInt32.
-     * @returns `a - b` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
-     */
-    sub,
     /**
      * Multiplies two NonZeroInt32 values.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first NonZeroInt32.
      * @param b The second NonZeroInt32.
      * @returns `a * b` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
      */
     mul,
-    /**
-     * Divides one NonZeroInt32 by another using floor division.
-     *
-     * @param a The dividend NonZeroInt32.
-     * @param b The divisor NonZeroInt32.
-     * @returns `⌊a / b⌋` clamped to [-2147483648, 2147483647] as a NonZeroInt32.
-     */
-    div,
 };
 
 export { NonZeroInt32, asNonZeroInt32, isNonZeroInt32 };

package/dist/number/branded-types/non-zero-int32.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int32.mjs","sources":["../../../src/number/branded-types/non-zero-int32.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,qCAAqC;AAE/D,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,GAAG,EACH,QAAQ,EACR,KAAK,EACL,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,GAAG,GACJ,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,aAAa;AACnC,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,WAAU;AACrB,IAAA,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;IACtB,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;;;AAQG;AACI,MAAM,YAAY,GAAG;AAC1B;;;;;;AAMG;IACH,EAAE;AAEF;;;;AAIG;IACH,SAAS;AAET;;;;AAIG;IACH,SAAS;AAET;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;IACH,KAAK;AAEL;;;;;AAKG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;;;;;"}
+{"version":3,"file":"non-zero-int32.mjs","sources":["../../../src/number/branded-types/non-zero-int32.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,qCAAqC;AAE/D,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,QAAQ,EACR,KAAK,EACL,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,GACtB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,aAAa;AACnC,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,WAAU;AACrB,IAAA,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;IACtB,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;;;AAQG;AACI,MAAM,YAAY,GAAG;AAC1B;;;;;;AAMG;IACH,EAAE;AAEF;;;;AAIG;IACH,SAAS;AAET;;;;AAIG;IACH,SAAS;AAET;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;IACH,KAAK;AAEL;;;;;AAKG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;;;;;AAUG;IACH,GAAG;;;;;"}

package/dist/number/branded-types/non-zero-safe-int.d.mts

@@ -1,5 +1,4 @@
 import { type SafeInt, type SafeUint, type NonZeroSafeInt as TtfImported_NonZeroSafeInt } from 'ts-type-forge';
-import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 export type NonZeroSafeInt = TtfImported_NonZeroSafeInt;
 /**
  * Checks if a number is a NonZeroSafeInt (a non-zero safe integer in the range
@@ -60,7 +59,7 @@ export declare const NonZeroSafeInt: {
      * @param a The NonZeroSafeInt value.
      * @returns The absolute value as a NonZeroSafeInt, clamped to safe range.
      */
-    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>) => TsDataForgeInternals.RefinedNumberUtils.ToNonNegative<TtfImported_NonZeroSafeInt>;
+    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>) => import("ts-type-forge").IntersectBrand<TtfImported_NonZeroSafeInt, import("ts-type-forge").PositiveNumber>;
     /**
      * Returns the smaller of two NonZeroSafeInt values.
      *
@@ -101,49 +100,18 @@ export declare const NonZeroSafeInt: {
      *   NonZeroSafeInt.
      */
     readonly pow: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>) => TtfImported_NonZeroSafeInt;
-    /**
-     * Adds two NonZeroSafeInt values.
-     *
-     * @param a The first NonZeroSafeInt.
-     * @param b The second NonZeroSafeInt.
-     * @returns `a + b` clamped to non-zero safe integer range as a
-     *   NonZeroSafeInt.
-     */
-    readonly add: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>) => TtfImported_NonZeroSafeInt;
-    /**
-     * Subtracts one NonZeroSafeInt from another.
-     *
-     * @param a The minuend NonZeroSafeInt.
-     * @param b The subtrahend NonZeroSafeInt.
-     * @returns `a - b` clamped to non-zero safe integer range as a
-     *   NonZeroSafeInt.
-     */
-    readonly sub: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>) => TtfImported_NonZeroSafeInt;
     /**
      * Multiplies two NonZeroSafeInt values.
      *
+     * The product of two non-zero safe integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first NonZeroSafeInt.
      * @param b The second NonZeroSafeInt.
      * @returns `a * b` clamped to non-zero safe integer range as a
      *   NonZeroSafeInt.
      */
     readonly mul: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>) => TtfImported_NonZeroSafeInt;
-    /**
-     * Divides one NonZeroSafeInt by another using floor division.
-     *
-     * @param a The dividend NonZeroSafeInt.
-     * @param b The divisor NonZeroSafeInt.
-     * @returns `⌊a / b⌋` clamped to non-zero safe integer range as a
-     *   NonZeroSafeInt.
-     */
-    readonly div: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroSafeInt>, y: 1 | 2 | 3 | 32 | 4 | 5 | 6 | 7 | 8 | 9 | 11 | 10 | 20 | 30 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 31 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | -1 | -2 | -3 | -32 | -40 | -4 | -5 | -6 | -7 | -8 | -9 | -11 | -10 | -20 | -30 | -12 | -13 | -14 | -15 | -16 | -17 | -18 | -19 | -21 | -22 | -23 | -24 | -25 | -26 | -27 | -28 | -29 | -31 | -33 | -34 | -35 | -36 | -37 | -38 | -39 | import("ts-type-forge").NormalizeBrandUnion<number & {
-        readonly NaNValue: false;
-        readonly Finite: true;
-        readonly Int: true;
-        readonly "!=0": true;
-        readonly SafeInt: true;
-    } & Readonly<{
-        'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
-    }>>) => TtfImported_NonZeroSafeInt;
 };
 //# sourceMappingURL=non-zero-safe-int.d.mts.map

package/dist/number/branded-types/non-zero-safe-int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-safe-int.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-safe-int.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,QAAQ,EACb,KAAK,cAAc,IAAI,0BAA0B,EAClD,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,cAAc,GAAG,0BAA0B,CAAC;AAmCxD;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,gDAAK,CAAC;AAEnC;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;MAAW,CAAC;AAEzC;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc;IACzB;;;;;OAKG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;;;OAOG;;IAGH;;;;;;;OAOG;;IAGH;;;;;;;OAOG;;IAGH;;;;;;;OAOG;;IAGH;;;;;;;OAOG;;;;;;;;;;CAEK,CAAC"}
+{"version":3,"file":"non-zero-safe-int.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-safe-int.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,QAAQ,EACb,KAAK,cAAc,IAAI,0BAA0B,EAClD,MAAM,eAAe,CAAC;AAIvB,MAAM,MAAM,cAAc,GAAG,0BAA0B,CAAC;AAgCxD;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,gDAAK,CAAC;AAEnC;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;MAAW,CAAC;AAEzC;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc;IACzB;;;;;OAKG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;;;OAOG;;IAGH;;;;;;;;;;;OAWG;;CAEK,CAAC"}