def after_reversed
qasim-bend-kit@0.1.0.2 · proof/JSON_LexWhitespaceProof.bend:17
import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as JSONLexWhitespaceProof
import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J
17def after_reversed(action: J.LexAction, head: Char, reversed: String) -> String:
18 match action:
19 case J.LexBackslash{}: SCon{'\\', reversed}
20 case J.LexEscapedChar{}: SCon{head, reversed}
21 case J.LexStringEnd{}: SNil{}
22 case J.LexStringChar{}: SCon{head, reversed}
23 case J.LexQuote{}: SCon{'"', SNil{}}
24 case J.LexWhitespace{}: SNil{}
25 case J.LexPunctuation{_}: SNil{}
26 case J.LexRaw{}: SCon{head, reversed}
27 case J.LexStop{}: SCon{head, reversed}