module Ascii:sig..end
val is_valid : string -> boolis_valid s is true iff only for all indices i of s,
s.[i] is an US-ASCII character, i.e. a byte in the range
[0x00;0x7F].
The following functions act only on US-ASCII code points that
is on bytes in range [0x00;0x7F], leaving any other byte
intact. The functions can be safely used on UTF-8 encoded
strings; they will of course only deal with US-ASCII
casings.
val uppercase : string -> stringuppercase s is s with US-ASCII characters 'a' to 'z' mapped
to 'A' to 'Z'.
val lowercase : string -> stringlowercase s is s with US-ASCII characters 'A' to 'Z' mapped
to 'a' to 'z'.
val capitalize : string -> stringcapitalize s is like Astring.String.Ascii.uppercase but performs the map only
on s.[0].
val uncapitalize : string -> stringuncapitalize s is like Astring.String.Ascii.lowercase but performs the map only
on s.[0].
val escape : string -> stringescape s is s with:
'\\' (0x5C) escaped to the sequence
"\\\\" (0x5C,0x5C).0x00;0x1F] and
[0x7F;0xFF] escaped by an hexadecimal "\xHH"
escape with H a capital hexadecimal number. These bytes
are the US-ASCII control characters and non US-ASCII bytes.val unescape : string -> string optionunescape s unescapes what Astring.String.Ascii.escape did. The letters of hex
escapes can be upper, lower or mixed case, and any two letter
hex escape is decoded to its corresponding byte. Any other
escape not defined by Astring.String.Ascii.escape or truncated escape makes the
function return None.
The invariant unescape (escape s) = Some s holds.
val escape_string : string -> stringescape_string s is like Astring.String.Ascii.escape except it escapes s
according to OCaml's lexical conventions for strings with:
'\b' (0x08) escaped to the sequence "\\b" (0x5C,0x62).'\t' (0x09) escaped to the sequence "\\t" (0x5C,0x74).'\n' (0x0A) escaped to the sequence "\\n" (0x5C,0x6E).'\r' (0x0D) escaped to the sequence "\\r" (0x5C,0x72).'\"' (0x22) escaped to the sequence "\\\"" (0x5C,0x22).Astring.String.Ascii.escapeval unescape_string : string -> string optionunescape_string is to Astring.String.Ascii.escape_string what Astring.String.Ascii.unescape
is to Astring.String.Ascii.escape and also additionally unescapes
the sequence "\\'" (0x5C,0x27) to "'" (0x27).