JSONLexWhitespaceProof.after_mode: 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 5-15 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=5&end_line=15

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

def after_mode(action: J.LexAction, mode: J.LexMode) -> J.LexMode:
    match action:
        case J.LexBackslash{}: J.Escaped{}
        case J.LexEscapedChar{}: J.Quoted{}
        case J.LexStringEnd{}: J.Outside{}
        case J.LexStringChar{}: J.Quoted{}
        case J.LexQuote{}: J.Quoted{}
        case J.LexWhitespace{}: J.Outside{}
        case J.LexPunctuation{_}: J.Outside{}
        case J.LexRaw{}: J.Outside{}
        case J.LexStop{}: mode

Uses (2):
  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=LexMode