std/jsbigints

Целые числа произвольной точности.

• https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/BigInt

Пример:

import std/jsbigints
block:
  let big1: JsBigInt = big"2147483647"
  let big2: JsBigInt = big"666"
  doAssert JsBigInt isnot int
  doAssert big1 != big2
  doAssert big1 > big2
  doAssert big1 >= big2
  doAssert big2 < big1
  doAssert big2 <= big1
  doAssert not(big1 == big2)
  let z = JsBigInt.default
  doAssert $z == "0n"
block:
  var a: seq[JsBigInt]
  a.setLen 2
  doAssert a == @[big"0", big"0"]
  doAssert a[^1] == big"0"
  var b: JsBigInt
  doAssert b == big"0"
  doAssert b == JsBigInt.default

Типы

JsBigInt = distinct JsBigIntImpl

Целое число произвольной точности для целевой платформы JavaScript. Source Edit

Процедуры

func `$`(this: JsBigInt): string {....raises: [], tags: [], forbids: [].}

Возвращает представление string числа JsBigInt.

Пример:

doAssert $big"1024" == "1024n"

Исходный код Редактировать

func `'big`(num: cstring): JsBigInt {.importjs: "BigInt(#)", ...raises: [],
                                      tags: [], forbids: [].}

Конструктор для JsBigInt.

Пример:

