Numeric

Index

Interfaces

• Add
• CheckedAdd
• CheckedDivide
• CheckedMultiply
• CheckedPower
• CheckedRemainder
• CheckedSubtract
• Divide
• Integral
• IntegralParameters
• Multiply
• Negate
• Numeric
• NumericParameters
• One
• Power
• Remainder
• Signed
• Subtract
• Zero

Functions

• Integral
• Numeric

Interfaces

Add

Add<Left, Right, Output>:

Type parameters

• Left
• Right = Left
• Output = Left

+

• +(left, right): Output

• Addition operator

  @example

  type T = ...;
  const TNumeric: Numeric.Add<T> = ...;
  const result = TNumeric['+'](left, right);// represents (left + right)

CheckedAdd

CheckedAdd<Left, Right, Output>:

Type parameters

• Left
• Right = Left
• Output = Left

+?

• +?(left, right): Option<Output>

• Addition operator that returns None instead of wrapping around on overflow.

  @example

  type T = ...;
  const TNumeric: Numeric.CheckedAdd<T> = ...;
  const result = TNumeric['+?'](left, right);// represents (left + right)

CheckedDivide

CheckedDivide<Base, Divider, Output>:

Type parameters

• Base
• Divider = Base
• Output = Base

/?

• /?(left, right): Option<Output>

• Division operator

  @example

  type T = ...;
  const TNumeric: Numeric.CheckedDivide<T> = ...;
  const result = Numeric['/?'](left, right);// represents (left / right)

CheckedMultiply

CheckedMultiply<Base, Multiplier, Output>:

Type parameters

• Base
• Multiplier = Base
• Output = Base

*?

• *?(base, multiplier): Option<Output>

• Multiplication operator that returns None instead of wrapping around on overflow.

  @example

  type T = ...;
  const TNumeric: Numeric.CheckedMultiply<T> = ...;
  const result = Numeric['*?'](left, right);// represents (left * right)

CheckedPower

CheckedPower<Left, Right, Output>:

Type parameters

• Left
• Right = Left
• Output = Left

**?

• **?(left, right): Option<Output>

• Power operator that returns None instead of wrapping around on overflow.

  @example

  type T = ...;
  const TNumeric: Numeric.CheckedPower<T> = ...;
  const result = TNumeric['**?'](left, right);// represents (left ** right)

CheckedRemainder

CheckedRemainder<Base, Divider, Output>:

Type parameters

• Base
• Divider = Base
• Output = Base

%?

• %?(left, right): Option<Output>

• Remainder operator

  @example

  type T = ...;
  const TNumeric: Numeric.CheckedRemainder<T> = ...;
  const result = Numeric['%?'](left, right);// represents (left % right)

CheckedSubtract

CheckedSubtract<Left, Right, Output>:

Type parameters

• Left
• Right = Left
• Output = Left

-?

• -?(left, right): Option<Output>

• Subtraction operator that returns None instead of wrapping around on overflow.

  @example

  type T = ...;
  const TNumeric: Numeric.CheckedSubtract<T> = ...;
  const result = TNumeric['-?'](left, right);// represents (left - right)

Divide

Divide<Base, Divider, Output>:

Type parameters

• Base
• Divider = Base
• Output = Base

/

• /(base, divider): Output

• Division operator

  @example

  type T = ...;
  const TNumeric: Numeric.Divide<T> = ...;
  const result = Numeric['/'](left, right);// represents (left / right)

Integral

Integral<T>:

Integral type

---

Type parameters

• T

constructor

constructor:

Inherited from Numeric.constructor

inherited-

• -(left, right): T

• Inherited from Numeric.-

  Subtraction operator

  @example

  type T = ...;
  const TNumeric: Numeric.Subtract<T> = ...;
  const result = Numeric['-'](left, right);// represents (left - right)

inherited*

• *(left, right): T

• Inherited from Numeric.*

  Multiplication operator

  @example

  type T = ...;
  const TNumeric: Numeric.Multiply<T> = ...;
  const result = Numeric['*'](left, right);// represents (left * right)

inherited/

• /(base, divider): T

• Inherited from Divide./

  Division operator

  @example

  type T = ...;
  const TNumeric: Numeric.Divide<T> = ...;
  const result = Numeric['/'](left, right);// represents (left / right)

/%

