Variable PositiveUint16

Type Declaration

• add: (x: WithSmallInt, y: WithSmallInt) => PositiveUint16

  Adds two positive integers, returning a + b as a PositiveUint16.

• div: (x: WithSmallInt, y: ToNonZeroIntWithSmallInt<PositiveUint16>) => PositiveUint16

  Divides two positive integers using floor division (⌊a / b⌋): the result is a / b rounded toward negative infinity, as a PositiveUint16.

• fromNumber: (x: number) => PositiveUint16

  Converts an arbitrary number into a PositiveUint16, rounding to the nearest integer and saturating the result into the range [MIN_VALUE, MAX_VALUE].

  Unlike asPositiveUint16, this is total: out-of-range inputs are clamped to the nearest representable PositiveUint16 instead of throwing.

• is: (a: number) => a is PositiveUint16

  Type guard that checks if a value is a positive integer in [1, 2^16).

  See

  isPositiveUint16 for usage examples

• Readonlymax: (...values: readonly WithSmallInt<PositiveUint16>[]) => PositiveUint16

  Returns the largest of the given positive integers.

• MAX_VALUE: number

  The largest value representable as PositiveUint16 (the upper saturation target of fromNumber).

• Readonlymin: (...values: readonly WithSmallInt<PositiveUint16>[]) => PositiveUint16

  Returns the smallest of the given positive integers.

• MIN_VALUE: 1

  The smallest value representable as PositiveUint16 (the lower saturation target of fromNumber).

• mul: (x: WithSmallInt, y: WithSmallInt) => PositiveUint16

  Multiplies two positive integers, returning a * b as a PositiveUint16.

• pow: (x: WithSmallInt, y: WithSmallInt) => PositiveUint16

  Raises a to the power b, returning a ** b as a PositiveUint16 (floored to an integer).

• random: (
      min?: WithSmallInt<PositiveUint16>,
      max?: WithSmallInt<PositiveUint16>,
  ) => PositiveUint16

  Generates a random PositiveUint16 within the given range.

  The range is inclusive on both ends.

• sub: (x: WithSmallInt, y: WithSmallInt) => PositiveUint16

  Subtracts two positive integers, returning a - b as a PositiveUint16.