functionalscript 0.36.0 → 0.38.0

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

@@ -1,89 +0,0 @@
-import { every, map, countdown } from "../list/module.f.js";
-import { empty, has, set, setRange, unset, universe, complement } from "./module.f.js";
-export const proof = {
-    has: () => {
-        if (has(0)(empty)) {
-            throw empty;
-        }
-        if (has(1)(empty)) {
-            throw empty;
-        }
-        if (has(15)(empty)) {
-            throw empty;
-        }
-    },
-    set: [
-        () => {
-            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 !== 0x8000) {
-                throw s;
-            }
-            if (has(0)(s)) {
-                throw s;
-            }
-            if (has(1)(s)) {
-                throw s;
-            }
-            if (!has(15)(s)) {
-                throw s;
-            }
-        }
-    ],
-    unset: () => [
-        () => {
-            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;
-            }
-        }
-    ],
-    setRange: () => {
-        const result = setRange([2, 5])(empty);
-        if (result !== 60) {
-            throw result;
-        }
-    },
-    universe: () => {
-        const x = every(map((v) => has(v)(universe))(countdown(16)));
-        if (!x) {
-            throw x;
-        }
-    },
-    compliment: {
-        empty: () => {
-            const r = complement(empty);
-            if (r !== universe) {
-                throw r;
-            }
-        },
-        universe: () => {
-            const r = complement(universe);
-            if (r !== empty) {
-                throw r;
-            }
-        },
-    }
-};

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

