functionalscript 0.2.5 → 0.3.0

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

@@ -1,729 +0,0 @@
-// @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: 'undefined'}} UndefinedToken */
-/**
- * @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 {{
-* readonly kind: '//' | '/*'
-* readonly value: string
-* }} CommentToken
-* */
-/**
- * @typedef {|
-* KeywordToken |
-* TrueToken |
-* FalseToken |
-* NullToken |
-* WhitespaceToken |
-* NewLineToken |
-* StringToken |
-* NumberToken |
-* ErrorToken |
-* IdToken |
-* BigIntToken |
-* UndefinedToken |
-* OperatorToken |
-* CommentToken
-* } 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 |
- * ParseWhitespaceState |
- * ParseNewLineState |
- * ParseCommentState |
- * EofState
- * } TokenizerState
- */
-/**
- * @typedef {|
- * '" are missing' |
- * 'unescaped character' |
- * 'invalid hex value' |
- * 'unexpected character' |
- * 'invalid number' |
- * 'invalid token' |
- * '*\/ expected' |
- * 'unterminated string literal' |
- * '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: '//' | '/*' | '/**'
- *  readonly value: string
- *  readonly newLine: boolean
- * }} ParseCommentState
- */
-/**
- * @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' }],
-    ['undefined', { kind: 'undefined' }],
-    ['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)(() => () => [empty, { kind: 'ws' }]),
-    rangeSetFunc(rangeSetNewLine)(() => () => [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: 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 }]),
-    rangeSetFunc(rangeSetNewLine)(() => () => [[{ kind: 'error', message: 'unterminated string literal' }], { kind: 'nl' }])
-]);
-/** @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);
-    switch (nextStateValue) {
-        case '//': return [empty, { kind: '//', value: '', newLine: false }];
-        case '/*': return [empty, { kind: '/*', value: '', newLine: false }];
-        default: {
-            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: ParseCommentState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
-const parseSinglelineCommentStateOp = create(state => input => [empty, { ...state, value: appendChar(state.value)(input) }])([
-    rangeSetFunc(rangeSetNewLine)(state => () => [[{ kind: '//', value: state.value }], { kind: 'nl' }])
-]);
-/** @type {(state: ParseCommentState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
-const parseMultilineCommentStateOp = create(state => input => [empty, { ...state, value: appendChar(state.value)(input) }])([
-    rangeFunc(one(asterisk))(state => () => [empty, { ...state, kind: '/**' }]),
-    rangeSetFunc(rangeSetNewLine)(state => input => [empty, { ...state, value: appendChar(state.value)(input), newLine: true }]),
-]);
-/** @type {(state: ParseCommentState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
-const parseMultilineCommentAsteriskStateOp = create(state => input => [empty, { ...state, kind: '/*', value: appendChar(appendChar(state.value)(asterisk))(input) }])([
-    rangeFunc(one(asterisk))(state => () => [empty, { ...state, value: appendChar(state.value)(asterisk) }]),
-    rangeSetFunc(rangeSetNewLine)(state => input => [empty, { kind: '/*', value: appendChar(appendChar(state.value)(asterisk))(input), newLine: true }]),
-    rangeFunc(one(solidus))(state => () => {
-        /** @type {list.List<JsToken>} */
-        const tokens = state.newLine ? [{ kind: '/*', value: state.value }, { kind: 'nl' }] : [{ kind: '/*', value: state.value }];
-        return [tokens, { kind: 'initial' }];
-    })
-]);
-/** @type {(state: ParseWhitespaceState) => (input: number) => readonly[list.List<JsToken>, TokenizerState]} */
-const parseWhitespaceDefault = () => 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)(() => () => [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 parseSinglelineCommentStateOp(state);
-        case '/*': return parseMultilineCommentStateOp(state);
-        case '/**': return parseMultilineCommentAsteriskStateOp(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: 'eof', }];
-                default: return [[bufferToNumberToken(state)], { kind: 'eof' }];
-            }
-        case 'op': return [[getOperatorToken(state.value)], { kind: 'eof' }];
-        case '//': return [[{ kind: '//', value: state.value }], { kind: 'eof' }];
-        case '/*':
-        case '/**': return [[{ kind: 'error', message: '*/ expected' }], { 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]])));