Mercurial > urweb
comparison src/list_util.sig @ 120:6230bdd122e7
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 |