• /%(this, base, divider): [quot: T, mod: T]

• Quotient/Modulo operator

  @example

  type T = ...;
  const TNumeric: Numeric.Integral<T> = ...;
  const result = Numeric['/%'](left, right);// represents [ left / right, left % right ]

inherited%

• %(left, right): T

• Inherited from Remainder.%

  Remainder operator

  @example

  type T = ...;
  const TNumeric: Numeric.Remainder<T> = ...;
  const result = Numeric['%'](left, right);// represents (left % right)

inherited+

• +(left, right): T

• Inherited from Numeric.+

  Addition operator

  @example

  type T = ...;
  const TNumeric: Numeric.Add<T> = ...;
  const result = TNumeric['+'](left, right);// represents (left + right)

inheritedabs

• abs(this, value): T

• Inherited from Numeric.abs

  Absolute value. It should satisfy Numeric['*'](Numeric.abs(x), Numeric.sign(x)) == x

  @example

  type T = ...;
  const TSigned: Numeric.Signed<T> = ...;
  const result = TSigned.abs(value);// absolute value of (value)

inheritedasInt

• asInt(this, self): Int

• Inherited from Numeric.asInt

  Converts the given value to a Int.

  @example

  const SomeType: AsInt<T>;
  const value: T;
  SomeType.asInt(value); // Int(...)

inheritedfromInt

• fromInt(this, value): T

• Inherited from Numeric.fromInt

inheritedisNegative

• isNegative(this, self): boolean

• Inherited from Numeric.isNegative

  Returns true if the number is negative and false if the number is zero or positive.

  @example

  Number.isPositive(-1);// true
  Number.isPositive(0);// false
  Number.isPositive(1);// false

inheritedisOne

• isOne(this, self): boolean

• Inherited from Numeric.isOne

  Returns true if self is equal to the multiplicative identity.

  @example

  Number.isOne(1); // true
  Number.isOne(0); // false

inheritedisPositive

• isPositive(this, self): boolean

• Inherited from Numeric.isPositive

  Returns true if the number is positive and false if the number is zero or negative.

  @example

  Number.isPositive(-1);// false
  Number.isPositive(0);// false
  Number.isPositive(1);// true

inheritedisZero

• isZero(this, self): boolean

• Inherited from Numeric.isZero

  Returns true if self is equal to the additive identity.

  @example

  Number.isZero(0); // true
  Number.isZero(1); // false

inheritednegate

• negate(this, self): T

• Inherited from Numeric.negate

  Negates the given value.

  @example

  Number.negate(5); // -5
  Number.negate(Number.negate(5)); // 5

inheritedone

• one(this): T

• Inherited from Numeric.one

  Returns the additive identity element of T, 0.

  @example

  Number.one(); // 1

inheritedsign

• sign(this, value): T

• Inherited from Numeric.sign

  Sign of a number. It should satisfy TSigned['*'](TSigned.abs(x), TSigned.sign(x)) == x

  @example

  Number.sign(-2.5);// -1
  Number.sign(0);// 0
  Number.sign(2.5);// 1

inheritedzero

• zero(this): T

• Inherited from Numeric.zero

  Returns the additive identity element of T, 0.

  @example

  Number.zero(); // 0

IntegralParameters

IntegralParameters<T>:

Type parameters

• T

inheritedcompare

compare: (left, right) => Ordering

Inherited from NumericParameters.compare

optionalinherited-

• -(left, right): T

• Inherited from NumericParameters.-

  Subtraction operator

  @example

  type T = ...;
  const TNumeric: Numeric.Subtract<T> = ...;
  const result = Numeric['-'](left, right);// represents (left - right)

inherited*

• *(left, right): T

• Inherited from NumericParameters.*

  Multiplication operator

  @example

  type T = ...;
  const TNumeric: Numeric.Multiply<T> = ...;
  const result = Numeric['*'](left, right);// represents (left * right)

inherited/

• /(base, divider): T

• Inherited from Divide./

  Division operator

  @example

  type T = ...;
  const TNumeric: Numeric.Divide<T> = ...;
  const result = Numeric['/'](left, right);// represents (left / right)

inherited%

• %(left, right): T

• Inherited from Remainder.%

  Remainder operator

  @example

  type T = ...;
  const TNumeric: Numeric.Remainder<T> = ...;
  const result = Numeric['%'](left, right);// represents (left % right)