doAssert -1'big == 1'big - 2'big
# supports decimal, binary, octal, hex:
doAssert -12'big == big"-12"
doAssert 12'big == 12.big
doAssert 0b101'big == 0b101.big
doAssert 0o701'big == 0o701.big
doAssert 0xdeadbeaf'big == 0xdeadbeaf.big
doAssert 0xffffffffffffffff'big == (1'big shl 64'big) - 1'big
doAssert not compiles(static(12'big))

Исходный код Редактировать

func `*`(x, y: JsBigInt): JsBigInt {.importjs: "(# $1 #)", ...raises: [], tags: [],
                                     forbids: [].}

Пример:

doAssert (big"42" * big"9") == big"378"

Исходный код Редактировать

func `**`(x, y: JsBigInt): JsBigInt {.importjs: "((#) $1 #)", ...raises: [],
                                      tags: [], forbids: [].}

Пример:

doAssert big"2" ** big"64" == big"18446744073709551616"
doAssert big"-2" ** big"3" == big"-8"
doAssert -big"2" ** big"2" == big"4" # parsed as: (-2n) ** 2n
doAssert big"0" ** big"0" == big"1" # edge case
var ok = false
try: discard big"2" ** big"-1" # raises foreign `RangeError`
except: ok = true
doAssert ok

Исходный код Редактировать

func `*=`(x: var JsBigInt; y: JsBigInt) {.importjs: "([#][0][0] $1 #)",
    ...raises: [], tags: [], forbids: [].}

Пример:

var big1: JsBigInt = big"2"
big1 *= big"4"
doAssert big1 == big"8"

Исходный код Редактировать

proc `+`(_: JsBigInt): JsBigInt {.error: "See https://github.com/tc39/proposal-bigint/blob/master/ADVANCED.md#dont-break-asmjs".}

Не использовать. https://github.com/tc39/proposal-bigint/blob/master/ADVANCED.md#dont-break-asmjs Исходный код Редактировать

func `+`(x, y: JsBigInt): JsBigInt {.importjs: "(# $1 #)", ...raises: [], tags: [],
                                     forbids: [].}

Пример:

doAssert (big"9" + big"1") == big"10"

Исходный код Редактировать

func `+=`(x: var JsBigInt; y: JsBigInt) {.importjs: "([#][0][0] $1 #)",
    ...raises: [], tags: [], forbids: [].}

Пример:

var big1: JsBigInt = big"1"
big1 += big"2"
doAssert big1 == big"3"

Исходный код Редактировать

func `-`(this: JsBigInt): JsBigInt {.importjs: "($1#)", ...raises: [], tags: [],
                                     forbids: [].}

Пример:

doAssert -(big"10101010101") == big"-10101010101"

Исходный код Редактировать

func `-`(x, y: JsBigInt): JsBigInt {.importjs: "(# $1 #)", ...raises: [], tags: [],
                                     forbids: [].}

Пример:

doAssert (big"9" - big"1") == big"8"

Исходный код Редактировать

func `-=`(x: var JsBigInt; y: JsBigInt) {.importjs: "([#][0][0] $1 #)",
    ...raises: [], tags: [], forbids: [].}

Пример:

var big1: JsBigInt = big"1"
big1 -= big"2"
doAssert big1 == big"-1"

Исходный код Редактировать

func `/=`(x: var JsBigInt; y: JsBigInt) {.importjs: "([#][0][0] $1 #)",
    ...raises: [], tags: [], forbids: [].}

То же самое, что и x = x div y.

Пример:

var big1: JsBigInt = big"11"
big1 /= big"2"
doAssert big1 == big"5"

Исходный код Редактировать

func `<`(x, y: JsBigInt): bool {.importjs: "(# $1 #)", ...raises: [], tags: [],
                                 forbids: [].}

Пример:

doAssert big"2" < big"9"

Исходный код Редактировать

func `<=`(x, y: JsBigInt): bool {.importjs: "(# $1 #)", ...raises: [], tags: [],
                                  forbids: [].}

Пример:

doAssert big"1" <= big"5"

Исходный код Редактировать

func `==`(x, y: JsBigInt): bool {.importjs: "(# == #)", ...raises: [], tags: [],
                                  forbids: [].}

Пример:

doAssert big"42" == big"42"

Исходный код Редактировать

func `and`(x, y: JsBigInt): JsBigInt {.importjs: "(# & #)", ...raises: [],
                                       tags: [], forbids: [].}

Пример:

doAssert (big"555" and big"2") == big"2"

Исходный код Редактировать

func big(integer: cstring): JsBigInt {.importjs: "BigInt(#)", ...raises: [],
                                       tags: [], forbids: [].}

Псевдоним для 'big Исходный код Редактировать

func big(integer: SomeInteger): JsBigInt {.importjs: "BigInt(#)", ...raises: [],
    tags: [], forbids: [].}

Конструктор для JsBigInt.

Пример:

doAssert big(1234567890) == big"1234567890"
doAssert 0b1111100111.big == 0o1747.big and 0o1747.big == 999.big

Исходный код Редактировать

func dec(this: var JsBigInt) {.importjs: "(--[#][0][0])", ...raises: [], tags: [],
                               forbids: [].}

Пример:

var big1: JsBigInt = big"2"
dec big1
doAssert big1 == big"1"

Исходный код Редактировать

func dec(this: var JsBigInt; amount: JsBigInt) {.importjs: "([#][0][0] -= #)",
    ...raises: [], tags: [], forbids: [].}

Пример:

var big1: JsBigInt = big"1"
dec big1, big"2"
doAssert big1 == big"-1"

Исходный код Редактировать

func `div`(x, y: JsBigInt): JsBigInt {.importjs: "(# / #)", ...raises: [],
                                       tags: [], forbids: [].}

Аналогично div, но для JsBigInt (использует JavaScript BigInt() / BigInt()).

Пример:

doAssert big"13" div big"3" == big"4"
doAssert big"-13" div big"3" == big"-4"
doAssert big"13" div big"-3" == big"-4"
doAssert big"-13" div big"-3" == big"4"

Исходный код Редактировать

proc high(_: typedesc[JsBigInt]): JsBigInt {.
    error: "Arbitrary precision integers do not have a known high.".}

Не использовать. Исходный код Редактировать

func inc(this: var JsBigInt) {.importjs: "(++[#][0][0])", ...raises: [], tags: [],
                               forbids: [].}

Пример:

var big1: JsBigInt = big"1"
inc big1
doAssert big1 == big"2"

Исходный код Редактировать

func inc(this: var JsBigInt; amount: JsBigInt) {.importjs: "([#][0][0] += #)",
    ...raises: [], tags: [], forbids: [].}

Пример:

var big1: JsBigInt = big"1"
inc big1, big"2"
doAssert big1 == big"3"

Исходный код Редактировать

proc low(_: typedesc[JsBigInt]): JsBigInt {.
    error: "Arbitrary precision integers do not have a known low.".}

Не использовать. Исходный код Редактировать

func `mod`(x, y: JsBigInt): JsBigInt {.importjs: "(# % #)", ...raises: [],
                                       tags: [], forbids: [].}

Аналогично mod, но для JsBigInt (использует JavaScript BigInt() % BigInt()).

Пример:

doAssert big"13" mod big"3" == big"1"
doAssert big"-13" mod big"3" == big"-1"
doAssert big"13" mod big"-3" == big"1"
doAssert big"-13" mod big"-3" == big"-1"

Исходный код Редактировать

func `or`(x, y: JsBigInt): JsBigInt {.importjs: "(# | #)", ...raises: [], tags: [],
                                      forbids: [].}

Пример:

doAssert (big"555" or big"2") == big"555"

Исходный код Редактировать

func `shl`(a, b: JsBigInt): JsBigInt {.importjs: "(# << #)", ...raises: [],
                                       tags: [], forbids: [].}

Пример:

doAssert (big"999" shl big"2") == big"3996"

Исходный код Редактировать

func `shr`(a, b: JsBigInt): JsBigInt {.importjs: "(# >> #)", ...raises: [],
                                       tags: [], forbids: [].}

Пример:

doAssert (big"999" shr big"2") == big"249"

Исходный код Редактировать

func toCstring(this: JsBigInt): cstring {.importjs: "#.toString()", ...raises: [],
    tags: [], forbids: [].}

Преобразует из JsBigInt в представление cstring. https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/BigInt/toString Исходный код Редактировать

func toCstring(this: JsBigInt; radix: 2 .. 36): cstring {.
    importjs: "#.toString(#)", ...raises: [], tags: [], forbids: [].}

Преобразует из JsBigInt в представление cstring.

• radix Основание для представления числовых значений.

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/BigInt/toString

Пример:

doAssert big"2147483647".toCstring(2) == "1111111111111111111111111111111".cstring

Исходный код Редактировать

func toNumber(this: JsBigInt): int {.importjs: "Number(#)", ...raises: [],
                                     tags: [], forbids: [].}

Не выполняет проверки границ и может возвращать приближенное представление.

Пример:

doAssert toNumber(big"2147483647") == 2147483647.int

Исходный код Редактировать

func wrapToInt(this: JsBigInt; bits: Natural): JsBigInt {.
    importjs: "(() => { const i = #, b = #; return BigInt.asIntN(b, i) })()",
    ...raises: [], tags: [], forbids: [].}

Оборачивает this в знаковое JsBigInt из bits бит в диапазоне -2 ^ (bits - 1) .. 2 ^ (bits - 1) - 1. https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/BigInt/asIntN

Пример:

doAssert (big("3") + big("2") ** big("66")).wrapToInt(13) == big("3")

Исходный код Редактировать

func wrapToUint(this: JsBigInt; bits: Natural): JsBigInt {.
    importjs: "(() => { const i = #, b = #; return BigInt.asUintN(b, i) })()",
    ...raises: [], tags: [], forbids: [].}

Оборачивает this в беззнаковое JsBigInt из bits бит в диапазоне 0 .. 2 ^ bits - 1. https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/BigInt/asUintN

Пример:

doAssert (big("3") + big("2") ** big("66")).wrapToUint(66) == big("3")

Исходный код Редактировать

func `xor`(x, y: JsBigInt): JsBigInt {.importjs: "(# ^ #)", ...raises: [],
                                       tags: [], forbids: [].}

Пример:

doAssert (big"555" xor big"2") == big"553"

Исходный код Редактировать