def escape_char
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSONimport Base
274def escape_char(+character: Char) -> String:
275 escape_char_from_class(character, escape_class(character))
Uses (4)
Used by (6)
- qasim-bend-kit@0.1.0.2/libs/JSON:escape_string
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:escape_reverse
- 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
- qasim-bend-kit@0.1.0.2/proof/JSON_StringProof:escape_one
- …