functionalscript 0.0.356 → 0.0.359

package/.github/workflows/bun.yml

@@ -0,0 +1,15 @@
+name: Bun CI
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+    - run: curl https://bun.sh/install | bash 
+    - run: /home/runner/.bun/bin/bun run ./test.f.js

package/.github/workflows/deno.yml

@@ -0,0 +1,17 @@
+name: Deno CI
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+    - uses: denoland/setup-deno@v1
+      with:
+        deno-version: v1.x
+    - run: deno run --unstable --compat --allow-read --allow-env ./test.f.js

package/package.json

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

package/test.f.js

@@ -17,6 +17,7 @@ require('./commonjs/build/test.f.js')
 require('./types/range/test.f.js')
 require('./html/test.f.js')
 require('./text/test.f.js')
+require('./text/encoding/test.f.js')
 require('./com/cs/test.f.js')
 
 /** @type {() => never} */

package/text/encoding/main.f.js

@@ -0,0 +1,40 @@
+const result = require('../../types/result/main.f.js')
+const list = require('../../types/list/main.f.js')
+const { ok, error } = result
+
+/** @typedef {result.Result<number,number>} Utf8Result */
+
+/** @type {(input:number) => list.List<Utf8Result>} */
+const codePointToUtf8 = input =>
+{
+    if (input >= 0x0000 && input <= 0x007f) { return [ok(input & 0x7f)] }
+    if (input >= 0x0080 && input <= 0x07ff) { return [ok(input >> 6 | 0xc0), ok(input & 0x3f | 0x80)] }
+    if (input >= 0x0800 && input <= 0xffff) { return [ok(input >> 12 | 0xe0), ok(input >> 6 & 0x3f | 0x80), ok(input & 0x3f | 0x80)] }
+    if (input >= 0x10000 && input <= 0x10ffff) { return [ok(input >> 18 | 0xf0), ok(input >> 12 & 0x3f | 0x80), ok(input >> 6 & 0x3f | 0x80), ok(input & 0x3f | 0x80)] }
+    return [error(input)]
+}
+
+/** @type {(input:number) => list.List<Utf8Result>} */
+const codePointToUtf16 = input =>
+{
+    if (input >= 0x0000 && input <= 0xd7ff || input >= 0xe000 && input <= 0xffff) { return [ok(input >> 8), ok(input & 0xff)] }
+    if (input >= 0x010000 && input <= 0x10ffff) {
+        const high = ((input - 0x10000) >> 10) + 0xd800
+        const low = ((input - 0x10000) & 0x3ff) + 0xdc00       
+        return [ok(high >> 8), ok(high & 0xff), ok(low >> 8), ok(low & 0xff)]
+    }        
+    return [error(input)]
+}
+
+/** @type {(input: list.List<number>) => list.List<Utf8Result>} */
+const codePointListToUtf8 = list.flatMap(codePointToUtf8)
+
+/** @type {(input: list.List<number>) => list.List<Utf8Result>} */
+const codePointListToUtf16 = list.flatMap(codePointToUtf16)
+
+module.exports = {
+    /** @readonly */
+    codePointListToUtf8,
+    /** @readonly */
+    codePointListToUtf16,
+}

package/text/encoding/test.f.js

@@ -0,0 +1,119 @@
+const encoding = require('./main.f.js')
+const json = require('../../json/main.f')
+const { sort } = require('../../types/object/main.f.js')
+const { list } = require('../../types/main.f.js')
+
+/** @type {(a: readonly json.Unknown[]) => string} */
+const stringify = a => json.stringify(sort)(a)
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0,1,0x7F])))
+    if (result !== '[["ok",0],["ok",1],["ok",127]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0x80])))
+    if (result !== '[["ok",194],["ok",128]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0xa9])))
+    if (result !== '[["ok",194],["ok",169]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0x7ff])))
+    if (result !== '[["ok",223],["ok",191]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0x800])))
+    if (result !== '[["ok",224],["ok",160],["ok",128]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0x801])))
+    if (result !== '[["ok",224],["ok",160],["ok",129]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0xffff])))
+    if (result !== '[["ok",239],["ok",191],["ok",191]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0x10000])))
+    if (result !== '[["ok",240],["ok",144],["ok",128],["ok",128]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0x10001])))
+    if (result !== '[["ok",240],["ok",144],["ok",128],["ok",129]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([0x10FFFF])))
+    if (result !== '[["ok",244],["ok",143],["ok",191],["ok",191]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf8([-1,0x110000])))
+    if (result !== '[["error",-1],["error",1114112]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0])))
+    if (result !== '[["ok",0],["ok",0]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0x24])))
+    if (result !== '[["ok",0],["ok",36]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0x20AC])))
+    if (result !== '[["ok",32],["ok",172]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0xd7ff])))
+    if (result !== '[["ok",215],["ok",255]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0xe000])))
+    if (result !== '[["ok",224],["ok",0]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0xffff])))
+    if (result !== '[["ok",255],["ok",255]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0x10000])))
+    if (result !== '[["ok",216],["ok",0],["ok",220],["ok",0]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0x10437])))
+    if (result !== '[["ok",216],["ok",1],["ok",220],["ok",55]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0x24B62])))
+    if (result !== '[["ok",216],["ok",82],["ok",223],["ok",98]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([0x10ffff])))
+    if (result !== '[["ok",219],["ok",255],["ok",223],["ok",255]]') { throw result }
+}
+
+{
+    const result = stringify(list.toArray(encoding.codePointListToUtf16([-1, 0xd800, 0xdfff, 0x110000])))
+    if (result !== '[["error",-1],["error",55296],["error",57343],["error",1114112]]') { throw result }
+}
+
+module.exports = {}