Table of contents
- Integer (interface)
- add (constant)
- mul (constant)
- negate (constant)
- one (constant)
- ord (constant)
- ring (constant)
- setoid (constant)
- sub (constant)
- unwrap (constant)
- wrap (constant)
- zero (constant)
- div (function)
- isPositive (function)
- isZero (function)
- show (function)
- sign (function)
Integer (interface)
Signature
export interface Integer extends Newtype<{ Integer: true }, BigInteger> {}
add (constant)
Signature
export const add: (x: Integer, y: Integer) => Integer = ...
mul (constant)
Signature
export const mul: (x: Integer, y: Integer) => Integer = ...
negate (constant)
Signature
export const negate: (x: Integer) => Integer = ...
one (constant)
Signature
export const one: Integer = ...
ord (constant)
Signature
export const ord: Ord<Integer> = ...
ring (constant)
Signature
export const ring: Ring<Integer> = ...
setoid (constant)
Signature
export const setoid: Setoid<Integer> = ...
sub (constant)
Signature
export const sub: (x: Integer, y: Integer) => Integer = ...
unwrap (constant)
Signature
export const unwrap: (x: Integer) => BigInteger = ...
wrap (constant)
Signature
export const wrap: (x: BigInteger) => Integer = ...
zero (constant)
Signature
export const zero: Integer = ...
div (function)
Signature
export function div(x: Integer, y: NonZeroInteger): Integer { ... }
isPositive (function)
Signature
export const isPositive = (x: Integer): boolean => ...
isZero (function)
Signature
export const isZero = (x: Integer): boolean => ...
show (function)
Signature
export function show(x: Integer): string { ... }
sign (function)
Signature
export function sign(x: Integer): -1 | 0 | 1 { ... }