ts-data-forge 14.6.1 → 14.6.3

package/dist/number/enum/int8.mjs

@@ -1,29 +1,20 @@
-import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
-const typeNameInMessage = "an integer in [-128, 127]";
-const {
-  MAX_VALUE,
-  MIN_VALUE,
-  castType: castTypeImpl,
-  fromNumber: fromNumberImpl,
-  is: isImpl,
-  random: randomImpl
-} = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
-  integerOrSafeInteger: "SafeInteger",
-  MIN_VALUE: -128,
-  MAX_VALUE: 127,
-  typeNameInMessage
+import { TsDataForgeInternals } from '../refined-number-utils.mjs';
+const typeNameInMessage = 'an integer in [-128, 127]';
+const { MAX_VALUE, MIN_VALUE, castType: castTypeImpl, fromNumber: fromNumberImpl, is: isImpl, random: randomImpl, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+    integerOrSafeInteger: 'SafeInteger',
+    MIN_VALUE: -128,
+    MAX_VALUE: 127,
+    typeNameInMessage,
 });
 const is = (x) => isImpl(x);
-const castType = (x) => (
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-  castTypeImpl(x)
-);
+const castType = (x) => 
+
+castTypeImpl(x);
 const fromNumber = (a) => castType(fromNumberImpl(a));
-const abs = (x) => (
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion, @typescript-eslint/no-unnecessary-type-assertion -- unnecessary only under the strict standard library; the stock one types `Math.abs` as returning `number`
-  Math.abs(x)
-);
+const abs = (x) => 
+
+Math.abs(x);
 const min_ = (...values) => castType(Math.min(...values));
 const max_ = (...values) => castType(Math.max(...values));
 const pow = (x, y) => fromNumber(x ** y);
@@ -32,114 +23,138 @@ const sub = (x, y) => fromNumber(x - y);
 const mul = (x, y) => fromNumber(x * y);
 const div = (x, y) => fromNumber(Math.floor(x / y));
 const random = (min, max) => castType(randomImpl(castTypeImpl(min), castTypeImpl(max)));
