functionalscript 0.0.399 → 0.0.400

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.399",
+  "version": "0.0.400",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "module.f.cjs",
   "scripts": {
@@ -29,7 +29,7 @@
   },
   "homepage": "https://github.com/functionalscript/functionalscript#readme",
   "devDependencies": {
-    "@types/node": "^18.7.6",
+    "@types/node": "^18.7.8",
     "typescript": "^4.7.4"
   }
 }

package/types/bigint/module.f.cjs

@@ -6,5 +6,8 @@ const addition = a => b => a + b
 const sum = fold(addition)(0n)
 
 module.exports = {
+    /** @readonly */
+    addition,
+    /** @readonly */
     sum,
 }

package/types/btree/find/test.f.cjs

@@ -3,19 +3,19 @@ const list = require('../../list/module.f.cjs')
 const json = require('../../../json/module.f.cjs')
 const { sort } = require('../../object/module.f.cjs')
 const btree = require('../types/module.f.cjs')
-const { stringCmp } = require('../../function/compare/module.f.cjs')
+const { cmp } = require('../../string/module.f.cjs')
 const s = require('../set/module.f.cjs')
 
 const jsonStr = json.stringify(sort)
 
 /** @type {(node: btree.Node<string>) => (value: string) => btree.Node<string>} */
-const set = node => value => s.set(stringCmp(value))(() => value)(node)
+const set = node => value => s.set(cmp(value))(() => value)(node)
 
 /** @type {(r: _.Result<json.Unknown>) => string} */
 const str = r => jsonStr(list.toArray(list.map(x => x[0])(r)))
 
 /** @type {(i: string) => (m: btree.Node<string>) => string} */
-const find = i => m => str(_.find(stringCmp(i))(m))
+const find = i => m => str(_.find(cmp(i))(m))
 
 {
     /** @type {btree.Node<string>} */

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

@@ -1,15 +1,15 @@
 const _ = require('./module.f.cjs')
 const btree = require('../types/module.f.cjs')
 const s = require('../set/module.f.cjs')
-const { stringCmp } = require('../../function/compare/module.f.cjs')
+const { cmp } = require('../../string/module.f.cjs')
 const json = require('../../../json/module.f.cjs')
 const { sort } = require('../../object/module.f.cjs')
 
 /** @type {(node: btree.Node<string>) => (value: string) => btree.Node<string>} */
-const set = node => value => s.set(stringCmp(value))(() => value)(node)
+const set = node => value => s.set(cmp(value))(() => value)(node)
 
 /** @type {(node: btree.Node<string>) => (value: string) => btree.Node<string> | undefined} */
-const remove = node => value => _.nodeRemove(stringCmp(value))(node)
+const remove = node => value => _.nodeRemove(cmp(value))(node)
 
 const jsonStr = json.stringify(sort)
 

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

@@ -1,11 +1,11 @@
 const _ = require('./module.f.cjs')
 const btree = require('../types/module.f.cjs')
-const { stringCmp } = require('../../function/compare/module.f.cjs')
+const { cmp } = require('../../string/module.f.cjs')
 const json = require('../../../json/module.f.cjs')
 const { sort } = require('../../object/module.f.cjs')
 
 /** @type {(node: btree.Node<string>) => (value: string) => btree.Node<string>} */
-const set = node => value => _.set(stringCmp(value))(() => value)(node)
+const set = node => value => _.set(cmp(value))(() => value)(node)
 
 const jsonStr = json.stringify(sort)
 

package/types/btree/test.f.cjs

@@ -2,7 +2,7 @@ const btree = require('./types/module.f.cjs')
 const { values } = require('./module.f.cjs')
 const json = require('../../json/module.f.cjs')
 const { sort } = require('../object/module.f.cjs')
-const { stringCmp } = require('../function/compare/module.f.cjs')
+const { cmp } = require('../string/module.f.cjs')
 const list = require('../list/module.f.cjs')
 const s = require('./set/module.f.cjs')
 const f = require('./find/module.f.cjs')
@@ -17,7 +17,7 @@ const jsonStr = json.stringify(sort)
 const stringify = sequence => jsonStr(list.toArray(sequence))
 
 /** @type {(node: btree.Node<string>) => (value: string) => btree.Node<string>} */
-const set = node => value => s.set(stringCmp(value))(() => value)(node)
+const set = node => value => s.set(cmp(value))(() => value)(node)
 
 {
     /** @type {btree.Node<string>} */
@@ -45,7 +45,7 @@ const set = node => value => s.set(stringCmp(value))(() => value)(node)
     let _map = ['a']
     _map = set(_map)('b')
     _map = set(_map)('c')
-    const result = f.value(f.find(stringCmp('b'))(_map).first)
+    const result = f.value(f.find(cmp('b'))(_map).first)
     if (result !== 'b') { throw result }
 }
 
@@ -54,7 +54,7 @@ const set = node => value => s.set(stringCmp(value))(() => value)(node)
     let _map = ['a']
     _map = set(_map)('b')
     _map = set(_map)('c')
-    const result = f.value(f.find(stringCmp('e'))(_map).first)
+    const result = f.value(f.find(cmp('e'))(_map).first)
     if (result !== undefined) { throw result }
 }
 

