functionalscript 0.3.4 → 0.3.6

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

@@ -1,498 +0,0 @@
-import * as _ from './module.f.ts'
-import * as BTree from '../types/module.f.ts'
-import * as s from '../set/module.f.ts'
-import * as str from '../../string/module.f.ts'
-const { cmp } = str
-import * as json from '../../../json/module.f.ts'
-import * as o from '../../object/module.f.ts'
-const { sort } = o
-
-const set
-    : (node: BTree.TNode<string>) => (value: string) => BTree.TNode<string>
-    = node => value => s.set(cmp(value))(() => value)(node)
-
-const remove
-    : (node: BTree.TNode<string>) => (value: string) => BTree.TNode<string> | null
-    = node => value => _.nodeRemove(cmp(value))(node)
-
-const jsonStr = json.stringify(sort)
-
-const test = () => {
-    let _map
-        : BTree.TNode<string> | null
-        = ['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 = remove(_map)("0")
-        if (_map === null) { throw 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 = remove(_map)("1")
-        if (_map === null) { throw 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 = remove(_map)("4")
-        if (_map === null) { throw 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 = remove(_map)("9")
-        if (_map === null) { throw 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 = remove(_map)("16")
-        if (_map === null) { throw 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 = remove(_map)("25")
-        if (_map === null) { throw 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 = remove(_map)("36")
-        if (_map === null) { throw 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 = remove(_map)("49")
-        if (_map === null) { throw 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 = remove(_map)("64")
-        if (_map === null) { throw 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 = remove(_map)("81")
-        if (_map === null) { throw 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 = remove(_map)("100")
-        if (_map === null) { throw 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 = remove(_map)("121")
-        if (_map === null) { throw 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 = remove(_map)("144")
-        if (_map === null) { throw 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 = remove(_map)("169")
-        if (_map === null) { throw 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 = remove(_map)("196")
-        if (_map === null) { throw 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 = remove(_map)("225")
-        if (_map === null) { throw 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 = remove(_map)("256")
-        if (_map === null) { throw 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 = remove(_map)("289")
-        if (_map === null) { throw 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 = remove(_map)("324")
-        if (_map === null) { throw 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 = remove(_map)("361")
-        if (_map === null) { throw 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 = remove(_map)("400")
-        if (_map === null) { throw 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 = remove(_map)("441")
-        if (_map === null) { throw 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 = remove(_map)("484")
-        if (_map === null) { throw 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 = remove(_map)("529")
-        if (_map === null) { throw 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 = remove(_map)("576")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"625",["676"]],' +
-            '"729",' +
-            '[["784"],"841",["900","961"]]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("625")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["676"]],' +
-            '"729",' +
-            '[["784"],"841",["900","961"]]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("676")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],' +
-            '"729",' +
-            '[["784"],"841",["900","961"]]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("729")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],' +
-            '"784",' +
-            '[["841"],"900",["961"]]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("784")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"841",["900","961"]]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("841")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"900",["961"]]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("900")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["961"]]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("961")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("1024")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[["1089"],"1156",["1225"],"1296",["1369","1444"]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("1089")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[["1156","1225"],"1296",["1369","1444"]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("1156")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[["1225"],"1296",["1369","1444"]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("1225")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '[["1296"],"1369",["1444"]]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("1296")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !==
-            '["1369","1444"]'
-        ) { throw r }
-    }
-    {
-        _map = remove(_map)("1369")
-        if (_map === null) { throw null }
-        const r = jsonStr(_map)
-        if (r !== '["1444"]') { throw r }
-    }
-    {
-        _map = remove(_map)("1444")
-        if (_map !== null) { throw _map }
-    }
-}
-
-const test2 = () => {
-    let _map
-        : BTree.TNode<string>|null
-        = ['1']
-    for (let i = 2; i <= 10; i++)
-        _map = set(_map)((i * i).toString())
-    if (_map.length !== 3) { throw _map }
-    let _s = jsonStr(_map)
-    if (_s !== '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') { throw _s }
-
-    {
-        _map = remove(_map)("4")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '[[["1","100"],"16",["25","36"]],"49",[["64"],"81",["9"]]]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("49")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '[["1","100"],"16",["25","36"],"64",["81","9"]]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("64")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '[["1","100"],"16",["25","36"],"81",["9"]]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("81")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '[["1","100"],"16",["25"],"36",["9"]]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("36")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '[["1","100"],"16",["25","9"]]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("16")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '[["1","100"],"25",["9"]]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("25")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '[["1"],"100",["9"]]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("100")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '["1","9"]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("9")
-        if (_map === null) { throw _map }
-        _s = jsonStr(_map);
-        if (_s !== '["1"]') { throw _s }
-    }
-
-    {
-        _map = remove(_map)("1")
-        if (_map !== null) { throw _map }
-    }
-}
-
-export default {
-    test,
-    test2,
-}

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

@@ -1,89 +0,0 @@
-import * as _ from '../types/module.f.ts'
-import * as btreeFind from '../find/module.f.ts'
-const { find } = btreeFind
-import * as Cmp from '../../function/compare/module.f.ts'
-import * as list from '../../list/module.f.ts'
-const { fold } = list
-
-type Branch1To3<T> = _.Branch1<T> | _.Branch3<T>
-
-const b57
-    : <T>(b: _.Branch5<T> | _.Branch7<T>) => Branch1To3<T>
-    = b => b.length === 5 ? [b] : [[b[0], b[1], b[2]], b[3], [b[4], b[5], b[6]]]
-
-const reduceOp
-    : <T>(i: btreeFind.PathItem<T>) => (a: Branch1To3<T>) => Branch1To3<T>
-    = ([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
-    = <T>(c: Cmp.Compare<T>) => (g: (value: T | null) => T) => (node: _.TNode<T>): _.TNode<T> => {
-    const { first, tail } = find(c)(node)
-    const [i, x] = first;
-    const f = (): Branch1To3<T> => {
-        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
-    : <T>(c: Cmp.Compare<T>) => (f: (value: T|null) => T) => (tree: _.Tree<T>) => _.TNode<T>
-    = c => f => tree => tree === null ? [f(null)] : nodeSet(c)(f)(tree)