Variable PositiveFiniteNumberConst
PositiveFiniteNumber: {
add: (
x: PositiveFiniteNumber,
y: PositiveFiniteNumber,
) => PositiveFiniteNumber;
ceil: (x: PositiveFiniteNumber) => ToInt<PositiveFiniteNumber>;
clamp: (x: number) => PositiveFiniteNumber;
div: (
x: PositiveFiniteNumber,
y: ToNonZero<PositiveFiniteNumber>,
) => PositiveFiniteNumber;
floor: (
x: PositiveFiniteNumber,
) => RemoveNonZeroBrandKey<ToInt<PositiveFiniteNumber>>;
is: (a: number) => a is PositiveFiniteNumber;
max: (...values: readonly PositiveFiniteNumber[]) => PositiveFiniteNumber;
min: (...values: readonly PositiveFiniteNumber[]) => PositiveFiniteNumber;
MIN_VALUE: number;
mul: (
x: PositiveFiniteNumber,
y: PositiveFiniteNumber,
) => PositiveFiniteNumber;
pow: (
x: PositiveFiniteNumber,
y: PositiveFiniteNumber,
) => PositiveFiniteNumber;
random: (
min?: PositiveFiniteNumber,
max?: PositiveFiniteNumber,
) => PositiveFiniteNumber;
round: (
x: PositiveFiniteNumber,
) => RemoveNonZeroBrandKey<ToInt<PositiveFiniteNumber>>;
sub: (
x: PositiveFiniteNumber,
y: PositiveFiniteNumber,
) => PositiveFiniteNumber;
} = ...
Type Declaration
add: (x: PositiveFiniteNumber, y: PositiveFiniteNumber) => PositiveFiniteNumber
ceil: (x: PositiveFiniteNumber) => ToInt<PositiveFiniteNumber>
clamp: (x: number) => PositiveFiniteNumber
div: (
x: PositiveFiniteNumber,
y: ToNonZero<PositiveFiniteNumber>,
) => PositiveFiniteNumber
floor: (x: PositiveFiniteNumber) => RemoveNonZeroBrandKey<ToInt<PositiveFiniteNumber>>
is: (a: number) => a is PositiveFiniteNumber
Readonlymax: (...values: readonly PositiveFiniteNumber[]) => PositiveFiniteNumber
Readonlymin: (...values: readonly PositiveFiniteNumber[]) => PositiveFiniteNumber
ReadonlyMIN_VALUE: number
mul: (x: PositiveFiniteNumber, y: PositiveFiniteNumber) => PositiveFiniteNumber
pow: (x: PositiveFiniteNumber, y: PositiveFiniteNumber) => PositiveFiniteNumber
random: (min?: PositiveFiniteNumber, max?: PositiveFiniteNumber) => PositiveFiniteNumber
round: (x: PositiveFiniteNumber) => RemoveNonZeroBrandKey<ToInt<PositiveFiniteNumber>>
sub: (x: PositiveFiniteNumber, y: PositiveFiniteNumber) => PositiveFiniteNumber
Namespace providing type-safe arithmetic operations for positive finite numbers.
All operations maintain the positive constraint by clamping non-positive results to MIN_VALUE, while ensuring results remain finite (excluding NaN and Infinity). This type is useful for representing quantities that must always be positive, such as probabilities, magnitudes, and physical measurements.