def scan_raw_string_char

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

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

198def scan_raw_string_char(+character: Char,
199                         +tail: String,
200                         +reversed: String,
201                         +acc: List<&2, J.Lexeme>,
202                         classifier: {J.Raw{} == J.escape_class(character) : J.EscapeClass}) -> {J.lex_scan(SCon{character, tail}, J.Quoted{}, reversed, acc) == J.lex_scan(tail, J.Quoted{}, SCon{character, reversed}, acc) : List<&2, J.Lexeme>}:
203    Equal.trans(List<&2, J.Lexeme>, J.lex_scan(SCon{character, tail}, J.Quoted{}, reversed, acc),
204        J.lex_scan(tail, after_mode(J.LexStringChar{}, J.Quoted{}), after_reversed(J.LexStringChar{}, character, reversed), after_acc(J.LexStringChar{}, character, reversed, acc)),
205        J.lex_scan(tail, J.Quoted{}, SCon{character, reversed}, acc),
206        Equal.trans(List<&2, J.Lexeme>, J.lex_scan(SCon{character, tail}, J.Quoted{}, reversed, acc),
207            J.lex_scan(tail, after_mode(J.lex_seed_action(SCon{character, tail}, J.Quoted{}), J.Quoted{}),
208                after_reversed(J.lex_seed_action(SCon{character, tail}, J.Quoted{}), character, reversed),
209                after_acc(J.lex_seed_action(SCon{character, tail}, J.Quoted{}), character, reversed, acc)),
210            J.lex_scan(tail, after_mode(J.LexStringChar{}, J.Quoted{}), after_reversed(J.LexStringChar{}, character, reversed), after_acc(J.LexStringChar{}, character, reversed, acc)),
211            lex_scan_step(character, tail, J.Quoted{}, reversed, acc),
212            Equal.cong(J.LexAction, List<&2, J.Lexeme>, action => J.lex_scan(tail, after_mode(action, J.Quoted{}), after_reversed(action, character, reversed), after_acc(action, character, reversed, acc)),
213                J.lex_seed_action(SCon{character, tail}, J.Quoted{}), J.LexStringChar{}, raw_string_seed(character, tail, classifier))),
214        {==})