functionalscript 0.0.288 → 0.0.292

package/README.md

@@ -9,8 +9,6 @@ FunctionalScript is a pure functional programming language and a strict subset o
 
 Create a new FunctionalScript repository on GitHub [here](https://github.com/functionalscript/template/generate).
 
-Try FunctionalScript [here](https://functionalscript.com/).
-
 ## 1. Design Principles
 
 In FunctionalScript:
@@ -186,3 +184,56 @@ const f = x => {
    return r
 }
 ```
+
+## 5. Statements
+
+`{ A_LIST_OF_STATEMENTS }` is one or many statements seperated by the newline control character. One of these statements mentioned earlier was [definition](#25-Definitions), also known as a [const](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/const) statement. The other statements are described below.
+
+### 5.1 Let 
+
+[Let](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/let) declares a local mutable alias for immutable objects. For example
+
+```js
+let x = [5]
+// you can assign another immutable object to the alias at any time.
+x = [3, 4]
+//but you can't change the properties of the immutable object.
+x[0] = 3 // < invalid
+//let aliases can not be referenced from another arrow function.
+const f = () => x // < invalid
+```
+
+
+
+This mutable object cannot be used in [closures](https://en.wikipedia.org/wiki/Closure_(computer_programming)) or nested functions.
+
+An example of incorrect code would look like this:
+
+```js
+let x = 5
+const f = () => x
+```
+
+### 5.2 Return 
+
+[Return](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/return)
+
+### 5.3 If...Else
+
+[If...Else](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/if...else)
+
+### 5.4 Switch
+
+[Switch](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/switch)
+
+### 5.5 Throw
+
+[Throw](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/throw). FunctionalScript allows to throw exceptions but it doesn't catch them. You should only be using Statement throw in non-recoverable situations. It could be compared to [panic in Rust](https://doc.rust-lang.org/std/macro.panic.html).
+
+### 5.6 While
+
+[While](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/while)
+
+### 5.7 Block
+
+[Block](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/block)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.288",
+  "version": "0.0.292",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "index.js",
   "scripts": {

package/types/btree/README.md

@@ -79,14 +79,16 @@ Posible actions:
 
 ## Concat
 
-`concat` returns either `Branch1` or `Branch3`
+`concat` accepts `left` and `right` branches of the same level.
 
-|`a`               |`b`                |                                                 |size |
-|------------------|-------------------|-------------------------------------------------|-----|
-|`[av]`            |`[bv]`             |`[[av,bv]]`                                      |     |
-|                  |`[bv0,bv1]`        |`[a,bv0,[bv1]]`                                  |     |
-|`[av0,av1]`       |                   |`[[av0],av1,b]`                                  |     |
-|`[...aHead,aLast]`|`[bFirst,...bLast]`|`up([...aHead,...concat(aLast,bFirst),...bTail])`|5..11|
+|left         |right        |result                    |
+|-------------|-------------|--------------------------|
+|[an0]        |[bn0]        |[an0, value, r?]          |
+|[an0]        |[bn0,bv1,bn2]|[an0, value, r?, bv1, bn2]|
+|[an0,av1,an2]|[bn0]        |[an0, av1, an2, value, r?]|
+
+`popLeft` accepts `node` and returns
+`value` and `['leaf', [] | Leaf1]` | `['branch', Branch1 | Branch3 | Branch5]`
 
 ## Up
 
@@ -118,12 +120,12 @@ Posible actions:
 |                  |     |       |`[[v1],v20,[v21]]`                      |
 |                  |     |`[nR0]`|`[[nR0, v1, n20, v21, n22]]`            |
 |                  |     |       |`[[nR0, v1, n20], v21, [n22, v23, n23]]`|
-|                  |     |`nR`   |`[r,v1,n2]`                             |
+|                  |     |`nR`   |`[nR,v1,n2]`                            |
 |                  |    2|`[]`   |`[[v00, v1]]`                           |
 |                  |     |       |`[[v00],v01,[v1]]`                      |
 |                  |     |`[nR0]`|`[[n00, v01, n02, v1, nR0]]`            |
 |                  |     |       |`[[n00, v01, n02], v02, [n03, v1, nR0]]`|
-|                  |     |`nR`   |`[n0,v1,r]`                             |
+|                  |     |`nR`   |`[n0,v1,nR]`                            |
 |`[n0,v1,n2,v3,n4]`|    0|`[]`   |`[[v1,v20],v3,n4]`                      |
 |                  |     |       |`[[v1],v20,[v21],v3,n4]`                |
 |                  |     |`[nR0]`|`[[nR0,v1,n20,v21,n22],v3,n4]`          |

package/types/btree/remove/index.js

@@ -0,0 +1,165 @@
+const _ = require('..')
+const { todo } = require('../../../dev')
+const cmp = require('../../function/compare')
+const find = require('../find')
+const list = require('../../list')
+const array = require('../../array')
+
+/**
+ * @template T
+ * @typedef {undefined | _.Leaf1<T>} Leaf01
+ */
+
+/**
+ * @template T
+ * @typedef {{
+ *  readonly first: Leaf01<T>,
+ *  readonly tail: find.Path<T>
+ * }} RemovePath
+ */
+
+/** @type {<T>(tail: find.Path<T>) => (n: _.Node<T>) => readonly[T, RemovePath<T>]} */
+const path = tail => n => {
+    switch (n.length) {
+        case 1: { return [n[0], { first: undefined, tail }] }
+        case 2: { return [n[0], { first: [n[1]], tail }] }
+        case 3: { return path({ first: [0, n], tail })(n[0]) }
+        case 5: { return path({ first: [0, n], tail })(n[0]) }
+    }
+}
+
+/**
+ * @template T
+ * @typedef {_.Branch1<T> | _.Branch3<T> | _.Branch5<T>} Branch
+ */
+
+/** @type {<T>(a: Branch<T>) => (n: _.Branch3<T>) => _.Branch1<T> | _.Branch3<T>} */
+const reduceValue0 = a => n => {
+    const [, v1, n2] = n
+    if (a.length === 1) {
+        switch (n2.length) {
+            case 3: { return [[a[0], v1, ...n2]] }
+            case 5: { return [[a[0], v1, n2[0]], n2[1], [n2[2], n2[3], n2[4]]] }
+            default: { throw 'invalid node' }
+        }
+    } else {
+        return [a, v1, n2]
+    }
+}
+
+/** @type {<T>(a: Branch<T>) => (n: _.Branch3<T>) => _.Branch1<T> | _.Branch3<T>} */
+const reduceValue2 = a => n => {
+    const [n0, v1, ] = n
+    if (a.length === 1) {
+        switch (n0.length) {
+            case 3: { return [[...n0, v1, a[0]]] }
+            case 5: { return [[n0[0], n0[1], n0[2]], n0[3], [n0[4], v1, a[0]]] }
+            default: { throw 'invalid node' }
+        }
+    } else {
+        return [n0, v1, a]
+    }
+}
+
+/** @type {<T>(a: Leaf01<T>) => (n: _.Branch3<T>) => _.Branch1<T> | _.Branch3<T>} */
+const initValue0 = a => n => {
+    const [, v1, n2] = n
+    if (a === undefined) {
+        switch (n2.length) {
+            case 1: { return [[v1, ...n2]] }
+            case 2: { return [[v1], n2[0], [n2[1]]] }
+            default: { throw 'invalid node' }
+        }
+    } else {
+        return [a, v1, n2]
+    }
+}
+
+/** @type {<T>(a: Leaf01<T>) => (n: _.Branch3<T>) => _.Branch1<T> | _.Branch3<T>} */
+const initValue1 = a => n => {
+    const [n0, v1] = n
+    if (a === undefined) {
+        switch (n0.length) {
+            case 1: { return [[...n0, v1]] }
+            case 2: { return [[n0[0]], n0[1], [v1]] }
+            default: { throw 'invalid node' }
+        }
+    } else { return [n0, v1, a] }
+}
+
+/**
+ * @template A,T
+ * @typedef {(a: A) => (n: _.Branch3<T>) => _.Branch1<T> | _.Branch3<T>} Merge
+ */
+
+/** @type {<A, T>(ms: array.Array2<Merge<A, T>>) => (a: A) => (i: find.PathItem<T>) => Branch<T>} */
+const reduceX = ms => a => i => {
+    const [m0, m2] = ms
+    /** @typedef {typeof ms extends array.Array2<Merge<infer A, infer T>> ? [A,T] : never} AT */
+    /** @typedef {AT[0]} A */
+    /** @typedef {AT[1]} T */
+    /** @type {(m: Merge<A, T>) => Branch<T>} */
+    const f = m => {
+        const n = i[1]
+        const ra = m(a)
+        return n.length === 3 ? ra(n) : [...ra([n[0], n[1], n[2]]), n[3], n[4]]
+    }
+    switch (i[0]) {
+        case 0: { return f(m0) }
+        case 2: { return f(m2) }
+        case 4: {
+            const n = i[1]
+            return [n[0], n[1], ...m2(a)([n[2], n[3], n[4]])]
+        }
+    }
+}
+
+const reduce = list.reduce(reduceX([reduceValue0, reduceValue2]))
+
+const initReduce = reduceX([initValue0, initValue1])
+
+/** @type {<T>(c: cmp.Compare<T>) => (node: _.Node<T>) => undefined | _.Node<T>} */
+const remove = c => node => {
+    /** @typedef {typeof c extends cmp.Compare<infer T> ? T : never} T */
+    /** @type  {() => undefined | RemovePath<T>} */
+    const f = () => {
+        const { first, tail } = find.find(c)(node)
+        /** @type {(n: _.Node<T>) => (f: (v: T) => find.PathItem<T>) => RemovePath<T>} */
+        const branch = n => f => {
+            const [v, p] = path(/** @type {find.Path<T>} */(undefined))(n)
+            return { first: p.first, tail: list.concat(p.tail)({ first: f(v), tail }) }
+        }
+        switch (first[0]) {
+            case 1: {
+                const n = first[1]
+                switch (n.length) {
+                    case 1: { return { first: undefined, tail } }
+                    case 2: { return { first: [n[1]], tail } }
+                    case 3: { return branch(n[2])(v => [2, [n[0], v, n[2]]]) }
+                    case 5: { return branch(n[2])(v => [2, [n[0], v, n[2], n[3], n[4]]]) }
+                }
+            }
+            case 3: {
+                const n = first[1]
+                switch (n.length) {
+                    case 2: { return { first: [n[0]], tail } }
+                    case 5: { return branch(n[4])(v => [4, [n[0], n[1], n[2], v, n[4]]]) }
+                }
+            }
+            default: { return undefined }
+        }
+    }
+    const r = f()
+    if (r === undefined) { return node }
+    const { first, tail } = r
+    const tailR = list.next(tail)
+    if (tailR === undefined) { return first }
+    const { first: tf, tail: tt } = tailR
+    const result = reduce(initReduce(first)(tf))(tt)
+    return result.length === 1 ? result[0] : result
+}
+
+module.exports = {
+    /** @readonly */
+    remove,
+}

package/types/btree/remove/test.js

@@ -0,0 +1,409 @@
+const _ = require('.')
+const btree = require('..')
+const s = require('../set')
+const { stringCmp } = require('../../function/compare')
+const json = require('../../../json')
+const { sort } = require('../../object')
+
+/** @type {(node: btree.Node<string>) => (value: string) => btree.Node<string>} */
+const set = node => value => s.set(stringCmp(value))(value)(node)
+
+/** @type {(node: btree.Node<string>) => (value: string) => btree.Node<string> | undefined} */
+const remove = node => value => _.remove(stringCmp(value))(node)
+
+const jsonStr = json.stringify(sort)
+
+{
+    /** @type {btree.Node<string> | undefined} */
+    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 = remove(_map)("0")
+        if (_map === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        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 === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"841",["900","961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("841")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"900",["961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("900")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("961")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("1024")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1089"],"1156",["1225"],"1296",["1369","1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("1089")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1156","1225"],"1296",["1369","1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("1156")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1225"],"1296",["1369","1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("1225")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1296"],"1369",["1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("1296")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !==
+            '["1369","1444"]'
+        ) { throw r }
+    }
+    {
+        _map = remove(_map)("1369")
+        if (_map === undefined) { throw 'undefined' }
+        const r = jsonStr(_map)
+        if (r !== '["1444"]') { throw r }
+    }
+    {
+        _map = remove(_map)("1444")
+        if (_map !== undefined) { throw _map }
+    }
+}

package/types/btree/set/test.js

@@ -16,4 +16,364 @@ const jsonStr = json.stringify(sort)
         _map = set(_map)((i * i).toString())
     const r = jsonStr(_map)
     if (r !== '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') { throw r }
-}
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}
+
+{
+    /** @type {btree.Node<string>} */
+    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 }
+}

package/types/btree/test.js

@@ -7,6 +7,7 @@ const list = require('../list')
 
 require('./find/test')
 require('./set/test')
+require('./remove/test')
 
 const jsonStr = json.stringify(sort)