functionalscript 0.3.3 → 0.3.5

package/types/btree/set/module.f.js

@@ -0,0 +1,103 @@
+import * as _ from "../types/module.f.js";
+import * as btreeFind from "../find/module.f.js";
+const { find } = btreeFind;
+import * as Cmp from "../../function/compare/module.f.js";
+import * as list from "../../list/module.f.js";
+const { fold } = list;
+const b57 = b => b.length === 5 ? [b] : [[b[0], b[1], b[2]], b[3], [b[4], b[5], b[6]]];
+const reduceOp = ([i, x]) => a => {
+    switch (i) {
+        case 0: {
+            switch (x.length) {
+                case 3: {
+                    return [[...a, x[1], x[2]]];
+                }
+                case 5: {
+                    return b57([...a, x[1], x[2], x[3], x[4]]);
+                }
+            }
+        }
+        case 2: {
+            switch (x.length) {
+                case 3: {
+                    return [[x[0], x[1], ...a]];
+                }
+                case 5: {
+                    return b57([x[0], x[1], ...a, x[3], x[4]]);
+                }
+            }
+        }
+        case 4: {
+            return b57([x[0], x[1], x[2], x[3], ...a]);
+        }
+    }
+};
+const reduceBranch = fold(reduceOp);
+const nodeSet = (c) => (g) => (node) => {
+    const { first, tail } = find(c)(node);
+    const [i, x] = first;
+    const f = () => {
+        switch (i) {
+            case 0: {
+                // insert
+                const value = g(null);
+                switch (x.length) {
+                    case 1: {
+                        return [[value, x[0]]];
+                    }
+                    case 2: {
+                        return [[value], x[0], [x[1]]];
+                    }
+                }
+            }
+            case 1: {
+                // replace
+                switch (x.length) {
+                    case 1: {
+                        return [[g(x[0])]];
+                    }
+                    case 2: {
+                        return [[g(x[0]), x[1]]];
+                    }
+                    case 3: {
+                        return [[x[0], g(x[1]), x[2]]];
+                    }
+                    case 5: {
+                        return [[x[0], g(x[1]), x[2], x[3], x[4]]];
+                    }
+                }
+            }
+            case 2: {
+                // insert
+                const value = g(null);
+                switch (x.length) {
+                    case 1: {
+                        return [[x[0], value]];
+                    }
+                    case 2: {
+                        return [[x[0]], value, [x[1]]];
+                    }
+                }
+            }
+            case 3: {
+                // replace
+                switch (x.length) {
+                    case 2: {
+                        return [[x[0], g(x[1])]];
+                    }
+                    case 5: {
+                        return [[x[0], x[1], x[2], g(x[3]), x[4]]];
+                    }
+                }
+            }
+            case 4: {
+                // insert
+                const [v0, v1] = x;
+                return [[v0], v1, [g(null)]];
+            }
+        }
+    };
+    const r = reduceBranch(f())(tail);
+    return r.length === 1 ? r[0] : r;
+};
+export const set = c => f => tree => tree === null ? [f(null)] : nodeSet(c)(f)(tree);

package/types/btree/set/test.f.d.ts

@@ -0,0 +1,2 @@
+declare const test: (() => void)[];
+export default test;

package/types/btree/set/test.f.js

