Portability | ghc |
---|---|
Stability | experimental |
Maintainer | bjpop@csse.unimelb.edu.au |
Conversion to/from escaped characters in strings. Note: currently does not support escaped Unicode character names.
See:
- unescapeString :: String -> String
- unescapeRawString :: String -> String
- octalDigits :: String
- hexDigits :: String
String conversion.
unescapeString :: String -> StringSource
Convert escaped sequences of characters into real characters in a normal Python string.
unescapeRawString :: String -> StringSource
Convert escaped sequences of characters into real characters in a raw Python string. Note: despite their name, Python raw strings do allow a small set of character escapings, namely the single and double quote characters and the line continuation marker.