Mercurial > urweb
view lib/ur/string.urs @ 1029:53a22f46f377
Seeing others' reviews
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 02 Nov 2009 14:22:29 -0500 |
parents | e46227efcbba |
children | eaba663fd6aa |
line wrap: on
line source
type t = string val str : char -> t 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)