package/types/function/compare/module.f.cjs

@@ -27,19 +27,11 @@ const index5 = cmp => ([v0, v1]) => {
 /** @type {<T>(a: T) => (b: T) => Sign} */
 const unsafeCmp = a => b => a < b ? -1 : a === b ? 0 : 1
 
-/** @type {(a: string) => (b: string) => Sign} */
-const stringCmp = unsafeCmp
-
-/** @type {(a: number) => (b: number) => Sign} */
-const numberCmp = unsafeCmp
-
 module.exports = {
+    /** @readonly */
+    unsafeCmp,
     /** @readonly */
     index3,
     /** @readonly */
     index5,
-    /** @readonly */
-    stringCmp,
-    /** @readonly */
-    numberCmp,
 }

package/types/function/compare/test.f.cjs

@@ -1,13 +1,8 @@
-const _ = require('./module.f.cjs')
+const { unsafeCmp } = require('./module.f.cjs')
 
 {
-    const result = _.numberCmp(4)(5)
-    if (result !== -1) { throw result }
-}
-
-{
-    const result = _.stringCmp('3')('4')
-    if (result !== -1) { throw result }
+    const result = unsafeCmp(true)(false)
+    if (result !== 1) { throw result }
 }
 
 module.exports = {}

package/types/map/module.f.cjs

@@ -4,7 +4,7 @@ const btreeFind = require('../btree/find/module.f.cjs')
 const { value, find } = btreeFind
 const btreeSet = require('../btree/set/module.f.cjs').set
 const compare = require('../function/compare/module.f.cjs')
-const { stringCmp } = require('../function/compare/module.f.cjs')
+const { cmp } = require('../string/module.f.cjs')
 const list = require('../list/module.f.cjs')
 const { reduce } = list
 const { remove: btreeRemove } = require('../btree/remove/module.f.cjs')
@@ -28,7 +28,7 @@ const operator = require('../function/operator/module.f.cjs')
  */
 
 /** @type {(a: string) => <T>(b: Entry<T>) => Sign} */
-const keyCmp = a => ([b]) => stringCmp(a)(b)
+const keyCmp = a => ([b]) => cmp(a)(b)
 
 /** @type {(name: string) => <T>(map: Map<T>) => T|undefined} */
 const at = name => map => {

package/types/number/module.f.cjs

@@ -1,5 +1,7 @@
 const { fold } = require('../list/module.f.cjs')
 const { addition, min: minOp, max: maxOp } = require('../function/operator/module.f.cjs')
+const compare = require('../function/compare/module.f.cjs')
+const { unsafeCmp } = compare
 
 const sum = fold(addition)(0)
 
@@ -7,6 +9,9 @@ const min = fold(minOp)(undefined)
 
 const max = fold(maxOp)(undefined)
 
+/** @type {(a: number) => (b: number) => compare.Sign} */
+const cmp = unsafeCmp
+
 module.exports = {
     /** @readonly */
     sum,
@@ -14,4 +19,6 @@ module.exports = {
     min,
     /** @readonly */
     max,
+    /** @readonly */
+    cmp,
 }

package/types/number/test.f.cjs

@@ -1,4 +1,4 @@
-const { sum, min, max } = require('./module.f.cjs')
+const { sum, min, max, cmp } = require('./module.f.cjs')
 
 {
     const result = sum([2, 3, 4, 5])
@@ -20,4 +20,9 @@ const { sum, min, max } = require('./module.f.cjs')
     if (result !== 12) { throw result }
 }
 
+{
+    const result = cmp(4)(5)
+    if (result !== -1) { throw result }
+}
+
 module.exports = {}

package/types/string/module.f.cjs

@@ -1,6 +1,8 @@
 const list = require('../list/module.f.cjs')
 const { fold: listFold, repeat: listRepeat } = list
 const { compose } = require('../function/module.f.cjs')
+const compare = require('../function/compare/module.f.cjs')
+const { unsafeCmp } = compare
 const op = require('../function/operator/module.f.cjs')
 const { join: joinOp, concat: concatOp } = op
 
@@ -14,6 +16,9 @@ const concat = fold(concatOp)
 /** @type {(n: string) => (v: number) => string} */
 const repeat = v => compose(listRepeat(v))(concat)
 
+/** @type {(a: string) => (b: string) => compare.Sign} */
+const cmp = unsafeCmp
+
 module.exports = {
     /** @readonly */
     join,
@@ -21,4 +26,6 @@ module.exports = {
     concat,
     /** @readonly */
     repeat,
+    /** @readonly */
+    cmp,
 }

package/types/string/test.f.cjs

@@ -1,4 +1,4 @@
-const { join, concat, repeat } = require('./module.f.cjs')
+const { join, concat, repeat, cmp } = require('./module.f.cjs')
 const { repeat: repeatList } = require('../list/module.f.cjs')
 
 {
@@ -36,4 +36,9 @@ const { repeat: repeatList } = require('../list/module.f.cjs')
     if (s != 'xxxxx') { throw s }
 }
 
+{
+    const result = cmp('3')('4')
+    if (result !== -1) { throw result }
+}
+
 module.exports = {}

package/types/string_set/module.f.cjs

@@ -7,7 +7,7 @@ const {
     /** @type {(s: StringSet) => list.List<string>} */
     values,
 } = btree
-const { stringCmp } = require("../function/compare/module.f.cjs")
+const { cmp } = require("../string/module.f.cjs")
 const list = require('../list/module.f.cjs')
 const { reduce } = list
 const { compose } = require('../function/module.f.cjs')
@@ -15,15 +15,15 @@ const { compose } = require('../function/module.f.cjs')
 /** @typedef {btTypes.Tree<string>} StringSet */
 
 /** @type {(value: string) => (set: StringSet) => boolean} */
-const contains = value => s => s !== undefined && isFound(find(stringCmp(value))(s).first)
+const contains = value => s => s !== undefined && isFound(find(cmp(value))(s).first)
 
 /** @type {(value: string) => (s: StringSet) => StringSet} */
-const set = value => btreeSet(stringCmp(value))(() => value)
+const set = value => btreeSet(cmp(value))(() => value)
 
 const fromValues = reduce(set)(undefined)
 
 /** @type {(value: string) => (s: StringSet) => StringSet} */
-const remove = compose(stringCmp)(btreeRemove)
+const remove = compose(cmp)(btreeRemove)
 
 module.exports = {
     /** @readonly */