Mercurial > urweb

comparison lib/ur/string.urs @ 831:5e1a4b12c83a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
strcspn and friends
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 May 2009 12:41:34 -0400
parents 20fe00fd81da
children e46227efcbba
comparison
equal deleted inserted replaced
830:d07980bf1444 831:5e1a4b12c83a
8 val suffix : t -> int -> string 8 val suffix : t -> int -> string
9 9
10 val index : t -> char -> option int 10 val index : t -> char -> option int
11 val atFirst : t -> char -> option string 11 val atFirst : t -> char -> option string
12 12
13 val mindex : {Haystack : t, Needle : t} -> option int
14
13 val substring : t -> {Start : int, Len : int} -> string 15 val substring : t -> {Start : int, Len : int} -> string
14 16
15 val split : t -> char -> option (string * string) 17 val split : t -> char -> option (string * string)
18 val msplit : {Haystack : t, Needle : t} -> option (string * char * string)