Mercurial > urweb
view lib/ur/string.urs @ 986:d1dbb9a3c804
Mangle local table names to avoid keyword clashes in SQL
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 05 Oct 2009 12:51:17 -0400 |
parents | 5e1a4b12c83a |
children | e46227efcbba |
line wrap: on
line source
type t = string val length : t -> int val append : t -> t -> t val sub : t -> int -> char val suffix : t -> int -> string val index : t -> char -> option int val atFirst : t -> char -> option string val mindex : {Haystack : t, Needle : t} -> option int val substring : t -> {Start : int, Len : int} -> string val split : t -> char -> option (string * string) val msplit : {Haystack : t, Needle : t} -> option (string * char * string)