Mercurial > urweb

diff lib/ur/string.urs @ 1057:eaba663fd6aa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Represent FFI function names as strings, to deal with cross-file recursion
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Dec 2009 14:01:34 -0500
parents e46227efcbba
children 85d194409b17
line wrap: on
line diff
--- a/lib/ur/string.urs	Thu Dec 03 14:32:47 2009 -0500
+++ b/lib/ur/string.urs	Sat Dec 05 14:01:34 2009 -0500
@@ -18,3 +18,5 @@
 
 val split : t -> char -> option (string * string)
 val msplit : {Haystack : t, Needle : t} -> option (string * char * string)
+
+val all : (char -> bool) -> string -> bool