@@ -0,0 +1,360 @@
+import * as _ from "./module.f.js";
+import * as BTree from "../types/module.f.js";
+import * as s from "../../string/module.f.js";
+const { cmp } = s;
+import * as json from "../../../json/module.f.js";
+import * as o from "../../object/module.f.js";
+const { sort } = o;
+const set = node => value => _.set(cmp(value))(() => value)(node);
+const jsonStr = json.stringify(sort);
+const test = [
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 10; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !== '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 11; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !== '[[["1"],"100",["121"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 12; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !== '[[["1"],"100",["121","144"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 13; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !== '[[["1"],"100",["121","144"]],"16",[["169"],"25",["36"]],"4",[["49"],"64",["81","9"]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 14; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !== '[[["1"],"100",["121","144"]],"16",[["169","196"],"25",["36"]],"4",[["49"],"64",["81","9"]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 15; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !== '[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"],"25",["36"]],"4",[["49"],"64",["81","9"]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 16; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !== '[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"],"25",["256","36"]],"4",[["49"],"64",["81","9"]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 17; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !== '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["36"]],"4",[["49"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 18; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["324","36"]],"4",[["49"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 19; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["324"],"36",["361"]],"4",[["49"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 20; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400","49"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 21; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["49"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 22; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484","49"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 23; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 24; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529","576"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 25; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529"],"576",["625"],"64",["81","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 26; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"81",["9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 27; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676","729"],"81",["9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 28; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"],"81",["9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 29; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"],"81",["841","9"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 30; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 31; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 32; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["1024"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 33; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["1024","1089"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 34; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 35; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 36; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"],"1296",["144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 37; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"],"1296",["1369","144"]],"16",[["169"],"196",["225"]]],' +
+                '"25",' +
+                '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]') {
+            throw r;
+        }
+    },
+    () => {
+        let _map = ['1'];
+        for (let i = 2; i <= 38; i++)
+            _map = set(_map)((i * i).toString());
+        const r = jsonStr(_map);
+        if (r !==
+            '[[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"]]],' +
+                '"1296",' +
+                '[[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]]],' +
+                '"25",' +
+                '[[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+                '"49",' +
+                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]]') {
+            throw r;
+        }
+    }
+];
+export default test;

package/types/btree/test.f.d.ts

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

package/types/btree/test.f.js

@@ -0,0 +1,75 @@
+import * as BTree from "./types/module.f.js";
+import * as _ from "./module.f.js";
+const { values } = _;
+import * as json from "../../json/module.f.js";
+import * as o from "../object/module.f.js";
+const { sort } = o;
+import * as str from "../string/module.f.js";
+const { cmp } = str;
+import * as list from "../list/module.f.js";
+import * as s from "./set/module.f.js";
+import * as f from "./find/module.f.js";
+const jsonStr = json.stringify(sort);
+const stringify = sequence => jsonStr(list.toArray(sequence));
+const set = node => value => s.set(cmp(value))(() => value)(node);
+const valueTest1 = () => {
+    let _map = ['a'];
+    _map = set(_map)('b');
+    _map = set(_map)('c');
+    _map = set(_map)('d');
+    _map = set(_map)('e');
+    _map = set(_map)('f');
+    let result = stringify(values(_map));
+    if (result !== '["a","b","c","d","e","f"]') {
+        throw result;
+    }
+};
+const valuesTest2 = () => {
+    let _map = ['1'];
+    for (let i = 2; i <= 10; i++)
+        _map = set(_map)((i * i).toString());
+    let result = stringify(values(_map));
+    if (result !== '["1","100","16","25","36","4","49","64","81","9"]') {
+        throw result;
+    }
+};
+const findTrue = () => {
+    let _map = ['a'];
+    _map = set(_map)('b');
+    _map = set(_map)('c');
+    const result = f.value(f.find(cmp('b'))(_map).first);
+    if (result !== 'b') {
+        throw result;
+    }
+};
+const find = () => {
+    let _map = ['a'];
+    _map = set(_map)('b');
+    _map = set(_map)('c');
+    const result = f.value(f.find(cmp('e'))(_map).first);
+    if (result !== null) {
+        throw result;
+    }
+};
+const test = () => {
+    let _map = ['a'];
+    _map = set(_map)('b');
+    _map = set(_map)('c');
+    _map = set(_map)('d');
+    _map = set(_map)('e');
+    _map = set(_map)('f');
+    //
+    {
+        let _item = list.next(values(_map));
+        while (_item !== null) {
+            _item = list.next(_item.tail);
+        }
+    }
+};
+export default {
+    valueTest1,
+    valuesTest2,
+    findTrue,
+    find,
+    test,
+};

package/types/btree/types/module.f.d.ts

@@ -0,0 +1,11 @@
+type Array1<T> = readonly [T];
+type Array2<T> = readonly [T, T];
+export type Leaf1<T> = Array1<T>;
+export type Leaf2<T> = Array2<T>;
+export type Branch3<T> = readonly [TNode<T>, T, TNode<T>];
+export type Branch5<T> = readonly [TNode<T>, T, TNode<T>, T, TNode<T>];
+export type TNode<T> = Leaf1<T> | Leaf2<T> | Branch3<T> | Branch5<T>;
+export type Tree<T> = TNode<T> | null;
+export type Branch1<T> = readonly [TNode<T>];
+export type Branch7<T> = readonly [...Branch5<T>, T, TNode<T>];
+export {};

package/types/btree/types/module.f.js

@@ -0,0 +1 @@
+export {};

package/types/byte_set/module.f.d.ts

@@ -0,0 +1,16 @@
+import * as RangeMap from '../range_map/module.f.ts';
+import * as SortedSet from '../sorted_set/module.f.ts';
+export type ByteSet = bigint;
+type Byte = number;
+export declare const has: (n: Byte) => (s: ByteSet) => boolean;
+export declare const empty = 0n;
+export declare const universe = 115792089237316195423570985008687907853269984665640564039457584007913129639935n;
+export declare const one: (n: Byte) => ByteSet;
+export declare const range: (r: readonly [Byte, Byte]) => ByteSet;
+export declare const union: (a: ByteSet) => (b: ByteSet) => ByteSet;
+export declare const complement: (n: ByteSet) => ByteSet;
+export declare const set: (_: number) => (b: ByteSet) => ByteSet;
+export declare const setRange: (_: readonly [number, number]) => (b: ByteSet) => ByteSet;
+export declare const unset: (n: Byte) => (s: ByteSet) => ByteSet;
+export declare const toRangeMap: (n: ByteSet) => (s: string) => RangeMap.RangeMap<SortedSet.SortedSet<string>>;
+export {};

package/types/byte_set/module.f.js

@@ -0,0 +1,28 @@
+import { compose } from "../function/module.f.js";
+import * as RangeMap from "../range_map/module.f.js";
+import * as SortedSet from "../sorted_set/module.f.js";
+import * as list from "../list/module.f.js";
+const { reverse, countdown, flat, map } = list;
+export const has = n => s => ((s >> BigInt(n)) & 1n) === 1n;
+// create a set
+export const empty = 0n;
+//                        0    1    2    3    4    5    6    7    8    9    A    B    C    D    E    F
+export const universe = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn;
+export const one = n => 1n << BigInt(n);
+export const range = ([b, e]) => one(e - b + 1) - 1n << BigInt(b);
+// set operations
+export const union = a => b => a | b;
+const intersect = a => b => a & b;
+export const complement = n => universe ^ n;
+const difference = compose(intersect)(compose(complement));
+// additional operations
+export const set = compose(one)(union);
+export const setRange = compose(range)(union);
+export const unset = n => s => difference(s)(one(n));
+const counter = reverse(countdown(256));
+const toRangeMapOp = n => s => i => {
+    const current = has(i + 1)(n);
+    const prev = has(i)(n);
+    return current === prev ? null : [[prev ? [s] : [], i]];
+};
+export const toRangeMap = n => s => flat(map(toRangeMapOp(n)(s))(counter));

package/types/byte_set/test.f.d.ts

@@ -0,0 +1,12 @@
+declare const _default: {
+    has: (() => void)[];
+    setRange: () => void;
+    unset: (() => void)[];
+    universe: () => void;
+    compliment: {
+        empty: () => void;
+        universe: () => void;
+    };
+    toRangeMap: (() => void)[];
+};
+export default _default;