@@ -1,50 +0,0 @@
-import { fromUndefined, map, match, toOption } from "./module.f.js";
-export const proof = [
-    () => {
-        const optionSq = map((v) => v * v);
-        const sq3 = optionSq(3);
-        if (sq3 !== 9) {
-            throw sq3;
-        }
-        const sqNull = optionSq(null);
-        if (sqNull !== null) {
-            throw sqNull;
-        }
-    },
-    () => {
-        const opt1 = toOption(5);
-        if (opt1.length !== 1 || opt1[0] !== 5) {
-            throw opt1;
-        }
-        const opt2 = toOption(null);
-        if (opt2.length !== 0) {
-            throw opt2;
-        }
-    },
-    () => {
-        const double = match((v) => v * 2)(() => -1);
-        if (double(3) !== 6) {
-            throw double(3);
-        }
-        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/patricia_trie/proof.f.d.ts

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

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

@@ -1,2 +0,0 @@
-export const contains = ([b, e]) => i => b <= i && i <= e;
-export const one = a => [a, a];

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

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

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

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

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

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

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

@@ -1,52 +0,0 @@
-import { error, ok, unwrap, invert, mapOk } from "./module.f.js";
-const example = () => {
-    const success = ok(42);
-    const failure = error('Something went wrong');
-    if (unwrap(success) !== 42) {
-        throw 'error';
-    }
-    const [kind, v] = failure;
-    if (kind !== 'error') {
-        throw 'error';
-    }
-    // `v` is inferred as `string` here
-    if (v !== 'Something went wrong') {
-        throw 'error';
-    }
-};
-const invertTest = () => {
-    const [k0, v0] = invert(ok(42));
-    if (k0 !== 'error' || v0 !== 42) {
-        throw [k0, v0];
-    }
-    const [k1, v1] = invert(error('oops'));
-    if (k1 !== 'ok' || v1 !== 'oops') {
-        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';
-    }
-};
-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/fs/types/string/proof.f.js

@@ -1,118 +0,0 @@
-import { join, concat, repeat, cmp, splitAt } from "./module.f.js";
-import { repeat as repeatList } from "../list/module.f.js";
-export const proof = {
-    example: () => {
-        const words = ['hello', 'world'];
-        if (join(' ')(words) !== 'hello world') {
-            throw 0;
-        }
-        if (concat(words) !== 'helloworld') {
-            throw 1;
-        }
-        if (repeat('abc')(3) !== 'abcabcabc') {
-            throw 2;
-        }
-        if (cmp('apple')('banana') !== -1) {
-            throw 3;
-        }
-    },
-    join: {
-        0: () => {
-            const result = join('/')([]);
-            if (result !== '') {
-                throw result;
-            }
-        },
-        1: () => {
-            const result = join('/')(['']);
-            if (result !== '') {
-                throw result;
-            }
-        },
-        3: () => {
-            const result = join(' ')(['hello', 'world', '!']);
-            if (result !== 'hello world !') {
-                throw result;
-            }
-        }
-    },
-    concat: () => {
-        const result = concat(['hello', 'world']);
-        if (result !== 'helloworld') {
-            throw result;
-        }
-    },
-    repeatList: {
-        0: () => {
-            const s = join('.')(repeatList('x')(0));
-            if (s != '') {
-                throw s;
-            }
-        },
-        5: () => {
-            const s = join('.')(repeatList('x')(5));
-            if (s != 'x.x.x.x.x') {
-                throw s;
-            }
-        }
-    },
-    repeat: () => {
-        const s = repeat('x')(5);
-        if (s != 'xxxxx') {
-            throw s;
-        }
-    },
-    cmp: () => {
-        const result = cmp('3')('4');
-        if (result !== -1) {
-            throw result;
-        }
-    },
-    splitAt: {
-        middle: () => {
-            const [a, b] = splitAt(3)('hello');
-            if (a !== 'hel') {
-                throw a;
-            }
-            if (b !== 'lo') {
-                throw b;
-            }
-        },
-        zero: () => {
-            const [a, b] = splitAt(0)('hello');
-            if (a !== '') {
-                throw a;
-            }
-            if (b !== 'hello') {
-                throw b;
-            }
-        },
-        full: () => {
-            const [a, b] = splitAt(5)('hello');
-            if (a !== 'hello') {
-                throw a;
-            }
-            if (b !== '') {
-                throw b;
-            }
-        },
-        beyond: () => {
-            const [a, b] = splitAt(10)('hello');
-            if (a !== 'hello') {
-                throw a;
-            }
-            if (b !== '') {
-                throw b;
-            }
-        },
-        empty: () => {
-            const [a, b] = splitAt(0)('');
-            if (a !== '') {
-                throw a;
-            }
-            if (b !== '') {
-                throw b;
-            }
-        },
-    }
-};

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

@@ -1,82 +0,0 @@
-import { contains, fromValues, remove, set } from "./module.f.js";
-export const proof = {
-    example: () => {
-        let mySet = fromValues(['apple', 'banana', 'cherry']);
-        if (!contains('banana')(mySet)) {
-            throw '1';
-        }
-        if (contains('date')(mySet)) {
-            throw '2';
-        }
-        mySet = set('date')(mySet);
-        if (!contains('date')(mySet)) {
-            throw '3';
-        }
-        mySet = remove('banana')(mySet);
-        if (contains('banana')(mySet)) {
-            throw '4';
-        }
-    },
-    contains: () => {
-        const r = set('hello')(null);
-        if (!contains('hello')(r)) {
-            throw r;
-        }
-        if (contains('hello1')(r)) {
-            throw r;
-        }
-    },
-    remove: () => {
-        let r = set('hello')(null);
-        r = set('world')(r);
-        r = set('HELLO')(r);
-        r = set('WORLD!')(r);
-        if (!contains('hello')(r)) {
-            throw r;
-        }
-        if (contains('hello1')(r)) {
-            throw r;
-        }
-        if (!contains('HELLO')(r)) {
-            throw r;
-        }
-        if (contains('WORLD')(r)) {
-            throw r;
-        }
-        if (!contains('world')(r)) {
-            throw r;
-        }
-        if (contains('world!')(r)) {
-            throw r;
-        }
-        if (!contains('WORLD!')(r)) {
-            throw r;
-        }
-        //
-        r = remove('hello')(r);
-        if (contains('hello')(r)) {
-            throw r;
-        }
-        if (!contains('world')(r)) {
-            throw r;
-        }
-        r = remove('world')(r);
-        if (contains('world')(r)) {
-            throw r;
-        }
-        if (!contains('HELLO')(r)) {
-            throw r;
-        }
-        r = remove('HELLO')(r);
-        if (contains('HELLO')(r)) {
-            throw r;
-        }
-        if (!contains('WORLD!')(r)) {
-            throw r;
-        }
-        r = remove('WORLD!')(r);
-        if (r !== null) {
-            throw r;
-        }
-    }
-};

package/fs/website/proof.f.js

@@ -1,16 +0,0 @@
-import { main } from "./module.f.js";
-import { emptyState, virtual } from "../effects/node/virtual/module.f.js";
-import { assert } from "../asserts/module.f.js";
-export const proof = {
-    main: () => {
-        const program = main();
-        if (program === undefined) {
-            throw 'expected a program effect';
-        }
-    },
-    run: () => {
-        const state = { ...emptyState, root: { '.github': { workflows: {} } } };
-        const [_, result] = virtual(state)(main());
-        assert(result === 0, result);
-    },
-};