functionalscript 0.2.0 → 0.2.1

package/out/js/tokenizer/module.f.mjs

@@ -0,0 +1,686 @@
+// @ts-self-types="./module.f.d.mts"
+import * as operator from '../../types/function/operator/module.f.mjs';
+import * as range_map from '../../types/range_map/module.f.mjs';
+const { merge, fromRange, get } = range_map;
+import * as list from '../../types/list/module.f.mjs';
+import * as map from '../../types/map/module.f.mjs';
+const { at } = map;
+import * as _range from '../../types/range/module.f.mjs';
+const { one } = _range;
+const { empty, stateScan, flat, toArray, reduce: listReduce, scan } = list;
+import * as bigfloatT from '../../types/bigfloat/module.f.mjs';
+const { fromCharCode } = String;
+import * as ascii from '../../text/ascii/module.f.mjs';
+const { range } = ascii;
+const { 
+//
+backspace, ht, lf, ff, cr, 
+//
+exclamationMark, percentSign, ampersand, asterisk, lessThanSign, equalsSign, greaterThanSign, questionMark, circumflexAccent, verticalLine, tilde, 
+//
+space, quotationMark, leftParenthesis, rightParenthesis, plusSign, comma, hyphenMinus, fullStop, solidus, 
+//
+digitRange, digit0, colon, 
+//
+latinCapitalLetterRange, latinCapitalLetterA, latinCapitalLetterE, 
+//
+leftSquareBracket, reverseSolidus, rightSquareBracket, lowLine, 
+//
+latinSmallLetterRange, latinSmallLetterA, latinSmallLetterB, latinSmallLetterE, latinSmallLetterF, latinSmallLetterN, latinSmallLetterR, latinSmallLetterT, latinSmallLetterU, 
+//
+leftCurlyBracket, rightCurlyBracket, dollarSign } = ascii.ascii;
+/**
+ * @typedef {{
+* readonly kind: 'string'
+* readonly value: string
+* }} StringToken
+* */
+/**
+* @typedef {{
+* readonly kind: 'number'
+* readonly value: string
+* readonly bf: bigfloatT.BigFloat
+* }} NumberToken
+* */
+/**
+* @typedef {{
+* readonly kind: 'bigint'
+* readonly value: bigint
+* }} BigIntToken
+* */
+/** @typedef {{readonly kind: 'error', message: ErrorMessage}} ErrorToken */
+/** @typedef {{readonly kind: 'ws'}} WhitespaceToken */
+/** @typedef {{readonly kind: 'nl'}} NewLineToken */
+/** @typedef {{readonly kind: 'true'}} TrueToken */
+/** @typedef {{readonly kind: 'false'}} FalseToken */
+/** @typedef {{readonly kind: 'null'}} NullToken */
+/**
+ * @typedef {|
+ * {readonly kind: 'arguments' | 'await' | 'break' | 'case' | 'catch' | 'class' | 'const' | 'continue' } |
+ * {readonly kind: 'debugger' | 'default' | 'delete' | 'do' | 'else' | 'enum' | 'eval' | 'export' } |
+ * {readonly kind: 'extends' | 'finally' | 'for' | 'function' | 'if' | 'implements' | 'import' | 'in' } |
+ * {readonly kind: 'instanceof' | 'interface' | 'let' | 'new' | 'package' | 'private' | 'protected' | 'public' } |
+ * {readonly kind: 'return' | 'static' | 'super' | 'switch' | 'this' | 'throw' | 'try' | 'typeof' } |
+ * {readonly kind: 'var' | 'void' | 'while' | 'with'  | 'yield' }
+ * } KeywordToken
+ */
+/**
+ * @typedef {{
+* readonly kind: 'id'
+* readonly value: string
+* }} IdToken
+* */
+/**
+ * @typedef {|
+* {readonly kind: '{' | '}' | ':' | ',' | '[' | ']' } |
+* {readonly kind: '.' | '=' } |
+* {readonly kind: '(' | ')' } |
+* {readonly kind: '==' | '!=' | '===' | '!==' | '>' | '>=' | '<' | '<=' } |
+* {readonly kind: '+' | '-' | '*' | '/' | '%' | '++' | '--' | '**' } |
+* {readonly kind: '+=' | '-=' | '*=' | '/=' | '%=' | '**='} |
+* {readonly kind: '&' | '|' | '^' | '~' | '<<' | '>>' | '>>>' } |
+* {readonly kind: '&=' | '|=' | '^=' | '<<=' | '>>=' | '>>>='} |
+* {readonly kind: '&&' | '||' | '!' | '??' } |
+* {readonly kind: '&&=' | '||=' | '??=' } |
+* {readonly kind: '?' | '?.' | '=>'}
+* } OperatorToken
+*/
+/**
+ * @typedef {|
+* KeywordToken |
+* TrueToken |
+* FalseToken |
+* NullToken |
+* WhitespaceToken |
+* NewLineToken |
+* StringToken |
+* NumberToken |
+* ErrorToken |
+* IdToken |
+* BigIntToken |
+* OperatorToken
+* } JsToken
+*/
+const rangeOneNine = range('19');
+const rangeSetNewLine = [
+    one(lf),
+    one(cr)
+];
+const rangeSetWhiteSpace = [
+    one(ht),
+    one(space)
+];
+const rangeSetTerminalForNumber = [
+    ...rangeSetWhiteSpace,
+    ...rangeSetNewLine,
+    one(exclamationMark),
+    one(percentSign),
+    one(ampersand),
+    one(leftParenthesis),
+    one(rightParenthesis),
+    one(asterisk),
+    one(comma),
+    one(solidus),
+    one(colon),
+    one(lessThanSign),
+    one(equalsSign),
+    one(greaterThanSign),
+    one(questionMark),
+    one(circumflexAccent),
+    one(leftSquareBracket),
+    one(rightSquareBracket),
+    one(leftCurlyBracket),
+    one(verticalLine),
+    one(rightCurlyBracket),
+    one(tilde),
+];
+const rangeSmallAF = range('af');
+const rangeCapitalAF = range('AF');
+const rangeIdStart = [
+    latinSmallLetterRange,
+    latinCapitalLetterRange,
+    one(lowLine),
+    one(dollarSign)
+];
+const rangeOpStart = [
+    one(exclamationMark),
+    one(percentSign),
+    one(ampersand),
+    one(leftParenthesis),
+    one(rightParenthesis),
+    one(asterisk),
+    one(plusSign),
+    one(comma),
+    one(hyphenMinus),
+    one(fullStop),
+    one(solidus),
+    one(colon),
+    one(lessThanSign),
+    one(equalsSign),
+    one(greaterThanSign),
+    one(questionMark),
+    one(circumflexAccent),
+    one(leftSquareBracket),
+    one(rightSquareBracket),
+    one(leftCurlyBracket),
+    one(verticalLine),
+    one(rightCurlyBracket),
+    one(tilde)
+];
+const rangeId = [digitRange, ...rangeIdStart];
+/**
+ * @typedef {|
+ * InitialState |
+ * ParseIdState |
+ * ParseStringState |
+ * ParseEscapeCharState |
+ * ParseUnicodeCharState |
+ * ParseNumberState |
+ * InvalidNumberState |
+ * ParseOperatorState |
+ * ParseMinusState |
+ * ParseWhitespaceState |
+ * ParseNewLineState |
+ * EofState
+ * } TokenizerState
+ */
+/**
+ * @typedef {|
+  * '" are missing' |
+ * 'unescaped character' |
+ * 'invalid hex value' |
+ * 'unexpected character' |
+ * 'invalid number' |
+ * 'invalid token' |
+ * 'eof'
+ * } ErrorMessage
+ */
+/** @typedef {{ readonly kind: 'initial'}} InitialState */
+/** @typedef {{ readonly kind: 'id', readonly value: string}} ParseIdState */
+/** @typedef {{ readonly kind: 'ws'}} ParseWhitespaceState */
+/** @typedef {{ readonly kind: 'nl'}} ParseNewLineState */
+/** @typedef {{ readonly kind: 'string', readonly value: string}} ParseStringState */
+/** @typedef {{ readonly kind: 'escapeChar', readonly value: string}} ParseEscapeCharState */
+/** @typedef {{ readonly kind: 'op', readonly value: string}} ParseOperatorState */
+/** @typedef {{ readonly kind: '-'}} ParseMinusState */
+/**
+ * @typedef {{
+ *  readonly kind: 'unicodeChar'
+ *  readonly value: string
+ *  readonly unicode: number
+ *  readonly hexIndex: number
+ * }} ParseUnicodeCharState
+ */
+/**
+ * @typedef {{
+ *  readonly kind: 'number',
+ *  readonly numberKind: '0' | 'int' | '.' | 'fractional' | 'e' | 'e+' | 'e-' | 'expDigits' | 'bigint'
+ *  readonly value: string
+ *  readonly b: ParseNumberBuffer
+ * }} ParseNumberState
+ */
+/**
+ * @typedef {{
+*  readonly s: -1n | 1n
+*  readonly m: bigint
+*  readonly f: number
+*  readonly es: -1 | 1
+*  readonly e: number
+* }} ParseNumberBuffer
+*/
+/** @typedef {{ readonly kind: 'invalidNumber'}} InvalidNumberState */
+/** @typedef {{ readonly kind: 'eof'}} EofState */
+/** @typedef {number|null} CharCodeOrEof */
+/** @typedef {(input: number) => readonly[list.List<JsToken>, TokenizerState]} ToToken */
+/**
+ * @template T
+ * @typedef {(state: T) => ToToken} CreateToToken<T>
+ */
+/** @typedef {list.List<_range.Range>} RangeSet */
+/**
+ * @template T
+ * @typedef {(def: CreateToToken<T>) => (RangeMapToToken<T>)} RangeFunc<T>
+ */
+/**
+ * @template T
+ * @typedef {range_map.RangeMapArray<CreateToToken<T>>} RangeMapToToken<T>
+ */
+/** @type {(old: string) => (input: number) => string} */
+const appendChar = old => input => `${old}${fromCharCode(input)}`;
+/** @type {<T>(def: CreateToToken<T>) => (a: CreateToToken<T>) => (b: CreateToToken<T>) => CreateToToken<T>} */
+const union = def => a => b => {
+    if (a === def || a === b) {
+        return b;
+    }
+    if (b === def) {
+        return a;
+    }
+    throw [a, b];
+};
+/** @type {<T>(def:  CreateToToken<T>) => range_map.RangeMerge<CreateToToken<T>>} */
+const rangeMapMerge = def => merge({
+    union: union(def),
+    equal: operator.strictEqual,
+});
+/** @type {<T>(r: _range.Range) => (f: CreateToToken<T>) => RangeFunc<T>} */
+const rangeFunc = r => f => def => fromRange(def)(r)(f);
+/** @type {<T>(def:  CreateToToken<T>) => (operator.Scan<RangeFunc<T>, RangeMapToToken<T>>)} */
+const scanRangeOp = def => f => [f(def), scanRangeOp(def)];
+/** @type {<T>(def: CreateToToken<T>) => (a: list.List<RangeFunc<T>>) => RangeMapToToken<T>} */
+const reduceRangeMap = def => a => {
+    const rm = scan(scanRangeOp(def))(a);
+    return toArray(listReduce(rangeMapMerge(def))(empty)(rm));
+};
+/** @type {<T>(def:  CreateToToken<T>) => (f:  CreateToToken<T>) => (operator.Scan<_range.Range, RangeMapToToken<T>>)} */
+const scanRangeSetOp = def => f => r => [fromRange(def)(r)(f), scanRangeSetOp(def)(f)];
+/** @type {<T>(rs: list.List<_range.Range>) => (f: CreateToToken<T>) => RangeFunc<T>} */
+const rangeSetFunc = rs => f => def => {
+    const rm = scan(scanRangeSetOp(def)(f))(rs);
+    return toArray(listReduce(rangeMapMerge(def))(empty)(rm));
+};
+/** @type {<T>(def: CreateToToken<T>) => (a: list.List<RangeFunc<T>>) => CreateToToken<T>} */
+const create = def => a => {
+    /** @typedef {typeof def extends CreateToToken<infer T> ? T : never} T */
+    const i = reduceRangeMap(def)(a);
+    /** @type {(v: number) => (i: RangeMapToToken<T>) => (v: T) => ToToken} */
+    const x = get(def);
+    return v => c => x(c)(i)(v)(c);
+};
+/** @type {(digit: number) => bigint} */
+const digitToBigInt = d => BigInt(d - digit0);
+/** @type {(digit: number) => ParseNumberBuffer} */
+const startNumber = digit => ({ s: 1n, m: digitToBigInt(digit), f: 0, es: 1, e: 0 });
+/** @type {ParseNumberBuffer} */
+const startNegativeNumber = { s: -1n, m: 0n, f: 0, es: 1, e: 0 };
+/** @type {(digit: number) => (b: ParseNumberBuffer) => ParseNumberBuffer} */
+const addIntDigit = digit => b => ({ ...b, m: b.m * 10n + digitToBigInt(digit) });
+/** @type {(digit: number) => (b: ParseNumberBuffer) => ParseNumberBuffer} */
+const addFracDigit = digit => b => ({ ...b, m: b.m * 10n + digitToBigInt(digit), f: b.f - 1 });
+/** @type {(digit: number) => (b: ParseNumberBuffer) => ParseNumberBuffer} */
+const addExpDigit = digit => b => ({ ...b, e: b.e * 10 + digit - digit0 });
+/** @type {(s: ParseNumberState) => JsToken} */
+const bufferToNumberToken = ({ numberKind, value, b }) => {
+    if (numberKind === 'bigint')
+        return { kind: 'bigint', value: b.s * b.m };
+    return { kind: 'number', value: value, bf: [b.s * b.m, b.f + b.es * b.e] };
+};
+/**
+ * @link https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Lexical_grammar#keywords
+ * @type {list.List<map.Entry<JsToken>>}
+ */
+const keywordEntries = [
+    ['arguments', { kind: 'arguments' }],
+    ['await', { kind: 'await' }],
+    ['break', { kind: 'break' }],
+    ['case', { kind: 'case' }],
+    ['catch', { kind: 'catch' }],
+    ['class', { kind: 'class' }],
+    ['const', { kind: 'const' }],
+    ['continue', { kind: 'continue' }],
+    ['debugger', { kind: 'debugger' }],
+    ['default', { kind: 'default' }],
+    ['delete', { kind: 'delete' }],
+    ['do', { kind: 'do' }],
+    ['else', { kind: 'else' }],
+    ['enum', { kind: 'enum' }],
+    ['eval', { kind: 'eval' }],
+    ['export', { kind: 'export' }],
+    ['extends', { kind: 'extends' }],
+    ['false', { kind: 'false' }],
+    ['finally', { kind: 'finally' }],
+    ['for', { kind: 'for' }],
+    ['function', { kind: 'function' }],
+    ['if', { kind: 'if' }],
+    ['implements', { kind: 'implements' }],
+    ['import', { kind: 'import' }],
+    ['in', { kind: 'in' }],
+    ['instanceof', { kind: 'instanceof' }],
+    ['interface', { kind: 'interface' }],
+    ['let', { kind: 'let' }],
+    ['new', { kind: 'new' }],
+    ['null', { kind: 'null' }],
+    ['package', { kind: 'package' }],
+    ['private', { kind: 'private' }],
+    ['protected', { kind: 'protected' }],
+    ['public', { kind: 'public' }],
+    ['return', { kind: 'return' }],
+    ['static', { kind: 'static' }],
+    ['super', { kind: 'super' }],
+    ['switch', { kind: 'switch' }],
+    ['this', { kind: 'this' }],
+    ['throw', { kind: 'throw' }],
+    ['true', { kind: 'true' }],
+    ['try', { kind: 'try' }],
+    ['typeof', { kind: 'typeof' }],
+    ['var', { kind: 'var' }],
+    ['void', { kind: 'void' }],
+    ['while', { kind: 'while' }],
+    ['with', { kind: 'with' }],
+    ['yield', { kind: 'yield' }],
+];
+const keywordMap = map.fromEntries(keywordEntries);
+/** @type {(token: JsToken) => Boolean} */
+export const isKeywordToken = token => at(token.kind)(keywordMap) !== null;
+/**
+ * @link https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators
+ * @type {list.List<map.Entry<JsToken>>}
+ */
+const operatorEntries = [
+    ['!', { kind: '!' }],
+    ['!=', { kind: '!=' }],
+    ['!==', { kind: '!==' }],
+    ['%', { kind: '%' }],
+    ['%=', { kind: '%=' }],
+    ['&', { kind: '&' }],
+    ['&&', { kind: '&&' }],
+    ['&&=', { kind: '&&=' }],
+    ['&=', { kind: '&=' }],
+    ['(', { kind: '(' }],
+    [')', { kind: ')' }],
+    ['*', { kind: '*' }],
+    ['**', { kind: '**' }],
+    ['**=', { kind: '**=' }],
+    ['*=', { kind: '*=' }],
+    ['+', { kind: '+' }],
+    ['++', { kind: '++' }],
+    ['+=', { kind: '+=' }],
+    [',', { kind: ',' }],
+    ['-', { kind: '-' }],
+    ['--', { kind: '--' }],
+    ['-=', { kind: '-=' }],
+    ['.', { kind: '.' }],
+    ['/', { kind: '/' }],
+    ['/=', { kind: '/=' }],
+    [':', { kind: ':' }],
+    ['<', { kind: '<' }],
+    ['<<', { kind: '<<' }],
+    ['<<=', { kind: '<<=' }],
+    ['<=', { kind: '<=' }],
+    ['=', { kind: '=' }],
+    ['==', { kind: '==' }],
+    ['===', { kind: '===' }],
+    ['=>', { kind: '=>' }],
+    ['>', { kind: '>' }],
+    ['>=', { kind: '>=' }],
+    ['>>', { kind: '>>' }],
+    ['>>=', { kind: '>>=' }],
+    ['>>>', { kind: '>>>' }],
+    ['>>>=', { kind: '>>>=' }],
+    ['?', { kind: '?' }],
+    ['?.', { kind: '?.' }],
+    ['??', { kind: '??' }],
+    ['??=', { kind: '??=' }],
+    ['^', { kind: '^' }],
+    ['^=', { kind: '^=' }],
+    ['[', { kind: '[' }],
+    [']', { kind: ']' }],
+    ['{', { kind: '{' }],
+    ['|', { kind: '|' }],
+    ['|=', { kind: '|=' }],
+    ['||', { kind: '||' }],
+    ['||=', { kind: '||=' }],
+    ['}', { kind: '}' }],
+    ['~', { kind: '~' }]
+];
+const operatorMap = map.fromEntries(operatorEntries);
+/** @type {(op: string) => JsToken} */
+const getOperatorToken = op => at(op)(operatorMap) ?? { kind: 'error', message: 'invalid token' };
+/** @type {(op: string) => Boolean} */
+const hasOperatorToken = op => at(op)(operatorMap) !== null;
+/** @type {(state: InitialState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const initialStateOp = create(state => () => [[{ kind: 'error', message: 'unexpected character' }], state])([
+    rangeFunc(rangeOneNine)(() => input => [empty, { kind: 'number', value: fromCharCode(input), b: startNumber(input), numberKind: 'int' }]),
+    rangeSetFunc(rangeIdStart)(() => input => [empty, { kind: 'id', value: fromCharCode(input) }]),
+    rangeSetFunc(rangeSetWhiteSpace)(state => () => [empty, { kind: 'ws' }]),
+    rangeSetFunc(rangeSetNewLine)(state => () => [empty, { kind: 'nl' }]),
+    rangeFunc(one(quotationMark))(() => () => [empty, { kind: 'string', value: '' }]),
+    rangeFunc(one(digit0))(() => input => [empty, { kind: 'number', value: fromCharCode(input), b: startNumber(input), numberKind: '0' }]),
+    rangeSetFunc(rangeOpStart)(() => input => [empty, { kind: 'op', value: fromCharCode(input) }])
+]);
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const invalidNumberToToken = () => input => {
+    const next = tokenizeOp({ kind: 'initial' })(input);
+    return [{ first: { kind: 'error', message: 'invalid number' }, tail: next[0] }, next[1]];
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const fullStopToToken = state => input => {
+    switch (state.numberKind) {
+        case '0':
+        case 'int': return [empty, { kind: 'number', value: appendChar(state.value)(input), b: state.b, numberKind: '.' }];
+        default: return tokenizeOp({ kind: 'invalidNumber' })(input);
+    }
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const digit0ToToken = state => input => {
+    switch (state.numberKind) {
+        case '0': return tokenizeOp({ kind: 'invalidNumber' })(input);
+        case '.':
+        case 'fractional': return [empty, { kind: 'number', value: appendChar(state.value)(input), b: addFracDigit(input)(state.b), numberKind: 'fractional' }];
+        case 'e':
+        case 'e+':
+        case 'e-':
+        case 'expDigits': return [empty, { kind: 'number', value: appendChar(state.value)(input), b: addExpDigit(input)(state.b), numberKind: 'expDigits' }];
+        default: return [empty, { kind: 'number', value: appendChar(state.value)(input), b: addIntDigit(input)(state.b), numberKind: state.numberKind }];
+    }
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const digit19ToToken = state => input => {
+    switch (state.numberKind) {
+        case '0': return tokenizeOp({ kind: 'invalidNumber' })(input);
+        case '.':
+        case 'fractional': return [empty, { kind: 'number', value: appendChar(state.value)(input), b: addFracDigit(input)(state.b), numberKind: 'fractional' }];
+        case 'e':
+        case 'e+':
+        case 'e-':
+        case 'expDigits': return [empty, { kind: 'number', value: appendChar(state.value)(input), b: addExpDigit(input)(state.b), numberKind: 'expDigits' }];
+        default: return [empty, { kind: 'number', value: appendChar(state.value)(input), b: addIntDigit(input)(state.b), numberKind: 'int' }];
+    }
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const expToToken = state => input => {
+    switch (state.numberKind) {
+        case '0':
+        case 'int':
+        case 'fractional': return [empty, { kind: 'number', value: appendChar(state.value)(input), b: state.b, numberKind: 'e' }];
+        default: return tokenizeOp({ kind: 'invalidNumber' })(input);
+    }
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const hyphenMinusToToken = state => input => {
+    switch (state.numberKind) {
+        case 'e': return [empty, { kind: 'number', value: appendChar(state.value)(input), b: { ...state.b, es: -1 }, numberKind: 'e-' }];
+        default: return terminalToToken(state)(input);
+    }
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const plusSignToToken = state => input => {
+    switch (state.numberKind) {
+        case 'e': return [empty, { kind: 'number', value: appendChar(state.value)(input), b: state.b, numberKind: 'e+' }];
+        default: return tokenizeOp({ kind: 'invalidNumber' })(input);
+    }
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const terminalToToken = state => input => {
+    switch (state.numberKind) {
+        case '.':
+        case 'e':
+        case 'e+':
+        case 'e-':
+            {
+                const next = tokenizeOp({ kind: 'initial' })(input);
+                return [{ first: { kind: 'error', message: 'invalid number' }, tail: next[0] }, next[1]];
+            }
+        default:
+            {
+                const next = tokenizeOp({ kind: 'initial' })(input);
+                return [{ first: bufferToNumberToken(state), tail: next[0] }, next[1]];
+            }
+    }
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const bigintToToken = state => input => {
+    switch (state.numberKind) {
+        case '0':
+        case 'int':
+            {
+                return [empty, { kind: 'number', value: state.value, b: state.b, numberKind: 'bigint' }];
+            }
+        default:
+            {
+                const next = tokenizeOp({ kind: 'initial' })(input);
+                return [{ first: { kind: 'error', message: 'invalid number' }, tail: next[0] }, next[1]];
+            }
+    }
+};
+/** @type {(state: ParseNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseNumberStateOp = create(invalidNumberToToken)([
+    rangeFunc(one(fullStop))(fullStopToToken),
+    rangeFunc(one(digit0))(digit0ToToken),
+    rangeFunc(rangeOneNine)(digit19ToToken),
+    rangeSetFunc([one(latinSmallLetterE), one(latinCapitalLetterE)])(expToToken),
+    rangeFunc(one(hyphenMinus))(hyphenMinusToToken),
+    rangeFunc(one(plusSign))(plusSignToToken),
+    rangeSetFunc(rangeSetTerminalForNumber)(terminalToToken),
+    rangeFunc(one(latinSmallLetterN))(bigintToToken),
+]);
+/** @type {(state: InvalidNumberState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const invalidNumberStateOp = create(() => () => [empty, { kind: 'invalidNumber' }])([
+    rangeSetFunc(rangeSetTerminalForNumber)(() => input => {
+        const next = tokenizeOp({ kind: 'initial' })(input);
+        return [{ first: { kind: 'error', message: 'invalid number' }, tail: next[0] }, next[1]];
+    })
+]);
+/** @type {(state: ParseMinusState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseMinusStateOp = create(() => input => tokenizeOp({ kind: 'op', value: '-' })(input))([
+    rangeFunc(one(fullStop))(() => input => tokenizeOp({ kind: 'invalidNumber' })(input)),
+    rangeFunc(one(digit0))(() => () => [empty, { kind: 'number', value: '-0', b: startNegativeNumber, numberKind: '0' }]),
+    rangeFunc(rangeOneNine)(() => input => [empty, { kind: 'number', value: appendChar('-')(input), b: addIntDigit(input)(startNegativeNumber), numberKind: 'int' }]),
+]);
+/** @type {(state: ParseStringState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseStringStateOp = create(state => input => [empty, { kind: 'string', value: appendChar(state.value)(input) }])([
+    rangeFunc(one(quotationMark))(state => () => [[{ kind: 'string', value: state.value }], { kind: 'initial' }]),
+    rangeFunc(one(reverseSolidus))(state => () => [empty, { kind: 'escapeChar', value: state.value }])
+]);
+/** @type {(state: ParseEscapeCharState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseEscapeDefault = state => input => {
+    const next = tokenizeOp({ kind: 'string', value: state.value })(input);
+    return [{ first: { kind: 'error', message: 'unescaped character' }, tail: next[0] }, next[1]];
+};
+/** @type {(state: ParseEscapeCharState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseEscapeCharStateOp = create(parseEscapeDefault)([
+    rangeSetFunc([one(quotationMark), one(reverseSolidus), one(solidus)])(state => input => [empty, { kind: 'string', value: appendChar(state.value)(input) }]),
+    rangeFunc(one(latinSmallLetterB))(state => () => [empty, { kind: 'string', value: appendChar(state.value)(backspace) }]),
+    rangeFunc(one(latinSmallLetterF))(state => () => [empty, { kind: 'string', value: appendChar(state.value)(ff) }]),
+    rangeFunc(one(latinSmallLetterN))(state => () => [empty, { kind: 'string', value: appendChar(state.value)(lf) }]),
+    rangeFunc(one(latinSmallLetterR))(state => () => [empty, { kind: 'string', value: appendChar(state.value)(cr) }]),
+    rangeFunc(one(latinSmallLetterT))(state => () => [empty, { kind: 'string', value: appendChar(state.value)(ht) }]),
+    rangeFunc(one(latinSmallLetterU))(state => () => [empty, { kind: 'unicodeChar', value: state.value, unicode: 0, hexIndex: 0 }]),
+]);
+/** @type {(state: ParseUnicodeCharState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseUnicodeCharDefault = state => input => {
+    const next = tokenizeOp({ kind: 'string', value: state.value })(input);
+    return [{ first: { kind: 'error', message: 'invalid hex value' }, tail: next[0] }, next[1]];
+};
+/** @type {(offser: number) => (state: ParseUnicodeCharState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseUnicodeCharHex = offset => state => input => {
+    const hexValue = input - offset;
+    const newUnicode = state.unicode | (hexValue << (3 - state.hexIndex) * 4);
+    return [empty, state.hexIndex === 3 ?
+            { kind: 'string', value: appendChar(state.value)(newUnicode) } :
+            { kind: 'unicodeChar', value: state.value, unicode: newUnicode, hexIndex: state.hexIndex + 1 }];
+};
+/** @type {(state: ParseUnicodeCharState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseUnicodeCharStateOp = create(parseUnicodeCharDefault)([
+    rangeFunc(digitRange)(parseUnicodeCharHex(digit0)),
+    rangeFunc(rangeSmallAF)(parseUnicodeCharHex(latinSmallLetterA - 10)),
+    rangeFunc(rangeCapitalAF)(parseUnicodeCharHex(latinCapitalLetterA - 10))
+]);
+/** @type {(s: string) => JsToken} */
+const idToToken = s => at(s)(keywordMap) ?? { kind: 'id', value: s };
+/** @type {(state: ParseIdState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseIdDefault = state => input => {
+    const keyWordToken = idToToken(state.value);
+    const next = tokenizeOp({ kind: 'initial' })(input);
+    return [{ first: keyWordToken, tail: next[0] }, next[1]];
+};
+/** @type {(state: ParseIdState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseIdStateOp = create(parseIdDefault)([
+    rangeSetFunc(rangeId)(state => input => [empty, { kind: 'id', value: appendChar(state.value)(input) }])
+]);
+/** @type {(state: ParseOperatorState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseOperatorStateOp = state => input => {
+    const nextStateValue = appendChar(state.value)(input);
+    if (hasOperatorToken(nextStateValue))
+        return [empty, { kind: 'op', value: nextStateValue }];
+    const next = tokenizeOp({ kind: 'initial' })(input);
+    return [{ first: getOperatorToken(state.value), tail: next[0] }, next[1]];
+};
+/** @type {(state: ParseWhitespaceState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseWhitespaceDefault = state => input => {
+    const next = tokenizeOp({ kind: 'initial' })(input);
+    return [{ first: { kind: 'ws' }, tail: next[0] }, next[1]];
+};
+/** @type {(state: ParseWhitespaceState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseWhitespaceStateOp = create(parseWhitespaceDefault)([
+    rangeSetFunc(rangeSetWhiteSpace)(state => () => [empty, state]),
+    rangeSetFunc(rangeSetNewLine)(state => () => [empty, { kind: 'nl' }])
+]);
+/** @type {(state: ParseNewLineState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseNewLineDefault = state => input => {
+    const next = tokenizeOp({ kind: 'initial' })(input);
+    return [{ first: { kind: 'nl' }, tail: next[0] }, next[1]];
+};
+/** @type {(state: ParseNewLineState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const parseNewLineStateOp = create(parseNewLineDefault)([
+    rangeSetFunc(rangeSetWhiteSpace)(state => () => [empty, state]),
+    rangeSetFunc(rangeSetNewLine)(state => () => [empty, state])
+]);
+/** @type {(state: EofState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
+const eofStateOp = create(state => () => [[{ kind: 'error', message: 'eof' }], state])([]);
+/** @type {operator.StateScan<number, TokenizerState, list.List<JsToken>>} */
+const tokenizeCharCodeOp = state => {
+    switch (state.kind) {
+        case 'initial': return initialStateOp(state);
+        case 'id': return parseIdStateOp(state);
+        case 'string': return parseStringStateOp(state);
+        case 'escapeChar': return parseEscapeCharStateOp(state);
+        case 'unicodeChar': return parseUnicodeCharStateOp(state);
+        case 'invalidNumber': return invalidNumberStateOp(state);
+        case 'number': return parseNumberStateOp(state);
+        case 'op': return parseOperatorStateOp(state);
+        case '-': return parseMinusStateOp(state);
+        case 'ws': return parseWhitespaceStateOp(state);
+        case 'nl': return parseNewLineStateOp(state);
+        case 'eof': return eofStateOp(state);
+    }
+};
+/** @type {(state: TokenizerState) => readonly[list.List<JsToken>, TokenizerState]} */
+const tokenizeEofOp = state => {
+    switch (state.kind) {
+        case 'initial': return [empty, { kind: 'eof' }];
+        case 'id': return [[idToToken(state.value)], { kind: 'eof' }];
+        case 'string':
+        case 'escapeChar':
+        case 'unicodeChar': return [[{ kind: 'error', message: '" are missing' }], { kind: 'eof' }];
+        case 'invalidNumber': return [[{ kind: 'error', message: 'invalid number' }], { kind: 'eof' }];
+        case 'number':
+            switch (state.numberKind) {
+                case '.':
+                case 'e':
+                case 'e+':
+                case 'e-': return [[{ kind: 'error', message: 'invalid number' }], { kind: 'invalidNumber', }];
+                default: return [[bufferToNumberToken(state)], { kind: 'eof' }];
+            }
+        case 'op': return [[getOperatorToken(state.value)], { kind: 'eof' }];
+        case '-': return [[{ kind: '-' }], { kind: 'eof' }];
+        case 'ws': return [[{ kind: 'ws' }], { kind: 'eof' }];
+        case 'nl': return [[{ kind: 'nl' }], { kind: 'eof' }];
+        case 'eof': return [[{ kind: 'error', message: 'eof' }], state];
+    }
+};
+/** @type {operator.StateScan<CharCodeOrEof, TokenizerState, list.List<JsToken>>} */
+const tokenizeOp = state => input => input === null ? tokenizeEofOp(state) : tokenizeCharCodeOp(state)(input);
+const scanTokenize = stateScan(tokenizeOp);
+const initial = scanTokenize({ kind: 'initial' });
+/** @type {(input: list.List<number>) => list.List<JsToken>} */
+export const tokenize = input => flat(initial(flat([/** @type {list.List<CharCodeOrEof>} */ (input), [null]])));