Mercurial > urweb

comparison src/list_util.sig @ 847:0f7e2cca6d9b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Jun 2009 14:29:36 -0400
parents b2413e4dd109
children e571fb150a9f
comparison
equal deleted inserted replaced
846:0d30e6338c65 847:0f7e2cca6d9b
35 -> ('context, 'data list, 'state, 'abort) Search.mapfolderB 35 -> ('context, 'data list, 'state, 'abort) Search.mapfolderB
36 36
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 val foldlMapAbort : ('data1 * 'state -> ('data2 * 'state) option)
41 -> 'state -> 'data1 list -> ('data2 list * 'state) option
40 42
41 val search : ('a -> 'b option) -> 'a list -> 'b option 43 val search : ('a -> 'b option) -> 'a list -> 'b option
42 val searchi : (int * 'a -> 'b option) -> 'a list -> 'b option 44 val searchi : (int * 'a -> 'b option) -> 'a list -> 'b option
43 45
44 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list 46 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list