ts-data-forge 1.0.0 → 1.0.1

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

@@ -0,0 +1,145 @@
+import { TsVerifiedInternals } from '../refined-number-utils.mjs';
+
+const typeNameInMessage = 'a non-zero integer in [-2^31, 2^31)';
+const { MIN_VALUE, MAX_VALUE, abs, min: min_, max: max_, pow, add, sub, mul, div, randomNonZero: random, is, castType, clamp, } = TsVerifiedInternals.RefinedNumberUtils.operatorsForInteger({
+    integerOrSafeInteger: 'SafeInteger',
+    nonZero: true,
+    MIN_VALUE: -2147483648,
+    MAX_VALUE: 2 ** 31 - 1,
+    typeNameInMessage,
+});
+/**
+ * Checks if a number is a NonZeroInt32 (32-bit non-zero signed integer in the range [-2^31, 2^31) excluding 0).
+ * @param value The value to check.
+ * @returns `true` if the value is a NonZeroInt32, `false` otherwise.
+ */
+const isNonZeroInt32 = is;
+/**
+ * Casts a number to a NonZeroInt32 type.
+ * @param value The value to cast.
+ * @returns The value as a NonZeroInt32 type.
+ * @throws {TypeError} If the value is not a non-zero integer in [-2^31, 2^31).
+ * @example
+ * ```typescript
+ * const x = asNonZeroInt32(1000); // NonZeroInt32
+ * const y = asNonZeroInt32(-1000); // NonZeroInt32
+ * // asNonZeroInt32(0); // throws TypeError
+ * // asNonZeroInt32(2147483648); // throws TypeError
+ * ```
+ */
+const asNonZeroInt32 = castType;
+/**
+ * Namespace providing type-safe arithmetic operations for 32-bit non-zero signed integers.
+ *
+ * All operations automatically clamp results to the valid NonZeroInt32 range [-2147483648, 2147483647]
+ * excluding 0. This ensures that all arithmetic maintains the 32-bit non-zero signed integer
+ * constraint, preventing zero results and overflow.
+ *
+ * @example
+ * ```typescript
+ * const a = asNonZeroInt32(2000000000);
+ * const b = asNonZeroInt32(-500000000);
+ *
+ * // Arithmetic operations with automatic clamping and non-zero constraint
+ * const sum = NonZeroInt32.add(a, b);       // NonZeroInt32 (1500000000)
+ * const diff = NonZeroInt32.sub(a, b);      // NonZeroInt32 (2147483647 - clamped to MAX_VALUE)
+ * const product = NonZeroInt32.mul(a, b);   // NonZeroInt32 (-2147483648 - clamped to MIN_VALUE)
+ *
+ * // Utility operations
+ * const absolute = NonZeroInt32.abs(b);         // NonZeroInt32 (500000000)
+ * const minimum = NonZeroInt32.min(a, b);       // NonZeroInt32 (-500000000)
+ * const maximum = NonZeroInt32.max(a, b);       // NonZeroInt32 (2000000000)
+ *
+ * // Range operations (avoiding zero)
+ * const clamped = NonZeroInt32.clamp(0);        // NonZeroInt32 (1 or -1, avoiding zero)
+ * const random = NonZeroInt32.random();         // NonZeroInt32 (random non-zero value in range)
+ * const power = NonZeroInt32.pow(asNonZeroInt32(2), asNonZeroInt32(20)); // NonZeroInt32 (1048576)
+ * ```
+ */
+const NonZeroInt32 = {
+    /**
+     * Type guard to check if a value is a NonZeroInt32.
+     * @param value The value to check.
+     * @returns `true` if the value is a 32-bit non-zero signed integer, `false` otherwise.
+     */
+    is,
+    /**
+     * The minimum value for a 32-bit non-zero signed integer.
+     * @readonly
+     */
+    MIN_VALUE,
+    /**
+     * The maximum value for a 32-bit non-zero signed integer.
+     * @readonly
+     */
+    MAX_VALUE,
+    /**
+     * Returns the absolute value of a 32-bit non-zero signed integer.
+     * @param a The NonZeroInt32 value.
+     * @returns The absolute value as a NonZeroInt32, clamped to valid range.
+     */
+    abs,
+    /**
+     * Returns the smaller of two NonZeroInt32 values.
+     * @param a The first NonZeroInt32.
+     * @param b The second NonZeroInt32.
+     * @returns The minimum value as a NonZeroInt32.
+     */
+    min: min_,
+    /**
+     * Returns the larger of two NonZeroInt32 values.
+     * @param a The first NonZeroInt32.
+     * @param b The second NonZeroInt32.
+     * @returns The maximum value as a NonZeroInt32.
+     */
+    max: max_,
+    /**
+     * Clamps a number to the NonZeroInt32 range (avoiding zero).
+     * @param value The number to clamp.
+     * @returns The value clamped to [-2147483648, 2147483647] \ {0} as a NonZeroInt32.
+     */
+    clamp,
+    /**
+     * Generates a random NonZeroInt32 value within the valid range.
+     * @returns A random NonZeroInt32 between MIN_VALUE and MAX_VALUE (excluding 0).
+     */
+    random,
+    /**
+     * Raises a NonZeroInt32 to the power of another NonZeroInt32.
+     * @param a The base NonZeroInt32.
+     * @param b The exponent 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.
+     * @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 };
+//# sourceMappingURL=non-zero-int32.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"non-zero-int32.mjs","sources":["../../../src/number/branded-types/non-zero-int32.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAKA,MAAM,iBAAiB,GAAG,qCAAqC;AAE/D,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,EAAE,EACF,QAAQ,EACR,KAAK,GACN,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,mBAAmB,CAI5D;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;;;;AAIG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;;;;;;;AAYG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BG;AACI,MAAM,YAAY,GAAG;AAC1B;;;;AAIG;IACH,EAAE;AAEF;;;AAGG;IACH,SAAS;AAET;;;AAGG;IACH,SAAS;AAET;;;;AAIG;IACH,GAAG;AAEH;;;;;AAKG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;AAIG;IACH,KAAK;AAEL;;;AAGG;IACH,MAAM;AAEN;;;;;AAKG;IACH,GAAG;AAEH;;;;;AAKG;IACH,GAAG;AAEH;;;;;AAKG;IACH,GAAG;AAEH;;;;;AAKG;IACH,GAAG;AAEH;;;;;AAKG;IACH,GAAG;;;;;"}

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

@@ -0,0 +1,148 @@
+import { TsVerifiedInternals } from '../refined-number-utils.mjs';
+/**
+ * Checks if a number is a NonZeroSafeInt (a non-zero safe integer in the range [MIN_SAFE_INTEGER, MAX_SAFE_INTEGER] excluding 0).
+ * @param value The value to check.
+ * @returns `true` if the value is a NonZeroSafeInt, `false` otherwise.
+ */
+export declare const isNonZeroSafeInt: (a: number) => a is NonZeroSafeInt;
+/**
+ * Casts a number to a NonZeroSafeInt type.
+ * @param value The value to cast.
+ * @returns The value as a NonZeroSafeInt type.
+ * @throws {TypeError} If the value is not a non-zero safe integer.
+ * @example
+ * ```typescript
+ * const x = asNonZeroSafeInt(5); // NonZeroSafeInt
+ * const y = asNonZeroSafeInt(-1000); // NonZeroSafeInt
+ * // asNonZeroSafeInt(0); // throws TypeError
+ * // asNonZeroSafeInt(1.5); // throws TypeError
+ * ```
+ */
+export declare const asNonZeroSafeInt: <N extends number>(x: N) => number & {
+    readonly NaNValue: false;
+    readonly "!=0": true;
+    readonly Finite: true;
+    readonly Int: true;
+    readonly SafeInt: true;
+} & Readonly<{
+    'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
+}> & N;
+/**
+ * Namespace providing type-safe arithmetic operations for non-zero safe integers.
+ *
+ * All operations automatically clamp results to the non-zero safe integer range, excluding zero.
+ * This ensures that all arithmetic maintains both the non-zero constraint and IEEE 754 precision guarantees,
+ * preventing precision loss while ensuring results are never zero.
+ *
+ * @example
+ * ```typescript
+ * const a = asNonZeroSafeInt(9007199254740000);  // Near MAX_SAFE_INTEGER
+ * const b = asNonZeroSafeInt(-1000);
+ *
+ * // Arithmetic operations with non-zero safe range clamping
+ * const sum = NonZeroSafeInt.add(a, b);          // NonZeroSafeInt (9007199254739000)
+ * const diff = NonZeroSafeInt.sub(a, b);         // NonZeroSafeInt (clamped to MAX_SAFE_INTEGER)
+ * const product = NonZeroSafeInt.mul(a, b);      // NonZeroSafeInt (clamped to MIN_SAFE_INTEGER)
+ *
+ * // Utility operations
+ * const absolute = NonZeroSafeInt.abs(b);            // NonZeroSafeInt (1000)
+ * const minimum = NonZeroSafeInt.min(a, b);          // NonZeroSafeInt (-1000)
+ * const maximum = NonZeroSafeInt.max(a, b);          // NonZeroSafeInt (a)
+ *
+ * // Random generation
+ * const random = NonZeroSafeInt.random();            // NonZeroSafeInt (random non-zero safe integer)
+ * ```
+ */
+export declare const NonZeroSafeInt: {
+    /**
+     * Type guard to check if a value is a NonZeroSafeInt.
+     * @param value The value to check.
+     * @returns `true` if the value is a non-zero safe integer, `false` otherwise.
+     */
+    readonly is: (a: number) => a is NonZeroSafeInt;
+    /**
+     * The minimum safe integer value (-(2^53 - 1)).
+     * @readonly
+     */
+    readonly MIN_VALUE: SafeInt;
+    /**
+     * The maximum safe integer value (2^53 - 1).
+     * @readonly
+     */
+    readonly MAX_VALUE: SafeUint;
+    /**
+     * Returns the absolute value of a non-zero safe integer.
+     * @param a The NonZeroSafeInt value.
+     * @returns The absolute value as a NonZeroSafeInt, clamped to safe range.
+     */
+    readonly abs: (x: WithSmallInt<NonZeroSafeInt, 40>) => TsVerifiedInternals.RefinedNumberUtils.ToNonNegative<NonZeroSafeInt>;
+    /**
+     * Returns the smaller of two NonZeroSafeInt values.
+     * @param a The first NonZeroSafeInt.
+     * @param b The second NonZeroSafeInt.
+     * @returns The minimum value as a NonZeroSafeInt.
+     */
+    readonly min: (...values: readonly WithSmallInt<NonZeroSafeInt, 40>[]) => NonZeroSafeInt;
+    /**
+     * Returns the larger of two NonZeroSafeInt values.
+     * @param a The first NonZeroSafeInt.
+     * @param b The second NonZeroSafeInt.
+     * @returns The maximum value as a NonZeroSafeInt.
+     */
+    readonly max: (...values: readonly WithSmallInt<NonZeroSafeInt, 40>[]) => NonZeroSafeInt;
+    /**
+     * Clamps a number to the non-zero safe integer range.
+     * @param value The number to clamp.
+     * @returns The value clamped to [MIN_SAFE_INTEGER, MAX_SAFE_INTEGER] \ {0} as a NonZeroSafeInt.
+     */
+    readonly clamp: (x: number) => NonZeroSafeInt;
+    /**
+     * Generates a random NonZeroSafeInt value within the valid range.
+     * @returns A random non-zero safe integer between MIN_SAFE_INTEGER and MAX_SAFE_INTEGER.
+     */
+    readonly random: (min: WithSmallInt<NonZeroSafeInt, 40>, max: WithSmallInt<NonZeroSafeInt, 40>) => NonZeroSafeInt;
+    /**
+     * Raises a NonZeroSafeInt to the power of another NonZeroSafeInt.
+     * @param a The base NonZeroSafeInt.
+     * @param b The exponent NonZeroSafeInt.
+     * @returns `a ** b` clamped to non-zero safe integer range as a NonZeroSafeInt.
+     */
+    readonly pow: (x: WithSmallInt<NonZeroSafeInt, 40>, y: WithSmallInt<NonZeroSafeInt, 40>) => 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: WithSmallInt<NonZeroSafeInt, 40>, y: WithSmallInt<NonZeroSafeInt, 40>) => 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: WithSmallInt<NonZeroSafeInt, 40>, y: WithSmallInt<NonZeroSafeInt, 40>) => NonZeroSafeInt;
+    /**
+     * Multiplies 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 mul: (x: WithSmallInt<NonZeroSafeInt, 40>, y: WithSmallInt<NonZeroSafeInt, 40>) => 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: WithSmallInt<NonZeroSafeInt, 40>, y: 1 | 2 | 3 | 32 | 4 | 5 | 6 | 7 | 8 | 9 | 11 | 10 | 24 | 14 | 34 | 12 | 13 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 33 | 35 | 36 | 37 | 38 | 39 | -1 | -2 | -3 | -32 | -4 | -5 | -6 | -7 | -8 | -9 | -11 | -10 | -24 | -14 | -34 | -12 | -13 | -15 | -16 | -17 | -18 | -19 | -20 | -21 | -22 | -23 | -25 | -26 | -27 | -28 | -29 | -30 | -31 | -33 | -35 | -36 | -37 | -38 | -39 | -40 | NormalizeBrandUnion<number & {
+        readonly NaNValue: false;
+        readonly "!=0": true;
+        readonly Finite: true;
+        readonly Int: true;
+        readonly SafeInt: true;
+    } & Readonly<{
+        'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
+    }>>) => NonZeroSafeInt;
+};
+//# sourceMappingURL=non-zero-safe-int.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"non-zero-safe-int.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-safe-int.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAmClE;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,oCAAK,CAAC;AAEnC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;MAAW,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,cAAc;IACzB;;;;OAIG;;IAGH;;;OAGG;;IAGH;;;OAGG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;OAIG;;IAGH;;;OAGG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;;;;;;;;;CAEK,CAAC"}

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

@@ -0,0 +1,145 @@
+import { TsVerifiedInternals } from '../refined-number-utils.mjs';
+
+const typeNameInMessage = 'a non-zero safe integer';
+const { MIN_VALUE, MAX_VALUE, abs, min: min_, max: max_, pow, add, sub, mul, div, randomNonZero: random, is, castType, clamp, } = TsVerifiedInternals.RefinedNumberUtils.operatorsForInteger({
+    integerOrSafeInteger: 'SafeInteger',
+    nonZero: true,
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+    MIN_VALUE: Number.MIN_SAFE_INTEGER,
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+    MAX_VALUE: Number.MAX_SAFE_INTEGER,
+    typeNameInMessage,
+});
+/**
+ * Checks if a number is a NonZeroSafeInt (a non-zero safe integer in the range [MIN_SAFE_INTEGER, MAX_SAFE_INTEGER] excluding 0).
+ * @param value The value to check.
+ * @returns `true` if the value is a NonZeroSafeInt, `false` otherwise.
+ */
+const isNonZeroSafeInt = is;
+/**
+ * Casts a number to a NonZeroSafeInt type.
+ * @param value The value to cast.
+ * @returns The value as a NonZeroSafeInt type.
+ * @throws {TypeError} If the value is not a non-zero safe integer.
+ * @example
+ * ```typescript
+ * const x = asNonZeroSafeInt(5); // NonZeroSafeInt
+ * const y = asNonZeroSafeInt(-1000); // NonZeroSafeInt
+ * // asNonZeroSafeInt(0); // throws TypeError
+ * // asNonZeroSafeInt(1.5); // throws TypeError
+ * ```
+ */
+const asNonZeroSafeInt = castType;
+/**
+ * Namespace providing type-safe arithmetic operations for non-zero safe integers.
+ *
+ * All operations automatically clamp results to the non-zero safe integer range, excluding zero.
+ * This ensures that all arithmetic maintains both the non-zero constraint and IEEE 754 precision guarantees,
+ * preventing precision loss while ensuring results are never zero.
+ *
+ * @example
+ * ```typescript
+ * const a = asNonZeroSafeInt(9007199254740000);  // Near MAX_SAFE_INTEGER
+ * const b = asNonZeroSafeInt(-1000);
+ *
+ * // Arithmetic operations with non-zero safe range clamping
+ * const sum = NonZeroSafeInt.add(a, b);          // NonZeroSafeInt (9007199254739000)
+ * const diff = NonZeroSafeInt.sub(a, b);         // NonZeroSafeInt (clamped to MAX_SAFE_INTEGER)
+ * const product = NonZeroSafeInt.mul(a, b);      // NonZeroSafeInt (clamped to MIN_SAFE_INTEGER)
+ *
+ * // Utility operations
+ * const absolute = NonZeroSafeInt.abs(b);            // NonZeroSafeInt (1000)
+ * const minimum = NonZeroSafeInt.min(a, b);          // NonZeroSafeInt (-1000)
+ * const maximum = NonZeroSafeInt.max(a, b);          // NonZeroSafeInt (a)
+ *
+ * // Random generation
+ * const random = NonZeroSafeInt.random();            // NonZeroSafeInt (random non-zero safe integer)
+ * ```
+ */
+const NonZeroSafeInt = {
+    /**
+     * Type guard to check if a value is a NonZeroSafeInt.
+     * @param value The value to check.
+     * @returns `true` if the value is a non-zero safe integer, `false` otherwise.
+     */
+    is,
+    /**
+     * The minimum safe integer value (-(2^53 - 1)).
+     * @readonly
+     */
+    MIN_VALUE,
+    /**
+     * The maximum safe integer value (2^53 - 1).
+     * @readonly
+     */
+    MAX_VALUE,
+    /**
+     * Returns the absolute value of a non-zero safe integer.
+     * @param a The NonZeroSafeInt value.
+     * @returns The absolute value as a NonZeroSafeInt, clamped to safe range.
+     */
+    abs,
+    /**
+     * Returns the smaller of two NonZeroSafeInt values.
+     * @param a The first NonZeroSafeInt.
+     * @param b The second NonZeroSafeInt.
+     * @returns The minimum value as a NonZeroSafeInt.
+     */
+    min: min_,
+    /**
+     * Returns the larger of two NonZeroSafeInt values.
+     * @param a The first NonZeroSafeInt.
+     * @param b The second NonZeroSafeInt.
+     * @returns The maximum value as a NonZeroSafeInt.
+     */
+    max: max_,
+    /**
+     * Clamps a number to the non-zero safe integer range.
+     * @param value The number to clamp.
+     * @returns The value clamped to [MIN_SAFE_INTEGER, MAX_SAFE_INTEGER] \ {0} as a NonZeroSafeInt.
+     */
+    clamp,
+    /**
+     * Generates a random NonZeroSafeInt value within the valid range.
+     * @returns A random non-zero safe integer between MIN_SAFE_INTEGER and MAX_SAFE_INTEGER.
+     */
+    random,
+    /**
+     * Raises a NonZeroSafeInt to the power of another NonZeroSafeInt.
+     * @param a The base NonZeroSafeInt.
+     * @param b The exponent NonZeroSafeInt.
+     * @returns `a ** b` clamped to non-zero safe integer range as a NonZeroSafeInt.
+     */
+    pow,
+    /**
+     * 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.
+     */
+    add,
+    /**
+     * 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.
+     */
+    sub,
+    /**
+     * Multiplies 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.
+     */
+    mul,
+    /**
+     * 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.
+     */
+    div,
+};
+
+export { NonZeroSafeInt, asNonZeroSafeInt, isNonZeroSafeInt };
+//# sourceMappingURL=non-zero-safe-int.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"non-zero-safe-int.mjs","sources":["../../../src/number/branded-types/non-zero-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAKA,MAAM,iBAAiB,GAAG,yBAAyB;AAEnD,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,EAAE,EACF,QAAQ,EACR,KAAK,GACN,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,mBAAmB,CAI5D;AACA,IAAA,oBAAoB,EAAE,aAAa;AACnC,IAAA,OAAO,EAAE,IAAI;;IAEb,SAAS,EAAE,MAAM,CAAC,gBAA2B;;IAE7C,SAAS,EAAE,MAAM,CAAC,gBAA4B;IAC9C,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;AAIG;AACI,MAAM,gBAAgB,GAAG;AAEhC;;;;;;;;;;;;AAYG;AACI,MAAM,gBAAgB,GAAG;AAEhC;;;;;;;;;;;;;;;;;;;;;;;;;AAyBG;AACI,MAAM,cAAc,GAAG;AAC5B;;;;AAIG;IACH,EAAE;AAEF;;;AAGG;IACH,SAAS;AAET;;;AAGG;IACH,SAAS;AAET;;;;AAIG;IACH,GAAG;AAEH;;;;;AAKG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;AAIG;IACH,KAAK;AAEL;;;AAGG;IACH,MAAM;AAEN;;;;;AAKG;IACH,GAAG;AAEH;;;;;AAKG;IACH,GAAG;AAEH;;;;;AAKG;IACH,GAAG;AAEH;;;;;AAKG;IACH,GAAG;AAEH;;;;;AAKG;IACH,GAAG;;;;;"}

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

