Mercurial > urweb
diff lib/ur/string.urs @ 1389:9a721f0722d3
Some more string parsing functions; naughtyDebug
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 11 Jan 2011 18:04:52 -0500 |
parents | 3913cbfd72e9 |
children | 65fbb250b875 |
line wrap: on
line diff
--- a/lib/ur/string.urs Tue Jan 11 14:03:54 2011 -0500 +++ b/lib/ur/string.urs Tue Jan 11 18:04:52 2011 -0500 @@ -17,7 +17,11 @@ val substring : t -> {Start : int, Len : int} -> string +val seek : t -> char -> option string +val mseek : {Haystack : t, Needle : t} -> option (char * string) + val split : t -> char -> option (string * string) +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 all : (char -> bool) -> string -> bool