Mercurial > urweb

diff src/list_util.sig @ 839:b2413e4dd109

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
List library additions; fix another substructure unification bug
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Jun 2009 14:09:30 -0400
parents d20d6afc1206
children 0f7e2cca6d9b
line wrap: on
line diff
--- a/src/list_util.sig	Tue Jun 02 19:28:25 2009 -0400
+++ b/src/list_util.sig	Sat Jun 06 14:09:30 2009 -0400
@@ -39,6 +39,7 @@
     val foldlMapConcat : ('data1 * 'state -> 'data2 list * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
 
     val search : ('a -> 'b option) -> 'a list -> 'b option
+    val searchi : (int * 'a -> 'b option) -> 'a list -> 'b option
 
     val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
     val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b