inherited+

• +(left, right): T

• Inherited from NumericParameters.+

  Addition operator

  @example

  type T = ...;
  const TNumeric: Numeric.Add<T> = ...;
  const result = TNumeric['+'](left, right);// represents (left + right)

optionalinheritedabs

• abs(this, value): T

• Inherited from NumericParameters.abs

  Absolute value. It should satisfy Numeric['*'](Numeric.abs(x), Numeric.sign(x)) == x

  @example

  type T = ...;
  const TSigned: Numeric.Signed<T> = ...;
  const result = TSigned.abs(value);// absolute value of (value)

inheritedasInt

• asInt(this, self): Int

• Inherited from NumericParameters.asInt

  Converts the given value to a Int.

  @example

  const SomeType: AsInt<T>;
  const value: T;
  SomeType.asInt(value); // Int(...)

inheritedfromInt

• fromInt(this, value): T

• Inherited from NumericParameters.fromInt

optionalinheritedisNegative

• isNegative(this, self): boolean

• Inherited from NumericParameters.isNegative

  Returns true if the number is negative and false if the number is zero or positive.

  @example

  Number.isPositive(-1);// true
  Number.isPositive(0);// false
  Number.isPositive(1);// false

optionalinheritedisOne

• isOne(this, self): boolean

• Inherited from NumericParameters.isOne

  Returns true if self is equal to the multiplicative identity.

  @example

  Number.isOne(1); // true
  Number.isOne(0); // false

optionalinheritedisPositive

• isPositive(this, self): boolean

• Inherited from NumericParameters.isPositive

  Returns true if the number is positive and false if the number is zero or negative.

  @example

  Number.isPositive(-1);// false
  Number.isPositive(0);// false
  Number.isPositive(1);// true

optionalinheritedisZero

• isZero(this, self): boolean

• Inherited from NumericParameters.isZero

  Returns true if self is equal to the additive identity.

  @example

  Number.isZero(0); // true
  Number.isZero(1); // false

optionalinheritednegate

• negate(this, self): T

• Inherited from NumericParameters.negate

  Negates the given value.

  @example

  Number.negate(5); // -5
  Number.negate(Number.negate(5)); // 5

optionalinheritedone

• one(this): T

• Inherited from NumericParameters.one

  Returns the additive identity element of T, 0.

  @example

  Number.one(); // 1

optionalinheritedsign

• sign(this, value): T

• Inherited from NumericParameters.sign

  Sign of a number. It should satisfy TSigned['*'](TSigned.abs(x), TSigned.sign(x)) == x

  @example

  Number.sign(-2.5);// -1
  Number.sign(0);// 0
  Number.sign(2.5);// 1

optionalinheritedzero

• zero(this): T

• Inherited from NumericParameters.zero

  Returns the additive identity element of T, 0.

  @example

  Number.zero(); // 0

Multiply

Multiply<Left, Right, Output>:

Type parameters

• Left
• Right = Left
• Output = Left

*

• *(left, right): Output

• Multiplication operator

  @example

  type T = ...;
  const TNumeric: Numeric.Multiply<T> = ...;
  const result = Numeric['*'](left, right);// represents (left * right)

Negate

Negate<Self, Output>:

Type parameters

• Self
• Output = Self

negate

• negate(this, self): Output

• Negates the given value.

  @example

  Number.negate(5); // -5
  Number.negate(Number.negate(5)); // 5

Numeric

Numeric<T>:

Type parameters

• T

constructor

constructor:

Inherited from Negate<T>.constructor

inherited-

• -(left, right): T

• Inherited from Subtract.-

  Subtraction operator

  @example

  type T = ...;
  const TNumeric: Numeric.Subtract<T> = ...;
  const result = Numeric['-'](left, right);// represents (left - right)

inherited*

• *(left, right): T

• Inherited from Multiply.*

  Multiplication operator

  @example

  type T = ...;
  const TNumeric: Numeric.Multiply<T> = ...;
  const result = Numeric['*'](left, right);// represents (left * right)

inherited+

• +(left, right): T

• Inherited from Add.+

  Addition operator

  @example

  type T = ...;
  const TNumeric: Numeric.Add<T> = ...;
  const result = TNumeric['+'](left, right);// represents (left + right)

inheritedabs

• abs(this, value): T

