functionalscript 0.0.284 → 0.0.285

package/package.json

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

package/types/btree/find/index.js

@@ -5,37 +5,27 @@ const cmp = require('../../function/compare')
 
 /**
  * @template T
- * @typedef {readonly[1, _.Leaf1<T>|_.Branch3<T>]} Found1
+ * @typedef {readonly[cmp.Index3, _.Leaf1<T>|_.Branch3<T>]} FirstLeaf1
  */
 
 /**
  * @template T
- * @typedef {readonly[1|3, _.Leaf2<T> | _.Branch5<T>]} Found2
+ * @typedef {readonly[1, _.Branch3<T>]} FirstBranch3
  */
 
 /**
  * @template T
- * @typedef {readonly[0|2, _.Leaf1<T>]} NotFound1
+ * @typedef {readonly[cmp.Index5, _.Leaf2<T>]} FirstLeaf2
  */
 
 /**
  * @template T
- * @typedef {readonly[0|2|4, _.Leaf2<T>]} NotFound2
+ * @typedef {readonly[1|3, _.Branch5<T>]} FirstBranch5
  */
 
 /**
  * @template T
- * @typedef {Found1<T> | Found2<T>} Found
- */
-
-/**
- * @template T
- * @typedef {NotFound1<T> | NotFound2<T>} NotFound
- */
-
-/**
- * @template T
- * @typedef {Found<T> | NotFound<T>} First
+ * @typedef {FirstLeaf1<T> | FirstBranch3<T> | FirstLeaf2<T> | FirstBranch5<T>} First
  */
 
 /**
@@ -53,6 +43,12 @@ const cmp = require('../../function/compare')
  * @typedef {PathItem3<T> | PathItem5<T>} PathItem
  */
 
+/** @type {<T>(item: PathItem<T>) => _.Node<T>} */
+const child = item => {
+    /** @typedef {typeof item extends PathItem<infer T> ? T : never} T */
+    return /** @type {_.Node<T>} */(item[1][item[0]])
+}
+
 /**
  * @template T
  * @typedef {list.List<PathItem<T>>} Path
@@ -64,4 +60,37 @@ const cmp = require('../../function/compare')
  */
 
 /** @type {<T>(c: cmp.Compare<T>) => (node: _.Node<T>) => Result<T>} */
-const find = c => node => todo()
+const find = c => {
+    const i3 = cmp.index3(c)
+    const i5 = cmp.index5(c)
+    /** @typedef {typeof c extends cmp.Compare<infer T> ? T : never} T */
+    /** @type {(prior: Path<T>) => (node: _.Node<T>) => Result<T>} */
+    const f = tail => node => {
+        /** @type {(first: PathItem<T>) => Result<T>} */
+        const append = first => f({ first, tail })(child(first))
+        switch (node.length) {
+            case 1: { return [[i3(node[0]), node], tail] }
+            case 2: { return [[i5(node), node], tail] }
+            case 3: {
+                const i = i3(node[1])
+                switch (i) {
+                    case 0: case 2: { return append([i, node]) }
+                    case 1: { return [[i, node], tail] }
+                }
+            }
+            case 5: {
+                const i = i5([node[1], node[3]])
+                switch (i) {
+                    case 0: case 2: case 4: { return append([i, node]) }
+                    case 1: case 3: { return [[i, node], tail]}
+                }
+            }
+        }
+    }
+    return f(undefined)
+}
+
+module.exports = {
+    /** @readonly */
+    find,
+}

package/types/btree/find/test.js

@@ -0,0 +1,122 @@
+const _ = require('.')
+const list = require('../../list')
+const json = require('../../../json')
+const { sort } = require('../../object')
+const btree = require('..')
+const { stringCmp } = require('../../function/compare')
+
+const jsonStr = json.stringify(sort)
+
+// /** @type {(sequence: list.List<json.Unknown>) => string} */
+// const arrayStr = sequence => jsonStr(list.toArray(sequence))
+
+/** @type {(node: btree.Node<string>) => (value: string) => btree.Node<string>} */
+const set = node => value => {
+    const result = btree.setVisitor(stringCmp(value))(node)(() => value)
+    switch (result[0]) {
+        case 'replace': case 'overflow': { return result[1] }
+        default: { return node }
+    }
+}
+
+/** @type {(r: _.Result<json.Unknown>) => string} */
+const str = ([r, path]) => jsonStr([r[0], list.toArray(list.map(x => x[0])(path))])
+
+/** @type {(i: string) => (m: btree.Node<string>) => string} */
+const find = i => m => str(_.find(stringCmp(i))(m))
+
+{
+    /** @type {btree.Node<string>} */
+    let _map = ['1']
+    for (let i = 2; i <= 10; i++)
+        _map = set(_map)((i * i).toString())
+    {
+        const s = jsonStr(_map)
+        if (s !== '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') { throw s }
+    }
+    //
+    {
+        const r = find("0")(_map)
+        if (r !== '[0,[0,0]]') { throw r }
+    }
+    {
+        const r = find("1")(_map)
+        if (r !== '[1,[0,0]]') { throw r }
+    }
+    {
+        const r = find("10")(_map)
+        if (r !== '[2,[0,0]]') { throw r }
+    }
+    {
+        const r = find("100")(_map)
+        if (r !== '[3,[0,0]]') { throw r }
+    }
+    {
+        const r = find("12")(_map)
+        if (r !== '[4,[0,0]]') { throw r }
+    }
+    {
+        const r = find("16")(_map)
+        if (r !== '[1,[0]]') { throw r }
+    }
+    {
+        const r = find("17")(_map)
+        if (r !== '[0,[2,0]]') { throw r }
+    }
+    {
+        const r = find("25")(_map)
+        if (r !== '[1,[2,0]]') { throw r }
+    }
+    {
+        const r = find("26")(_map)
+        if (r !== '[2,[2,0]]') { throw r }
+    }
+    {
+        const r = find("36")(_map)
+        if (r !== '[3,[2,0]]') { throw r }
+    }
+    {
+        const r = find("37")(_map)
+        if (r !== '[4,[2,0]]') { throw r }
+    }
+    {
+        const r = find("4")(_map)
+        if (r !== '[1,[]]') { throw r }
+    }
+    {
+        const r = find("41")(_map)
+        if (r !== '[0,[0,2]]') { throw r }
+    }
+    {
+        const r = find("49")(_map)
+        if (r !== '[1,[0,2]]') { throw r }
+    }
+    {
+        const r = find("5")(_map)
+        if (r !== '[2,[0,2]]') { throw r }
+    }
+    {
+        const r = find("64")(_map)
+        if (r !== '[1,[2]]') { throw r }
+    }
+    {
+        const r = find("65")(_map)
+        if (r !== '[0,[2,2]]') { throw r }
+    }
+    {
+        const r = find("81")(_map)
+        if (r !== '[1,[2,2]]') { throw r }
+    }
+    {
+        const r = find("85")(_map)
+        if (r !== '[2,[2,2]]') { throw r }
+    }
+    {
+        const r = find("9")(_map)
+        if (r !== '[3,[2,2]]') { throw r }
+    }
+    {
+        const r = find("91")(_map)
+        if (r !== '[4,[2,2]]') { throw r }
+    }
+}

package/types/btree/test.js

@@ -5,6 +5,8 @@ const { sort } = require('../object')
 const { stringCmp } = require('../function/compare')
 const list = require('../list')
 
+require('./find/test')
+
 const jsonStr = json.stringify(sort)
 
 /** @type {(sequence: list.List<json.Unknown>) => string} */