functionalscript 0.43.0 → 0.44.0
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/README.md +53 -21
- package/fjs/asn.1/module.f.d.mts +123 -0
- package/fjs/asn.1/module.f.mjs +459 -0
- package/fjs/asn.1/proof.f.mjs +309 -0
- package/fjs/asn.1/types.d.ts +37 -0
- package/fjs/asn.1/types.js +6 -0
- package/fjs/asserts/module.f.d.mts +37 -0
- package/fjs/asserts/module.f.mjs +49 -0
- package/fjs/asserts/proof.f.mjs +19 -0
- package/fjs/asserts/types.d.ts +11 -0
- package/fjs/asserts/types.js +6 -0
- package/fjs/basen/base128/module.f.d.mts +22 -0
- package/fjs/basen/base128/module.f.mjs +51 -0
- package/fjs/basen/base128/proof.f.d.mts +2 -0
- package/fjs/basen/base128/proof.f.mjs +30 -0
- package/fjs/basen/base64/module.f.d.mts +14 -0
- package/fjs/basen/base64/module.f.mjs +71 -0
- package/fjs/basen/base64/proof.f.d.mts +17 -0
- package/fjs/basen/base64/proof.f.mjs +147 -0
- package/fjs/basen/cbase32/module.f.d.mts +18 -0
- package/fjs/basen/cbase32/module.f.mjs +61 -0
- package/fjs/basen/cbase32/proof.f.d.mts +8 -0
- package/fjs/basen/cbase32/proof.f.mjs +77 -0
- package/fjs/basen/module.f.d.mts +30 -0
- package/fjs/basen/module.f.mjs +88 -0
- package/fjs/basen/proof.f.mjs +69 -0
- package/fjs/basen/types.d.ts +14 -0
- package/fjs/basen/types.js +6 -0
- package/fjs/bnf/data/module.f.d.mts +47 -0
- package/fjs/bnf/data/module.f.mjs +188 -0
- package/fjs/bnf/data/proof.f.d.mts +13 -0
- package/fjs/bnf/data/proof.f.mjs +160 -0
- package/fjs/bnf/data/types.d.ts +35 -0
- package/fjs/bnf/data/types.js +6 -0
- package/fjs/bnf/descent/module.f.d.mts +33 -0
- package/fjs/bnf/descent/module.f.mjs +212 -0
- package/fjs/bnf/descent/proof.f.d.mts +13 -0
- package/fjs/bnf/descent/proof.f.mjs +351 -0
- package/fjs/bnf/descent/types.d.ts +71 -0
- package/fjs/bnf/descent/types.js +6 -0
- package/fjs/bnf/ll1/module.f.d.mts +41 -0
- package/fjs/bnf/ll1/module.f.mjs +199 -0
- package/fjs/bnf/ll1/proof.f.d.mts +16 -0
- package/fjs/bnf/ll1/proof.f.mjs +352 -0
- package/fjs/bnf/ll1/types.d.ts +59 -0
- package/fjs/bnf/ll1/types.js +6 -0
- package/fjs/bnf/module.f.d.mts +164 -0
- package/fjs/bnf/module.f.mjs +298 -0
- package/fjs/bnf/proof.f.d.mts +17 -0
- package/fjs/bnf/proof.f.mjs +89 -0
- package/fjs/bnf/testlib.f.d.mts +10 -0
- package/fjs/bnf/testlib.f.mjs +196 -0
- package/fjs/bnf/token_symbol/module.f.d.mts +35 -0
- package/fjs/bnf/token_symbol/module.f.mjs +62 -0
- package/fjs/bnf/token_symbol/proof.f.mjs +43 -0
- package/fjs/bnf/token_symbol/types.d.ts +27 -0
- package/fjs/bnf/token_symbol/types.js +6 -0
- package/fjs/bnf/types.d.ts +67 -0
- package/fjs/bnf/types.js +6 -0
- package/fjs/cas/cli/module.f.d.mts +17 -0
- package/fjs/cas/cli/module.f.mjs +73 -0
- package/fjs/cas/cli/proof.f.d.mts +18 -0
- package/fjs/cas/cli/proof.f.mjs +118 -0
- package/fjs/cas/evo/module.f.d.mts +163 -0
- package/fjs/cas/evo/module.f.mjs +556 -0
- package/fjs/cas/evo/proof.f.d.mts +55 -0
- package/fjs/cas/evo/proof.f.mjs +749 -0
- package/fjs/cas/evo/types.d.ts +111 -0
- package/fjs/cas/evo/types.js +7 -0
- package/fjs/cas/module.f.d.mts +68 -0
- package/fjs/cas/module.f.mjs +363 -0
- package/fjs/cas/proof.f.d.mts +29 -0
- package/fjs/cas/proof.f.mjs +371 -0
- package/fjs/cas/types.d.ts +35 -0
- package/fjs/cas/types.js +6 -0
- package/fjs/ci/bun/module.f.d.mts +11 -0
- package/fjs/ci/bun/module.f.mjs +20 -0
- package/fjs/ci/common/module.f.d.mts +80 -0
- package/fjs/ci/common/module.f.mjs +87 -0
- package/fjs/ci/common/types.d.ts +27 -0
- package/fjs/ci/config/module.f.d.mts +45 -0
- package/fjs/ci/config/module.f.mjs +89 -0
- package/fjs/ci/deno/module.f.d.mts +16 -0
- package/fjs/ci/deno/module.f.mjs +29 -0
- package/fjs/ci/deno/proof.f.d.mts +4 -0
- package/fjs/ci/deno/proof.f.mjs +26 -0
- package/fjs/ci/module.f.d.mts +19 -0
- package/fjs/ci/module.f.mjs +89 -0
- package/fjs/ci/nix/module.f.d.mts +69 -0
- package/fjs/ci/nix/module.f.mjs +136 -0
- package/fjs/ci/nix/proof.f.d.mts +28 -0
- package/fjs/ci/nix/proof.f.mjs +146 -0
- package/fjs/ci/nix/types.d.ts +16 -0
- package/fjs/ci/nix/types.js +6 -0
- package/fjs/ci/node/module.f.d.mts +48 -0
- package/fjs/ci/node/module.f.mjs +139 -0
- package/fjs/ci/node/proof.f.mjs +18 -0
- package/fjs/ci/proof.f.d.mts +20 -0
- package/fjs/ci/proof.f.mjs +219 -0
- package/fjs/ci/rust/module.f.d.mts +15 -0
- package/fjs/ci/rust/module.f.mjs +108 -0
- package/fjs/ci/types.d.ts +9 -0
- package/fjs/ci/types.js +6 -0
- package/fjs/cli/module.f.d.mts +16 -0
- package/fjs/cli/module.f.mjs +51 -0
- package/fjs/cli/proof.f.d.mts +16 -0
- package/fjs/cli/proof.f.mjs +130 -0
- package/fjs/cli/types.d.ts +15 -0
- package/fjs/cli/types.js +6 -0
- package/fjs/common/monoid/module.f.d.mts +87 -0
- package/fjs/common/monoid/module.f.mjs +104 -0
- package/fjs/common/monoid/proof.f.d.mts +10 -0
- package/fjs/common/monoid/proof.f.mjs +58 -0
- package/fjs/common/monoid/types.d.ts +50 -0
- package/fjs/common/monoid/types.js +6 -0
- package/fjs/crypto/hmac/module.f.d.mts +32 -0
- package/fjs/crypto/hmac/module.f.mjs +65 -0
- package/fjs/crypto/hmac/proof.f.mjs +34 -0
- package/fjs/crypto/pow/module.f.d.mts +43 -0
- package/fjs/crypto/pow/module.f.mjs +93 -0
- package/fjs/crypto/pow/proof.f.mjs +121 -0
- package/fjs/crypto/pow/types.d.ts +19 -0
- package/fjs/crypto/pow/types.js +6 -0
- package/fjs/crypto/secp/module.f.d.mts +61 -0
- package/fjs/crypto/secp/module.f.mjs +204 -0
- package/fjs/crypto/secp/proof.f.d.mts +9 -0
- package/fjs/crypto/secp/proof.f.mjs +137 -0
- package/fjs/crypto/secp/types.d.ts +36 -0
- package/fjs/crypto/secp/types.js +6 -0
- package/fjs/crypto/sha2/module.f.d.mts +80 -0
- package/fjs/crypto/sha2/module.f.mjs +431 -0
- package/fjs/crypto/sha2/proof.f.d.mts +32 -0
- package/fjs/crypto/sha2/proof.f.mjs +144 -0
- package/fjs/crypto/sha2/types.d.ts +57 -0
- package/fjs/crypto/sha2/types.js +6 -0
- package/fjs/crypto/sign/module.f.d.mts +46 -0
- package/fjs/crypto/sign/module.f.mjs +189 -0
- package/fjs/crypto/sign/proof.f.d.mts +17 -0
- package/fjs/crypto/sign/proof.f.mjs +604 -0
- package/fjs/crypto/sign/types.d.ts +13 -0
- package/fjs/crypto/sign/types.js +6 -0
- package/fjs/crypto/vdf/module.f.d.mts +15 -0
- package/fjs/crypto/vdf/module.f.mjs +84 -0
- package/fjs/crypto/vdf/proof.f.mjs +106 -0
- package/fjs/crypto/vdf/types.d.ts +18 -0
- package/fjs/crypto/vdf/types.js +6 -0
- package/fjs/dev/module.f.d.mts +56 -0
- package/fjs/dev/module.f.mjs +170 -0
- package/fjs/dev/package_json/module.f.d.mts +32 -0
- package/fjs/dev/package_json/module.f.mjs +37 -0
- package/fjs/dev/package_json/proof.f.mjs +32 -0
- package/fjs/dev/proof.f.d.mts +13 -0
- package/fjs/dev/proof.f.mjs +78 -0
- package/fjs/dev/types.d.ts +14 -0
- package/fjs/dev/types.js +6 -0
- package/fjs/dev/update/module.f.d.mts +19 -0
- package/fjs/dev/update/module.f.mjs +36 -0
- package/fjs/dev/update/proof.f.d.mts +7 -0
- package/fjs/dev/update/proof.f.mjs +36 -0
- package/fjs/djs/ast/module.f.d.mts +35 -0
- package/fjs/djs/ast/module.f.mjs +82 -0
- package/fjs/djs/ast/proof.f.mjs +48 -0
- package/fjs/djs/ast/types.d.ts +54 -0
- package/fjs/djs/ast/types.js +8 -0
- package/fjs/djs/examples/input.f.mjs +4 -0
- package/fjs/djs/examples/m.f.mjs +1 -0
- package/fjs/djs/module.f.d.mts +17 -0
- package/fjs/djs/module.f.mjs +47 -0
- package/fjs/djs/parser/module.f.d.mts +75 -0
- package/fjs/djs/parser/module.f.mjs +547 -0
- package/fjs/djs/parser/proof.f.mjs +543 -0
- package/fjs/djs/parser/types.d.ts +11 -0
- package/fjs/djs/parser/types.js +7 -0
- package/fjs/djs/proof.f.mjs +52 -0
- package/fjs/djs/serializer/module.f.d.mts +30 -0
- package/fjs/djs/serializer/module.f.mjs +206 -0
- package/fjs/djs/serializer/proof.f.mjs +116 -0
- package/fjs/djs/tokenizer/module.f.d.mts +65 -0
- package/fjs/djs/tokenizer/module.f.mjs +624 -0
- package/fjs/djs/tokenizer/proof.f.mjs +980 -0
- package/fjs/djs/tokenizer/types.d.ts +20 -0
- package/fjs/djs/tokenizer/types.js +7 -0
- package/fjs/djs/transpiler/module.f.d.mts +44 -0
- package/fjs/djs/transpiler/module.f.mjs +141 -0
- package/fjs/djs/transpiler/proof.f.mjs +76 -0
- package/fjs/djs/types.d.ts +13 -0
- package/fjs/djs/types.js +7 -0
- package/fjs/effects/eff/module.f.d.mts +10 -0
- package/fjs/effects/eff/module.f.mjs +68 -0
- package/fjs/effects/eff/proof.f.d.mts +12 -0
- package/fjs/effects/eff/proof.f.mjs +66 -0
- package/fjs/effects/eff/types.d.ts +71 -0
- package/fjs/effects/eff/types.js +6 -0
- package/fjs/effects/list/module.f.d.mts +24 -0
- package/fjs/effects/list/module.f.mjs +34 -0
- package/fjs/effects/list/types.d.ts +26 -0
- package/fjs/effects/list/types.js +6 -0
- package/fjs/effects/memory/module.f.d.mts +32 -0
- package/fjs/effects/memory/module.f.mjs +44 -0
- package/fjs/effects/memory/proof.f.d.mts +12 -0
- package/fjs/effects/memory/proof.f.mjs +83 -0
- package/fjs/effects/memory/types.d.ts +18 -0
- package/fjs/effects/memory/types.js +6 -0
- package/fjs/effects/mock/module.f.d.mts +6 -0
- package/fjs/effects/mock/module.f.mjs +26 -0
- package/fjs/effects/mock/types.d.ts +15 -0
- package/fjs/effects/mock/types.js +6 -0
- package/fjs/effects/module.d.mts +7 -0
- package/fjs/effects/module.f.d.mts +350 -0
- package/fjs/effects/module.f.mjs +382 -0
- package/fjs/effects/module.mjs +18 -0
- package/fjs/effects/node/memory/module.d.mts +24 -0
- package/fjs/effects/node/memory/module.mjs +59 -0
- package/fjs/effects/node/memory/proof.mjs +43 -0
- package/fjs/effects/node/module.d.mts +54 -0
- package/fjs/effects/node/module.f.d.mts +172 -0
- package/fjs/effects/node/module.f.mjs +354 -0
- package/fjs/effects/node/module.mjs +393 -0
- package/fjs/effects/node/proof.f.d.mts +76 -0
- package/fjs/effects/node/proof.f.mjs +444 -0
- package/fjs/effects/node/types.d.ts +203 -0
- package/fjs/effects/node/types.js +6 -0
- package/fjs/effects/node/virtual/module.f.d.mts +31 -0
- package/fjs/effects/node/virtual/module.f.mjs +434 -0
- package/fjs/effects/node/virtual/proof.f.d.mts +35 -0
- package/fjs/effects/node/virtual/proof.f.mjs +226 -0
- package/fjs/effects/node/virtual/types.d.ts +39 -0
- package/fjs/effects/node/virtual/types.js +7 -0
- package/fjs/effects/proof.f.d.mts +62 -0
- package/fjs/effects/proof.f.mjs +231 -0
- package/fjs/effects/types.d.ts +115 -0
- package/fjs/effects/types.js +6 -0
- package/fjs/emergent_testing/all.test.js +2 -2
- package/fjs/emergent_testing/example.f.d.mts +16 -0
- package/fjs/emergent_testing/example.f.mjs +34 -0
- package/fjs/emergent_testing/module.f.d.mts +150 -0
- package/fjs/emergent_testing/module.f.mjs +414 -0
- package/fjs/emergent_testing/proof.f.d.mts +97 -0
- package/fjs/emergent_testing/proof.f.mjs +518 -0
- package/fjs/emergent_testing/types.d.ts +53 -0
- package/fjs/emergent_testing/types.js +6 -0
- package/fjs/fsc/bnf.f.d.mts +3 -0
- package/fjs/fsc/bnf.f.mjs +77 -0
- package/fjs/fsc/json.f.d.mts +13 -0
- package/fjs/fsc/json.f.mjs +124 -0
- package/fjs/fsc/module.f.d.mts +14 -0
- package/fjs/fsc/module.f.mjs +138 -0
- package/fjs/fsc/proof.f.mjs +119 -0
- package/fjs/fsm/module.f.d.mts +27 -0
- package/fjs/fsm/module.f.mjs +99 -0
- package/fjs/fsm/proof.f.mjs +146 -0
- package/fjs/js/tokenizer/module.f.d.mts +19 -0
- package/fjs/js/tokenizer/module.f.mjs +795 -0
- package/fjs/js/tokenizer/proof.f.d.mts +12 -0
- package/fjs/js/tokenizer/proof.f.mjs +681 -0
- package/fjs/js/tokenizer/types.d.ts +193 -0
- package/fjs/js/tokenizer/types.js +6 -0
- package/fjs/mcp/cas/module.f.d.mts +156 -0
- package/fjs/mcp/cas/module.f.mjs +302 -0
- package/fjs/mcp/evo/module.f.d.mts +88 -0
- package/fjs/mcp/evo/module.f.mjs +153 -0
- package/fjs/mcp/evo/proof.f.d.mts +17 -0
- package/fjs/mcp/evo/proof.f.mjs +166 -0
- package/fjs/mcp/module.f.d.mts +32 -0
- package/fjs/mcp/module.f.mjs +96 -0
- package/fjs/mcp/proof.f.d.mts +46 -0
- package/fjs/mcp/proof.f.mjs +725 -0
- package/fjs/media/html/module.f.d.mts +43 -0
- package/fjs/media/html/module.f.mjs +167 -0
- package/fjs/media/html/proof.f.mjs +77 -0
- package/fjs/media/html/types.d.ts +19 -0
- package/fjs/media/html/types.js +6 -0
- package/fjs/media/json/module.f.d.mts +48 -0
- package/fjs/media/json/module.f.mjs +104 -0
- package/fjs/media/json/parser/module.f.d.mts +30 -0
- package/fjs/media/json/parser/module.f.mjs +219 -0
- package/fjs/media/json/parser/proof.f.d.mts +8 -0
- package/fjs/media/json/parser/proof.f.mjs +314 -0
- package/fjs/media/json/parser/types.d.ts +34 -0
- package/fjs/media/json/parser/types.js +6 -0
- package/fjs/media/json/proof.f.mjs +79 -0
- package/fjs/media/json/rtti/module.f.d.mts +38 -0
- package/fjs/media/json/rtti/module.f.mjs +51 -0
- package/fjs/media/json/rtti/proof.f.d.mts +26 -0
- package/fjs/media/json/rtti/proof.f.mjs +86 -0
- package/fjs/media/json/schema/module.f.d.mts +79 -0
- package/fjs/media/json/schema/module.f.mjs +144 -0
- package/fjs/media/json/schema/proof.f.d.mts +40 -0
- package/fjs/media/json/schema/proof.f.mjs +93 -0
- package/fjs/media/json/serializer/module.f.d.mts +27 -0
- package/fjs/media/json/serializer/module.f.mjs +131 -0
- package/fjs/media/json/serializer/proof.f.mjs +92 -0
- package/fjs/media/json/tokenizer/module.f.d.mts +17 -0
- package/fjs/media/json/tokenizer/module.f.mjs +77 -0
- package/fjs/media/json/tokenizer/proof.f.d.mts +8 -0
- package/fjs/media/json/tokenizer/proof.f.mjs +291 -0
- package/fjs/media/json/tokenizer/types.d.ts +17 -0
- package/fjs/media/json/tokenizer/types.js +6 -0
- package/fjs/media/json/types.d.ts +25 -0
- package/fjs/media/json/types.js +13 -0
- package/fjs/media/module.f.d.mts +116 -0
- package/fjs/media/module.f.mjs +152 -0
- package/fjs/media/nix/module.f.d.mts +14 -0
- package/fjs/media/nix/module.f.mjs +261 -0
- package/fjs/media/nix/proof.f.mjs +181 -0
- package/fjs/media/nix/types.d.ts +22 -0
- package/fjs/media/nix/types.js +6 -0
- package/fjs/media/proof.f.d.mts +19 -0
- package/fjs/media/proof.f.mjs +159 -0
- package/fjs/media/revision/module.f.d.mts +119 -0
- package/fjs/media/revision/module.f.mjs +166 -0
- package/fjs/media/revision/proof.f.d.mts +42 -0
- package/fjs/media/revision/proof.f.mjs +228 -0
- package/fjs/media/revision/types.d.ts +16 -0
- package/fjs/media/revision/types.js +8 -0
- package/fjs/media/rust/module.f.d.mts +61 -0
- package/fjs/media/rust/module.f.mjs +93 -0
- package/fjs/media/rust/proof.f.d.mts +17 -0
- package/fjs/media/rust/proof.f.mjs +50 -0
- package/fjs/media/type/module.f.d.mts +97 -0
- package/fjs/media/type/module.f.mjs +281 -0
- package/fjs/media/type/proof.f.mjs +285 -0
- package/fjs/media/type/types.d.ts +67 -0
- package/fjs/media/type/types.js +6 -0
- package/fjs/media/types.d.ts +26 -0
- package/fjs/media/types.js +7 -0
- package/fjs/module.f.d.mts +3 -0
- package/fjs/module.f.mjs +60 -0
- package/fjs/module.mjs +6 -0
- package/fjs/nanvm/module.f.d.mts +54 -0
- package/fjs/nanvm/module.f.mjs +240 -0
- package/fjs/nanvm/proof.f.d.mts +41 -0
- package/fjs/nanvm/proof.f.mjs +173 -0
- package/fjs/nanvm/rust/module.f.d.mts +54 -0
- package/fjs/nanvm/rust/module.f.mjs +166 -0
- package/fjs/nanvm/rust/proof.f.d.mts +21 -0
- package/fjs/nanvm/rust/proof.f.mjs +119 -0
- package/fjs/nanvm/types.d.ts +105 -0
- package/fjs/nanvm/types.js +11 -0
- package/fjs/nanvm/update/module.f.d.mts +23 -0
- package/fjs/nanvm/update/module.f.mjs +33 -0
- package/fjs/nanvm/update/proof.f.d.mts +9 -0
- package/fjs/nanvm/update/proof.f.mjs +32 -0
- package/fjs/path/module.f.d.mts +55 -0
- package/fjs/path/module.f.mjs +96 -0
- package/fjs/path/proof.f.mjs +125 -0
- package/fjs/proof.f.mjs +48 -0
- package/fjs/protocol/json_rpc/module.f.d.mts +127 -0
- package/fjs/protocol/json_rpc/module.f.mjs +112 -0
- package/fjs/protocol/json_rpc/proof.f.mjs +84 -0
- package/fjs/protocol/json_rpc/types.d.ts +30 -0
- package/fjs/protocol/json_rpc/types.js +8 -0
- package/fjs/protocol/mcp/module.f.d.mts +227 -0
- package/fjs/protocol/mcp/module.f.mjs +369 -0
- package/fjs/protocol/mcp/proof.f.d.mts +53 -0
- package/fjs/protocol/mcp/proof.f.mjs +312 -0
- package/fjs/protocol/mcp/stdio/module.f.d.mts +52 -0
- package/fjs/protocol/mcp/stdio/module.f.mjs +132 -0
- package/fjs/protocol/mcp/stdio/proof.f.d.mts +20 -0
- package/fjs/protocol/mcp/stdio/proof.f.mjs +190 -0
- package/fjs/protocol/mcp/types.d.ts +59 -0
- package/fjs/protocol/mcp/types.js +8 -0
- package/fjs/sul/id/module.f.d.mts +37 -0
- package/fjs/sul/id/module.f.mjs +143 -0
- package/fjs/sul/id/proof.f.mjs +72 -0
- package/fjs/sul/id/types.d.ts +8 -0
- package/fjs/sul/id/types.js +6 -0
- package/fjs/sul/level/hash/module.f.d.mts +37 -0
- package/fjs/sul/level/hash/module.f.mjs +61 -0
- package/fjs/sul/level/hash/proof.f.d.mts +15 -0
- package/fjs/sul/level/hash/proof.f.mjs +131 -0
- package/fjs/sul/level/hash/types.d.ts +20 -0
- package/fjs/sul/level/hash/types.js +6 -0
- package/fjs/sul/level/literal/module.f.d.mts +54 -0
- package/fjs/sul/level/literal/module.f.mjs +120 -0
- package/fjs/sul/level/literal/proof.f.mjs +788 -0
- package/fjs/sul/level/literal/types.d.ts +31 -0
- package/fjs/sul/level/literal/types.js +6 -0
- package/fjs/sul/module.f.d.mts +25 -0
- package/fjs/sul/module.f.mjs +69 -0
- package/fjs/sul/proof.f.d.mts +11 -0
- package/fjs/sul/proof.f.mjs +62 -0
- package/fjs/sul/types.d.ts +19 -0
- package/fjs/sul/types.js +6 -0
- package/fjs/text/ascii/module.f.d.mts +136 -0
- package/fjs/text/ascii/module.f.mjs +224 -0
- package/fjs/text/ascii/proof.f.mjs +16 -0
- package/fjs/text/code_point/module.f.d.mts +74 -0
- package/fjs/text/code_point/module.f.mjs +139 -0
- package/fjs/text/code_point/proof.f.mjs +80 -0
- package/fjs/text/module.f.d.mts +39 -0
- package/fjs/text/module.f.mjs +61 -0
- package/fjs/text/proof.f.mjs +48 -0
- package/fjs/text/sgr/module.f.d.mts +58 -0
- package/fjs/text/sgr/module.f.mjs +99 -0
- package/fjs/text/sgr/proof.f.mjs +39 -0
- package/fjs/text/sgr/types.d.ts +12 -0
- package/fjs/text/sgr/types.js +6 -0
- package/fjs/text/types.d.ts +13 -0
- package/fjs/text/types.js +6 -0
- package/fjs/text/utf16/module.f.d.mts +147 -0
- package/fjs/text/utf16/module.f.mjs +350 -0
- package/fjs/text/utf16/proof.f.d.mts +11 -0
- package/fjs/text/utf16/proof.f.mjs +158 -0
- package/fjs/text/utf16/types.d.ts +19 -0
- package/fjs/text/utf16/types.js +6 -0
- package/fjs/text/utf8/module.f.d.mts +69 -0
- package/fjs/text/utf8/module.f.mjs +280 -0
- package/fjs/text/utf8/proof.f.mjs +217 -0
- package/fjs/text/utf8/types.d.ts +26 -0
- package/fjs/text/utf8/types.js +6 -0
- package/fjs/types/array/module.f.d.mts +68 -0
- package/fjs/types/array/module.f.mjs +101 -0
- package/fjs/types/array/proof.f.mjs +98 -0
- package/fjs/types/array/types.d.ts +13 -0
- package/fjs/types/array/types.js +6 -0
- package/fjs/types/bigfloat/module.f.d.mts +14 -0
- package/fjs/types/bigfloat/module.f.mjs +99 -0
- package/fjs/types/bigfloat/proof.f.mjs +218 -0
- package/fjs/types/bigfloat/types.d.ts +6 -0
- package/fjs/types/bigfloat/types.js +6 -0
- package/fjs/types/bigint/benchmark.d.mts +1 -0
- package/fjs/types/bigint/benchmark.mjs +205 -0
- package/fjs/types/bigint/module.f.d.mts +176 -0
- package/fjs/types/bigint/module.f.mjs +289 -0
- package/fjs/types/bigint/proof.f.d.mts +39 -0
- package/fjs/types/bigint/proof.f.mjs +443 -0
- package/fjs/types/bigint/types.d.ts +14 -0
- package/fjs/types/bigint/types.js +6 -0
- package/fjs/types/bit_vec/module.f.d.mts +199 -0
- package/fjs/types/bit_vec/module.f.mjs +485 -0
- package/fjs/types/bit_vec/proof.f.mjs +495 -0
- package/fjs/types/bit_vec/types.d.ts +51 -0
- package/fjs/types/bit_vec/types.js +6 -0
- package/fjs/types/btree/find/module.f.d.mts +15 -0
- package/fjs/types/btree/find/module.f.mjs +80 -0
- package/fjs/types/btree/find/proof.f.d.mts +4 -0
- package/fjs/types/btree/find/proof.f.mjs +121 -0
- package/fjs/types/btree/find/types.d.ts +22 -0
- package/fjs/types/btree/find/types.js +6 -0
- package/fjs/types/btree/module.f.d.mts +10 -0
- package/fjs/types/btree/module.f.mjs +39 -0
- package/fjs/types/btree/proof.f.d.mts +14 -0
- package/fjs/types/btree/proof.f.mjs +85 -0
- package/fjs/types/btree/remove/module.f.d.mts +21 -0
- package/fjs/types/btree/remove/module.f.mjs +187 -0
- package/fjs/types/btree/remove/proof.f.mjs +472 -0
- package/fjs/types/btree/set/module.f.d.mts +5 -0
- package/fjs/types/btree/set/module.f.mjs +117 -0
- package/fjs/types/btree/set/proof.f.mjs +427 -0
- package/fjs/types/btree/types/module.f.d.mts +19 -0
- package/fjs/types/btree/types/module.f.mjs +19 -0
- package/fjs/types/btree/types/types.d.ts +14 -0
- package/fjs/types/btree/types/types.js +6 -0
- package/fjs/types/byte_set/module.f.d.mts +26 -0
- package/fjs/types/byte_set/module.f.mjs +66 -0
- package/fjs/types/byte_set/proof.f.d.mts +12 -0
- package/fjs/types/byte_set/proof.f.mjs +84 -0
- package/fjs/types/byte_set/types.d.ts +6 -0
- package/fjs/types/byte_set/types.js +6 -0
- package/fjs/types/function/compare/module.f.d.mts +44 -0
- package/fjs/types/function/compare/module.f.mjs +71 -0
- package/fjs/types/function/compare/proof.f.mjs +50 -0
- package/fjs/types/function/compare/types.d.ts +22 -0
- package/fjs/types/function/compare/types.js +6 -0
- package/fjs/types/function/module.f.d.mts +26 -0
- package/fjs/types/function/module.f.mjs +32 -0
- package/fjs/types/function/operator/module.f.d.mts +37 -0
- package/fjs/types/function/operator/module.f.mjs +55 -0
- package/fjs/types/function/operator/proof.f.mjs +76 -0
- package/fjs/types/function/operator/types.d.ts +39 -0
- package/fjs/types/function/operator/types.js +6 -0
- package/fjs/types/function/proof.f.mjs +16 -0
- package/fjs/types/function/types.d.ts +16 -0
- package/fjs/types/function/types.js +6 -0
- package/fjs/types/list/module.f.d.mts +88 -0
- package/fjs/types/list/module.f.mjs +309 -0
- package/fjs/types/list/proof.f.d.mts +32 -0
- package/fjs/types/list/proof.f.mjs +363 -0
- package/fjs/types/list/types.d.ts +36 -0
- package/fjs/types/list/types.js +6 -0
- package/fjs/types/map/module.f.d.mts +13 -0
- package/fjs/types/map/module.f.mjs +42 -0
- package/fjs/types/map/proof.f.mjs +25 -0
- package/fjs/types/nibble_set/module.f.d.mts +30 -0
- package/fjs/types/nibble_set/module.f.mjs +43 -0
- package/fjs/types/nibble_set/proof.f.mjs +59 -0
- package/fjs/types/nibble_set/types.d.ts +9 -0
- package/fjs/types/nibble_set/types.js +6 -0
- package/fjs/types/nominal/module.f.d.mts +9 -0
- package/fjs/types/nominal/module.f.mjs +16 -0
- package/fjs/types/nominal/proof.f.d.mts +7 -0
- package/fjs/types/nominal/proof.f.mjs +79 -0
- package/fjs/types/nominal/types.d.ts +25 -0
- package/fjs/types/nominal/types.js +6 -0
- package/fjs/types/nullable/module.f.d.mts +38 -0
- package/fjs/types/nullable/module.f.mjs +53 -0
- package/fjs/types/nullable/proof.f.mjs +34 -0
- package/fjs/types/nullable/types.d.ts +6 -0
- package/fjs/types/nullable/types.js +6 -0
- package/fjs/types/number/module.f.d.mts +23 -0
- package/fjs/types/number/module.f.mjs +55 -0
- package/fjs/types/number/proof.f.mjs +204 -0
- package/fjs/types/object/module.f.d.mts +33 -0
- package/fjs/types/object/module.f.mjs +58 -0
- package/fjs/types/object/proof.f.d.mts +25 -0
- package/fjs/types/object/proof.f.mjs +26 -0
- package/fjs/types/object/types.d.ts +50 -0
- package/fjs/types/object/types.js +8 -0
- package/fjs/types/ordered_map/module.f.d.mts +21 -0
- package/fjs/types/ordered_map/module.f.mjs +54 -0
- package/fjs/types/ordered_map/proof.f.mjs +88 -0
- package/fjs/types/ordered_map/types.d.ts +8 -0
- package/fjs/types/ordered_map/types.js +6 -0
- package/fjs/types/patricia_trie/module.f.d.mts +19 -0
- package/fjs/types/patricia_trie/module.f.mjs +43 -0
- package/fjs/types/patricia_trie/proof.f.d.mts +14 -0
- package/fjs/types/patricia_trie/proof.f.mjs +148 -0
- package/fjs/types/patricia_trie/types.d.ts +34 -0
- package/fjs/types/patricia_trie/types.js +6 -0
- package/fjs/types/prime_field/module.f.d.mts +42 -0
- package/fjs/types/prime_field/module.f.mjs +136 -0
- package/fjs/types/prime_field/proof.f.mjs +131 -0
- package/fjs/types/prime_field/types.d.ts +38 -0
- package/fjs/types/prime_field/types.js +6 -0
- package/fjs/types/range/module.f.d.mts +11 -0
- package/fjs/types/range/module.f.mjs +13 -0
- package/fjs/types/range/proof.f.mjs +10 -0
- package/fjs/types/range/types.d.ts +6 -0
- package/fjs/types/range/types.js +6 -0
- package/fjs/types/range_map/module.f.d.mts +72 -0
- package/fjs/types/range_map/module.f.mjs +130 -0
- package/fjs/types/range_map/proof.f.d.mts +7 -0
- package/fjs/types/range_map/proof.f.mjs +186 -0
- package/fjs/types/range_map/types.d.ts +56 -0
- package/fjs/types/range_map/types.js +6 -0
- package/fjs/types/range_set/module.f.d.mts +5 -0
- package/fjs/types/range_set/module.f.mjs +19 -0
- package/fjs/types/range_set/proof.f.mjs +26 -0
- package/fjs/types/result/module.d.mts +5 -0
- package/fjs/types/result/module.f.d.mts +59 -0
- package/fjs/types/result/module.f.mjs +67 -0
- package/fjs/types/result/module.mjs +22 -0
- package/fjs/types/result/proof.f.mjs +41 -0
- package/fjs/types/result/types.d.ts +17 -0
- package/fjs/types/result/types.js +6 -0
- package/fjs/types/rtti/common/module.f.d.mts +86 -0
- package/fjs/types/rtti/common/module.f.mjs +183 -0
- package/fjs/types/rtti/common/proof.f.d.mts +9 -0
- package/fjs/types/rtti/common/proof.f.mjs +64 -0
- package/fjs/types/rtti/common/types.d.ts +43 -0
- package/fjs/types/rtti/common/types.js +1 -0
- package/fjs/types/rtti/module.f.d.mts +76 -0
- package/fjs/types/rtti/module.f.mjs +110 -0
- package/fjs/types/rtti/parse/module.f.d.mts +9 -0
- package/fjs/types/rtti/parse/module.f.mjs +196 -0
- package/fjs/types/rtti/parse/proof.f.d.mts +122 -0
- package/fjs/types/rtti/parse/proof.f.mjs +363 -0
- package/fjs/types/rtti/parse/types.d.ts +12 -0
- package/fjs/types/rtti/parse/types.js +1 -0
- package/fjs/types/rtti/proof.f.d.mts +8 -0
- package/fjs/types/rtti/proof.f.mjs +20 -0
- package/fjs/types/rtti/ts/module.f.d.mts +34 -0
- package/fjs/types/rtti/ts/module.f.mjs +64 -0
- package/fjs/types/rtti/ts/proof.f.mjs +88 -0
- package/fjs/types/rtti/ts/types.d.ts +88 -0
- package/fjs/types/rtti/ts/types.js +1 -0
- package/fjs/types/rtti/types.d.ts +43 -0
- package/fjs/types/rtti/types.js +1 -0
- package/fjs/types/rtti/validate/module.f.d.mts +6 -0
- package/fjs/types/rtti/validate/module.f.mjs +169 -0
- package/fjs/types/rtti/validate/proof.f.d.mts +125 -0
- package/fjs/types/rtti/validate/proof.f.mjs +437 -0
- package/fjs/types/rtti/validate/types.d.ts +6 -0
- package/fjs/types/rtti/validate/types.js +1 -0
- package/fjs/types/sorted_list/module.f.d.mts +43 -0
- package/fjs/types/sorted_list/module.f.mjs +110 -0
- package/fjs/types/sorted_list/proof.f.d.mts +5 -0
- package/fjs/types/sorted_list/proof.f.mjs +52 -0
- package/fjs/types/sorted_list/types.d.ts +15 -0
- package/fjs/types/sorted_list/types.js +6 -0
- package/fjs/types/sorted_set/module.f.d.mts +24 -0
- package/fjs/types/sorted_set/module.f.mjs +56 -0
- package/fjs/types/sorted_set/proof.f.d.mts +7 -0
- package/fjs/types/sorted_set/proof.f.mjs +77 -0
- package/fjs/types/sorted_set/types.d.ts +6 -0
- package/fjs/types/sorted_set/types.js +6 -0
- package/fjs/types/string/module.f.d.mts +36 -0
- package/fjs/types/string/module.f.mjs +58 -0
- package/fjs/types/string/proof.f.mjs +76 -0
- package/fjs/types/string_set/module.f.d.mts +37 -0
- package/fjs/types/string_set/module.f.mjs +53 -0
- package/fjs/types/string_set/proof.f.mjs +46 -0
- package/fjs/types/string_set/types.d.ts +7 -0
- package/fjs/types/string_set/types.js +6 -0
- package/fjs/types/ts/module.f.d.mts +20 -0
- package/fjs/types/ts/module.f.mjs +51 -0
- package/fjs/types/ts/proof.f.mjs +97 -0
- package/fjs/types/ts/types.d.ts +16 -0
- package/fjs/types/ts/types.js +8 -0
- package/fjs/types/uint8array/module.f.d.mts +31 -0
- package/fjs/types/uint8array/module.f.mjs +53 -0
- package/fjs/types/uint8array/proof.f.d.mts +17 -0
- package/fjs/types/uint8array/proof.f.mjs +73 -0
- package/fjs/website/module.f.d.mts +8 -0
- package/fjs/website/module.f.mjs +24 -0
- package/fjs/website/proof.f.mjs +14 -0
- package/package.json +12 -10
- package/todo/proof.f.d.mts +22 -0
- package/todo/proof.f.mjs +59 -0
- package/fjs/asn.1/module.f.d.ts +0 -62
- package/fjs/asn.1/module.f.js +0 -278
- package/fjs/asn.1/proof.f.js +0 -285
- package/fjs/asserts/module.f.d.ts +0 -36
- package/fjs/asserts/module.f.js +0 -39
- package/fjs/asserts/proof.f.js +0 -18
- package/fjs/base_n/module.f.d.ts +0 -45
- package/fjs/base_n/module.f.js +0 -72
- package/fjs/base_n/proof.f.js +0 -73
- package/fjs/basen/base128/module.f.d.ts +0 -20
- package/fjs/basen/base128/module.f.js +0 -43
- package/fjs/basen/base128/proof.f.js +0 -26
- package/fjs/basen/base64/module.f.d.ts +0 -9
- package/fjs/basen/base64/module.f.js +0 -71
- package/fjs/basen/base64/proof.f.d.ts +0 -16
- package/fjs/basen/base64/proof.f.js +0 -139
- package/fjs/basen/cbase32/module.f.d.ts +0 -11
- package/fjs/basen/cbase32/module.f.js +0 -55
- package/fjs/basen/cbase32/proof.f.d.ts +0 -7
- package/fjs/basen/cbase32/proof.f.js +0 -62
- package/fjs/bnf/data/module.f.d.ts +0 -52
- package/fjs/bnf/data/module.f.js +0 -143
- package/fjs/bnf/data/proof.f.d.ts +0 -8
- package/fjs/bnf/data/proof.f.js +0 -169
- package/fjs/bnf/descent/module.f.d.ts +0 -87
- package/fjs/bnf/descent/module.f.js +0 -149
- package/fjs/bnf/descent/proof.f.d.ts +0 -7
- package/fjs/bnf/descent/proof.f.js +0 -368
- package/fjs/bnf/ll1/module.f.d.ts +0 -72
- package/fjs/bnf/ll1/module.f.js +0 -155
- package/fjs/bnf/ll1/proof.f.d.ts +0 -10
- package/fjs/bnf/ll1/proof.f.js +0 -375
- package/fjs/bnf/module.f.d.ts +0 -165
- package/fjs/bnf/module.f.js +0 -174
- package/fjs/bnf/proof.f.d.ts +0 -12
- package/fjs/bnf/proof.f.js +0 -69
- package/fjs/bnf/testlib.f.d.ts +0 -3
- package/fjs/bnf/testlib.f.js +0 -138
- package/fjs/bnf/token_symbol/module.f.d.ts +0 -38
- package/fjs/bnf/token_symbol/module.f.js +0 -48
- package/fjs/bnf/token_symbol/proof.f.js +0 -37
- package/fjs/cas/cli/module.f.d.ts +0 -6
- package/fjs/cas/cli/module.f.js +0 -53
- package/fjs/cas/cli/proof.f.d.ts +0 -17
- package/fjs/cas/cli/proof.f.js +0 -112
- package/fjs/cas/evo/module.f.d.ts +0 -222
- package/fjs/cas/evo/module.f.js +0 -454
- package/fjs/cas/evo/proof.f.d.ts +0 -43
- package/fjs/cas/evo/proof.f.js +0 -653
- package/fjs/cas/module.f.d.ts +0 -64
- package/fjs/cas/module.f.js +0 -255
- package/fjs/cas/proof.f.d.ts +0 -18
- package/fjs/cas/proof.f.js +0 -305
- package/fjs/ci/bun/module.f.d.ts +0 -2
- package/fjs/ci/bun/module.f.js +0 -15
- package/fjs/ci/common/module.f.d.ts +0 -88
- package/fjs/ci/common/module.f.js +0 -63
- package/fjs/ci/config/module.f.d.ts +0 -45
- package/fjs/ci/config/module.f.js +0 -80
- package/fjs/ci/deno/module.f.d.ts +0 -10
- package/fjs/ci/deno/module.f.js +0 -28
- package/fjs/ci/deno/proof.f.d.ts +0 -5
- package/fjs/ci/deno/proof.f.js +0 -26
- package/fjs/ci/module.f.d.ts +0 -13
- package/fjs/ci/module.f.js +0 -58
- package/fjs/ci/nix/module.f.d.ts +0 -61
- package/fjs/ci/nix/module.f.js +0 -92
- package/fjs/ci/nix/proof.f.d.ts +0 -23
- package/fjs/ci/nix/proof.f.js +0 -109
- package/fjs/ci/node/module.f.d.ts +0 -28
- package/fjs/ci/node/module.f.js +0 -92
- package/fjs/ci/node/proof.f.js +0 -17
- package/fjs/ci/proof.f.d.ts +0 -18
- package/fjs/ci/proof.f.js +0 -182
- package/fjs/ci/rust/module.f.d.ts +0 -3
- package/fjs/ci/rust/module.f.js +0 -75
- package/fjs/cli/module.f.d.ts +0 -11
- package/fjs/cli/module.f.js +0 -34
- package/fjs/cli/proof.f.d.ts +0 -14
- package/fjs/cli/proof.f.js +0 -111
- package/fjs/common/monoid/module.f.d.ts +0 -126
- package/fjs/common/monoid/module.f.js +0 -88
- package/fjs/common/monoid/proof.f.d.ts +0 -9
- package/fjs/common/monoid/proof.f.js +0 -48
- package/fjs/crypto/hmac/module.f.d.ts +0 -29
- package/fjs/crypto/hmac/module.f.js +0 -56
- package/fjs/crypto/hmac/proof.f.js +0 -32
- package/fjs/crypto/pow/module.f.d.ts +0 -37
- package/fjs/crypto/pow/module.f.js +0 -72
- package/fjs/crypto/pow/proof.f.js +0 -111
- package/fjs/crypto/secp/module.f.d.ts +0 -85
- package/fjs/crypto/secp/module.f.js +0 -176
- package/fjs/crypto/secp/proof.f.d.ts +0 -8
- package/fjs/crypto/secp/proof.f.js +0 -124
- package/fjs/crypto/sha2/module.f.d.ts +0 -102
- package/fjs/crypto/sha2/module.f.js +0 -266
- package/fjs/crypto/sha2/proof.f.d.ts +0 -31
- package/fjs/crypto/sha2/proof.f.js +0 -139
- package/fjs/crypto/sign/module.f.d.ts +0 -33
- package/fjs/crypto/sign/module.f.js +0 -163
- package/fjs/crypto/sign/proof.f.d.ts +0 -11
- package/fjs/crypto/sign/proof.f.js +0 -562
- package/fjs/crypto/vdf/module.f.d.ts +0 -21
- package/fjs/crypto/vdf/module.f.js +0 -57
- package/fjs/crypto/vdf/proof.f.js +0 -94
- package/fjs/dev/module.f.d.ts +0 -57
- package/fjs/dev/module.f.js +0 -135
- package/fjs/dev/package_json/module.f.d.ts +0 -16
- package/fjs/dev/package_json/module.f.js +0 -24
- package/fjs/dev/package_json/proof.f.js +0 -28
- package/fjs/dev/proof.f.d.ts +0 -13
- package/fjs/dev/proof.f.js +0 -77
- package/fjs/dev/update/module.f.d.ts +0 -11
- package/fjs/dev/update/module.f.js +0 -20
- package/fjs/dev/update/proof.f.d.ts +0 -7
- package/fjs/dev/update/proof.f.js +0 -35
- package/fjs/djs/ast/module.f.d.ts +0 -62
- package/fjs/djs/ast/module.f.js +0 -61
- package/fjs/djs/ast/proof.f.js +0 -49
- package/fjs/djs/examples/input.f.js +0 -4
- package/fjs/djs/examples/m.f.js +0 -1
- package/fjs/djs/module.f.d.ts +0 -17
- package/fjs/djs/module.f.js +0 -22
- package/fjs/djs/parser/module.f.d.ts +0 -23
- package/fjs/djs/parser/module.f.js +0 -410
- package/fjs/djs/parser/proof.f.js +0 -556
- package/fjs/djs/proof.f.js +0 -50
- package/fjs/djs/serializer/module.f.d.ts +0 -17
- package/fjs/djs/serializer/module.f.js +0 -173
- package/fjs/djs/serializer/proof.f.js +0 -133
- package/fjs/djs/tokenizer/module.f.d.ts +0 -24
- package/fjs/djs/tokenizer/module.f.js +0 -472
- package/fjs/djs/tokenizer/proof.f.js +0 -1211
- package/fjs/djs/transpiler/module.f.d.ts +0 -41
- package/fjs/djs/transpiler/module.f.js +0 -88
- package/fjs/djs/transpiler/proof.f.js +0 -67
- package/fjs/effects/eff/module.f.d.ts +0 -72
- package/fjs/effects/eff/module.f.js +0 -46
- package/fjs/effects/eff/proof.f.d.ts +0 -11
- package/fjs/effects/eff/proof.f.js +0 -58
- package/fjs/effects/list/module.f.d.ts +0 -37
- package/fjs/effects/list/module.f.js +0 -17
- package/fjs/effects/memory/module.f.d.ts +0 -37
- package/fjs/effects/memory/module.f.js +0 -24
- package/fjs/effects/memory/proof.f.d.ts +0 -6
- package/fjs/effects/memory/proof.f.js +0 -50
- package/fjs/effects/mock/module.f.d.ts +0 -16
- package/fjs/effects/mock/module.f.js +0 -20
- package/fjs/effects/module.d.ts +0 -2
- package/fjs/effects/module.f.d.ts +0 -408
- package/fjs/effects/module.f.js +0 -312
- package/fjs/effects/module.js +0 -11
- package/fjs/effects/node/memory/module.d.ts +0 -20
- package/fjs/effects/node/memory/module.js +0 -44
- package/fjs/effects/node/memory/proof.js +0 -29
- package/fjs/effects/node/module.d.ts +0 -20
- package/fjs/effects/node/module.f.d.ts +0 -300
- package/fjs/effects/node/module.f.js +0 -171
- package/fjs/effects/node/module.js +0 -305
- package/fjs/effects/node/proof.f.d.ts +0 -69
- package/fjs/effects/node/proof.f.js +0 -409
- package/fjs/effects/node/virtual/module.f.d.ts +0 -49
- package/fjs/effects/node/virtual/module.f.js +0 -440
- package/fjs/effects/node/virtual/proof.f.d.ts +0 -33
- package/fjs/effects/node/virtual/proof.f.js +0 -186
- package/fjs/effects/proof.f.d.ts +0 -56
- package/fjs/effects/proof.f.js +0 -200
- package/fjs/emergent_testing/example.f.d.ts +0 -13
- package/fjs/emergent_testing/example.f.js +0 -31
- package/fjs/emergent_testing/module.f.d.ts +0 -140
- package/fjs/emergent_testing/module.f.js +0 -289
- package/fjs/emergent_testing/proof.f.d.ts +0 -67
- package/fjs/emergent_testing/proof.f.js +0 -416
- package/fjs/fsc/bnf.f.d.ts +0 -2
- package/fjs/fsc/bnf.f.js +0 -42
- package/fjs/fsc/json.f.d.ts +0 -7
- package/fjs/fsc/json.f.js +0 -64
- package/fjs/fsc/module.f.d.ts +0 -11
- package/fjs/fsc/module.f.js +0 -73
- package/fjs/fsc/proof.f.js +0 -104
- package/fjs/fsm/module.f.d.ts +0 -17
- package/fjs/fsm/module.f.js +0 -55
- package/fjs/fsm/proof.f.js +0 -126
- package/fjs/js/tokenizer/module.f.d.ts +0 -104
- package/fjs/js/tokenizer/module.f.js +0 -547
- package/fjs/js/tokenizer/proof.f.d.ts +0 -9
- package/fjs/js/tokenizer/proof.f.js +0 -986
- package/fjs/mcp/cas/module.f.d.ts +0 -27
- package/fjs/mcp/cas/module.f.js +0 -232
- package/fjs/mcp/evo/module.f.d.ts +0 -32
- package/fjs/mcp/evo/module.f.js +0 -99
- package/fjs/mcp/evo/proof.f.d.ts +0 -12
- package/fjs/mcp/evo/proof.f.js +0 -147
- package/fjs/mcp/module.f.d.ts +0 -56
- package/fjs/mcp/module.f.js +0 -69
- package/fjs/mcp/proof.f.d.ts +0 -45
- package/fjs/mcp/proof.f.js +0 -535
- package/fjs/media/html/module.f.d.ts +0 -52
- package/fjs/media/html/module.f.js +0 -117
- package/fjs/media/html/proof.f.js +0 -65
- package/fjs/media/json/module.f.d.ts +0 -64
- package/fjs/media/json/module.f.js +0 -109
- package/fjs/media/json/parser/module.f.d.ts +0 -21
- package/fjs/media/json/parser/module.f.js +0 -194
- package/fjs/media/json/parser/proof.f.d.ts +0 -5
- package/fjs/media/json/parser/proof.f.js +0 -314
- package/fjs/media/json/proof.f.js +0 -98
- package/fjs/media/json/schema/module.f.d.ts +0 -78
- package/fjs/media/json/schema/module.f.js +0 -96
- package/fjs/media/json/schema/proof.f.d.ts +0 -36
- package/fjs/media/json/schema/proof.f.js +0 -83
- package/fjs/media/json/serializer/module.f.d.ts +0 -28
- package/fjs/media/json/serializer/module.f.js +0 -73
- package/fjs/media/json/serializer/proof.f.js +0 -94
- package/fjs/media/json/tokenizer/module.f.d.ts +0 -15
- package/fjs/media/json/tokenizer/module.f.js +0 -63
- package/fjs/media/json/tokenizer/proof.f.d.ts +0 -5
- package/fjs/media/json/tokenizer/proof.f.js +0 -417
- package/fjs/media/module.f.d.ts +0 -119
- package/fjs/media/module.f.js +0 -88
- package/fjs/media/nix/module.f.d.ts +0 -30
- package/fjs/media/nix/module.f.js +0 -166
- package/fjs/media/nix/proof.f.js +0 -127
- package/fjs/media/proof.f.d.ts +0 -19
- package/fjs/media/proof.f.js +0 -127
- package/fjs/media/revision/module.f.d.ts +0 -86
- package/fjs/media/revision/module.f.js +0 -131
- package/fjs/media/revision/proof.f.d.ts +0 -31
- package/fjs/media/revision/proof.f.js +0 -140
- package/fjs/media/type/module.f.d.ts +0 -135
- package/fjs/media/type/module.f.js +0 -231
- package/fjs/media/type/proof.f.js +0 -213
- package/fjs/module.f.d.ts +0 -2
- package/fjs/module.f.js +0 -50
- package/fjs/module.js +0 -4
- package/fjs/path/module.f.d.ts +0 -46
- package/fjs/path/module.f.js +0 -71
- package/fjs/path/proof.f.js +0 -119
- package/fjs/proof.f.js +0 -38
- package/fjs/protocol/json_rpc/module.f.d.ts +0 -114
- package/fjs/protocol/json_rpc/module.f.js +0 -89
- package/fjs/protocol/json_rpc/proof.f.js +0 -68
- package/fjs/protocol/mcp/module.f.d.ts +0 -239
- package/fjs/protocol/mcp/module.f.js +0 -272
- package/fjs/protocol/mcp/proof.f.d.ts +0 -34
- package/fjs/protocol/mcp/proof.f.js +0 -208
- package/fjs/protocol/mcp/stdio/module.f.d.ts +0 -47
- package/fjs/protocol/mcp/stdio/module.f.js +0 -78
- package/fjs/protocol/mcp/stdio/proof.f.d.ts +0 -13
- package/fjs/protocol/mcp/stdio/proof.f.js +0 -143
- package/fjs/sul/id/module.f.d.ts +0 -33
- package/fjs/sul/id/module.f.js +0 -93
- package/fjs/sul/id/proof.f.js +0 -61
- package/fjs/sul/level/hash/module.f.d.ts +0 -38
- package/fjs/sul/level/hash/module.f.js +0 -43
- package/fjs/sul/level/hash/proof.f.d.ts +0 -13
- package/fjs/sul/level/hash/proof.f.js +0 -112
- package/fjs/sul/level/literal/module.f.d.ts +0 -64
- package/fjs/sul/level/literal/module.f.js +0 -88
- package/fjs/sul/level/literal/proof.f.js +0 -714
- package/fjs/sul/module.f.d.ts +0 -23
- package/fjs/sul/module.f.js +0 -46
- package/fjs/sul/proof.f.d.ts +0 -9
- package/fjs/sul/proof.f.js +0 -47
- package/fjs/text/ascii/module.f.d.ts +0 -136
- package/fjs/text/ascii/module.f.js +0 -154
- package/fjs/text/ascii/proof.f.js +0 -14
- package/fjs/text/code_point/module.f.d.ts +0 -65
- package/fjs/text/code_point/module.f.js +0 -103
- package/fjs/text/code_point/proof.f.js +0 -72
- package/fjs/text/module.f.d.ts +0 -40
- package/fjs/text/module.f.js +0 -43
- package/fjs/text/proof.f.js +0 -44
- package/fjs/text/sgr/module.f.d.ts +0 -53
- package/fjs/text/sgr/module.f.js +0 -63
- package/fjs/text/sgr/proof.f.js +0 -33
- package/fjs/text/utf16/module.f.d.ts +0 -161
- package/fjs/text/utf16/module.f.js +0 -311
- package/fjs/text/utf16/proof.f.d.ts +0 -10
- package/fjs/text/utf16/proof.f.js +0 -144
- package/fjs/text/utf8/module.f.d.ts +0 -83
- package/fjs/text/utf8/module.f.js +0 -247
- package/fjs/text/utf8/proof.f.js +0 -217
- package/fjs/types/array/module.f.d.ts +0 -49
- package/fjs/types/array/module.f.js +0 -42
- package/fjs/types/array/proof.f.js +0 -92
- package/fjs/types/bigfloat/module.f.d.ts +0 -6
- package/fjs/types/bigfloat/module.f.js +0 -69
- package/fjs/types/bigfloat/proof.f.js +0 -217
- package/fjs/types/bigint/module.f.d.ts +0 -172
- package/fjs/types/bigint/module.f.js +0 -251
- package/fjs/types/bigint/proof.f.d.ts +0 -37
- package/fjs/types/bigint/proof.f.js +0 -400
- package/fjs/types/bit_vec/module.f.d.ts +0 -302
- package/fjs/types/bit_vec/module.f.js +0 -375
- package/fjs/types/bit_vec/proof.f.js +0 -465
- package/fjs/types/btree/find/module.f.d.ts +0 -25
- package/fjs/types/btree/find/module.f.js +0 -80
- package/fjs/types/btree/find/proof.f.d.ts +0 -3
- package/fjs/types/btree/find/proof.f.js +0 -108
- package/fjs/types/btree/module.f.d.ts +0 -9
- package/fjs/types/btree/module.f.js +0 -33
- package/fjs/types/btree/proof.f.d.ts +0 -13
- package/fjs/types/btree/proof.f.js +0 -64
- package/fjs/types/btree/remove/module.f.d.ts +0 -14
- package/fjs/types/btree/remove/module.f.js +0 -186
- package/fjs/types/btree/remove/proof.f.js +0 -484
- package/fjs/types/btree/set/module.f.d.ts +0 -8
- package/fjs/types/btree/set/module.f.js +0 -128
- package/fjs/types/btree/set/proof.f.js +0 -368
- package/fjs/types/btree/types/module.f.d.ts +0 -23
- package/fjs/types/btree/types/module.f.js +0 -9
- package/fjs/types/byte_set/module.f.d.ts +0 -16
- package/fjs/types/byte_set/module.f.js +0 -30
- package/fjs/types/byte_set/proof.f.d.ts +0 -11
- package/fjs/types/byte_set/proof.f.js +0 -79
- package/fjs/types/function/compare/module.f.d.ts +0 -49
- package/fjs/types/function/compare/module.f.js +0 -51
- package/fjs/types/function/compare/proof.f.js +0 -47
- package/fjs/types/function/module.f.d.ts +0 -28
- package/fjs/types/function/module.f.js +0 -19
- package/fjs/types/function/operator/module.f.d.ts +0 -48
- package/fjs/types/function/operator/module.f.js +0 -16
- package/fjs/types/function/operator/proof.f.js +0 -53
- package/fjs/types/function/proof.f.js +0 -10
- package/fjs/types/list/module.f.d.ts +0 -75
- package/fjs/types/list/module.f.js +0 -190
- package/fjs/types/list/proof.f.d.ts +0 -31
- package/fjs/types/list/proof.f.js +0 -330
- package/fjs/types/map/module.f.d.ts +0 -2
- package/fjs/types/map/module.f.js +0 -22
- package/fjs/types/map/proof.f.js +0 -22
- package/fjs/types/nibble_set/module.f.d.ts +0 -27
- package/fjs/types/nibble_set/module.f.js +0 -25
- package/fjs/types/nibble_set/proof.f.js +0 -60
- package/fjs/types/nominal/module.f.d.ts +0 -22
- package/fjs/types/nominal/module.f.js +0 -13
- package/fjs/types/nominal/proof.f.d.ts +0 -4
- package/fjs/types/nominal/proof.f.js +0 -48
- package/fjs/types/nullable/module.f.d.ts +0 -21
- package/fjs/types/nullable/module.f.js +0 -29
- package/fjs/types/nullable/proof.f.js +0 -29
- package/fjs/types/number/module.f.d.ts +0 -16
- package/fjs/types/number/module.f.js +0 -30
- package/fjs/types/number/proof.f.js +0 -124
- package/fjs/types/object/module.f.d.ts +0 -54
- package/fjs/types/object/module.f.js +0 -25
- package/fjs/types/object/proof.f.d.ts +0 -4
- package/fjs/types/object/proof.f.js +0 -14
- package/fjs/types/ordered_map/module.f.d.ts +0 -17
- package/fjs/types/ordered_map/module.f.js +0 -22
- package/fjs/types/ordered_map/proof.f.js +0 -73
- package/fjs/types/patricia_trie/module.f.d.ts +0 -25
- package/fjs/types/patricia_trie/module.f.js +0 -35
- package/fjs/types/patricia_trie/proof.f.d.ts +0 -13
- package/fjs/types/patricia_trie/proof.f.js +0 -121
- package/fjs/types/prime_field/module.f.d.ts +0 -62
- package/fjs/types/prime_field/module.f.js +0 -112
- package/fjs/types/prime_field/proof.f.js +0 -128
- package/fjs/types/range/module.f.d.ts +0 -8
- package/fjs/types/range/module.f.js +0 -2
- package/fjs/types/range/proof.f.js +0 -9
- package/fjs/types/range_map/module.f.d.ts +0 -92
- package/fjs/types/range_map/module.f.js +0 -82
- package/fjs/types/range_map/proof.f.d.ts +0 -6
- package/fjs/types/range_map/proof.f.js +0 -151
- package/fjs/types/range_set/module.f.d.ts +0 -5
- package/fjs/types/range_set/module.f.js +0 -16
- package/fjs/types/range_set/proof.f.d.ts +0 -1
- package/fjs/types/range_set/proof.f.js +0 -19
- package/fjs/types/result/module.d.ts +0 -3
- package/fjs/types/result/module.f.d.ts +0 -61
- package/fjs/types/result/module.f.js +0 -54
- package/fjs/types/result/module.js +0 -19
- package/fjs/types/result/proof.f.js +0 -31
- package/fjs/types/rtti/common/module.f.d.ts +0 -121
- package/fjs/types/rtti/common/module.f.js +0 -94
- package/fjs/types/rtti/common/proof.f.d.ts +0 -8
- package/fjs/types/rtti/common/proof.f.js +0 -51
- package/fjs/types/rtti/module.f.d.ts +0 -75
- package/fjs/types/rtti/module.f.js +0 -34
- package/fjs/types/rtti/parse/module.f.d.ts +0 -36
- package/fjs/types/rtti/parse/module.f.js +0 -114
- package/fjs/types/rtti/parse/proof.f.d.ts +0 -115
- package/fjs/types/rtti/parse/proof.f.js +0 -334
- package/fjs/types/rtti/proof.f.d.ts +0 -5
- package/fjs/types/rtti/proof.f.js +0 -16
- package/fjs/types/rtti/ts/module.f.d.ts +0 -118
- package/fjs/types/rtti/ts/module.f.js +0 -59
- package/fjs/types/rtti/ts/proof.f.js +0 -75
- package/fjs/types/rtti/validate/module.f.d.ts +0 -4
- package/fjs/types/rtti/validate/module.f.js +0 -74
- package/fjs/types/rtti/validate/proof.f.d.ts +0 -118
- package/fjs/types/rtti/validate/proof.f.js +0 -349
- package/fjs/types/sorted_list/module.f.d.ts +0 -26
- package/fjs/types/sorted_list/module.f.js +0 -51
- package/fjs/types/sorted_list/proof.f.d.ts +0 -4
- package/fjs/types/sorted_list/proof.f.js +0 -46
- package/fjs/types/sorted_set/module.f.d.ts +0 -33
- package/fjs/types/sorted_set/module.f.js +0 -5
- package/fjs/types/sorted_set/proof.f.d.ts +0 -6
- package/fjs/types/sorted_set/proof.f.js +0 -67
- package/fjs/types/string/module.f.d.ts +0 -24
- package/fjs/types/string/module.f.js +0 -35
- package/fjs/types/string/proof.f.js +0 -77
- package/fjs/types/string_set/module.f.d.ts +0 -30
- package/fjs/types/string_set/module.f.js +0 -37
- package/fjs/types/string_set/proof.f.js +0 -43
- package/fjs/types/ts/module.f.d.ts +0 -23
- package/fjs/types/ts/module.f.js +0 -27
- package/fjs/types/ts/proof.f.js +0 -86
- package/fjs/types/uint8array/module.f.d.ts +0 -13
- package/fjs/types/uint8array/module.f.js +0 -34
- package/fjs/types/uint8array/proof.f.d.ts +0 -17
- package/fjs/types/uint8array/proof.f.js +0 -64
- package/fjs/website/module.f.d.ts +0 -3
- package/fjs/website/module.f.js +0 -14
- package/fjs/website/proof.f.js +0 -13
- package/nanvm-lib/tests/proof.f.d.ts +0 -122
- package/nanvm-lib/tests/proof.f.js +0 -330
- package/todo/031-json.f.js +0 -241
- package/todo/proof.f.d.ts +0 -20
- package/todo/proof.f.js +0 -62
- /package/fjs/asn.1/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/asserts/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/{base_n/proof.f.d.ts → basen/proof.f.d.mts} +0 -0
- /package/fjs/bnf/token_symbol/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/{todo/031-json.f.d.ts → fjs/ci/common/types.js} +0 -0
- /package/fjs/ci/node/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/crypto/hmac/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/crypto/pow/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/crypto/vdf/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/dev/package_json/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/ast/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/examples/{input.f.d.ts → input.f.d.mts} +0 -0
- /package/fjs/djs/examples/{m.f.d.ts → m.f.d.mts} +0 -0
- /package/fjs/djs/parser/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/serializer/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/tokenizer/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/transpiler/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/effects/node/memory/{proof.d.ts → proof.d.mts} +0 -0
- /package/fjs/fsc/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/fsm/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/media/html/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/media/json/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/media/json/serializer/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/media/nix/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/media/type/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/{module.d.ts → module.d.mts} +0 -0
- /package/fjs/path/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/protocol/json_rpc/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/sul/id/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/sul/level/literal/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/text/ascii/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/text/code_point/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/text/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/text/sgr/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/text/utf8/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/array/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/bigfloat/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/bit_vec/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/btree/remove/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/btree/set/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/{basen/base128/proof.f.d.ts → types/function/compare/proof.f.d.mts} +0 -0
- /package/fjs/types/function/operator/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/function/{compare/proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/map/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/nibble_set/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/nullable/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/number/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/option/{module.f.d.ts → types.d.ts} +0 -0
- /package/fjs/types/option/{module.f.js → types.js} +0 -0
- /package/fjs/types/ordered_map/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/phantom/{module.f.d.ts → types.d.ts} +0 -0
- /package/fjs/types/phantom/{module.f.js → types.js} +0 -0
- /package/fjs/types/prime_field/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/{function/proof.f.d.ts → range/proof.f.d.mts} +0 -0
- /package/fjs/types/{range/proof.f.d.ts → range_set/proof.f.d.mts} +0 -0
- /package/fjs/types/result/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/rtti/ts/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/string/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/string_set/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/ts/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/website/{proof.f.d.ts → proof.f.d.mts} +0 -0
|
@@ -1,251 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Utility functions for working with `bigint` values.
|
|
3
|
-
*
|
|
4
|
-
* @module
|
|
5
|
-
*
|
|
6
|
-
* @example
|
|
7
|
-
*
|
|
8
|
-
* ```js
|
|
9
|
-
* import { sum, abs, log2, bitLength, mask } from './module.f.ts'
|
|
10
|
-
*
|
|
11
|
-
* const total = sum([1n, 2n, 3n]) // 6n
|
|
12
|
-
* const absoluteValue = abs(-42n) // 42n
|
|
13
|
-
* const logValue = log2(8n) // 3n
|
|
14
|
-
* const bitCount = bitLength(255n) // 8n
|
|
15
|
-
* const bitmask = mask(5n) // 31n
|
|
16
|
-
* const c = combination([3n, 2n, 1n]) // 60n
|
|
17
|
-
* ```
|
|
18
|
-
*/
|
|
19
|
-
import { cmp } from '../function/compare/module.f.js';
|
|
20
|
-
import {} from '../list/module.f.js';
|
|
21
|
-
import { fold } from '../../common/monoid/module.f.js';
|
|
22
|
-
/**
|
|
23
|
-
* Adds two `bigint` values.
|
|
24
|
-
*
|
|
25
|
-
* @param a - The first bigint value.
|
|
26
|
-
* @returns A function that takes the second bigint value and returns the sum.
|
|
27
|
-
*/
|
|
28
|
-
export const addition = a => b => a + b;
|
|
29
|
-
/**
|
|
30
|
-
* Calculates the sum of a list of `bigint` values.
|
|
31
|
-
*
|
|
32
|
-
* @param input - A list of bigint values.
|
|
33
|
-
* @returns The sum of all values in the list.
|
|
34
|
-
*/
|
|
35
|
-
export const sum = fold({ identity: 0n, operation: addition });
|
|
36
|
-
/**
|
|
37
|
-
* Multiplies two `bigint` values.
|
|
38
|
-
*
|
|
39
|
-
* @param a - The first bigint value.
|
|
40
|
-
* @returns A function that takes the second bigint value and returns the product.
|
|
41
|
-
*/
|
|
42
|
-
export const multiple = a => b => a * b;
|
|
43
|
-
/**
|
|
44
|
-
* Calculates the product of a list of `bigint` values.
|
|
45
|
-
*
|
|
46
|
-
* @param input - A list of bigint values.
|
|
47
|
-
* @returns The product of all values in the list.
|
|
48
|
-
*/
|
|
49
|
-
export const product = fold({ identity: 1n, operation: multiple });
|
|
50
|
-
/**
|
|
51
|
-
* Calculates the absolute value of a `bigint`.
|
|
52
|
-
*
|
|
53
|
-
* @param a - The bigint value.
|
|
54
|
-
* @returns The absolute value of the input bigint.
|
|
55
|
-
*/
|
|
56
|
-
export const abs = a => a >= 0 ? a : -a;
|
|
57
|
-
/**
|
|
58
|
-
* Determines the sign of a `bigint`.
|
|
59
|
-
* @param a - The bigint value.
|
|
60
|
-
* @returns `1` if positive, `-1` if negative, and `0` if zero.
|
|
61
|
-
*/
|
|
62
|
-
export const sign = (a) => cmp(a)(0n);
|
|
63
|
-
/**
|
|
64
|
-
* Serializes a `bigint` to a string representation.
|
|
65
|
-
*
|
|
66
|
-
* @param a - The bigint value.
|
|
67
|
-
* @returns A string representation of the bigint (e.g., '123n').
|
|
68
|
-
*/
|
|
69
|
-
export const serialize = (a) => `${a}n`;
|
|
70
|
-
const { isFinite } = Number;
|
|
71
|
-
const { log2: mathLog2 } = Math;
|
|
72
|
-
/**
|
|
73
|
-
* Calculates the base-2 logarithm (floor).
|
|
74
|
-
*
|
|
75
|
-
* This function returns the integer part of the logarithm. For example:
|
|
76
|
-
* - `log2(1n)` returns `0n`,
|
|
77
|
-
* - `log2(2n)` returns `1n`,
|
|
78
|
-
* - `log2(15n)` returns `3n`.
|
|
79
|
-
*
|
|
80
|
-
* @param v - The input BigInt.
|
|
81
|
-
* @returns The base-2 logarithm (floor) of the input BigInt, or `-1n` if the input is less than or equal to 0.
|
|
82
|
-
*
|
|
83
|
-
* @remarks
|
|
84
|
-
* The function operates in two phases:
|
|
85
|
-
* 1. **Fast Doubling Phase:** Uses exponential steps to quickly narrow down the range
|
|
86
|
-
* of the most significant bit.
|
|
87
|
-
* 2. **Binary Search Phase:** Refines the result by halving the step size and incrementally
|
|
88
|
-
* determining the exact value of the logarithm.
|
|
89
|
-
* 3. **Remainder Phase:** Using `Math.log2`.
|
|
90
|
-
*/
|
|
91
|
-
export const log2 = (v) => {
|
|
92
|
-
if (v <= 0n) {
|
|
93
|
-
return -1n;
|
|
94
|
-
}
|
|
95
|
-
//
|
|
96
|
-
// 1. Fast Doubling.
|
|
97
|
-
//
|
|
98
|
-
let result = -1n;
|
|
99
|
-
// `bigints` higher than 2**1023 may lead to `Inf` during conversion to `number`.
|
|
100
|
-
// For example: `Number((1n << 1024n) - (1n << 970n)) === Inf`.
|
|
101
|
-
let i = 0x400n;
|
|
102
|
-
while (true) {
|
|
103
|
-
const n = v >> i;
|
|
104
|
-
if (n === 0n) {
|
|
105
|
-
// overshot
|
|
106
|
-
break;
|
|
107
|
-
}
|
|
108
|
-
v = n;
|
|
109
|
-
result += i;
|
|
110
|
-
i <<= 1n;
|
|
111
|
-
}
|
|
112
|
-
//
|
|
113
|
-
// 2. Binary Search.
|
|
114
|
-
//
|
|
115
|
-
// We know that `v` is not 0 so it doesn't make sense to check `n` when `i` is 0.
|
|
116
|
-
// Because of this, We check if `i` is greater than 1023 before we divide it by 2.
|
|
117
|
-
while (i !== 0x400n) {
|
|
118
|
-
i >>= 1n;
|
|
119
|
-
const n = v >> i;
|
|
120
|
-
if (n !== 0n) {
|
|
121
|
-
result += i;
|
|
122
|
-
v = n;
|
|
123
|
-
}
|
|
124
|
-
}
|
|
125
|
-
//
|
|
126
|
-
// 3. Remainder Phase.
|
|
127
|
-
//
|
|
128
|
-
// We know that `v` is less than `1n << 1024` so we can calculate a remainder using
|
|
129
|
-
// `Math.log2`.
|
|
130
|
-
const nl = mathLog2(Number(v));
|
|
131
|
-
if (isFinite(nl)) {
|
|
132
|
-
const rem = BigInt(nl | 0);
|
|
133
|
-
// (v >> rem) is either `0` or `1`, and it's used as a correction for
|
|
134
|
-
// Math.log2 rounding.
|
|
135
|
-
return result + rem + (v >> rem);
|
|
136
|
-
}
|
|
137
|
-
else {
|
|
138
|
-
// nl is Inf, it means log2(v) === 0x3FF and we add +1 to compensate for initial
|
|
139
|
-
// `result = -1n`.
|
|
140
|
-
return result + 0x400n;
|
|
141
|
-
}
|
|
142
|
-
};
|
|
143
|
-
/**
|
|
144
|
-
* Calculates the bit length of a given BigInt.
|
|
145
|
-
*
|
|
146
|
-
* The bit length of a number is the number of bits required to represent its absolute value in binary,
|
|
147
|
-
* excluding leading zeros. For example:
|
|
148
|
-
* - `0n` has a bit length of 0 (it has no bits).
|
|
149
|
-
* - `1n` (binary `1`) has a bit length of 1.
|
|
150
|
-
* - `255n` (binary `11111111`) has a bit length of 8.
|
|
151
|
-
* - `-255n` (absolute value `255`, binary `11111111`) also has a bit length of 8.
|
|
152
|
-
*
|
|
153
|
-
* The function handles both positive and negative numbers. For negative inputs, the bit length is calculated
|
|
154
|
-
* based on the absolute value of the number. Zero has a bit length of 0.
|
|
155
|
-
*
|
|
156
|
-
* @param v - The input BigInt.
|
|
157
|
-
* @returns The bit length of the input BigInt.
|
|
158
|
-
*
|
|
159
|
-
* @remark
|
|
160
|
-
* The function uses the `log2` function to calculate the position of the most significant bit (MSB)
|
|
161
|
-
* and adds `1n` to account for the MSB itself. For negative numbers, the absolute value is used.
|
|
162
|
-
*/
|
|
163
|
-
export const bitLength = (v) => log2(abs(v)) + 1n;
|
|
164
|
-
/**
|
|
165
|
-
* Generates a bitmask with the specified number of bits set to 1.
|
|
166
|
-
*
|
|
167
|
-
* @param len - The number of bits to set in the mask. Must be a non-negative integer.
|
|
168
|
-
* @returns A bigint representing the bitmask, where the least significant `len` bits are 1.
|
|
169
|
-
*
|
|
170
|
-
* @example
|
|
171
|
-
*
|
|
172
|
-
* ```js
|
|
173
|
-
* const result = mask(3n) // 7n
|
|
174
|
-
* ```
|
|
175
|
-
*/
|
|
176
|
-
export const mask = (len) => {
|
|
177
|
-
// we compute this way to avoid overflowing in Bun when len === maxLength.
|
|
178
|
-
const r = len & 1n;
|
|
179
|
-
const h = len >> 1n;
|
|
180
|
-
const x = (((1n << h) - 1n) << r) | r;
|
|
181
|
-
return (x << h) | x;
|
|
182
|
-
};
|
|
183
|
-
export const maxLength = 0x100000n;
|
|
184
|
-
// max + 1n // bun throws an error
|
|
185
|
-
export const max = mask(maxLength);
|
|
186
|
-
/**
|
|
187
|
-
* Calculates the partial factorial `b!/a!`.
|
|
188
|
-
*
|
|
189
|
-
* @param a - The starting bigint value.
|
|
190
|
-
* @returns A function that takes `b` and computes `b!/a!`.
|
|
191
|
-
*/
|
|
192
|
-
export const partialFactorial = (a) => (b) => {
|
|
193
|
-
let result = b;
|
|
194
|
-
while (true) {
|
|
195
|
-
--b;
|
|
196
|
-
if (b <= a) {
|
|
197
|
-
return result;
|
|
198
|
-
}
|
|
199
|
-
result *= b;
|
|
200
|
-
}
|
|
201
|
-
};
|
|
202
|
-
/**
|
|
203
|
-
* Calculates the factorial of a `bigint`.
|
|
204
|
-
*
|
|
205
|
-
* @param b - The bigint value.
|
|
206
|
-
* @returns The factorial of the input.
|
|
207
|
-
*/
|
|
208
|
-
export const factorial = partialFactorial(1n);
|
|
209
|
-
/**
|
|
210
|
-
* Calculates the number of combinations for a list of `bigint` values.
|
|
211
|
-
*
|
|
212
|
-
* @param k - A list of bigint values.
|
|
213
|
-
* @returns The number of combinations.
|
|
214
|
-
*/
|
|
215
|
-
export const combination = (...k) => {
|
|
216
|
-
let s = 0n;
|
|
217
|
-
let m = 1n;
|
|
218
|
-
let p = 1n;
|
|
219
|
-
for (let i of k) {
|
|
220
|
-
s += i;
|
|
221
|
-
if (i >= m) {
|
|
222
|
-
[i, m] = [m, i];
|
|
223
|
-
}
|
|
224
|
-
p *= factorial(i);
|
|
225
|
-
}
|
|
226
|
-
return partialFactorial(m)(s) / p;
|
|
227
|
-
};
|
|
228
|
-
export const xor = a => b => a ^ b;
|
|
229
|
-
export const divUp = (b) => {
|
|
230
|
-
const m = b - 1n;
|
|
231
|
-
return v => (v + m) / b;
|
|
232
|
-
};
|
|
233
|
-
export const roundUp = (b) => {
|
|
234
|
-
const d = divUp(b);
|
|
235
|
-
return v => d(v) * b;
|
|
236
|
-
};
|
|
237
|
-
/**
|
|
238
|
-
* Converts a bit count to a byte count, rounding up — divides by `8`.
|
|
239
|
-
*
|
|
240
|
-
* Domain: non-negative inputs (bit/byte counts). On negative inputs `divUp`
|
|
241
|
-
* truncates toward zero rather than flooring toward −∞, so the rounding
|
|
242
|
-
* direction is only meaningful for `v >= 0n`.
|
|
243
|
-
*/
|
|
244
|
-
export const divUp8 = divUp(8n);
|
|
245
|
-
/**
|
|
246
|
-
* Rounds a bit count up to the nearest whole byte — the nearest multiple of `8`.
|
|
247
|
-
*
|
|
248
|
-
* Domain: non-negative inputs (bit/byte counts). See `divUp8` for the
|
|
249
|
-
* truncate-vs-floor caveat on negative values.
|
|
250
|
-
*/
|
|
251
|
-
export const roundUp8 = roundUp(8n);
|
|
@@ -1,37 +0,0 @@
|
|
|
1
|
-
export declare const clz32Log2: (v: bigint) => bigint;
|
|
2
|
-
export declare const proof: {
|
|
3
|
-
example: () => void;
|
|
4
|
-
benchmark: () => {
|
|
5
|
-
big: {
|
|
6
|
-
[k: string]: () => void;
|
|
7
|
-
};
|
|
8
|
-
small: {
|
|
9
|
-
[k: string]: () => void;
|
|
10
|
-
};
|
|
11
|
-
};
|
|
12
|
-
mask: () => void;
|
|
13
|
-
sum: () => void;
|
|
14
|
-
abs: (() => void)[];
|
|
15
|
-
serialize: (() => void)[];
|
|
16
|
-
log2: (() => void)[];
|
|
17
|
-
toString2: () => void;
|
|
18
|
-
minus: () => void;
|
|
19
|
-
not: () => void;
|
|
20
|
-
bitLen: {
|
|
21
|
-
0: () => void;
|
|
22
|
-
m: () => void;
|
|
23
|
-
big: () => void;
|
|
24
|
-
neg: (() => void)[];
|
|
25
|
-
};
|
|
26
|
-
factorial: () => void;
|
|
27
|
-
combination: () => void;
|
|
28
|
-
combination50x50: () => void;
|
|
29
|
-
combination3: () => void;
|
|
30
|
-
divUp: () => void;
|
|
31
|
-
roundUp: () => void;
|
|
32
|
-
divUp8: () => void;
|
|
33
|
-
roundUp8: () => void;
|
|
34
|
-
xor: () => void;
|
|
35
|
-
multiple: () => void;
|
|
36
|
-
product: () => void;
|
|
37
|
-
};
|
|
@@ -1,400 +0,0 @@
|
|
|
1
|
-
import { sum, abs, serialize, log2, bitLength, mask, combination, factorial, xor, multiple, product, divUp, roundUp, divUp8, roundUp8 } from './module.f.js';
|
|
2
|
-
import { assert, assertEq } from '../../asserts/module.f.js';
|
|
3
|
-
import { min } from '../function/compare/module.f.js';
|
|
4
|
-
const oldLog2 = (v) => {
|
|
5
|
-
if (v <= 0n) {
|
|
6
|
-
return -1n;
|
|
7
|
-
}
|
|
8
|
-
let result = 0n;
|
|
9
|
-
let i = 1n;
|
|
10
|
-
while (true) {
|
|
11
|
-
const n = v >> i;
|
|
12
|
-
if (n === 0n) {
|
|
13
|
-
// overshot
|
|
14
|
-
break;
|
|
15
|
-
}
|
|
16
|
-
v = n;
|
|
17
|
-
result += i;
|
|
18
|
-
i <<= 1n; // multiple by two
|
|
19
|
-
}
|
|
20
|
-
// We know that `v` is not 0 so it doesn't make sense to check `n` when `i` is 0.
|
|
21
|
-
// Because of this, We check if `i` is greater than 1 before we divide it by 2.
|
|
22
|
-
while (i !== 1n) {
|
|
23
|
-
i >>= 1n;
|
|
24
|
-
const n = v >> i;
|
|
25
|
-
if (n !== 0n) {
|
|
26
|
-
result += i;
|
|
27
|
-
v = n;
|
|
28
|
-
}
|
|
29
|
-
}
|
|
30
|
-
return result;
|
|
31
|
-
};
|
|
32
|
-
const strBinLog2 = (v) => BigInt(v.toString(2).length) - 1n;
|
|
33
|
-
const strHexLog2 = (v) => {
|
|
34
|
-
const len = (BigInt(v.toString(16).length) - 1n) << 2n;
|
|
35
|
-
return len + 31n - BigInt(Math.clz32(Number(v >> len)));
|
|
36
|
-
};
|
|
37
|
-
const str32Log2 = (v) => {
|
|
38
|
-
const len = (BigInt(v.toString(32).length) - 1n) * 5n;
|
|
39
|
-
return len + 31n - BigInt(Math.clz32(Number(v >> len)));
|
|
40
|
-
};
|
|
41
|
-
export const clz32Log2 = (v) => {
|
|
42
|
-
if (v <= 0n) {
|
|
43
|
-
return -1n;
|
|
44
|
-
}
|
|
45
|
-
let result = 31n;
|
|
46
|
-
let i = 32n;
|
|
47
|
-
while (true) {
|
|
48
|
-
const n = v >> i;
|
|
49
|
-
if (n === 0n) {
|
|
50
|
-
// overshot
|
|
51
|
-
break;
|
|
52
|
-
}
|
|
53
|
-
v = n;
|
|
54
|
-
result += i;
|
|
55
|
-
i <<= 1n;
|
|
56
|
-
}
|
|
57
|
-
// We know that `v` is not 0 so it doesn't make sense to check `n` when `i` is 0.
|
|
58
|
-
// Because of this, We check if `i` is greater than 32 before we divide it by 2.
|
|
59
|
-
while (i !== 32n) {
|
|
60
|
-
i >>= 1n;
|
|
61
|
-
const n = v >> i;
|
|
62
|
-
if (n !== 0n) {
|
|
63
|
-
result += i;
|
|
64
|
-
v = n;
|
|
65
|
-
}
|
|
66
|
-
}
|
|
67
|
-
return result - BigInt(Math.clz32(Number(v)));
|
|
68
|
-
};
|
|
69
|
-
const m1023log2 = (v) => {
|
|
70
|
-
if (v <= 0n) {
|
|
71
|
-
return -1n;
|
|
72
|
-
}
|
|
73
|
-
//
|
|
74
|
-
// 1. Fast Doubling.
|
|
75
|
-
//
|
|
76
|
-
let result = -1n;
|
|
77
|
-
// `bigints` higher than 2**1023 may lead to `Inf` during conversion to `number`.
|
|
78
|
-
// For example: `Number((1n << 1024n) - (1n << 970n)) === Inf`.
|
|
79
|
-
let i = 1023n;
|
|
80
|
-
while (true) {
|
|
81
|
-
const n = v >> i;
|
|
82
|
-
if (n === 0n) {
|
|
83
|
-
// overshot
|
|
84
|
-
break;
|
|
85
|
-
}
|
|
86
|
-
v = n;
|
|
87
|
-
result += i;
|
|
88
|
-
i <<= 1n;
|
|
89
|
-
}
|
|
90
|
-
//
|
|
91
|
-
// 2. Binary Search.
|
|
92
|
-
//
|
|
93
|
-
// We know that `v` is not 0 so it doesn't make sense to check `n` when `i` is 0.
|
|
94
|
-
// Because of this, We check if `i` is greater than 1023 before we divide it by 2.
|
|
95
|
-
while (i !== 1023n) {
|
|
96
|
-
i >>= 1n;
|
|
97
|
-
const n = v >> i;
|
|
98
|
-
if (n !== 0n) {
|
|
99
|
-
result += i;
|
|
100
|
-
v = n;
|
|
101
|
-
}
|
|
102
|
-
}
|
|
103
|
-
//
|
|
104
|
-
// 3. Remainder Phase.
|
|
105
|
-
//
|
|
106
|
-
// We know that `v` is less than `1n << 1023` so we can calculate a remainder using
|
|
107
|
-
// `Math.log2`.
|
|
108
|
-
const rem = BigInt(Math.log2(Number(v)) | 0);
|
|
109
|
-
// (v >> rem) is either `0` or `1`, and it's used as a correction for
|
|
110
|
-
// Math.log2 rounding.
|
|
111
|
-
return result + rem + (v >> rem);
|
|
112
|
-
};
|
|
113
|
-
const benchmark = f => () => {
|
|
114
|
-
let e = 1048575n;
|
|
115
|
-
let c = 1n << e;
|
|
116
|
-
for (let i = 0n; i < 1_100; ++i) {
|
|
117
|
-
{
|
|
118
|
-
const x = f(c);
|
|
119
|
-
assertEq(x, e);
|
|
120
|
-
}
|
|
121
|
-
{
|
|
122
|
-
const x = f(c - 1n);
|
|
123
|
-
assertEq(x, e - 1n, [e, x]);
|
|
124
|
-
}
|
|
125
|
-
c >>= 1n;
|
|
126
|
-
--e;
|
|
127
|
-
}
|
|
128
|
-
};
|
|
129
|
-
const benchmarkSmall = f => () => {
|
|
130
|
-
let e = 2000n;
|
|
131
|
-
let c = 1n << e;
|
|
132
|
-
do {
|
|
133
|
-
{
|
|
134
|
-
const x = f(c);
|
|
135
|
-
assertEq(x, e, [e, x]);
|
|
136
|
-
}
|
|
137
|
-
for (let j = 1n; j < min(c >> 1n)(1000n); ++j) {
|
|
138
|
-
const x = f(c - j);
|
|
139
|
-
assertEq(x, e - 1n, [j, e, x]);
|
|
140
|
-
}
|
|
141
|
-
c >>= 1n;
|
|
142
|
-
--e;
|
|
143
|
-
} while (c !== 0n);
|
|
144
|
-
};
|
|
145
|
-
export const proof = {
|
|
146
|
-
example: () => {
|
|
147
|
-
const total = sum([1n, 2n, 3n]); // 6n
|
|
148
|
-
assertEq(total, 6n);
|
|
149
|
-
const absoluteValue = abs(-42n); // 42n
|
|
150
|
-
assertEq(absoluteValue, 42n);
|
|
151
|
-
const logValue = log2(8n); // 3n
|
|
152
|
-
assertEq(logValue, 3n);
|
|
153
|
-
const bitCount = bitLength(255n); // 8n
|
|
154
|
-
assertEq(bitCount, 8n);
|
|
155
|
-
const bitmask = mask(5n); // 31n
|
|
156
|
-
assertEq(bitmask, 31n, benchmark);
|
|
157
|
-
const m = min(3n)(13n); // 3n
|
|
158
|
-
assertEq(m, 3n);
|
|
159
|
-
const c = combination(3n, 2n, 1n); // 60n
|
|
160
|
-
assertEq(c, 60n);
|
|
161
|
-
},
|
|
162
|
-
benchmark: () => {
|
|
163
|
-
const list = {
|
|
164
|
-
// strBinLog2,
|
|
165
|
-
// strHexLog2,
|
|
166
|
-
str32Log2,
|
|
167
|
-
// oldLog2,
|
|
168
|
-
// clz32Log2,
|
|
169
|
-
// m1023log2,
|
|
170
|
-
log2,
|
|
171
|
-
};
|
|
172
|
-
const transform = (b) => Object.fromEntries(Object.entries(list).map(([k, f]) => [k, b(f)]));
|
|
173
|
-
return {
|
|
174
|
-
big: transform(benchmark),
|
|
175
|
-
small: transform(benchmarkSmall),
|
|
176
|
-
};
|
|
177
|
-
},
|
|
178
|
-
mask: () => {
|
|
179
|
-
const result = mask(3n); // 7n
|
|
180
|
-
assertEq(result, 7n);
|
|
181
|
-
},
|
|
182
|
-
sum: () => {
|
|
183
|
-
const result = sum([2n, 3n, 4n, 5n]);
|
|
184
|
-
assertEq(result, 14n);
|
|
185
|
-
},
|
|
186
|
-
abs: [
|
|
187
|
-
() => {
|
|
188
|
-
const result = abs(10n);
|
|
189
|
-
assertEq(result, 10n);
|
|
190
|
-
},
|
|
191
|
-
() => {
|
|
192
|
-
const result = abs(-10n);
|
|
193
|
-
assertEq(result, 10n);
|
|
194
|
-
}
|
|
195
|
-
],
|
|
196
|
-
serialize: [
|
|
197
|
-
() => {
|
|
198
|
-
const result = serialize(0n);
|
|
199
|
-
assertEq(result, '0n');
|
|
200
|
-
},
|
|
201
|
-
() => {
|
|
202
|
-
const result = serialize(123456789012345678901234567890n);
|
|
203
|
-
assertEq(result, '123456789012345678901234567890n');
|
|
204
|
-
},
|
|
205
|
-
() => {
|
|
206
|
-
const result = serialize(-55555n);
|
|
207
|
-
assertEq(result, '-55555n');
|
|
208
|
-
},
|
|
209
|
-
],
|
|
210
|
-
log2: [
|
|
211
|
-
() => {
|
|
212
|
-
const result = log2(-3n);
|
|
213
|
-
assertEq(result, -1n);
|
|
214
|
-
},
|
|
215
|
-
() => {
|
|
216
|
-
const result = log2(0n);
|
|
217
|
-
assertEq(result, -1n);
|
|
218
|
-
},
|
|
219
|
-
() => {
|
|
220
|
-
const result = log2(1n);
|
|
221
|
-
assertEq(result, 0n);
|
|
222
|
-
},
|
|
223
|
-
() => {
|
|
224
|
-
const result = log2(2n);
|
|
225
|
-
assertEq(result, 1n);
|
|
226
|
-
},
|
|
227
|
-
() => {
|
|
228
|
-
const result = log2(3n);
|
|
229
|
-
assertEq(result, 1n);
|
|
230
|
-
},
|
|
231
|
-
() => {
|
|
232
|
-
const result = log2(4n);
|
|
233
|
-
assertEq(result, 2n);
|
|
234
|
-
},
|
|
235
|
-
() => {
|
|
236
|
-
const result = log2(7n);
|
|
237
|
-
assertEq(result, 2n);
|
|
238
|
-
},
|
|
239
|
-
() => {
|
|
240
|
-
const result = log2(8n);
|
|
241
|
-
assertEq(result, 3n);
|
|
242
|
-
},
|
|
243
|
-
() => {
|
|
244
|
-
const result = log2(15n);
|
|
245
|
-
assertEq(result, 3n);
|
|
246
|
-
},
|
|
247
|
-
() => {
|
|
248
|
-
const result = log2(16n);
|
|
249
|
-
assertEq(result, 4n);
|
|
250
|
-
},
|
|
251
|
-
() => {
|
|
252
|
-
// max for Bun (131_072 Bytes)
|
|
253
|
-
const v = 1048575n;
|
|
254
|
-
const result = log2(1n << v);
|
|
255
|
-
assertEq(result, v);
|
|
256
|
-
},
|
|
257
|
-
() => {
|
|
258
|
-
const v = 0x18945n;
|
|
259
|
-
const result = log2(v);
|
|
260
|
-
assertEq(result, 16n);
|
|
261
|
-
}
|
|
262
|
-
],
|
|
263
|
-
toString2: () => {
|
|
264
|
-
// max for Bun (131_072 Bytes)
|
|
265
|
-
const v = 1048575n;
|
|
266
|
-
const result = (1n << v).toString(2).length - 1;
|
|
267
|
-
assertEq(result, 1_048_575);
|
|
268
|
-
},
|
|
269
|
-
minus: () => {
|
|
270
|
-
let i = 0n;
|
|
271
|
-
while (i < 1048575n) {
|
|
272
|
-
const s = -i;
|
|
273
|
-
assertEq(i, -s, [i, s]);
|
|
274
|
-
i += 1n;
|
|
275
|
-
}
|
|
276
|
-
},
|
|
277
|
-
not: () => {
|
|
278
|
-
let i = 0n;
|
|
279
|
-
while (i < 1048575n) {
|
|
280
|
-
const s = ~i;
|
|
281
|
-
assertEq(i, ~s, [i, s]);
|
|
282
|
-
i += 1n;
|
|
283
|
-
}
|
|
284
|
-
},
|
|
285
|
-
bitLen: {
|
|
286
|
-
0: () => {
|
|
287
|
-
const s = bitLength(0n);
|
|
288
|
-
assertEq(s, 0n);
|
|
289
|
-
},
|
|
290
|
-
m: () => {
|
|
291
|
-
let i = 0n;
|
|
292
|
-
while (i < 10000n) {
|
|
293
|
-
const s = bitLength(1n << i);
|
|
294
|
-
assertEq(s, i + 1n, [s, i]);
|
|
295
|
-
i += 1n;
|
|
296
|
-
}
|
|
297
|
-
},
|
|
298
|
-
big: () => {
|
|
299
|
-
const s = bitLength(1n << 1000000n);
|
|
300
|
-
assertEq(s, 1000001n);
|
|
301
|
-
},
|
|
302
|
-
neg: [
|
|
303
|
-
() => {
|
|
304
|
-
const s = bitLength(-1n);
|
|
305
|
-
assertEq(s, 1n);
|
|
306
|
-
},
|
|
307
|
-
() => {
|
|
308
|
-
const s = bitLength(-2n);
|
|
309
|
-
assertEq(s, 2n);
|
|
310
|
-
},
|
|
311
|
-
() => {
|
|
312
|
-
const s = bitLength(-3n);
|
|
313
|
-
assertEq(s, 2n);
|
|
314
|
-
},
|
|
315
|
-
() => {
|
|
316
|
-
const s = bitLength(-4n);
|
|
317
|
-
assertEq(s, 3n);
|
|
318
|
-
},
|
|
319
|
-
]
|
|
320
|
-
},
|
|
321
|
-
factorial: () => {
|
|
322
|
-
{
|
|
323
|
-
const r = factorial(3n);
|
|
324
|
-
assertEq(r, 6n);
|
|
325
|
-
}
|
|
326
|
-
{
|
|
327
|
-
const r = factorial(5n);
|
|
328
|
-
assertEq(r, 120n);
|
|
329
|
-
}
|
|
330
|
-
},
|
|
331
|
-
combination: () => {
|
|
332
|
-
const r = combination(2n, 3n);
|
|
333
|
-
assert(r == 120n / (2n * 6n), r);
|
|
334
|
-
},
|
|
335
|
-
combination50x50: () => {
|
|
336
|
-
{
|
|
337
|
-
const r = combination(1n, 1n);
|
|
338
|
-
assertEq(r, 2n);
|
|
339
|
-
}
|
|
340
|
-
{
|
|
341
|
-
const r = combination(2n, 2n);
|
|
342
|
-
assertEq(r, 6n);
|
|
343
|
-
}
|
|
344
|
-
{
|
|
345
|
-
const r = combination(3n, 3n);
|
|
346
|
-
assertEq(r, 20n);
|
|
347
|
-
}
|
|
348
|
-
{
|
|
349
|
-
const r = combination(4n, 4n);
|
|
350
|
-
assertEq(r, 70n);
|
|
351
|
-
}
|
|
352
|
-
},
|
|
353
|
-
combination3: () => {
|
|
354
|
-
const r = combination(2n, 3n, 4n, 2n);
|
|
355
|
-
// 2! * 3! * 4! * 2! : 2! * 2! * 3!
|
|
356
|
-
// 2+3+4+2 = 5*6*7*8*9*10*11
|
|
357
|
-
// e = 5 * 6 * 7 * 8 * 9 * 10 * 11 / (2n * 2n * 6n) =
|
|
358
|
-
// e = 5 * 7 * 2 * 9 * 10 * 11 = 69300
|
|
359
|
-
assertEq(r, 69300n);
|
|
360
|
-
},
|
|
361
|
-
divUp: () => {
|
|
362
|
-
assertEq(divUp(8n)(8n), 1n);
|
|
363
|
-
assertEq(divUp(8n)(15n), 2n);
|
|
364
|
-
},
|
|
365
|
-
roundUp: () => {
|
|
366
|
-
assertEq(roundUp(8n)(8n), 8n);
|
|
367
|
-
assertEq(roundUp(8n)(15n), 16n);
|
|
368
|
-
assertEq(roundUp(8n)(3n), 8n);
|
|
369
|
-
},
|
|
370
|
-
divUp8: () => {
|
|
371
|
-
assertEq(divUp8(0n), 0n);
|
|
372
|
-
assertEq(divUp8(1n), 1n);
|
|
373
|
-
assertEq(divUp8(8n), 1n);
|
|
374
|
-
assertEq(divUp8(8n), 1n);
|
|
375
|
-
assertEq(divUp8(9n), 2n);
|
|
376
|
-
assertEq(divUp8(15n), 2n);
|
|
377
|
-
},
|
|
378
|
-
roundUp8: () => {
|
|
379
|
-
assertEq(roundUp8(0n), 0n);
|
|
380
|
-
assertEq(roundUp8(1n), 8n);
|
|
381
|
-
assertEq(roundUp8(3n), 8n);
|
|
382
|
-
assertEq(roundUp8(8n), 8n);
|
|
383
|
-
assertEq(roundUp8(8n), 8n);
|
|
384
|
-
assertEq(roundUp8(9n), 16n);
|
|
385
|
-
assertEq(roundUp8(15n), 16n);
|
|
386
|
-
},
|
|
387
|
-
xor: () => {
|
|
388
|
-
assertEq(xor(5n)(3n), 6n);
|
|
389
|
-
assertEq(xor(0n)(15n), 15n);
|
|
390
|
-
assertEq(xor(0xffn)(0xf0n), 0x0fn);
|
|
391
|
-
},
|
|
392
|
-
multiple: () => {
|
|
393
|
-
assertEq(multiple(3n)(4n), 12n);
|
|
394
|
-
assertEq(multiple(0n)(100n), 0n);
|
|
395
|
-
},
|
|
396
|
-
product: () => {
|
|
397
|
-
assertEq(product([1n, 2n, 3n, 4n]), 24n);
|
|
398
|
-
assertEq(product([5n, 6n]), 30n);
|
|
399
|
-
},
|
|
400
|
-
};
|