Readonlyadd: (Adds two positive integers, returning a + b as a PositiveInt16.
Readonlydiv: (Divides two positive integers using floor division (⌊a / b⌋): the result
is a / b rounded toward negative infinity, as a PositiveInt16.
ReadonlyfromNumber: (x: number) => PositiveInt16Converts an arbitrary number into a PositiveInt16, rounding to the
nearest integer and saturating the result into the range [MIN_VALUE, MAX_VALUE].
Unlike asPositiveInt16, this is total: out-of-range inputs are clamped to
the nearest representable PositiveInt16 instead of throwing.
Readonlyis: (a: number) => a is PositiveInt16Type guard that checks if a value is a positive integer in [1, 2^15).
isPositiveInt16 for usage examples
Readonlymax: (...values: readonly WithSmallInt<PositiveInt16, 40>[]) => PositiveInt16Returns the largest of the given positive integers.
ReadonlyMAX_VALUE: numberThe largest value representable as PositiveInt16 (the upper saturation
target of fromNumber).
Readonlymin: (...values: readonly WithSmallInt<PositiveInt16, 40>[]) => PositiveInt16Returns the smallest of the given positive integers.
ReadonlyMIN_VALUE: 1The smallest value representable as PositiveInt16 (the lower saturation
target of fromNumber).
Readonlymul: (Multiplies two positive integers, returning a * b as a PositiveInt16.
Readonlypow: (Raises a to the power b, returning a ** b as a PositiveInt16
(floored to an integer).
Readonlyrandom: (Generates a random PositiveInt16 within the given range.
The range is inclusive on both ends.
Readonlysub: (Subtracts two positive integers, returning a - b as a PositiveInt16.
Namespace providing type-safe operations for the
PositiveInt16branded type.The
PositiveInt16type represents a positive integer in [1, 2^15). Division (div) uses floor division.