functionalscript 0.19.0 → 0.21.0

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

@@ -1,5 +1,5 @@
-import { map, match, toOption } from "./module.f.js";
-export default [
+import { fromUndefined, map, match, toOption } from "./module.f.js";
+export const proof = [
     () => {
         const optionSq = map((v) => v * v);
         const sq3 = optionSq(3);
@@ -29,5 +29,22 @@ export default [
         if (double(null) !== -1) {
             throw double(null);
         }
-    }
+    },
+    () => {
+        if (fromUndefined(undefined) !== null) {
+            throw 0;
+        }
+        if (fromUndefined(5) !== 5) {
+            throw 1;
+        }
+        if (fromUndefined(0) !== 0) {
+            throw 2;
+        }
+        if (fromUndefined(null) !== null) {
+            throw 3;
+        }
+        if (fromUndefined('') !== '') {
+            throw 4;
+        }
+    },
 ];

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

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     sum: () => void;
     min: {
         empty: () => void;
@@ -9,4 +9,3 @@ declare const _default: {
     standard: () => void;
     countOnes: (() => void)[];
 };
-export default _default;

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

@@ -1,5 +1,5 @@
 import { sum, min, max, cmp, countOnes } from "./module.f.js";
-export default {
+export const proof = {
     sum: () => {
         const result = sum([2, 3, 4, 5]);
         if (result !== 14) {

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

@@ -7,12 +7,10 @@
  */
 import { isArray } from "../array/module.f.js";
 import { iterable } from "../list/module.f.js";
+import { fromUndefined, map } from "../nullable/module.f.js";
 import { entries as mapEntries, fromEntries as mapFromEntries } from "../ordered_map/module.f.js";
 const { getOwnPropertyDescriptor, fromEntries: objectFromEntries } = Object;
-export const at = name => object => {
-    const r = getOwnPropertyDescriptor(object, name);
-    return r === undefined ? null : r.value;
-};
+export const at = name => object => map((d) => d.value)(fromUndefined(getOwnPropertyDescriptor(object, name)));
 export const sort = e => mapEntries(mapFromEntries(e));
 export const fromEntries = e => objectFromEntries(iterable(e));
 export const fromMap = m => fromEntries(mapEntries(m));

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

@@ -1,5 +1,4 @@
-declare const _default: {
+export declare const proof: {
     ctor: () => void;
     property: () => void;
 };
-export default _default;

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

@@ -1,5 +1,5 @@
 import { at } from "./module.f.js";
-export default {
+export const proof = {
     ctor: () => {
         const a = {};
         const value = at('constructor')(a);

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

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

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

@@ -1,6 +1,6 @@
 import { at, setReplace, setReduce, empty, entries, remove } from "./module.f.js";
 import { toArray } from "../list/module.f.js";
-export default {
+export const proof = {
     main: [
         () => {
             let m = setReplace('a')(1)(null);

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

@@ -1,8 +1,7 @@
-declare const _default: {
+export declare const proof: {
     empty: () => void;
     singleLeaf: () => void;
     twoLeaves: () => void;
     descending: () => void;
     ascending: () => void;
 };
-export default _default;

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

@@ -1,4 +1,4 @@
-import { assert } from "../../dev/module.f.js";
+import { assert } from "../../asserts/module.f.js";
 import { emptyState, patriciaTrie } from "./module.f.js";
 const combine = (a, b) => a * 1000n + b;
 const create = (a, b, s) => {
@@ -112,7 +112,7 @@ const ascending = () => runExample([
     [119n, 179n, 200n, 227n, 242n],
     [119n, 179n, 200n, 227n, 242n, 249n],
 ], [0, 0, 0, 2, 1, 0, 1, 0, 3, 0, 0, 1, 2, 0, 0, 0]);
-export default {
+export const proof = {
     empty,
     singleLeaf,
     twoLeaves,

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

@@ -1,4 +1,4 @@
-declare const _default: {
+export declare const proof: {
     prime_field_test: () => {
         neg: () => void;
         sub: () => void;
@@ -10,4 +10,3 @@ declare const _default: {
         sqrt: () => void;
     };
 };
-export default _default;

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

@@ -1,5 +1,5 @@
 import { prime_field, sqrt } from "./module.f.js";
-export default {
+export const proof = {
     prime_field_test: () => {
         const p = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2fn;
         const f = prime_field(p);

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/module.f.d.ts

@@ -6,7 +6,6 @@
  * @module
  */
 export type Equal<A, B> = (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? true : false;
-export type Assert<T extends true> = T;
 /** Functions for emitting TypeScript type expression strings. */
 export type Printer = {
     /** Emits a tuple type: `readonly[A, B]` or `[A, B]` when mutable. */

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/fs/website/proof.f.d.ts

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

package/fs/website/proof.f.js

@@ -0,0 +1,9 @@
+import defaultExport from "./module.f.js";
+export const proof = {
+    default: () => {
+        const program = defaultExport();
+        if (program === undefined) {
+            throw 'expected a program effect';
+        }
+    }
+};

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.19.0",
+  "version": "0.21.0",
   "type": "module",
   "files": [
     "**/*.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/bnf/test.f.d.ts

@@ -1,4 +0,0 @@
-declare const _default: {
-    test: () => 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/tf/scenarios/fail.fail.f.d.ts

@@ -1 +0,0 @@
-export declare const failing: () => never;

package/fs/dev/tf/scenarios/fail.fail.f.js

@@ -1 +0,0 @@
-export const failing = () => { throw 'intentional failure'; };

package/fs/dev/tf/scenarios/return-value.pass.f.d.ts

@@ -1 +0,0 @@
-export declare const outer: () => unknown;

package/fs/dev/tf/scenarios/return-value.pass.f.js

@@ -1,2 +0,0 @@
-const inner = () => { };
-export const outer = () => ({ inner });

package/fs/dev/tf/scenarios/throw.pass.f.d.ts

@@ -1,6 +0,0 @@
-declare const _default: {
-    throw: {
-        a: () => never;
-    };
-};
-export default _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/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;