@@ -0,0 +1,160 @@
+/**
+ * Checks if a number is a NonZeroUint16 (16-bit non-zero unsigned integer in the range [1, 2^16)).
+ * @param value The value to check.
+ * @returns `true` if the value is a NonZeroUint16, `false` otherwise.
+ */
+export declare const isNonZeroUint16: (a: number) => a is PositiveUint16;
+/**
+ * Casts a number to a NonZeroUint16 type.
+ * @param value The value to cast.
+ * @returns The value as a NonZeroUint16 type.
+ * @throws {TypeError} If the value is not a non-zero integer in [1, 2^16).
+ * @example
+ * ```typescript
+ * const x = asNonZeroUint16(1000); // NonZeroUint16
+ * const y = asNonZeroUint16(65535); // NonZeroUint16
+ * // asNonZeroUint16(0); // throws TypeError
+ * // asNonZeroUint16(-1); // throws TypeError
+ * // asNonZeroUint16(65536); // throws TypeError
+ * ```
+ */
+export declare const asNonZeroUint16: <N extends number>(x: N) => number & {
+    readonly NaNValue: false;
+    readonly "!=0": true;
+    readonly "> -2^16": true;
+    readonly "> -2^32": true;
+    readonly ">= -2^15": true;
+    readonly ">= -2^31": true;
+    readonly ">=0": true;
+    readonly "< 2^16": true;
+    readonly "< 2^31": true;
+    readonly "< 2^32": true;
+    readonly Finite: true;
+    readonly Int: true;
+    readonly SafeInt: true;
+} & Readonly<{
+    'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
+}> & N;
+/**
+ * Namespace providing type-safe arithmetic operations for 16-bit non-zero unsigned integers.
+ *
+ * All operations automatically clamp results to the valid NonZeroUint16 range [1, 65535].
+ * This ensures that all arithmetic maintains the 16-bit non-zero unsigned integer constraint,
+ * with results below 1 clamped to MIN_VALUE and overflow results clamped to MAX_VALUE.
+ *
+ * @example
+ * ```typescript
+ * const a = asNonZeroUint16(60000);
+ * const b = asNonZeroUint16(10000);
+ *
+ * // Arithmetic operations with automatic clamping and non-zero constraint
+ * const sum = NonZeroUint16.add(a, b);       // NonZeroUint16 (65535 - clamped to MAX_VALUE)
+ * const diff = NonZeroUint16.sub(a, b);      // NonZeroUint16 (50000)
+ * const reverseDiff = NonZeroUint16.sub(b, a); // NonZeroUint16 (1 - clamped to MIN_VALUE)
+ * const product = NonZeroUint16.mul(a, b);   // NonZeroUint16 (65535 - clamped due to overflow)
+ *
+ * // Range operations (maintaining non-zero constraint)
+ * const clamped = NonZeroUint16.clamp(-100);     // NonZeroUint16 (1)
+ * const minimum = NonZeroUint16.min(a, b);       // NonZeroUint16 (10000)
+ * const maximum = NonZeroUint16.max(a, b);       // NonZeroUint16 (60000)
+ *
+ * // Utility operations
+ * const random = NonZeroUint16.random();         // NonZeroUint16 (random value in [1, 65535])
+ * const power = NonZeroUint16.pow(asNonZeroUint16(2), asNonZeroUint16(10)); // NonZeroUint16 (1024)
+ * ```
+ */
+export declare const NonZeroUint16: {
+    /**
+     * Type guard to check if a value is a NonZeroUint16.
+     * @param value The value to check.
+     * @returns `true` if the value is a 16-bit non-zero unsigned integer, `false` otherwise.
+     */
+    readonly is: (a: number) => a is PositiveUint16;
+    /**
+     * The minimum value for a 16-bit non-zero unsigned integer.
+     * @readonly
+     */
+    readonly MIN_VALUE: 1;
+    /**
+     * The maximum value for a 16-bit non-zero unsigned integer.
+     * @readonly
+     */
+    readonly MAX_VALUE: number;
+    /**
+     * Returns the smaller of two NonZeroUint16 values.
+     * @param a The first NonZeroUint16.
+     * @param b The second NonZeroUint16.
+     * @returns The minimum value as a NonZeroUint16.
+     */
+    readonly min: (...values: readonly WithSmallInt<PositiveUint16, 40>[]) => PositiveUint16;
+    /**
+     * Returns the larger of two NonZeroUint16 values.
+     * @param a The first NonZeroUint16.
+     * @param b The second NonZeroUint16.
+     * @returns The maximum value as a NonZeroUint16.
+     */
+    readonly max: (...values: readonly WithSmallInt<PositiveUint16, 40>[]) => PositiveUint16;
+    /**
+     * Clamps a number to the NonZeroUint16 range.
+     * @param value The number to clamp.
+     * @returns The value clamped to [1, 65535] as a NonZeroUint16.
+     */
+    readonly clamp: (x: number) => PositiveUint16;
+    /**
+     * Generates a random NonZeroUint16 value within the valid range.
+     * @returns A random NonZeroUint16 between 1 and 65535.
+     */
+    readonly random: (min: WithSmallInt<PositiveUint16, 40>, max: WithSmallInt<PositiveUint16, 40>) => PositiveUint16;
+    /**
+     * Raises a NonZeroUint16 to the power of another NonZeroUint16.
+     * @param a The base NonZeroUint16.
+     * @param b The exponent NonZeroUint16.
+     * @returns `a ** b` clamped to [1, 65535] as a NonZeroUint16.
+     */
+    readonly pow: (x: WithSmallInt<PositiveUint16, 40>, y: WithSmallInt<PositiveUint16, 40>) => PositiveUint16;
+    /**
+     * Adds two NonZeroUint16 values.
+     * @param a The first NonZeroUint16.
+     * @param b The second NonZeroUint16.
+     * @returns `a + b` clamped to [1, 65535] as a NonZeroUint16.
+     */
+    readonly add: (x: WithSmallInt<PositiveUint16, 40>, y: WithSmallInt<PositiveUint16, 40>) => PositiveUint16;
+    /**
+     * Subtracts one NonZeroUint16 from another.
+     * @param a The minuend NonZeroUint16.
+     * @param b The subtrahend NonZeroUint16.
+     * @returns `a - b` clamped to [1, 65535] as a NonZeroUint16 (minimum 1).
+     */
+    readonly sub: (x: WithSmallInt<PositiveUint16, 40>, y: WithSmallInt<PositiveUint16, 40>) => PositiveUint16;
+    /**
+     * Multiplies two NonZeroUint16 values.
+     * @param a The first NonZeroUint16.
+     * @param b The second NonZeroUint16.
+     * @returns `a * b` clamped to [1, 65535] as a NonZeroUint16.
+     */
+    readonly mul: (x: WithSmallInt<PositiveUint16, 40>, y: WithSmallInt<PositiveUint16, 40>) => PositiveUint16;
+    /**
+     * Divides one NonZeroUint16 by another using floor division.
+     * @param a The dividend NonZeroUint16.
+     * @param b The divisor NonZeroUint16.
+     * @returns `⌊a / b⌋` clamped to [1, 65535] as a NonZeroUint16.
+     */
+    readonly div: (x: WithSmallInt<PositiveUint16, 40>, y: 1 | 2 | 3 | 32 | 4 | 5 | 6 | 7 | 8 | 9 | 11 | 10 | 24 | 14 | 34 | 12 | 13 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 33 | 35 | 36 | 37 | 38 | 39 | NormalizeBrandUnion<number & {
+        readonly NaNValue: false;
+        readonly "!=0": true;
+        readonly "> -2^16": true;
+        readonly "> -2^32": true;
+        readonly ">= -2^15": true;
+        readonly ">= -2^31": true;
+        readonly ">=0": true;
+        readonly "< 2^16": true;
+        readonly "< 2^31": true;
+        readonly "< 2^32": true;
+        readonly Finite: true;
+        readonly Int: true;
+        readonly SafeInt: true;
+    } & Readonly<{
+        'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
+    }>>) => PositiveUint16;
+};
+//# sourceMappingURL=non-zero-uint16.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"non-zero-uint16.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-uint16.mts"],"names":[],"mappings":"AAiCA;;;;GAIG;AACH,eAAO,MAAM,eAAe,oCAAK,CAAC;AAElC;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;MAAW,CAAC;AAExC;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,aAAa;IACxB;;;;OAIG;;IAGH;;;OAGG;;IAGH;;;OAGG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;OAIG;;IAGH;;;OAGG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;;;;;;;;;;;;;;;;;CAEK,CAAC"}