-const isInt8 = is;
-const asInt8 = castType;
-const Int8 = {
-  /**
-   * Type guard that checks if a value is an integer in [-128, 127].
-   *
-   * @param value - The value to check
-   * @returns `true` if the value is an integer in [-128, 127], `false` otherwise
-   * @see {@link isInt8} for usage examples
-   */
-  is,
-  /**
-   * The smallest value representable as `Int8` (the lower saturation target of
-   * `fromNumber`).
-   */
-  MIN_VALUE,
-  /**
-   * The largest value representable as `Int8` (the upper saturation target of
-   * `fromNumber`).
-   */
-  MAX_VALUE,
-  /**
-   * Returns the smallest of the given integers.
-   *
-   * @param values - The integers to compare (at least one required)
-   * @returns The smallest value as an `Int8`
-   */
-  min: min_,
-  /**
-   * Returns the largest of the given integers.
-   *
-   * @param values - The integers to compare (at least one required)
-   * @returns The largest value as an `Int8`
-   */
-  max: max_,
-  /**
-   * Converts an arbitrary `number` into an `Int8`, rounding to the nearest
-   * integer and saturating the result into the range `[MIN_VALUE, MAX_VALUE]`.
-   *
-   * Unlike `asInt8`, this is total: out-of-range inputs are clamped to the
-   * nearest representable `Int8` instead of throwing.
-   *
-   * @param value - The value to convert
-   * @returns The value as an `Int8`
-   */
-  fromNumber,
-  /**
-   * Returns the absolute value of an integer in [-128, 127].
-   *
-   * The result is non-negative and keeps the `Int8` brand.
-   *
-   * @param a - The integer value
-   * @returns The absolute value as a non-negative `Int8`
-   */
-  abs,
-  /**
-   * Generates a random `Int8` within the given range.
-   *
-   * The range is inclusive on both ends.
-   *
-   * @param min - The minimum value (inclusive)
-   * @param max - The maximum value (inclusive)
-   * @returns A random `Int8` in `[min, max]`
-   */
-  random,
-  /**
-   * Raises `a` to the power `b`, returning `a ** b` as an `Int8` (floored to an
-   * integer).
-   *
-   * @param a - The base integer
-   * @param b - The exponent integer
-   * @returns `a ** b` as an `Int8`
-   */
-  pow,
-  /**
-   * Adds two integers, returning `a + b` as an `Int8`.
-   *
-   * @param a - The first integer
-   * @param b - The second integer
-   * @returns The sum of `a` and `b` as an `Int8`
-   */
-  add,
-  /**
-   * Subtracts two integers, returning `a - b` as an `Int8`.
-   *
-   * @param a - The first integer
-   * @param b - The second integer
-   * @returns The difference of `a` and `b` as an `Int8`
-   */
-  sub,
-  /**
-   * Multiplies two integers, returning `a * b` as an `Int8`.
-   *
-   * @param a - The first integer
-   * @param b - The second integer
-   * @returns The product of `a` and `b` as an `Int8`
-   */
-  mul,
-  /**
-   * Divides two integers using floor division (`⌊a / b⌋`): the result is `a /
-   * b` rounded toward negative infinity, as an `Int8`.
-   *
-   * @param a - The dividend
-   * @param b - The divisor (must be non-zero)
-   * @returns The floored quotient as an `Int8`
-   */
-  div
+
+
+
+
+
+
+
+
+
+export const isInt8 = is;
+
+
+
+
+
+
+
+
+
+
+export const asInt8 = castType;
+
+
+
+
+
+
+export const Int8 = {
+
+
+
+
+
+
+
+    is,
+
+
+
+
+    MIN_VALUE,
+
+
+
+
+    MAX_VALUE,
+
+
+
+
+
+
+    min: min_,
+
+
+
+
+
+
+    max: max_,
+
+
+
+
+
+
+
+
+
+
+    fromNumber,
+
+
+
+
+
+
+
+
+    abs,
+
+
+
+
+
+
+
+
+
+    random,
+
+
+
+
+
+
+
+
+    pow,
+
+
+
+
+
+
+
+    add,
+
+
+
+
+
+
+
+    sub,
+
+
+
+
+
+
+
+    mul,
+
+
+
+
+
+
+
+
+    div,
 };
 
-export { Int8, asInt8, isInt8 };
-//# sourceMappingURL=int8.mjs.map
+//# sourceMappingURL=int8.mjs.map

package/dist/number/enum/int8.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"int8.mjs","sources":["../../../src/number/enum/int8.mts"],"sourcesContent":["import {\n  type AbsoluteValue,\n  type Int16,\n  type StrictExclude,\n  type Int8 as TtfImported_Int8,\n} from 'ts-type-forge';\nimport { expectType } from '../../expect-type.mjs';\nimport { TsDataForgeInternals } from '../refined-number-utils.mjs';\n\nexport type Int8 = TtfImported_Int8;\n\nconst typeNameInMessage = 'an integer in [-128, 127]';\n\nconst {\n  MAX_VALUE,\n  MIN_VALUE,\n  castType: castTypeImpl,\n  fromNumber: fromNumberImpl,\n  is: isImpl,\n  random: randomImpl,\n} = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger<\n  Int16,\n  -128,\n  127\n>({\n  integerOrSafeInteger: 'SafeInteger',\n  MIN_VALUE: -128,\n  MAX_VALUE: 127,\n  typeNameInMessage,\n} as const);\n\nconst is = (x: number): x is Int8 => isImpl(x);\n\nconst castType = (x: number): Int8 =>\n  // eslint-disable-next-line total-functions/no-unsafe-type-assertion\n  castTypeImpl(x) as Int8;\n\nconst fromNumber = (a: number): Int8 => castType(fromNumberImpl(a));\n\nconst abs = <N extends Int8>(x: N): AbsoluteValue<N> =>\n  // eslint-disable-next-line total-functions/no-unsafe-type-assertion, @typescript-eslint/no-unnecessary-type-assertion -- unnecessary only under the strict standard library; the stock one types `Math.abs` as returning `number`\n  Math.abs(x) as unknown as AbsoluteValue<N>;\n\nconst min_ = (...values: readonly Int8[]): Int8 =>\n  castType(Math.min(...values));\n\nconst max_ = (...values: readonly Int8[]): Int8 =>\n  castType(Math.max(...values));\n\nconst pow = (x: Int8, y: Int8): Int8 => fromNumber(x ** y);\n\nconst add = (x: Int8, y: Int8): Int8 => fromNumber(x + y);\n\nconst sub = (x: Int8, y: Int8): Int8 => fromNumber(x - y);\n\nconst mul = (x: Int8, y: Int8): Int8 => fromNumber(x * y);\n\nconst div = (x: Int8, y: StrictExclude<Int8, 0>): Int8 =>\n  fromNumber(Math.floor(x / y));\n\nconst random = (min: Int8, max: Int8): Int8 =>\n  castType(randomImpl(castTypeImpl(min), castTypeImpl(max)));\n\n/**\n * Type guard that checks if a value is an integer in [-128, 127].\n *\n * Returns `true` for an integer in [-128, 127] — a value with no fractional\n * component.\n *\n * @param value - The value to check\n * @returns `true` if the value is an integer in [-128, 127], `false` otherwise\n */\nexport const isInt8 = is;\n\n/**\n * Casts a `number` to the `Int8` branded type.\n *\n * Validates that the value is an integer in [-128, 127] and returns it with the\n * `Int8` brand. Throws a `TypeError` otherwise.\n *\n * @param value - The value to cast\n * @returns The value as an `Int8`\n * @throws {TypeError} If the value is not an integer in [-128, 127]\n */\nexport const asInt8 = castType;\n\n/**\n * Namespace providing type-safe operations for the `Int8` branded type.\n *\n * The `Int8` type represents an integer in [-128, 127]. Division (`div`) uses\n * floor division.\n */\nexport const Int8 = {\n  /**\n   * Type guard that checks if a value is an integer in [-128, 127].\n   *\n   * @param value - The value to check\n   * @returns `true` if the value is an integer in [-128, 127], `false` otherwise\n   * @see {@link isInt8} for usage examples\n   */\n  is,\n\n  /**\n   * The smallest value representable as `Int8` (the lower saturation target of\n   * `fromNumber`).\n   */\n  MIN_VALUE,\n\n  /**\n   * The largest value representable as `Int8` (the upper saturation target of\n   * `fromNumber`).\n   */\n  MAX_VALUE,\n\n  /**\n   * Returns the smallest of the given integers.\n   *\n   * @param values - The integers to compare (at least one required)\n   * @returns The smallest value as an `Int8`\n   */\n  min: min_,\n\n  /**\n   * Returns the largest of the given integers.\n   *\n   * @param values - The integers to compare (at least one required)\n   * @returns The largest value as an `Int8`\n   */\n  max: max_,\n\n  /**\n   * Converts an arbitrary `number` into an `Int8`, rounding to the nearest\n   * integer and saturating the result into the range `[MIN_VALUE, MAX_VALUE]`.\n   *\n   * Unlike `asInt8`, this is total: out-of-range inputs are clamped to the\n   * nearest representable `Int8` instead of throwing.\n   *\n   * @param value - The value to convert\n   * @returns The value as an `Int8`\n   */\n  fromNumber,\n\n  /**\n   * Returns the absolute value of an integer in [-128, 127].\n   *\n   * The result is non-negative and keeps the `Int8` brand.\n   *\n   * @param a - The integer value\n   * @returns The absolute value as a non-negative `Int8`\n   */\n  abs,\n\n  /**\n   * Generates a random `Int8` within the given range.\n   *\n   * The range is inclusive on both ends.\n   *\n   * @param min - The minimum value (inclusive)\n   * @param max - The maximum value (inclusive)\n   * @returns A random `Int8` in `[min, max]`\n   */\n  random,\n\n  /**\n   * Raises `a` to the power `b`, returning `a ** b` as an `Int8` (floored to an\n   * integer).\n   *\n   * @param a - The base integer\n   * @param b - The exponent integer\n   * @returns `a ** b` as an `Int8`\n   */\n  pow,\n\n  /**\n   * Adds two integers, returning `a + b` as an `Int8`.\n   *\n   * @param a - The first integer\n   * @param b - The second integer\n   * @returns The sum of `a` and `b` as an `Int8`\n   */\n  add,\n\n  /**\n   * Subtracts two integers, returning `a - b` as an `Int8`.\n   *\n   * @param a - The first integer\n   * @param b - The second integer\n   * @returns The difference of `a` and `b` as an `Int8`\n   */\n  sub,\n\n  /**\n   * Multiplies two integers, returning `a * b` as an `Int8`.\n   *\n   * @param a - The first integer\n   * @param b - The second integer\n   * @returns The product of `a` and `b` as an `Int8`\n   */\n  mul,\n\n  /**\n   * Divides two integers using floor division (`⌊a / b⌋`): the result is `a /\n   * b` rounded toward negative infinity, as an `Int8`.\n   *\n   * @param a - The dividend\n   * @param b - The divisor (must be non-zero)\n   * @returns The floored quotient as an `Int8`\n   */\n  div,\n} as const;\n\nexpectType<\n  keyof typeof Int8,\n  keyof TsDataForgeInternals.RefinedNumberUtils.NumberClass<\n    Int16,\n    'int' | 'range'\n  >\n>('=');\n"],"names":[],"mappings":";;AAWA,MAAM,iBAAA,GAAoB,2BAAA;AAE1B,MAAM;AAAA,EACJ,SAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA,EAAU,YAAA;AAAA,EACV,UAAA,EAAY,cAAA;AAAA,EACZ,EAAA,EAAI,MAAA;AAAA,EACJ,MAAA,EAAQ;AACV,CAAA,GAAI,oBAAA,CAAqB,mBAAmB,mBAAA,CAI1C;AAAA,EACA,oBAAA,EAAsB,aAAA;AAAA,EACtB,SAAA,EAAW,IAAA;AAAA,EACX,SAAA,EAAW,GAAA;AAAA,EACX;AACF,CAAU,CAAA;AAEV,MAAM,EAAA,GAAK,CAAC,CAAA,KAAyB,MAAA,CAAO,CAAC,CAAA;AAE7C,MAAM,WAAW,CAAC,CAAA;AAAA;AAAA,EAEhB,aAAa,CAAC;AAAA,CAAA;AAEhB,MAAM,aAAa,CAAC,CAAA,KAAoB,QAAA,CAAS,cAAA,CAAe,CAAC,CAAC,CAAA;AAElE,MAAM,MAAM,CAAiB,CAAA;AAAA;AAAA,EAE3B,IAAA,CAAK,IAAI,CAAC;AAAA,CAAA;AAEZ,MAAM,IAAA,GAAO,IAAI,MAAA,KACf,QAAA,CAAS,KAAK,GAAA,CAAI,GAAG,MAAM,CAAC,CAAA;AAE9B,MAAM,IAAA,GAAO,IAAI,MAAA,KACf,QAAA,CAAS,KAAK,GAAA,CAAI,GAAG,MAAM,CAAC,CAAA;AAE9B,MAAM,MAAM,CAAC,CAAA,EAAS,CAAA,KAAkB,UAAA,CAAW,KAAK,CAAC,CAAA;AAEzD,MAAM,MAAM,CAAC,CAAA,EAAS,CAAA,KAAkB,UAAA,CAAW,IAAI,CAAC,CAAA;AAExD,MAAM,MAAM,CAAC,CAAA,EAAS,CAAA,KAAkB,UAAA,CAAW,IAAI,CAAC,CAAA;AAExD,MAAM,MAAM,CAAC,CAAA,EAAS,CAAA,KAAkB,UAAA,CAAW,IAAI,CAAC,CAAA;AAExD,MAAM,GAAA,GAAM,CAAC,CAAA,EAAS,CAAA,KACpB,WAAW,IAAA,CAAK,KAAA,CAAM,CAAA,GAAI,CAAC,CAAC,CAAA;AAE9B,MAAM,MAAA,GAAS,CAAC,GAAA,EAAW,GAAA,KACzB,QAAA,CAAS,UAAA,CAAW,YAAA,CAAa,GAAG,CAAA,EAAG,YAAA,CAAa,GAAG,CAAC,CAAC,CAAA;AAWpD,MAAM,MAAA,GAAS;AAYf,MAAM,MAAA,GAAS;AAQf,MAAM,IAAA,GAAO;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQlB,EAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,SAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,SAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,GAAA,EAAK,IAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQL,GAAA,EAAK,IAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAYL,UAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAUA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAWA,MAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAUA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAUA;AACF;;;;"}
+{"version":3,"file":"int8.mjs","sourceRoot":"","sources":["../../../src/number/enum/int8.mts"],"names":[],"mappings":"AAMA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAInE,MAAM,iBAAiB,GAAG,2BAA2B,CAAC;AAEtD,MAAM,EACJ,SAAS,EACT,SAAS,EACT,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,cAAc,EAC1B,EAAE,EAAE,MAAM,EACV,MAAM,EAAE,UAAU,GACnB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;IACA,oBAAoB,EAAE,aAAa;IACnC,SAAS,EAAE,CAAC,GAAG;IACf,SAAS,EAAE,GAAG;IACd,iBAAiB;CACT,CAAC,CAAC;AAEZ,MAAM,EAAE,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAE/C,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAQ,EAAE;AACnC,oEAAoE;AACpE,YAAY,CAAC,CAAC,CAAS,CAAC;AAE1B,MAAM,UAAU,GAAG,CAAC,CAAS,EAAQ,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpE,MAAM,GAAG,GAAG,CAAiB,CAAI,EAAoB,EAAE;AACrD,kOAAkO;AAClO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAgC,CAAC;AAE7C,MAAM,IAAI,GAAG,CAAC,GAAG,MAAuB,EAAQ,EAAE,CAChD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;AAEhC,MAAM,IAAI,GAAG,CAAC,GAAG,MAAuB,EAAQ,EAAE,CAChD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;AAEhC,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAE3D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAyB,EAAQ,EAAE,CACvD,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEhC,MAAM,MAAM,GAAG,CAAC,GAAS,EAAE,GAAS,EAAQ,EAAE,CAC5C,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAE7D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,EAAE,CAAC;AAEzB;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,QAAQ,CAAC;AAE/B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB;;;;;;OAMG;IACH,EAAE;IAEF;;;OAGG;IACH,SAAS;IAET;;;OAGG;IACH,SAAS;IAET;;;;;OAKG;IACH,GAAG,EAAE,IAAI;IAET;;;;;OAKG;IACH,GAAG,EAAE,IAAI;IAET;;;;;;;;;OASG;IACH,UAAU;IAEV;;;;;;;OAOG;IACH,GAAG;IAEH;;;;;;;;OAQG;IACH,MAAM;IAEN;;;;;;;OAOG;IACH,GAAG;IAEH;;;;;;OAMG;IACH,GAAG;IAEH;;;;;;OAMG;IACH,GAAG;IAEH;;;;;;OAMG;IACH,GAAG;IAEH;;;;;;;OAOG;IACH,GAAG;CACK,CAAC;AAEX,UAAU,CAMR,GAAG,CAAC,CAAC"}

