Mercurial > urweb

comparison src/list_util.sig @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents 4ab19c19665f
children 44b5405e74c7
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 signature LIST_UTIL = sig 28 signature LIST_UTIL = sig
29 29
30 val mapfoldl : ('data1 * 'state -> 'state * 'data2) -> 'state -> 'data1 list
31 -> 'state * 'data2 list
32
33 val mapfold : ('data, 'state, 'abort) Search.mapfolder 30 val mapfold : ('data, 'state, 'abort) Search.mapfolder
34 -> ('data list, 'state, 'abort) Search.mapfolder 31 -> ('data list, 'state, 'abort) Search.mapfolder
35 32
36 val foldlMap : ('data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 33 val foldlMap : ('data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
37 34