Natural (interface)

A PositiveInteger is also an Integer

Signature

export interface Natural
  extends Newtype<
    {
      Integer: true
      NonZero: true
      Positive: true
    },
    BigInteger
  > {}

add (constant)

Signature

export const add: (x: Natural, y: Natural) => Natural = ...

Signature

export const div: (x: Natural, y: Natural) => Natural = ...

Signature

export const gcd: (x: Natural, y: Natural) => Natural = ...

Signature

export const lcm: (x: Natural, y: Natural) => Natural = ...

Signature

export const mul: (x: Natural, y: Natural) => Natural = ...

Signature

export const negate: (x: Natural) => NonZeroInteger = ...

Signature

export const one: Natural = ...

Signature

export const ord: Ord<Natural> = ...

Signature

export const setoid: Setoid<Natural> = ...

Signature

export const show: (x: Natural) => string = ...

Signature

export const unwrap: (x: Natural) => BigInteger = ...

Signature

export function fromInteger(i: Integer): Option<Natural> { ... }

Signature

export function sub(x: Natural, y: Natural): Option<Natural> { ... }

Signature

export function wrap(x: BigInteger): Option<Natural> { ... }