Mercurial > urweb

comparison lib/ur/string.urs @ 1389:9a721f0722d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1388:3913cbfd72e9 1389:9a721f0722d3
15 15
16 val mindex : {Haystack : t, Needle : t} -> option int 16 val mindex : {Haystack : t, Needle : t} -> option int
17 17
18 val substring : t -> {Start : int, Len : int} -> string 18 val substring : t -> {Start : int, Len : int} -> string
19 19
20 val seek : t -> char -> option string
21 val mseek : {Haystack : t, Needle : t} -> option (char * string)
22
20 val split : t -> char -> option (string * string) 23 val split : t -> char -> option (string * string)
24 val split' : t -> char -> option (string * string) (* The matched character is kept at the beginning of the suffix. *)
21 val msplit : {Haystack : t, Needle : t} -> option (string * char * string) 25 val msplit : {Haystack : t, Needle : t} -> option (string * char * string)
22 26
23 val all : (char -> bool) -> string -> bool 27 val all : (char -> bool) -> string -> bool
24 val mp : (char -> char) -> string -> string 28 val mp : (char -> char) -> string -> string
25 29