functionalscript 0.3.11 → 0.3.12

package/bnf/test.f.js

@@ -0,0 +1,368 @@
+import { firstSet, setOp } from "./module.f.js";
+import * as j from "../json/module.f.js";
+import { sort } from "../types/object/module.f.js";
+const stringify = j.stringify(sort);
+const eq = (a, e) => () => {
+    const r = stringify(firstSet(a));
+    if (r !== e) {
+        throw [r, e];
+    }
+};
+// https://www.json.org/json-en.html
+const classic = () => {
+    // {"empty":true,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32]]}
+    const ws = () => ({ or: [
+            [],
+            ['\t', ws], // 9
+            ['\n', ws], // 10
+            ['\r', ws], // 13
+            [' ', ws], // 32
+        ] });
+    // {"empty":true,"map":[[false,42],[true,43],[false,44],[true,45]]}
+    const sign = { or: [
+            [],
+            '+', // 43
+            '-', // 45
+        ] };
+    // {"empty":false,"map":[[false,48],[true,57]]}
+    const onenine = [0x31, 0x39];
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const digit = { or: [
+            '0',
+            onenine,
+        ] };
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const digits = () => ({ or: [
+            digit,
+            [digit, digits]
+        ] });
+    // {"empty":true,"map":[[false,68],[true,69],[false,100],[true,101]]}
+    const exponent = { or: [
+            [],
+            ['E', sign, digits], // 69
+            ['e', sign, digits], // 101
+        ] };
+    // {"empty":true,"map":[[false,45],[true,46]]}
+    const fraction = { or: [
+            [],
+            ['.', digits] // 46
+        ] };
+    // {"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}
+    const integer = { or: [
+            digit, // 48-57
+            [onenine, digits],
+            ['-', digit], // 45
+            ['-', onenine, digits],
+        ] };
+    // {"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}
+    const number = [integer, fraction, exponent];
+    // {"empty":false,"map":[[false,47],[true,57],[false,64],[true,70],[false,96],[true,102]]}
+    const hex = { or: [
+            digit, // 48-57
+            [0x41, 0x46], // A..F
+            [0x61, 0x66], // a..f
+        ] };
+    // {"empty":false,"map":[[false,33],[true,34],[false,46],[true,47],[false,91],[true,92],[false,97],[true,98],[false,101],[true,102],[false,109],[true,110],[false,113],[true,114],[false,115],[true,117]]}
+    const escape = { or: [
+            '"', //  34
+            '/', //  47
+            '\\', //  92
+            'b', //  98
+            'f', // 102
+            'n', // 110
+            'r', // 114
+            't', // 116
+            ['u', hex, hex, hex, hex] // 117
+        ] };
+    // {"empty":false,"map":[[false,31],[true,33],[false,34],[true,1114111]]}
+    const character = { or: [
+            [0x20, 0x21], // exclude '"' 0x22
+            [0x23, 0x5B], // exclude '\' 0x5C
+            [0x5D, 0x10FFFF], // 93-1114111
+            ['\\', escape], // 92
+        ] };
+    // {"empty":true,"map":[[false,31],[true,33],[false,34],[true,1114111]]}
+    const characters = () => ({ or: [
+            [],
+            [character, characters]
+        ] });
+    // {"empty":false,"map":[[false,33],[true,34]]}
+    const string = ['"', characters, '"'];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const element = () => [ws, value, ws];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const elements = () => ({ or: [
+            element,
+            [element, ',', elements]
+        ] });
+    // {"empty":false,"map":[[false,90],[true,91]]}
+    const array = { or: [
+            ['[', ws, ']'], // 91
+            ['[', elements, ']'],
+        ] };
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}
+    const member = [ws, string, ws, ':', element];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}
+    const members = () => ({ or: [
+            member,
+            [member, ',', members],
+        ] });
+    // {"empty":false,"map":[[false,122],[true,123]]}
+    const object = { or: [
+            ['{', ws, '}'], // 123
+            ['{', members, '}'],
+        ] };
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const value = { or: [
+            object, // 123
+            array, // 91
+            string, // 34
+            number, // 45, 48-57
+            'true', // 116
+            'false', // 102
+            'null', // 110
+        ] };
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const json = element;
+    return {
+        ws: eq(ws, '{"empty":true,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32]]}'),
+        sign: eq(sign, '{"empty":true,"map":[[false,42],[true,43],[false,44],[true,45]]}'),
+        digits: eq(digits, '{"empty":false,"map":[[false,47],[true,57]]}'),
+        exponent: eq(exponent, '{"empty":true,"map":[[false,68],[true,69],[false,100],[true,101]]}'),
+        fraction: eq(fraction, '{"empty":true,"map":[[false,45],[true,46]]}'),
+        onenine: eq(onenine, '{"empty":false,"map":[[false,48],[true,57]]}'),
+        digit: eq(digit, '{"empty":false,"map":[[false,47],[true,57]]}'),
+        string: eq(string, '{"empty":false,"map":[[false,33],[true,34]]}'),
+        member: eq(member, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}'),
+        members: eq(members, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}'),
+        object: eq(object, '{"empty":false,"map":[[false,122],[true,123]]}'),
+        array: eq(array, '{"empty":false,"map":[[false,90],[true,91]]}'),
+        integer: eq(integer, '{"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}'),
+        number: eq(number, '{"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}'),
+        value: eq(value, '{"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        element: eq(element, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        elements: eq(elements, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        json: eq(json, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        hex: eq(hex, '{"empty":false,"map":[[false,47],[true,57],[false,64],[true,70],[false,96],[true,102]]}'),
+        escape: eq(escape, '{"empty":false,"map":[[false,33],[true,34],[false,46],[true,47],[false,91],[true,92],[false,97],[true,98],[false,101],[true,102],[false,109],[true,110],[false,113],[true,114],[false,115],[true,117]]}'),
+        character: eq(character, '{"empty":false,"map":[[false,31],[true,33],[false,34],[true,1114111]]}'),
+        characters: eq(characters, '{"empty":true,"map":[[false,31],[true,33],[false,34],[true,1114111]]}'),
+    };
+};
+const deterministic = () => {
+    // {"empty":true,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32]]}
+    const ws = () => ({ or: [
+            [],
+            ['\t', ws], // 9
+            ['\n', ws], // 10
+            ['\r', ws], // 13
+            [' ', ws], // 32
+        ] });
+    // {"empty":true,"map":[[false,42],[true,43],[false,44],[true,45]]}
+    const sign = { or: [
+            [],
+            '+', // 43
+            '-', // 45
+        ] };
+    // {"empty":false,"map":[[false,48],[true,57]]}
+    const onenine = [0x31, 0x39];
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const digit = { or: [
+            '0',
+            onenine,
+        ] };
+    // {"empty":true,"map":[[false,47],[true,57]]}
+    const digits1 = () => ({ or: [
+            [],
+            [digit, digits1]
+        ]
+    });
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const digits = [digit, digits1];
+    // {"empty":true,"map":[[false,68],[true,69],[false,100],[true,101]]}
+    const exponent = { or: [
+            [],
+            ['E', sign, digits], // 69
+            ['e', sign, digits], // 101
+        ] };
+    // {"empty":true,"map":[[false,45],[true,46]]}
+    const fraction = { or: [
+            [],
+            ['.', digits] // 46
+        ] };
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const integer1 = { or: [
+            '0', // 48
+            [onenine, digits1], // 49-57
+        ] };
+    // {"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}
+    const integer = { or: [
+            integer1, // 48-57
+            ['-', integer1], // 45
+        ] };
+    // {"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}
+    const number = [integer, fraction, exponent];
+    // {"empty":false,"map":[[false,47],[true,57],[false,64],[true,70],[false,96],[true,102]]}
+    const hex = { or: [
+            digit, // 48-57
+            [0x41, 0x46], // A..F
+            [0x61, 0x66], // a..f
+        ] };
+    // {"empty":false,"map":[[false,33],[true,34],[false,46],[true,47],[false,91],[true,92],[false,97],[true,98],[false,101],[true,102],[false,109],[true,110],[false,113],[true,114],[false,115],[true,117]]}
+    const escape = { or: [
+            '"', //  34
+            '/', //  47
+            '\\', //  92
+            'b', //  98
+            'f', // 102
+            'n', // 110
+            'r', // 114
+            't', // 116
+            ['u', hex, hex, hex, hex] // 117
+        ] };
+    // {"empty":false,"map":[[false,31],[true,33],[false,34],[true,1114111]]}
+    const character = { or: [
+            [0x20, 0x21], // exclude '"' 0x22
+            [0x23, 0x5B], // exclude '\' 0x5C
+            [0x5D, 0x10FFFF], // 93-1114111
+            ['\\', escape], // 92
+        ] };
+    // {"empty":true,"map":[[false,31],[true,33],[false,34],[true,1114111]]}
+    const characters = () => ({ or: [
+            [],
+            [character, characters]
+        ] });
+    // {"empty":false,"map":[[false,33],[true,34]]}
+    const string = ['"', characters, '"'];
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const element1 = () => [value, ws];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const element = [ws, element1];
+    // {"empty":true,"map":[[false,43],[true,44]]}
+    const elements2 = () => ({ or: [
+            [],
+            [',', elements] // 44
+        ] });
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const elements1 = [element1, elements2];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const elements = [ws, elements1];
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,92],[true,93],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const array1 = { or: [
+            [']'], // 93
+            [elements1, ']'],
+        ] };
+    // {"empty":false,"map":[[false,90],[true,91]]}
+    const array = ['[', ws, array1];
+    // {"empty":false,"map":[[false,33],[true,34]]}
+    const member1 = [string, ws, ':', element];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}
+    const member = [ws, member1];
+    // {"empty":true,"map":[[false,43],[true,44]]}
+    const members2 = () => ({ or: [
+            [],
+            [',', members], // 44
+        ] });
+    // {"empty":false,"map":[[false,33],[true,34]]}
+    const members1 = [member1, members2];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}
+    const members = [ws, members1];
+    // {"empty":false,"map":[[false,33],[true,34],[false,124],[true,125]]}
+    const object1 = { or: [
+            ['}'], // 125
+            [members1, '}'],
+        ] };
+    // {"empty":false,"map":[[false,122],[true,123]]}
+    const object = ['{', ws, object1];
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const value = { or: [
+            object, // 123
+            array, // 91
+            string, // 34
+            number, // 45, 48-57
+            'true', // 116
+            'false', // 102
+            'null', // 110
+        ] };
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const json = element;
+    return {
+        ws: eq(ws, '{"empty":true,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32]]}'),
+        sign: eq(sign, '{"empty":true,"map":[[false,42],[true,43],[false,44],[true,45]]}'),
+        digits1: eq(digits1, '{"empty":true,"map":[[false,47],[true,57]]}'),
+        digits: eq(digits, '{"empty":false,"map":[[false,47],[true,57]]}'),
+        exponent: eq(exponent, '{"empty":true,"map":[[false,68],[true,69],[false,100],[true,101]]}'),
+        fraction: eq(fraction, '{"empty":true,"map":[[false,45],[true,46]]}'),
+        onenine: eq(onenine, '{"empty":false,"map":[[false,48],[true,57]]}'),
+        digit: eq(digit, '{"empty":false,"map":[[false,47],[true,57]]}'),
+        string: eq(string, '{"empty":false,"map":[[false,33],[true,34]]}'),
+        member1: eq(member1, '{"empty":false,"map":[[false,33],[true,34]]}'),
+        member: eq(member, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}'),
+        members2: eq(members2, '{"empty":true,"map":[[false,43],[true,44]]}'),
+        members1: eq(members1, '{"empty":false,"map":[[false,33],[true,34]]}'),
+        members: eq(members, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}'),
+        object1: eq(object1, '{"empty":false,"map":[[false,33],[true,34],[false,124],[true,125]]}'),
+        object: eq(object, '{"empty":false,"map":[[false,122],[true,123]]}'),
+        array1: eq(array1, '{"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,92],[true,93],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        array: eq(array, '{"empty":false,"map":[[false,90],[true,91]]}'),
+        integer1: eq(integer1, '{"empty":false,"map":[[false,47],[true,57]]}'),
+        integer: eq(integer, '{"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}'),
+        number: eq(number, '{"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}'),
+        value: eq(value, '{"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        element1: eq(element1, '{"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        element: eq(element, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        elements2: eq(elements2, '{"empty":true,"map":[[false,43],[true,44]]}'),
+        elements1: eq(elements1, '{"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        elements: eq(elements, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        json: eq(json, '{"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}'),
+        hex: eq(hex, '{"empty":false,"map":[[false,47],[true,57],[false,64],[true,70],[false,96],[true,102]]}'),
+        escape: eq(escape, '{"empty":false,"map":[[false,33],[true,34],[false,46],[true,47],[false,91],[true,92],[false,97],[true,98],[false,101],[true,102],[false,109],[true,110],[false,113],[true,114],[false,115],[true,117]]}'),
+        character: eq(character, '{"empty":false,"map":[[false,31],[true,33],[false,34],[true,1114111]]}'),
+        characters: eq(characters, '{"empty":true,"map":[[false,31],[true,33],[false,34],[true,1114111]]}'),
+    };
+};
+//
+export default {
+    example: {
+        module: () => {
+            const grammar = [
+                { or: [[65, 90], [97, 122], [48, 57]] }, // Matches 'A-Z', 'a-z', and '0-9'
+            ];
+            const s = firstSet(grammar);
+            if (s.empty) {
+                throw s;
+            }
+            if (setOp.get('0'.codePointAt(0))(s.map) !== true) {
+                throw s;
+            }
+            if (setOp.get('h'.codePointAt(0))(s.map) !== true) {
+                throw s;
+            }
+            if (setOp.get('$'.codePointAt(0))(s.map) !== false) {
+                throw s;
+            }
+        },
+        types: () => {
+            const alpha = [65, 90]; // Matches 'A-Z'
+            const id2 = [alpha, alpha]; // Matches two uppercase letters
+            const digit = [48, 57]; // Matches '0-9'
+            // Matches two uppercase letters or one digit
+            const id2OrDigit = { or: [
+                    id2,
+                    digit,
+                ] };
+            // Matches 'true', 'false'
+            const bool = { or: [
+                    'true',
+                    'false',
+                ] };
+            const id = () => [alpha, { or: [
+                        [], // Empty
+                        id // Recursive
+                    ] }];
+            const _ = [id2OrDigit, bool, id];
+        }
+    },
+    classic,
+    deterministic,
+};

package/dev/test/module.f.js

@@ -23,7 +23,8 @@ export default (input) => {
                     if (v.length === 0) {
                         const [[s, r], delta, state0] = measure(() => tryCatch(v))(state);
                         state = state0;
-                        if (s === 'error') {
+                        // Usual tests throw on error, but if the function name is 'throw', then the test passes if it throws.
+                        if ((s === 'error') === (v.name !== 'throw')) {
                             ts = addFail(delta)(ts);
                             if (isGitHub) {
                                 // https://docs.github.com/en/actions/learn-github-actions/workflow-commands-for-github-actions

package/fsc/module.f.js

@@ -21,6 +21,7 @@ const reduce = (a) => {
     const merge = rangeMapMerge({
         union,
         equal: strictEqual,
+        def,
     });
     return toArray(listReduce(merge)(empty)(a));
 };

package/fsm/module.f.js

@@ -17,7 +17,7 @@ export const toUnion = s => {
     const codePoints = stringToList(s);
     return fold(toUnionOp)(empty)(codePoints);
 };
-const mergeOp = { union: sortedSetUnion(unsafeCmp), equal: equal(strictEqual) };
+const mergeOp = { union: sortedSetUnion(unsafeCmp), equal: equal(strictEqual), def: [] };
 const hasState = s => set => !isEmpty(intersect(unsafeCmp)([s])(set));
 const foldOp = set => ([ruleIn, bs, ruleOut]) => rm => {
     if (hasState(ruleIn)(set)) {

package/issues/31-json.f.d.ts

@@ -0,0 +1 @@
+type TerminalRange = readonly [number, number];

package/issues/31-json.f.js

@@ -0,0 +1,241 @@
+"use strict";
+// JSON: https://www.json.org/json-en.html
+{
+    // null, [0x09, 0x0A], 0x0D, 0x20
+    const ws = () => ({ or: [
+            [],
+            ['\t', ws], // 0x09
+            ['\n', ws], // 0x0A
+            ['\r', ws], // 0x0D
+            [' ', ws], // 0x20
+        ] });
+    // null, 0x2B, 0x2D
+    const sign = { or: [
+            [],
+            '+', // 0x2B
+            '-', // 0x2D
+        ] };
+    // null, [0x30, 0x39]
+    const digits1 = () => ({ or: [
+            [],
+            digits // [0x30, 0x39]
+        ] });
+    // [0x30, 0x39]
+    const digits = () => [digit, digits1];
+    // null, 0x45, 0x65
+    const exponent = { or: [
+            [],
+            ['E', sign, digits], // 0x45
+            ['e', sign, digits], // 0x65
+        ] };
+    // null, 0x2E
+    const fraction = { or: [
+            [],
+            ['.', digits] // 0x2E
+        ] };
+    // [0x31, 0x39]
+    const onenine = [0x31, 0x39];
+    // [0x30, 0x39]
+    const digit = { or: [
+            '0', // 0x30
+            onenine, // [0x31, 0x39]
+        ] };
+    // null, 0x2C
+    const members2 = () => ({ or: [
+            [],
+            [',', ws, members1], // 0x2C
+        ] });
+    // 0x22
+    const members1 = () => [member1, members2];
+    // 0x22, 0x7D
+    const object1 = { or: [
+            [members1, '}'], // 0x22
+            '}', // 0x7D
+        ] };
+    // 0x7B
+    const object = ['{', ws, object1];
+    // 0x22, 0x2D, [0x30, 0x39], 0x5B, 0x5D, 0x66, 0x6E, 0x74, 0x7B
+    const array1 = () => ({ or: [
+            [element1, ']'], // 0x22, 0x2D, [0x30, 0x39], 0x5B, 0x66, 0x6E, 0x74, 0x7B
+            ']', // 0x5D
+        ] });
+    // 0x5B
+    const array = ['[', ws, array1];
+    // [0x30, 0x39], [0x41, 0x46], [0x61, 0x66]
+    const hex = { or: [
+            digit, // [0x30, 0x39]
+            [0x41, 0x46], // A..F
+            [0x61, 0x66], // a..f
+        ] };
+    // 0x22, 0x2F, 0x5C, 0x62, 0x66, 0x6E, 0x72, [0x74, 0x75]
+    const escape = { or: [
+            '"', // 0x22
+            '/', // 0x2F
+            '\\', // 0x5C
+            'b', // 0x62
+            'f', // 0x66
+            'n', // 0x6E
+            'r', // 0x72
+            't', // 0x74
+            ['u', hex, hex, hex, hex] // 0x75
+        ] };
+    // [0x20, 0x21], [0x23, 0x10FFFF]
+    const character = { or: [
+            [0x20, 0x21], // exclude '"' 0x22
+            [0x23, 0x5B], // exclude '\' 0x5C
+            [0x5D, 0x10FFFF], //
+            ['\\', escape], // 0x5C
+        ] };
+    // null, [0x20, 0x21], [0x23, 0x10FFFF]
+    const characters = () => ({ or: [
+            [],
+            [character, characters]
+        ] });
+    // 0x22
+    const string = ['"', characters, '"'];
+    // [0x30, 0x39]
+    const integer1 = { or: [
+            '0',
+            [onenine, digits1],
+        ] };
+    // 0x2D, [0x30, 0x39]
+    const integer = { or: [
+            ['-', integer1], // 0x2D
+            '0', // 0x30
+            [onenine, digits1], // [0x31, 0x39]
+        ] };
+    // 0x2D, [0x30, 0x39]
+    const number = [integer, fraction, exponent];
+    // 0x22, 0x2D, [0x30, 0x39], 0x5B, 0x66, 0x6E, 0x74, 0x7B
+    const value = { or: [
+            string, // 0x22
+            number, // 0x2D, [0x30, 0x39]
+            array, // 0x5B
+            'false', // 0x66
+            'null', // 0x6E
+            'true', // 0x74
+            object, // 0x7B
+        ] };
+    // 0x22, 0x2D, [0x30, 0x39], 0x5B, 0x66, 0x6E, 0x74, 0x7B
+    const element1 = [value, ws];
+    // [0x09, 0x0A], 0x0D, 0x20, 0x22, 0x2D, [0x30, 0x39], 0x5B, 0x66, 0x6E, 0x74, 0x7B
+    const element = [ws, element1];
+    // 0x22
+    const member1 = [string, ws, ':', element];
+    const json = element;
+}
+// serializable
+{
+    //
+    const element = { id: 'element' };
+    const ws = { id: 'ws' };
+    const value = { id: 'value' };
+    const object = { id: 'object' };
+    const array = { id: 'array' };
+    const string = { id: 'string' };
+    const number = { id: 'number' };
+    const members = { id: 'members' };
+    const characters = { id: 'characters' };
+    const integer = { id: 'integer' };
+    const fraction = { id: 'fraction' };
+    const exponent = { id: 'exponent' };
+    const member = { id: 'member' };
+    const character = { id: 'character' };
+    const digit = { id: 'digit' };
+    const onenine = { id: 'onenine' };
+    const digits = { id: 'digits' };
+    const sign = { id: 'sign' };
+    const escape = { id: 'escape' };
+    const hex = { id: 'hex' };
+    const map = {
+        json: element,
+        element: [ws, value, ws],
+        ws: { or: [
+                [],
+                [' ', ws],
+                ['\t', ws],
+                ['\n', ws],
+                ['\r', ws],
+            ] },
+        value: { or: [
+                object,
+                array,
+                string,
+                number,
+                'true',
+                'false',
+                'null'
+            ] },
+        object: { or: [
+                ['{', ws, '}'],
+                ['{', members, '}'],
+            ] },
+        array: { or: [
+                ['[', ws, ']'],
+                ['[', element, ']'],
+            ] },
+        string: ['"', characters, '"'],
+        number: [integer, fraction, exponent],
+        members: { or: [
+                member,
+                [member, ',', members],
+            ] },
+        characters: { or: [
+                [],
+                [character, characters]
+            ] },
+        integer: { or: [
+                digit,
+                [onenine, digits],
+                ['-', digit],
+                ['-', onenine, digits],
+            ] },
+        fraction: { or: [
+                [],
+                ['.', digits]
+            ] },
+        exponent: { or: [
+                [],
+                ['E', sign, digits],
+                ['e', sign, digits],
+            ] },
+        member: [ws, string, ws, ':', element],
+        character: { or: [
+                [0x20, 0x21], // exclude '"' 0x22
+                [0x23, 0x5B], // exclude '\' 0x5C
+                [0x5D, 0x10FFFF],
+                ['\\', escape],
+            ] },
+        digit: { or: [
+                '0',
+                onenine,
+            ] },
+        onenine: [0x31, 0x39],
+        digits: { or: [
+                digit,
+                [digit, digits]
+            ] },
+        sign: { or: [
+                [],
+                '+',
+                '-',
+            ] },
+        escape: { or: [
+                '"',
+                '\\',
+                '/',
+                'b',
+                'f',
+                'n',
+                'r',
+                't',
+                ['u', hex, hex, hex, hex]
+            ] },
+        hex: { or: [
+                digit,
+                [0x41, 0x46], // A..F
+                [0x61, 0x66], // a..f
+            ] },
+    };
+    const _map = map;
+}

package/js/tokenizer/module.f.js

@@ -107,6 +107,7 @@ const union = def => a => b => {
 const rangeMapMerge = def => merge({
     union: union(def),
     equal: operator.strictEqual,
+    def,
 });
 const rangeFunc = r => f => def => fromRange(def)(r)(f);
 const scanRangeOp = def => f => [f(def), scanRangeOp(def)];
@@ -126,7 +127,11 @@ const create = (def) => (a) => {
 };
 const digitToBigInt = d => BigInt(d - digit0);
 const startNumber = digit => ({ s: 1n, m: digitToBigInt(digit), f: 0, es: 1, e: 0 });
-const startNegativeNumber = { s: -1n, m: 0n, f: 0, es: 1, e: 0 };
+/*
+const startNegativeNumber
+    : ParseNumberBuffer
+    = { s: -1n, m: 0n, f: 0, es: 1, e: 0 }
+*/
 const addIntDigit = digit => b => ({ ...b, m: b.m * 10n + digitToBigInt(digit) });
 const addFracDigit = digit => b => ({ ...b, m: b.m * 10n + digitToBigInt(digit), f: b.f - 1 });
 const addExpDigit = digit => b => ({ ...b, e: b.e * 10 + digit - digit0 });