package/dist/number/enum/uint8.mjs

@@ -1,26 +1,16 @@
-import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
-const typeNameInMessage = "an non-negative integer less than 256";
-const {
-  MAX_VALUE,
-  MIN_VALUE,
-  castType: castTypeImpl,
-  fromNumber: fromNumberImpl,
-  is: isImpl,
-  random: randomImpl
-} = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger(
-  {
-    integerOrSafeInteger: "SafeInteger",
+import { TsDataForgeInternals } from '../refined-number-utils.mjs';
+const typeNameInMessage = 'an non-negative integer less than 256';
+const { MAX_VALUE, MIN_VALUE, castType: castTypeImpl, fromNumber: fromNumberImpl, is: isImpl, random: randomImpl, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+    integerOrSafeInteger: 'SafeInteger',
     MIN_VALUE: 0,
     MAX_VALUE: 255,
-    typeNameInMessage
-  }
-);
+    typeNameInMessage,
+});
 const is = (x) => isImpl(x);
-const castType = (x) => (
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-  castTypeImpl(x)
-);
+const castType = (x) => 
+
+castTypeImpl(x);
 const fromNumber = (a) => castType(fromNumberImpl(a));
 const min_ = (...values) => castType(Math.min(...values));
 const max_ = (...values) => castType(Math.max(...values));
