JSONLexWhitespaceProof.scan_escape_char: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as JSONLexWhitespaceProof
Lines 216-263 of qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend&start_line=216&end_line=263

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

def scan_escape_char(+character: Char,
                     +tail: String,
                     +reversed: String,
                     +acc: List<&2, J.Lexeme>,
                     +class: J.EscapeClass,
                     classifier: {class == J.escape_class(character) : J.EscapeClass}) -> {J.lex_scan(J.escape_char_from_class(character, class) ++ tail, J.Quoted{}, reversed, acc) == J.lex_scan(tail, J.Quoted{}, String.reverse(J.escape_char_from_class(character, class)) ++ reversed, acc) : List<&2, J.Lexeme>}:
    match class:
        case J.Raw{}:
            Equal.trans(List<&2, J.Lexeme>, J.lex_scan(J.escape_char_from_class(character, J.Raw{}) ++ tail, J.Quoted{}, reversed, acc),
                J.lex_scan(SCon{character, tail}, J.Quoted{}, reversed, acc),
                J.lex_scan(tail, J.Quoted{}, SCon{character, reversed}, acc),
                Equal.cong(String, List<&2, J.Lexeme>, text => J.lex_scan(text, J.Quoted{}, reversed, acc),
                    J.escape_char_from_class(character, J.Raw{}) ++ tail, SCon{character, tail}, {==}),
                scan_raw_string_char(character, tail, reversed, acc, classifier))
        case J.Backslash{}: {==}
        case J.Quote{}: {==}
        case J.Control0{}: {==}
        case J.Control1{}: {==}
        case J.Control2{}: {==}
        case J.Control3{}: {==}
        case J.Control4{}: {==}
        case J.Control5{}: {==}
        case J.Control6{}: {==}
        case J.Control7{}: {==}
        case J.Control8{}: {==}
        case J.Control9{}: {==}
        case J.Control10{}: {==}
        case J.Control11{}: {==}
        case J.Control12{}: {==}
        case J.Control13{}: {==}
        case J.Control14{}: {==}
        case J.Control15{}: {==}
        case J.Control16{}: {==}
        case J.Control17{}: {==}
        case J.Control18{}: {==}
        case J.Control19{}: {==}
        case J.Control20{}: {==}
        case J.Control21{}: {==}
        case J.Control22{}: {==}
        case J.Control23{}: {==}
        case J.Control24{}: {==}
        case J.Control25{}: {==}
        case J.Control26{}: {==}
        case J.Control27{}: {==}
        case J.Control28{}: {==}
        case J.Control29{}: {==}
        case J.Control30{}: {==}
        case J.Control31{}: {==}

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.cong
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.trans
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.reverse
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=EscapeClass
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=LexMode
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=Lexeme
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=escape_char_from_class
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=escape_class
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=lex_scan
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend&name=scan_raw_string_char