functionalscript 0.43.0 → 0.44.0

package/fjs/types/btree/remove/proof.f.js

@@ -1,484 +0,0 @@
-import { nodeRemove } from './module.f.js';
-import { set as setSet } from '../set/module.f.js';
-import { cmp } from '../../string/module.f.js';
-import { stringify } from '../../../media/json/module.f.js';
-import { sort } from '../../object/module.f.js';
-import { assertEq, assertNotNullish } from '../../../asserts/module.f.js';
-const set = (node) => (value) => setSet(cmp(value))(() => value)(node);
-const remove = (node) => (value) => nodeRemove(cmp(value))(node);
-const jsonStr = stringify(sort);
-const test = () => {
-    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;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("0"), null);
-        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;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("1"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["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;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("4"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]],' +
-                '"25",' +
-                '[[["256"],"289",["324"]],"36",[["361"],"400",["441","484"]]],' +
-                '"49",' +
-                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("9"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]],' +
-                '"25",' +
-                '[[["256"],"289",["324"]],"36",[["361"],"400",["441","484"]]],' +
-                '"49",' +
-                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("16"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]]],' +
-                '"25",' +
-                '[[["256"],"289",["324"]],"36",[["361"],"400",["441","484"]]],' +
-                '"49",' +
-                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("25"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289","324"],"36",["361"],"400",["441","484"]]],' +
-                '"49",' +
-                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("36"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"49",' +
-                '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("49"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576","625"],"64",["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("64"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("81"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("100"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("121"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("144"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("169"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"196",["225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("196"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("225"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("256"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],"289",[["324","361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("289"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],"324",[["361"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("324"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],"361",[["400"],"441",["484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("361"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"400",["441","484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("400"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"441",["484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("441"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["484"]]],' +
-                '"529",' +
-                '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("484"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],' +
-                '"529",' +
-                '[["576"],"625",["676"]],' +
-                '"729",' +
-                '[["784"],"841",["900","961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("529"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"576",["625","676"]],' +
-                '"729",' +
-                '[["784"],"841",["900","961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("576"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"625",["676"]],' +
-                '"729",' +
-                '[["784"],"841",["900","961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("625"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["676"]],' +
-                '"729",' +
-                '[["784"],"841",["900","961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("676"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],' +
-                '"729",' +
-                '[["784"],"841",["900","961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("729"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],' +
-                '"784",' +
-                '[["841"],"900",["961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("784"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"841",["900","961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("841"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"900",["961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("900"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["961"]]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("961"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("1024"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[["1089"],"1156",["1225"],"1296",["1369","1444"]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("1089"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[["1156","1225"],"1296",["1369","1444"]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("1156"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[["1225"],"1296",["1369","1444"]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("1225"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '[["1296"],"1369",["1444"]]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("1296"), null);
-        const r = jsonStr(_map);
-        if (r !==
-            '["1369","1444"]') {
-            throw r;
-        }
-    }
-    {
-        _map = assertNotNullish(remove(_map)("1369"), null);
-        const r = jsonStr(_map);
-        assertEq(r, '["1444"]');
-    }
-    {
-        _map = remove(_map)("1444");
-        assertEq(_map, null);
-    }
-};
-const test2 = () => {
-    let _map = ['1'];
-    for (let i = 2; i <= 10; i++)
-        _map = set(_map)((i * i).toString());
-    assertEq(_map.length, 3, _map);
-    let _s = jsonStr(_map);
-    assertEq(_s, '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]');
-    {
-        _map = assertNotNullish(remove(_map)("4"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '[[["1","100"],"16",["25","36"]],"49",[["64"],"81",["9"]]]');
-    }
-    {
-        _map = assertNotNullish(remove(_map)("49"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '[["1","100"],"16",["25","36"],"64",["81","9"]]');
-    }
-    {
-        _map = assertNotNullish(remove(_map)("64"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '[["1","100"],"16",["25","36"],"81",["9"]]');
-    }
-    {
-        _map = assertNotNullish(remove(_map)("81"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '[["1","100"],"16",["25"],"36",["9"]]');
-    }
-    {
-        _map = assertNotNullish(remove(_map)("36"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '[["1","100"],"16",["25","9"]]');
-    }
-    {
-        _map = assertNotNullish(remove(_map)("16"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '[["1","100"],"25",["9"]]');
-    }
-    {
-        _map = assertNotNullish(remove(_map)("25"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '[["1"],"100",["9"]]');
-    }
-    {
-        _map = assertNotNullish(remove(_map)("100"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '["1","9"]');
-    }
-    {
-        _map = assertNotNullish(remove(_map)("9"), _map);
-        _s = jsonStr(_map);
-        assertEq(_s, '["1"]');
-    }
-    {
-        _map = remove(_map)("1");
-        assertEq(_map, null);
-    }
-};
-// Exercises the branch-merge-into-Branch5-sibling path in reduceValue0
-// (removing an underflowed left leaf merges into a 5-wide right branch).
-const test3 = () => {
-    let _map = ['1'];
-    for (let i = 2; i <= 50; i++)
-        _map = set(_map)(i.toString());
-    _map = assertNotNullish(remove(_map)('40'), _map);
-    _map = assertNotNullish(remove(_map)('10'), _map);
-    const r = jsonStr(_map);
-    if (r !==
-        '[[[[["1","11"],"12",["13"],"14",["15"]],"16",[["17"],"18",["19"]],"2",[["20"],"21",["22"]]],' +
-            '"23",' +
-            '[[["24"],"25",["26"]],"27",[["28"],"29",["3"]]]],' +
-            '"30",' +
-            '[[[["31"],"32",["33"]],"34",[["35"],"36",["37"],"38",["39"]]],' +
-            '"4",' +
-            '[[["41","42"],"43",["44"],"45",["46"]],"47",[["48"],"49",["5","50"]],"6",[["7"],"8",["9"]]]]]') {
-        throw r;
-    }
-};
-export const proof = {
-    test,
-    test2,
-    test3,
-};

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

@@ -1,8 +0,0 @@
-/**
- * Insertion and update operations for persistent B-tree structures.
- *
- * @module
- */
-import { type TNode, type Tree } from '../types/module.f.ts';
-import type { Compare } from '../../function/compare/module.f.ts';
-export declare const set: <T>(c: Compare<T>) => (f: (value: T | null) => T) => (tree: Tree<T>) => TNode<T>;

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

@@ -1,128 +0,0 @@
-/**
- * Insertion and update operations for persistent B-tree structures.
- *
- * @module
- */
-import { collapseRoot } from '../types/module.f.js';
-import { find } from '../find/module.f.js';
-import { fold } from '../../list/module.f.js';
-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) => {
-    // export type Result<T> = {
-    //    readonly first: First<T>,
-    //    readonly tail: Path<T>
-    //}
-    const { first, tail } = find(c)(node);
-    // export type Index2 = 0 | 1
-    // export type Index3 = Index2 | 2 // 0 | 1 | 2
-    // export type Index4 = Index3 | 3 // 0 | 1 | 2 | 3
-    // export type Index5 = Index4 | 4 // 0 | 1 | 2 | 3 | 4
-    // type FirstLeaf1<T> = readonly[Index3, Leaf1<T>]
-    // type FirstBranch3<T> = readonly[1, Branch3<T>]
-    // type FirstLeaf2<T> = readonly[Index5, Leaf2<T>]
-    // type FirstBranch5<T> = readonly[1|3, Branch5<T>]
-    // export type First<T> = FirstLeaf1<T> | FirstBranch3<T> | FirstLeaf2<T> | FirstBranch5<T>
-    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);
-                // TODO: remove after TSGO fix the regression.
-                // const _xl: 1|2 = x.length
-                switch (x.length) {
-                    case 1: {
-                        return [[x[0], value]];
-                    }
-                    case 2: {
-                        return [[x[0]], value, [x[1]]];
-                    }
-                }
-                // TODO: remove after TSGO fix the regression.
-                // See https://github.com/microsoft/typescript-go/issues/4613
-                throw 'unreachable';
-            }
-            case 3: {
-                // replace
-                // TODO: remove after TSGO fix the regression.
-                // const _xl: 2|5 = x.length
-                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]]];
-                    }
-                }
-                // TODO: remove after TSGO fix the regression.
-                throw 'unreachable';
-            }
-            case 4: {
-                // insert
-                // TODO: remove after TSGO fix the regression.
-                // const _xl: 2 = x.length
-                const [v0, v1] = x;
-                return [[v0], v1, [g(null)]];
-            }
-        }
-    };
-    return collapseRoot(reduceBranch(f())(tail));
-};
-export const set = c => f => tree => tree === null ? [f(null)] : nodeSet(c)(f)(tree);