Mercurial > urweb

comparison src/list_util.sig @ 275:73456bfde988

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Validating schema of a live database
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:40:57 -0400
parents aa54250f58ac
children e0ed0d4dabc9
comparison
equal deleted inserted replaced
274:e4baf03a3a64 275:73456bfde988
40 40
41 val search : ('a -> 'b option) -> 'a list -> 'b option 41 val search : ('a -> 'b option) -> 'a list -> 'b option
42 42
43 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list 43 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
44 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b 44 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
45 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
45 46
46 end 47 end