functionalscript 0.37.0 → 0.38.0

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;
-        }
-    }
-};