functionalscript 0.35.1 → 0.36.0

package/fs/text/utf8/proof.f.js

@@ -65,6 +65,45 @@ export const proof = {
             if (result !== '[-2147448800,-2147432416]') {
                 throw result;
             }
+        },
+        // Overlong 3-byte encodings (E0 80..9F ..) are rejected, not decoded.
+        () => {
+            const result = stringify(toArray(toCodePointList([224, 128, 128])));
+            if (result !== '[-2147483424,-2147483520,-2147483520]') {
+                throw result;
+            }
+        },
+        () => {
+            const result = stringify(toArray(toCodePointList([224, 159, 191])));
+            if (result !== '[-2147483424,-2147483489,-2147483457]') {
+                throw result;
+            }
+        },
+        // Overlong 4-byte encodings (F0 80..8F .. ..) are rejected, not decoded.
+        () => {
+            const result = stringify(toArray(toCodePointList([240, 128, 128, 128])));
+            if (result !== '[-2147483408,-2147483520,-2147483520,-2147483520]') {
+                throw result;
+            }
+        },
+        () => {
+            const result = stringify(toArray(toCodePointList([240, 143, 191, 191])));
+            if (result !== '[-2147483408,-2147483505,-2147483457,-2147483457]') {
+                throw result;
+            }
+        },
+        // Valid boundary cases still decode: E0 A0 80 -> U+0800, F0 90 80 80 -> U+10000.
+        () => {
+            const result = stringify(toArray(toCodePointList([224, 160, 128])));
+            if (result !== '[2048]') {
+                throw result;
+            }
+        },
+        () => {
+            const result = stringify(toArray(toCodePointList([240, 144, 128, 128])));
+            if (result !== '[65536]') {
+                throw result;
+            }
         }
     ],
     fromCodePointList: [
@@ -229,5 +268,19 @@ export const proof = {
                 throw 'expected empty string';
             }
         },
+        // Overlong 3-byte encoding (E0 80 80, would decode to U+0000) → null
+        () => {
+            const v = u8ListToVec(msb)([0xe0, 0x80, 0x80]);
+            if (fromVec(v) !== null) {
+                throw 'expected null for overlong 3-byte encoding';
+            }
+        },
+        // Overlong 4-byte encoding (F0 80 80 80, would decode to U+0000) → null
+        () => {
+            const v = u8ListToVec(msb)([0xf0, 0x80, 0x80, 0x80]);
+            if (fromVec(v) !== null) {
+                throw 'expected null for overlong 4-byte encoding';
+            }
+        },
     ]
 };

package/fs/types/result/module.f.d.ts

@@ -55,3 +55,7 @@ export declare const unwrap: <T, E>([kind, v]: Result<T, E>) => T;
  * Swaps the `ok` and `error` cases of a result.
  */
 export declare const invert: <T, E>([k, v]: Result<T, E>) => Result<E, T>;
+/**
+ * Maps the `ok` case of a result, passing an `error` through unchanged.
+ */
+export declare const mapOk: <T, R>(f: (value: T) => R) => <E>(r: Result<T, E>) => Result<R, E>;

package/fs/types/result/module.f.js

@@ -48,3 +48,7 @@ export const unwrap = ([kind, v]) => {
  * Swaps the `ok` and `error` cases of a result.
  */
 export const invert = ([k, v]) => k === 'ok' ? error(v) : ok(v);
+/**
+ * Maps the `ok` case of a result, passing an `error` through unchanged.
+ */
+export const mapOk = (f) => (r) => r[0] === 'ok' ? ok(f(r[1])) : r;

package/fs/types/result/proof.f.d.ts

@@ -2,4 +2,5 @@ export declare const proof: {
     example: () => void;
     invertTest: () => void;
     unwrapError: () => void;
+    mapOkTest: () => void;
 };

package/fs/types/result/proof.f.js

@@ -1,4 +1,4 @@
-import { error, ok, unwrap, invert } from "./module.f.js";
+import { error, ok, unwrap, invert, mapOk } from "./module.f.js";
 const example = () => {
     const success = ok(42);
     const failure = error('Something went wrong');
@@ -39,4 +39,14 @@ const unwrapError = () => {
         throw 'expected throw';
     }
 };
-export const proof = { example, invertTest, unwrapError };
+const mapOkTest = () => {
+    const [k0, v0] = mapOk((n) => n + 1)(ok(41));
+    if (k0 !== 'ok' || v0 !== 42) {
+        throw [k0, v0];
+    }
+    const [k1, v1] = mapOk((n) => n + 1)(error('oops'));
+    if (k1 !== 'error' || v1 !== 'oops') {
+        throw [k1, v1];
+    }
+};
+export const proof = { example, invertTest, unwrapError, mapOkTest };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.35.1",
+  "version": "0.36.0",
   "type": "module",
   "files": [
     "**/*.js",