functionalscript 0.2.5 → 0.3.0

package/js/tokenizer/module.f.mjs

@@ -1,872 +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]])))