Mercurial > urweb
diff lib/ur/string.urs @ 1390:65fbb250b875
More string processing
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 13 Jan 2011 10:02:50 -0500 |
parents | 9a721f0722d3 |
children | 2da693675de9 |
line wrap: on
line diff
--- a/lib/ur/string.urs Tue Jan 11 18:04:52 2011 -0500 +++ b/lib/ur/string.urs Thu Jan 13 10:02:50 2011 -0500 @@ -11,6 +11,7 @@ val suffix : t -> int -> string val index : t -> char -> option int +val sindex : {Haystack : t, Needle : t} -> option int val atFirst : t -> char -> option string val mindex : {Haystack : t, Needle : t} -> option int @@ -24,6 +25,8 @@ val split' : t -> char -> option (string * string) (* The matched character is kept at the beginning of the suffix. *) val msplit : {Haystack : t, Needle : t} -> option (string * char * string) +val ssplit : {Haystack : t, Needle : t} -> option (string * string) + val all : (char -> bool) -> string -> bool val mp : (char -> char) -> string -> string