Mercurial > urweb

comparison src/list_util.sig @ 120:6230bdd122e7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Passing an argument to a web function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 20:07:10 -0400
parents 3739af9e727a
children aa54250f58ac
comparison
equal deleted inserted replaced
119:7fdc146b2bc2 120:6230bdd122e7
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 42
43 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
44
43 end 45 end