def escape_reverse
import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as JSONLexWhitespaceProofimport Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J
265def escape_reverse(text: String, reversed: String) -> String:
266 match text:
267 case SNil{}: reversed
268 case SCon{head, tail}:
269 escape_reverse(tail, String.reverse(J.escape_char(head)) ++ reversed)
Uses (4)
Used by (5)
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:lex_rendered_string
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:lex_rendered_string_suffix
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:quoted_buffer_payload
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:scan_escape_string
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:escape_reverse_shape