Mercurial > urweb
comparison src/list_util.sig @ 275:73456bfde988
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 |