functionalscript 0.2.6 → 0.3.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.github/workflows/ci.yml +20 -4
- package/CHANGELOG.md +5 -0
- package/com/cpp/{module.f.mjs → module.f.ts} +65 -44
- package/com/cpp/{test.f.mjs → test.f.ts} +1 -1
- package/com/cpp/testlib.f.ts +8 -0
- package/com/cs/{module.f.mjs → module.f.ts} +47 -38
- package/com/cs/{test.f.mjs → test.f.ts} +2 -2
- package/com/cs/testlib.f.ts +8 -0
- package/com/rust/module.f.ts +287 -0
- package/com/rust/{test.f.mjs → test.f.ts} +1 -1
- package/com/rust/testlib.f.ts +8 -0
- package/com/test/{build.f.mjs → build.f.ts} +47 -45
- package/com/test/{build.mjs → build.ts} +7 -6
- package/com/types/module.f.ts +62 -0
- package/com/types/{testlib.f.mjs → testlib.f.ts} +2 -3
- package/commonjs/build/module.f.ts +100 -0
- package/commonjs/build/{test.f.mjs → test.f.ts} +21 -17
- package/commonjs/module/function/module.f.ts +13 -0
- package/commonjs/module/module.f.ts +41 -0
- package/commonjs/module.f.ts +7 -0
- package/commonjs/{module.mjs → module.ts} +12 -9
- package/commonjs/package/dependencies/module.f.ts +22 -0
- package/commonjs/package/dependencies/{test.f.mjs → test.f.ts} +1 -1
- package/commonjs/package/module.f.ts +31 -0
- package/commonjs/package/{test.f.mjs → test.f.ts} +1 -1
- package/commonjs/path/{module.f.mjs → module.f.ts} +72 -67
- package/commonjs/path/{test.f.mjs → test.f.ts} +25 -19
- package/commonjs/{test.mjs → test.ts} +5 -4
- package/crypto/prime_field/{module.f.mjs → module.f.ts} +40 -37
- package/crypto/prime_field/{test.f.mjs → test.f.ts} +7 -5
- package/crypto/secp/{module.f.mjs → module.f.ts} +44 -44
- package/crypto/secp/{test.f.mjs → test.f.ts} +16 -11
- package/crypto/sha2/{module.f.mjs → module.f.ts} +61 -46
- package/crypto/sha2/{test.f.mjs → test.f.ts} +12 -9
- package/deno.json +71 -0
- package/dev/README.md +8 -0
- package/dev/index.ts +3 -0
- package/dev/{module.f.mjs → module.f.ts} +0 -2
- package/dev/{module.mjs → module.ts} +66 -61
- package/dev/test/{module.f.mjs → module.f.ts} +57 -70
- package/dev/{test.f.mjs → test.f.ts} +7 -5
- package/dev/test.ts +53 -0
- package/djs/{module.f.mjs → module.f.ts} +31 -31
- package/djs/parser/{module.f.mjs → module.f.ts} +190 -182
- package/djs/parser/{test.f.mjs → test.f.ts} +173 -150
- package/djs/serializer/module.f.ts +90 -0
- package/djs/{test.f.mjs → test.f.ts} +4 -4
- package/djs/tokenizer/{module.f.mjs → module.f.ts} +35 -42
- package/djs/tokenizer/{test.f.mjs → test.f.ts} +9 -8
- package/fsc/{module.f.mjs → module.f.ts} +41 -44
- package/fsc/{test.f.mjs → test.f.ts} +8 -6
- package/fsm/module.f.ts +107 -0
- package/fsm/{test.f.mjs → test.f.ts} +10 -9
- package/html/module.f.ts +108 -0
- package/html/{test.f.mjs → test.f.ts} +10 -7
- package/issues/lang/3110-function.md +25 -1
- package/issues/{test.f.mjs → test.f.ts} +3 -2
- package/js/tokenizer/module.f.ts +882 -0
- package/js/tokenizer/{test.f.mjs → test.f.ts} +11 -10
- package/json/module.f.ts +94 -0
- package/json/parser/{module.f.mjs → module.f.ts} +113 -109
- package/json/parser/{test.f.mjs → test.f.ts} +10 -9
- package/json/serializer/module.f.ts +70 -0
- package/json/serializer/{test.f.mjs → test.f.ts} +3 -3
- package/json/{test.f.mjs → test.f.ts} +3 -3
- package/json/tokenizer/{module.f.mjs → module.f.ts} +29 -36
- package/json/tokenizer/{test.f.mjs → test.f.ts} +9 -8
- package/nanvm-lib/src/extension.rs +15 -4
- package/nanvm-lib/src/interface.rs +7 -10
- package/nanvm-lib/src/lib.rs +3 -3
- package/nanvm-lib/src/naive.rs +10 -3
- package/nanvm-lib/src/nanenum.rs +5 -1
- package/nanvm-lib/tests/{test.f.mjs → test.f.ts} +7 -6
- package/nodejs/version/{main.mjs → main.ts} +1 -1
- package/nodejs/version/module.f.ts +42 -0
- package/nodejs/version/{test.f.mjs → test.f.ts} +11 -12
- package/package.json +9 -9
- package/text/ascii/{module.f.mjs → module.f.ts} +10 -8
- package/text/ascii/{test.f.mjs → test.f.ts} +4 -4
- package/text/module.f.ts +30 -0
- package/text/sgr/{module.f.mjs → module.f.ts} +3 -5
- package/text/{test.f.mjs → test.f.ts} +5 -4
- package/text/utf16/module.f.ts +108 -0
- package/text/utf16/{test.f.mjs → test.f.ts} +7 -6
- package/text/utf8/{module.f.mjs → module.f.ts} +29 -23
- package/text/utf8/{test.f.mjs → test.f.ts} +4 -4
- package/tsconfig.json +4 -1
- package/types/array/module.f.ts +89 -0
- package/types/array/{test.f.mjs → test.f.ts} +3 -3
- package/types/bigfloat/{module.f.mjs → module.f.ts} +25 -20
- package/types/bigfloat/{test.f.mjs → test.f.ts} +1 -1
- package/types/bigint/{module.f.mjs → module.f.ts} +29 -28
- package/types/bigint/{test.f.mjs → test.f.ts} +2 -2
- package/types/bit_vec/{module.f.mjs → module.f.ts} +16 -37
- package/types/bit_vec/{test.f.mjs → test.f.ts} +1 -1
- package/types/btree/find/module.f.ts +92 -0
- package/types/btree/find/{test.f.mjs → test.f.ts} +20 -16
- package/types/btree/{module.f.mjs → module.f.ts} +9 -9
- package/types/btree/remove/{module.f.mjs → module.f.ts} +43 -53
- package/types/btree/remove/{test.f.mjs → test.f.ts} +19 -15
- package/types/btree/set/{module.f.mjs → module.f.ts} +17 -20
- package/types/btree/set/{test.f.mjs → test.f.ts} +96 -66
- package/types/btree/{test.f.mjs → test.f.ts} +34 -26
- package/types/btree/types/module.f.ts +27 -0
- package/types/byte_set/module.f.ts +70 -0
- package/types/byte_set/{test.f.mjs → test.f.ts} +8 -7
- package/types/function/compare/module.f.ts +26 -0
- package/types/function/compare/{test.f.mjs → test.f.ts} +1 -1
- package/types/function/module.f.ts +43 -0
- package/types/function/operator/module.f.ts +63 -0
- package/types/function/test.f.ts +20 -0
- package/types/list/module.f.ts +345 -0
- package/types/list/{test.f.mjs → test.f.ts} +30 -24
- package/types/map/module.f.ts +65 -0
- package/types/map/{test.f.mjs → test.f.ts} +6 -5
- package/types/nibble_set/module.f.ts +34 -0
- package/types/nibble_set/{test.f.mjs → test.f.ts} +3 -3
- package/types/nullable/module.f.ts +9 -0
- package/types/nullable/{test.f.mjs → test.f.ts} +2 -2
- package/types/number/module.f.ts +16 -0
- package/types/number/{test.f.mjs → test.f.ts} +7 -5
- package/types/object/module.f.ts +30 -0
- package/types/object/{test.f.mjs → test.f.ts} +2 -2
- package/types/range/module.f.ts +10 -0
- package/types/range/{test.f.mjs → test.f.ts} +1 -1
- package/types/range_map/module.f.ts +70 -0
- package/types/range_map/{test.f.mjs → test.f.ts} +82 -57
- package/types/result/module.f.ts +20 -0
- package/types/result/{module.mjs → module.ts} +4 -3
- package/types/sorted_list/module.f.ts +83 -0
- package/types/sorted_list/{test.f.mjs → test.f.ts} +14 -12
- package/types/sorted_set/module.f.ts +36 -0
- package/types/sorted_set/{test.f.mjs → test.f.ts} +14 -12
- package/types/string/module.f.ts +24 -0
- package/types/string/{test.f.mjs → test.f.ts} +2 -2
- package/types/string_set/module.f.ts +37 -0
- package/types/string_set/{test.f.mjs → test.f.ts} +2 -2
- package/com/cpp/testlib.f.mjs +0 -8
- package/com/cs/testlib.f.mjs +0 -8
- package/com/rust/module.f.mjs +0 -272
- package/com/rust/testlib.f.mjs +0 -8
- package/com/types/module.f.mjs +0 -67
- package/commonjs/build/module.f.mjs +0 -100
- package/commonjs/module/function/module.f.mjs +0 -21
- package/commonjs/module/module.f.mjs +0 -53
- package/commonjs/module.f.mjs +0 -11
- package/commonjs/package/dependencies/module.f.mjs +0 -22
- package/commonjs/package/module.f.mjs +0 -36
- package/dev/index.mjs +0 -3
- package/dev/test.mjs +0 -60
- package/fsm/module.f.mjs +0 -99
- package/html/module.f.mjs +0 -102
- package/js/tokenizer/module.f.mjs +0 -872
- package/json/module.f.mjs +0 -89
- package/json/serializer/module.f.mjs +0 -87
- package/jsr.json +0 -66
- package/nodejs/version/module.f.mjs +0 -47
- package/out/com/cpp/module.f.d.mts +0 -7
- package/out/com/cpp/module.f.mjs +0 -130
- package/out/com/cpp/test.f.d.mts +0 -2
- package/out/com/cpp/test.f.mjs +0 -40
- package/out/com/cpp/testlib.f.d.mts +0 -2
- package/out/com/cpp/testlib.f.mjs +0 -7
- package/out/com/cs/module.f.d.mts +0 -7
- package/out/com/cs/module.f.mjs +0 -104
- package/out/com/cs/test.f.d.mts +0 -2
- package/out/com/cs/test.f.mjs +0 -43
- package/out/com/cs/testlib.f.d.mts +0 -2
- package/out/com/cs/testlib.f.mjs +0 -7
- package/out/com/rust/module.f.d.mts +0 -23
- package/out/com/rust/module.f.mjs +0 -224
- package/out/com/rust/test.f.d.mts +0 -2
- package/out/com/rust/test.f.mjs +0 -123
- package/out/com/rust/testlib.f.d.mts +0 -2
- package/out/com/rust/testlib.f.mjs +0 -7
- package/out/com/test/build.d.mts +0 -1
- package/out/com/test/build.f.d.mts +0 -26
- package/out/com/test/build.f.mjs +0 -98
- package/out/com/test/build.mjs +0 -40
- package/out/com/types/module.f.d.mts +0 -23
- package/out/com/types/module.f.mjs +0 -51
- package/out/com/types/testlib.f.d.mts +0 -44
- package/out/com/types/testlib.f.mjs +0 -30
- package/out/commonjs/build/module.f.d.mts +0 -20
- package/out/commonjs/build/module.f.mjs +0 -107
- package/out/commonjs/build/test.f.d.mts +0 -3
- package/out/commonjs/build/test.f.mjs +0 -102
- package/out/commonjs/module/function/module.f.d.mts +0 -5
- package/out/commonjs/module/function/module.f.mjs +0 -15
- package/out/commonjs/module/module.f.d.mts +0 -52
- package/out/commonjs/module/module.f.mjs +0 -48
- package/out/commonjs/module.d.mts +0 -3
- package/out/commonjs/module.f.d.mts +0 -2
- package/out/commonjs/module.f.mjs +0 -10
- package/out/commonjs/module.mjs +0 -26
- package/out/commonjs/package/dependencies/module.f.d.mts +0 -6
- package/out/commonjs/package/dependencies/module.f.mjs +0 -21
- package/out/commonjs/package/dependencies/test.f.d.mts +0 -2
- package/out/commonjs/package/dependencies/test.f.mjs +0 -15
- package/out/commonjs/package/module.f.d.mts +0 -21
- package/out/commonjs/package/module.f.mjs +0 -40
- package/out/commonjs/package/test.f.d.mts +0 -2
- package/out/commonjs/package/test.f.mjs +0 -27
- package/out/commonjs/path/module.f.d.mts +0 -60
- package/out/commonjs/path/module.f.mjs +0 -171
- package/out/commonjs/path/test.f.d.mts +0 -25
- package/out/commonjs/path/test.f.mjs +0 -231
- package/out/commonjs/test.d.mts +0 -8
- package/out/commonjs/test.mjs +0 -87
- package/out/crypto/prime_field/module.f.d.mts +0 -67
- package/out/crypto/prime_field/module.f.mjs +0 -110
- package/out/crypto/prime_field/test.f.d.mts +0 -13
- package/out/crypto/prime_field/test.f.mjs +0 -152
- package/out/crypto/secp/module.f.d.mts +0 -110
- package/out/crypto/secp/module.f.mjs +0 -173
- package/out/crypto/secp/test.f.d.mts +0 -5
- package/out/crypto/secp/test.f.mjs +0 -78
- package/out/crypto/sha2/module.f.d.mts +0 -15
- package/out/crypto/sha2/module.f.mjs +0 -172
- package/out/crypto/sha2/test.f.d.mts +0 -10
- package/out/crypto/sha2/test.f.mjs +0 -86
- package/out/dev/index.d.mts +0 -1
- package/out/dev/index.mjs +0 -2
- package/out/dev/module.d.mts +0 -26
- package/out/dev/module.f.d.mts +0 -1
- package/out/dev/module.f.mjs +0 -2
- package/out/dev/module.mjs +0 -167
- package/out/dev/test/module.f.d.mts +0 -25
- package/out/dev/test/module.f.mjs +0 -134
- package/out/dev/test.d.mts +0 -3
- package/out/dev/test.f.d.mts +0 -9
- package/out/dev/test.f.mjs +0 -58
- package/out/dev/test.mjs +0 -52
- package/out/djs/module.f.d.mts +0 -20
- package/out/djs/module.f.mjs +0 -79
- package/out/djs/parser/module.f.d.mts +0 -56
- package/out/djs/parser/module.f.mjs +0 -448
- package/out/djs/parser/test.f.d.mts +0 -13
- package/out/djs/parser/test.f.mjs +0 -569
- package/out/djs/test.f.d.mts +0 -12
- package/out/djs/test.f.mjs +0 -84
- package/out/djs/tokenizer/module.f.d.mts +0 -13
- package/out/djs/tokenizer/module.f.mjs +0 -91
- package/out/djs/tokenizer/test.f.d.mts +0 -7
- package/out/djs/tokenizer/test.f.mjs +0 -530
- package/out/fsc/module.f.d.mts +0 -7
- package/out/fsc/module.f.mjs +0 -105
- package/out/fsc/test.f.d.mts +0 -4
- package/out/fsc/test.f.mjs +0 -19
- package/out/fsm/module.f.d.mts +0 -14
- package/out/fsm/module.f.mjs +0 -80
- package/out/fsm/test.f.d.mts +0 -5
- package/out/fsm/test.f.mjs +0 -138
- package/out/html/module.f.d.mts +0 -17
- package/out/html/module.f.mjs +0 -80
- package/out/html/test.f.d.mts +0 -10
- package/out/html/test.f.mjs +0 -45
- package/out/issues/test.f.d.mts +0 -16
- package/out/issues/test.f.mjs +0 -66
- package/out/js/tokenizer/module.f.d.mts +0 -163
- package/out/js/tokenizer/module.f.mjs +0 -729
- package/out/js/tokenizer/test.f.d.mts +0 -9
- package/out/js/tokenizer/test.f.mjs +0 -906
- package/out/json/module.f.d.mts +0 -33
- package/out/json/module.f.mjs +0 -89
- package/out/json/parser/module.f.d.mts +0 -32
- package/out/json/parser/module.f.mjs +0 -224
- package/out/json/parser/test.f.d.mts +0 -5
- package/out/json/parser/test.f.mjs +0 -329
- package/out/json/serializer/module.f.d.mts +0 -36
- package/out/json/serializer/module.f.mjs +0 -67
- package/out/json/serializer/test.f.d.mts +0 -8
- package/out/json/serializer/test.f.mjs +0 -87
- package/out/json/test.f.d.mts +0 -8
- package/out/json/test.f.mjs +0 -61
- package/out/json/tokenizer/module.f.d.mts +0 -13
- package/out/json/tokenizer/module.f.mjs +0 -78
- package/out/json/tokenizer/test.f.d.mts +0 -6
- package/out/json/tokenizer/test.f.mjs +0 -420
- package/out/nanvm-lib/tests/test.f.d.mts +0 -36
- package/out/nanvm-lib/tests/test.f.mjs +0 -87
- package/out/nodejs/version/main.d.mts +0 -1
- package/out/nodejs/version/main.mjs +0 -3
- package/out/nodejs/version/module.f.d.mts +0 -12
- package/out/nodejs/version/module.f.mjs +0 -34
- package/out/nodejs/version/test.f.d.mts +0 -2
- package/out/nodejs/version/test.f.mjs +0 -97
- package/out/text/ascii/module.f.d.mts +0 -70
- package/out/text/ascii/module.f.mjs +0 -154
- package/out/text/ascii/test.f.d.mts +0 -4
- package/out/text/ascii/test.f.mjs +0 -14
- package/out/text/module.f.d.mts +0 -13
- package/out/text/module.f.mjs +0 -19
- package/out/text/sgr/module.f.d.mts +0 -12
- package/out/text/sgr/module.f.mjs +0 -17
- package/out/text/test.f.d.mts +0 -2
- package/out/text/test.f.mjs +0 -19
- package/out/text/utf16/module.f.d.mts +0 -12
- package/out/text/utf16/module.f.mjs +0 -86
- package/out/text/utf16/test.f.d.mts +0 -6
- package/out/text/utf16/test.f.mjs +0 -145
- package/out/text/utf8/module.f.d.mts +0 -10
- package/out/text/utf8/module.f.mjs +0 -126
- package/out/text/utf8/test.f.d.mts +0 -6
- package/out/text/utf8/test.f.mjs +0 -175
- package/out/types/array/module.f.d.mts +0 -31
- package/out/types/array/module.f.mjs +0 -95
- package/out/types/array/test.f.d.mts +0 -10
- package/out/types/array/test.f.mjs +0 -116
- package/out/types/bigfloat/module.f.d.mts +0 -6
- package/out/types/bigfloat/module.f.mjs +0 -77
- package/out/types/bigfloat/test.f.d.mts +0 -6
- package/out/types/bigfloat/test.f.mjs +0 -349
- package/out/types/bigint/module.f.d.mts +0 -29
- package/out/types/bigint/module.f.mjs +0 -114
- package/out/types/bigint/test.f.d.mts +0 -16
- package/out/types/bigint/test.f.mjs +0 -199
- package/out/types/bit_vec/module.f.d.mts +0 -158
- package/out/types/bit_vec/module.f.mjs +0 -194
- package/out/types/bit_vec/test.f.d.mts +0 -23
- package/out/types/bit_vec/test.f.mjs +0 -210
- package/out/types/btree/find/module.f.d.mts +0 -36
- package/out/types/btree/find/module.f.mjs +0 -137
- package/out/types/btree/find/test.f.d.mts +0 -2
- package/out/types/btree/find/test.f.mjs +0 -156
- package/out/types/btree/module.f.d.mts +0 -5
- package/out/types/btree/module.f.mjs +0 -34
- package/out/types/btree/remove/module.f.d.mts +0 -14
- package/out/types/btree/remove/module.f.mjs +0 -209
- package/out/types/btree/remove/test.f.d.mts +0 -7
- package/out/types/btree/remove/test.f.mjs +0 -638
- package/out/types/btree/set/module.f.d.mts +0 -5
- package/out/types/btree/set/module.f.mjs +0 -114
- package/out/types/btree/set/test.f.d.mts +0 -2
- package/out/types/btree/set/test.f.mjs +0 -390
- package/out/types/btree/test.f.d.mts +0 -13
- package/out/types/btree/test.f.mjs +0 -83
- package/out/types/btree/types/module.f.d.mts +0 -14
- package/out/types/btree/types/module.f.mjs +0 -50
- package/out/types/byte_set/module.f.d.mts +0 -25
- package/out/types/byte_set/module.f.mjs +0 -42
- package/out/types/byte_set/test.f.d.mts +0 -13
- package/out/types/byte_set/test.f.mjs +0 -123
- package/out/types/function/compare/module.f.d.mts +0 -23
- package/out/types/function/compare/module.f.mjs +0 -22
- package/out/types/function/compare/test.f.d.mts +0 -2
- package/out/types/function/compare/test.f.mjs +0 -8
- package/out/types/function/module.f.d.mts +0 -51
- package/out/types/function/module.f.mjs +0 -44
- package/out/types/function/operator/module.f.d.mts +0 -60
- package/out/types/function/operator/module.f.mjs +0 -60
- package/out/types/function/test.f.d.mts +0 -2
- package/out/types/function/test.f.mjs +0 -15
- package/out/types/list/module.f.d.mts +0 -82
- package/out/types/list/module.f.mjs +0 -269
- package/out/types/list/test.f.d.mts +0 -38
- package/out/types/list/test.f.mjs +0 -401
- package/out/types/map/module.f.d.mts +0 -21
- package/out/types/map/module.f.mjs +0 -54
- package/out/types/map/test.f.d.mts +0 -5
- package/out/types/map/test.f.mjs +0 -115
- package/out/types/nibble_set/module.f.d.mts +0 -16
- package/out/types/nibble_set/module.f.mjs +0 -19
- package/out/types/nibble_set/test.f.d.mts +0 -13
- package/out/types/nibble_set/test.f.mjs +0 -90
- package/out/types/nullable/module.f.d.mts +0 -9
- package/out/types/nullable/module.f.mjs +0 -9
- package/out/types/nullable/test.f.d.mts +0 -2
- package/out/types/nullable/test.f.mjs +0 -12
- package/out/types/number/module.f.d.mts +0 -7
- package/out/types/number/module.f.mjs +0 -12
- package/out/types/number/test.f.d.mts +0 -11
- package/out/types/number/test.f.mjs +0 -126
- package/out/types/object/module.f.d.mts +0 -22
- package/out/types/object/module.f.mjs +0 -27
- package/out/types/object/test.f.d.mts +0 -5
- package/out/types/object/test.f.mjs +0 -17
- package/out/types/range/module.f.d.mts +0 -6
- package/out/types/range/module.f.mjs +0 -6
- package/out/types/range/test.f.d.mts +0 -2
- package/out/types/range/test.f.mjs +0 -18
- package/out/types/range_map/module.f.d.mts +0 -19
- package/out/types/range_map/module.f.mjs +0 -84
- package/out/types/range_map/test.f.d.mts +0 -6
- package/out/types/range_map/test.f.mjs +0 -201
- package/out/types/result/module.d.mts +0 -7
- package/out/types/result/module.f.d.mts +0 -22
- package/out/types/result/module.f.mjs +0 -25
- package/out/types/result/module.mjs +0 -16
- package/out/types/sorted_list/module.f.d.mts +0 -53
- package/out/types/sorted_list/module.f.mjs +0 -102
- package/out/types/sorted_list/test.f.d.mts +0 -5
- package/out/types/sorted_list/test.f.mjs +0 -66
- package/out/types/sorted_set/module.f.d.mts +0 -19
- package/out/types/sorted_set/module.f.mjs +0 -29
- package/out/types/sorted_set/test.f.d.mts +0 -6
- package/out/types/sorted_set/test.f.mjs +0 -80
- package/out/types/string/module.f.d.mts +0 -9
- package/out/types/string/module.f.mjs +0 -17
- package/out/types/string/test.f.d.mts +0 -15
- package/out/types/string/test.f.mjs +0 -58
- package/out/types/string_set/module.f.d.mts +0 -13
- package/out/types/string_set/module.f.mjs +0 -29
- package/out/types/string_set/test.f.d.mts +0 -5
- package/out/types/string_set/test.f.mjs +0 -65
- package/text/module.f.mjs +0 -27
- package/text/utf16/module.f.mjs +0 -96
- package/types/array/module.f.mjs +0 -119
- package/types/btree/find/module.f.mjs +0 -125
- package/types/btree/types/module.f.mjs +0 -64
- package/types/byte_set/module.f.mjs +0 -61
- package/types/function/compare/module.f.mjs +0 -29
- package/types/function/module.f.mjs +0 -50
- package/types/function/operator/module.f.mjs +0 -78
- package/types/function/test.f.mjs +0 -17
- package/types/list/module.f.mjs +0 -320
- package/types/map/module.f.mjs +0 -67
- package/types/nibble_set/module.f.mjs +0 -28
- package/types/nullable/module.f.mjs +0 -11
- package/types/number/module.f.mjs +0 -16
- package/types/object/module.f.mjs +0 -33
- package/types/range/module.f.mjs +0 -8
- package/types/range_map/module.f.mjs +0 -84
- package/types/result/module.f.mjs +0 -28
- package/types/sorted_list/module.f.mjs +0 -107
- package/types/sorted_set/module.f.mjs +0 -38
- package/types/string/module.f.mjs +0 -22
- package/types/string_set/module.f.mjs +0 -36
|
@@ -1,116 +0,0 @@
|
|
|
1
|
-
import * as _ from './module.f.mjs';
|
|
2
|
-
import * as json from '../../json/module.f.mjs';
|
|
3
|
-
import * as o from '../object/module.f.mjs';
|
|
4
|
-
const { sort } = o;
|
|
5
|
-
const stringify = json.stringify(sort);
|
|
6
|
-
export default {
|
|
7
|
-
stringify: () => {
|
|
8
|
-
const result = stringify([1, 20, 300]);
|
|
9
|
-
if (result !== '[1,20,300]') {
|
|
10
|
-
throw result;
|
|
11
|
-
}
|
|
12
|
-
},
|
|
13
|
-
at: [
|
|
14
|
-
() => {
|
|
15
|
-
const result = _.at(2)([1, 20, 300]);
|
|
16
|
-
if (result !== 300) {
|
|
17
|
-
throw result;
|
|
18
|
-
}
|
|
19
|
-
},
|
|
20
|
-
() => {
|
|
21
|
-
const result = _.at(3)([1, 20, 300]);
|
|
22
|
-
if (result !== null) {
|
|
23
|
-
throw result;
|
|
24
|
-
}
|
|
25
|
-
}
|
|
26
|
-
],
|
|
27
|
-
first: [
|
|
28
|
-
() => {
|
|
29
|
-
const result = _.first([1, 20, 300]);
|
|
30
|
-
if (result !== 1) {
|
|
31
|
-
throw result;
|
|
32
|
-
}
|
|
33
|
-
},
|
|
34
|
-
() => {
|
|
35
|
-
const result = _.first([]);
|
|
36
|
-
if (result !== null) {
|
|
37
|
-
throw result;
|
|
38
|
-
}
|
|
39
|
-
}
|
|
40
|
-
],
|
|
41
|
-
last: [
|
|
42
|
-
() => {
|
|
43
|
-
const result = _.last([1, 20, 300]);
|
|
44
|
-
if (result !== 300) {
|
|
45
|
-
throw result;
|
|
46
|
-
}
|
|
47
|
-
},
|
|
48
|
-
() => {
|
|
49
|
-
const result = _.last([]);
|
|
50
|
-
if (result !== null) {
|
|
51
|
-
throw result;
|
|
52
|
-
}
|
|
53
|
-
}
|
|
54
|
-
],
|
|
55
|
-
head: [
|
|
56
|
-
() => {
|
|
57
|
-
const result = _.head([1, 20, 300]);
|
|
58
|
-
if (result === null) {
|
|
59
|
-
throw result;
|
|
60
|
-
}
|
|
61
|
-
const str = stringify(result);
|
|
62
|
-
if (str !== '[1,20]') {
|
|
63
|
-
throw str;
|
|
64
|
-
}
|
|
65
|
-
},
|
|
66
|
-
() => {
|
|
67
|
-
const result = _.head([]);
|
|
68
|
-
if (result !== null) {
|
|
69
|
-
throw result;
|
|
70
|
-
}
|
|
71
|
-
}
|
|
72
|
-
],
|
|
73
|
-
tail: [
|
|
74
|
-
() => {
|
|
75
|
-
const result = _.tail([1, 20, 300]);
|
|
76
|
-
const str = stringify(result);
|
|
77
|
-
if (str !== '[20,300]') {
|
|
78
|
-
throw str;
|
|
79
|
-
}
|
|
80
|
-
},
|
|
81
|
-
() => {
|
|
82
|
-
const result = _.tail([]);
|
|
83
|
-
if (result !== null) {
|
|
84
|
-
throw result;
|
|
85
|
-
}
|
|
86
|
-
}
|
|
87
|
-
],
|
|
88
|
-
splitFirst: [
|
|
89
|
-
() => {
|
|
90
|
-
const result = _.splitFirst([1, 20, 300]);
|
|
91
|
-
const str = stringify(result);
|
|
92
|
-
if (str !== '[1,[20,300]]') {
|
|
93
|
-
throw str;
|
|
94
|
-
}
|
|
95
|
-
},
|
|
96
|
-
() => {
|
|
97
|
-
const result = _.splitFirst([]);
|
|
98
|
-
if (result !== null) {
|
|
99
|
-
throw result;
|
|
100
|
-
}
|
|
101
|
-
},
|
|
102
|
-
() => {
|
|
103
|
-
const result = _.splitLast([1, 20, 300]);
|
|
104
|
-
const str = stringify(result);
|
|
105
|
-
if (str !== '[[1,20],300]') {
|
|
106
|
-
throw str;
|
|
107
|
-
}
|
|
108
|
-
},
|
|
109
|
-
() => {
|
|
110
|
-
const result = _.splitLast([]);
|
|
111
|
-
if (result !== null) {
|
|
112
|
-
throw result;
|
|
113
|
-
}
|
|
114
|
-
}
|
|
115
|
-
]
|
|
116
|
-
};
|
|
@@ -1,6 +0,0 @@
|
|
|
1
|
-
/** @type {(b: BigFloat) => (mul: bigint) => BigFloat} */
|
|
2
|
-
export const multiply: (b: BigFloat) => (mul: bigint) => BigFloat;
|
|
3
|
-
/** @type {(dec: BigFloat) => BigFloat} */
|
|
4
|
-
export const decToBin: (dec: BigFloat) => BigFloat;
|
|
5
|
-
export type BigFloat = readonly [bigint, number];
|
|
6
|
-
export type BigFloatWithRemainder = readonly [BigFloat, bigint];
|
|
@@ -1,77 +0,0 @@
|
|
|
1
|
-
// @ts-self-types="./module.f.d.mts"
|
|
2
|
-
import * as bi from '../bigint/module.f.mjs';
|
|
3
|
-
const { abs, sign } = bi;
|
|
4
|
-
/** @typedef {readonly[bigint,number]} BigFloat */
|
|
5
|
-
/** @typedef {readonly[BigFloat,bigint]} BigFloatWithRemainder */
|
|
6
|
-
const twoPow53 = 9007199254740992n;
|
|
7
|
-
const twoPow54 = 18014398509481984n;
|
|
8
|
-
/** @type {(value: BigFloat) => (min: bigint) => BigFloat} */
|
|
9
|
-
const increaseMantissa = ([m, e]) => min => {
|
|
10
|
-
if (m === 0n) {
|
|
11
|
-
return [m, e];
|
|
12
|
-
}
|
|
13
|
-
const s = sign(m);
|
|
14
|
-
m = abs(m);
|
|
15
|
-
while (true) {
|
|
16
|
-
if (m >= min) {
|
|
17
|
-
return [BigInt(s) * m, e];
|
|
18
|
-
}
|
|
19
|
-
m = m << 1n;
|
|
20
|
-
e--;
|
|
21
|
-
}
|
|
22
|
-
};
|
|
23
|
-
/** @type {(value: BigFloat) => (max: bigint) => BigFloat} */
|
|
24
|
-
const decreaseMantissa = ([m, e]) => max => {
|
|
25
|
-
if (m === 0n) {
|
|
26
|
-
return [m, e];
|
|
27
|
-
}
|
|
28
|
-
const s = sign(m);
|
|
29
|
-
m = abs(m);
|
|
30
|
-
while (true) {
|
|
31
|
-
if (m < max) {
|
|
32
|
-
return [BigInt(s) * m, e];
|
|
33
|
-
}
|
|
34
|
-
m = m >> 1n;
|
|
35
|
-
e++;
|
|
36
|
-
}
|
|
37
|
-
};
|
|
38
|
-
/** @type {(base: bigint) => (exp: number) => bigint} */
|
|
39
|
-
const pow = base => exp => base ** BigInt(exp);
|
|
40
|
-
const pow5 = pow(5n);
|
|
41
|
-
/** @type {(b: BigFloat) => (mul: bigint) => BigFloat} */
|
|
42
|
-
export const multiply = ([m, e]) => mul => [m * mul, e];
|
|
43
|
-
/** @type {(b: BigFloat) => (div: bigint) => BigFloatWithRemainder} */
|
|
44
|
-
const divide = ([m, e]) => div => [[m / div, e], m % div];
|
|
45
|
-
/** @type {(b: BigFloatWithRemainder) => BigFloat} */
|
|
46
|
-
const round53 = ([[m, e], r]) => {
|
|
47
|
-
const mabs = abs(m);
|
|
48
|
-
const s = BigInt(sign(m));
|
|
49
|
-
const [m54, e54] = decreaseMantissa([mabs, e])(twoPow54);
|
|
50
|
-
const o54 = m54 & 1n;
|
|
51
|
-
const m53 = m54 >> 1n;
|
|
52
|
-
const e53 = e54 + 1;
|
|
53
|
-
if (o54 === 1n && r === 0n && mabs === m54 >> BigInt(e - e54)) {
|
|
54
|
-
const odd = m53 & 1n;
|
|
55
|
-
return multiply([m53 + odd, e53])(s);
|
|
56
|
-
}
|
|
57
|
-
return multiply([m53 + o54, e53])(s);
|
|
58
|
-
};
|
|
59
|
-
/** @type {(dec: BigFloat) => BigFloat} */
|
|
60
|
-
export const decToBin = dec => {
|
|
61
|
-
if (dec[0] === 0n) {
|
|
62
|
-
return [0n, 0];
|
|
63
|
-
}
|
|
64
|
-
if (dec[1] >= 0) {
|
|
65
|
-
/** @type {BigFloat} */
|
|
66
|
-
const bin = [dec[0] * pow5(dec[1]), dec[1]];
|
|
67
|
-
const inc = increaseMantissa(bin)(twoPow53);
|
|
68
|
-
return round53([inc, 0n]);
|
|
69
|
-
}
|
|
70
|
-
const p = pow5(-dec[1]);
|
|
71
|
-
const [m, e] = increaseMantissa(dec)(p * twoPow53);
|
|
72
|
-
const mAbs = abs(m);
|
|
73
|
-
const s = BigInt(sign(m));
|
|
74
|
-
const qr = divide([mAbs, e])(p);
|
|
75
|
-
const r53 = round53(qr);
|
|
76
|
-
return multiply(r53)(s);
|
|
77
|
-
};
|
|
@@ -1,349 +0,0 @@
|
|
|
1
|
-
import * as _ from './module.f.mjs';
|
|
2
|
-
const { decToBin } = _;
|
|
3
|
-
export default {
|
|
4
|
-
decToBin: [
|
|
5
|
-
() => {
|
|
6
|
-
const result = decToBin([0n, 0]);
|
|
7
|
-
if (result[0] !== 0n) {
|
|
8
|
-
throw result[0].toString(2);
|
|
9
|
-
}
|
|
10
|
-
if (result[1] !== 0) {
|
|
11
|
-
throw result[1];
|
|
12
|
-
}
|
|
13
|
-
},
|
|
14
|
-
() => {
|
|
15
|
-
const result = decToBin([0n, 10]);
|
|
16
|
-
if (result[0] !== 0n) {
|
|
17
|
-
throw result[0].toString(2);
|
|
18
|
-
}
|
|
19
|
-
if (result[1] !== 0) {
|
|
20
|
-
throw result[1];
|
|
21
|
-
}
|
|
22
|
-
},
|
|
23
|
-
() => {
|
|
24
|
-
const result = decToBin([0n, -10]);
|
|
25
|
-
if (result[0] !== 0n) {
|
|
26
|
-
throw result[0].toString(2);
|
|
27
|
-
}
|
|
28
|
-
if (result[1] !== 0) {
|
|
29
|
-
throw result[1];
|
|
30
|
-
}
|
|
31
|
-
},
|
|
32
|
-
() => {
|
|
33
|
-
const result = decToBin([1n, 0]);
|
|
34
|
-
if (result[0] !== 4503599627370496n) {
|
|
35
|
-
throw result[0].toString(2);
|
|
36
|
-
}
|
|
37
|
-
if (result[1] !== -52) {
|
|
38
|
-
throw result[1];
|
|
39
|
-
}
|
|
40
|
-
},
|
|
41
|
-
() => {
|
|
42
|
-
const result = decToBin([1n, 1]);
|
|
43
|
-
if (result[0] !== 5629499534213120n) {
|
|
44
|
-
throw result[0].toString(2);
|
|
45
|
-
}
|
|
46
|
-
if (result[1] !== -49) {
|
|
47
|
-
throw result[1];
|
|
48
|
-
}
|
|
49
|
-
},
|
|
50
|
-
() => {
|
|
51
|
-
const result = decToBin([1000n, -2]);
|
|
52
|
-
if (result[0] !== 5629499534213120n) {
|
|
53
|
-
throw result[0].toString(2);
|
|
54
|
-
}
|
|
55
|
-
if (result[1] !== -49) {
|
|
56
|
-
throw result[1];
|
|
57
|
-
}
|
|
58
|
-
},
|
|
59
|
-
() => {
|
|
60
|
-
const result = decToBin([1n, -1]);
|
|
61
|
-
if (result[0] !== 7205759403792794n) {
|
|
62
|
-
throw result[0].toString(2);
|
|
63
|
-
} //+1
|
|
64
|
-
if (result[1] !== -56) {
|
|
65
|
-
throw result[1];
|
|
66
|
-
}
|
|
67
|
-
},
|
|
68
|
-
() => {
|
|
69
|
-
const result = decToBin([-1n, 0]);
|
|
70
|
-
if (result[0] !== -4503599627370496n) {
|
|
71
|
-
throw result[0].toString(2);
|
|
72
|
-
}
|
|
73
|
-
if (result[1] !== -52) {
|
|
74
|
-
throw result[1];
|
|
75
|
-
}
|
|
76
|
-
},
|
|
77
|
-
() => {
|
|
78
|
-
const result = decToBin([-1n, 1]);
|
|
79
|
-
if (result[0] !== -5629499534213120n) {
|
|
80
|
-
throw result[0].toString(2);
|
|
81
|
-
}
|
|
82
|
-
if (result[1] !== -49) {
|
|
83
|
-
throw result[1];
|
|
84
|
-
}
|
|
85
|
-
},
|
|
86
|
-
() => {
|
|
87
|
-
const result = decToBin([-1000n, -2]);
|
|
88
|
-
if (result[0] !== -5629499534213120n) {
|
|
89
|
-
throw result[0].toString(2);
|
|
90
|
-
}
|
|
91
|
-
if (result[1] !== -49) {
|
|
92
|
-
throw result[1];
|
|
93
|
-
}
|
|
94
|
-
},
|
|
95
|
-
() => {
|
|
96
|
-
const result = decToBin([-1n, -1]);
|
|
97
|
-
if (result[0] !== -7205759403792794n) {
|
|
98
|
-
throw result[0].toString(2);
|
|
99
|
-
} //+1
|
|
100
|
-
if (result[1] !== -56) {
|
|
101
|
-
throw result[1];
|
|
102
|
-
}
|
|
103
|
-
},
|
|
104
|
-
() => {
|
|
105
|
-
const result = decToBin([9007199254740993n, 0]); //54bits (...0.1)
|
|
106
|
-
if (result[0] !== 4503599627370496n) {
|
|
107
|
-
throw result[0].toString(2);
|
|
108
|
-
}
|
|
109
|
-
if (result[1] !== 1) {
|
|
110
|
-
throw result[1];
|
|
111
|
-
}
|
|
112
|
-
},
|
|
113
|
-
() => {
|
|
114
|
-
const result = decToBin([-9007199254740995n, 0]); //54bits (...1.1)
|
|
115
|
-
if (result[0] !== -4503599627370498n) {
|
|
116
|
-
throw result[0].toString(2);
|
|
117
|
-
}
|
|
118
|
-
if (result[1] !== 1) {
|
|
119
|
-
throw result[1];
|
|
120
|
-
}
|
|
121
|
-
},
|
|
122
|
-
() => {
|
|
123
|
-
const result = decToBin([-9007199254740993n, 0]); //54bits (...0.1)
|
|
124
|
-
if (result[0] !== -4503599627370496n) {
|
|
125
|
-
throw result[0].toString(2);
|
|
126
|
-
}
|
|
127
|
-
if (result[1] !== 1) {
|
|
128
|
-
throw result[1];
|
|
129
|
-
}
|
|
130
|
-
},
|
|
131
|
-
() => {
|
|
132
|
-
const result = decToBin([-9007199254740995n, 0]); //54bits (...1.1)
|
|
133
|
-
if (result[0] !== -4503599627370498n) {
|
|
134
|
-
throw result[0].toString(2);
|
|
135
|
-
}
|
|
136
|
-
if (result[1] !== 1) {
|
|
137
|
-
throw result[1];
|
|
138
|
-
}
|
|
139
|
-
},
|
|
140
|
-
() => {
|
|
141
|
-
const result = decToBin([18014398509481985n, 0]); //55bits (...0.01)
|
|
142
|
-
if (result[0] !== 4503599627370496n) {
|
|
143
|
-
throw result[0].toString(2);
|
|
144
|
-
}
|
|
145
|
-
if (result[1] !== 2) {
|
|
146
|
-
throw result[1];
|
|
147
|
-
}
|
|
148
|
-
},
|
|
149
|
-
() => {
|
|
150
|
-
const result = decToBin([18014398509481986n, 0]); //55bits (...0.10)
|
|
151
|
-
if (result[0] !== 4503599627370496n) {
|
|
152
|
-
throw result[0].toString(2);
|
|
153
|
-
}
|
|
154
|
-
if (result[1] !== 2) {
|
|
155
|
-
throw result[1];
|
|
156
|
-
}
|
|
157
|
-
},
|
|
158
|
-
() => {
|
|
159
|
-
const result = decToBin([18014398509481990n, 0]); //55bits (...1.10)
|
|
160
|
-
if (result[0] !== 4503599627370498n) {
|
|
161
|
-
throw result[0].toString(2);
|
|
162
|
-
}
|
|
163
|
-
if (result[1] !== 2) {
|
|
164
|
-
throw result[1];
|
|
165
|
-
}
|
|
166
|
-
},
|
|
167
|
-
() => {
|
|
168
|
-
const result = decToBin([18014398509481987n, 0]); //55bits (0.11)
|
|
169
|
-
if (result[0] !== 4503599627370497n) {
|
|
170
|
-
throw result[0].toString(2);
|
|
171
|
-
}
|
|
172
|
-
if (result[1] !== 2) {
|
|
173
|
-
throw result[1];
|
|
174
|
-
}
|
|
175
|
-
},
|
|
176
|
-
],
|
|
177
|
-
roundingPositive: [
|
|
178
|
-
() => {
|
|
179
|
-
const result = decToBin([288230376151711745n, -1]);
|
|
180
|
-
// reminder = 0
|
|
181
|
-
// m = 11001100110011001100110011001100110011001100110011001.101
|
|
182
|
-
// rounding up
|
|
183
|
-
if (result[0] !== 7205759403792794n) {
|
|
184
|
-
throw result[0].toString(2);
|
|
185
|
-
}
|
|
186
|
-
if (result[1] !== 2) {
|
|
187
|
-
throw result[1];
|
|
188
|
-
}
|
|
189
|
-
},
|
|
190
|
-
() => {
|
|
191
|
-
const result = decToBin([288230376151711760n, -1]);
|
|
192
|
-
// reminder = 0
|
|
193
|
-
// m = 11001100110011001100110011001100110011001100110011010.000
|
|
194
|
-
// rounding down
|
|
195
|
-
if (result[0] !== 7205759403792794n) {
|
|
196
|
-
throw result[0].toString(2);
|
|
197
|
-
}
|
|
198
|
-
if (result[1] !== 2) {
|
|
199
|
-
throw result[1];
|
|
200
|
-
}
|
|
201
|
-
},
|
|
202
|
-
() => {
|
|
203
|
-
const result = decToBin([288230376151711780n, -1]);
|
|
204
|
-
// reminder = 0
|
|
205
|
-
// m = 11001100110011001100110011001100110011001100110011010.100
|
|
206
|
-
// rounding down (to even)
|
|
207
|
-
if (result[0] !== 7205759403792794n) {
|
|
208
|
-
throw result[0].toString(2);
|
|
209
|
-
}
|
|
210
|
-
if (result[1] !== 2) {
|
|
211
|
-
throw result[1];
|
|
212
|
-
}
|
|
213
|
-
},
|
|
214
|
-
() => {
|
|
215
|
-
const result = decToBin([288230376151711781n, -1]);
|
|
216
|
-
// reminder = 1
|
|
217
|
-
// m = 11001100110011001100110011001100110011001100110011010.100
|
|
218
|
-
// rounding up
|
|
219
|
-
if (result[0] !== 7205759403792795n) {
|
|
220
|
-
throw result[0].toString(2);
|
|
221
|
-
}
|
|
222
|
-
if (result[1] !== 2) {
|
|
223
|
-
throw result[1];
|
|
224
|
-
}
|
|
225
|
-
},
|
|
226
|
-
() => {
|
|
227
|
-
const result = decToBin([288230376151711785n, -1]);
|
|
228
|
-
// reminder = 0
|
|
229
|
-
// m = 11001100110011001100110011001100110011001100110011010.101
|
|
230
|
-
// rounding up
|
|
231
|
-
if (result[0] !== 7205759403792795n) {
|
|
232
|
-
throw result[0].toString(2);
|
|
233
|
-
}
|
|
234
|
-
if (result[1] !== 2) {
|
|
235
|
-
throw result[1];
|
|
236
|
-
}
|
|
237
|
-
},
|
|
238
|
-
() => {
|
|
239
|
-
const result = decToBin([288230376151711805n, -1]);
|
|
240
|
-
// reminder = 0
|
|
241
|
-
// m = 11001100110011001100110011001100110011001100110011011.001
|
|
242
|
-
// rounding down
|
|
243
|
-
if (result[0] !== 7205759403792795n) {
|
|
244
|
-
throw result[0].toString(2);
|
|
245
|
-
}
|
|
246
|
-
if (result[1] !== 2) {
|
|
247
|
-
throw result[1];
|
|
248
|
-
}
|
|
249
|
-
},
|
|
250
|
-
() => {
|
|
251
|
-
const result = decToBin([288230376151711820n, -1]);
|
|
252
|
-
// reminder = 0
|
|
253
|
-
// m = 11001100110011001100110011001100110011001100110011011.100
|
|
254
|
-
// rounding up (to even)
|
|
255
|
-
if (result[0] !== 7205759403792796n) {
|
|
256
|
-
throw result[0].toString(2);
|
|
257
|
-
}
|
|
258
|
-
if (result[1] !== 2) {
|
|
259
|
-
throw result[1];
|
|
260
|
-
}
|
|
261
|
-
}
|
|
262
|
-
],
|
|
263
|
-
roundingNegative: [
|
|
264
|
-
() => {
|
|
265
|
-
const result = decToBin([-288230376151711745n, -1]);
|
|
266
|
-
// reminder = 0
|
|
267
|
-
// m = -11001100110011001100110011001100110011001100110011001.101
|
|
268
|
-
// rounding down
|
|
269
|
-
if (result[0] !== -7205759403792794n) {
|
|
270
|
-
throw result[0].toString(2);
|
|
271
|
-
}
|
|
272
|
-
if (result[1] !== 2) {
|
|
273
|
-
throw result[1];
|
|
274
|
-
}
|
|
275
|
-
},
|
|
276
|
-
() => {
|
|
277
|
-
const result = decToBin([-288230376151711760n, -1]);
|
|
278
|
-
// reminder = 0
|
|
279
|
-
// m = -11001100110011001100110011001100110011001100110011010.000
|
|
280
|
-
// rounding up
|
|
281
|
-
if (result[0] !== -7205759403792794n) {
|
|
282
|
-
throw result[0].toString(2);
|
|
283
|
-
}
|
|
284
|
-
if (result[1] !== 2) {
|
|
285
|
-
throw result[1];
|
|
286
|
-
}
|
|
287
|
-
},
|
|
288
|
-
() => {
|
|
289
|
-
const result = decToBin([-288230376151711780n, -1]);
|
|
290
|
-
// reminder = 0
|
|
291
|
-
// m = -11001100110011001100110011001100110011001100110011010.100
|
|
292
|
-
// rounding up (to even)
|
|
293
|
-
if (result[0] !== -7205759403792794n) {
|
|
294
|
-
throw result[0].toString(2);
|
|
295
|
-
}
|
|
296
|
-
if (result[1] !== 2) {
|
|
297
|
-
throw result[1];
|
|
298
|
-
}
|
|
299
|
-
},
|
|
300
|
-
() => {
|
|
301
|
-
const result = decToBin([-288230376151711781n, -1]);
|
|
302
|
-
// reminder = 1
|
|
303
|
-
// m = -11001100110011001100110011001100110011001100110011010.100
|
|
304
|
-
// rounding down
|
|
305
|
-
if (result[0] !== -7205759403792795n) {
|
|
306
|
-
throw result[0].toString(2);
|
|
307
|
-
}
|
|
308
|
-
if (result[1] !== 2) {
|
|
309
|
-
throw result[1];
|
|
310
|
-
}
|
|
311
|
-
},
|
|
312
|
-
() => {
|
|
313
|
-
const result = decToBin([-288230376151711785n, -1]);
|
|
314
|
-
// reminder = 0
|
|
315
|
-
// m = -11001100110011001100110011001100110011001100110011010.101
|
|
316
|
-
// rounding down
|
|
317
|
-
if (result[0] !== -7205759403792795n) {
|
|
318
|
-
throw result[0].toString(2);
|
|
319
|
-
}
|
|
320
|
-
if (result[1] !== 2) {
|
|
321
|
-
throw result[1];
|
|
322
|
-
}
|
|
323
|
-
},
|
|
324
|
-
() => {
|
|
325
|
-
const result = decToBin([-288230376151711805n, -1]);
|
|
326
|
-
// reminder = 0
|
|
327
|
-
// m = -11001100110011001100110011001100110011001100110011011.001
|
|
328
|
-
// rounding up
|
|
329
|
-
if (result[0] !== -7205759403792795n) {
|
|
330
|
-
throw result[0].toString(2);
|
|
331
|
-
}
|
|
332
|
-
if (result[1] !== 2) {
|
|
333
|
-
throw result[1];
|
|
334
|
-
}
|
|
335
|
-
},
|
|
336
|
-
() => {
|
|
337
|
-
const result = decToBin([-288230376151711820n, -1]);
|
|
338
|
-
// reminder = 0
|
|
339
|
-
// m = -11001100110011001100110011001100110011001100110011011.100
|
|
340
|
-
// rounding down (to even)
|
|
341
|
-
if (result[0] !== -7205759403792796n) {
|
|
342
|
-
throw result[0].toString(2);
|
|
343
|
-
}
|
|
344
|
-
if (result[1] !== 2) {
|
|
345
|
-
throw result[1];
|
|
346
|
-
}
|
|
347
|
-
}
|
|
348
|
-
]
|
|
349
|
-
};
|
|
@@ -1,29 +0,0 @@
|
|
|
1
|
-
/** @typedef {Operator.Unary<bigint, bigint>} Unary*/
|
|
2
|
-
/** @type {(a: bigint) => (b: bigint) => bigint} */
|
|
3
|
-
export const addition: (a: bigint) => (b: bigint) => bigint;
|
|
4
|
-
export const sum: (input: list.List<bigint>) => bigint;
|
|
5
|
-
/** @type {(a: bigint) => bigint} */
|
|
6
|
-
export const abs: (a: bigint) => bigint;
|
|
7
|
-
/** @type {(a: bigint) => compare.Sign} */
|
|
8
|
-
export const sign: (a: bigint) => compare.Sign;
|
|
9
|
-
/** @type {(a: bigint) => string} */
|
|
10
|
-
export const serialize: (a: bigint) => string;
|
|
11
|
-
/**
|
|
12
|
-
* @template T
|
|
13
|
-
* @typedef {{
|
|
14
|
-
* readonly 0: T
|
|
15
|
-
* readonly add: Operator.Reduce<T>
|
|
16
|
-
* }} Additive
|
|
17
|
-
*/
|
|
18
|
-
/** @type {<T>(a: Additive<T>) => (a: T) => (n: bigint) => T} */
|
|
19
|
-
export const scalar_mul: <T>(a: Additive<T>) => (a: T) => (n: bigint) => T;
|
|
20
|
-
export function log2(v: bigint): bigint;
|
|
21
|
-
export function bitLength(v: bigint): bigint;
|
|
22
|
-
export type Unary = Operator.Unary<bigint, bigint>;
|
|
23
|
-
export type Additive<T> = {
|
|
24
|
-
readonly 0: T;
|
|
25
|
-
readonly add: Operator.Reduce<T>;
|
|
26
|
-
};
|
|
27
|
-
import * as list from '../list/module.f.mjs';
|
|
28
|
-
import * as compare from '../function/compare/module.f.mjs';
|
|
29
|
-
import * as Operator from '../function/operator/module.f.mjs';
|
|
@@ -1,114 +0,0 @@
|
|
|
1
|
-
// @ts-self-types="./module.f.d.mts"
|
|
2
|
-
import * as compare from '../function/compare/module.f.mjs';
|
|
3
|
-
import * as Operator from '../function/operator/module.f.mjs';
|
|
4
|
-
const { unsafeCmp } = compare;
|
|
5
|
-
import * as list from '../list/module.f.mjs';
|
|
6
|
-
const { reduce } = list;
|
|
7
|
-
/** @typedef {Operator.Unary<bigint, bigint>} Unary*/
|
|
8
|
-
/** @type {(a: bigint) => (b: bigint) => bigint} */
|
|
9
|
-
export const addition = a => b => a + b;
|
|
10
|
-
export const sum = reduce(addition)(0n);
|
|
11
|
-
/** @type {(a: bigint) => bigint} */
|
|
12
|
-
export const abs = a => a >= 0 ? a : -a;
|
|
13
|
-
/** @type {(a: bigint) => compare.Sign} */
|
|
14
|
-
export const sign = a => unsafeCmp(a)(0n);
|
|
15
|
-
/** @type {(a: bigint) => string} */
|
|
16
|
-
export const serialize = a => `${a}n`;
|
|
17
|
-
/**
|
|
18
|
-
* @template T
|
|
19
|
-
* @typedef {{
|
|
20
|
-
* readonly 0: T
|
|
21
|
-
* readonly add: Operator.Reduce<T>
|
|
22
|
-
* }} Additive
|
|
23
|
-
*/
|
|
24
|
-
/** @type {<T>(a: Additive<T>) => (a: T) => (n: bigint) => T} */
|
|
25
|
-
export const scalar_mul = ({ 0: _0, add }) => a => n => {
|
|
26
|
-
let ai = a;
|
|
27
|
-
let ni = n;
|
|
28
|
-
let result = _0;
|
|
29
|
-
while (true) {
|
|
30
|
-
if ((ni & 1n) === 1n) {
|
|
31
|
-
result = add(result)(ai);
|
|
32
|
-
}
|
|
33
|
-
ni >>= 1n;
|
|
34
|
-
if (ni === 0n) {
|
|
35
|
-
return result;
|
|
36
|
-
}
|
|
37
|
-
ai = add(ai)(ai);
|
|
38
|
-
}
|
|
39
|
-
};
|
|
40
|
-
/**
|
|
41
|
-
* Calculates the base-2 logarithm (floor).
|
|
42
|
-
*
|
|
43
|
-
* This function returns the integer part of the logarithm. For example:
|
|
44
|
-
* - `log2(1n)` returns `0n`,
|
|
45
|
-
* - `log2(2n)` returns `1n`,
|
|
46
|
-
* - `log2(15n)` returns `3n`.
|
|
47
|
-
*
|
|
48
|
-
* @param {bigint} v - The input BigInt.
|
|
49
|
-
* @returns {bigint} The base-2 logarithm (floor) of the input BigInt, or `-1n` if the input is less than or equal to 0.
|
|
50
|
-
*
|
|
51
|
-
* @remarks
|
|
52
|
-
* The function operates in two phases:
|
|
53
|
-
* 1. **Fast Doubling Phase:** Uses exponential steps to quickly narrow down the range
|
|
54
|
-
* of the most significant bit.
|
|
55
|
-
* 2. **Binary Search Phase:** Refines the result by halving the step size and incrementally
|
|
56
|
-
* determining the exact value of the logarithm.
|
|
57
|
-
*/
|
|
58
|
-
export const log2 = v => {
|
|
59
|
-
if (v <= 0n) {
|
|
60
|
-
return -1n;
|
|
61
|
-
}
|
|
62
|
-
let result = 0n;
|
|
63
|
-
let i = 1n;
|
|
64
|
-
while (true) {
|
|
65
|
-
const n = v >> i;
|
|
66
|
-
if (n === 0n) {
|
|
67
|
-
// overshot
|
|
68
|
-
break;
|
|
69
|
-
}
|
|
70
|
-
v = n;
|
|
71
|
-
result += i;
|
|
72
|
-
i <<= 1n;
|
|
73
|
-
}
|
|
74
|
-
// We know that `v` is not 0 so it doesn't make sense to check `n` when `i` is 0.
|
|
75
|
-
// Because of this, We check if `i` is greater than 1 before we divide it by 2.
|
|
76
|
-
while (i !== 1n) {
|
|
77
|
-
i >>= 1n;
|
|
78
|
-
const n = v >> i;
|
|
79
|
-
if (n !== 0n) {
|
|
80
|
-
result += i;
|
|
81
|
-
v = n;
|
|
82
|
-
}
|
|
83
|
-
}
|
|
84
|
-
return result;
|
|
85
|
-
};
|
|
86
|
-
/**
|
|
87
|
-
* Calculates the bit length of a given BigInt.
|
|
88
|
-
*
|
|
89
|
-
* The bit length of a number is the number of bits required to represent its absolute value in binary,
|
|
90
|
-
* excluding leading zeros. For example:
|
|
91
|
-
* - `0n` has a bit length of 0 (it has no bits).
|
|
92
|
-
* - `1n` (binary `1`) has a bit length of 1.
|
|
93
|
-
* - `255n` (binary `11111111`) has a bit length of 8.
|
|
94
|
-
* - `-255n` (absolute value `255`, binary `11111111`) also has a bit length of 8.
|
|
95
|
-
*
|
|
96
|
-
* The function handles both positive and negative numbers. For negative inputs, the bit length is calculated
|
|
97
|
-
* based on the absolute value of the number. Zero has a bit length of 0.
|
|
98
|
-
*
|
|
99
|
-
* @param {bigint} v - The input BigInt.
|
|
100
|
-
* @returns {bigint} The bit length of the input BigInt.
|
|
101
|
-
*
|
|
102
|
-
* @remark
|
|
103
|
-
* The function uses the `log2` function to calculate the position of the most significant bit(MSB)
|
|
104
|
-
* and adds `1n` to account for the MSB itself.For negative numbers, the absolute value is used.
|
|
105
|
-
*/
|
|
106
|
-
export const bitLength = v => {
|
|
107
|
-
if (v <= 0n) {
|
|
108
|
-
if (v === 0n) {
|
|
109
|
-
return 0n;
|
|
110
|
-
}
|
|
111
|
-
v = -v;
|
|
112
|
-
}
|
|
113
|
-
return log2(v) + 1n;
|
|
114
|
-
};
|