• Inherited from Signed.abs

  Absolute value. It should satisfy Numeric['*'](Numeric.abs(x), Numeric.sign(x)) == x

  @example

  type T = ...;
  const TSigned: Numeric.Signed<T> = ...;
  const result = TSigned.abs(value);// absolute value of (value)

inheritedasInt

• asInt(this, self): Int

• Inherited from AsInt.asInt

  Converts the given value to a Int.

  @example

  const SomeType: AsInt<T>;
  const value: T;
  SomeType.asInt(value); // Int(...)

fromInt

• fromInt(this, value): T

inheritedisNegative

• isNegative(this, self): boolean

• Inherited from Signed.isNegative

  Returns true if the number is negative and false if the number is zero or positive.

  @example

  Number.isPositive(-1);// true
  Number.isPositive(0);// false
  Number.isPositive(1);// false

inheritedisOne

• isOne(this, self): boolean

• Inherited from One.isOne

  Returns true if self is equal to the multiplicative identity.

  @example

  Number.isOne(1); // true
  Number.isOne(0); // false

inheritedisPositive

• isPositive(this, self): boolean

• Inherited from Signed.isPositive

  Returns true if the number is positive and false if the number is zero or negative.

  @example

  Number.isPositive(-1);// false
  Number.isPositive(0);// false
  Number.isPositive(1);// true

inheritedisZero

• isZero(this, self): boolean

• Inherited from Zero.isZero

  Returns true if self is equal to the additive identity.

  @example

  Number.isZero(0); // true
  Number.isZero(1); // false

inheritednegate

• negate(this, self): T

• Inherited from Negate.negate

  Negates the given value.

  @example

  Number.negate(5); // -5
  Number.negate(Number.negate(5)); // 5

inheritedone

• one(this): T

• Inherited from One.one

  Returns the additive identity element of T, 0.

  @example

  Number.one(); // 1

inheritedsign

• sign(this, value): T

• Inherited from Signed.sign

  Sign of a number. It should satisfy TSigned['*'](TSigned.abs(x), TSigned.sign(x)) == x

  @example

  Number.sign(-2.5);// -1
  Number.sign(0);// 0
  Number.sign(2.5);// 1

inheritedzero

• zero(this): T

• Inherited from Zero.zero

  Returns the additive identity element of T, 0.

  @example

  Number.zero(); // 0

NumericParameters

NumericParameters<T>:

Type parameters

• T

inheritedcompare

compare: (left, right) => Ordering

Inherited from Comparable.Parameters.compare

optionalinherited-

• -(left, right): T

• Inherited from PartialKeys.-

  Subtraction operator

  @example

  type T = ...;
  const TNumeric: Numeric.Subtract<T> = ...;
  const result = Numeric['-'](left, right);// represents (left - right)

inherited*

• *(left, right): T

• Inherited from PartialKeys.*

  Multiplication operator

  @example

  type T = ...;
  const TNumeric: Numeric.Multiply<T> = ...;
  const result = Numeric['*'](left, right);// represents (left * right)

inherited+

• +(left, right): T

• Inherited from PartialKeys.+

  Addition operator

  @example

  type T = ...;
  const TNumeric: Numeric.Add<T> = ...;
  const result = TNumeric['+'](left, right);// represents (left + right)

optionalinheritedabs

• abs(this, value): T

• Inherited from PartialKeys.abs

  Absolute value. It should satisfy Numeric['*'](Numeric.abs(x), Numeric.sign(x)) == x

  @example

  type T = ...;
  const TSigned: Numeric.Signed<T> = ...;
  const result = TSigned.abs(value);// absolute value of (value)

inheritedasInt

• asInt(this, self): Int

• Inherited from PartialKeys.asInt

  Converts the given value to a Int.

  @example

  const SomeType: AsInt<T>;
  const value: T;
  SomeType.asInt(value); // Int(...)

inheritedfromInt

• fromInt(this, value): T

• Inherited from PartialKeys.fromInt

optionalinheritedisNegative

• isNegative(this, self): boolean

• Inherited from PartialKeys.isNegative

  Returns true if the number is negative and false if the number is zero or positive.

  @example

  Number.isPositive(-1);// true
  Number.isPositive(0);// false
  Number.isPositive(1);// false

optionalinheritedisOne

• isOne(this, self): boolean

