Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
838:5154a047c6bc 839:b2413e4dd109
37 val foldlMap : ('data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 37 val foldlMap : ('data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
38 val foldlMapPartial : ('data1 * 'state -> 'data2 option * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 38 val foldlMapPartial : ('data1 * 'state -> 'data2 option * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
39 val foldlMapConcat : ('data1 * 'state -> 'data2 list * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 39 val foldlMapConcat : ('data1 * 'state -> 'data2 list * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
40 40
41 val search : ('a -> 'b option) -> 'a list -> 'b option 41 val search : ('a -> 'b option) -> 'a list -> 'b option
42 val searchi : (int * 'a -> 'b option) -> 'a list -> 'b option
42 43
43 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list 44 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
44 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b 45 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
45 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b 46 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
46 47