Module snarkvm_circuit_types::string_parser

From https://github.com/Geal/nom/blob/main/examples/string.rs This example shows an example of how to parse an escaped string. The rules for the string are similar to JSON and rust. A string is:

• Enclosed by double quotes
• Can contain any raw unescaped code point besides \ and “
• Matches the following escape sequences: \b, \f, \n, \r, \t, ", \, /
• Matches code points like Rust: \u{XXXX}, where XXXX can be up to 6 hex characters
• an escape followed by whitespace consumes all whitespace between the escape and the next non-whitespace character

Functions

• is_char_supported
  Checks for supported code points.
• parse_string
  Parse a string. Use a loop of parse_fragment and push all of the fragments into an output string.