• Inherited from PartialKeys.isOne

  Returns true if self is equal to the multiplicative identity.

  @example

  Number.isOne(1); // true
  Number.isOne(0); // false

optionalinheritedisPositive

• isPositive(this, self): boolean

• Inherited from PartialKeys.isPositive

  Returns true if the number is positive and false if the number is zero or negative.

  @example

  Number.isPositive(-1);// false
  Number.isPositive(0);// false
  Number.isPositive(1);// true

optionalinheritedisZero

• isZero(this, self): boolean

• Inherited from PartialKeys.isZero

  Returns true if self is equal to the additive identity.

  @example

  Number.isZero(0); // true
  Number.isZero(1); // false

optionalinheritednegate

• negate(this, self): T

• Inherited from PartialKeys.negate

  Negates the given value.

  @example

  Number.negate(5); // -5
  Number.negate(Number.negate(5)); // 5

optionalinheritedone

• one(this): T

• Inherited from PartialKeys.one

  Returns the additive identity element of T, 0.

  @example

  Number.one(); // 1

optionalinheritedsign

• sign(this, value): T

• Inherited from PartialKeys.sign

  Sign of a number. It should satisfy TSigned['*'](TSigned.abs(x), TSigned.sign(x)) == x

  @example

  Number.sign(-2.5);// -1
  Number.sign(0);// 0
  Number.sign(2.5);// 1

optionalinheritedzero

• zero(this): T

• Inherited from PartialKeys.zero

  Returns the additive identity element of T, 0.

  @example

  Number.zero(); // 0

One

One<T>:

Type parameters

• T

isOne

• isOne(this, self): boolean

• Returns true if self is equal to the multiplicative identity.

  @example

  Number.isOne(1); // true
  Number.isOne(0); // false

one

• one(this): T

• Returns the additive identity element of T, 0.

  @example

  Number.one(); // 1

Power

Power<Left, Right, Output>:

Type parameters

• Left
• Right = Left
• Output = Left

**

• **(left, right): Output

• Power operator

  @example

  type T = ...;
  const TNumeric: Numeric.Power<T> = ...;
  const result = Numeric['**'](left, right);// represents (left ** right)

Remainder

Remainder<Base, Divider, Output>:

Type parameters

• Base
• Divider = Base
• Output = Base

%

• %(left, right): Output

• Remainder operator

  @example

  type T = ...;
  const TNumeric: Numeric.Remainder<T> = ...;
  const result = Numeric['%'](left, right);// represents (left % right)

Signed

Signed<T>:

Type parameters

• T

abs

• abs(this, value): T

• Absolute value. It should satisfy Numeric['*'](Numeric.abs(x), Numeric.sign(x)) == x

  @example

  type T = ...;
  const TSigned: Numeric.Signed<T> = ...;
  const result = TSigned.abs(value);// absolute value of (value)

isNegative

• isNegative(this, self): boolean

• Returns true if the number is negative and false if the number is zero or positive.

  @example

  Number.isPositive(-1);// true
  Number.isPositive(0);// false
  Number.isPositive(1);// false

isPositive

• isPositive(this, self): boolean

• Returns true if the number is positive and false if the number is zero or negative.

  @example

  Number.isPositive(-1);// false
  Number.isPositive(0);// false
  Number.isPositive(1);// true

sign

• sign(this, value): T

• Sign of a number. It should satisfy TSigned['*'](TSigned.abs(x), TSigned.sign(x)) == x

  @example

  Number.sign(-2.5);// -1
  Number.sign(0);// 0
  Number.sign(2.5);// 1

Subtract

Subtract<Left, Right, Output>:

Type parameters

• Left
• Right = Left
• Output = Left

-

• -(left, right): Output

• Subtraction operator

  @example

  type T = ...;
  const TNumeric: Numeric.Subtract<T> = ...;
  const result = Numeric['-'](left, right);// represents (left - right)

Zero

Zero<T>:

Type parameters

• T

isZero

• isZero(this, self): boolean

• Returns true if self is equal to the additive identity.

  @example

  Number.isZero(0); // true
  Number.isZero(1); // false

zero

• zero(this): T

• Returns the additive identity element of T, 0.

  @example

  Number.zero(); // 0

Functions

Integral

• Integral<T>(properties): Integral<T>

Numeric

• Numeric<T>(BaseType): Numeric<T>