functionalscript 0.36.0 → 0.38.0

package/fs/types/bigfloat/proof.f.js

@@ -1,348 +0,0 @@
-import { decToBin } from "./module.f.js";
-export const proof = {
-    decToBin: [
-        () => {
-            const result = decToBin([0n, 0]);
-            if (result[0] !== 0n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 0) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([0n, 10]);
-            if (result[0] !== 0n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 0) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([0n, -10]);
-            if (result[0] !== 0n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 0) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([1n, 0]);
-            if (result[0] !== 4503599627370496n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== -52) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([1n, 1]);
-            if (result[0] !== 5629499534213120n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== -49) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([1000n, -2]);
-            if (result[0] !== 5629499534213120n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== -49) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([1n, -1]);
-            if (result[0] !== 7205759403792794n) {
-                throw result[0].toString(2);
-            } //+1
-            if (result[1] !== -56) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-1n, 0]);
-            if (result[0] !== -4503599627370496n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== -52) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-1n, 1]);
-            if (result[0] !== -5629499534213120n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== -49) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-1000n, -2]);
-            if (result[0] !== -5629499534213120n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== -49) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-1n, -1]);
-            if (result[0] !== -7205759403792794n) {
-                throw result[0].toString(2);
-            } //+1
-            if (result[1] !== -56) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([9007199254740993n, 0]); //54bits (...0.1)
-            if (result[0] !== 4503599627370496n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 1) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-9007199254740995n, 0]); //54bits (...1.1)
-            if (result[0] !== -4503599627370498n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 1) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-9007199254740993n, 0]); //54bits (...0.1)
-            if (result[0] !== -4503599627370496n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 1) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-9007199254740995n, 0]); //54bits (...1.1)
-            if (result[0] !== -4503599627370498n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 1) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([18014398509481985n, 0]); //55bits (...0.01)
-            if (result[0] !== 4503599627370496n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([18014398509481986n, 0]); //55bits (...0.10)
-            if (result[0] !== 4503599627370496n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([18014398509481990n, 0]); //55bits (...1.10)
-            if (result[0] !== 4503599627370498n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([18014398509481987n, 0]); //55bits (0.11)
-            if (result[0] !== 4503599627370497n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-    ],
-    roundingPositive: [
-        () => {
-            const result = decToBin([288230376151711745n, -1]);
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011001.101
-            // rounding up
-            if (result[0] !== 7205759403792794n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([288230376151711760n, -1]);
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011010.000
-            // rounding down
-            if (result[0] !== 7205759403792794n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([288230376151711780n, -1]);
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011010.100
-            // rounding down (to even)
-            if (result[0] !== 7205759403792794n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([288230376151711781n, -1]);
-            // reminder = 1
-            // m = 11001100110011001100110011001100110011001100110011010.100
-            // rounding up
-            if (result[0] !== 7205759403792795n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([288230376151711785n, -1]);
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011010.101
-            // rounding up
-            if (result[0] !== 7205759403792795n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([288230376151711805n, -1]);
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011011.001
-            // rounding down
-            if (result[0] !== 7205759403792795n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([288230376151711820n, -1]);
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011011.100
-            // rounding up (to even)
-            if (result[0] !== 7205759403792796n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        }
-    ],
-    roundingNegative: [
-        () => {
-            const result = decToBin([-288230376151711745n, -1]);
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011001.101
-            // rounding down
-            if (result[0] !== -7205759403792794n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-288230376151711760n, -1]);
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011010.000
-            // rounding up
-            if (result[0] !== -7205759403792794n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-288230376151711780n, -1]);
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011010.100
-            // rounding up (to even)
-            if (result[0] !== -7205759403792794n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-288230376151711781n, -1]);
-            // reminder = 1
-            // m = -11001100110011001100110011001100110011001100110011010.100
-            // rounding down
-            if (result[0] !== -7205759403792795n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-288230376151711785n, -1]);
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011010.101
-            // rounding down
-            if (result[0] !== -7205759403792795n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-288230376151711805n, -1]);
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011011.001
-            // rounding up
-            if (result[0] !== -7205759403792795n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        },
-        () => {
-            const result = decToBin([-288230376151711820n, -1]);
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011011.100
-            // rounding down (to even)
-            if (result[0] !== -7205759403792796n) {
-                throw result[0].toString(2);
-            }
-            if (result[1] !== 2) {
-                throw result[1];
-            }
-        }
-    ]
-};

package/fs/types/btree/find/proof.f.js

@@ -1,151 +0,0 @@
-import { find as btreeFind } from "./module.f.js";
-import { map, toArray } from "../../list/module.f.js";
-import { stringify } from "../../../json/module.f.js";
-import { sort } from "../../object/module.f.js";
-import {} from "../types/module.f.js";
-import { cmp } from "../../string/module.f.js";
-import { set as setSet } from "../set/module.f.js";
-const jsonStr = stringify(sort);
-const set = node => value => setSet(cmp(value))(() => value)(node);
-const str = r => jsonStr(toArray(map((x) => x[0])(r)));
-const find = i => m => str(btreeFind(cmp(i))(m));
-const test = () => {
-    let _map = ['1'];
-    for (let i = 2; i <= 10; i++) {
-        _map = set(_map)((i * i).toString());
-    }
-    {
-        const s = jsonStr(_map);
-        if (s !== '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') {
-            throw s;
-        }
-    }
-    //
-    {
-        const r = find("0")(_map);
-        if (r !== '[0,0,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("1")(_map);
-        if (r !== '[1,0,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("10")(_map);
-        if (r !== '[2,0,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("100")(_map);
-        if (r !== '[3,0,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("12")(_map);
-        if (r !== '[4,0,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("16")(_map);
-        if (r !== '[1,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("17")(_map);
-        if (r !== '[0,2,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("25")(_map);
-        if (r !== '[1,2,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("26")(_map);
-        if (r !== '[2,2,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("36")(_map);
-        if (r !== '[3,2,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("37")(_map);
-        if (r !== '[4,2,0]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("4")(_map);
-        if (r !== '[1]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("41")(_map);
-        if (r !== '[0,0,2]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("49")(_map);
-        if (r !== '[1,0,2]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("5")(_map);
-        if (r !== '[2,0,2]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("64")(_map);
-        if (r !== '[1,2]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("65")(_map);
-        if (r !== '[0,2,2]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("81")(_map);
-        if (r !== '[1,2,2]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("85")(_map);
-        if (r !== '[2,2,2]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("9")(_map);
-        if (r !== '[3,2,2]') {
-            throw r;
-        }
-    }
-    {
-        const r = find("91")(_map);
-        if (r !== '[4,2,2]') {
-            throw r;
-        }
-    }
-};
-export const proof = test;

package/fs/types/btree/proof.f.d.ts

@@ -1,7 +0,0 @@
-export declare const proof: {
-    valueTest1: () => void;
-    valuesTest2: () => void;
-    findTrue: () => void;
-    find: () => void;
-    test: () => void;
-};

package/fs/types/btree/remove/proof.f.d.ts

@@ -1,4 +0,0 @@
-export declare const proof: {
-    test: () => void;
-    test2: () => void;
-};

package/fs/types/byte_set/proof.f.js

@@ -1,120 +0,0 @@
-import { has, empty, set, setRange, unset, universe, complement, toRangeMap } from "./module.f.js";
-import { every, countdown, map, toArray } from "../list/module.f.js";
-import { stringify as jsonStringify } from "../../json/module.f.js";
-import { sort } from "../object/module.f.js";
-const stringify = jsonStringify(sort);
-export const proof = {
-    has: [
-        () => {
-            if (has(0)(empty)) {
-                throw empty;
-            }
-            if (has(1)(empty)) {
-                throw empty;
-            }
-            if (has(33)(empty)) {
-                throw empty;
-            }
-        },
-        () => {
-            const s = set(0)(empty);
-            if (s !== 1n) {
-                throw s;
-            }
-            if (!has(0)(s)) {
-                throw s;
-            }
-            if (has(1)(s)) {
-                throw s;
-            }
-            if (has(33)(s)) {
-                throw s;
-            }
-        },
-        () => {
-            const s = set(33)(empty);
-            if (s !== 8589934592n) {
-                throw s;
-            }
-            if (has(0)(s)) {
-                throw s;
-            }
-            if (has(1)(s)) {
-                throw s;
-            }
-            if (!has(33)(s)) {
-                throw s;
-            }
-        }
-    ],
-    setRange: () => {
-        const result = setRange([2, 5])(empty);
-        if (result !== 60n) {
-            throw result;
-        }
-    },
-    unset: [
-        () => {
-            const a = set(0)(empty);
-            const result = unset(0)(a);
-            if (result !== 0n) {
-                throw result;
-            }
-        },
-        () => {
-            const a = set(255)(empty);
-            const result = unset(255)(a);
-            if (result !== 0n) {
-                throw result;
-            }
-        }
-    ],
-    universe: () => {
-        const x = every(map((v) => has(v)(universe))(countdown(256)));
-        if (!x) {
-            throw x;
-        }
-    },
-    compliment: {
-        empty: () => {
-            const r = complement(empty);
-            if (r !== universe) {
-                throw r;
-            }
-        },
-        universe: () => {
-            const r = complement(universe);
-            if (r !== empty) {
-                throw r;
-            }
-        },
-    },
-    toRangeMap: [
-        () => {
-            const result = stringify(toArray(toRangeMap(empty)('a')));
-            if (result !== '[]') {
-                throw result;
-            }
-        },
-        () => {
-            const s = set(0)(empty);
-            const result = stringify(toArray(toRangeMap(s)('a')));
-            if (result !== '[[["a"],0]]') {
-                throw result;
-            }
-        },
-        () => {
-            const s = setRange([1, 2])(empty);
-            const result = stringify(toArray(toRangeMap(s)('a')));
-            if (result !== '[[[],0],[["a"],2]]') {
-                throw result;
-            }
-        },
-        () => {
-            const result = stringify(toArray(toRangeMap(universe)('a')));
-            if (result !== '[[["a"],255]]') {
-                throw result;
-            }
-        },
-    ]
-};

package/fs/types/function/operator/proof.f.d.ts

@@ -1,12 +0,0 @@
-export declare const proof: {
-    joinTest: () => void;
-    concatTest: () => void;
-    logicalNotTest: () => void;
-    strictEqualTest: () => void;
-    additionTest: () => void;
-    incrementTest: () => void;
-    counterTest: () => void;
-    stateScanToScanTest: () => void;
-    foldToScanTest: () => void;
-    reduceToScanTest: () => void;
-};

package/fs/types/list/proof.f.d.ts

@@ -1,22 +0,0 @@
-export declare const proof: {
-    stringifyTest: () => void;
-    cycle: (() => void)[];
-    countdown: () => void;
-    flat: () => void;
-    concat: () => void;
-    flatMap: () => void;
-    take: (() => void)[];
-    find: (() => void)[];
-    takeWhile: (() => void)[];
-    dropWhile: () => void;
-    drop: (() => void)[];
-    additionTests: (() => void)[];
-    entries: (() => void)[];
-    reverse: (() => void)[];
-    zip: (() => void)[];
-    logic: () => (() => void)[];
-    strictEqual: (() => void)[];
-    isEmpty: (() => void)[];
-    length: () => void;
-    filterMap: (() => void)[];
-};