Variable NonZeroFiniteNumberConst
NonZeroFiniteNumber: {
abs: (x: NonZeroFiniteNumber) => ToNonNegative<NonZeroFiniteNumber>;
add: (
x: NonZeroFiniteNumber,
y: NonZeroFiniteNumber,
) => NonZeroFiniteNumber;
ceil: (x: NonZeroFiniteNumber) => ToInt<NonZeroFiniteNumber>;
div: (
x: NonZeroFiniteNumber,
y: ToNonZero<NonZeroFiniteNumber>,
) => NonZeroFiniteNumber;
floor: (x: NonZeroFiniteNumber) => ToInt<NonZeroFiniteNumber>;
is: (a: number) => a is NonZeroFiniteNumber;
max: (...values: readonly NonZeroFiniteNumber[]) => NonZeroFiniteNumber;
min: (...values: readonly NonZeroFiniteNumber[]) => NonZeroFiniteNumber;
mul: (
x: NonZeroFiniteNumber,
y: NonZeroFiniteNumber,
) => NonZeroFiniteNumber;
pow: (
x: NonZeroFiniteNumber,
y: NonZeroFiniteNumber,
) => NonZeroFiniteNumber;
random: (
min?: NonZeroFiniteNumber,
max?: NonZeroFiniteNumber,
) => NonZeroFiniteNumber;
round: (x: NonZeroFiniteNumber) => ToInt<NonZeroFiniteNumber>;
sub: (
x: NonZeroFiniteNumber,
y: NonZeroFiniteNumber,
) => NonZeroFiniteNumber;
} = ...
Type Declaration
abs: (x: NonZeroFiniteNumber) => ToNonNegative<NonZeroFiniteNumber>
add: (x: NonZeroFiniteNumber, y: NonZeroFiniteNumber) => NonZeroFiniteNumber
ceil: (x: NonZeroFiniteNumber) => ToInt<NonZeroFiniteNumber>
div: (
x: NonZeroFiniteNumber,
y: ToNonZero<NonZeroFiniteNumber>,
) => NonZeroFiniteNumber
floor: (x: NonZeroFiniteNumber) => ToInt<NonZeroFiniteNumber>
is: (a: number) => a is NonZeroFiniteNumber
Readonly
max: (...values: readonly NonZeroFiniteNumber[]) => NonZeroFiniteNumber
Readonly
min: (...values: readonly NonZeroFiniteNumber[]) => NonZeroFiniteNumber
mul: (x: NonZeroFiniteNumber, y: NonZeroFiniteNumber) => NonZeroFiniteNumber
pow: (x: NonZeroFiniteNumber, y: NonZeroFiniteNumber) => NonZeroFiniteNumber
random: (min?: NonZeroFiniteNumber, max?: NonZeroFiniteNumber) => NonZeroFiniteNumber
round: (x: NonZeroFiniteNumber) => ToInt<NonZeroFiniteNumber>
sub: (x: NonZeroFiniteNumber, y: NonZeroFiniteNumber) => NonZeroFiniteNumber
Namespace providing type-safe arithmetic operations for non-zero finite numbers.
All operations maintain the non-zero constraint while ensuring results remain finite (excluding NaN and Infinity). This type is useful for values that must never be zero, such as denominators, scaling factors, and ratios.