Mercurial > urweb

comparison src/list_util.sig @ 39:02f42e9a1825

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify removes modules
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 12:39:22 -0400
parents 44b5405e74c7
children 3739af9e727a
comparison
equal deleted inserted replaced
38:d16ef24de78b 39:02f42e9a1825
31 -> ('data list, 'state, 'abort) Search.mapfolder 31 -> ('data list, 'state, 'abort) Search.mapfolder
32 val mapfoldB : ('context * 'data -> 'context * ('state -> ('data * 'state, 'abort) Search.result)) 32 val mapfoldB : ('context * 'data -> 'context * ('state -> ('data * 'state, 'abort) Search.result))
33 -> ('context, 'data list, 'state, 'abort) Search.mapfolderB 33 -> ('context, 'data list, 'state, 'abort) Search.mapfolderB
34 34
35 val foldlMap : ('data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 35 val foldlMap : ('data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
36 val foldlMapPartial : ('data1 * 'state -> 'data2 option * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
37 val foldlMapConcat : ('data1 * 'state -> 'data2 list * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
36 38
37 val search : ('a -> 'b option) -> 'a list -> 'b option 39 val search : ('a -> 'b option) -> 'a list -> 'b option
38 40
39 end 41 end