@@ -30,105 +20,129 @@ const sub = (x, y) => fromNumber(x - y);
 const mul = (x, y) => fromNumber(x * y);
 const div = (x, y) => fromNumber(Math.floor(x / y));
 const random = (min, max) => castType(randomImpl(castTypeImpl(min), castTypeImpl(max)));
-const isUint8 = is;
-const asUint8 = castType;
-const Uint8 = {
-  /**
-   * Type guard that checks if a value is an non-negative integer less than 256.
-   *
-   * @param value - The value to check
-   * @returns `true` if the value is an non-negative integer less than 256, `false` otherwise
-   * @see {@link isUint8} for usage examples
-   */
-  is,
-  /**
-   * The smallest value representable as `Uint8` (the lower saturation target of
-   * `fromNumber`).
-   */
-  MIN_VALUE,
-  /**
-   * The largest value representable as `Uint8` (the upper saturation target of
-   * `fromNumber`).
-   */
-  MAX_VALUE,
-  /**
-   * Returns the largest of the given non-negative integers.
-   *
-   * @param values - The non-negative integers to compare (at least one required)
-   * @returns The largest value as an `Uint8`
-   */
-  max: max_,
-  /**
-   * Returns the smallest of the given non-negative integers.
-   *
-   * @param values - The non-negative integers to compare (at least one required)
-   * @returns The smallest value as an `Uint8`
-   */
-  min: min_,
-  /**
-   * Converts an arbitrary `number` into an `Uint8`, rounding to the nearest
-   * integer and saturating the result into the range `[MIN_VALUE, MAX_VALUE]`.
-   *
-   * Unlike `asUint8`, this is total: out-of-range inputs are clamped to the
-   * nearest representable `Uint8` instead of throwing.
-   *
-   * @param value - The value to convert
-   * @returns The value as an `Uint8`
-   */
-  fromNumber,
-  /**
-   * Generates a random `Uint8` within the given range.
-   *
-   * The range is inclusive on both ends.
-   *
-   * @param min - The minimum value (inclusive)
-   * @param max - The maximum value (inclusive)
-   * @returns A random `Uint8` in `[min, max]`
-   */
-  random,
-  /**
-   * Raises `a` to the power `b`, returning `a ** b` as an `Uint8` (floored to
-   * an integer).
-   *
-   * @param a - The base non-negative integer
-   * @param b - The exponent non-negative integer
-   * @returns `a ** b` as an `Uint8`
-   */
-  pow,
-  /**
-   * Adds two non-negative integers, returning `a + b` as an `Uint8`.
-   *
-   * @param a - The first non-negative integer
-   * @param b - The second non-negative integer
-   * @returns The sum of `a` and `b` as an `Uint8`
-   */
-  add,
-  /**
-   * Subtracts two non-negative integers, returning `a - b` as an `Uint8`.
-   *
-   * @param a - The first non-negative integer
-   * @param b - The second non-negative integer
-   * @returns The difference of `a` and `b` as an `Uint8`
-   */
-  sub,
-  /**
-   * Multiplies two non-negative integers, returning `a * b` as an `Uint8`.
-   *
-   * @param a - The first non-negative integer
-   * @param b - The second non-negative integer
-   * @returns The product of `a` and `b` as an `Uint8`
-   */
-  mul,
-  /**
-   * Divides two non-negative integers using floor division (`⌊a / b⌋`): the
-   * result is `a / b` rounded toward negative infinity, as an `Uint8`.
-   *
-   * @param a - The dividend
-   * @param b - The divisor (must be non-zero)
-   * @returns The floored quotient as an `Uint8`
-   */
-  div
+
+
+
+
+
+
+
+
+
+export const isUint8 = is;
+
+
+
+
+
+
+
+
+
+
+export const asUint8 = castType;
+
+
+
+
+
+
+export const Uint8 = {
+
+
+
+
+
+
+
+    is,
+
+
+
+
+    MIN_VALUE,
+
+
+
+
+    MAX_VALUE,
+
+
+
+
+
+
+    max: max_,
+
+
+
+
+
+
+    min: min_,
+
+
+
+
+
+
+
+
+
+
+    fromNumber,
+
+
+
+
+
+
+
+
+
+    random,
+
+
+
+
+
+
+
+
+    pow,
+
+
+
+
+
+
+
+    add,
+
+
+
+
+
+
+
+    sub,
+
+
+
+
+
+
+
+    mul,
+
+
+
+
+
+
+
+
+    div,
 };
 
-export { Uint8, asUint8, isUint8 };
-//# sourceMappingURL=uint8.mjs.map
+//# sourceMappingURL=uint8.mjs.map

package/dist/number/enum/uint8.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uint8.mjs","sources":["../../../src/number/enum/uint8.mts"],"sourcesContent":["import {\n  type StrictExclude,\n  type Uint8 as TtfImported_Uint8,\n  type Uint16,\n} from 'ts-type-forge';\nimport { expectType } from '../../expect-type.mjs';\nimport { TsDataForgeInternals } from '../refined-number-utils.mjs';\n\nexport type Uint8 = TtfImported_Uint8;\n\nconst typeNameInMessage = 'an non-negative integer less than 256';\n\nconst {\n  MAX_VALUE,\n  MIN_VALUE,\n  castType: castTypeImpl,\n  fromNumber: fromNumberImpl,\n  is: isImpl,\n  random: randomImpl,\n} = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger<Uint16, 0, 255>(\n  {\n    integerOrSafeInteger: 'SafeInteger',\n    MIN_VALUE: 0,\n    MAX_VALUE: 255,\n    typeNameInMessage,\n  } as const,\n);\n\nconst is = (x: number): x is Uint8 => isImpl(x);\n\nconst castType = (x: number): Uint8 =>\n  // eslint-disable-next-line total-functions/no-unsafe-type-assertion\n  castTypeImpl(x) as Uint8;\n\nconst fromNumber = (a: number): Uint8 => castType(fromNumberImpl(a));\n\nconst min_ = (...values: readonly Uint8[]): Uint8 =>\n  castType(Math.min(...values));\n\nconst max_ = (...values: readonly Uint8[]): Uint8 =>\n  castType(Math.max(...values));\n\nconst pow = (x: Uint8, y: Uint8): Uint8 => fromNumber(x ** y);\n\nconst add = (x: Uint8, y: Uint8): Uint8 => fromNumber(x + y);\n\nconst sub = (x: Uint8, y: Uint8): Uint8 => fromNumber(x - y);\n\nconst mul = (x: Uint8, y: Uint8): Uint8 => fromNumber(x * y);\n\nconst div = (x: Uint8, y: StrictExclude<Uint8, 0>): Uint8 =>\n  fromNumber(Math.floor(x / y));\n\nconst random = (min: Uint8, max: Uint8): Uint8 =>\n  castType(randomImpl(castTypeImpl(min), castTypeImpl(max)));\n\n/**\n * Type guard that checks if a value is an non-negative integer less than 256.\n *\n * Returns `true` for an non-negative integer less than 256 — a value with no\n * fractional component.\n *\n * @param value - The value to check\n * @returns `true` if the value is an non-negative integer less than 256, `false` otherwise\n */\nexport const isUint8 = is;\n\n/**\n * Casts a `number` to the `Uint8` branded type.\n *\n * Validates that the value is an non-negative integer less than 256 and returns\n * it with the `Uint8` brand. Throws a `TypeError` otherwise.\n *\n * @param value - The value to cast\n * @returns The value as an `Uint8`\n * @throws {TypeError} If the value is not an non-negative integer less than 256\n */\nexport const asUint8 = castType;\n\n/**\n * Namespace providing type-safe operations for the `Uint8` branded type.\n *\n * The `Uint8` type represents an non-negative integer less than 256. Division\n * (`div`) uses floor division.\n */\nexport const Uint8 = {\n  /**\n   * Type guard that checks if a value is an non-negative integer less than 256.\n   *\n   * @param value - The value to check\n   * @returns `true` if the value is an non-negative integer less than 256, `false` otherwise\n   * @see {@link isUint8} for usage examples\n   */\n  is,\n\n  /**\n   * The smallest value representable as `Uint8` (the lower saturation target of\n   * `fromNumber`).\n   */\n  MIN_VALUE,\n\n  /**\n   * The largest value representable as `Uint8` (the upper saturation target of\n   * `fromNumber`).\n   */\n  MAX_VALUE,\n\n  /**\n   * Returns the largest of the given non-negative integers.\n   *\n   * @param values - The non-negative integers to compare (at least one required)\n   * @returns The largest value as an `Uint8`\n   */\n  max: max_,\n\n  /**\n   * Returns the smallest of the given non-negative integers.\n   *\n   * @param values - The non-negative integers to compare (at least one required)\n   * @returns The smallest value as an `Uint8`\n   */\n  min: min_,\n\n  /**\n   * Converts an arbitrary `number` into an `Uint8`, rounding to the nearest\n   * integer and saturating the result into the range `[MIN_VALUE, MAX_VALUE]`.\n   *\n   * Unlike `asUint8`, this is total: out-of-range inputs are clamped to the\n   * nearest representable `Uint8` instead of throwing.\n   *\n   * @param value - The value to convert\n   * @returns The value as an `Uint8`\n   */\n  fromNumber,\n\n  /**\n   * Generates a random `Uint8` within the given range.\n   *\n   * The range is inclusive on both ends.\n   *\n   * @param min - The minimum value (inclusive)\n   * @param max - The maximum value (inclusive)\n   * @returns A random `Uint8` in `[min, max]`\n   */\n  random,\n\n  /**\n   * Raises `a` to the power `b`, returning `a ** b` as an `Uint8` (floored to\n   * an integer).\n   *\n   * @param a - The base non-negative integer\n   * @param b - The exponent non-negative integer\n   * @returns `a ** b` as an `Uint8`\n   */\n  pow,\n\n  /**\n   * Adds two non-negative integers, returning `a + b` as an `Uint8`.\n   *\n   * @param a - The first non-negative integer\n   * @param b - The second non-negative integer\n   * @returns The sum of `a` and `b` as an `Uint8`\n   */\n  add,\n\n  /**\n   * Subtracts two non-negative integers, returning `a - b` as an `Uint8`.\n   *\n   * @param a - The first non-negative integer\n   * @param b - The second non-negative integer\n   * @returns The difference of `a` and `b` as an `Uint8`\n   */\n  sub,\n\n  /**\n   * Multiplies two non-negative integers, returning `a * b` as an `Uint8`.\n   *\n   * @param a - The first non-negative integer\n   * @param b - The second non-negative integer\n   * @returns The product of `a` and `b` as an `Uint8`\n   */\n  mul,\n\n  /**\n   * Divides two non-negative integers using floor division (`⌊a / b⌋`): the\n   * result is `a / b` rounded toward negative infinity, as an `Uint8`.\n   *\n   * @param a - The dividend\n   * @param b - The divisor (must be non-zero)\n   * @returns The floored quotient as an `Uint8`\n   */\n  div,\n} as const;\n\nexpectType<\n  keyof typeof Uint8,\n  keyof TsDataForgeInternals.RefinedNumberUtils.NumberClass<\n    Uint16,\n    'int' | 'non-negative' | 'range'\n  >\n>('=');\n"],"names":[],"mappings":";;AAUA,MAAM,iBAAA,GAAoB,uCAAA;AAE1B,MAAM;AAAA,EACJ,SAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA,EAAU,YAAA;AAAA,EACV,UAAA,EAAY,cAAA;AAAA,EACZ,EAAA,EAAI,MAAA;AAAA,EACJ,MAAA,EAAQ;AACV,CAAA,GAAI,qBAAqB,kBAAA,CAAmB,mBAAA;AAAA,EAC1C;AAAA,IACE,oBAAA,EAAsB,aAAA;AAAA,IACtB,SAAA,EAAW,CAAA;AAAA,IACX,SAAA,EAAW,GAAA;AAAA,IACX;AAAA;AAEJ,CAAA;AAEA,MAAM,EAAA,GAAK,CAAC,CAAA,KAA0B,MAAA,CAAO,CAAC,CAAA;AAE9C,MAAM,WAAW,CAAC,CAAA;AAAA;AAAA,EAEhB,aAAa,CAAC;AAAA,CAAA;AAEhB,MAAM,aAAa,CAAC,CAAA,KAAqB,QAAA,CAAS,cAAA,CAAe,CAAC,CAAC,CAAA;AAEnE,MAAM,IAAA,GAAO,IAAI,MAAA,KACf,QAAA,CAAS,KAAK,GAAA,CAAI,GAAG,MAAM,CAAC,CAAA;AAE9B,MAAM,IAAA,GAAO,IAAI,MAAA,KACf,QAAA,CAAS,KAAK,GAAA,CAAI,GAAG,MAAM,CAAC,CAAA;AAE9B,MAAM,MAAM,CAAC,CAAA,EAAU,CAAA,KAAoB,UAAA,CAAW,KAAK,CAAC,CAAA;AAE5D,MAAM,MAAM,CAAC,CAAA,EAAU,CAAA,KAAoB,UAAA,CAAW,IAAI,CAAC,CAAA;AAE3D,MAAM,MAAM,CAAC,CAAA,EAAU,CAAA,KAAoB,UAAA,CAAW,IAAI,CAAC,CAAA;AAE3D,MAAM,MAAM,CAAC,CAAA,EAAU,CAAA,KAAoB,UAAA,CAAW,IAAI,CAAC,CAAA;AAE3D,MAAM,GAAA,GAAM,CAAC,CAAA,EAAU,CAAA,KACrB,WAAW,IAAA,CAAK,KAAA,CAAM,CAAA,GAAI,CAAC,CAAC,CAAA;AAE9B,MAAM,MAAA,GAAS,CAAC,GAAA,EAAY,GAAA,KAC1B,QAAA,CAAS,UAAA,CAAW,YAAA,CAAa,GAAG,CAAA,EAAG,YAAA,CAAa,GAAG,CAAC,CAAC,CAAA;AAWpD,MAAM,OAAA,GAAU;AAYhB,MAAM,OAAA,GAAU;AAQhB,MAAM,KAAA,GAAQ;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQnB,EAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,SAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,SAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,GAAA,EAAK,IAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQL,GAAA,EAAK,IAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAYL,UAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAWA,MAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAUA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,GAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAUA;AACF;;;;"}
+{"version":3,"file":"uint8.mjs","sourceRoot":"","sources":["../../../src/number/enum/uint8.mts"],"names":[],"mappings":"AAKA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAInE,MAAM,iBAAiB,GAAG,uCAAuC,CAAC;AAElE,MAAM,EACJ,SAAS,EACT,SAAS,EACT,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,cAAc,EAC1B,EAAE,EAAE,MAAM,EACV,MAAM,EAAE,UAAU,GACnB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAC7D;IACE,oBAAoB,EAAE,aAAa;IACnC,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,GAAG;IACd,iBAAiB;CACT,CACX,CAAC;AAEF,MAAM,EAAE,GAAG,CAAC,CAAS,EAAc,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAEhD,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAS,EAAE;AACpC,oEAAoE;AACpE,YAAY,CAAC,CAAC,CAAU,CAAC;AAE3B,MAAM,UAAU,GAAG,CAAC,CAAS,EAAS,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AAErE,MAAM,IAAI,GAAG,CAAC,GAAG,MAAwB,EAAS,EAAE,CAClD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;AAEhC,MAAM,IAAI,GAAG,CAAC,GAAG,MAAwB,EAAS,EAAE,CAClD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;AAEhC,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAS,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAE9D,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAS,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAE7D,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAS,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAE7D,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAS,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAE7D,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAE,CAA0B,EAAS,EAAE,CAC1D,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEhC,MAAM,MAAM,GAAG,CAAC,GAAU,EAAE,GAAU,EAAS,EAAE,CAC/C,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAE7D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,EAAE,CAAC;AAE1B;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;AAEhC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB;;;;;;OAMG;IACH,EAAE;IAEF;;;OAGG;IACH,SAAS;IAET;;;OAGG;IACH,SAAS;IAET;;;;;OAKG;IACH,GAAG,EAAE,IAAI;IAET;;;;;OAKG;IACH,GAAG,EAAE,IAAI;IAET;;;;;;;;;OASG;IACH,UAAU;IAEV;;;;;;;;OAQG;IACH,MAAM;IAEN;;;;;;;OAOG;IACH,GAAG;IAEH;;;;;;OAMG;IACH,GAAG;IAEH;;;;;;OAMG;IACH,GAAG;IAEH;;;;;;OAMG;IACH,GAAG;IAEH;;;;;;;OAOG;IACH,GAAG;CACK,CAAC;AAEX,UAAU,CAMR,GAAG,CAAC,CAAC"}