JSONLexWhitespaceProof.after_acc: 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 29-42 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=29&end_line=42

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

def after_acc(action: J.LexAction,
              head: Char,
              reversed: String,
              acc: List<&2, J.Lexeme>) -> List<&2, J.Lexeme>:
    match action:
        case J.LexBackslash{}: acc
        case J.LexEscapedChar{}: acc
        case J.LexStringEnd{}: J.Payload{String.reverse(SCon{'"', reversed})} <> acc
        case J.LexStringChar{}: acc
        case J.LexQuote{}: J.flush_lexeme(reversed, acc)
        case J.LexWhitespace{}: J.flush_lexeme(reversed, acc)
        case J.LexPunctuation{character}: J.Punctuation{character} <> J.flush_lexeme(reversed, acc)
        case J.LexRaw{}: acc
        case J.LexStop{}: acc

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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.reverse
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=LexAction
  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=flush_lexeme