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