functionalscript 0.18.0 → 0.20.0

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

@@ -0,0 +1 @@
+export declare const proof: () => void;

package/fs/types/range/{test.f.js → proof.f.js}

@@ -1,5 +1,5 @@
 import { contains } from "./module.f.js";
-export default () => {
+export const proof = () => {
     if (!contains([0, 5])(1)) {
         throw 1;
     }

package/fs/types/range_map/{test.f.d.ts → proof.f.d.ts}

@@ -1,7 +1,6 @@
-declare const _default: {
+export declare const proof: {
     example: () => void;
     merge: (() => void)[];
     get: () => (() => void)[];
     fromRange: () => (() => void)[];
 };
-export default _default;

package/fs/types/range_map/{test.f.js → proof.f.js}

@@ -11,7 +11,7 @@ const op = {
     equal: equal(strictEqual),
     def: []
 };
-export default {
+export const proof = {
     example: () => {
         const rmOps = rangeMap({
             union: a => b => a | b,

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

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

package/fs/types/result/{test.f.js → proof.f.js}

@@ -1,5 +1,5 @@
 import { error, ok, unwrap, invert } from "./module.f.js";
-export const example = () => {
+const example = () => {
     const success = ok(42);
     const failure = error('Something went wrong');
     if (unwrap(success) !== 42) {
@@ -14,7 +14,7 @@ export const example = () => {
         throw 'error';
     }
 };
-export const invertTest = () => {
+const invertTest = () => {
     const [k0, v0] = invert(ok(42));
     if (k0 !== 'error' || v0 !== 42) {
         throw [k0, v0];
@@ -24,3 +24,19 @@ export const invertTest = () => {
         throw [k1, v1];
     }
 };
+const unwrapError = () => {
+    let caught = false;
+    try {
+        unwrap(error('oops'));
+    }
+    catch (e) {
+        if (e !== 'oops') {
+            throw e;
+        }
+        caught = true;
+    }
+    if (!caught) {
+        throw 'expected throw';
+    }
+};
+export const proof = { example, invertTest, unwrapError };

package/fs/types/rtti/parse/{test.f.d.ts → proof.f.d.ts}

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     boolean: {
         ok: () => void;
         error: () => void;
@@ -113,4 +113,3 @@ declare const _default: {
         recordOfRecords: () => void;
     };
 };
-export default _default;

package/fs/types/rtti/parse/{test.f.js → proof.f.js}

@@ -55,7 +55,7 @@ const assertDeepEqual = (a, b) => {
     }
     throw `not deep-equal: ${String(a)} vs ${String(b)}`;
 };
-export default {
+export const proof = {
     boolean: {
         ok: () => {
             assertOk(parse(boolean)(true));

package/fs/types/rtti/{test.f.d.ts → proof.f.d.ts}

@@ -1,6 +1,5 @@
-declare const _default: {
+export declare const proof: {
     typeof: {
         [k: string]: (() => void)[];
     };
 };
-export default _default;

package/fs/types/rtti/{test.f.js → proof.f.js}

@@ -7,7 +7,7 @@ const tests = {
     object: [null, {}, []],
     function: [() => undefined]
 };
-export default {
+export const proof = {
     typeof: Object.fromEntries(Object.entries(tests).map(([k, a]) => [k, a.map(v => () => {
             if (typeof v !== k) {
                 throw `typeof ${v} !== ${k}`;

package/fs/types/rtti/ts/{test.f.d.ts → proof.f.d.ts}

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     tag0: {
         boolean: () => void;
         number: () => void;
@@ -57,4 +57,3 @@ declare const _default: {
         struct: () => void;
     };
 };
-export default _default;

package/fs/types/rtti/ts/{test.f.js → proof.f.js}

@@ -14,7 +14,7 @@ const eq = (rtti, expected) => {
         throw `expected ${JSON.stringify(expected)}, got ${JSON.stringify(result)}`;
     }
 };
-export default {
+export const proof = {
     tag0: {
         boolean: () => eq(boolean, 'boolean'),
         number: () => eq(number, 'number'),

package/fs/types/rtti/validate/{test.f.d.ts → proof.f.d.ts}

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     boolean: {
         ok: () => void;
         error: () => void;
@@ -114,4 +114,3 @@ declare const _default: {
         recordOfRecords: () => void;
     };
 };
-export default _default;

package/fs/types/rtti/validate/{test.f.js → proof.f.js}

@@ -20,7 +20,7 @@ const assertErrorPath = (expected) => (r) => {
         }
     }
 };
-export default {
+export const proof = {
     boolean: {
         ok: () => {
             assertOk(validate(boolean)(true));

package/fs/types/sorted_list/{test.f.d.ts → proof.f.d.ts}

@@ -1,5 +1,4 @@
-declare const _default: {
+export declare const proof: {
     sortedMergre: (() => void)[];
     find: (() => void)[];
 };
-export default _default;

package/fs/types/sorted_list/{test.f.js → proof.f.js}

@@ -6,7 +6,7 @@ import { flip } from "../function/module.f.js";
 import { cmp } from "../number/module.f.js";
 const str = stringify(sort);
 const reverseCmp = flip(cmp);
-export default {
+export const proof = {
     sortedMergre: [
         () => {
             const result = str(toArray(merge(cmp)([2, 3, 4])([1, 3, 5])));

package/fs/types/sorted_set/{test.f.d.ts → proof.f.d.ts}

@@ -1,7 +1,6 @@
-declare const _default: {
+export declare const proof: {
     example: () => void;
     union: (() => void)[];
     intersect: (() => void)[];
     has: (() => void)[];
 };
-export default _default;

package/fs/types/sorted_set/{test.f.js → proof.f.js}

@@ -6,7 +6,7 @@ import { flip } from "../function/module.f.js";
 import { cmp } from "../number/module.f.js";
 const str = a => stringify(sort)(a);
 const reverseCmp = flip(cmp);
-export default {
+export const proof = {
     example: () => {
         const cmp = (a) => (b) => a < b ? -1 : a > b ? 1 : 0;
         const setA = [1, 3, 5];

package/fs/types/string/{test.f.d.ts → proof.f.d.ts}

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     example: () => void;
     join: {
         0: () => void;
@@ -20,4 +20,3 @@ declare const _default: {
         empty: () => void;
     };
 };
-export default _default;

package/fs/types/string/{test.f.js → proof.f.js}

@@ -1,6 +1,6 @@
 import { join, concat, repeat, cmp, splitAt } from "./module.f.js";
 import { repeat as repeatList } from "../list/module.f.js";
-export default {
+export const proof = {
     example: () => {
         const words = ['hello', 'world'];
         if (join(' ')(words) !== 'hello world') {

package/fs/types/string_set/{test.f.d.ts → proof.f.d.ts}

@@ -1,6 +1,5 @@
-declare const _default: {
+export declare const proof: {
     example: () => void;
     contains: () => void;
     remove: () => void;
 };
-export default _default;

package/fs/types/string_set/{test.f.js → proof.f.js}

@@ -1,5 +1,5 @@
 import { contains, fromValues, remove, set } from "./module.f.js";
-export default {
+export const proof = {
     example: () => {
         let mySet = fromValues(['apple', 'banana', 'cherry']);
         if (!contains('banana')(mySet)) {

package/fs/types/ts/{test.f.d.ts → proof.f.d.ts}

@@ -16,3 +16,23 @@ export declare const printerMutableTuple: () => void;
 export declare const printerMutableStruct: () => void;
 export declare const printerMutableArray: () => void;
 export declare const printerMutableRecord: () => void;
+export declare const proof: {
+    primitiveNull: () => void;
+    primitiveBigint: () => void;
+    primitiveString: () => void;
+    primitiveNumberFinite: () => void;
+    primitiveNumberInfinite: () => void;
+    primitiveUndefined: () => void;
+    primitiveBoolean: () => void;
+    unionEmpty: () => void;
+    unionSingle: () => void;
+    unionMulti: () => void;
+    printerReadonlyTuple: () => void;
+    printerReadonlyStruct: () => void;
+    printerReadonlyArray: () => void;
+    printerReadonlyRecord: () => void;
+    printerMutableTuple: () => void;
+    printerMutableStruct: () => void;
+    printerMutableArray: () => void;
+    printerMutableRecord: () => void;
+};

package/fs/types/ts/{test.f.js → proof.f.js}

@@ -109,3 +109,4 @@ export const printerMutableRecord = () => {
         throw r;
     }
 };
+export const proof = { primitiveNull, primitiveBigint, primitiveString, primitiveNumberFinite, primitiveNumberInfinite, primitiveUndefined, primitiveBoolean, unionEmpty, unionSingle, unionMulti, printerReadonlyTuple, printerReadonlyStruct, printerReadonlyArray, printerReadonlyRecord, printerMutableTuple, printerMutableStruct, printerMutableArray, printerMutableRecord };

package/fs/types/uint8array/{test.f.d.ts → proof.f.d.ts}

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     empty: () => void;
     roundTrip: () => void;
     unalignedLength: () => void;
@@ -10,4 +10,3 @@ declare const _default: {
     utf8RoundTrip: () => void;
     listToVec: () => void;
 };
-export default _default;

package/fs/types/uint8array/{test.f.js → proof.f.js}

@@ -12,7 +12,7 @@ const assertArrayEq = (a, b) => {
         throw [a, b];
     }
 };
-export default {
+export const proof = {
     empty: () => {
         const input = new Uint8Array();
         const vec = toVec(input);

package/issues/demo/sample/{test.f.js → proof.f.js}

@@ -7,7 +7,7 @@ const arrayOfTests = [
   }
 ]
 
-export default {
+export const proof = {
   arrayOfTests,
   generatingTests: () => arrayOfTests,
 }

package/issues/{test.f.d.ts → proof.f.d.ts}

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     literal: () => void;
     ownProperty: {
         null: {
@@ -18,4 +18,3 @@ declare const _default: {
         };
     };
 };
-export default _default;

package/issues/{test.f.js → proof.f.js}

@@ -1,6 +1,6 @@
 const at = a => i => Object.getOwnPropertyDescriptor(a, i)?.value;
 const utf8 = (...x) => x;
-export default {
+export const proof = {
     literal: () => {
         const x = utf8 `17`;
         const m = '<html>Hello</html>';

package/nanvm-lib/tests/{test.f.d.ts → proof.f.d.ts}

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     eq: () => {
         nullish: () => void;
         boolean: {
@@ -89,4 +89,3 @@ declare const _default: {
         function: () => void;
     };
 };
-export default _default;

package/nanvm-lib/tests/{test.f.js → proof.f.js}

@@ -12,7 +12,7 @@ const nanRes = (op) => (n) => {
         throw result;
     }
 };
-export default {
+export const proof = {
     eq: () => {
         const e = (a) => (b) => {
             if (a === b) { }

package/nanvm-lib/tests/vm/{test.f.d.ts → proof.f.d.ts}

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     stringCoercion: {
         number: () => void;
         bool: () => void;
@@ -22,4 +22,3 @@ declare const _default: {
         };
     };
 };
-export default _default;

package/nanvm-lib/tests/vm/{test.f.js → proof.f.js}

@@ -1,5 +1,5 @@
 const stringCoercion = String;
-export default {
+export const proof = {
     stringCoercion: {
         number: () => {
             if (stringCoercion(123) !== '123') {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.18.0",
+  "version": "0.20.0",
   "type": "module",
   "files": [
     "**/*.js",
@@ -9,17 +9,17 @@
   "description": "FunctionalScript is a purely functional subset of JavaScript",
   "scripts": {
     "prepack": "tsc --NoEmit false",
-    "test": "tsc && node --test --experimental-strip-types --experimental-test-coverage --test-coverage-include=**/module.f.ts",
+    "test": "tsc && node --test --experimental-test-coverage --test-coverage-include=**/module.f.ts",
     "index": "node ./fs/fjs/module.ts r ./fs/dev/index/module.f.ts",
     "fst": "node ./fs/fjs/module.ts t",
     "start": "node ./fs/fjs/module.ts",
     "ci-update": "node ./fs/fjs/module.ts r ./fs/ci/module.f.ts",
     "update": "npm install && npm run index && npm run ci-update",
-    "index-html": "node --experimental-strip-types ./fs/fjs/module.ts r ./fs/website/module.f.ts",
+    "index-html": "node ./fs/fjs/module.ts r ./fs/website/module.f.ts",
     "website": "npm run prepack &&npm run index-html"
   },
   "engines": {
-    "node": ">=22"
+    "node": ">=24"
   },
   "bin": {
     "fjs": "fs/fjs/module.js"
@@ -44,7 +44,7 @@
   },
   "homepage": "https://github.com/functionalscript/functionalscript#readme",
   "devDependencies": {
-    "@playwright/test": "*",
+    "@playwright/test": "1",
     "@types/node": "*",
     "typescript": "*"
   }

package/fs/base128/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const _default: () => void;
-export default _default;

package/fs/cas/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const _default: () => void;
-export default _default;

package/fs/cas/test.f.js

@@ -1 +0,0 @@
-export default () => { };

package/fs/dev/version/test.f.d.ts

@@ -1,4 +0,0 @@
-declare const _default: {
-    new: () => void;
-};
-export default _default;

package/fs/fsm/test.f.d.ts

@@ -1,5 +0,0 @@
-declare const _default: {
-    dfa: () => void;
-    run: (() => void)[];
-};
-export default _default;

package/fs/path/test.f.d.ts

@@ -1,3 +0,0 @@
-export declare const normalizeTest: (() => void)[];
-export declare const concatTest: (() => void)[];
-export declare const relativizeTest: (() => void)[];

package/fs/text/ascii/test.f.d.ts

@@ -1,4 +0,0 @@
-declare const _default: {
-    range: () => void;
-};
-export default _default;

package/fs/text/sgr/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const _default: (() => void)[];
-export default _default;

package/fs/text/sgr/test.f.js

@@ -1,8 +0,0 @@
-import { fgRed } from "./module.f.js";
-export default [
-    () => {
-        if (fgRed !== '\x1b[31m') {
-            throw new Error('Test failed: sgr(0)');
-        }
-    }
-];

package/fs/types/btree/find/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const test: () => void;
-export default test;

package/fs/types/btree/remove/test.f.d.ts

@@ -1,5 +0,0 @@
-declare const _default: {
-    test: () => void;
-    test2: () => void;
-};
-export default _default;

package/fs/types/btree/set/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const test: (() => void)[];
-export default test;

package/fs/types/function/compare/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const _default: () => void;
-export default _default;

package/fs/types/function/operator/test.f.d.ts

@@ -1,10 +0,0 @@
-export declare const joinTest: () => void;
-export declare const concatTest: () => void;
-export declare const logicalNotTest: () => void;
-export declare const strictEqualTest: () => void;
-export declare const additionTest: () => void;
-export declare const minTest: () => void;
-export declare const maxTest: () => void;
-export declare const incrementTest: () => void;
-export declare const foldToScanTest: () => void;
-export declare const reduceToScanTest: () => void;

package/fs/types/function/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const _default: () => void;
-export default _default;

package/fs/types/map/test.f.d.ts

@@ -1,5 +0,0 @@
-declare const _default: {
-    set: () => void;
-    delete: () => void;
-};
-export default _default;

package/fs/types/nominal/test.f.d.ts

@@ -1,5 +0,0 @@
-declare const _default: {
-    pre: () => void;
-    nominal: () => void;
-};
-export default _default;

package/fs/types/nullable/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const _default: (() => void)[];
-export default _default;

package/fs/types/range/test.f.d.ts

@@ -1,2 +0,0 @@
-declare const _default: () => void;
-export default _default;

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

@@ -1,2 +0,0 @@
-export declare const example: () => void;
-export declare const invertTest: () => void;