functionalscript 0.0.418 → 0.0.419

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.418",
+  "version": "0.0.419",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "module.f.cjs",
   "scripts": {

package/test.f.cjs

@@ -5,6 +5,8 @@ require('./types/number/test.f.cjs')
 require('./types/bigint/module.f.cjs')
 require('./types/array/test.f.cjs')
 require('./types/btree/test.f.cjs')
+require('./types/byteSet/test.f.cjs')
+require('./types/nibbleSet/test.f.cjs')
 require('./sha2/test.f.cjs')
 require('./json/test.f.cjs')
 require('./types/string/test.f.cjs')

package/types/byteSet/module.f.cjs

@@ -0,0 +1,32 @@
+/** @typedef {bigint} byteSet */
+/** @typedef {number} byte */
+
+const empty = 0n
+
+/** @type {(n: byte) => (s: byteSet) => boolean} */
+const has = n => s => ((s >> BigInt(n)) & 1n) === 1n
+
+/** @type {(n: byte) => (s: byteSet) => byteSet} */
+const set = n => s => s | (1n << BigInt(n))
+
+/** @type {(n: byte) => (s: byteSet) => byteSet} */
+const unset = n => s => s & ~(1n << BigInt(n))
+
+/** @type {(r: readonly[number, number]) => (s: byteSet) => byteSet} */
+ const setRange = r => s => s | ((1n << BigInt(r[1] - r[0] + 1)) - 1n << BigInt(r[0]))
+
+// how to define FA???
+// const stateA = [init, set] ????
+
+module.exports = {
+    /** @readonly */
+    empty,
+    /** @readonly */
+    has,
+    /** @readonly */
+    set,
+    /** @readonly */
+    unset,
+    /** @readonly */
+    setRange
+}

package/types/byteSet/test.f.cjs

@@ -0,0 +1,44 @@
+const _ = require('./module.f.cjs')
+
+{
+    if (_.has(0)(_.empty)) { throw _.empty }
+    if (_.has(1)(_.empty)) { throw _.empty }
+    if (_.has(33)(_.empty)) { throw _.empty }
+}
+
+{
+    const s = _.set(0)(_.empty)
+    if (s !== 1n) { throw s }
+    if (!_.has(0)(s)) { throw s }
+    if (_.has(1)(s)) { throw s }
+    if (_.has(33)(s)) { throw s }
+}
+
+{
+    const s = _.set(33)(_.empty)
+    if (s !== 8589934592n) { throw s }
+    if (_.has(0)(s)) { throw s }
+    if (_.has(1)(s)) { throw s }
+    if (!_.has(33)(s)) { throw s }
+}
+
+{
+    const a = _.set(0)(_.empty)
+    const result = _.unset(0)(a)
+    if (result !== 0n) { throw result }
+}
+
+{
+    const a = _.set(255)(_.empty)
+    const result = _.unset(255)(a)
+    if (result !== 0n) { throw result }
+}
+
+{
+    const result = _.setRange([2, 5])(_.empty)
+    if (result !== 60n) { throw result }
+}
+
+module.exports = {
+
+}

package/types/nibbleSet/module.f.cjs

@@ -0,0 +1,32 @@
+/** @typedef {number} nibbleSet */
+/** @typedef {number} nibble */
+
+const empty = 0
+
+/** @type {(n: nibble) => (s: nibbleSet) => boolean} */
+const has = n => s => ((s >> n) & 1) === 1
+
+/** @type {(n: nibble) => (s: nibbleSet) => nibbleSet} */
+const set = n => s => s | (1 << n)
+
+/** @type {(n: nibble) => (s: nibbleSet) => nibbleSet} */
+const unset = n => s => s & ~(1 << n)
+
+/** @type {(r: readonly[number, number]) => (s: nibbleSet) => nibbleSet} */
+ const setRange = r => s => s | (((1 << (r[1] - r[0] + 1)) - 1 << r[0]))
+
+// how to define FA???
+// const stateA = [init, set] ????
+
+module.exports = {
+    /** @readonly */
+    empty,
+    /** @readonly */
+    has,
+    /** @readonly */
+    set,
+    /** @readonly */
+    unset,
+    /** @readonly */
+    setRange
+}

package/types/nibbleSet/test.f.cjs

@@ -0,0 +1,44 @@
+const _ = require('./module.f.cjs')
+
+{
+    if (_.has(0)(_.empty)) { throw _.empty }
+    if (_.has(1)(_.empty)) { throw _.empty }
+    if (_.has(15)(_.empty)) { throw _.empty }
+}
+
+{
+    const s = _.set(0)(_.empty)
+    if (s !== 1) { throw s }
+    if (!_.has(0)(s)) { throw s }
+    if (_.has(1)(s)) { throw s }
+    if (_.has(15)(s)) { throw s }
+}
+
+{
+    const s = _.set(15)(_.empty)
+    if (s !== 32768) { throw s }
+    if (_.has(0)(s)) { throw s }
+    if (_.has(1)(s)) { throw s }
+    if (!_.has(15)(s)) { throw s }
+}
+
+{
+    const a = _.set(0)(_.empty)
+    const result = _.unset(0)(a)
+    if (result !== 0) { throw result }
+}
+
+{
+    const a = _.set(15)(_.empty)
+    const result = _.unset(15)(a)
+    if (result !== 0) { throw result }
+}
+
+{
+    const result = _.setRange([2, 5])(_.empty)
+    if (result !== 60) { throw result }
+}
+
+module.exports = {
+
+}