Module Escaping


module Escaping: sig .. end
String escaping.

Operations for escaping and unescaping strings, with paramaterized escape and escapeworthy characters.


val escape_gen : escapeworthy_map:(char * char) list -> escape_char:char -> string -> string
escape_gen escapeworthy_map escape_char s returns an escaped string based on s as follows: if (c1,c2) is in escapeworthy_map, then all occurences of c1 are replaced by escape_char concatenated to c2.
val escape : escapeworthy:char list -> escape_char:char -> string -> string
val escape_one_orig : escapeworthy:char -> escape_char:char -> string -> string
val escape_two_orig : escapeworthy1:char ->
escapeworthy2:char -> escape_char:char -> string -> string
val unescape_gen : map:(char * char) list -> escape_char:char -> string -> string
val unescape : escape_char:char -> string -> string