def lexemes_step

qasim-bend-kit@0.1.0.2 · proof/JSON_LexWhitespaceProof.bend:44

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J

44def lexemes_step(+head: Char,
45                 +tail: String,
46                 +mode: J.LexMode,
47                 +reversed: String,
48                 +acc: List<&2, J.Lexeme>,
49                 action: J.LexAction) -> {J.lexemes(SCon{head, tail}, mode, reversed, acc, action) == J.lex_scan(tail, after_mode(action, mode), after_reversed(action, head, reversed), after_acc(action, head, reversed, acc)) : List<&2, J.Lexeme>}:
50    match action:
51        case J.LexStop{}: {==}
52        case J.LexEscapedChar{}: {==}
53        case J.LexBackslash{}: {==}
54        case J.LexStringEnd{}: {==}
55        case J.LexStringChar{}: {==}
56        case J.LexQuote{}: {==}
57        case J.LexWhitespace{}: {==}
58        case J.LexPunctuation{character}: {==}
59        case J.LexRaw{}: {==}